Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
VenueMathematical Institute
Room nameL2
Floor0
Capacity210
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 09:05: WelcomeTyDe at L2
09:00 - 09:05
Day opening
Welcome
TyDe
Sam LindleyUniversity of Edinburgh, UK, Brent YorgeyHendrix College
09:05 - 10:00: Invited talkTyDe at L2
09:05 - 10:00
Talk
Driving types into PHP
TyDe
Andrew KennedyFacebook London
10:30 - 11:30: Full papers 1TyDe at L2
10:30 - 11:00
Talk
Generic packet descriptions: verified parsing and pretty printing of low-level data
TyDe
Marcell van GeestUtrecht University, Wouter SwierstraUniversity of Utrecht
11:00 - 11:30
Talk
Structured asynchrony with algebraic effects
TyDe
Daan LeijenMicrosoft Research
12:00 - 12:25: Extended abstracts 1TyDe at L2
12:00 - 12:25
Talk
Cogent⇑: giving systems engineers a stepping stone
TyDe
Zilin ChenUNSW, Australia
14:00 - 15:00: Full papers 2TyDe at L2
14:00 - 14:30
Talk
Type safe Redis queries -- a case study of type-level programming in Haskell
TyDe
Ting-Yan LaiInstitute of Information Science, Academia Sinica, Tyng-Ruey ChuangInstitute of Information Science, Academia Sinica, Shin-Cheng MuAcademia Sinica, Taiwan
14:30 - 15:00
Talk
Type-directed diffing of structured data
TyDe
Victor Cacciari MiraldoUniversity of Utrecht, Pierre-Evariste DagandLIP6/CNRS , Wouter SwierstraUniversity of Utrecht
15:30 - 16:20: Extended abstracts 2TyDe at L2
15:30 - 15:55
Talk
Affine killing
TyDe
Kiko Fernandez-ReyesUppsala University, Dave ClarkeUppsala Univ. Sweden and KU Leuvern
15:55 - 16:20
Talk
On ringads and foldables
TyDe
James McKinnaUniversity of Edinburgh
16:50 - 17:40: Extended abstracts 3TyDe at L2
16:50 - 17:15
Talk
Type oriented programming for task based parallelism
TyDe
17:15 - 17:40
Talk
Type-directed reasoning for probabilistic, non-compositional resources
TyDe
Edwin BradyUniversity of St. Andrews, UK, Kevin HammondUniversity of St. Andrews, UK, Christopher SchwaabUniversity of St Andrews

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

10:30 - 10:45: WelcomeFSCD at L2
10:30 - 10:45
Other
Welcome message
FSCD
C: Sam StatonUniversity of Oxford, P: Dale MillerINRIA Saclay and LIX
10:45 - 11:45: Session 1FSCD at L2
10:45 - 11:45
Talk
Brzozowski Goes Concurrent -- A Kleene Theorem for Pomset Languages
FSCD
I: Alexandra SilvaUniversity College London
15:00 - 16:00: Session 3FSCD at L2
15:00 - 15:30
Talk
Relating System F and λ2: A Case Study in Coq, Abella and Beluga
FSCD
A: Jonas Kaiser, A: Brigitte PientkaMcGill University, A: Gert SmolkaSaarland University
15:30 - 16:00
Talk
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL
FSCD
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

10:30 - 11:30: Session 5FSCD at L2
10:30 - 11:30
Talk
Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses
FSCD
Georg MoserUniversity of Innsbruck
11:30 - 12:00: Session 6FSCD at L2
11:30 - 12:00
Talk
Continuation Passing Style for Effect Handlers
FSCD
A: Daniel HillerströmThe University of Edinburgh, A: Sam LindleyUniversity of Edinburgh, UK, A: Robert AtkeyUniversity of Strathclyde, A: KC SivaramakrishnanUniversity of Cambridge
15:00 - 16:00: Session 8FSCD at L2
15:00 - 15:30
Talk
Is the optimal implementation inefficient? Elementarily not
FSCD
A: Stefano Guerrini, A: Marco SolieriUniversity of Bath
15:30 - 16:00
Talk
Optimality and the Linear Substitution Calculus
FSCD
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

09:00 - 10:00: Session 10FSCD at L2
09:00 - 10:00
Talk
Quantitative semantics for probabilistic programming
FSCD
10:30 - 12:00: Session 11FSCD at L2
10:30 - 11:00
Talk
Displayed categories
FSCD
11:00 - 11:30
Talk
List Objects with Algebraic Structure
FSCD
A: Marcelo FioreComputer Laboratory, University of Cambridge, A: Philip Saville
11:30 - 12:00
Talk
There is only one notion of differentiation
FSCD
13:00 - 14:30: Session 12FSCD at L2
13:00 - 13:30
Talk
A Fibrational Framework for Substructural and Modal Logics
FSCD
A: Dan LicataWesleyan University, A: Michael Shulman, A: Mitchell Riley
13:30 - 14:00
Talk
Dinaturality between syntax and semantics
FSCD
14:00 - 14:30
Talk
Models of Type Theory Based on Moore Paths
FSCD
A: Andrew PittsUniversity of Cambridge, A: Ian Orton
15:00 - 16:00: Session 13FSCD at L2
15:00 - 15:30
Talk
Böhm Reduction in Infinitary Term Graph Rewriting Systems
FSCD
A: Patrick BahrIT University of Copenhagen
15:30 - 16:00
Talk
Infinite Runs in Abstract Completion
FSCD
16:40 - 17:10: Session 14FSCD at L2
16:40 - 17:10
Talk
Negative Translations and Normal Modality
FSCD
17:10 - 17:20: Termination and Complexity Competition 2017FSCD at L2
17:10 - 17:20
Other
Termination and Complexity Competition 2017
FSCD
17:20 - 18:10: FSCD General MeetingFSCD at L2
17:20 - 18:10
Meeting
FSCD General Meeting
FSCD

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

09:00 - 10:00: Session 15FSCD at L2
09:00 - 10:00
Talk
Type systems for the relational verification of higher order programs
FSCD
A: Marco GaboardiUniversity at Buffalo, SUNY, USA
10:30 - 11:59: Session 16FSCD at L2
10:30 - 11:00
Talk
Arrays and References in Resource Aware ML
FSCD
A: Benjamin Lichtman, A: Jan HoffmannCarnegie Mellon University
11:00 - 11:30
Talk
The Complexity of Principal Inhabitation
FSCD
A: Andrej DudenhefnerTechnical University Dortmund, A: Jakob RehofTechnical University Dortmund
11:30 - 11:59
Talk
Types as Resources for Classical Natural Deduction
FSCD
A: Delia KesnerIRIF, France / University of Paris Diderot, France, A: Pierre Vial

Sat 9 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

Sun 3 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 change

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

Tue 5 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

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

Room9:003010:003011:0030
L2

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