print · source · login   

News

  • Besides the MC and WG meeting at TYPES 2018 and the summer school in Braga, 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 the 3rd year of the action (May 2018-April 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.
  • 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.
  • We are accepting STSM (short-term scientific mission) applications. The next cut-off date is 1 July 2018. See here for the conditions of the instrument and for the procedure.
  • 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.