Hanoi Mini-workshop on Formal Proofs

Time: 09:00 to  17:00 Ngày 27/12/2013

Venue/Location: C2-714

Invited Speakers: Dan Synek, Josef Urban, Mark Adams, Tran Nam Trung, Hoang Le Truong, Tom Hales.

Content:

Invited Speakers: Dan Synek, Josef Urban, Mark Adams, Tran Nam Trung, Hoang Le Truong, Tom Hales.

Time: Friday, December 27, 2013.

Place: C2 Lecture Hall (room 714), VIASM, 7th Floor, Ta Quang Buu Library, 1 Dai Co Viet,Hanoi.

The mini-workshop is open for your participation.

Detail: Program.