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**

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

Mon 4 Sep

Times are displayed in time zone:

**Greenwich Mean Time : Belfast**change13:00 - 13:30Talk | FSCD 2017 | ||

13:30 - 14:00Talk | FSCD 2017 | ||

14:00 - 14:30Talk | FSCD 2017 A: Ryota Suzuki, A: Koichi Fujima, A: Naoki KobayashiUniversity of Tokyo, Japan, A: Takeshi TsukadaUniversity of Tokyo, Japan |

15:00 - 15:30Talk | FSCD 2017 | ||

15:30 - 16:00Talk | 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

Tue 5 Sep

Times are displayed in time zone:

**Greenwich Mean Time : Belfast**change10:30 - 11:30Talk | FSCD 2017 Georg MoserUniversity of Innsbruck |

11:30 - 12:00Talk | 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 |

13:00 - 13:30Talk | FSCD 2017 | ||

13:30 - 14:00Talk | FSCD 2017 | ||

14:00 - 14:30Talk | FSCD 2017 A: Yohji Akama |

15:00 - 15:30Talk | FSCD 2017 | ||

15:30 - 16:00Talk | 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

Wed 6 Sep

Times are displayed in time zone:

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

Thu 7 Sep

Times are displayed in time zone:

**Greenwich Mean Time : Belfast**change### Accepted Papers

Title | |
---|---|

FSCD 2017 | |

FSCD 2017 | |

FSCD 2017 | |

FSCD 2017 | |

FSCD 2017 | |

FSCD 2017 A: Patrick Bahr | |

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 A: Yohji Akama | |

FSCD 2017 | |

FSCD 2017 |