No.005 Automated Techniques for Higher-Order Program Verification

Icon

Shonan Meeting Seminar 005

Schedule

See also the tentative technical program.

All the technical sessions take place in R209 of Research Wing.

22nd September (Thursday)

15:00 — Hotel Check In (early check-in from 12:00 is negotiable if informed in advance)
19:00 — 21:00: Welcome Reception (Room “Azalea”, 1F)

23rd September (Friday)

7:30 — 9:00: Breakfast (Oak room)
9:45 — 10:00: Welcome and Introduction
10:00 — 12:00: Morning Session
12:00 — 13:30: Lunch (Oak room)
13:30 — 18:00: Afternoon Session
18:00 — 19:30: Dinner (Oak room)
19:30 — Free Time

24th September (Saturday)

7:30 — 9:00: Breakfast (Oak room)
9:00 — 12:00: Morning Session
12:00 — 13:30: Lunch (Oak room)
13:30 — 18:00: Afternoon Session
18:00 — 19:30: Dinner (Oak room)
19:30 — Free Time

25th September (Sunday)

7:30 — 9:00: Breakfast (Oak room)
9:00 — 12:00: Morning Session
12:00-12:15: group photo
12:15 — 13:30: Lunch (Oak room)
13:30 — 18:00: Excursion (Kamakura tour)
18:00 — 19:30: Banquet (Japanese restaurant “Hachinoki”)

26th September (Monday)

7:30 — 9:00: Breakfast (Oak room)
9:00 — 12:00: Morning Session
11:30 — 13:30: Lunch (Oak room)
13:30 — 17:00: Afternoon Session
17:00 — 17:10: Closing
18:00–19:30: Dinner (Oak room, only for those who stay for the night)

27th September (Tuesday)
7:30 — 9:00: Breakfast (Oak room)
9:00 — 10:00 Hotel Check Out