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: Tuesday, June 30th
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
Lin & TLLA
Session 5
- 09:40: Shin-ya Katsumata
- 10:40: Aleks Kissinger
Virtual coffee break
Session 6
- 11:30: Alberto Naibo, Yuta Takahashi
- 11:50: Marie Kerjean
- 12:10: Christian Retoré.
- 12:30: Giulio Guerrieri, Federico Olimpieri
Lunch break
Session 7
- 14:10: Olivier Laurent
- 15:10: Esaie Bauer, Olivier Laurent
Virtual coffee break
Session 8
- 16:00: Matteo Acclavio, Giulio Guerrieri
- 16:20: Marie Kerjean, Pierre-Marie Pédrot
- 16:40: Michael Shulman
LFMTP
Proof assistants and proof certificates
- 09:30: Roberto Blanco, Matteo Manighetti, Dale Miller
- 10:00: Gabriel Hondet
- 10:30: Arve Gengelbach, Tjark Weber
Nominal datatypes and mechanizing metatheory
- 14:00: Supernominal Datatypes and Codatatypes
- 15:00: Jacob Errington, Junyoung Jang, Brigitte Pientka
PAAR
Session 3
- 13:30: Petar Vukmirović, Visa Nummelin
- 14:00: Filip Bártek, Martin Suda
- 14:30: Ahmed Bhayat, Michael Rawson, Giles Reger
- 15:00: Seulkee Baek
Virtual coffee break
Session 4
- 16:00: Michael Rawson, Giles Reger
- 16:30: Qinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe
- 17:00: Bernhard Gleiss, Martin Suda
Virtual coffee break
Session 5
- 18:00: Benjamin Oliver, Jens Otten
- 18:30: Robert Lewis, Paul-Nicolas Madelaine
- 19:00: Thomas Prokosch, François Bry
WIL
Session 1
- 09:00: Madalina Erascu, Flavia Micota, Daniela Zaharie
- 09:20: Sabine Frittella, Marta Bilkova, Sajad Nazari, Ondrej Majer
- 09:40: Maja Kirkeby, Robert Glück
- 10:00: Sara Kalvala
- 10:20: Rita Macedo
- 10:40: Line van den Berg
Virtual coffee break
Session 2
- 11:30: Sandra M. López Velasco
- 11:50: Katarzyna Wieslawa Kowalik
- 12:10: Iris van der Giessen
- 12:30: Ruba Alassaf, Renate A. Schmidt
Lunch break
Session 3: Invited talks
- 14:00: Maribel Fernández
- 14:45: Alexandra Silva
Virtual coffee break
Session 4
- 16:00: Marianna Girlando, Marianela Morales
- 16:20: Mariela Rubin
- 16:40: Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
- 17:00: Sara L. Uckelman
- 17:20: Kristin Yvonne Rozier
IWC
IWC Invited Talk
- 09:00: Frédéric Blanqui
IWC Talks
- 10:00: Vincent van Oostrom
- 10:30: Kiraku Shintani, Nao Hirokawa
Coffee Break
IWC Talks
- 11:30: Benjamin Dupont, Philippe Malbos, Cyrille Chenavier
- 12:00: Ugo De'Liguoro, Riccardo Treglia
- 12:30: Anders Miltner, Kathleen Fisher, Benjamin Pierce, David Walker, Steve Zdancewic
Lunch Break
CoCo Talks
- 14:00:
IWC Talks
- 15:00: Cameron Calk
Coffee Break
IWC Invited Talk
- 16:00: Margherita Zorzi
IWC Talks
- 17:00: Eelco Visser, Eduardo Amorim
- 17:30: Jean-Pierre Jouannaud, Fernando Orejas
IFIP WG 1.6
Session 1
- 09:00: Carsten Fuhs
- 09:15: Discussion
Session 2
- 10:00: Olivier Hermant
- 10:15: Narciso Marti Oliet
- 10:30: Besik Dundua, Temur Kutsia
- 09:45: Discussion
Virtual cofffe break
Session 3
- 11:30: Jakob Grue Simonsen
- 11:45: Discussion
Session 4
- 12:15: Akihisa Yamada
- 12:30: Discussion
Lunch break
Business meeting (Restricted to group members)
Session 5
Isabelle
Session 1
- 09:30: Chelsea Edmonds
- 10:00: Lawrence Paulson
- 10:30: Asta Halkjær From, Jørgen Villadsen
Virtual coffee break
Session 2
- 11:30: Yiannos Stathopoulos, Angeliki Koutsoukou-Argyraki, Lawrence Paulson
- 12:00: Fabian Huch, Alexander Krauss
- 12:30: Clemens Ballarin
Lunch break
Session 3
- 14:00: Makarius Wenzel
- 14:30: Andreas Lochbihler, Ognjen Marić
- 15:00: Martin Desharnais, Stefan Brunthaler
Virtual coffee break
Session 4
- 16:00: Yutaka Nagashima
- 16:30: Walther Neuper
- 17:30: Frédéric Tuong, Burkhart Wolff
Close