print · source · login   

Events

Events related to the topics of the action

Upcoming events

  • International Conference on Homotopy Type Theory, HoTT 2019, Philadelphia, PA, USA, 11-16 Aug. 2019
  • HoTT summer school, Philadelphia, PA, USA, 7-10 Aug. 2019
  • Workshop on Homotopy Type Theory, Oslo, Norway, 12-14 June 2019
  • TYPES 2019, Oslo, Norway, 10-13 June 2019
  • CPP 2019 and POPL 2019, Cascais near Lisbon, Portugal, 13-19 Jan. 2019
  • APLAS 2018, Wellington, New Zealand, 3-7 December 2018
  • Agda Implementors Meeting XXVIII, Nottingham, UK, 15-20 Oct. 2018
  • ICTAC 2018, Stellenbosch, South Africa, 12-19 Oct. 2018
  • LAP 2018, Dubrovnik, Croatia, 24-28 Sept. 2018
  • ICFP 2018, St Louis, MO, USA, 23-29 Sept. 2018, incl. HOPE 2018, TyDe 2018

Past events