Action Meetings

Past meetings

• MC&WG meeting in Turin, 2-3 March 2020, as part of TYPES 2020 cancelled
• EUTYPES summer school 2019 in Ohrid, 30 Aug.-4 Sept. 2019
• WG meeting in Oslo, 11-12 June 2019, as part of TYPES 2019
• 2nd School and Workshop on Univalent Mathematics, Birmingham, 1-5 Apr. 2019 (a EUTYPES school)
• WG meeting in Krakow, 23-24 February 2019, in connection with Lambda Days 2019
• WG meetings in Aarhus, 8-9 October 2018
• EUTypes summer school 2018 in Ohrid, 8-12 August 2018
• MC&WG meeting in Braga, 18-19 June 2018, as part of TYPES 2018
• WG meeting in Nijmegen, 22-24 Jan. 2018
• WG meeting in Oxford: Trends in Mechanized Security Proofs (TMSP), 3 September 2017
• EUTYPES summer school 2017 in Ohrid, 10-14 July 2017
• MC&WG meeting in Budapest, 29-30 May 2017, as part of TYPES 2017
• WG meeting in Nantes: Foundations for the Practical Formalization of Mathematics (FPFM), 26-27 April 2017
• MC&WG meeting in Ljubljana, 30-31 Jan. 2017, in connection with SSTT (1-2 Feb.)
• WG meeting in Paris: Type-Theoretic Tools (TTT), 15 Jan. 2017, in connection with CPP 2017 and POPL 2017
• WG meeting in Lisbon, 5-6 Oct. 2016, colocated with COST action BETTY final meeting
• WG meeting in Novi Sad, 25-26 May 2016, as part of TYPES 2016
• Administrative kick-off meeting in Brussels, 21 March 2016