Toggle navigation
IJCAR-FSCD 2020
Programs
FSCD-IJCAR
Workshops
Week
Live Streaming
Today
FSCD-IJCAR (1-4/7)
Day 1
Day 2
Day 3
Day 4
Pre-ws (29-30/6)
Post-ws (5-6/7)
Colocated events
About
FSCD 2020
Site
CFP
IJCAR 2020
Site
CFP
Speakers
Workshops
Affiliated
CFW
Schedule
WS Program
Program
Register
More Info
Local
Venue
News
Sponsors
Program: Monday, July 6th
Monday, June 29th
Tuesday, June 30th
Sunday, July 5th
Monday, July 6th
Tuesday, July 7th
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
9:00
9:15
9:30
9:45
10:00
10:15
10:30
10:45
11:00
11:15
11:30
11:45
12:00
12:15
12:30
12:45
13:00
13:15
13:30
13:45
14:00
14:15
14:30
14:45
15:00
15:15
15:30
15:45
16:00
16:15
16:30
16:45
17:00
17:15
17:30
17:45
18:00
18:15
18:30
18:45
19:00
19:15
19:30
19:45
20:00
HOTT/UF
Session 4
- 14:00: N Rasekh
- 14:30: J. Emmenegger, F. Pasquali, P. Rosolini
- 15:00: B. Ahrens, N. Kudasov, P. LeF. Lumsdaine, V. Voevodsky
Virtual coffee break
Session 5
- 16:00: L. Cohen
- 17:00: E. Faber, B. van den Berg
Virtual coffee break
Session 6
- 18:00: M. Benini, R. Bonacina
- 18:30: A. Swan
- 19:00: J. Frey
GeoCat
Session 1
- 9:30: Sophie Raynor
Virtual coffee break
Session 1
- 11:30: Philippe Malbos
Lunch break
Session 3
- 14:00: Andrea Gagna
Virtual coffee break
Session 4
- 16:00: Martina Rovelli
Coq
Mathematics
- 10:00: Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi
- 10:20: Xavier Allamigeon, Cyril Cohen, Kazuhiko Sakaguchi, Pierre-Yves Strub
- 10:40: Pierre-Léo Bégay, Pierre Crégut, Jean-Francois Monin
Invited talk
- 11:30: Jean-Christophe Filliâtre
Panel: Meeting with Coq Dev Team
- 12:00: The Coq Team
Verification
- 14:10: Dimitur Krustev
- 14:30: Benjamin S. Hvass, Diego F. Aranha, Bas Spitters
- 14:50: Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
- 15:10: Gregory Malecha, Abhishek Anand, Gordon Stewart
Panel: Domain-agnostic and Domain-specific Proof Automation
- 16:00: Jason Gross, Jan-Oliver Kaiser, Chantal Keller, Sophie Tourret
SMT
Session 1: Invited talk
- 10:00: Mooly Sagiv
Virtual coffee break
Session 2: Learning for SMT
- 11:30: Joseph Scott, Federico Mora, Vijay Ganesh
- 12:00: Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh
- 12:30: Chaitanya Mangla, Sean Holden, Lawrence Paulson
Lunch break
Session 3: SMT Solvers
- 14:00: Makai Mann, Amalee Wilson, Cesare Tinelli, Clark Barrett
- 14:30: Haniel Barbosa, Jochen Hoenicke, Antti Hyvärinen
Virtual coffee break
Session 4: Reports and Business Meeting
- 16:00: Cesare Tinelli, Pascal Fontaine
- 16:45: Business Meeting
Close