Filter
Dates
Rooms
Tracks
Badges
Your Program
Sun 23 Sep
09:00 - 10:00: HIW 2018 - Invited Talk at Illinois Central Chair(s): Joachim BreitnerDFINITY Foundation | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:05 Day opening | Joachim BreitnerDFINITY Foundation | |||||||||||||||||||||||||||||||||||||||||
| 09:05 - 10:00 Talk | Rahul MuttineniTypeLead Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:30 Talk | Nadia PolikarpovaUniversity of California, San Diego | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Ronald GarciaUniversity of British Columbia | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Kenji MaillardInria Paris and ENS Paris, Étienne MiqueyINRIA, Xavier MontilletINRIA, Guillaume Munch-MaccagnoniInria, Gabriel SchererINRIA Saclay | |||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:45 Talk | Simon Peyton JonesMicrosoft, UK File Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:45 - 11:10 Talk | Matthew PickeringUniversity of Bristol Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:35 Talk | Ryan ScottIndiana University at Bloomington, USA File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:35 - 11:43 Talk | Chris SmithGoogle, USA | |||||||||||||||||||||||||||||||||||||||||
| 11:43 - 11:51 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:51 - 12:00 Talk | Samuel GélineauSimSpace Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:50 Talk | Heather MillerCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 10:50 - 12:00 Social Event | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 11:00 Talk | Michael ArntzeniusUniversity of Birmingham, UK | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 12:00 Talk | Sergey GoncharovFriedrich-Alexander-Universität Erlangen-Nürnberg, Christoph RauchFAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8 | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:03 Talk | Simon Peyton JonesMicrosoft, UK | |||||||||||||||||||||||||||||||||||||||||
| 14:03 - 14:36 Talk | Stephanie WeirichUniversity of Pennsylvania, USA | |||||||||||||||||||||||||||||||||||||||||
| 14:36 - 15:10 Talk | Ranjit JhalaUniversity of California, San Diego | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:55 Talk | Link to publication File Attached | |||||||||||||||||||||||||||||||||||||||||
| 13:55 - 14:20 Talk | My NguyenBryn Mawr College File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:45 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 14:53 Talk | Matthew RussellSimSpace Link to publication File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:53 - 15:01 Talk | Shao ChengTweag I/O Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:01 - 15:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:30 Talk | Alejandro RussoChalmers University of Technology, Sweden, Katie OtsFacebook, Leonidas LampropoulosUniversity of Pennsylvania, David DaraisUniversity of Vermont, Ivan PerezNational Institute of Aerospace, USA | |||||||||||||||||||||||||||||||||||||||||
15:30 - 16:45: HIW 2018 - Tools and Hardware at Illinois Central Chair(s): Joachim BreitnerDFINITY Foundation | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:55 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:20 Talk | Christiaan BaaijQBayLogic B.V. File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:28 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:28 - 16:45 Other | Simon Peyton JonesMicrosoft, UK | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:10 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
Mon 24 Sep
09:00 - 10:00: Keynotes and Reports - Monday Keynote at Stifel Theatre Chair(s): Robby FindlerNorthwestern University, USA | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Ronald GarciaUniversity of British Columbia | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Research Papers - Environments and Tools at Stifel Theatre Chair(s): Alejandro RussoChalmers University of Technology, Sweden | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | Kenneth Foner, Hengchu ZhangUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | Chandrakana NandiUniversity of Washington, USA, James R. WilcoxUniversity of Washington, Taylor BlauUniversity of Washington, Dan GrossmanUniversity of Washington, Zachary TatlockUniversity of Washington DOI | |||||||||||||||||||||||||||||||||||||||||
13:00 - 14:30: Research Papers - Program Construction at Stifel Theatre Chair(s): J. Garrett MorrisUniversity of Kansas, USA | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 13:22 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:22 - 13:45 Talk | Guillaume AllaisRadboud University Nijmegen, Robert AtkeyUniversity of Strathclyde, James Chapman, Conor McBride, James McKinna DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:45 - 14:07 Talk | Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:07 - 14:30 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
15:00 - 16:10: Research Papers - Continuations and Effects at Stifel Theatre Chair(s): Martin ElsmanUniversity of Copenhagen, Denmark | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:23 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:23 - 15:46 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:46 - 16:10 Talk | Oliver BračevacTU Darmstadt, Nada AminUniversity of Cambridge, Guido SalvaneschiTU Darmstadt, Sebastian ErdwegDelft University of Technology, Netherlands, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt DOI | |||||||||||||||||||||||||||||||||||||||||
16:40 - 18:10: Research Papers - Probabilistic Programming and Learning at Stifel Theatre Chair(s): Michael SperberActive Group GmbH | ||||||||||||||||||||||||||||||||||||||||||
| 16:40 - 17:02 Talk | Conal ElliottTarget, USA DOI | |||||||||||||||||||||||||||||||||||||||||
| 17:02 - 17:25 Talk | Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Ohad KammarUniversity of Oxford, Zoubin GhahramaniUniversity of Cambridge DOI | |||||||||||||||||||||||||||||||||||||||||
| 17:25 - 17:47 Talk | Mitchell WandNortheastern University, USA, Ryan CulpepperCzech Technical University, Theophilos GiannakopoulosBAE Systems, Inc., Andrew CobbNortheastern University DOI | |||||||||||||||||||||||||||||||||||||||||
| 17:47 - 18:10 Talk | José Bacelar AlmeiraUniversity of Minho & INESC TEC, Alcino CunhaUniversity of Minho and INESC TEC, Portugal, Nuno MacedoUniversity of Minho & INESC TEC, Hugo PachecoUniversity of Minho, Portugal, José ProençaHASLab/INESC TEC & University of Minho DOI | |||||||||||||||||||||||||||||||||||||||||
Tue 25 Sep
09:00 - 10:00: Keynotes and Reports - Tuesday Keynote at Stifel Theatre Chair(s): Matthew FlattUniversity of Utah | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Pat HanrahanStanford University, USA | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Research Papers - Compilation and Concurrency at Stifel Theatre Chair(s): Heather MillerCarnegie Mellon University | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | Martin ElsmanUniversity of Copenhagen, Denmark, Troels HenriksenUniversity of Copenhagen, Denmark, Danil AnnenkovDepartment of Computer Science, University of Copenhagen, Cosmin OanceaUniversity of Copenhagen, Denmark Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | Atsushi OhoriTohoku University, Japan, Katsuhiro UenoTohoku University, Hisayuki MimaTohoku University DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | Ivan PerezNational Institute of Aerospace, USA DOI | |||||||||||||||||||||||||||||||||||||||||
| 12:15 - 12:50 Talk | Benjamin C. PierceUniversity of Pennsylvania | |||||||||||||||||||||||||||||||||||||||||
13:00 - 14:30: Research Papers - Proof Techniques and Mechanization at Stifel Theatre Chair(s): Niki VazouUniversity of Maryland, USA | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 13:22 Talk | Robbert KrebbersDelft University of Technology, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, Ralf JungMPI-SWS, Joseph TassarottiCarnegie Mellon University, Jan-Oliver KaiserMPI-SWS, Amin Timanyimec-Distrinet KU-Leuven, Arthur CharguéraudInria, Derek DreyerMPI-SWS DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:22 - 13:45 Talk | Jan-Oliver KaiserMPI-SWS, Beta ZilianiFAMAF, UNC and CONICET, Robbert KrebbersDelft University of Technology, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Derek DreyerMPI-SWS DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:45 - 14:07 Talk | Sven KeidelDelft University of Technology, Netherlands, Casper Bach PoulsenDelft University of Technology, Sebastian ErdwegDelft University of Technology, Netherlands DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:07 - 14:30 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
15:00 - 16:30: Research Papers - Bidirectional Programming at Stifel Theatre Chair(s): Wouter SwierstraUtrecht University, Netherlands | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:22 Talk | Guillaume BoisseauUniversity of Oxford, Jeremy GibbonsDepartment of Computer Science, University of Oxford DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:22 - 15:45 Talk | Rudi HornUniversity of Edinburgh, Roly PereraUniversity of Glasgow, James CheneyUniversity of Edinburgh, UK DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:45 - 16:07 Talk | Solomon MainaUniversity of Pennsylvania, Anders MiltnerPrinceton University, Kathleen FisherTufts University, USA, Benjamin C. PierceUniversity of Pennsylvania, Dave WalkerPrinceton University, Steve ZdancewicUniversity of Pennsylvania DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:07 - 16:30 Talk | Csongor KissImperial College London, Matthew PickeringUniversity of Bristol, Nicolas WuUniversity of Bristol, UK DOI | |||||||||||||||||||||||||||||||||||||||||
| 17:40 - 18:10 Talk | Matthew FluetRochester Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
Wed 26 Sep
09:00 - 10:00: Keynotes and Reports - Wednesday Keynote at Stifel Theatre Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Research Papers - Semantics at Stifel Theatre Chair(s): Sam LindleyUniversity of Edinburgh, UK | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | Jeremy YallopUniversity of Cambridge, UK, Tamara von GlehnUniversity of Cambridge, Ohad KammarUniversity of Oxford Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | Jeremy GibbonsDepartment of Computer Science, University of Oxford, Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU), Ralf HinzeRadboud University Nijmegen, Nicolas WuUniversity of Bristol, UK DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
13:00 - 14:30: Research Papers - Gradual Typing and Proving at Stifel Theatre Chair(s): Éric TanterUniversity of Chile & Inria Paris | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 13:22 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:22 - 13:45 Talk | John Peter Campora IIIULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Eric WalkingshawOregon State University DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:45 - 14:07 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:07 - 14:30 Talk | Joachim BreitnerDFINITY Foundation, Antal Spector-Zabusky, Yao LiUniversity of Pennsylvania, Christine RizkallahUniversity of New South Wales, John WiegleyBAE Systems, Stephanie WeirichUniversity of Pennsylvania, USA DOI | |||||||||||||||||||||||||||||||||||||||||
15:00 - 16:10: Research Papers - Complexity and Bounds at Stifel Theatre Chair(s): Ilya SergeyUniversity College London | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:23 Talk | Ankush DasCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Frank PfenningCarnegie Mellon University, USA DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:23 - 15:46 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:46 - 16:10 Talk | Beniamino AccattoliInria & Ecole Polytechnique, Stéphane Graham-LengrandCNRS, France, Delia KesnerIRIF, France / University of Paris Diderot, France DOI | |||||||||||||||||||||||||||||||||||||||||
16:30 - 17:15: Research Papers - Dependent Types at Stifel Theatre Chair(s): David Thrane ChristiansenGalois, USA | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 16:52 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:52 - 17:15 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 17:15 - 17:30 Awards | Satnam SinghX, the moonshot factory | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 17:40 Awards | Ravi ChughUniversity of Chicago | |||||||||||||||||||||||||||||||||||||||||
| 17:40 - 17:55 Talk | Matthew FlattUniversity of Utah | |||||||||||||||||||||||||||||||||||||||||
| 17:55 - 18:00 Talk | Derek DreyerMPI-SWS | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 17:40 Awards | Ravi ChughUniversity of Chicago | |||||||||||||||||||||||||||||||||||||||||
Thu 27 Sep
08:45 - 10:00: TyDe 2018 - Applications and Monoids at New York Central Chair(s): Daan LeijenMicrosoft Research, USA | ||||||||||||||||||||||||||||||||||||||||||
| 08:45 - 08:55 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 08:55 - 09:15 Talk | Kirill SmirenkoSaint Petersburg State University, Semyon GrigorevSaint-Petersburg State University, JetBrains Research File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:15 - 09:35 Talk | Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:35 - 10:00 Research paper | Victor Cacciari MiraldoUtrecht University, Netherlands, Harold CarrOracle Labs, USA, Alex KoganOracle Labs, USA, Mark MoirOracle Labs, New Zealand, Maurice HerlihyBrown University, USA DOI | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Day opening | Eva DarulovaMPI-SWS | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: Haskell 2018 - Keynote at Illinois Central Chair(s): Nicolas WuUniversity of Bristol, UK | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:05 Day opening | Nicolas WuUniversity of Bristol, UK | |||||||||||||||||||||||||||||||||||||||||
| 09:05 - 10:00 Talk | Andreas RossbergDfinity | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:05 Day opening | Andrew KennedyFacebook London | |||||||||||||||||||||||||||||||||||||||||
| 09:05 - 09:35 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:35 - 09:45 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 09:45 - 09:50 Poster | Gabriel RadanneUniversity of Freiburg, Germany | |||||||||||||||||||||||||||||||||||||||||
09:00 - 12:00: Tutorials - T01: Introduction to Programming and Proving in Cedille at Burlington Route Chair(s): Aaron StumpThe University of Iowa, USA | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 12:00 Other | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:40 - 11:00 Talk | Romain CalascibettaTarides | |||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:50 - 11:20 Talk | Jeremy GibbonsDepartment of Computer Science, University of Oxford | |||||||||||||||||||||||||||||||||||||||||
10:20 - 12:00: TyDe 2018 - Types at New York Central Chair(s): Richard A. EisenbergBryn Mawr College, USA | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:45 Research paper | Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:45 - 11:10 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:35 Research paper | Victor Cacciari MiraldoUtrecht University, Netherlands, Alejandro SerranoUtrecht University, Netherlands DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:35 - 12:00 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Haskell 2018 - Session 1 at Illinois Central Chair(s): Michael D. AdamsUniversity of Utah | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Guido MartínezCIFASIS-CONICET, Argentina, Mauro JaskelioffCONICET, Argentina, Guido De LucaUniversidad Nacional de Rosario, Argentina DOI | |||||||||||||||||||||||||||||||||||||||||
11:20 - 12:00: OCaml 2018 - Session 3 at Frisco Chair(s): KC SivaramakrishnanUniversity of Cambridge | ||||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:40 Talk | Sebastien MondetMount Sinai - Hammer Lab | |||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
13:00 - 16:00: Tutorials - T02: Direct Manipulation Programming in Sketch-n-Sketch at Burlington Route Chair(s): Justin Lubin, Mikaël MayerEPFL, Switzerland, Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 16:00 Other | Nick CollinsUniversity of Chicago, Brian HempelUniversity of Chicago, Ravi ChughUniversity of Chicago, Mikaël MayerEPFL, Switzerland, Justin Lubin | |||||||||||||||||||||||||||||||||||||||||
13:30 - 14:20: TyDe 2018 - Keynote at New York Central Chair(s): Niki VazouUniversity of Maryland, USA | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:20 Talk | K. Rustan M. LeinoAmazon | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: Haskell 2018 - Session 2 at Illinois Central Chair(s): Sam LindleyUniversity of Edinburgh, UK | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:50 Talk | Frédéric BourFacebook Paris | |||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:10 Talk | David AllsoppUniversity of Cambridge | |||||||||||||||||||||||||||||||||||||||||
13:30 - 14:30: NPFL 2018 - Talks III at Texas Special Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Dominic SteinitzTweag I/O | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Nathan Waiviohttps://github.com/waivio | |||||||||||||||||||||||||||||||||||||||||
14:20 - 15:10: TyDe 2018 - Effect Handlers & Abstract Machine at New York Central Chair(s): Niki VazouUniversity of Maryland, USA | ||||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:45 Research paper | Daan LeijenMicrosoft Research, USA DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:10 Research paper | Carlos Tomé CortiñasUtrecht University, Netherlands, Wouter SwierstraUtrecht University, Netherlands DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 14:50 Talk | Hongbo ZhangIndependent, Cristiano CalcagnoFacebook, Jordan WalkeFacebook, Cheng LouFacebook, Ricky VetterFacebook | |||||||||||||||||||||||||||||||||||||||||
| 14:50 - 15:10 Talk | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:10 Talk | Justus SagemüllerUniversität zu Köln, Institut für Geophysik und Meteorologie | |||||||||||||||||||||||||||||||||||||||||
15:30 - 16:10: TyDe 2018 - Error Messages & Contexts at New York Central Chair(s): David DaraisUniversity of Vermont | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:50 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:50 - 16:10 Talk | Joseph EremondiUniversity of British Columbia, Wouter SwierstraUtrecht University, Netherlands, Jurriaan HageUtrecht University File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Talk | Matt NoonanKataskeue, USA DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:10 Talk | Pavel PanchekhaUniversity of Washington | |||||||||||||||||||||||||||||||||||||||||
Fri 28 Sep
| 09:00 - 10:00 Talk | David Van HornUniversity of Maryland, USA | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Enrico TassiINRIA | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: Scala 2018 - Keynote at Frisco Chair(s): Bruno C. d. S. OliveiraUniversity of Hong Kong, China | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Sébastien DoeraeneEPFL, Switzerland DOI | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:30 Talk | Baldur Blöndaln.n., n.n., Andres LöhWell-Typed, UK, Ryan ScottIndiana University at Bloomington, USA DOI | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Alejandro SerranoUtrecht University, Netherlands, Victor Cacciari MiraldoUtrecht University, Netherlands DOI | |||||||||||||||||||||||||||||||||||||||||
09:00 - 12:00: Tutorials - T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages at Texas Special Chair(s): Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 12:00 Other | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:45 Talk | Stephen DolanUniversity of Cambridge | |||||||||||||||||||||||||||||||||||||||||
| 10:45 - 11:10 Talk | Aaron WeissNortheastern University, Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA Link to publication Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:35 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:35 - 12:00 Talk | Martin ElsmanUniversity of Copenhagen, Denmark, Philip MunksgaardIntelligent Alpha AG, Switzerland, Ken Friis LarsenDIKU, University of Copenhagen Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:40 Talk | Arthur GlecklerSRFI Editor | |||||||||||||||||||||||||||||||||||||||||
| 10:40 - 11:00 Talk | Satoshi EgiRakuten Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
10:20 - 11:50: Scala 2018 - Session 1: Scala Foundations at Frisco Chair(s): Paolo G. GiarrussoEPFL, Switzerland | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:42 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:42 - 11:05 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:05 - 11:27 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:27 - 11:50 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Haskell 2018 - Session 5 at Illinois Central Chair(s): Niki VazouUniversity of Maryland, USA | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Richard A. EisenbergBryn Mawr College, USA, Joachim BreitnerDFINITY Foundation, Simon Peyton JonesMicrosoft, UK DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Matthías Páll GissurarsonChalmers University of Technology, Sweden DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:00 Talk | Artem PelenitsynNortheastern University | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
13:00 - 16:00: Tutorials - T04: Beluga: Programming Proofs About Formal Systems at Texas Special Chair(s): Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University, Brigitte PientkaMcGill University | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 16:00 Talk | Brigitte PientkaMcGill University, Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University | |||||||||||||||||||||||||||||||||||||||||
13:10 - 14:40: Scala 2018 - Session 2: Scala Extensions & Parsing at Frisco Chair(s): Philipp HallerKTH, Sweden | ||||||||||||||||||||||||||||||||||||||||||
| 13:10 - 13:32 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:32 - 13:55 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:55 - 14:17 Talk | Ekaterina VerbitskaiaSaint Petersburg State University, Russia, Ilya KirillovSaint Petersburg State University, Russia, Ilya NozkinSaint Petersburg State University, Russia, Semyon GrigorevSaint Petersburg State University, Russia DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:17 - 14:40 Talk | Nicolas StuckiEPFL, Switzerland, Paolo G. GiarrussoEPFL, Switzerland, Martin OderskyEPFL, Switzerland DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:55 Talk | Guido MartínezCIFASIS-CONICET, Argentina, Danel AhmanUniversity of Ljubljana, Victor Dumitrescu, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Cătălin HriţcuInria Paris, Monal Narasimhamurthy, Zoe ParaskevopoulouPrinceton University, Clément Pit-ClaudelMIT CSAIL, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research File Attached | |||||||||||||||||||||||||||||||||||||||||
| 13:55 - 14:20 Talk | Roberto BlancoInria | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:45 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:50 Talk | Kristopher MicinskiHaverford College, Zhanpeng WangHaverford College, USA, Thomas GilrayUniversity of Maryland | |||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:10 Talk | Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Joachim BreitnerDFINITY Foundation DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Agustín MistaUniversidad Nacional de Rosario, Argentina, Alejandro RussoChalmers University of Technology, Sweden, John HughesChalmers University of Technology, Sweden DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 14:50 Talk | Eric HolkGoogle | |||||||||||||||||||||||||||||||||||||||||
| 14:50 - 15:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:40 - 14:50 Talk | Guillaume MartresEPFL, Switzerland | |||||||||||||||||||||||||||||||||||||||||
| 14:50 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
15:20 - 16:10: Scala 2018 - Session 3: DSLs & Sponsor Talk at Frisco Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands | ||||||||||||||||||||||||||||||||||||||||||
| 15:20 - 15:42 Talk | Jacob DonhamTwitter, Inc. DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:42 - 16:10 Industry talk | Eugene BurmakoTwitter, Inc. | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:10 Talk | Matthew FlattUniversity of Utah | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:10 Talk | Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:59 Talk | Niki VazouUniversity of Maryland, USA, Joachim BreitnerDFINITY Foundation, Rose KunkelUniversity of Maryland, USA, David Van HornUniversity of Maryland, USA, Graham HuttonUniversity of Nottingham, UK DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:59 - 16:00 Talk | Nicolas WuUniversity of Bristol, UK | |||||||||||||||||||||||||||||||||||||||||
Sat 29 Sep
08:45 - 10:00: FHPC 2018 - Morning Session 1 at New York Central Chair(s): Kei DavisLos Alamos National Laboratory | ||||||||||||||||||||||||||||||||||||||||||
| 08:45 - 09:00 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:10 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:10 - 09:35 Research paper | NNdef: Livecoding Digital Musical Instruments in SuperCollider using Functional Reactive Programming Miguel NegrãoPolytechnic Institute of Leiria DOI | |||||||||||||||||||||||||||||||||||||||||
| 09:35 - 10:00 Demonstration | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:10 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:10 - 10:00 Talk | Christopher MeiklejohnCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
09:00 - 12:00: Tutorials - T05: Purely functional UIs with Reacl at Wabash Cannonball Chair(s): Michael SperberActive Group GmbH | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 12:00 Other | Michael SperberActive Group GmbH | |||||||||||||||||||||||||||||||||||||||||
09:00 - 12:00: Tutorials - T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games at Frisco Chair(s): Eric MertensGalois, Inc., Jose CalderonGalois, Inc. | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 12:00 Other | ||||||||||||||||||||||||||||||||||||||||||
09:00 - 12:00: Tutorials - T07: Writing a chat system in Pony at Texas Special Chair(s): Andrew Turley | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 12:00 Other | ||||||||||||||||||||||||||||||||||||||||||
10:20 - 12:00: FARM 2018 - Generative Systems at Jeffersonian+Knickerbocker Chair(s): Brent YorgeyHendrix College | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:45 Research paper | Jennifer HackettUniversity of Nottingham, UK DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:45 - 11:10 Demonstration | Brittni WatkinsSouthern Methodist University | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:35 Demonstration | Donya QuickStevens Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 11:35 - 12:00 Demonstration | ||||||||||||||||||||||||||||||||||||||||||
10:20 - 12:15: FHPC 2018 - Morning Session 2 at New York Central Chair(s): Kei DavisLos Alamos National Laboratory | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 11:20 Talk | Troels HenriksenUniversity of Copenhagen, Denmark, Martin ElsmanUniversity of Copenhagen, Denmark, Cosmin OanceaUniversity of Copenhagen, Denmark DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 12:05 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:45 Full-paper | Alex GerdesUniversity of Gothenburg, Sweden, John HughesChalmers University of Technology, Sweden, Nicholas SmallboneChalmers University of Technology, Sweden, Stefan HanenbergUniversity of Duisburg-Essen, Germany, Sebastian IvarssonChalmers University of Technology, Sweden, Meng WangUniversity of Bristol, UK DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:00 Short-paper | DOI | |||||||||||||||||||||||||||||||||||||||||
13:00 - 16:00: Tutorials - T08: Implement your own reactive language: the ReactiveML experiment at Wabash Cannonball Chair(s): Louis MandelIBM Research, Marc PouzetÉcole normale supérieure, Cédric Pasteur, Guillaume BaudartIBM Research | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 16:00 Other | Guillaume BaudartIBM Research, Louis MandelIBM Research, Cédric Pasteur, Marc PouzetÉcole normale supérieure | |||||||||||||||||||||||||||||||||||||||||
13:00 - 16:00: Tutorials - T09: Pijul, a purely functional version control system at Frisco Chair(s): Pierre-Étienne Meunier | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 16:00 Other | ||||||||||||||||||||||||||||||||||||||||||
13:00 - 16:00: Tutorials - T10: Hop.js: JavaScript multitier programming at Texas Special Chair(s): Manuel SerranoInria, France | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 16:00 Other | Manuel SerranoInria, France | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:15 Talk | Michael VollmerIndiana University, USA, Chaitanya KoparkarIndiana University, Laith SakkaPurdue University, Milind KulkarniPurdue University, Ryan R. NewtonIndiana University | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 15:10: FARM 2018 - Audio at Jeffersonian+Knickerbocker Chair(s): Donya QuickStevens Institute of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:55 Research paper | Mark SantolucitoYale University, USA, Kate RogersYale University, USA, Aedan LombardoYale University, USA, Ruzica PiskacYale University, USA DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 13:55 - 14:20 Talk | Sebastien MondetMount Sinai - Hammer Lab | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:45 Demonstration | Scott FradkinFlexion | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:10 Demonstration | Justus SagemüllerUniversität zu Köln, Institut für Geophysik und Meteorologie | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:55 Full-paper | Aman Shankar MathurMPI-SWS, Germany, Burcu Kulahcioglu OzkanMPI-SWS, Germany, Rupak MajumdarMPI-SWS, Germany DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:55 - 14:20 Full-paper | Joseph HarrisonUniversity of Kent, UK DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:30 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 14:55 Full-paper | Stavros AronisErlang Solutions, Sweden, Viktória FördősKlarna Bank, Sweden, Dániel SzoboszlayKlarna Bank, Sweden DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:55 - 15:10 Short-paper | Jörgen BrandtHumboldt-Universität zu Berlin, Germany, Wolfgang ReisigHumboldt-Universität zu Berlin, Germany DOI | |||||||||||||||||||||||||||||||||||||||||
15:30 - 16:10: FARM 2018 - Art at Jeffersonian+Knickerbocker Chair(s): Donya QuickStevens Institute of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:55 Research paper | April GonçalvesRoskilde University, Denmark DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:10 Day closing | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:55 Full-paper | Nachiappan ValliappanChalmers University of Technology, Sweden, John HughesChalmers University of Technology, Sweden DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:10 Day closing | ||||||||||||||||||||||||||||||||||||||||||
Sun 23 Sep 2018
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Catering | 10:00 - 10:20 | 11:00 - 11:20 | 14:10 - 14:30 | 15:10 - 15:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Frisco+Burlington Route | 09:00 - 10:00 | 10:20 - 11:00 | 11:20 - 12:00 | 13:30 - 14:10 | 14:30 - 15:10 | 15:30 - 16:10 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Grand Hall | 12:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Illinois Central | 09:00 - 10:00 | 10:20 - 12:00 | 13:30 - 15:10 | 15:30 - 16:45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| New York Central | 09:00 - 10:00 | 10:20 - 12:00 | 13:30 - 15:10 | 15:30 - 16:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Mon 24 Sep 2018
| 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 | 19:00 | 30 | 20:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Catering | 10:05 - 10:30 | 12:00 - 13:00 | 14:30 - 15:00 | 16:10 - 16:40 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Stifel Theatre | 09:00 - 10:00 | 10:00 - 10:05 | 10:30 - 12:00 | 13:00 - 14:30 | 15:00 - 16:10 | 18:10 - 18:20 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Tue 25 Sep 2018
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Catering | 10:00 - 10:30 | 12:00 - 13:00 | 14:30 - 15:00 | 16:30 - 17:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Stifel Theatre | 09:00 - 10:00 | 10:30 - 12:00 | 15:00 - 16:30 | 17:40 - 18:10 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 26 Sep 2018
| 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 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Catering | 10:00 - 10:30 | 12:00 - 13:00 | 14:30 - 15:00 | 16:10 - 16:30 | 18:00 - 19:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| City Museum | 19:00 - 21:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Stifel Theatre | 09:00 - 10:00 | 10:30 - 12:00 | 13:00 - 14:30 | 15:00 - 16:10 | 16:30 - 17:15 | 17:15 - 18:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Thu 27 Sep 2018
| Room | 8:00 | 30 | 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 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | 22:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Catering | 10:00 - 10:20 | 11:00 - 11:20 | 14:10 - 14:30 | 15:10 - 15:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Frisco | 09:00 - 10:00 | 10:20 - 11:00 | 11:20 - 12:00 | 13:30 - 14:10 | 14:30 - 15:10 | 15:30 - 16:10 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Illinois Central | 09:00 - 10:00 | 10:30 - 12:00 | 13:30 - 15:00 | 15:30 - 16:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Midway West | 12:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| New York Central | 08:45 - 10:00 | 10:20 - 12:00 | 13:30 - 14:20 | 14:20 - 15:10 | 15:30 - 16:10 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Regency C | 17:30 - 19:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Texas Special | 09:00 - 10:00 | 10:20 - 11:20 | 11:20 - 12:00 | 13:30 - 14:30 | 14:30 - 15:10 | 15:30 - 16:10 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Fri 28 Sep 2018
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Burlington Route | 09:00 - 10:00 | 10:20 - 11:00 | 11:20 - 12:00 | 13:30 - 14:10 | 14:30 - 15:10 | 15:30 - 16:10 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Catering | 10:00 - 10:20 | 11:00 - 11:20 | 14:10 - 14:30 | 15:10 - 15:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Frisco | 09:00 - 10:00 | 10:20 - 11:50 | 11:50 - 12:10 | 13:10 - 14:40 | 14:40 - 15:00 | 15:20 - 16:10 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Illinois Central | 09:00 - 10:00 | 10:30 - 12:00 | 13:30 - 15:00 | 15:30 - 16:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Midway West | 12:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| New York Central | 09:00 - 10:00 | 10:20 - 12:00 | 13:30 - 15:10 | 15:30 - 16:10 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sat 29 Sep 2018
| Room | 8:00 | 30 | 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 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Burlington Route | 09:00 - 10:00 | 10:20 - 11:00 | 11:20 - 12:00 | 13:30 - 14:30 | 14:30 - 15:10 | 15:30 - 16:10 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Catering | 10:00 - 10:20 | 11:00 - 11:20 | 14:10 - 14:30 | 15:10 - 15:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Jeffersonian+Knickerbocker | 09:00 - 10:00 | 10:20 - 12:00 | 13:30 - 15:10 | 15:30 - 16:10 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| New York Central | 08:45 - 10:00 | 10:20 - 12:15 | 13:30 - 15:10 | 15:30 - 17:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Pegram | 12:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Texas Special | 09:00 - 12:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sun 23 Sep 2018
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Catering | 10:00 - 10:20 | 11:00 - 11:20 | 14:10 - 14:30 | 15:10 - 15:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Frisco+Burlington Route | 09:00 - 10:00 | 10:20 - 11:00 | 11:20 - 12:00 | 13:30 - 14:10 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Grand Hall | 12:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Illinois Central | 09:00 - 09:05 | 09:05 - 10:00 | 10:20 - 10:45 | 10:45 - 11:10 | 11:10 - 11:35 | 13:30 - 13:55 | 13:55 - 14:20 | 14:20 - 14:45 | 15:30 - 15:55 | 15:55 - 16:20 | 16:20 - 16:28 | 16:28 - 16:45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| New York Central | 09:00 - 09:30 | 09:30 - 10:00 | 10:50 - 12:00 | 13:30 - 14:03 | 14:03 - 14:36 | 14:36 - 15:10 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Mon 24 Sep 2018
| 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 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Catering | 10:05 - 10:30 | 12:00 - 13:00 | 14:30 - 15:00 | 16:10 - 16:40 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Grand Hall | 18:30 - 20:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Stifel Theatre | 09:00 - 10:00 | 10:52 - 11:15 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Tue 25 Sep 2018
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Catering | 10:00 - 10:30 | 12:00 - 13:00 | 14:30 - 15:00 | 16:30 - 17:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Stifel Theatre | 15:22 - 15:45 | 15:45 - 16:07 | 17:40 - 18:10 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 26 Sep 2018
| 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 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|