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

Belgium

Bulgaria

Croatia

Czech Republic

Denmark

Estonia

Finland

France

Germany

Greece

Hungary

Iceland

Ireland

Israel

Italy

Luxembourg

Netherlands

North Macedonia

Norway

Poland

  • Type theory group at University of Warsaw (EPN)

Portugal

Romania

Serbia

Slovakia

Slovenia

  • TyDiForm, University of Ljubljana (EPN)

Spain

Sweden

Switzerland

Turkey

United Kingdom