No.078 Higher-Order Model Checking

Icon

NII Shonan Meeting Seminar 078

Schedule

The meeting will take place from Monday 14th of March 9am, to Thursday 17th of March 1pm.

 

14th September (Monday)

7:30 – 9:00 Breakfast

9:00 – 9:45 Luke Ong

9:45 – 10:30 Takeshi Tsukada

10:30 – 11:00 Tea break

11:00 – 11:45 Charles Grellois

11:45 – 14:00 Lunch break

14:00 – 14:45 Neil Jones

14:45 – 15:30 Pierre Clairambault

15:30 – 16:00 Tea break

16:00 – 16:45 Amina Doumane

16:45 – 17:10 Ryosuke Sato

17:10 – 17:35 Yasuhiko Minamide

 

15th September (Tuesday)

7:30 – 9:00 Breakfast

9:00 – 9:45 Naoki Kobayashi

9:45 – 10:30 Steven Ramsay

10:30 – 11:00 Tea break

11:00 – 11:45 Tachio Terauchi

11:45 – 14:00 Lunch break

14:00 – 14:45 Jakob Rehof

14:45 – 15:30 Sylvain Salvati

15:30 – 16:00 Tea break

16:00 – 16:45 Hiroshi Unno

16:45 – 17:30 Martin Lange

 

16th September (Wednesday)

7:30 – 9:00 Breakfast

9:00 – 9:45 Georg Zetzsche

9:45 – 10:30 Matthew Hague

10:30 – 11:00 Tea break

11:00 – 11:45 Igor Walukiewicz

11:45 – 14:00 Lunch break

14:00 – Excursion

 

17th September (Thursday)

7:30 – 9:00 Breakfast

9:00 – 9:45 Pawel Parys

9:45 – 10:30 Nikos Tzevelekos

10:30 – 11:00 Tea break

11:00 – 11:45 Marco Gaboardi

11:45 – 12:15 Andrzej Murawski

12:15 – 14:00 Lunch break