[TYPES/announce] PhD and postdoc positions in security and privacy at Chalmers University of Technology

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Chalmers University of Technology invites applications for PhD and postdoc positions in security and privacy. The PhD students and postdoc will join a high-profile group of researchers on

[TYPES/announce] Call for Papers: PACMPL issue ICFP 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PACMPL Volume 6, Issue ICFP 2022 Call for Papers Accepted papers to be invited for presentation at The 27th ACM SIGPLAN International

[TYPES/announce] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION 22nd Midlands Graduate School (MGS'22) in the Foundations of Computing Science 10-14 April 2022, Nottingham (UK)

[TYPES/announce] CFP - Symposium on the History and Philosophy of Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, I would like to invite you to submit abstracts to the Symposium on the History and Philosophy of Programming, taking place in Lille (and online) on 13 June. This is a fifth

[TYPES/announce] Formal Verification: Postdoc and PhD Positions available at University of Stuttgart, Germany

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Institute of Information Security at University of Stuttgart offers fully-funded Postdoc and PhD positions in formal verification. Successful candidates are expected to carry out

[TYPES/announce] FORMATS'22: second call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FORMATS 2022: SECOND CALL FOR PAPERS 20th International Conference on Formal Modeling and Analysis of Timed Systems

[TYPES/announce] [TFP'22] final call for papers: Trends in Functional Programming 2022 (deadline March 7 2022)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TFP 2022 = == Final Call For Papers == ==  registration opened  == === 23rd

[TYPES/announce] ACKERMANN AWARD 2022: CALL FOR NOMINATIONS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACKERMANN AWARD 2022 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Nominations are now invited for the 2022 Ackermann Award. PhD

[TYPES/announce] postdoc position, University of Warsaw

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in automata theory, University of Warsaw ** - Application deadline: March 31, 2022 - Starting date:

[TYPES/announce] PhD position, University of Warsaw

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PhD position in concurrency theory, University of Warsaw ** Fully-Funded 4-year Ph.D. position in automata theory

[TYPES/announce] CONCUR 2022: 2nd CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CONCUR 2022: second call for papers == September 13-16, 2022 at the University of Warsaw, Poland Website: