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: Thursday, July 2nd
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
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
FSCD A
Invited Speaker: S. Ronchi Della Rocca
- 13:00: Simona Ronchi Della Rocca
Coffee Break
Grammars, Automata and Decision Trees
- 14:30: Rick Erkens, Maurice Laveaux
- 15:00: Kazuyuki Asada, Naoki Kobayashi
- 15:30: David Cerna, Temur Kutsia
- 16:00: Andrej Dudenhefner
Coffee Break
Theorem Proving Algorithms and Constraint Solving
- 17:00: Besik Dundua, Temur Kutsia, Mircea Marin, Cleopatra Pau
- 17:30: Claude Stolze, Luigi Liquori
- 18:00: Petar Vukmirović, Alexander Bentkamp, Visa Nummelin
FSCD B
Categorical Semantics and Structures
- 14:30: Tim Lukas Diezel, Sergey Goncharov
- 15:00: Guillaume Boisseau
- 15:30: Zeinab Galal
- 16:00: Paul-André Melliès, Nicolas Rolland
Program Specification
- 17:00: Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi
- 17:30: André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
IJCAR A
Start of CASC
SAT, SMT and QBF
- 13:00: Joshua Brakensiek, Marijn Heule, John Mackey, David Narvaez
- 13:30: Leroy Chew, Judith Clymo
- 14:00: Lee A. Barnett, David Cerna, Armin Biere
- 14:30: Stéphane Graham-Lengrand, Dejan Jovanović, Bruno Dutertre
Invited Talk: E. Pimentel
- 15:15: Elaine Pimentel, Sonia Marin, Dale Miller, Marco Volpe
Non Classical Logics
- 16:30: Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov
- 17:00: Franz Baader, Jakub Rydval
- 17:30: Brandon Bohrer, André Platzer
- 18:00: Daniel Hausmann, Lutz Schröder
Business Meetings (IJCAR, FROCOS, TABLEAUX, CADE)
IJCAR B
Isabelle
- 13:00: Walter Guttmann
- 13:30: Paulo Emílio de Vilhena, Lawrence Paulson
- 14:00: Filip Maric
- 14:30: Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
Reasoning Systems, Tactics and Tools
- 16:30: Adam Pease
- 16:45: Giselle Reis, Zan Naeem, Mohammed Hashim
- 17:00: Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato
- 17:15: Marianna Girlando, Lutz Straßburger
- 17:30: Anne Baanen
- 17:45: Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer
Close