ICFP 2024
Mon 2 - Sat 7 September 2024
Milan, Italy
Toggle navigation
Attending
Venue: Allianz MiCo (Milano Convention Centre)
Call For Sponsorship
Travel Information
Local Information
Accommodation
Registration
Code of Conduct
Virtual participation
Instructions for Presenters
Visas
Program
Complete Program
Your Program
Mon 2 Sep
Tue 3 Sep
Wed 4 Sep
Thu 5 Sep
Fri 6 Sep
Sat 7 Sep
Tracks
ICFP 2024
Artifact Evaluation
Diversity, Equity, and Inclusion
ICFP Papers and Events
ICFP Programming Contest
ICFP Tutorials
ICFP Workshops
JFP First Papers
Student Research Competition
Volunteers
Workshops
Erlang
Erlang
- (Keynote) Environmentally sustainable software and data architectures
FARM
FProPer
FUNARCH
HIW
HOPE
ML
OCaml
Users and Developers Workshop
PLMW @ ICFP
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2024 Committees
Organizing Committee
Track Committees
Artifact Evaluation
ICFP Papers and Events
ICFP Tutorials
ICFP Workshops
Student Research Competition
Contributors
People Index
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FProPer
Program Committee
FUNARCH
Program Committee
HIW
Program Committee
HOPE
Keynote Speaker
Program Committee
ML
Program Committee
OCaml
Program Committee
PLMW @ ICFP
Organizing Committee
Scheme
Organizing Committee
Program Committee
TyDe
Organising Committee
Program Committee
miniKanren
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 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
Thu 12 Sep 20:42