OPLSS over twenty years (online) (TyDe 2022)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Track

TyDe 2022

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect 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 11 Sep 2022 16:54 - 17:12 at Club CD - Zena's Birthday 2 Chair(s): Marco Gaboardi

Bio

Robert Harper is a Professor of Computer Science at Carnegie Mellon University, where he has been on faculty since 1988. He is author of Practical Foundations of Programming Languages and is an ACM Fellow.

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect 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 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

16:00 - 17:30	Zena's Birthday 2TyDe at Club CD Chair(s): Marco Gaboardi Boston University

16:00 18m Talk		A Computational Interpretation of Girard's Intuitionistic Proof-Nets TyDe Delia Kesner Université de Paris; CNRS; IRIF; Institut Universitaire de France
16:18 18m Talk		Duality of intersection and union types - where and how? TyDe Silvia Ghilezan University of Novi Sad, Mathematical Institute SASA
16:36 18m Talk		Mu tilde (re)cycled TyDe Pierre-Louis Curien Univ. Paris Diderot and INRIA Paris-Rocquencourt
16:54 18m Talk		OPLSS over twenty years (online) TyDe Robert Harper Carnegie Mellon University
17:12 18m Talk		Happy Birthday, Zena! TyDe

OPLSS over twenty years (online)

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Robert Harper

Carnegie Mellon University

Tracks

Workshops

Co-hosted Symposia

OPLSS over twenty years (online)

Program Display Configuration

Program Display Configuration

Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Robert Harper

Carnegie Mellon University

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change