[TYPES/announce] CfP - 3rd International Conference on Microservices (Microservices 2020)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] International Conference on Microservices: Call for Papers == Third International Conference on Microservices September 8th-10th

[TYPES/announce] 2 new postdoc positions on Frama-C at CEA Paris Saclay

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, The Software Security and Reliability Lab (LSL) at CEA Paris Saclay (France) is hiring 2 postdoc researchers who will work on Frama-C, its code analysis framework for C programs,

[TYPES/announce] Applied Category Theory 2020 - Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SECOND CALL FOR PAPERS 3rd Annual International Conference on Applied Category Theory (ACT2020) July 6 – 10, 2020 http://act2020.mit.edu * * * Applied category theory is a

[TYPES/announce] International Workshop on Confluence [IWC 2020] - 2nd CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --//////////////////////////-- Second Call For Papers 9th International Workshop on Confluence

[TYPES/announce] Update on Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] UPDATE: - HoTT/UF 2020 will take place online - Submission deadline: May 20, 2020 Details below. Best, Benedikt * Workshop on Homotopy Type Theory and Univalent Foundations July 5-6,

[TYPES/announce] Example of running a conference online BCTCS starting now

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear type theoretits, if you want to see a conference in theoretical computer science which is running fully online, you can just have a look at it, it is free via Zoom

[TYPES/announce] Two PhD positions in Utrecht

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Two PhD positions in functional programming == The

[TYPES/announce] The Coq Workshop 2020: Second Call for Talk Proposals + COVID-19 update

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** The Coq Workshop 2020: Second Call for Talk Proposals

[TYPES/announce] CFP SEFM - International Conference on Software Engineering and Formal Methods

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

[TYPES/announce] Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London, Deadline: 4 May 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Application deadline: Midnight, 04 May 2020 - Interview Date: To be confirmed - Starting date: as soon as possible, flexible due to COVID-19; remote working options can be explored. -