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

Time Zone

The program is currently displayed in (GMT+01:00) Belfast.

Use conference time zone: (GMT+01:00) BelfastSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Mon 4 Sep
Displayed time zone: Belfast change

10:30 - 10:45	WelcomeFSCD 2017 at L2

10:30 15m Other		Welcome message FSCD 2017 C: Sam Staton University of Oxford, P: Dale Miller INRIA Saclay and LIX

10:45 - 11:45	Session 1FSCD 2017 at L2

10:45 60m Talk		Brzozowski Goes Concurrent -- A Kleene Theorem for Pomset Languages FSCD 2017 I: Alexandra Silva University College London

13:00 - 14:30	Session 2FSCD 2017 at L2

13:00 30m Talk		Polynomial running times for polynomial-time oracle machines FSCD 2017 A: Akitoshi Kawamura , A: Florian Steinberg
13:30 30m Talk		A Curry-Howard Approach to Church’s Synthesis FSCD 2017 A: Colin Riba , A: Pierre Pradic
14:00 30m Talk		Streett Automata Model Checking of Higher-Order Recursion Schemes FSCD 2017 A: Ryota Suzuki , A: Koichi Fujima , A: Naoki Kobayashi University of Tokyo, Japan, A: Takeshi Tsukada University of Tokyo, Japan

15:00 - 16:00	Session 3FSCD 2017 at L2

15:00 30m Talk		Relating System F and λ2: A Case Study in Coq, Abella and Beluga FSCD 2017 A: Jonas Kaiser , A: Brigitte Pientka McGill University, A: Gert Smolka Saarland University
15:30 30m Talk		Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL FSCD 2017 Jasmin Blanchette Vrije Universiteit Amsterdam, A: Mathias Fleury MPI-INF, A: Dmitriy Traytel ETH Zurich

16:40 - 18:10	Session 4FSCD 2017 at L2

16:40 30m Talk		A polynomial-time algorithm for the Lambek calculus with brackets of bounded order FSCD 2017 A: Max Kanovich , A: Stepan Kuznetsov , A: Glyn Morrill , A: Andre Scedrov
17:10 30m Talk		A sequent calculus for semi-associativity FSCD 2017 A: Noam Zeilberger University of Birmingham, UK
17:40 30m Talk		Combinatorial Flows and their Normalisation FSCD 2017 A: Lutz Strassburger

Tue 5 Sep
Displayed time zone: Belfast change

10:30 - 11:30	Session 5FSCD 2017 at L2

10:30 60m Talk		Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses FSCD 2017 Georg Moser University of Innsbruck

11:30 - 12:00	Session 6FSCD 2017 at L2

11:30 30m Talk		Continuation Passing Style for Effect Handlers FSCD 2017 A: Daniel Hillerström The University of Edinburgh, A: Sam Lindley University of Edinburgh, UK, A: Robert Atkey University of Strathclyde, A: KC Sivaramakrishnan University of Cambridge

13:00 - 14:30	Session 7FSCD 2017 at L2

13:00 30m Talk		Confluence of an extension of Combinatory Logic by Boolean constants FSCD 2017 A: Lukasz Czajka University of Innsbruck
13:30 30m Talk		Improving Rewriting Induction Approach for Proving Ground Confluence FSCD 2017 A: Takahito Aoto , A: Yoshihito Toyama , A: Yuta Kimura
14:00 30m Talk		The confluent terminating context-free substitutive rewriting system for the λ-calculus with surjective pairing and terminal type FSCD 2017 A: Yohji Akama

15:00 - 16:00	Session 8FSCD 2017 at L2

15:00 30m Talk		Is the optimal implementation inefficient? Elementarily not FSCD 2017 A: Stefano Guerrini , A: Marco Solieri University of Bath
15:30 30m Talk		Optimality and the Linear Substitution Calculus FSCD 2017 A: Pablo Barenbaum University of Buenos Aires, Argentina / IRIF, France / University of Paris Diderot, France, A: Eduardo Bonelli CONICET, Argentina / Universidad Nacional de Quilmes, Argentina

16:40 - 18:10	Session 9FSCD 2017 at L2

