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: Saturday, July 4th
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
FSCD A
Calculi and Translations
- 13:00: Henry DeYoung, Frank Pfenning, Klaas Pruiksma
- 13:30: Chuangjie Xu
- 14:00: Mario Alvarez-Picallo, C.-H. Luke Ong
Coffee Break
Invited speaker: B. Pientka
- 15:00: Brigitte Pientka
FSCD B
Effects
- 13:00: Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski
- 13:30: Andrej Ivaskovic, Alan Mycroft, Dominic Orchard
- 14:00: Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
IJCAR A
Satisfiability Modulo Theories
- 13:00: Matthew Hague, Anthony Widjaja Lin, Philipp Ruemmer, Zhilin Wu
- 13:30: Marek Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric
- 14:00: Andrew Reynolds, Haniel Barbosa, Daniel Larraz, Cesare Tinelli
- 14:30: Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Invited Talk: C.Barrett
- 15:15: Clark Barrett
Results of Competitions, Reasoning Systems
- 16:30: Jürgen Giesl
- 16:45: Geoff Sutcliffe
- 17:00: Ahmed Bhayat, Giles Reger
- 17:15: André Duarte, Konstantin Korovin
- 17:30: Stephan Schulz, Adam Pease
- 17:45: Grant Passmore, Simon Cruanes, Denis Ignatovich, David Aitken, Matthew Bray, Elijah Kagan, Konstantin Kanishev, Ewen Maclean, Nicola Mometto
IJCAR B
Verification
- 13:00: Peter Lammich
- 13:30: Jean-Christophe Léchenet, Sandrine Blazy, David Pichardie
- 14:00: Robin Eßmann, Tobias Nipkow, Simon Robillard
- 14:30: Martin Rau, Tobias Nipkow
Induction, co-Induction and Infinity Axioms
- 16:30: Timm Lampert, Anderson Nakano
- 17:00: Liron Cohen, Reuben Rowe
Close