Discussion (HATRA 2023 - 4th International Workshop on Human Aspects of Types and Reasoning Assistants)

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Michael Coblenz, Luke Church, Jonathan Aldrich, Will Crichton

Track

HATRA 2023

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

When

Sun 22 Oct 2023 16:45 - 17:30 at Room VI - Type Systems and Discussion Chair(s): Will Crichton

Abstract

This is an opportunity to network, to discuss what you learned during the workshop, and to identify new opportunities for research.

Michael Coblenz

University of California, San Diego

United States

Luke Church

University of Cambridge | Lund University | Lark Systems

United Kingdom

Jonathan Aldrich

Carnegie Mellon University

United States

Will Crichton

Brown University

United States

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 22 Oct
Displayed time zone: Lisbon change

16:00 - 17:30	Type Systems and DiscussionHATRA at Room VI Chair(s): Will Crichton Brown University

16:00 45m Talk		Goals of the Luau Type System, Two Years OnRemote HATRA Lily Brown Roblox, Andy Friesen Roblox, Alan Jeffrey Roblox Link to publication
16:45 45m Meeting		Discussion HATRA Michael Coblenz University of California, San Diego, Luke Church University of Cambridge \| Lund University \| Lark Systems, Jonathan Aldrich Carnegie Mellon University, Will Crichton Brown University