16:40 30m Talk		Generalized Refocusing: from Hybrid Strategies to Abstract Machines FSCD 2017 A: Malgorzata Biernacka University of Wroclaw, A: Witold Charatonik , A: Klara Zielińska
17:10 30m Talk		Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or FSCD 2017 A: Simon Castellan , A: Pierre Clairambault , A: Glynn Winskel
17:40 30m Talk		Refutation of Sallé's Longstanding Conjecture FSCD 2017 A: Benedetto Intrigila , A: Giulio Manzonetto , A: Andrew Polonsky

Wed 6 Sep
Displayed time zone: Belfast change

09:00 - 10:00	Session 10FSCD 2017 at L2

09:00 60m Talk		Quantitative semantics for probabilistic programming FSCD 2017 A: Christine Tasson

10:30 - 12:00	Session 11FSCD 2017 at L2

10:30 30m Talk		Displayed categories FSCD 2017 A: Benedikt Ahrens , A: Peter Lefanu Lumsdaine
11:00 30m Talk		List Objects with Algebraic Structure FSCD 2017 A: Marcelo Fiore Computer Laboratory, University of Cambridge, A: Philip Saville
11:30 30m Talk		There is only one notion of differentiation FSCD 2017 A: Robin Cockett , A: Jean-Simon Lemay

13:00 - 14:30	Session 12FSCD 2017 at L2

13:00 30m Talk		A Fibrational Framework for Substructural and Modal Logics FSCD 2017 A: Daniel R. Licata Wesleyan University, A: Michael Shulman , A: Mitchell Riley
13:30 30m Talk		Dinaturality between syntax and semantics FSCD 2017 A: Paolo Pistone
14:00 30m Talk		Models of Type Theory Based on Moore Paths FSCD 2017 A: Andrew M. Pitts University of Cambridge, A: Ian Orton

15:00 - 16:00	Session 13FSCD 2017 at L2

15:00 30m Talk		Böhm Reduction in Infinitary Term Graph Rewriting Systems FSCD 2017 A: Patrick Bahr IT University of Copenhagen
15:30 30m Talk		Infinite Runs in Abstract Completion FSCD 2017 A: Nao Hirokawa JAIST, A: Aart Middeldorp , A: Christian Sternagel , A: Sarah Winkler

16:40 - 17:10	Session 14FSCD 2017 at L2

16:40 30m Talk		Negative Translations and Normal Modality FSCD 2017 A: Tadeusz Litak , A: Miriam Polzer , A: Ulrich Rabenstein

17:10 - 17:20	Termination and Complexity Competition 2017FSCD 2017 at L2

17:10 10m Other		Termination and Complexity Competition 2017 FSCD 2017 P: Jürgen Giesl , P: Albert Rubio , P: Johannes Waldmann , P: Akihisa Yamada

17:20 - 18:10	FSCD General MeetingFSCD 2017 at L2

17:20 50m Meeting		FSCD General Meeting FSCD 2017

Thu 7 Sep
Displayed time zone: Belfast change

09:00 - 10:00	Session 15FSCD 2017 at L2

09:00 60m Talk		Type systems for the relational verification of higher order programs FSCD 2017 A: Marco Gaboardi University at Buffalo, SUNY, USA

10:30 - 11:59	Session 16FSCD 2017 at L2

10:30 30m Talk		Arrays and References in Resource Aware ML FSCD 2017 A: Benjamin Lichtman , A: Jan Hoffmann Carnegie Mellon University
11:00 30m Talk		The Complexity of Principal Inhabitation FSCD 2017 A: Andrej Dudenhefner Technical University Dortmund, A: Jakob Rehof Technical University Dortmund
11:30 29m Talk		Types as Resources for Classical Natural Deduction FSCD 2017 A: Delia Kesner Université de Paris, CNRS, IRIF, France, A: Pierre Vial

