Program - ICFP 2022

Detailed Table Session Timeline Detailed Timeline

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, PragueSelect other time zone

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 programSpecify 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

08:00 - 09:00	RegistrationCatering & social at Foyer 2 +120h +48h +96h +72h All speakers speaking in the morning session should arrive early to submit the slides. We recommend that you arrive already at 8:00.

08:00 60m Registration		Registration Catering & social

10:30 - 11:00	Coffee breakCatering & social at Foyer 2 +96h +120h

10:30 30m Coffee break		Coffee break Catering & social

12:30 - 14:00	LunchCatering & social at Foyer 2 +120h +96h

12:30 90m Lunch		Lunch Catering & social

15:30 - 16:00	Coffee breakCatering & social at Foyer 2 +96h +120h

15:30 30m Coffee break		Coffee break Catering & social

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 08:50	RegistrationCatering & social at Foyer 2 If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00.

08:00 50m Registration		Registration Catering & social

08:50 - 09:00	WelcomeCatering & social at Linhart

08:50 10m Day opening		Welcome Catering & social G: Andrej Bauer University of Ljubljana

10:00 - 10:30	Coffee breakCatering & social at Foyer 2 +48h +24h

10:00 30m Coffee break		Coffee break Catering & social

12:10 - 13:40	LunchCatering & social at Foyer 2 +24h +48h

12:10 90m Lunch		Lunch Catering & social

15:20 - 15:50	Coffee breakCatering & social at Foyer 2 +48h +24h

15:20 30m Coffee break		Coffee break Catering & social

16:50 - 17:00	BreakCatering & social at Foyer 2 +48h +24h

16:50 10m Break		Break Catering & social

19:00 - 20:00	Guided tour of LjubljanaCatering & social at Kongresni trg

19:00 60m Social Event		Guided tour of Ljubljana Catering & social

20:00 - 22:00	Reception & SRC poster presentationCatering & social at Ljubljana castle

20:00 2h Social Event		Reception & SRC poster presentation Catering & social

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00	RegistrationCatering & social at Foyer 2 If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00.

08:00 60m Registration		Registration Catering & social

10:00 - 10:30	Coffee breakCatering & social at Foyer 2

10:00 30m Coffee break		Coffee break Catering & social

12:10 - 13:40	LunchCatering & social at Foyer 2

12:10 90m Lunch		Lunch Catering & social

15:20 - 15:50	CARES sessionCatering & social at E6 +18h40min

15:20 30m Social Event		CARES session Catering & social C: Gabriele Keller Utrecht University, C: Simon Peyton Jones Epic Games , C: Stephanie Weirich University of Pennsylvania

15:20 - 15:50	Coffee breakCatering & social at Foyer 2

15:20 30m Coffee break		Coffee break Catering & social

16:50 - 17:00	BreakCatering & social at Foyer 2

16:50 10m Break		Break Catering & social

18:30 - 21:00	Women@ICFP dinnerCatering & social at Gostilna Breg

18:30 2h30m Dinner		Women@ICFP Catering & social O: Anja Petković Komel TU Wien, Vienna, Austria

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00	RegistrationCatering & social at Foyer 2 If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00.

08:00 60m Registration		Registration Catering & social

10:00 - 10:30	CARES sessionCatering & social at E6

10:00 30m Social Event		CARES session Catering & social C: Gabriele Keller Utrecht University, C: Simon Peyton Jones Epic Games , C: Stephanie Weirich University of Pennsylvania

10:00 - 10:30	Coffee breakCatering & social at Foyer 2

10:00 30m Coffee break		Coffee break Catering & social

12:10 - 13:40	LunchCatering & social at Foyer 2

12:10 90m Lunch		Lunch Catering & social

15:20 - 15:50	Coffee breakCatering & social at Foyer 2

15:20 30m Coffee break		Coffee break Catering & social

16:50 - 17:00	BreakCatering & social at Foyer 2

16:50 10m Break		Break Catering & social

Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00	RegistrationCatering & social at Foyer 2

08:00 60m Registration		Registration Catering & social

09:00 - 10:30	Quantum programming languages and paradigmsPLanQC at E3 Chair(s): Robert Rand University of Chicago

