Project activities and events


11-16 September 2022 - International Conference on Functional Programming (ICFP 2022)
ICFP 2022 took place in Ljubljana, Slovenia. Our group was actively involved in its organization:
  • Danel Ahman (student research competition co-chair)
  • Andrej Bauer (general chair)
  • Katja Berčič (student volunteer co-chair)
  • Matija Pretnar (PC member, OCaml workshop PC chair, ML workshop PC member)
  • Anja Petković Komel (virtualization chair)
  • Jure Taslak (student volunteer)
6 April 2022 – Matija Pretnar receives ETAPS 2022 Test of time award
Gordon Plotkin and Matija Pretnar received the ETAPS 2022 Test of time award for the article “Handlers of Algebraic Effects”. The ETAPS Test of Time Award, recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS.
21–25 February 2022 - “Logic and higher structures”, invited lecturer and speaker
Egbert Rijke will will be an invited lecturer at the “Logic and higher structures” conference, organized by Centre International de Rencontres Mathématiques in Marseille, France. Andrej Bauer will be a speaker at the same meeting.
11 January 2021 – Philipp Haselwarter defended his PhD thesis
“An Effective Metatheory for Type Theory”


21 December 2021 – Anja Petković Komel defended her PhD thesis
Meta-analysis of type theories with an application to the design of formal proofs
17–22 October 2021 – “Efficient Compilation of Algebraic Effect Handlers” (SPLASH 2021), contributed talk
Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers, “Efficient Compilation of Algebraic Effect Handlers”, contributed talk, ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity
13 October 2021 – Andrej Bauer receives 2022 Conant Prize
Andrej Bauer has received the 2022 AMS Levi L. Conant Prize for the article “Five stages of accepting constructive mathematics”, Bulletin of the AMS, 54 (2017), 481-498. The Levi L. Conant Prize recognizes the best expository paper published in either the Notices of the AMS or the Bulletin of the AMS in the preceding five years.
11-12 October 2021 – COST action CA20111: European Research Network on Formal Proofs, project start
Andrej Bauer and Anja Petković Komel attended the first Management Committee Meeting of the European Research Network on Formal Proofs COST network. They are the Slovenian representatives in the Management Committee. Anja Petković Komel has been elected the gender-balance coordinator.
22 August 2021 – “Higher-Order Asynchronous Effects” (HOPE 2021), contributed talk
Danel Ahman, Matija Pretnar, and Janez Radešček, “Higher-Order Asynchronous Effects”, contributed talk, Higher-Order Programming with Effects, abstract.
18–23 July 2021 – Scalable Handling of Effects, Dagstuhl Seminar 21292
Danel Ahman was one of the organizers of an on-line Dagstuhl seminar on computational effects and handlers. Andrej Bauer and Matija Pretnar participated in the seminar.
17–18 July 2021 – “Towards an Elaboration Theorem” (HoTT/UF 2021), invited talk
Anja Petković Komel, “Towards an Elaboration Theorem”, invited talk, Workshop on Homotopy Type Theory/Univalent Foundations, abstract, slides, video.
20–26 June 2021 – “The dawn of formalized mathematics” (8ECM), invited talk
Andrej Bauer, “The dawn of formalized mathematics”, invited talk, 8th European Congress of Mathematics, abstract, slides, video.
20–26 June 2021 – Mathematics in the Digital Age of Science (8ECM), minisymposium organization
Katja Berčič was one of the organisers of the minisymposium dedicated to digital representation of, improving access to and preservation of mathematical knowledge, as well as other ways of using the digital environment to benefit mathematics. She also gave a talk, “Infrastructure for mathematical data
14–18 June 2021 – “Type theories without contexts” (TYPES 2021), contributed talk
Andrej Bauer and Philipp G. Haselwarter, “Type theories without contexts”, contributed talk, 27th International Conference on Types for Proofs and Programs
14–18 June 2021 – “Equality checking for dependent type theories” (TYPES 2021), contributed talk
Andrej Bauer and Anja Petković, “Equality checking for dependent type theories”, 27th International Conference on Types for Proofs and Programs
20 May 2021 – “Contextual Categories“, online seminar
Egbert Rijke and John Cartmell organized an online seminar on contextual categories. It was attended by several dozen researchers from the international community.
12–16 April 2021 – Spring School on Homotopy Type Theory (EPIT)
Andrej Bauer and Egbert Rijke were invited lecturers at the Spring school on Homotopy type theory, organized by Ecole de Printemps d’Informatique Théorique, France.
8 April 2021 – “A higher encode decode method” (HoTTEST), invited talk
Egbert Rijke, “A higher encode decode method”, Homotopy Type Theory Electronic Seminar Talks, slides.
25–28 January 2021 – Computer Science Logic 2021, conference organization
Danel Ahman, Andrej Bauer, Katja Berčič, and Anja Petković Komel were members of the organizing team of CSL 2021 on-line conference.
17–22 January 2021 – “Asynchronous Effects” (POPL 2021), contributed talk
Danel Ahman, Matija Pretnar, “Asynchronous Effects”, 48th ACM SIGPLAN Symposium on Principles of Programming Languages, paper.