Research groups working on formal proofs in Europe
To contribute to the web site, please create a pull request or send a mail to the science communication coordinators.
Groups marked with (EPN) have members participating to EuroProofNet.
Austria
- Computational Logic Group, University of Innsbruck (EPN)
- Automated Program Reasoning, Formal Methods in Systems Engineering, TU Wien (EPN)
Belgium
- Department of Applied mathematics, computer science and statistics, Ghent University (EPN)
- Distrinet research group, Department of Computer Science University of Leuven (EPN)
- Montefiore Institute, University of Liège (EPN)
- Namur Digital Institute (NADI), University of Namur (EPN)
Bulgaria
Croatia
Czech Republic
- Automated Reasoning Group, CIIRC, CTU, Prague (EPN)
- Department of Computational Mathematics, Czech Academy of Sciences (EPN)
Denmark
- Algorithms, Logic and Graphs section, Technical University of Denmark (EPN)
- Artificial Intelligence, Cybersecurity, and Programming Languages section, University of Southern Denmark (EPN)
- Distributed, Embedded and Intelligent Systems, Aalborg University (EPN)
- Logic and Semantics group, Aarhus University (EPN)
- Programming, Logic, and Semantics group, IT University of Copenhagen (EPN)
- Software, Date, People & Society section, University of Copenhagen (EPN)
Estonia
- Logic and Semantics group, Tallinn University of Technology (EPN)
- Laboratory for Software Science, University of Tartu (EPN)
Finland
France
- Deducteam, Gif-sur-Yvette (EPN)
- Gallinette, Nantes (EPN)
- Acadie, Toulouse (EPN)
- Types, Nancy (EPN)
- VeriDis, Nancy (EPN)
- IGG, Strasbourg (EPN)
- Kairos, Sophia-Antipolis (EPN)
- Stamp, Sophia-Antipolis (EPN)
- PPS, Paris (EPN)
- Whisper, Paris (EPN)
- Méthodes, Evry (EPN)
Germany
Greece
Hungary
Iceland
Ireland
Israel
Italy
Luxembourg
Netherlands
- Theory group, LIACS (EPN)
- Mathematical & Computational Logic, ILLC, Universiteit van Amsterdam (EPN)
- Software Technology, Utrecht University (EPN)
- Programming Languages, TU Delft seminar (EPN)
- Section Software Science, ICIS, Radboud University Nijmegen seminar (EPN)
- Theoretical Computer Science, Vrije Universiteit Amsterdam seminar (EPN)
- Fundamental Computing, Bernoulli Institute, University of Groningen (EPN)
North Macedonia
Norway
Poland
-
Type theory group at University of Warsaw (EPN)
-
Mizar Group, University of Bialystok (EPN)
Portugal
Romania
Serbia
Slovakia
Slovenia
- TyDiForm, University of Ljubljana (EPN)
Spain
- Extensions of Logic Programming (EPN)
- Psycotrip - GRUPO DE INFORMÁTICA DE LA UNIVERSIDAD DE LA RIOJA (EPN)
- BCNLOGIC - Grup de Lògica de Barcelona (EPN)
- CryptULL - Grupo de Investigación Criptología (EPN)
- Models and Applications of Distributed Systems (MADS) (EPN)
- Barcelona Group on Pure and Applied Proof Theory seminar (EPN)
- Lorea: Logic and Reasoning Group (EPN)
- Formal Analysis and Design of Software Systems (FADoSS) (EPN)
- Multi-paradigm Software Technology (MiST) (EPN)
Sweden
- Stockholm Mathematical Logic Group, Stockholm University
- Programming Logic Group, Chalmers University of Technology and University of Gothenburg
Switzerland
Turkey
United Kingdom
- Algorithms, Verification and Software Research Group, Birkbeck University of London (EPN)
- Centre for Intelligent Systems, Royal Holloway University of London (EPN)
- Department of Computer Science, Swansea University (EPN)
- Dependable Systems Group, Heriot-Watt University (EPN)
- Formal Analysis, Theory & Algorithms, University of Glasgow (EPN)
- Functional Programming Lab, University of Nottingham (EPN)
- Laboratory for Foundations of Computer Science, University of Edinburgh (EPN)
- Logic Group, University of Leeds (EPN)
- Mathematically Structured Programming Group, University of Strathclyde (EPN)
- Programming, Logic, and Semantics Group, University of Cambridge (EPN)
- Software Systems group, King’s College London (EPN)
- Theory of Computation, University of Birmingham (EPN)
- Department of Computer Science, Royal Holloway, University of London