09:00 40m Talk		Quantum relational Hoare logic, towards a formalization PLanQC Dominique Unruh University of Tartu
09:40 25m Talk		Type-safe (Variational) Quantum Programming in IdrisVirtual PLanQC Liliane-Joy Dandy EPFL, Ecole Polytechnique, Emmanuel Jeandel LORIA, University of Lorraine, Vladimir Zamdzhiev Inria, LORIA, Université de Lorraine File Attached
10:05 25m Talk		Quantum Programming with Data Structures PLanQC Charles Yuan MIT CSAIL, Michael Carbin MIT CSAIL File Attached

10:30 - 11:00	Coffee breakCatering & social at Foyer 2

10:30 30m Coffee break		Coffee break Catering & social

11:00 - 12:30	Hardware-aware quantum programmingPLanQC at E3 Chair(s): Kartik Singhal University of Chicago

11:00 25m Talk		Topological Quantum Programming in TED-KVirtual PLanQC Hisham Sati New York University, Abu Dhabi, Urs Schreiber New York University, Abu Dhabi File Attached
11:25 25m Talk		Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers PLanQC Raphael Seidel Fraunhofer Institute for Open Communication Systems, Sebastian Bock Fraunhofer Institute for Open Communication Systems, Nikolay Tcholtchev Fraunhofer Institute for Open Communication Systems, Manfred Hauswirth Fraunhofer Institute for Open Communication Systems, TU Berlin File Attached
11:50 40m Talk		Poster session PLanQC File Attached

12:30 - 14:00	LunchCatering & social at Foyer 2

12:30 90m Lunch		Lunch Catering & social

14:00 - 15:30	Formalization, verification, and correctnessPLanQC at E3 Chair(s): Ross Duncan Cambridge Quantum Computing

14:00 40m Talk		Invited talk: Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs PLanQC Charles Yuan MIT CSAIL
14:40 25m Talk		Analyzing quantum programs using the power of interaction PLanQC Agnes Villanyi MIT, Charles Yuan MIT CSAIL, Christopher McNally MIT RLE File Attached
15:05 25m Talk		Q: Implementing Quantum Separation Logic in F PLanQC Kesha Hietala University of Maryland, Sarah Marshall Microsoft Quantum, Robert Rand University of Chicago, Nikhil Swamy MSR Redmond File Attached

15:30 - 16:00	Coffee breakCatering & social at Foyer 2

15:30 30m Coffee break		Coffee break Catering & social

16:00 - 17:30	Synthesis and compilationPLanQC at E3 Chair(s): Amr Sabry Indiana University

16:00 25m Talk		Optimal synthesis into fixed XX interactions PLanQC Eric C. Peterson IBM Quantum, Lev S. Bishop IBM Quantum, Ali Javadi-Abhari IBM Quatum File Attached
16:25 25m Talk		Encoding High-level Quantum Programs as SZX-diagrams PLanQC Agustín Borgna Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, France, Rafael Romero Universidad de Buenos Aires, Universidad de la República File Attached
16:50 25m Talk		Adventures in Qutrit Compilation PLanQC Lia Yeh University of Oxford, John van de Wetering University of Oxford File Attached
17:15 15m Day closing		Conclusion and Group Photo PLanQC

17:30 - 20:00	Industrial receptionCatering & social at Foyer 2

17:30 2h30m Social Event		Industrial reception Catering & social

Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00	RegistrationCatering & social at Foyer 2

08:00 60m Registration		Registration Catering & social

10:30 - 11:00	Coffee breakCatering & social at Foyer 2

10:30 30m Coffee break		Coffee break Catering & social

12:30 - 14:00	OCaml Industry LunchCatering & social at E2

12:30 90m Social Event		OCaml Industry Lunch Catering & social

12:30 - 14:00	LunchCatering & social at Foyer 2

12:30 90m Lunch		Lunch Catering & social

15:30 - 16:00	Coffee breakCatering & social at Foyer 2

15:30 30m Coffee break		Coffee break Catering & social

19:00 - 21:00	OCaml & farewell receptionCatering & social at Ljubljana Zoo See event details for information on travel and free zoo entry.

19:00 2h Social Event		OCaml & farewell reception Catering & social

PLanQC 2022 Program

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tracks

Workshops

Co-hosted Symposia

PLanQC 2022 Program

Switch Program View

Program Display Configuration

Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 15 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 16 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Get Calendar (iCal)

Information for Participants

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change