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: Sunday, July 5th
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 1
- 14:00: R. Bocquet
- 14:30: H. Herbelin, H. Moeneclaey
- 15:00: T. Uemura, H. K. Nguyen
Virtual coffee break
Session 2
- 16:00: C. Angiuli
- 17:00: C. Angiuli, A. Mörtberg, M. Zeuner
Virtual coffee break
Session 3
- 18:00: M. Girardi, R. Zunino, M. Benini
- 18:30: M. Bickford
- 19:00: E. H. Gjørup, B. Spitters
GeoCat
Session 1
- 9:30: Yuki Maehara
Virtual coffee break
Session 1
- 11:30: Simona Paoli
Lunch break
Session 3
- 14:00: Denis-Charles Cisinski
Virtual coffee break
Session 4
- 16:00: Amar Hadzihasanovic
Coq
Panel: Libraries
- 11:30: Andrej Bauer, Cyril Cohen, Robbert Krebbers, Guillaume Melquiond, Anders Mortberg, Karl Palmskog
Meta-programming and automation
- 14:30: Roberto Blanco, Matteo Manighetti, Dale Miller
- 14:50: Bohdan Liesnikov, Marcel Ullrich, Yannick Forster
- 15:10: Sébastien Michelland, Pierre Corbineau, Lionel Rieg, Karine Altisen
Tools
- 16:00: Mario Frank
- 16:20: Érik Martin-Dorel
- 16:40: Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
SMT
- 10:00: Ákos Hajdu, Dejan Jovanović
- 10:30: Zafer Esen, Philipp Rümmer
Vrtual coffee break
Session 2: SAT and Bit Vectors
- 11:30: Sophie Tourret, Pascal Fontaine, Daniel El-Ouraoui, Haniel Barbosa
- 12:00: Bruno Dutertre
- 12:30: Seonmo Kim, Stephen McCamant
Lunch break
Joint SMTSC2 session
Virtual coffee break
Session 3: Invited talk
- 16:00: Philipp Rümmer
SC2
Joint SMT/SC2 session
- 14:00: Christoph Lüders
- 14:30: Robert Vajda Zoltán Kovács
- 900.0: Erika Abraham James H. Davenport Matthew England Gereon Kremer Zak Tonks
TERMGRAPH
Session 1: Invited talk
- 09:00: Dan Ghica
Session 1: Contributed talks
- 10:00: Graham Campbell
- 10:30: Clemens Grabmayer
Coffee Break
Session 2: Invited talk
- 11:30: Nicolas Behr
Session 2: Contributed talk
- 12:30: Thierry Boy de La Tour
Close