• In its 4th and last year (May 2019-March 2020), the action will organize the following meetings:
  • WG meeting in Oslo, 11-12 June 2019, as part of TYPES 2019
  • EUTYPES summer school 2019 in Ohrid, 30 Aug.-4 Sept. 2019
  • MC&WG meeting in Turin, 2-3 March 2020, as part of TYPES 2020 cancelled
• EUTYPES will support the 2nd School and Workshop on Univalent Mathematics in Birmingham, 1-5 Apr. 2019.
• Besides the MC&WG meeting at TYPES 2018 in Braga and the 2018 EUTYPES summer school in Ohrid, the action will organize a WG meeting in Aarhus in October 2018 and another WG meeting in Krakow in February 2019 in connection with Lambda Days 2019 in its 3rd year (May 2018-April 2019).
• We are continuously accepting Conference Grant applications. This is a new instrument in COST actions to support researchers from the so-called Inclusiveness Target Countries (= roughly Eastern Europe + Luxembourg + Portugal). See here for the conditions of this instrument and the procedure and don't hesitate to apply.
• The budget for STSMs (short-term scientific missions) has been used up, but we will reopen STSM applications should some other activities cost less than budgeted.

See here for the conditions of the instrument and for the procedure. The next cut-off date is 1 Sept. 2019, for STSMs in the period of Oct.-Dec. 2019.

• Following the success of last year, EUTYPES will hold its second summer school in Ohrid, Macedonia, 8-12 August 2018, with an excellent line-up of lecturers. Apply for a place by 20 June5 July! The number of places at the school is limited, as is the number of trainee grants we can give out.
• Vladimir Voevodsky passed away unexpectedly in the morning of September 30. Among many other great achievements, Vladimir was one of the founders of Homotopy Type Theory. He has fundamentally changed our view on type theory and inspired us with unexpected results and deep insights. Our community suffers a tremendous loss. See the obituary of the IAS and the obituary of the New York Times.
• We are now accepting Conference Grant applications. This is a new instrument in COST actions to support researchers from the so-called Inclusiveness Target Countries. See here.
• At FSCD in Oxford in Sept 2017, the EUTYPES action will organize a WG meeting on formalized security proofs.
• 10-14 July 2017, the EUTYPES action will hold a summer school in Ohrid, Macedonia. Grants are available for students whose country is involved in the action. Don't delay signing up.
• The TYPES 2017 conference will take place in Budapest 29 May-1 June 2017. 29-30 May there will be an EUTYPES MC&WG meeting. This is the first meeting of the 2nd year of the action; eCOST invitations to the meeting can only be issued once the work and budget plan has been approved, hopefully in early May.
• 26-27 April 2017 there will be a WG meeting on formalization of mathematics in Nantes. This is the last meeting during the 1st year of the action.
• A MC&WG Meeting (WG1) is going to take place in Ljubljana 30-31 Jan. 2016, together with a workshop on Syntax and Semantics of Type Theory, 1-2 Feb. 2017.