FHPNC 2022
Sun 11 Sep 2022
Ljubljana, Slovenia
co-located with
ICFP 2022
Toggle navigation
Attending
Conference Center: Cankarjev Dom
Program
FHPNC Program
Your Program
Sun 11 Sep
Track/Call
Organization
FHPNC 2022 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
FHPNC 2023
FHPNC 2022
FHPNC 2021
FHPNC 2020
FHPNC 2019
FHPC 2018
FHPC 2017
FHPC 2016
Sign in
Sign up
ICFP 2022
(
series
) /
FHPNC 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 18:14