Program: Wednesday, July 1st

Wednesday, July 1st Thursday, July 2nd Friday, July 3rd Saturday, July 4th

All times are local Paris time
CEST zone: Central European Summer Time (Daylight Saving Time) - UTC+2

Click on the hour on the left column to see the corresponding time in your zone

See week schedule

FSCD A
FSCD B
- Program Logics and Verification
  - - 13:00: Yu-Yang Lin, Nikos Tzevelekos
  - - 13:30: Yo Mitani, Naoki Kobayashi, Takeshi Tsukada
  - - 14:00: Brandon Bohrer, André Platzer
  - - 14:30: Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'Ya, Takeshi Tsukada
IJCAR A
IJCAR B
- Interactive Theorem Proving
  - - 13:00: Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi
  - - 13:30: Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
  - - 14:00: Clément Pit-Claudel, Peng Wang, Benjamin Delaware, Jason Gross, Adam Chlipala
  - - 14:30: Sebastian Ullrich, Leonardo de Moura
- Formalizing Non Classical Logics
  - - 16:45: Yiming Xu, Michael Norrish
  - - 17:15: Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen
  - - 17:30: David Basin, Thibault Dardinier, Lukas Heimes, Srdjan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel