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, June 29th
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
Lin & TLLA
Session 1
- 9:40: Simona Ronchi Della Rocca
- 10:40: Masahito Hasegawa
Virtual coffee break
Session 2
- 11:30: Paolo Pistone
- 11:50: Satoshi Matsuoka
- 12:10: Matteo Acclavio
- 12:30: Gianluca Curzi
Lunch break
Session 3
- 14:00: Kaustuv Chaudhuri
- 15:10: James Wood, Robert Atkey
Virtual coffee break
Session 4
- 16:00: Jack Hughes, Dominic Orchard
- 16:20: Aubrey Bryant, Harley Eades III
- 16:40: Harley Eades III, Dominic Orchard
LFMTP
Opening
- 09:15: Claudio Sacerdoti Coen, Alwen Tiu
Formalising logics
- 9:30: Caitlin D'Abrera, Rajeev Gore
- 10:00: Petros Papapanagiotou, Jacques Fleuriot
- 10:30: Navid Roux, Florian Rabe
Proof theory
- 14:00: Elaine Pimentel
- 15:00: Roberto Blanco, Dale Miller, Alberto Momigliano
PAAR
Session 0
- 13:45: Pascal Fontaine, Philipp Rümmer, Sophie Tourret
Session 1
- 14:00: Pedro Barroso, António Ravara, Mário Pereira
- 14:30: Hans de Nivelle
- 15:00: Constantin Ruhdorfer, Stephan Schulz
Virtual coffee break
Session 2
- 16:00: Jørgen Villadsen
- 16:30: Sen Zheng, Renate A. Schmidt
- 17:00: Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe
UNIF
Session 1: Security and Rewriting
- 09:00: Stéphanie Delaune
- 09:45: Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
- 10:10: Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
- 10:35: Paliath Narendran, Ashley Suchy, Yu Zhang
Virtual coffee break
Session 2: Logic and Discrete Structures
- 11:30: Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
- 11:55: David Cerna, Alexander Leitsch, Anela Lolic
- 12:20: Jean-Pierre Jouannaud, Fernando Orejas
Lunch break
Session 3: Nominal Techniques
- 14:00: Manfred Schmidt-Schauß
- 14:45: Alexander Baumgartner, Daniele Nantes-Sobrinho
- 15:10: Daniele Nantes-Sobrinho, Deivid Vale, Mauricio Ayala-Rincón, Maribel Fernandez
Virtual coffee break
Session 4: Improvements and Generalizations
- 16:00: Temur Kutsia, Cleo Pau
- 16:25: Thomas Prokosch, François Bry
- 16:50: Paliath Narendran, Saumya Arora, Yu Zhang
WPTE
Session 1: WPTE Invited Speaker: Hélène Kirchner
- 09:30: Hélène Kirchner
Virtual coffee break
Session 2
- 11:30: Misaki Kojima, Naoki Nishida, Yutaka Matsubara
- 12:00: Akimasa Morihata
- 13:30: Martin Mariusz Lester
Lunch break
Session 3
- 14:00: María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
- 14:30: Irina Mariuca Asavoae, Ramtine Tofighi Shirazi, Adrian Riesco, Uemura Yasuyoshi
- 15:00: Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
Virtual coffee break
Session 4
- 16:00: Rubén Rubio, Narciso Marti-Oliet, Isabel Pita, Alberto Verdejo
- 16:30: Rubén Rubio, Narciso Marti-Oliet, Isabel Pita, Alberto Verdejo
- 17:00: Manfred Schmidt-Schauss, David Sabel
PG
Intro and Q&A. Competition Preparation
Competition I
Lunch/Open Discussion
Competition II
Coffee Break/Open Discussion
Results & Plenary Discussion
Close