[TYPES/announce] PhD Position in Formal Verification of Autonomous Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University is looking for PhD candidates interested in conduction research in Formal Verification of Autonomous

[TYPES/announce] SMT 2024 Third Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SMT 2024: 22nd International Workshop on Satisfiability Modulo Theories Montreal, Canada, July 22-23, 2024

[TYPES/announce] CfP - ICTCS24

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *Call for Papers *ICTCS 2024 – 25th Italian Conference on Theoretical Computer Science September 11-13, 2024, Turin, Italy website:

[TYPES/announce] Three Post-doc positions in RECIPROG project (located in France -- Lyon, Nantes and Paris)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This is an announcement for three one-year postdoctoral positions funded by the ANR ReCiProg - Reasoning on Circular proofs for Programming, to be hosted in Lyon (LIP), Nantes (LS2N,