ML 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
co-located with ICFP 2019
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
File Attached
hiw-2019-papers16:06 - 16:30
Talk
Ryan ScottIndiana University at Bloomington, USA
File Attached
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