[TYPES/announce] 28th WoLLIC 2022 - First Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2022 28th Workshop on Logic, Language, Information and Computation September 20 to 23, 2022 Iași, Romania

[TYPES/announce] 10 PhD studentships in Nottingham

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, The School of Computer Science at the University of Nottingham in the UK is seeking applications for 10 fully-funded PhD studentships:

[TYPES/announce] 1+2 Assistant positions at Chalmers on ICT and Basic Science

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, Chalmers has now opened 11 tenured Assistant professor positions

[TYPES/announce] Postdoc Position on Verification of Concurrent Systems via Model Learning, Royal Holloway University of London -- Application deadline 9 Jan 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Application deadline: Midnight, 9 Jan 2022 - Starting date: As soon as possible - Salary: £35,931-£37,979 - Duration: until February 2023 Applications are invited for the post of

[TYPES/announce] Postdoc position in quantum formal verification @ Université Paris-Saclay, CEA List, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The emerging quantum software group @ CEA List, Université Paris-Saclay, offers a two years fully-funded postdoctoral position at the crossroad of quantum programming, program analysis and

[TYPES/announce] SYCO 8 - Final Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION EIGHTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 8) In person at Tallinn University of Technology,

[TYPES/announce] FORMATS 2022: first call for papers

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

[TYPES/announce] Rust Verification Workshop at ETAPS 2022: Call for Talk and Demo Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Talk, Demo, and Challenge Proposals 2nd Rust Verification Workshop Co-located with ETAPS 2022 Munich Sunday, April 03, 2022