Events

Events related to the topics of the action

Past events

• SYCO-10, Edinburgh, UK, 19-20 Dec. 2022
• APLAS 2022, Auckland, New Zealand, 5-10 Dec. 2022
• Proof Society Autumn School and Workshop 2022, Utrecht, 12-17 Nov. 2022
• Agda Implementors Meeting XXXI, Edinburgh, UK, 1-7 Apr. 2020 postponed to 10-16 Nov. 2022
• Autumn School Proof and Computation 2022, Fischbachau, Germany, 26 Sept.-1 Oct. 2022
• Proofs and Formalization, Utrecht, The Netherlands, 20-22 Sept. 2022
• CLAS 2022, Tbilisi, Georgia / online, 19-30 Sept. 2022, incl. CICM 2022, ICTAC 2022, MPC 2022, PPDP 2022
• ICFP 2022, Ljubljana, Slovenia, 11-16 Sept. 2022, incl. HOPE 2022, TyDe 2022
• SYCO-9, Como, Italy, 8-9 Sept. 2022
• Thierry Coquand 60th Birthday Meeting, Gothenburg, Sweden, 24-26 Aug. 2022
• MFCS 2022, Vienna, Austria, 22-26 Aug. 2022
• FLoC 2022, Haifa, Israel, 31 July-12 Aug. 2022, incl. LICS 2022, IJCAR 2022, FSCD 2022, ITP 2022
• ACT 2022, Glasgow, UK / online, 18-22 July 2022
• 3rd School on Univalent Mathematics, Cortona, Italy, 27-31 July 2020 postponed to 17-23 July 2022
• SPLV 2022, Edinburgh, UK, 11-15 July 2022
• MFPS-XXXVIII, Ithaca, NY, USA / online, 11-13 July 2022
• ICALP 2022, Paris, France / online, 4-8 July 2022
• OPLSS 2022, Eugene, OR, USA, 20 June-2 July 2022
• TYPES 2022, Nantes, France, 20-25 June 2022
• Logic4Peace, online, 22-23 April 2022
• MGS 2022, Nottingham, UK, 10-14 April 2022
• ETAPS 2022, Munich, Germany, 2-7 April 2022
• Workshop on Polynomial Functors, online, 14-18 March 2022
• CPP 2022 and POPL 2022, Philadelphia, PA, USA / online, 16-22 January 2022
• CSL 2022, Göttingen, Germany, 14-19 January 2022 moved online
• SYCO-8, Tallinn, Estonia / online, 13-14 December 2021
• Dagstuhl Seminar Geometric Logic, Constructivisation, and Automated Theorem Proving, Dagstuhl, Germany / online, 10-15 May 2020 postponed to 21-26 Nov. 2021
• APLAS 2021, Chicago, IL, USA / online, 17-22 Oct. 2021
• Autumn School Proof and Computation 2020 Autumn School Proof and Computation 2021, Fischbachau, Germany, 20-26 Sept. 2020 moved to Herrsching, Germany, and postponed to 12-18 Sept. 2021 moved online and cut shorter to 13-14 Sept. 2021
• ICTAC 2021, Nur-Sultan, Kazakhstan,, 8-10 Sept. 2021 moved online
• PPDP 2021, Tallinn, Estonia / online , 6-8 Sept. 2021
• CALCO 2021 and MFPS XXXVII, Salzburg, Austria / online, 30 Aug.-3 Sept. 2021
• MFCS 2021, Tallinn, Estonia / online, 23-27 Aug. 2021
• ICFP 2021, Daejon, South Korea, 22-27 Aug. 2021, incl. HOPE 2021, TyDe 2021 moved online
• SPLV 2021, online, 9-13, 16-18 Aug. 2021
• CICM 2021, Timisoara, Romania, 26-31 July 2021 moved online
• Dagstuhl Seminar Scalable Handling of Effects, Dagstuhl, Germany, 26-31 July 2020 postponed to 18-23 July 2021, moved online
• FSCD 2021, Buenos Aires, Argentina, 17-24 July 2021, incl. HoTT/UF 2021, ITRS 2021 moved online
• ACT 2021, Cambridge, UK / online, 12-16 July 2021
• ICALP 2021, Glasgow, UK, 12-16 July 2021 moved online
• CADE 2021, Pittsburgh, PA, USA, 11-16 July 2021 moved online
• LICS 2021 and ITP 2021, Rome, Italy, 27 June-2 July 2021, incl. Coq 2021, LOLA 2021, TLLA 2021 moved online
• OPLSS 2021, online, 14-26 June 2021
• TYPES 2021, online, 14-19 June 2021
• Agda Implementors Meeting XXXIV, online, 7-12 June 2021
• SSFT 20202021, Atherton, CA, USA, 16-22 May 2020 postponed to 22-28 May 2021
• MGS 2021, online, 12-16 Apr. 2021
• EPIT 2020: Homotopy Type Theory, Ile d’Oléron, France, 25-29 May 2020 postponed to 19-23 Oct. 2020 postponed to 12-16 Apr. 2021, moved online
• ETAPS 2021, Luxembourg, Luxembourg, 27 March-1 Apr. 2021 moved online
• Workshop on Polynomial Functors, online, 15-19 March 2021
• CSL 2021, Ljubljana, Slovenia, 25-28 Jan. 2021 moved online
• CPP 2021 and POPL 2021, Copenhagen, Denmark, 17-22 Jan. 2021 moved online
• ICTAC 2020, Macau, 30 Nov.-4 Dec. 2020 moved online
• APLAS 2020, Fukuoka, Japan, 29 Nov.-3 Dec. 2020 moved online
• Memorial Conference for Erik Palmgren, Stockholm, Sweden, 7-8 May 2020 moved online and postponed to 19-21 Nov 2020
• Agda Implementors Meeting XXXIII, online, 12-23 Oct. 2020
• Hilbert-Bernays Summer School on Logic and Computation, online, 12-16 Oct. 2020
• FLOPS 2020, Akita, Japan, 23-25 Apr. 2020 moved online and postponed to 14-16 Sept. 2020
• PPDP 2020, Bologna, Italy, 8-10 Sept. 2020 moved online
• MFCS 2020, Prague, Czech Rep., 24-28 Aug. 2020 moved online
• ICFP 2020, Jersey City, MA, USA, 23-28 Aug. 2020, incl. HOPE 2020, TyDe 2020 moved online
• SPLV 2020, online, 3-21 Aug. 2020
• CICM 2020, Bertinoro, Italy, 26-31 July 2020 moved online
• LICS 2020 and ICALP 2020, Beijing, China, moved to Saarbrücken, Germany, 6-11 July moved online, incl. LOLA 2020 cancelled
• ACT 2020, Cambridge, MA, USA, 6-10 July 2020 moved online
• TTCS 2020, Tehran, Iran, 1-3 July 2020 moved online
• FSCD 2020 and IJCAR 2020, Paris, France, 29 June-5 July 2020, incl. Coq 2020, HoTT/UF 2020 moved online
• HoTTEST 2020, online, 15-19 June 2020
• OPLSS 2020, Eugene, OR, 29 June-11 July 2020 cancelled
• MFPS XXXVI, Paris, France, 2-6 June 2020 moved online
• Agda Implementors Meeting XXXII, online, 25 May-5 June 2020
• 4th Midwest HoTT Seminar, Columbus, OH, USA, 25-26 Apr. 2020 cancelled
• ETAPS 2020, Dublin, Ireland, 25-30 April 2020 cancelled, small substitute event held online, 2 July 2020, incl. CMCS 2020 moved online and postponed to 21, 28 Sept., 5, 12, 19 Oct. 2020, MSFP 2020 moved online and postponed to 31 Aug.-1 Sept. 2020
• SYCO-7, Tallinn, Estonia, 30-31 March 2020 cancelled
• TYPES 2020, Turin, Italy, 2-6 March 2020, incl ITRS 2020 (incl. a EUTypes WG1-4 meeting, 2-3 March) cancelled
• CPP 2020 and POPL 2020, New Orleans, USA, 19-25 Jan. 2020, incl. CoqPL 2020
• CSL 2020, Barcelona, Spain, 13-16 Jan. 2020
• Coq Andes Summer School 2020, Cajón del Maipo, Chile, 6-10 Jan. 2020
• SYCO-6, Leicester, UK, 16-17 Dec. 2019
• APLAS 2019, Bali, Indonesia, 2-4 Dec. 2019
• ICTAC 2019, Hammamet, Tunisia, 30 Oct.-6 Nov. 2019
• 3rd Midwest HoTT seminar, Ann Arbor, MI, USA, 19-20 Oct. 2019
• FM 2019, MPC 2019 and PPDP 2019, Porto, Portugal, 7-11 Oct. 2019
• Autumn School Proof and Computation 2019, Herrsching, Germany, 20-26 Sept. 2019
• Agda Implementors Meeting XXX, Munich, Germany, 11-17 Sept. 2019
• ITP 2019, Portland, OR, USA, 8-13 Sept. 2019, incl Coq 2019
• FoPSS 2019, Warsaw, Poland, 10-15 Sept. 2019
• 2nd Proof Society Summer School, Swansea, UK, 8-11 Sept. 2019
• STRINGS 2019 / SYCO-5, Birmingham, UK, 4-6 Sept. 2019
• EUTypes Summer School 2019, Ohrid, North Macedonia, 30 Aug.-4 Sept. 2019
• MFCS 2019, Aachen, Germany, 26-31 Aug. 2019
• CADE-27, Natal, Brazil, 25-30 Aug. 2019
• ICFP 2019, Berlin, Germany, 18-23 Aug. 2019, incl. TyDe 2019
• International Conference on Homotopy Type Theory, HoTT 2019, Philadelphia, PA, USA, 12-17 Aug. 2019
• 2nd Int. School on Metaprogramming, Dagstuhl, Germany, 11-16 Aug. 2019
• HoTT summer school, Philadelphia, PA, USA, 7-10 Aug. 2019
• SPLV 2019, Glasgow, UK, 5-9 Aug. 2019
• ACT 2019, Oxford, UK, 15-19 July 2019
• Martin Hofmann Memorial Meeting, München, Germany, 13 July 2019
• CICM 2019, Prague, Czech Republic, 8-12 July 2019
• ICALP 2019, Patras, Greece, 8-12 July 2019
• FSCD 2019, Dortmund, Germany, 24-30 June 2019, incl. TLLA 2019
• Summer School on Higher Topos Theory and Univalent Foundations, Leeds, UK, 24-28 June 2019
• LICS 2019, Vancouver, BC, Canada, 23-27 June 2019, incl. LFMTP 2019, LOLA 2019
• OPLSS 2019, Eugene, OR, USA, 17-29 June 2019
• TYPES 2019 and HoTT/UF 2019, Oslo, Norway, 11-14 June 2019 (incl. a EUTypes WG1-4 meeting, 11-12 June)
• CALCO 2019 and MFPS XXXV, London, UK, 3-7 June 2019
• SYCO-4, Orange, CA, USA, 22-23 May 2019
• SSFT 2019, Atherton, CA, 18-25 May 2019
• ETAPS 2019, Prague, Czech Republic, 6-11 Apr. 2019
• 2nd School and Workshop on Univalent Mathematics, Birmingham, UK, 1-5 Apr. 2019 (a EUTYPES school)
• SYCO-3, Birmingham, UK, 27-28 March 2019
• NII Shonan Meeting on Programming and Reasoning with Algebraic Effects and Effect Handlers, Shonan, Japan, 25-29 March 2019
• Agda Implementors Meeting XXIX, Tokyo, Japan, 13-19 March 2019
• CPP 2019 and POPL 2019, Cascais near Lisbon, Portugal, 13-19 Jan. 2019, incl. CoqPL 2019
• SYCO-2, Glasgow, UK, 17-18 Dec. 2018
• APLAS 2018, Wellington, New Zealand, 3-7 Dec. 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
• SYCO-1, Birmingham, UK, 20-21 Sept. 2018
• Autumn School Proof and Computation 2018, Fischbachau, Germany, 16 Sept. -22 Sept. 2018
• Vladimir Voevodsky Memorial Conference, Princeton, NJ, 11-14 Sept. 2018
• CSL 2018, Birmingham, UK, 4-7 Sept. 2018
• PPDP 2018, Frankfurt am Main, Germany, 3-6 Sept. 2018
• 1st Proof Society Summer School, Ghent, Belgium, 2-5 Sept. 2018
• Norwegian Academy of Sciences Center of Advanced Study project Homotopy Type Theory and Univalent Foundations, Oslo, Norway, 2018-2019
• MFCS 2018, Liverpool, UK, 27-31 Aug. 2018
• Dagstuhl Seminar Formalization of Mathematics in Type Theory, Dagstuhl, Germany, 19-24 Aug. 2018
• CICM 2018, Hagenberg, Austria, 13-17 Aug. 2018
• EUTypes Summer School 2018, Ohrid, FYR Macedonia, 8-12 August 2018
• OPLSS 2018, Eugene, OR, USA, 9-21 July 2018
• ICALP 2018, Prague, Czech Rep., 9-13 July 2018
• FLoC 2018, Oxford, UK, 6-19 July 2018, incl. LICS 2018, IJCAR 2018, FSCD 2018, ITP 2018, incl. HoTT/UF 2018, LFMTP 2018, MSFP 2018
• FoPSS 2018, Oxford, UK, 1-6 July 2018
• Tom Hales 60th Birthday Conference, Pittsburgh, PA, USA, 18-22 June 2018
• TYPES 2018, Braga, Portugal, 18-21 June 2018 (incl. a EUTypes WG1-4 meeting, 18-19 June)
• MFPS XXXIV, Halifax, NS, Canada, 6-9 June 2018
• Agda Implementors Meeting XXVII, Gothenburg, Sweden, 4-9 June 2018
• 4th Coq Implementor Workshop, Nice, France, 28 May-1 June 2018
• 1st Midwest HoTT seminar, London, ON, Canada, 26-27 May 2018
• SSFT 2018, Atherton, CA, USA, 21-25 May 2018
• FLOPS 2018, Nagoya, Japan, 9-11 May 2018
• HIM Trimester on Types, Sets and Constructions, Bonn, Germany, 2 May-24 Aug. 2018
• Dagstuhl Seminar Algebraic Effects Handlers Go Mainstream, Dagstuhl, Germany, 22-27 April 2018
• ETAPS 2018, Thessaloniki, Greece, 14-20 April 2018, incl. CMCS 2018
• Agda Implementors Meeting XXVI, Budapest, Hungary, 29 Jan.-3 Feb. 2018
• Winter School on Software Verification and Computer Proof, Sophia Antipolis, France, 22-26 Jan. 2018
• AMS Joint Maths. Meetings Special Session on Homotopy Type Theory, San Diego, CA, USA, 11 Jan. 2018
• CPP 2018 and POPL 2018, Los Angeles, CA, USA, 8-13 Jan. 2018, incl. CoqPL 2018
• School and Workshop on Univalent Mathematics, Birmingham, UK, 11-15 Dec. 2017
• APLAS 2017, Suzhou, China, 27-30 Nov. 2017
• NII Shonan Meeting on Enhanced Coinduction, Shonan, Japan, 13-17 Nov. 2017
• ICTAC 2017, Hanoi, Vietnam, 23-27 Oct. 2017
• PPDP 2017, Namur, Belgium, 9-12 Oct. 2017
• ITP 2017, Brasília, Brazil, 26-29 Sept. 2017
• CIRM Conference on Categories in Homotopy Theory and Rewriting, Marseille, France, 25-29 Sept. 2017
• LAP 2017, Dubrovnik, Croatia, 18-22 Sept. 2017
• TTCS 2017, Tehran, Iran, 12-14 Sept. 2017
• ICFP 2017 and FSCD 2017, Oxford, UK, 3-9 Sept. 2017, incl. HOPE 2017, TyDe 2017, HoTT/UF 2017, LFMTP 2017, TMSP (a EUTypes WG4 meeting)
• MFCS 2017, Aalborg, Denmark, 21-25 August 2017
• LC 2017 and CSL 2017, Stockholm, Sweden, 14-24 Aug. 2017
• CADE-26, Gothenburg, Sweden, 6-11 Aug. 2017
• DeepSpec Summer School, Philadelphia, PA, USA, 13-15 and 17-28 July 2017
• CICM 2017, Edinburgh, UK, 17-21 July 2017
• EUTypes Summer School 2017, Ohrid, FYR Macedonia, 10-14 July 2017'
• ICALP 2017, Warsaw, Poland, 10-14 July 2017
• Young Topologists Meeting 2017, Stockholm, Sweden, 3-7 July 2017
• Workshop/School Coinduction in Type Theory, Le Bourget-du-Lac near Chambéry, France, 3-6 July 2017
• OPLSS 2017, Eugene, OR, USA, 26 June-8 July 2017
• Big Proof, Cambridge, UK, 26 June-4 August 2017
• LICS 2017, Reykjavík, Iceland, 18-23 June 2017
• 3rd Coq Implementor Workshop, Le Croisic, France, 12-16 June 2017
• MFPS XXXIII and CALCO 2017, Ljubljana, Slovenia, 12-16 June 2017
• AMS Mathematical Research Communities Wksh. on Homotopy Type Theory, Snowbird, UT, USA, 4-10 June 2017
• FoPSS 2017, Vila Verde, Portugal, 29 May-4 June
• TYPES 2017, Budapest, Hungary, 29 May-1 June 2017 (incl. a EUTypes WG1-4 meeting, 29-30 May)
• SSFT 2017, Atherton, CA, USA, 21-26 May 2017
• NII Shonan School on Semantics of Effects, Resources and Applications, Shonan, Japan, 15-19 May 2017
• Agda Implementors Meeting XXV, Gothenburg, Sweden, 9-15 May 2017
• ETAPS 2017, Uppsala, Sweden, 22-29 April 2017
• Workshop on Syntax and Semantics of Type Theory, Ljubljana, 1-2 Feb. 2017 (back-to-back with a EUTypes MC&WG1 meeting, 30-31 Jan.)
• CPP 2017 and POPL 2017, Paris, France, 15-21 Jan. 2017, incl. CoqPL 2017 and TTT (a EUTypes WG2 meeting)
• APLAS 2016, Hanoi and Halong Bay, Vietnam, 21-25 Nov. 2016
• ICTAC 2016, Taipen, Taiwan, 24-30 Oct. 2016
• Dagstuhl Seminar on Universality of Proofs, Wadern, Germany, 16-21 Oct. 2016
• Agda Implementors Meeting XXIV, Utrecht, The Netherlands, 10-14 Oct. 2016
• LAP 2016, Dubrovnik, Croatia, 19-23 Sept. 2016
• ICFP 2016, Nara, Japan, 18-24 Sept. 2016, incl. HOPE 2016, TyDe 2016
• PPDP 2016, Edinburgh, UK, 5-7 Sept. 2016
• CSL 2016, Marseille, France, 28 Aug.-3 Sept. 2016
• ITP 2016, Nancy, France, 22-27 Aug. 2016, incl. Coq 2016
• MFCS 2016, Krakow, Poland, 22-26 Aug. 2016
• CICM 2016, Białystok, Poland, 25-29 July 2016
• ICALP 2016, Rome, Italy, 12-15 July 2016
• LICS 2016, New York, NY, USA, 5-8 July 2016
• IJCAR 2016, Coimbra, Portugal, 27 June-2 July 2016
• FSCD 2016, Porto, Portugal, 22-26 June 2016, incl. HoTT/UF 2016, LFMTP 2016
• OPLSS 2016, Eugene, OR, USA, 20 June-2 July 2016
• Coq Implementor Workshop, Sophia Antipolis, France, 30 May-3 June 2016
• TYPES 2016, Novi Sad, Serbia, 23-27 May 2016 (incl. a EUTypes WG1-4 meeting 25-26 May)
• MFPS XXXII, Pittsburgh, PA, USA, 23-26 May 2016
• SSFT 2016, Atherton, CA, USA, 22-27 May 2016
• Fields Inst. Wksh. on Homotopy Type Theory and Univalent Foundations, Toronto, ON, Canada, 16-20 May 2016
• Agda Implementors Meeting XXIII, Glasgow, UK, 20-26 April 2016
• ETAPS 2016, Eindhoven, The Netherlands, 2-8 April 2016, incl. CMCS 2018, MSFP 2016
• Dagstuhl Seminar From Theory to Practice of Algebraic Effects and Handlers, Dagstuhl, Germany, 13-18 March 2016
• FLOPS 2016, Kochi, Japan, 4-6 March 2016

Past TYPES meetings