FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
PROGRAM FOR FRIDAY, JULY 3RD: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
13:00-14:00
Andrew Pitts
15:00-15:30
Guillaume Genestier
15:30-16:00
Gabriel Hondet, Frédéric Blanqui
16:00-16:30
Ambrus Kaposi, Jakob von Raumer
15:00-15:30
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lars Stoltenow
16:30-18:00 FSCD General Meeting. (all times are in CEST timezone - UTC+2)
14:00-14:30 Coffee Break