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/.

Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 4 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:30 - 10:45: WelcomeFSCD 2017 at L2
10:30 - 10:45
Other
FSCD 2017
C: Sam StatonUniversity of Oxford, P: Dale MillerINRIA Saclay and LIX
10:45 - 11:45: Session 1FSCD 2017 at L2
10:45 - 11:45
Talk
FSCD 2017
I: Alexandra SilvaUniversity College London
15:00 - 16:00: Session 3FSCD 2017 at L2
15:00 - 15:30
Talk
FSCD 2017
A: Jonas Kaiser, A: Brigitte PientkaMcGill University, A: Gert SmolkaSaarland University
15:30 - 16:00
Talk
FSCD 2017
Jasmin BlanchetteVrije Universiteit Amsterdam, A: Mathias FleuryMPI-INF, A: Dmitriy TraytelETH Zurich

Tue 5 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:30 - 11:30: Session 5FSCD 2017 at L2
10:30 - 11:30
Talk
FSCD 2017
Georg MoserUniversity of Innsbruck
11:30 - 12:00: Session 6FSCD 2017 at L2
11:30 - 12:00
Talk
FSCD 2017
A: Daniel HillerströmThe University of Edinburgh, A: Sam LindleyUniversity of Edinburgh, UK, A: Robert AtkeyUniversity of Strathclyde, A: KC SivaramakrishnanUniversity of Cambridge
15:00 - 16:00: Session 8FSCD 2017 at L2
15:00 - 15:30
Talk
FSCD 2017
A: Stefano Guerrini, A: Marco SolieriUniversity of Bath
15:30 - 16:00
Talk
FSCD 2017
A: Pablo BarenbaumUniversity of Buenos Aires, Argentina / IRIF, France / University of Paris Diderot, France, A: Eduardo BonelliCONICET, Argentina / Universidad Nacional de Quilmes, Argentina

Wed 6 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:00: Session 10FSCD 2017 at L2
09:00 - 10:00
Talk
FSCD 2017
10:30 - 12:00: Session 11FSCD 2017 at L2
10:30 - 11:00
Talk
FSCD 2017
11:00 - 11:30
Talk
FSCD 2017
A: Marcelo FioreComputer Laboratory, University of Cambridge, A: Philip Saville
11:30 - 12:00
Talk
FSCD 2017
13:00 - 14:30: Session 12FSCD 2017 at L2
13:00 - 13:30
Talk
FSCD 2017
A: Dan LicataWesleyan University, A: Michael Shulman, A: Mitchell Riley
13:30 - 14:00
Talk
FSCD 2017
14:00 - 14:30
Talk
FSCD 2017
A: Andrew PittsUniversity of Cambridge, A: Ian Orton
15:00 - 16:00: Session 13FSCD 2017 at L2
15:00 - 15:30
Talk
FSCD 2017
A: Patrick BahrIT University of Copenhagen
15:30 - 16:00
Talk
FSCD 2017
16:40 - 17:10: Session 14FSCD 2017 at L2
16:40 - 17:10
Talk
FSCD 2017
17:10 - 17:20: Termination and Complexity Competition 2017FSCD 2017 at L2
17:10 - 17:20
Other
FSCD 2017
17:20 - 18:10: FSCD General MeetingFSCD 2017 at L2
17:20 - 18:10
Meeting
FSCD 2017

Thu 7 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:00: Session 15FSCD 2017 at L2
09:00 - 10:00
Talk
FSCD 2017
A: Marco GaboardiUniversity at Buffalo, SUNY, USA
10:30 - 11:59: Session 16FSCD 2017 at L2
10:30 - 11:00
Talk
FSCD 2017
A: Benjamin Lichtman, A: Jan HoffmannCarnegie Mellon University
11:00 - 11:30
Talk
FSCD 2017
A: Andrej DudenhefnerTechnical University Dortmund, A: Jakob RehofTechnical University Dortmund
11:30 - 11:59
Talk
FSCD 2017
A: Delia KesnerIRIF, France / University of Paris Diderot, France, A: Pierre Vial

Accepted Papers

Title
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017
FSCD 2017