Tentative Schedule of International Workshop

On formal proofs and Flyspeck Project

 
Monday, June 8 Tuesday, June 9 Wednesday, June 10 Thursday, June 11 Friday, June 12
13:00 Opening Ceremony and Orientation 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab
  13:00 Functional Programming 13:00 HOL 13:00 Functional Programming 13:00 HOL
  14:45 Lab 14:15 Lab 14:45 Lab 14:15 Lab
  15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea
  16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab
Monday, June 15 Tuesday, June 16 Wednesday, June 17 Thursday, June 18 Friday, June 19
10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab
13:00 HOL 13:00 Functional Programming 13:00 HOL 13:00 Functional Programming 13:00 HOL
14:15 Lab 14:45 Lab 14:15 Lab 14:45 Lab 14:15 Lab
15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea
16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab
Monday, June 22 Tuesday, June 23 Wednesday, June 24 Thursday, June 25 Friday, June 26
10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab
13:00 HOL 13:00 Functional Programming 13:00 HOL 13:00 Functional Programming 13:00 HOL
14:15 Lab 14:45 Lab 14:15 Lab 14:45 Lab 14:15 Lab
15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea
16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab
Monday, June 29 Tuesday, June 30 Wednesday, July 1 Thursday, July 2 Friday, July 3
10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab
13:00 The Kepler Conjecture 13:00 Functional Programming 13:00 The Kepler Conjecture 13:00 Functional Programming 13:00 The Kepler Conjecture
14:15 Lab 14:45 Lab 14:15 Lab 14:45 Lab 14:15 Lab
15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea
16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab
Monday, July 6 Tuesday, July 7 Wednesday, July 8 Thursday, July 9 Friday, July 10
10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab
13:00 The Kepler Conjecture 13:00 Functional Programming 13:00 The Kepler Conjecture 13:00 Functional Programming 13:00 The Kepler Conjecture
14:15 Lab 14:45 Lab 14:15 Lab 14:45 Lab 14:15 Lab
15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea
16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab
Monday, July 13 Tuesday, July 14 Wednesday, July 15 Thursday, July 16 Friday, July 17
10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab
13:00 The Kepler Conjecture 13:00 Functional Programming 13:00 The Kepler Conjecture 13:00 Functional Programming 13:00 The Kepler Conjecture
14:15 Lab 14:45 Lab 14:15 Lab 14:45 Lab 14:15 Lab
15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea
16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab
Monday, July 20 Tuesday, July 21 Wednesday, July 22 Thursday, July 23 Friday, July 24
10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab
13:00 The Kepler Conjecture 13:00 Functional Programming 13:00 The Kepler Conjecture 13:00 Functional Programming 13:00 The Kepler Conjecture
14:15 Lab 14:45 Lab 14:15 Lab 14:45 Lab 14:15 Lab
15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea
16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab
Monday, July 27 Tuesday, July 28 Wednesday, July 29 Thursday, July 30 Friday, July 31
10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab 10:00 English/Open Lab
13:00 The Kepler Conjecture 13:00 Functional Programming 13:00 The Kepler Conjecture 13:00 Functional Programming 13:00 The Kepler Conjecture
14:15 Lab 14:45 Lab 14:15 Lab 14:45 Lab 14:15 Lab
15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea 15:30 Tea
16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab 16:00 Lab
 

Download file (doc)