Orange 1 - HIW 2024

VenueAllianz MiCo (Milano Convention Centre)

Room nameOrange 1

Capacity90

Room InformationNo extra information available

Program

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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	TyDe KeynoteTyDe at Orange 1 Session chair: Jesper Cockx

09:00 5m Day opening		Welcome to TyDe TyDe
09:05 80m Keynote		Types for correctness, convenience, and performance TyDe Gabriele Keller Utrecht University

11:00 - 12:30	Usability, testing and static analysisTyDe at Orange 1 Session chair: Patrik Jansson

11:00 22m Talk		A Type- And Control- Flow Analysis for System FC (Extended Abstract) TyDe Skye Soss University of Chicago, John Reppy University of Chicago, USA File Attached
11:22 22m Talk		Dependent Types to Push Corners of the Property-based Testing (Extended Abstract) TyDe Denis Buzdalov Institute for System Programming of RAS File Attached
11:45 22m Talk		How Novices Perceive Interactive Theorem Provers (Extended Abstract) TyDe Sára Juhošová Delft University of Technology File Attached
12:07 22m Talk		Type-level Property Based Testing TyDe Thomas Ekström Hansen University of St Andrews, Edwin Brady University of St Andrews, UK

14:00 - 15:30	Dependent typesTyDe at Orange 1 Session chair: Jesper Cockx

14:00 22m Talk		Modal Mu-Calculus for Free in Agda TyDe Ivan Todorov Delft University of Technology, Casper Bach Poulsen Delft University of Technology
14:22 22m Talk		First-class Algebraic Presentations with Elaborator Reflection (Extended Abstract) TyDe Robert Wright University of Edinburgh, Ohad Kammar University of Edinburgh File Attached
14:45 22m Talk		Normalizable types TyDe Stefan Monnier Université de Montréal
15:07 22m Talk		Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma TyDe Hannes Saffrich University of Freiburg, Peter Thiemann University of Freiburg, Germany, Marius Weidner University of Freiburg

16:00 - 17:30	Compilers and toolingTyDe at Orange 1 Session chair: Sandra Alves

16:00 22m Talk		Typed, Concise, Nanopass (pick 3) (Extended Abstract) TyDe Lawrence Chonavel Utrecht University File Attached
16:22 22m Talk		Term Search in Rust TyDe Philipp Joram Tallinn University of Technology, Tavo Annus Tallinn University of Technology
16:45 22m Talk		Towards Type-Directed API Search for Mainstream Languages TyDe Marc Etter OST Eastern Switzerland University of Applied Sciences, Farhad Mehta OST Eastern Switzerland University of Applied Sciences
17:07 22m Meeting		TyDe closing TyDe

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Orange 1	TyDe TyDe Keynote																								TyDe Usability, testing and static analysis																																				TyDe Dependent types																								TyDe Compilers and tooling

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Orange 1	TyDe Welcome to TyDe 09:00 - 09:05	TyDe Types for correctness, convenience, and performance 09:05 - 10:25																							TyDe A Type- And Control- Flow Analysis for System FC (Extended Abstract) 11:00 - 11:22				TyDe Dependent Types to Push Corners of the Property-based Testing (Extended ... 11:22 - 11:45					TyDe How Novices Perceive Interactive Theorem Provers (Extended Abstract) 11:45 - 12:07				TyDe Type-level Property Based Testing 12:07 - 12:30																							TyDe Modal Mu-Calculus for Free in Agda 14:00 - 14:22				TyDe First-class Algebraic Presentations with Elaborator Reflection (Extende ... 14:22 - 14:45					TyDe Normalizable types 14:45 - 15:07				TyDe Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the ... 15:07 - 15:30											TyDe Typed, Concise, Nanopass (pick 3) (Extended Abstract) 16:00 - 16:22				TyDe Term Search in Rust 16:22 - 16:45					TyDe Towards Type-Directed API Search for Mainstream Languages 16:45 - 17:07				TyDe TyDe closing 17:07 - 17:30

Room information: Orange 1

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

TyDe

TyDe

TyDe

TyDe

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Room information: Orange 1

Program Display Configuration

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

TyDe

TyDe

TyDe

TyDe

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change