[TYPES/announce] VMW at CAV 2023: Call for Scholarship Applications - DEADLINE EXTENSION (May 5th)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Verification Mentoring Workshop (VMW) 2023

[TYPES/announce] 5-year PhD Position in Language-based Security @ Utrecht University (Netherlands)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are pleased to announce a 5-year PhD position on Language-based Security in the Software Technology group at Utrecht University. # About the position Today, developers do not have the

[TYPES/announce] Call for Papers - TLLA 23 (7th International Workshop on Trends in Linear Logic and Applications)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Call for Papers TLLA 2023 7th International

[TYPES/announce] SMT 2023 - Final CFP - Extended Deadlines to May 5

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === SMT 2023: 20th International Workshop on Satisfiability Modulo Theories Rome, Italy, July 5-6, 2023

[TYPES/announce] POPL 2024: Call for Papers (deadline: July 11)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all Please find below the Call for Papers for the POPL 2024 conference. We would be grateful if you could help distribute this call among your networks. Many thanks Alastair

[TYPES/announce] PPDP 2023: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = PPDP 2023 Call for Papers = 25th International Symposium on Principles and Practice of Declarative Programming 22-23 October 2023,

[TYPES/announce] WiL 2023: Call for contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - --> Please feel free to forward this e-mail to interested persons! <-- Are you a woman working in

[TYPES/announce] WPTE 2023 -- second Call for Papers and deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- *** SECOND CALL FOR SUBMISSIONS   *** WPTE 2023 (affiliated to FSCD 2023 in Rome, Italy; also

[TYPES/announce] Postdoc in PL, RL, and Networking

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for a postdoctoral research associate with Wen Sun and Nate Foster at Cornell University. The successful candidate will conduct interdisciplinary research in

[TYPES/announce] GandALF 2023: 2nd Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross-postings] The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on September 18-20,

[TYPES/announce] CCC 2023 - call for contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR CONTRIBUTIONS: CCC 2023: Continuity, Computability, Constructivity – From Logic to Algorithms Research Institute for Mathematical Sciences, Kyoto University Kyoto, Japan,

[TYPES/announce] CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 37th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2024 July 8 - 12, 2024 - Enschede, The Netherlands

[TYPES/announce] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for multiple postings) NEW! Are you running late in preparing your SAS paper? No worries! Submit what you have (e.g., title and abstract) and you will have one extra week

[TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TL;DR Deadline for HOPE 2023 abstracts is on May 31, 2023. Details below. -- HOPE 2023

[TYPES/announce] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, We have an opening for a 3-year position of either research associate or research assistant at the University of Sheffield, UK. It is on a project called "Safe and secure