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: Friday, July 3rd
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
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
FSCD A
Invited speaker: A. Pitts
- 13:00: Andrew Pitts
Coffee Break
Dependent Types and Rewriting
- 14:30: Frédéric Blanqui
- 15:00: Guillaume Genestier
- 15:30: Gabriel Hondet, Frédéric Blanqui
- 16:00: Ambrus Kaposi, Jakob von Raumer
FSCD General Meeting
FSCD B
Concurrency
- 14:30: Paul Brunet, David Pym
- 15:00: Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lars Stoltenow
- 15:30: Ankush Das, Frank Pfenning
IJCAR A
Proof Procedures, Decision Procedures and Combination of Theories
- 13:00: Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett
- 13:30: Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
- 14:00: Peter Baumgartner
- 14:30: Maria Paola Bonacina, Sarah Winkler
Invited Talk: R. Piskac
- 15:15: Ruzica Piskac
Formalization
- 16:30: Kazuhiko Sakaguchi
- 17:00: Thomas Hales, Rodrigo Raya
IJCAR B
Coq
- 13:00: Lukasz Czajka
- 13:30: Xavier Allamigeon, Ricardo David Katz, Pierre-Yves Strub
- 14:00: Dominik Kirst, Dominique Larchey-Wendling
- 14:30: Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
Decision Procedures, Rewriting and Model Checking
- 16:30: Franz Baader, Deepak Kapur
- 17:00: Andrew Reynolds, Andres Noetzli, Clark Barrett, Cesare Tinelli
- 17:30: Raúl Gutiérrez, Salvador Lucas
- 17:45: Raúl Gutiérrez, Salvador Lucas
- 18:15: Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gore, Zhe Hou, Brendan Mahony, Jim McCarthy
Close