FHPNC 2022
Sun 11 Sep 2022
Ljubljana, Slovenia
co-located with
ICFP 2022
Toggle navigation
Attending
Conference Center: Cankarjev Dom
Program
Complete 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: Kosovel
Venue
Cankarjev Dom
Room name
Kosovel
Capacity
170
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
Opening Session
PLMW @ ICFP
at
Kosovel
09:00
45m
Other
Opening Remarks
PLMW @ ICFP
Kristopher Micinski
Syracuse University
09:45
45m
Talk
How to thrive as a PhD student
PLMW @ ICFP
Sam Westrick
Carnegie Mellon University
11:00 - 12:30
Topics of Interest and Navigating a PhD
PLMW @ ICFP
at
Kosovel
11:00
45m
Panel
Formal Methods: Theory and Practice
PLMW @ ICFP
Thomas Gilray
University of Alabama at Birmingham
,
Nadia Polikarpova
University of California at San Diego
,
Niki Vazou
IMDEA Software Institute
,
Mike Dodds
Galois, Inc.
,
Kristopher Micinski
Syracuse University
,
Daan Leijen
Microsoft Research
11:45
45m
Talk
Getting the Most Out of ICFP
PLMW @ ICFP
Paulette Koronkevich
University of British Columbia
14:00 - 15:30
Learning about Lean and yourself
PLMW @ ICFP
at
Kosovel
14:00
45m
Talk
Introduction to Lean
PLMW @ ICFP
Sebastian Ullrich
Karlsruhe Institute of Technology
,
David Thrane Christiansen
The Haskell Foundation
14:45
45m
Talk
How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond
PLMW @ ICFP
Kenneth Foner
16:00 - 17:30
Closing Session
PLMW @ ICFP
at
Kosovel
16:00
90m
Talk
How to Write Papers and Give Talks That People Can Follow
PLMW @ ICFP
Derek Dreyer
MPI-SWS
Thu 15 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:30
Keynote I
Haskell
at
Kosovel
Chair(s):
Richard A. Eisenberg
Jane Street
09:20
10m
Day opening
Welcome
Haskell
Nadia Polikarpova
University of California at San Diego
09:30
60m
Keynote
Cause and Effect(s): Towards a More Programmable Haskell
Haskell
Rob Rix
GitHub, Inc.
11:00 - 12:30
Verification
Haskell
at
Kosovel
Chair(s):
Wouter Swierstra
Utrecht University, Netherlands
11:00
30m
Talk
Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Haskell
Lykourgos Mastorou
National Technical University of Athens
,
Nikolaos Papaspyrou
National Technical University of Athens
,
Niki Vazou
IMDEA Software Institute
11:30
30m
Talk
How to Safely Use Extensionality in Liquid Haskell
Haskell
Niki Vazou
IMDEA Software Institute
,
Michael Greenberg
Stevens Institute of Technology
12:00
30m
Talk
Liquid Proof Macros
Haskell
Henry Blanchette
,
Niki Vazou
IMDEA Software Institute
,
Leonidas Lampropoulos
University of Maryland, College Park
14:00 - 15:30
Applications
Haskell
at
Kosovel
Chair(s):
Satnam Singh
Groq
14:00
30m
Talk
A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Haskell
Gershom Bazerman
Arista Networks
14:30
30m
Talk
Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
Haskell
Jonathas Augusto de Oliveira Conceição
Universidade Federal de Pelotas
,
André Rauber Du Bois
Universidade Federal de Pelotas
,
Gerson Cavalheiro
Universidade Federal de Pelotas
,
Samuel Feitosa
Universidade Federal da Fronteira Sul
,
Rodrigo G. Ribeiro
Federal University of Ouro Preto
15:00
30m
Talk
Staging Regular Expressions with Moore Cayley Fusion
Haskell
Jamie Willis
Imperial College London
,
Nicolas Wu
Imperial College London
,
Tom Schrijvers
KU Leuven
16:00 - 17:30
GHC Proposals
Haskell
at
Kosovel
Chair(s):
Joachim Breitner
Epic Games
16:00
90m
Live Q&A
GHC Proposal Presentations
Haskell
S:
Joachim Breitner
Epic Games
,
Gergo Erdi
Standard Chartered Bank
,
Andreas Klebinger
,
Matthías Páll Gissurarson
Chalmers University of Technology, Sweden
File Attached
Fri 16 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:30
Keynote II
Haskell
at
Kosovel
Chair(s):
Simon Peyton Jones
Epic Games
09:30
60m
Keynote
Industrial Strength Laziness: What's Next?
Haskell
David Thrane Christiansen
The Haskell Foundation
11:00 - 12:30
Compiler and Extensions
Haskell
at
Kosovel
Chair(s):
Marco Vassena
Utrecht University
11:00
30m
Talk
Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Haskell
Celeste Hollenbeck
University of Edinburgh
,
Michael F. P. O'Boyle
University of Edinburgh
,
Michel Steuwer
University of Edinburgh
11:30
30m
Talk
Partial Type Constructors in Practice
Haskell
Apoorv Ingle
University of Iowa
,
Alex Hubers
The University of Iowa
,
J. Garrett Morris
The University of Iowa
12:00
30m
Talk
Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs
Haskell
Jesper Cockx
TU Delft
,
Lucas Escot
TU Delft
,
Orestis Melkonian
University of Edinburgh
,
James Chapman
Input Output
,
Ulf Norell
Gothenburg University
Pre-print
File Attached
14:00 - 15:30
Embedded DSLs
Haskell
at
Kosovel
Chair(s):
James Koppel
Massachusetts Institute of Technology, USA
14:00
30m
Talk
Embedded Pattern Matching
Haskell
Trevor L. McDonell
Utrecht University
,
Joshua D. Meredith
IOHK
,
Gabriele Keller
Utrecht University
14:30
30m
Demonstration
Eiger: Auditable, executable, flexible legal regulations
Haskell
Alexander Bernauer
PricewaterhouseCoopers Switzerland
,
Richard A. Eisenberg
Jane Street
15:00
30m
Day closing
PC Chair Report
Haskell
Nadia Polikarpova
University of California at San Diego
16:00 - 17:30
Demos + Discussions
Haskell
at
Kosovel
Chair(s):
Nadia Polikarpova
University of California at San Diego
16:00
90m
Meeting
Demos
Haskell
Matthías Páll Gissurarson
Chalmers University of Technology, Sweden
,
Makoto Hamana
Gunma University, Japan
,
David Thrane Christiansen
The Haskell Foundation
,
Jesper Cockx
TU Delft
,
Lisa Vasilenko
IMDEA Software Institute
,
Orestis Melkonian
University of Edinburgh
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
Kosovel
PLMW @ ICFP
Opening Session
PLMW @ ICFP
Topics of Interest and Navigating a PhD
PLMW @ ICFP
Learning about Lean and yourself
PLMW @ ICFP
Closing Session
Thu 15 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
Kosovel
Haskell
Keynote I
Haskell
Verification
Haskell
Applications
Haskell
GHC Proposals
Fri 16 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
Kosovel
Haskell
Keynote II
Haskell
Compiler and Extensions
Haskell
Embedded DSLs
Haskell
Demos + Discussions
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
Kosovel
PLMW @ ICFP
Opening Remarks
09:00 - 09:45
PLMW @ ICFP
How to thrive as a PhD student
09:45 - 10:30
PLMW @ ICFP
Formal Methods: Theory and Practice
11:00 - 11:45
PLMW @ ICFP
Getting the Most Out of ICFP
11:45 - 12:30
PLMW @ ICFP
Introduction to Lean
14:00 - 14:45
PLMW @ ICFP
How Can I Academia When My Brain Can't Even? Mental Health in Grad Scho ...
14:45 - 15:30
PLMW @ ICFP
How to Write Papers and Give Talks That People Can Follow
16:00 - 17:30
Thu 15 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
Kosovel
Haskell
Welcome
09:20 - 09:30
Haskell
Cause and Effect(s): Towards a More Programmable Haskell
09:30 - 10:30
Haskell
Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
11:00 - 11:30
Haskell
How to Safely Use Extensionality in Liquid Haskell
11:30 - 12:00
Haskell
Liquid Proof Macros
12:00 - 12:30
Haskell
A Totally Predictable Outcome: An Investigation of Traversals of Infini ...
14:00 - 14:30
Haskell
Open Transactional Actions: Interacting with non-transactional resource ...
14:30 - 15:00
Haskell
Staging Regular Expressions with Moore Cayley Fusion
15:00 - 15:30
Haskell
GHC Proposal Presentations
16:00 - 17:30
Fri 16 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
Kosovel
Haskell
Industrial Strength Laziness: What's Next?
09:30 - 10:30
Haskell
Investigating Magic Numbers: Improving the Inlining Heuristic in the Gl ...
11:00 - 11:30
Haskell
Partial Type Constructors in Practice
11:30 - 12:00
Haskell
Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs
12:00 - 12:30
Haskell
Embedded Pattern Matching
14:00 - 14:30
Haskell
Eiger: Auditable, executable, flexible legal regulations
14:30 - 15:00
Haskell
PC Chair Report
15:00 - 15:30
Haskell
Demos
16:00 - 17:30
x
Mon 7 Oct 23:35