[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] CfP: International Symposium on Database Programming Languages (DBPL 2021) @ VLDB 2021

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** 2nd CALL FOR PAPERS The 18th International Symposium on Database Programming Languages (DBPL 2021) In

[TYPES/announce] IFL2021 First call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] IFL 2021 33rd Symposium on Implementation and Application of Functional

[TYPES/announce] Faculty position at UCL, London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Open position at UCL: Lecturer or Associate Professor, Programming Principles, Logic, and Verification (PPLV). The Department of Computer Science at University College London (UCL,

[TYPES/announce] Research position at UCL, London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research position at UCL, London: Research Fellow in Programming Principles, Logic, and Verification: Systems Security Modelling The PPLV group conducts world-leading research in