FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017

The Second International Conference on Formal Structures for Computation and Deduction is co-located with ICFP 2017.

You can find all information at http://www.cs.ox.ac.uk/conferences/fscd2017/.

Mon 4 Sep

fscd-2017
10:30 - 10:45: FSCD 2017 - Welcome at L2
fscd-2017150451380000010:30 - 10:45
Other
fscd-2017
10:45 - 11:45: FSCD 2017 - Session 1 at L2
fscd-2017150451470000010:45 - 11:45
Talk

Not scheduled yet

fscd-2017Not scheduled yet
Talk
Lukasz Czajka
fscd-2017Not scheduled yet
Talk
Benedetto Intrigila
Giulio Manzonetto
Andrew Polonsky
fscd-2017Not scheduled yet
Talk
Malgorzata Biernacka
Witold Charatonik
Klara Zielińska
fscd-2017Not scheduled yet
Talk
Takahito Aoto
Yoshihito Toyama
Yuta Kimura
fscd-2017Not scheduled yet
Talk
Daniel Hillerström
Sam Lindley
Bob Atkey
KC Sivaramakrishnan
fscd-2017Not scheduled yet
Talk
Yohji Akama
fscd-2017Not scheduled yet
Talk
Simon Castellan
Pierre Clairambault
Glynn Winskel
fscd-2017Not scheduled yet
Talk
Stefano Guerrini
Marco Solieri
fscd-2017Not scheduled yet
Talk
Pablo Barenbaum
Eduardo Bonelli
fscd-2017Not scheduled yet
Talk
Georg Moser

Accepted Papers

Title