Ngày mai workshop về Chứng minh hình thức do Giáo sư Thomas Hales (Đại học Pittsburgh Hoa Kỳ) cùng các thầy cô Tạ Thị Hoài An, Ngô Đắc Tân, Trần Nam Trung (Viện Toán học) tổ chức sẽ chính thức khai mạc vào 1h chiều. Math gởi lá thư này để các bạn thành viên nào cũng diễn đàn đã enter vào group đọc lại cho nhớ nhé, thông tin chi tiết về workshop sẽ được cập nhật liên tục. Chúc mọi người 1 mùa hè sôi động nhé
Hi Everyone,
This email is going out to everyone that is a confirmed participant
for the International Workshop on Formal Proofs in Ha noi. The
workshop will be held at the Hanoi Math Institute, located at 18 Hoang
Quoc Viet in Ha noi.
The opening ceremonies for the workshop begin on June 8, 2009 at 1pm.
I hope to see everyone there and meet you then. After the opening
ceremonies, there will be a break for tea and a group photograph.
Then starting around 2pm, there will be an orientation for the
workshop, making introductions, and explaining what we hope to
accomplish over the next two months.
The web page for the workshop appears at
http://weyl.math.pitt.edu/wiki/ and in Vietnamese at
http://www.math.ac.v...ce/flyspeck.htm. A tentative schedule
appears at http://www.math.ac.v...uleFLYSPECK.htm
The workshop lectures will start every day Monday through Friday at
1pm. There are courses on Functional programming, HOL Light, the
Foundations of Mathematics, and the proof of the Kepler Conjecture.
There are some additional details about the courses at the web site.
Following the lectures and tea break every afternoon will be a lab.
During the lab sessions, we will all practice at the computers what we
have learned during the day.
The schedule every morning has intentionally been left open. The
computer lab will be open every morning starting at 10am, for those
wanting more practice at the computers. The courses will be in
English. For those of you who want to improve your English skills,
there will be English instruction in the lab during the morning.
Some of us hope to improve our Vietnamese language skills during these
morning hours too. The morning hours will also be a time to discuss
many aspects of formal proofs and the Flyspeck project.
We plan to have some social activities together in the spirit of
international cooperation. This workshop has been generously funded
by the National Science Foundation and the Hanoi Math Institute.
Best,
Tom Hales
Khai mạc workshop chứng minh hình thức và chương trình FLYSPECK
Bắt đầu bởi MrMATH, 07-06-2009 - 21:48
1 người đang xem chủ đề
0 thành viên, 1 khách, 0 thành viên ẩn danh
