Deciding type equivalence with simple grammars (WITS 2022) - POPL 2022

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

Who

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Track

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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

Sat 22 Jan 2022 15:35 - 15:50 at Salon III - Session 4 Chair(s): Jesper Cockx, Richard A. Eisenberg

Bernardo Almeida

LASIGE, Faculty of Sciences, University of Lisbon

Andreia Mordido

Lasige / Faculty of Sciences, Universidade de Lisboa

Vasco T. Vasconcelos

LASIGE, Faculty of Sciences, University of Lisbon

Portugal

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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

Sat 22 Jan
Displayed time zone: Eastern Time (US & Canada) change

	15:05 - 16:20	Session 4WITS at Salon III Chair(s): Jesper Cockx TU Delft, Richard A. Eisenberg Tweag

	15:05 15m Talk		mitten: A Flexible Multimodal Proof AssistantRemote WITS Philipp Stassen Aarhus University, Daniel Gratzer Aarhus University, Lars Birkedal Aarhus University
	15:20 15m Talk		Understandable and Useful Error Messages for Liquid TypesRemote WITS Alcides Fonseca LASIGE, Faculdade de Ciências da Universidade de Lisboa, Catarina Gamboa LASIGE, Faculdade de Ciências da Universidade de Lisboa, João David LASIGE, Faculdade de Ciências da Universidade de Lisboa, Guilherme Espada LASIGE, Faculdade de Ciências da Universidade de Lisboa, Paulo Canelas LASIGE, Faculdade de Ciências da Universidade de Lisboa
	15:35 15m Talk		Deciding type equivalence with simple grammarsIn-Person WITS Bernardo Almeida LASIGE, Faculty of Sciences, University of Lisbon, Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon
	15:50 15m Talk		Typechecking up to CongruenceIn-Person WITS Jad Elkhaleq Ghalayini University of Cambridge
	16:05 15m Talk		À bas l’η — Coq’s troublesome η-conversionRemote WITS Meven Lennon-Bertrand Inria – LS2N, Université de Nantes