Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017
Oxford, United Kingdom
Toggle navigation
Attending
Venue: Mathematical Institute
Accommodation
Registration
Travel to Oxford
Practical Information
Student Volunteers
Student Travel Support
Code of Conduct
Call for Sponsorship
Visa Support Letter
Program
ICFP Program
Your Program
Filter by Day
Sun 3 Sep
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Fri 8 Sep
Sat 9 Sep
Tracks
ICFP 2017
Keynotes and Reports
Tutorials
Workshops
Research Papers
Research Artifacts
Student Research Competition
Social Events
Co-hosted Conferences
CUFP
FSCD
Workshops
Erlang
FARM
FHPC
HIW
HOPE
ML
OCaml
PLMW
Scheme
TyDe
Co-hosted Symposia
Haskell
Organization
ICFP 2017 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Research Artifacts
Student Research Competition
Contributors
People Index
Co-hosted Conferences
CUFP
Organizing Committee
Program Committee
FSCD
N/A - check homepage
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPC
Organizing Committee
Program Committee
HIW
Program Committee
HOPE
Organizing Committee
Program Committee
ML
Organizing Committee
Program Committee
OCaml
Organizing Committee
Program Committee
PLMW
Organizing Committee
Scheme
Program Committee
Steering Committee
TyDe
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2017
(
series
) /
Mathematical Institute
/
Room information: L2
Venue
Mathematical Institute
Room name
L2
Floor
0
Capacity
210
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Belfast
.
Use conference time zone: (GMT+01:00) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Sun 3 Sep
Displayed time zone:
Belfast
change
09:00 - 09:05
Welcome
TyDe
at
L2
09:00
5m
Day opening
Welcome
TyDe
Sam Lindley
University of Edinburgh, UK
,
Brent Yorgey
Hendrix College
09:05 - 10:00
Invited talk
TyDe
at
L2
09:05
55m
Talk
Driving types into PHP
TyDe
Andrew Kennedy
Facebook London
10:30 - 11:30
Full papers 1
TyDe
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 1
TyDe
at
L2
12:00
25m
Talk
Cogent⇑: giving systems engineers a stepping stone
TyDe
Zilin Chen
UNSW, Australia
14:00 - 15:00
Full papers 2
TyDe
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 2
TyDe
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 3
TyDe
at
L2
16:50
25m
Talk
Type oriented programming for task based parallelism
TyDe
Nick Brown
EPCC
,
Ludovic Capelli
EPCC
,
James Mark Bull
EPCC
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
Welcome
FSCD
at
L2
10:30
15m
Other
Welcome message
FSCD
C:
Sam Staton
University of Oxford
,
P:
Dale Miller
INRIA Saclay and LIX
10:45 - 11:45
Session 1
FSCD
at
L2
10:45
60m
Talk
Brzozowski Goes Concurrent -- A Kleene Theorem for Pomset Languages
FSCD
I:
Alexandra Silva
University College London
13:00 - 14:30
Session 2
FSCD
at
L2
13:00
30m
Talk
Polynomial running times for polynomial-time oracle machines
FSCD
A:
Akitoshi Kawamura
,
A:
Florian Steinberg
13:30
30m
Talk
A Curry-Howard Approach to Church’s Synthesis
FSCD
A:
Colin Riba
,
A:
Pierre Pradic
14:00
30m
Talk
Streett Automata Model Checking of Higher-Order Recursion Schemes
FSCD
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 3
FSCD
at
L2
15:00
30m
Talk
Relating System F and λ2: A Case Study in Coq, Abella and Beluga
FSCD
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
Jasmin Blanchette
Vrije Universiteit Amsterdam
,
A:
Mathias Fleury
MPI-INF
,
A:
Dmitriy Traytel
ETH Zurich
16:40 - 18:10
Session 4
FSCD
at
L2
16:40
30m
Talk
A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
FSCD
A:
Max Kanovich
,
A:
Stepan Kuznetsov
,
A:
Glyn Morrill
,
A:
Andre Scedrov
17:10
30m
Talk
A sequent calculus for semi-associativity
FSCD
A:
Noam Zeilberger
University of Birmingham, UK
17:40
30m
Talk
Combinatorial Flows and their Normalisation
FSCD
A:
Lutz Strassburger
Tue 5 Sep
Displayed time zone:
Belfast
change
10:30 - 11:30
Session 5
FSCD
at
L2
10:30
60m
Talk
Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses
FSCD
Georg Moser
University of Innsbruck
11:30 - 12:00
Session 6
FSCD
at
L2
11:30
30m
Talk
Continuation Passing Style for Effect Handlers
FSCD
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 7
FSCD
at
L2
13:00
30m
Talk
Confluence of an extension of Combinatory Logic by Boolean constants
FSCD
A:
Lukasz Czajka
University of Innsbruck
13:30
30m
Talk
Improving Rewriting Induction Approach for Proving Ground Confluence
FSCD
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
A:
Yohji Akama
15:00 - 16:00
Session 8
FSCD
at
L2
15:00
30m
Talk
Is the optimal implementation inefficient? Elementarily not
FSCD
A:
Stefano Guerrini
,
A:
Marco Solieri
University of Bath
15:30
30m
Talk
Optimality and the Linear Substitution Calculus
FSCD
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 9
FSCD
at
L2
16:40
30m
Talk
Generalized Refocusing: from Hybrid Strategies to Abstract Machines
FSCD
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
A:
Simon Castellan
,
A:
Pierre Clairambault
,
A:
Glynn Winskel
17:40
30m
Talk
Refutation of Sallé's Longstanding Conjecture
FSCD
A:
Benedetto Intrigila
,
A:
Giulio Manzonetto
,
A:
Andrew Polonsky
Wed 6 Sep
Displayed time zone:
Belfast
change
09:00 - 10:00
Session 10
FSCD
at
L2
09:00
60m
Talk
Quantitative semantics for probabilistic programming
FSCD
A:
Christine Tasson
10:30 - 12:00
Session 11
FSCD
at
L2
10:30
30m
Talk
Displayed categories
FSCD
A:
Benedikt Ahrens
,
A:
Peter Lefanu Lumsdaine
11:00
30m
Talk
List Objects with Algebraic Structure
FSCD
A:
Marcelo Fiore
Computer Laboratory, University of Cambridge
,
A:
Philip Saville
11:30
30m
Talk
There is only one notion of differentiation
FSCD
A:
Robin Cockett
,
A:
Jean-Simon Lemay
13:00 - 14:30
Session 12
FSCD
at
L2
13:00
30m
Talk
A Fibrational Framework for Substructural and Modal Logics
FSCD
A:
Daniel R. Licata
Wesleyan University
,
A:
Michael Shulman
,
A:
Mitchell Riley
13:30
30m
Talk
Dinaturality between syntax and semantics
FSCD
A:
Paolo Pistone
14:00
30m
Talk
Models of Type Theory Based on Moore Paths
FSCD
A:
Andrew M. Pitts
University of Cambridge
,
A:
Ian Orton
15:00 - 16:00
Session 13
FSCD
at
L2
15:00
30m
Talk
Böhm Reduction in Infinitary Term Graph Rewriting Systems
FSCD
A:
Patrick Bahr
IT University of Copenhagen
15:30
30m
Talk
Infinite Runs in Abstract Completion
FSCD
A:
Nao Hirokawa
JAIST
,
A:
Aart Middeldorp
,
A:
Christian Sternagel
,
A:
Sarah Winkler
16:40 - 17:10
Session 14
FSCD
at
L2
16:40
30m
Talk
Negative Translations and Normal Modality
FSCD
A:
Tadeusz Litak
,
A:
Miriam Polzer
,
A:
Ulrich Rabenstein
17:10 - 17:20
Termination and Complexity Competition 2017
FSCD
at
L2
17:10
10m
Other
Termination and Complexity Competition 2017
FSCD
P:
Jürgen Giesl
,
P:
Albert Rubio
,
P:
Johannes Waldmann
,
P:
Akihisa Yamada
17:20 - 18:10
FSCD General Meeting
FSCD
at
L2
17:20
50m
Meeting
FSCD General Meeting
FSCD
Thu 7 Sep
Displayed time zone:
Belfast
change
09:00 - 10:00
Session 15
FSCD
at
L2
09:00
60m
Talk
Type systems for the relational verification of higher order programs
FSCD
A:
Marco Gaboardi
University at Buffalo, SUNY, USA
10:30 - 11:59
Session 16
FSCD
at
L2
10:30
30m
Talk
Arrays and References in Resource Aware ML
FSCD
A:
Benjamin Lichtman
,
A:
Jan Hoffmann
Carnegie Mellon University
11:00
30m
Talk
The Complexity of Principal Inhabitation
FSCD
A:
Andrej Dudenhefner
Technical University Dortmund
,
A:
Jakob Rehof
Technical University Dortmund
11:30
29m
Talk
Types as Resources for Classical Natural Deduction
FSCD
A:
Delia Kesner
Université de Paris, CNRS, IRIF, France
,
A:
Pierre Vial
Sat 9 Sep
Displayed time zone:
Belfast
change
09:10 - 10:00
CUFP Talks 1
CUFP
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
Jeremie Lasalle-Ratelle
AppNexus
10:30 - 11:20
CUFP Talks 2
CUFP
at
L2
10:30
25m
Talk
Interfacing OCaml and Rust: picking the right tool for the job
CUFP
Joris Giovannangeli
Ahrefs Research
10:55
25m
Talk
Distributed load testing with MZBench
CUFP
Renat Idrisov
12:00 - 12:25
CUFP Talks 3
CUFP
at
L2
12:00
25m
Talk
Gens N' Roses: Appetite for Reduction
CUFP
Jacob Stanley
Ambiata
14:00 - 14:50
CUFP Talks 4
CUFP
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 5
CUFP
at
L2
15:30
25m
Talk
Using Haskell to run a datacenter
CUFP
Pavlo Kerestey
15:55
25m
Talk
Functional Facades over Legacy Code
CUFP
Nicholas Cowle
G-Research
,
Robin Kay
G-Research
16:50 - 17:40
CUFP Talks 6
CUFP
at
L2
16:50
25m
Talk
Building the largest payment sandbox on a tiny machine
CUFP
A:
Máté Marjai
TestingPays
17:15
25m
Talk
Using Functional Programming to Accelerate Translational Research at Pfizer
CUFP
Austin Huang
Pfizer
Sun 3 Sep
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
L2
TyDe
Welcome
TyDe
Invited talk
TyDe
Full papers 1
TyDe
Extended abstracts 1
TyDe
Full papers 2
TyDe
Extended abstracts 2
TyDe
Extended abstracts 3
Mon 4 Sep
Displayed time zone:
Belfast
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
L2
FSCD
Welcome
FSCD
Session 1
FSCD
Session 2
FSCD
Session 3
FSCD
Session 4
Tue 5 Sep
Displayed time zone:
Belfast
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
L2
FSCD
Session 5
FSCD
Session 6
FSCD
Session 7
FSCD
Session 8
FSCD
Session 9
Wed 6 Sep
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
L2
FSCD
Session 10
FSCD
Session 11
FSCD
Session 12
FSCD
Session 13
FSCD
Session 14
FSCD
Termination and Complexity Competition 2017
FSCD
FSCD General Meeting
Thu 7 Sep
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
L2
FSCD
Session 15
FSCD
Session 16
Sat 9 Sep
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
L2
CUFP
CUFP
CUFP Talks 1
CUFP
CUFP Talks 2
CUFP
CUFP Talks 3
CUFP
CUFP Talks 4
CUFP
CUFP Talks 5
CUFP
CUFP Talks 6
Sun 3 Sep
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
L2
TyDe
Welcome
09:00 - 09:05
TyDe
Driving types into PHP
09:05 - 10:00
TyDe
Generic packet descriptions: verified parsing and pretty printing of lo ...
10:30 - 11:00
TyDe
Structured asynchrony with algebraic effects
11:00 - 11:30
TyDe
Cogent⇑: giving systems engineers a stepping stone
12:00 - 12:25
TyDe
Type safe Redis queries -- a case study of type-level programming in Ha ...
14:00 - 14:30
TyDe
Type-directed diffing of structured data
14:30 - 15:00
TyDe
Affine killing
15:30 - 15:55
TyDe
On ringads and foldables
15:55 - 16:20
TyDe
Type oriented programming for task based parallelism
16:50 - 17:15
TyDe
Type-directed reasoning for probabilistic, non-compositional resources
17:15 - 17:40
Mon 4 Sep
Displayed time zone:
Belfast
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
L2
FSCD
Welcome message
10:30 - 10:45
FSCD
Brzozowski Goes Concurrent -- A Kleene Theorem for Pomset Languages
10:45 - 11:45
FSCD
Polynomial running times for polynomial-time oracle machines
13:00 - 13:30
FSCD
A Curry-Howard Approach to Church’s Synthesis
13:30 - 14:00
FSCD
Streett Automata Model Checking of Higher-Order Recursion Schemes
14:00 - 14:30
FSCD
Relating System F and λ2: A Case Study in Coq, Abella and Beluga
15:00 - 15:30
FSCD
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabe ...
15:30 - 16:00
FSCD
A polynomial-time algorithm for the Lambek calculus with brackets of bo ...
16:40 - 17:10
FSCD
A sequent calculus for semi-associativity
17:10 - 17:40
FSCD
Combinatorial Flows and their Normalisation
17:40 - 18:10
Tue 5 Sep
Displayed time zone:
Belfast
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
L2
FSCD
Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses
10:30 - 11:30
FSCD
Continuation Passing Style for Effect Handlers
11:30 - 12:00
FSCD
Confluence of an extension of Combinatory Logic by Boolean constants
13:00 - 13:30
FSCD
Improving Rewriting Induction Approach for Proving Ground Confluence
13:30 - 14:00
FSCD
The confluent terminating context-free substitutive rewriting system fo ...
14:00 - 14:30
FSCD
Is the optimal implementation inefficient? Elementarily not
15:00 - 15:30
FSCD
Optimality and the Linear Substitution Calculus
15:30 - 16:00
FSCD
Generalized Refocusing: from Hybrid Strategies to Abstract Machines
16:40 - 17:10
FSCD
Observably Deterministic Concurrent Strategies and Intensional Full Abs ...
17:10 - 17:40
FSCD
Refutation of Sallé's Longstanding Conjecture
17:40 - 18:10
Wed 6 Sep
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
L2
FSCD
Quantitative semantics for probabilistic programming
09:00 - 10:00
FSCD
Displayed categories
10:30 - 11:00
FSCD
List Objects with Algebraic Structure
11:00 - 11:30
FSCD
There is only one notion of differentiation
11:30 - 12:00
FSCD
A Fibrational Framework for Substructural and Modal Logics
13:00 - 13:30
FSCD
Dinaturality between syntax and semantics
13:30 - 14:00
FSCD
Models of Type Theory Based on Moore Paths
14:00 - 14:30
FSCD
Böhm Reduction in Infinitary Term Graph Rewriting Systems
15:00 - 15:30
FSCD
Infinite Runs in Abstract Completion
15:30 - 16:00
FSCD
Negative Translations and Normal Modality
16:40 - 17:10
FSCD
Termination and Complexity Competition 2017
17:10 - 17:20
FSCD
FSCD General Meeting
17:20 - 18:10
Thu 7 Sep
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
L2
FSCD
Type systems for the relational verification of higher order programs
09:00 - 10:00
FSCD
Arrays and References in Resource Aware ML
10:30 - 11:00
FSCD
The Complexity of Principal Inhabitation
11:00 - 11:30
FSCD
Types as Resources for Classical Natural Deduction
11:30 - 11:59
Sat 9 Sep
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
L2
CUFP
Keynote: Are We There Yet?
09:10 - 09:35
CUFP
Bonsai: a DSL for serverless firm real-time decisioning
09:35 - 10:00
CUFP
Interfacing OCaml and Rust: picking the right tool for the job
10:30 - 10:55
CUFP
Distributed load testing with MZBench
10:55 - 11:20
CUFP
Gens N' Roses: Appetite for Reduction
12:00 - 12:25
CUFP
Formally Verifying a Smart-Contract Language Implementation with Isabelle
14:00 - 14:25
CUFP
Haskell games and apps for iOS and Android
14:25 - 14:50
CUFP
Using Haskell to run a datacenter
15:30 - 15:55
CUFP
Functional Facades over Legacy Code
15:55 - 16:20
CUFP
Building the largest payment sandbox on a tiny machine
16:50 - 17:15
CUFP
Using Functional Programming to Accelerate Translational Research at Pfizer
17:15 - 17:40
x
Sat 14 Dec 18:14