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
Sam StatonUniversity of Oxford, Dale MillerINRIA Saclay and LIX
fscd-2017
10:45 - 11:45: FSCD 2017 - Session 1 at L2
fscd-2017150451470000010:45 - 11:45
Talk
Alexandra SilvaUniversity College London
fscd-2017
13:00 - 14:30: FSCD 2017 - Session 2 at L2
fscd-2017150452280000013:00 - 13:30
Talk
fscd-2017150452460000013:30 - 14:00
Talk
fscd-2017150452640000014:00 - 14:30
Talk
Ryota Suzuki, Koichi Fujima, Naoki KobayashiUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 3 at L2
fscd-2017150453000000015:00 - 15:30
Talk
Jonas Kaiser, Brigitte PientkaMcGill University, Gert SmolkaSaarland University
fscd-2017150453180000015:30 - 16:00
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Mathias FleuryMPI-INF, Dmitriy TraytelETH Zurich
fscd-2017
16:40 - 18:10: FSCD 2017 - Session 4 at L2
fscd-2017150453600000016:40 - 17:10
Talk
fscd-2017150453780000017:10 - 17:40
Talk
Noam ZeilbergerUniversity of Birmingham, UK
fscd-2017150453960000017:40 - 18:10
Talk

Tue 5 Sep

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

Wed 6 Sep

fscd-2017
09:00 - 10:00: FSCD 2017 - Session 10 at L2
fscd-2017150468120000009:00 - 10:00
Talk
fscd-2017
10:30 - 12:00: FSCD 2017 - Session 11 at L2
fscd-2017150468660000010:30 - 11:00
Talk
fscd-2017150468840000011:00 - 11:30
Talk
Marcelo FioreComputer Laboratory, University of Cambridge, Philip Saville
fscd-2017150469020000011:30 - 12:00
Talk
fscd-2017
13:00 - 14:30: FSCD 2017 - Session 12 at L2
fscd-2017150469560000013:00 - 13:30
Talk
fscd-2017150469740000013:30 - 14:00
Talk
fscd-2017150469920000014:00 - 14:30
Talk
Andrew PittsUniversity of Cambridge, Ian Orton
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 13 at L2
fscd-2017150470280000015:00 - 15:30
Talk
Patrick BahrIT University of Copenhagen
fscd-2017150470460000015:30 - 16:00
Talk
fscd-2017
16:40 - 17:10: FSCD 2017 - Session 14 at L2
fscd-2017150470880000016:40 - 17:10
Talk
fscd-2017
17:10 - 17:20: FSCD 2017 - Termination and Complexity Competition 2017 at L2
fscd-2017150471060000017:10 - 17:20
Other
fscd-2017
17:20 - 18:10: FSCD 2017 - FSCD General Meeting at L2
fscd-2017150471120000017:20 - 18:10
Meeting

Thu 7 Sep

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

Accepted Papers

Title