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.

Participants

  1. Robin Adams
  2. Thorsten Altenkirch
  3. Fredrik Bakke
  4. Henning Basold
  5. Rafaël Bocquet
  6. Elisabeth Bonnevier
  7. Felix Bradley
  8. Ulrik Buchholtz
  9. Evan Cavallo
  10. Yorgo Chamoun
  11. Joshua Chen
  12. El Mehdi Cherradi
  13. Greta Coraglia
  14. Stefania Damato
  15. Tom de Jong
  16. Ivan Di Liberti
  17. Maximilian Doré
  18. Louise Dubois de Prisque
  19. Jacopo Emmenegger
  20. Thiago Felicissimo
  21. Daniel Gratzer
  22. Perry Hart
  23. Hugo Herbelin
  24. Atanas Hristov
  25. Vít Jelínek
  26. Moana Jubert
  27. Ambrus Kaposi
  28. András Kovács
  29. Nicolai Kraus
  30. Ambroise Lafont
  31. Thomas Lamiaux
  32. Yann Leray
  33. Axel Ljungström
  34. Roussanka Loukanova
  35. Christopher Mary
  36. Marija Mihova
  37. Thomas Mikhail
  38. Rasmus Møgelberg
  39. Vincent Moreau
  40. Anders Mörtberg
  41. Jacob Neumann
  42. Paige Randall North
  43. Andreas Nuyts
  44. Daniël Otten
  45. Fatih Ozkaynak
  46. Luca Pasetto
  47. Lorenzo Perticone
  48. Anja Petković Komel
  49. Josselin Poiret
  50. Stiéphen Pradal
  51. Loïc Pujet
  52. Nima Rasekh
  53. Håkon Robbestad Gylterud
  54. Gabriel Saadia
  55. Pietro Sabelli
  56. Christian Sattler
  57. Johannes Schipp von Branitz
  58. Raffael Stenzel
  59. Taichi Uemura
  60. Niccolò Veltri
  61. Niels van der Weide
  62. David Wärn
  63. Théo Winterhalter
  64. Kobe Wullaert
  65. Errol Yuksel
  66. Max Zeuner