ICFP 2022
Sun 11 - Fri 16 September 2022
Ljubljana, Slovenia
Toggle navigation
Attending
Conference Center: Cankarjev Dom
Call For Sponsorship
Travel Information
Local Information
Accommodation and Visas
Registration
Accessibility
Code of Conduct
Virtual participation
Instructions for speakers
Program
ICFP Program
Your Program
Sun 11 Sep
Mon 12 Sep
Tue 13 Sep
Wed 14 Sep
Thu 15 Sep
Fri 16 Sep
Tracks
ICFP 2022
ICFP Papers and Events
Artifact Evaluation
Student Research Competition
ICFP Programming Contest
Tutorials
Student Volunteers
Workshops
Erlang
FARM
FHPNC
FUNARCH
HIW
HOPE
ML
OCaml
PLMW @ ICFP
PLanQC
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2022 Committees
Organizing Committee
Steering Committee
Virtualization Committee
Track Committees
ICFP Papers and Events
Artifact Evaluation
Student Research Competition
Tutorials
Student Volunteers
Contributors
People Index
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
FUNARCH
Program Committee
HIW
Program Committee
HOPE
Program Committee
ML
Organizing Committee
Program Committee
OCaml
Program Committee
PLMW @ ICFP
Organizing Committee
PLanQC
Organizing Committee
Program Committee
Scheme
Organizing Committee
Program Committee
TyDe
Organization Committee
Program Committee
miniKanren
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2022
(
series
) /
Cankarjev Dom
/
Room information: Club CD
Venue
Cankarjev Dom
Room name
Club CD
Capacity
220
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) Belgrade, Bratislava, Budapest, Ljubljana, Prague
.
Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
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-05: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-03: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+04: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
Sun 11 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:30
TyDe 1
TyDe
at
Club CD
Chair(s):
Hsiang-Shang ‘Josh’ Ko
Institute of Information Science, Academia Sinica
09:00
18m
Full-paper
A Hoare-Logic Style Refinement Types Formalisation
Virtual
TyDe
Zilin Chen
UNSW Sydney
Link to publication
DOI
09:18
18m
Full-paper
Computing with Generic Trees in Agda
TyDe
Stephen Dolan
09:36
18m
Short-paper
Contextual Algebraic Theories: Generic Boilerplate beyond Abstraction (Extended Abstract)
TyDe
Andreas Nuyts
KU Leuven, Belgium
Link to publication
09:54
18m
Short-paper
Provingly Correct Optimisations on Intrinsically Typed Expressions (Extended Abstract)
TyDe
Matthias Heinzel
Utrecht University
Pre-print
10:12
18m
Full-paper
Structural Refinement Types
TyDe
David Binder
University of Tübingen
,
Ingo Skupin
University of Tübingen
,
David Läwen
University of Tübingen, Germany
,
Klaus Ostermann
University of Tübingen
Pre-print
11:00 - 12:30
Tyde 2
TyDe
at
Club CD
Chair(s):
Gabriel Scherer
INRIA Saclay
11:00
18m
Short-paper
Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract)
TyDe
Robert Wright
The University of Edinburgh, UK
,
Michel Steuwer
University of Edinburgh
,
Ohad Kammar
University of Edinburgh
11:18
18m
Short-paper
Syntax-Generic Operations, Reflectively Reified (Extended Abstract)
TyDe
Tzu-Chi Lin
Institute of Information Science, Academia Sinica
,
Hsiang-Shang ‘Josh’ Ko
Institute of Information Science, Academia Sinica
Pre-print
11:36
18m
Short-paper
Toward Grammar Inference via Refinement Types (Extended Abstract)
TyDe
Michael Schröder
TU Wien
,
Jürgen Cito
TU Wien
Pre-print
Media Attached
11:54
18m
Short-paper
Towards Dependently-Typed Control Effects (Extended Abstract)
Virtual
TyDe
Youyou Cong
Tokyo Institute of Technology
,
Kenichi Asai
Ochanomizu University
File Attached
12:12
18m
Full-paper
tylr, a tiny tile-based structure editor
TyDe
David Moon
University of Michigan
,
Andrew Blinn
University of Michigan
,
Cyrus Omar
University of Michigan
DOI
Pre-print
14:00 - 15:30
TyDe 3 / Zena's Birthday 1
TyDe
at
Club CD
Chair(s):
Gabriel Scherer
INRIA Saclay
,
Marco Gaboardi
Boston University
14:00
18m
Short-paper
Normalization by Evaluation with Free Extensions (Extended Abstract)
TyDe
Nathan Corbyn
University of Oxford
,
Ohad Kammar
University of Edinburgh
,
Sam Lindley
The University of Edinburgh, UK
,
Nachiappan Valliappan
Chalmers University of Technology
,
Jeremy Yallop
University of Cambridge
Pre-print
14:18
18m
Talk
Zena's birthday introduction
TyDe
Marco Gaboardi
Boston University
14:36
18m
Talk
Compiling without continuations
TyDe
Simon Peyton Jones
Epic Games
14:54
18m
Talk
On the power of syntactic methods: It is all syntax after all…
TyDe
Amr Sabry
Indiana University
15:12
18m
Talk
The impact of delimited control and call-by-need in proof theory
TyDe
Hugo Herbelin
16:00 - 17:30
Zena's Birthday 2
TyDe
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
Thu 15 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
16:00 - 18:00
Technical setup
FARM
at
Club CD
16:00
2h
Other
Technical setup & rehearsal
FARM
18:30 - 21:30
Performance Evening
FARM
at
Club CD
Chair(s):
Luka Frelih
LJUDMILA Art & Science Laboratory
18:30
60m
Meeting
Meet the artists
FARM
A:
Rob Canning
,
A:
Enrico Dorigatti
University of Portsmouth
,
A:
Francesco Corvi
,
A:
Luka Prinčič
,
A:
Florencia Alonso (Flor de Fuego)
None
,
C:
Luka Frelih
LJUDMILA Art & Science Laboratory
19:40
20m
Other
Fold Yer Loops!
FARM
Rob Canning
20:00
20m
Other
Xeno
FARM
Enrico Dorigatti
University of Portsmouth
20:30
20m
Other
Live coding with Adapt
FARM
Francesco Corvi
20:50
20m
Other
Algoforte
FARM
Luka Prinčič
21:10
20m
Other
Specific site: remembering is never a faithful copy
FARM
Florencia Alonso (Flor de Fuego)
None
Sun 11 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
Club CD
TyDe
TyDe 1
TyDe
Tyde 2
TyDe
TyDe 3 / Zena's Birthday 1
TyDe
Zena's Birthday 2
Thu 15 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
Club CD
FARM
Technical setup
FARM
Performance Evening
Sun 11 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
Club CD
TyDe
Virtual
A Hoare-Logic Style Refinement Types Formalisation
09:00 - 09:18
TyDe
Computing with Generic Trees in Agda
09:18 - 09:36
TyDe
Contextual Algebraic Theories: Generic Boilerplate beyond Abstraction ...
09:36 - 09:54
TyDe
Provingly Correct Optimisations on Intrinsically Typed Expressions (Ext ...
09:54 - 10:12
TyDe
Structural Refinement Types
10:12 - 10:30
TyDe
Idris2-Table: evaluating dependently-typed tables with the Brown Benchm ...
11:00 - 11:18
TyDe
Syntax-Generic Operations, Reflectively Reified (Extended Abstract)
11:18 - 11:36
TyDe
Toward Grammar Inference via Refinement Types (Extended Abstract)
11:36 - 11:54
TyDe
Virtual
Towards Dependently-Typed Control Effects (Extended Abstract)
11:54 - 12:12
TyDe
tylr, a tiny tile-based structure editor
12:12 - 12:30
TyDe
Normalization by Evaluation with Free Extensions (Extended Abstract)
14:00 - 14:18
TyDe
Zena's birthday introduction
14:18 - 14:36
TyDe
Compiling without continuations
14:36 - 14:54
TyDe
On the power of syntactic methods: It is all syntax after all…
14:54 - 15:12
TyDe
The impact of delimited control and call-by-need in proof theory
15:12 - 15:30
TyDe
A Computational Interpretation of Girard's Intuitionistic Proof-Nets
16:00 - 16:18
TyDe
Duality of intersection and union types - where and how?
16:18 - 16:36
TyDe
Mu tilde (re)cycled
16:36 - 16:54
TyDe
OPLSS over twenty years (online)
16:54 - 17:12
TyDe
Happy Birthday, Zena!
17:12 - 17:30
Thu 15 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Club CD
FARM
Technical setup & rehearsal
16:00 - 18:00
FARM
Meet the artists
18:30 - 19:30
FARM
Fold Yer Loops!
19:40 - 20:00
FARM
Xeno
20:00 - 20:20
FARM
Live coding with Adapt
20:30 - 20:50
FARM
Algoforte
20:50 - 21:10
FARM
Specific site: remembering is never a faithful copy
21:10 - 21:30
x
Sat 21 Dec 12:55