[TYPES/announce] [deadline extended] lecturer in Computational Linguistics in UCL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, The previously advertised position in the Linguistics department of University College London (UCL) has been extended to 17th of February 2023! They are recruiting a

[TYPES/announce] One PhD and Two Postdocs in Logic, Gothenburg (Sweden)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Philosophy, Linguistics, and Theory of Science at the University of Gothenburg invites applications for one PhD position and several postdocs in Logic. The PhD position

[TYPES/announce] CALCO 2023: Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = CALL FOR PAPERS: CALCO 2023 10th International Conference on Algebra and Coalgebra in Computer Science June 19-21, 2023

[TYPES/announce] QPL 2023 -- Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 20th International Conference on Quantum Physics and Logic (QPL 2023) will take place from 17 July to 21 July 2023 at the "Institut Henri Poincaré" in Paris, France. Quantum Physics and