European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

Workshop group photo

Overview

  • Dates: Fri 20–Sat 21 May 2022
  • Location: Stockholm University, Dept. of Mathematics (department website, map)

The workshop will bring together researchers on the topics of working group 6, to share recent results, and co-ordinate future research, including collaboration towards deliverables.

The programme will consist primarily of short talks, with plenty of time for discussion. On the Sunday after the workshop, there will be an informal social excursion to Skansen.

Programme

Full schedule and abstracts

Invited speakers:

  • Andrej Bauer (University of Ljubljana, Slovenia)
  • Ivan Di Liberti (Stockholm University, Sweden)
  • András Kovács (Eötvös Loránd University, Hungary)
  • Anja Petković Komel (TU Wien, Austria)
  • Jonathan Sterling (Aarhus University, Denmark)
  • Taichi Uemura (Stockholm University, Sweden)
  • Théo Winterhalter (Max Planck Institute for Security and Privacy, Germany)

42 Participants

  • Robin Adams (Chalmers University of Technology, Sweden)
  • Benedikt Ahrens (Delft University of Technology, Netherlands)
  • Steve Awodey (Carnegie Mellon University, USA)
  • Henning Basold (Leiden University, Netherlands)
  • Andrej Bauer (University of Ljubljana, Slovenia)
  • Elisabeth Bonnevier (University of Bergen, Norway)
  • Evan Cavallo (Stockholm University, Sweden)
  • Felix Cherubini (University of Gothenburg, Sweden)
  • Ivan Di Liberti (Stockholm University, Sweden)
  • Maximilian Doré (University of Oxford, UK)
  • Jacopo Emmenegger (Universita’ di Genova, Italy)
  • Jonas Frey (Carnegie Mellon University, USA)
  • Daniel Gratzer (Aarhus University, Denmark)
  • Håkon Gylterud (University of Bergen, Norway)
  • Matthias Hutzler (University of Gothenburg, Sweden)
  • András Kovács (Eötvös Loránd University, Hungary)
  • Thomas Lamiaux (Stockholm University, Sweden)
  • Michael Lindgren (Stockholm University, Sweden)
  • Axel Ljungström (Stockholm University, Sweden)
  • Peter LeFanu Lumsdaine (Stockholm University, Sweden)
  • Kenji Maillard (Inria Rennes - Bretagne Atlantique, France)
  • Per Martin-Löf (Stockholm University, Sweden)
  • Paul-Andre Mellies (CNRS, Université Paris Cité, France)
  • Rasmus Møgelberg (IT University of Copenhagen, Denmark)
  • Anna Giulia Montaruli (Stockholm University, Sweden)
  • Anders Mörtberg (Stockholm University, Sweden)
  • Paige North (University of Pennsylvania, USA)
  • Ján Perháč (Technical University of Košice, Slovak Republic)
  • Anja Petković Komel (TU Wien, Austria)
  • Iosif Petrakis (Ludwig-Maximilians-Universität München, Germany)
  • Christian Sattler Chalmers University of Technology
  • Sergei Soloviev (IRIT, University of Toulouse, France)
  • Matteo Spadetto (University of Leeds, UK)
  • Raffael Stenzel (Masaryk University, Czech Republic)
  • Jonathan Sterling (Aarhus University, Denmark)
  • Taichi Uemura (Stockholm University, Sweden)
  • Niels Van der Weide (Radboud University, Netherlands)
  • David Wärn (University of Gothenburg, Sweden)
  • Théo Winterhalter (Max Planck Institute for Security and Privacy, Germany)
  • Errol Yuksel (Stockholm University, Sweden)
  • Max Zeuner (Stockholm University, Sweden)
  • Colin Zwanziger (Czech Academy of Sciences, Czech Republic)

Registration

Registration is closed.

Reimbursement for those who applied for funding

See the reimbursement rules.