Conference on Lean and Formal Abstracts

Institute of Mathematics VAST, Hanoi, Vietnam, 17/06/2019 - 20/06/2019

Conference on Lean and Formal Abstracts in Hanoi will be held at the Institute of Mathematics (VAST), June 17-20, 2019. Talks will be held in lecture rooms 611 - 612 on the 6th floor of the A6 building. The institute is located at 18 Hoang Quoc Viet road, Cau Giay district, 10307, Hanoi, Vietnam.

For more detail see https://hanoilean2019.wordpress.com/

Chia sẻ: