[TYPES/announce] PhD position in Bologna

instructions are here: http://www.unibo.it/NR/rdonlyres/40B58AF2-E199-4FAF-89A0-7C617E2C212C/ 125265/Help_for_application_foreign_students1.doc Simone Martini Director of the PhD Program in CS --- Simone Martini tel: +39 051

[TYPES/announce] CfP HaPoC-4, Brno, 4-7 Octobre 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] /Second Call for Papers/ 4th International Conference on History and Philosophy of Computing https://hapoc2017.sciencesconf.org/ Masaryk University Brno 4-7 October 2017 held under the

[TYPES/announce] Last Cfp: History of Formal Methods 2019 (co-located with FM’19)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for papers: History of Formal Methods 2019 Workshop, 11th October 2019, Porto, Portugal (co-located with FM’19) We invite submissions to the HFM2019 workshop. See the website

[TYPES/announce] History and Philosophy of Computing 2021, CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] HaPoC 2021: Call for Abstracts 6th International Conference on the History and Philosophy of Computing 27-29 October 2021 ETH Turing Centre, Zurich, Switzerland Website:

[TYPES/announce] CfA: History and Philosophy of Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *HaPoP 2022* First call for Abstracts Papers on types in programming and in programming languages will be welcome /Fifth Symposium on the History and Philosophy of