Accepted Papers

	Title
	A Curry-Howard Approach to Church’s Synthesis FSCD 2017 A: Colin Riba, A: Pierre Pradic
	A Fibrational Framework for Substructural and Modal Logics FSCD 2017 A: Daniel R. Licata, A: Michael Shulman, A: Mitchell Riley
	A polynomial-time algorithm for the Lambek calculus with brackets of bounded order FSCD 2017 A: Max Kanovich, A: Stepan Kuznetsov, A: Glyn Morrill, A: Andre Scedrov
	Arrays and References in Resource Aware ML FSCD 2017 A: Benjamin Lichtman, A: Jan Hoffmann
	A sequent calculus for semi-associativity FSCD 2017 A: Noam Zeilberger
	Böhm Reduction in Infinitary Term Graph Rewriting Systems FSCD 2017 A: Patrick Bahr
	Combinatorial Flows and their Normalisation FSCD 2017 A: Lutz Strassburger
	Confluence of an extension of Combinatory Logic by Boolean constants FSCD 2017 A: Lukasz Czajka
	Continuation Passing Style for Effect Handlers FSCD 2017 A: Daniel Hillerström, A: Sam Lindley, A: Robert Atkey, A: KC Sivaramakrishnan
	Dinaturality between syntax and semantics FSCD 2017 A: Paolo Pistone
	Displayed categories FSCD 2017 A: Benedikt Ahrens, A: Peter Lefanu Lumsdaine
	Generalized Refocusing: from Hybrid Strategies to Abstract Machines FSCD 2017 A: Malgorzata Biernacka, A: Witold Charatonik, A: Klara Zielińska
	Improving Rewriting Induction Approach for Proving Ground Confluence FSCD 2017 A: Takahito Aoto, A: Yoshihito Toyama, A: Yuta Kimura
	Infinite Runs in Abstract Completion FSCD 2017 A: Nao Hirokawa, A: Aart Middeldorp, A: Christian Sternagel, A: Sarah Winkler
	Is the optimal implementation inefficient? Elementarily not FSCD 2017 A: Stefano Guerrini, A: Marco Solieri
	List Objects with Algebraic Structure FSCD 2017 A: Marcelo Fiore, A: Philip Saville
	Models of Type Theory Based on Moore Paths FSCD 2017 A: Andrew M. Pitts, A: Ian Orton
	Negative Translations and Normal Modality FSCD 2017 A: Tadeusz Litak, A: Miriam Polzer, A: Ulrich Rabenstein
	Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL FSCD 2017 Jasmin Blanchette, A: Mathias Fleury, A: Dmitriy Traytel
	Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or FSCD 2017 A: Simon Castellan, A: Pierre Clairambault, A: Glynn Winskel
	Optimality and the Linear Substitution Calculus FSCD 2017 A: Pablo Barenbaum, A: Eduardo Bonelli
	Polynomial running times for polynomial-time oracle machines FSCD 2017 A: Akitoshi Kawamura, A: Florian Steinberg
	Refutation of Sallé's Longstanding Conjecture FSCD 2017 A: Benedetto Intrigila, A: Giulio Manzonetto, A: Andrew Polonsky
	Relating System F and λ2: A Case Study in Coq, Abella and Beluga FSCD 2017 A: Jonas Kaiser, A: Brigitte Pientka, A: Gert Smolka
	Streett Automata Model Checking of Higher-Order Recursion Schemes FSCD 2017 A: Ryota Suzuki, A: Koichi Fujima, A: Naoki Kobayashi, A: Takeshi Tsukada
	The Complexity of Principal Inhabitation FSCD 2017 A: Andrej Dudenhefner, A: Jakob Rehof
	The confluent terminating context-free substitutive rewriting system for the λ-calculus with surjective pairing and terminal type FSCD 2017 A: Yohji Akama
	There is only one notion of differentiation FSCD 2017 A: Robin Cockett, A: Jean-Simon Lemay
	Types as Resources for Classical Natural Deduction FSCD 2017 A: Delia Kesner, A: Pierre Vial

FSCD 2017

Program Display Configuration

Mon 4 SepDisplayed time zone: Belfast change

Tue 5 SepDisplayed time zone: Belfast change

Wed 6 SepDisplayed time zone: Belfast change

Thu 7 SepDisplayed time zone: Belfast change

Accepted Papers

Mon 4 Sep
Displayed time zone: Belfast change

Tue 5 Sep
Displayed time zone: Belfast change

Wed 6 Sep
Displayed time zone: Belfast change

Thu 7 Sep
Displayed time zone: Belfast change