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


New Scientiffic Publications