Stifel Theatre -

VenueStifel Theatre

Room nameStifel Theatre

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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 24 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00	Monday KeynoteICFP Keynotes and Reports at Stifel Theatre Chair(s): Robert Bruce Findler Northwestern University, USA

09:00 60m Talk		Gradual Typing ICFP Keynotes and Reports Ronald Garcia University of British Columbia

10:30 - 12:00	Environments and ToolsICFP Research Papers at Stifel Theatre Chair(s): Alejandro Russo Chalmers University of Technology, Sweden

10:30 22m Talk		Build Systems à la CarteDistinguished Paper ICFP Research Papers Andrey Mokhov Newcastle University, UK, Neil Mitchell , Simon Peyton Jones Microsoft, UK DOI
10:52 22m Talk		Keep Your Laziness in Check ICFP Research Papers Kenneth Foner , Hengchu Zhang University of Pennsylvania, Leonidas Lampropoulos University of Pennsylvania DOI
11:15 22m Talk		Merlin: A Language Server for OCaml (Experience Report) ICFP Research Papers Frédéric Bour Facebook Paris, Thomas Réfis , Gabriel Scherer INRIA Saclay DOI
11:37 22m Talk		Functional Programming for Compiling and Decompiling Computer-Aided Design ICFP Research Papers Chandrakana Nandi University of Washington, USA, James R. Wilcox University of Washington, Taylor Blau University of Washington, Dan Grossman University of Washington, Zachary Tatlock University of Washington, Seattle DOI

13:00 - 14:30	Program ConstructionICFP Research Papers at Stifel Theatre Chair(s): J. Garrett Morris University of Kansas, USA

13:00 22m Talk		Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of λProlog/Makam ICFP Research Papers Antonis Stampoulis Originate Inc., Adam Chlipala Massachusetts Institute of Technology, USA DOI
13:22 22m Talk		A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs ICFP Research Papers Guillaume Allais Radboud University Nijmegen, Robert Atkey University of Strathclyde, James Chapman , Conor McBride , James McKinna DOI
13:45 22m Talk		Reasonably Programmable Literal Notation ICFP Research Papers Cyrus Omar University of Chicago, Jonathan Aldrich Carnegie Mellon University Link to publication DOI
14:07 22m Talk		Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl) ICFP Research Papers Guannan Wei Purdue University, James Decker , Tiark Rompf Purdue University DOI

15:00 - 16:10	Continuations and EffectsICFP Research Papers at Stifel Theatre Chair(s): Martin Elsman University of Copenhagen, Denmark

15:00 23m Talk		Capturing the Future by Replaying the Past (Functional Pearl) ICFP Research Papers James Koppel MIT, Gabriel Scherer INRIA Saclay, Armando Solar-Lezama MIT CSAIL DOI
15:23 23m Talk		Handling Delimited Continuations with Dependent Types ICFP Research Papers Youyou Cong Ochanomizu University, Japan, Kenichi Asai Ochanomizu University DOI
15:46 23m Talk		Versatile Event Correlation with Algebraic Effects ICFP Research Papers Oliver Bračevac TU Darmstadt, Nada Amin University of Cambridge, Guido Salvaneschi TU Darmstadt, Sebastian Erdweg Delft University of Technology, Netherlands, Patrick Eugster Purdue University, Mira Mezini TU Darmstadt DOI

16:40 - 18:10	Probabilistic Programming and LearningICFP Research Papers at Stifel Theatre Chair(s): Michael Sperber Active Group GmbH

16:40 22m Talk		The Simple Essence of Automatic DifferentiationDistinguished Paper ICFP Research Papers Conal Elliott Target, USA DOI
17:02 22m Talk		Functional Programming for Modular Bayesian Inference ICFP Research Papers Adam Ścibior University of Cambridge and MPI Tuebingen, Ohad Kammar University of Oxford, Zoubin Ghahramani University of Cambridge DOI
17:25 22m Talk		Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion ICFP Research Papers Mitchell Wand Northeastern University, USA, Ryan Culpepper Czech Technical University, Theophilos Giannakopoulos BAE Systems, Inc., Andrew Cobb Northeastern University DOI
17:47 22m Talk		Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report) ICFP Research Papers José Bacelar Almeira University of Minho & INESC TEC, Alcino Cunha University of Minho and INESC TEC, Portugal, Nuno Macedo University of Minho & INESC TEC, Hugo Pacheco University of Minho, Portugal, José Proença HASLab/INESC TEC & University of Minho DOI

Tue 25 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00	Tuesday KeynoteICFP Keynotes and Reports at Stifel Theatre Chair(s): Matthew Flatt University of Utah

09:00 60m Talk		The Role of Functional Programming and DSLs in Hardware ICFP Keynotes and Reports Pat Hanrahan Stanford University, USA

10:30 - 12:00	Compilation and ConcurrencyICFP Research Papers at Stifel Theatre Chair(s): Heather Miller Carnegie Mellon University

10:30 22m Talk		Competitive Parallelism: Getting Your Priorities Right ICFP Research Papers Stefan K. Muller , Umut A. Acar Carnegie Mellon University, Robert Harper DOI
10:52 22m Talk		Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large ICFP Research Papers Martin Elsman University of Copenhagen, Denmark, Troels Henriksen University of Copenhagen, Denmark, Danil Annenkov Department of Computer Science, University of Copenhagen, Cosmin Oancea University of Copenhagen, Denmark Link to publication DOI
11:15 22m Talk		Finitary Polymorphism for Optimizing Type-Directed Compilation ICFP Research Papers Atsushi Ohori Tohoku University, Japan, Katsuhiro Ueno Tohoku University, Hisayuki Mima Tohoku University DOI
11:37 22m Talk		Fault Tolerant Functional Reactive Programming (Functional Pearl) ICFP Research Papers Ivan Perez National Institute of Aerospace, USA DOI

12:15 - 12:50	Report on ICFP and Climate ChangeICFP Keynotes and Reports at Stifel Theatre

12:15 35m Talk		Report on ICFP and Climate Change ICFP Keynotes and Reports P: Benjamin C. Pierce University of Pennsylvania

13:00 - 14:30	Proof Techniques and MechanizationICFP Research Papers at Stifel Theatre Chair(s): Niki Vazou University of Maryland, USA

13:00 22m Talk		MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic ICFP Research Papers Robbert Krebbers Delft University of Technology, Jacques-Henri Jourdan CNRS, LRI, Université Paris-Sud, Ralf Jung MPI-SWS, Joseph Tassarotti Carnegie Mellon University, Jan-Oliver Kaiser MPI-SWS, Amin Timany imec-Distrinet KU-Leuven, Arthur Charguéraud Inria, Derek Dreyer MPI-SWS DOI
13:22 22m Talk		Mtac2: Typed Tactics for Backward Reasoning in Coq ICFP Research Papers Jan-Oliver Kaiser MPI-SWS, Beta Ziliani FAMAF, UNC and CONICET, Robbert Krebbers Delft University of Technology, Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Derek Dreyer MPI-SWS DOI
13:45 22m Talk		Compositional Soundness Proofs of Abstract Interpreters ICFP Research Papers Sven Keidel Delft University of Technology, Netherlands, Casper Bach Poulsen Delft University of Technology, Sebastian Erdweg Delft University of Technology, Netherlands DOI
14:07 22m Talk		Equivalences for Free: Univalent Parametricity for Effective TransportDistinguished Paper ICFP Research Papers Nicolas Tabareau Inria, Éric Tanter University of Chile & Inria Paris, Matthieu Sozeau Inria DOI

15:00 - 16:30	Bidirectional ProgrammingICFP Research Papers at Stifel Theatre Chair(s): Wouter Swierstra Utrecht University, Netherlands

15:00 22m Talk		What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl) ICFP Research Papers Guillaume Boisseau University of Oxford, Jeremy Gibbons Department of Computer Science, University of Oxford DOI
15:22 22m Talk		Incremental Relational Lenses ICFP Research Papers Rudi Horn University of Edinburgh, Roly Perera University of Glasgow, James Cheney University of Edinburgh, UK DOI
15:45 22m Talk		Synthesizing Quotient Lenses ICFP Research Papers Solomon Maina University of Pennsylvania, Anders Miltner Princeton University, Kathleen Fisher Tufts University, USA, Benjamin C. Pierce University of Pennsylvania, Dave Walker Princeton University, Steve Zdancewic University of Pennsylvania DOI
16:07 22m Talk		Generic Deriving of Generic Traversals ICFP Research Papers Csongor Kiss Imperial College London, Matthew Pickering University of Bristol, Nicolas Wu University of Bristol, UK DOI

17:00 - 17:40	Finalist PresentationsICFP Student Research Competition at Stifel Theatre

17:00 40m Talk		Finalist Presentations ICFP Student Research Competition

17:40 - 18:10	Contest Report and ResultsICFP Programming Contest at Stifel Theatre

17:40 30m Talk		Contest Report and Results ICFP Programming Contest Matthew Fluet Rochester Institute of Technology

Wed 26 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00	Wednesday KeynoteICFP Keynotes and Reports at Stifel Theatre Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford

09:00 60m Talk		Conveying the Power of Abstraction ICFP Keynotes and Reports Eugenia Cheng

10:30 - 12:00	SemanticsICFP Research Papers at Stifel Theatre Chair(s): Sam Lindley University of Edinburgh, UK

10:30 22m Talk		Partially-Static Data as Free Extension of Algebras ICFP Research Papers Jeremy Yallop University of Cambridge, UK, Tamara von Glehn University of Cambridge, Ohad Kammar University of Oxford Link to publication DOI Pre-print
10:52 22m Talk		Relational Algebra by Way of AdjunctionsDistinguished Paper ICFP Research Papers Jeremy Gibbons Department of Computer Science, University of Oxford, Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU), Ralf Hinze Radboud University Nijmegen, Nicolas Wu University of Bristol, UK DOI
11:15 22m Talk		Strict and Lazy Semantics for Effects: Layering Monads and Comonads ICFP Research Papers Andrew K. Hirsch Cornell University, Ross Tate Cornell University DOI
11:37 22m Talk		What's the Difference? A Functional Pearl on Subtracting Bijections ICFP Research Papers Brent Yorgey Hendrix College, Kenneth Foner DOI

13:00 - 14:30	Gradual Typing and ProvingICFP Research Papers at Stifel Theatre Chair(s): Éric Tanter University of Chile & Inria Paris

13:00 22m Talk		A Spectrum of Type Soundness and Performance ICFP Research Papers Ben Greenman Northeastern University, USA, Matthias Felleisen Northeastern University, USA DOI
13:22 22m Talk		Casts and Costs: Harmonizing Safety and Performance in Gradual Typing ICFP Research Papers John Peter Campora ULL Lafayette, Sheng Chen University of Louisiana at Lafayette, Eric Walkingshaw Oregon State University DOI
13:45 22m Talk		Graduality from Embedding-Projection Pairs ICFP Research Papers Max S. New Northeastern University, Amal Ahmed Northeastern University, USA DOI
14:07 22m Talk		Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) ICFP Research Papers Joachim Breitner DFINITY Foundation, Antal Spector-Zabusky , Yao Li University of Pennsylvania, Christine Rizkallah University of New South Wales, John Wiegley BAE Systems, Stephanie Weirich University of Pennsylvania, USA DOI

15:00 - 16:10	Complexity and BoundsICFP Research Papers at Stifel Theatre Chair(s): Ilya Sergey University College London

15:00 23m Talk		Parallel Complexity Analysis with Temporal Session Types ICFP Research Papers Ankush Das Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University, Frank Pfenning Carnegie Mellon University, USA DOI
15:23 23m Talk		Parametric Polymorphism and Operational Improvement ICFP Research Papers Jennifer Hackett University of Nottingham, UK, Graham Hutton University of Nottingham, UK DOI
15:46 23m Talk		Tight Typings and Split Bounds ICFP Research Papers Beniamino Accattoli Inria & Ecole Polytechnique, Stéphane Graham-Lengrand CNRS, France, Delia Kesner IRIF, France / University of Paris Diderot, France DOI

16:30 - 17:15	Dependent TypesICFP Research Papers at Stifel Theatre Chair(s): David Thrane Christiansen Galois, USA

16:30 22m Talk		Elaborating Dependent (Co)pattern Matching ICFP Research Papers Jesper Cockx Chalmers \| University of Gothenburg, Andreas Abel Gothenburg University DOI
16:52 22m Talk		Generic Zero-Cost Reuse for Dependent Types ICFP Research Papers Larry Diehl , Denis Firsov University of Iowa, USA, Aaron Stump The University of Iowa, USA DOI

17:15 - 18:00	Closing EventsICFP Keynotes and Reports at Stifel Theatre

17:15 15m Awards		SIGPLAN Awards ICFP Keynotes and Reports Satnam Singh X, the moonshot factory
17:30 10m Awards		Student Research Competition Awards ICFP Keynotes and Reports Ravi Chugh University of Chicago
17:40 15m Talk		Program Chair's Report ICFP Keynotes and Reports Matthew Flatt University of Utah
17:55 5m Talk		ICFP 2019 Announcement ICFP Keynotes and Reports Derek Dreyer MPI-SWS

17:30 - 17:40	Student Research Competition AwardsICFP Keynotes and Reports at Stifel Theatre

17:30 10m Awards		Student Research Competition Awards ICFP Keynotes and Reports Ravi Chugh University of Chicago

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

16:30 - 17:20	Strange Loop KeynoteICFP Keynotes and Reports at Stifel Theatre

16:30 50m Talk		Strange Loop Keynote ICFP Keynotes and Reports S: Erica Joy Baker

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

16:30 - 17:20	Strange Loop KeynoteICFP Keynotes and Reports at Stifel Theatre

16:30 50m Talk		Strange Loop Keynote: Machine learning failures - for art! ICFP Keynotes and Reports S: Janelle Shane

Mon 24 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey 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
Stifel Theatre	ICFP Keynotes and Reports Monday Keynote												ICFP Keynotes and Reports						ICFP Research Papers Environments and Tools																														ICFP Research Papers Program Construction																								ICFP Research Papers Continuations and Effects																				ICFP Research Papers Probabilistic Programming and Learning																		ICFP Keynotes and Reports

Tue 25 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey 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
Stifel Theatre	ICFP Keynotes and Reports Tuesday Keynote																		ICFP Research Papers Compilation and Concurrency																					ICFP Keynotes and Reports Report on ICFP and Climate Change									ICFP Research Papers Proof Techniques and Mechanization																								ICFP Research Papers Bidirectional Programming																								ICFP Student Research Competition Finalist Presentations								ICFP Programming Contest Contest Report and Results

Wed 26 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey 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
Stifel Theatre	ICFP Keynotes and Reports Wednesday Keynote																		ICFP Research Papers Semantics																														ICFP Research Papers Gradual Typing and Proving																								ICFP Research Papers Complexity and Bounds																		ICFP Research Papers Dependent Types									ICFP Keynotes and Reports Closing Events ICFP Keynotes and Reports Student Research Competition Awards 17:30 - 17:40

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	16:00						30						17:00						30
Stifel Theatre							ICFP Keynotes and Reports Strange Loop Keynote

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	16:00						30						17:00						30
Stifel Theatre							ICFP Keynotes and Reports Strange Loop Keynote

Mon 24 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey 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
Stifel Theatre	ICFP Keynotes and Reports Gradual Typing 09:00 - 10:00																		ICFP Research PapersDistinguished Paper Build Systems à la Carte 10:30 - 10:52				ICFP Research Papers Keep Your Laziness in Check 10:52 - 11:15					ICFP Research Papers Merlin: A Language Server for OCaml (Experience Report) 11:15 - 11:37				ICFP Research Papers Functional Programming for Compiling and Decompiling Computer-Aided Design 11:37 - 12:00																	ICFP Research Papers Prototyping a Functional Language using Higher-Order Logic Programming: ... 13:00 - 13:22				ICFP Research Papers A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantic ... 13:22 - 13:45					ICFP Research Papers Reasonably Programmable Literal Notation 13:45 - 14:07				ICFP Research Papers Refunctionalization of Abstract Abstract Machines: Bridging the Gap bet ... 14:07 - 14:30											ICFP Research Papers Capturing the Future by Replaying the Past (Functional Pearl) 15:00 - 15:23					ICFP Research Papers Handling Delimited Continuations with Dependent Types 15:23 - 15:46				ICFP Research Papers Versatile Event Correlation with Algebraic Effects 15:46 - 16:10											ICFP Research PapersDistinguished Paper The Simple Essence of Automatic Differentiation 16:40 - 17:02				ICFP Research Papers Functional Programming for Modular Bayesian Inference 17:02 - 17:25					ICFP Research Papers Contextual Equivalence for a Probabilistic Language with Continuous Ran ... 17:25 - 17:47				ICFP Research Papers Teaching How to Program using Automated Assessment and Functional Gloss ... 17:47 - 18:10

Tue 25 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey 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
Stifel Theatre	ICFP Keynotes and Reports The Role of Functional Programming and DSLs in Hardware 09:00 - 10:00																		ICFP Research Papers Competitive Parallelism: Getting Your Priorities Right 10:30 - 10:52				ICFP Research Papers Static Interpretation of Higher-Order Modules in Futhark: Functional GP ... 10:52 - 11:15					ICFP Research Papers Finitary Polymorphism for Optimizing Type-Directed Compilation 11:15 - 11:37				ICFP Research Papers Fault Tolerant Functional Reactive Programming (Functional Pearl) 11:37 - 12:00								ICFP Keynotes and Reports Report on ICFP and Climate Change 12:15 - 12:50									ICFP Research Papers MoSeL: A General, Extensible Modal Framework for Interactive Proofs in ... 13:00 - 13:22				ICFP Research Papers Mtac2: Typed Tactics for Backward Reasoning in Coq 13:22 - 13:45					ICFP Research Papers Compositional Soundness Proofs of Abstract Interpreters 13:45 - 14:07				ICFP Research PapersDistinguished Paper Equivalences for Free: Univalent Parametricity for Effective Transport 14:07 - 14:30											ICFP Research Papers What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemm ... 15:00 - 15:22				ICFP Research Papers Incremental Relational Lenses 15:22 - 15:45					ICFP Research Papers Synthesizing Quotient Lenses 15:45 - 16:07				ICFP Research Papers Generic Deriving of Generic Traversals 16:07 - 16:30											ICFP Student Research Competition Finalist Presentations 17:00 - 17:40								ICFP Programming Contest Contest Report and Results 17:40 - 18:10

