FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
VenueMathematical Institute
Room nameL2
Floor0
Capacity210
Room InformationNo extra information available
Program

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

Sun 3 Sep

Displayed time zone: Belfast change

09:00 - 09:05
WelcomeTyDe at L2
09:00
5m
Day opening
Welcome
TyDe
Sam Lindley University of Edinburgh, UK, Brent Yorgey Hendrix College
09:05 - 10:00
Invited talkTyDe at L2
09:05
55m
Talk
Driving types into PHP
TyDe
Andrew Kennedy Facebook London
10:30 - 11:30
Full papers 1TyDe at L2
10:30
30m
Talk
Generic packet descriptions: verified parsing and pretty printing of low-level data
TyDe
Marcell van Geest Utrecht University, Wouter Swierstra University of Utrecht
11:00
30m
Talk
Structured asynchrony with algebraic effects
TyDe
Daan Leijen Microsoft Research
12:00 - 12:25
Extended abstracts 1TyDe at L2
12:00
25m
Talk
Cogent⇑: giving systems engineers a stepping stone
TyDe
Zilin Chen UNSW, Australia
14:00 - 15:00
Full papers 2TyDe at L2
14:00
30m
Talk
Type safe Redis queries -- a case study of type-level programming in Haskell
TyDe
Ting-Yan Lai Institute of Information Science, Academia Sinica, Tyng-Ruey Chuang Institute of Information Science, Academia Sinica, Shin-Cheng Mu Academia Sinica, Taiwan
14:30
30m
Talk
Type-directed diffing of structured data
TyDe
Victor Cacciari Miraldo University of Utrecht, Pierre-Evariste Dagand LIP6/CNRS , Wouter Swierstra University of Utrecht
15:30 - 16:20
Extended abstracts 2TyDe at L2
15:30
25m
Talk
Affine killing
TyDe
Kiko Fernandez-Reyes Uppsala University, Dave Clarke Uppsala Univ. Sweden and KU Leuvern
15:55
25m
Talk
On ringads and foldables
TyDe
James McKinna University of Edinburgh
16:50 - 17:40
Extended abstracts 3TyDe at L2
16:50
25m
Talk
Type oriented programming for task based parallelism
TyDe
17:15
25m
Talk
Type-directed reasoning for probabilistic, non-compositional resources
TyDe
Edwin Brady University of St. Andrews, UK, Kevin Hammond University of St. Andrews, UK, Christopher Schwaab University of St Andrews

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

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

Wed 6 Sep

Displayed time zone: Belfast change

10:30 - 12:00
Session 11FSCD 2017 at L2
10:30
30m
Talk
Displayed categories
FSCD 2017
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
13:00 - 14:30
Session 12FSCD 2017 at L2
13:00
30m
Talk
A Fibrational Framework for Substructural and Modal Logics
FSCD 2017
A: Dan Licata Wesleyan University, A: Michael Shulman , A: Mitchell Riley
13:30
30m
Talk
Dinaturality between syntax and semantics
FSCD 2017
14:00
30m
Talk
Models of Type Theory Based on Moore Paths
FSCD 2017
A: Andrew 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
16:40 - 17:10
Session 14FSCD 2017 at L2
16:40
30m
Talk
Negative Translations and Normal Modality
FSCD 2017
17:10 - 17:20
Termination and Complexity Competition 2017FSCD 2017 at L2
17:10
10m
Other
Termination and Complexity Competition 2017
FSCD 2017
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 IRIF, France / University of Paris Diderot, France, A: Pierre Vial

Sat 9 Sep

Displayed time zone: Belfast change

09:10 - 10:00
CUFP Talks 1CUFP at L2
09:10
25m
Talk
Keynote: Are We There Yet?
CUFP
Bodil Stokke Church of Emacs
09:35
25m
Talk
Bonsai: a DSL for serverless firm real-time decisioning
CUFP
12:00 - 12:25
CUFP Talks 3CUFP at L2
12:00
25m
Talk
Gens N' Roses: Appetite for Reduction
CUFP
14:00 - 14:50
CUFP Talks 4CUFP at L2
14:00
25m
Talk
Formally Verifying a Smart-Contract Language Implementation with Isabelle
CUFP
Simon Meier Digital Asset
14:25
25m
Talk
Haskell games and apps for iOS and Android
CUFP
Ivan Perez University of Nottingham, UK
15:30 - 16:20
CUFP Talks 5CUFP at L2
15:30
25m
Talk
Using Haskell to run a datacenter
CUFP
15:55
25m
Talk
Functional Facades over Legacy Code
CUFP
Nicholas Cowle G-Research, Robin Kay G-Research

Sun 3 Sep

Displayed time zone: Belfast change

Mon 4 Sep

Displayed time zone: Belfast change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
L2

Tue 5 Sep

Displayed time zone: Belfast change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
L2

Thu 7 Sep

Displayed time zone: Belfast change

Sat 9 Sep

Displayed time zone: Belfast change