[TYPES/announce] CiSS 2019: Circularity in Syntax & Semantics, Gothenburg (Sweden), 20-22 Nov 2019

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] First Announcement: Circularity in Syntax and Semantics 2019 20-22 November 2019, Gothenburg, Sweden http://www.cse.chalmers.se/~bahafs/CiSS2019/ - The conference is dedicat

[TYPES/announce] Postdoc in Proof Theory - University of Birmingham, UK.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research Fellow in Proof Theory - School of Computer Science, University of Birmingham, UK. The School of Computer Science at the University of Birmingham is seeking to appoint up to 2 Resea

[TYPES/announce] The Proof Theory Blog

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues, We would like to announce the launch of a new collaborative project: The Proof Theory Blog. http://prooftheory.blog/ The purpose of this blog is to give proof theorist

[TYPES/announce] TABLEAUX 2021 - Call for Papers. 6-9 September, 2021. Birmingham, UK.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TABLEAUX 2021 The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Birmingham, UK, September 6-9, 2021 Website: https://tableaux2021.org/ Sub

[TYPES/announce] TABLEAUX 2021 - 2nd Call for Papers. 6-9 September, 2021. Birmingham, UK.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TABLEAUX 2021 The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Birmingham, UK, September 6-9, 2021 Website:

[TYPES/announce] Call for Tutorials and Workshops: FroCoS 2021 & TABLEAUX 2021. 6-10 September, 2021. Birmingham, UK.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FroCoS 2021 13th International Symposium on Frontiers of Combining Systems TABLEAUX 2021 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

[TYPES/announce] TABLEAUX 2021 – Final Call for Papers. **Extended deadlines**. 6-9 September, 2021. Birmingham, UK.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TABLEAUX 2021 The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Birmingham, UK, September 6-9, 2021 Website:

[TYPES/announce] PhD position: Proof Theory and Algebra of Fixed Points. Birmingham, UK and Melbourne, Australia. Deadline: **16 July**

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, I have a PhD opportunity available, co-supervised by Daniel Murfet, at the University of Birmingham (UoB), UK, and the University of Melbourne (UoM), Australia. Please en