Conference on Lean and Formal Abstracts
Hanoi, June 17-20, 2019

Conference on Lean and Formal AbstractsA conference in Hanoi will be held at the Institute of Mathematics (VAST), June 17-20, 2019. Talks will be held in the lecture room 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/