Hanoi Mini-workshop on Formal Proofs

Thời gian: 09:00 đến 17:00 Ngày 27/12/2013

Địa điểm: C2-714

Báo cáo mời: Dan Synek, Josef Urban, Mark Adams, Tran Nam Trung, Hoang Le Truong, Tom Hales.

Tóm tắt:

Báo cáo viên: Dan Synek, Josef Urban, Mark Adams, Tran Nam Trung, Hoang Le Truong, Tom Hales.

Thời gian: Thứ Sáu, ngày 27 tháng 12 năm 2013.

Địa điểm: Hội trường C2 (phòng 174), Viện Nghiên cứu cao cấp về Toán (VIASM), Tầng 7 Thư viện Tạ Quang Bửu, ĐHBK Hà Nội, số 1 Đại Cồ Việt, Hà Nội.

Trân trọng kính mời quý đồng nghiệp quan tâm tham dự.

Chi tiết: Chương trình.