Erlang 2024
Mon 2 Sep 2024
Milan, Italy
co-located with
ICFP 2024
Toggle navigation
Attending
Venue: Allianz MiCo (Milano Convention Centre)
Program
Complete Program
Your Program
Mon 2 Sep
Track/Call
Organization
Erlang 2024 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
Erlang 2024
Erlang 2023
Erlang 2022
Erlang 2021
Erlang 2020
Erlang 2019
Erlang 2018
Erlang 2017
Erlang 2016
Sign in
Sign up
ICFP 2024
(
series
) /
Erlang 2024 (
series
) /
Allianz MiCo (Milano Convention Centre)
/
Room information: Orange 1
Venue
Allianz MiCo (Milano Convention Centre)
Room name
Orange 1
Capacity
90
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 Keynote
TyDe
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 analysis
TyDe
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 types
TyDe
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 tooling
TyDe
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
x
Sat 9 Nov 00:06