Wed 26 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey 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
Stifel Theatre	ICFP Keynotes and Reports Conveying the Power of Abstraction 09:00 - 10:00																		ICFP Research Papers Partially-Static Data as Free Extension of Algebras 10:30 - 10:52				ICFP Research PapersDistinguished Paper Relational Algebra by Way of Adjunctions 10:52 - 11:15					ICFP Research Papers Strict and Lazy Semantics for Effects: Layering Monads and Comonads 11:15 - 11:37				ICFP Research Papers What's the Difference? A Functional Pearl on Subtracting Bijections 11:37 - 12:00																	ICFP Research Papers A Spectrum of Type Soundness and Performance 13:00 - 13:22				ICFP Research Papers Casts and Costs: Harmonizing Safety and Performance in Gradual Typing 13:22 - 13:45					ICFP Research Papers Graduality from Embedding-Projection Pairs 13:45 - 14:07				ICFP Research Papers Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Expe ... 14:07 - 14:30											ICFP Research Papers Parallel Complexity Analysis with Temporal Session Types 15:00 - 15:23					ICFP Research Papers Parametric Polymorphism and Operational Improvement 15:23 - 15:46				ICFP Research Papers Tight Typings and Split Bounds 15:46 - 16:10									ICFP Research Papers Elaborating Dependent (Co)pattern Matching 16:30 - 16:52				ICFP Research Papers Generic Zero-Cost Reuse for Dependent Types 16:52 - 17:15					ICFP Keynotes and Reports SIGPLAN Awards 17:15 - 17:30			ICFP Keynotes and Reports Student Research Competition Awards 17:30 - 17:40 Student Research Competition Awards 17:30 - 17:40		ICFP Keynotes and Reports Program Chair's Report 17:40 - 17:55			ICFP Keynotes and Reports ICFP 2019 Announcement 17:55 - 18:00

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	16:00			15			30			45			17:00			15			30			45
Stifel Theatre							ICFP Keynotes and Reports Strange Loop Keynote 16:30 - 17:20

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	16:00			15			30			45			17:00			15			30			45
Stifel Theatre							ICFP Keynotes and Reports Strange Loop Keynote: Machine learning failures - for art! 16:30 - 17:20

Room information: Stifel Theatre

Mon 24 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 25 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 26 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 24 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

ICFP Keynotes and Reports

ICFP Keynotes and Reports

ICFP Research Papers

ICFP Research Papers

ICFP Research Papers

ICFP Research Papers

ICFP Keynotes and Reports

Tue 25 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

ICFP Keynotes and Reports

ICFP Research Papers

ICFP Keynotes and Reports

ICFP Research Papers

ICFP Research Papers

ICFP Student Research Competition

ICFP Programming Contest

Wed 26 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

ICFP Keynotes and Reports

ICFP Research Papers

ICFP Research Papers

ICFP Research Papers

ICFP Research Papers

ICFP Keynotes and Reports

ICFP Keynotes and Reports

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

ICFP Keynotes and Reports

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

ICFP Keynotes and Reports

Mon 24 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 25 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 26 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tracks

Room information: Stifel Theatre

Program Display Configuration

Mon 24 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 25 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 26 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 24 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

ICFP Keynotes and Reports

ICFP Keynotes and Reports

ICFP Research Papers

ICFP Research Papers

ICFP Research Papers

ICFP Research Papers

ICFP Keynotes and Reports

Tue 25 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

ICFP Keynotes and Reports

ICFP Research Papers

ICFP Keynotes and Reports

ICFP Research Papers

ICFP Research Papers

ICFP Student Research Competition

ICFP Programming Contest

Wed 26 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

ICFP Keynotes and Reports

ICFP Research Papers

ICFP Research Papers

ICFP Research Papers

ICFP Research Papers

ICFP Keynotes and Reports

ICFP Keynotes and Reports

Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

ICFP Keynotes and Reports

Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

ICFP Keynotes and Reports

Mon 24 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 25 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 26 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 24 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 25 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 26 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 24 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 25 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 26 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 24 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 25 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 26 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change