An Algebra of Sequential Decision Problems (TyDe 2019) - ICFP 2019

Write a Blog >>

Sun 18 - Fri 23 August 2019 Berlin, Germany

Who

Robert Krook, Patrik Jansson

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

When

Sun 18 Aug 2019 10:00 - 10:20 at Aurora Borealis - Interaction and Applications Chair(s): Jeremy Gibbons

Abstract

See submission

Link to Preprint

http://tydeworkshop.org/2019-abstracts/paper18.pdf

Robert Krook

Chalmers University of Technology

Patrik Jansson

Chalmers University of Technology

Sweden

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Session Program

Sun 18 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:00 - 10:20	Interaction and ApplicationsTyDe at Aurora Borealis Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford

	09:00 20m Talk		Flexible Structure Editing of Well-Typed Expressions TyDe David Moon , Cyrus Omar University of Chicago, R. Benjamin Shapiro University of Colorado, Boulder Pre-print
	09:20 20m Talk		Livelits: Filling Typed Holes with Live GUIs TyDe Cyrus Omar University of Chicago, Nick Collins University of Chicago, David Moon , Ian Voysey Carnegie Mellon University, Ravi Chugh University of Chicago Pre-print
	09:40 20m Talk		Formal Investigation of the Extended UTxO Model TyDe Orestis Melkonian Utrecht University, Wouter Swierstra Utrecht University, Netherlands, Manuel Chakravarty Tweag I/O & IOHK Pre-print
	10:00 20m Talk		An Algebra of Sequential Decision Problems TyDe Robert Krook Chalmers University of Technology, Patrik Jansson Chalmers University of Technology Pre-print