7-12 Nov 2022
Utrecht, The Netherlands
4th International Autumn School on Proof Theory Utrecht, November 7-10, 2022 https://uswpt.sites.uu.nl/4th-international-autumn-school-on-proof-theory/ <https://uswpt.sites.uu.nl/4th-international-autumn-school-on-proof-theory/> Workshop on Proof Theory Utrecht, November 11-12, 2022 https://uswpt.sites.uu.nl/workshop-on-proof-theory/ <https://uswpt.sites.uu.nl/workshop-on-proof-theory/> Important dates: 5 September (extended to 10 September) 2022: Deadline Submission Contributed Workshop Talks 15 September (extended to 20 September) 2022: Notification Acceptance of Contributed Talks 14 October 2022: Early Registration Deadline 31 October 2022: Final Registration Deadline 7-10 November 2022: Autumn School 11-12 November 2022: Autumn Workshop -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam