[TYPES/announce] CFP: GandALF2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * CALL FOR PAPERS - GandALF 2021 * The

[TYPES/announce] Expression of Interest for MSCA PF on Reversible Computing @ UNIBO, Italy

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, University of Bologna (Italy) is encouraging young researchers to apply for a MSCA Postdoctoral Fellowships with University of Bologna as host institution. All information on

[TYPES/announce] Postdoc position at Cambridge in programming with equations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We have an opening in Cambridge for a researcher on the Frex project (https://www.cl.cam.ac.uk/~jdy22/projects/frex). Informal enquiries are welcome: please feel free to get in touch.

[TYPES/announce] Call for papers: HATRA (Human Aspects of Types and Reasoning Assistants)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove

[TYPES/announce] Verification Mentorship Workshop 2021: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Verification Mentoring Workshop (VMW) 2021 http://i-cav.org/2021/mentoring/ co-located online with CAV 2021 18-19th July 2021 Call for Participation Are you an undergraduate or a graduate