Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
VenueHotel Scandic Berlin Potsdamer Platz
Room nameElk
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Thu 22 Aug

minikanren-2019-papers
09:00 - 10:00: miniKanren 2019 - Session 1 at Elk
minikanren-2019-papers09:00 - 10:00
Tutorial
William E. ByrdUniversity of Alabama at Birmingham, USA
minikanren-2019-papers
10:30 - 12:00: miniKanren 2019 - Session 2 at Elk
Chair(s): Lisa ZhangUniversity of Toronto
minikanren-2019-papers10:30 - 11:15
Full-paper
Petr LozovSain Petersburg State University, SPbGU, Ekaterina VerbitskaiaSaint Petersburg State University, Russia, Dmitri Boulytchev
Link to publication
minikanren-2019-papers11:15 - 12:00
Full-paper
Gilmore R. Lundquist, Utsav Bhatt, Kevin HamlenUniversity of Texas at Dallas, USA
Link to publication
minikanren-2019-papers
13:30 - 15:00: miniKanren 2019 - Session 3 at Elk
Chair(s): Thomas GilrayUniversity of Maryland
minikanren-2019-papers13:30 - 14:15
Full-paper
Link to publication
minikanren-2019-papers14:15 - 15:00
Full-paper
Link to publication
minikanren-2019-papers
15:20 - 16:30: miniKanren 2019 - Session 4 at Elk
Chair(s): Dmitri Boulytchev
minikanren-2019-papers15:20 - 15:55
Full-paper
Gregory Rosenblatt, Lisa ZhangUniversity of Toronto, William E. ByrdUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
Link to publication
minikanren-2019-papers15:55 - 16:30
Full-paper
Kuang-Chen LuIndiana University, USA, Weixi Ma, Daniel P. FriedmanIndiana University, USA
Link to publication
minikanren-2019-papers
16:50 - 18:15: miniKanren 2019 - Session 5 at Elk
minikanren-2019-papers16:50 - 18:15
Social Event

Fri 23 Aug

hiw-2019-papers
09:00 - 10:00: HIW 2019 - Keynote at Elk
hiw-2019-papers09:00 - 10:00
Talk
hiw-2019-papers
10:30 - 12:00: HIW 2019 - Metadata at Elk
Chair(s): Ningning XieThe University of Hong Kong
hiw-2019-papers10:30 - 10:53
Talk
Matthew PickeringUniversity of Bristol, John EricsonObsidian Systems
hiw-2019-papers10:53 - 11:16
Talk
Zubin Duggal, Matthew PickeringUniversity of Bristol
hiw-2019-papers11:16 - 11:40
Talk
hiw-2019-papers11:40 - 12:00
Talk
hiw-2019-papers
13:30 - 15:00: HIW 2019 - Compilers at Elk
Chair(s): Jose CalderonGalois, Inc.
hiw-2019-papers13:30 - 13:53
Talk
Jurriaan HageUtrecht University, Netherlands
hiw-2019-papers13:53 - 14:16
Talk
Ryan R. NewtonIndiana University, Michael VollmerIndiana University, USA, Chaitanya KoparkarIndiana University
hiw-2019-papers14:16 - 14:40
Talk
Frank DeddenRoyal Netherlands Aerospace Center, Alwyn GoodloeNASA Langley Research Center, Ivan PerezNIA / NASA Formal Methods
hiw-2019-papers14:40 - 15:00
Talk
hiw-2019-papers
15:20 - 16:30: HIW 2019 - GHC at Elk
Chair(s): Brent YorgeyHendrix College
hiw-2019-papers15:20 - 15:43
Talk
Matthías Páll GissurarsonChalmers University of Technology, Sweden
hiw-2019-papers15:43 - 16:06
Talk
Dominique DevrieseVrije Universiteit Brussel
hiw-2019-papers16:06 - 16:30
Talk
Ryan ScottIndiana University at Bloomington, USA
hiw-2019-papers
16:50 - 18:00: HIW 2019 - Community at Elk
hiw-2019-papers16:50 - 16:52
Day closing
Niki VazouIMDEA Software Institute
hiw-2019-papers16:52 - 17:15
Talk
Simon Peyton JonesMicrosoft, UK
hiw-2019-papers17:15 - 18:00
Other

Thu 22 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Elk
09:00 - 10:00
10:30 - 12:00
13:30 - 15:00
15:20 - 16:30
16:50 - 18:15

Fri 23 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Elk
09:00 - 10:00
10:30 - 12:00
13:30 - 15:00
15:20 - 16:30
16:50 - 18:00