[TYPES/announce] PhD Scholarships in cybersecurity

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] HIGHLIGHTS - Department of Computer Science of GSSI (Italy,

[TYPES/announce] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Submissions to the doctoral programme 16th Conference on Intelligent Computer Mathematics - CICM 2023 -

[TYPES/announce] WLP 2023 - Final Call for Papers (extended deadline)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 37th Workshop on (Constraint and Functional) Logic Programming (WLP) Workshop at KI2023, Berlin, Germany September 26, 2023 Workshop Website:

[TYPES/announce] QPL 2023 -- Final Call for Participation

[ 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

[TYPES/announce] IEEE VL/HCC 2023 - grad consortium deadline **extended** to July 14!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] VL/HCC 2023: IEEE Symposium on Visual Languages and Human-Centric Computing