[TYPES/announce] postdoc position (6 years) in CL group in Innsbruck

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 6 year postdoc position in computational logic == The University of Innsbruck invites applications for a 6 year

[TYPES/announce] ** DEADLINE EXTENSION ** FINAL CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR PAPERS Fourth Annual International Conference on Applied Category Theory (ACT 2021) 12 - 16 July, 2021, Cambridge, United Kingdom (and online)

[TYPES/announce] Trends in linear logic and applications. Abstract: dealing may 13

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

[TYPES/announce] PPDP 2021 deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === PPDP 2021 Deadline extension === 23rd International Symposium on Principles and Practice of Declarative Programming 6–8 September

[TYPES/announce] Overlay 2021: Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** We apologize for possible cross posting *** *** CALL FOR PAPER *** OVERLAY 2021 September 22, 2021 Padova, Italy (unless held online, depending on the pandemic

[TYPES/announce] SETTA 2021: 2nd CFP updated with a special issue for STTT

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (apologies for cross-posting) SETTA 2021: Symposium on Dependable Software Engineering: Theories, Tools and Applications Institute of Software,

[TYPES/announce] 2nd Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This is the Second Call for Contributions for the (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations July 17-18, 2021, The Internet @ Buenos Aires, Argentina

[TYPES/announce] New book: Functional Algorithms, Verified!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Functional Algorithms, Verified! http://functional-algorithms-verified.org/ This book is an introduction to data structures and algorithms for functional languages, with a focus on

[TYPES/announce] [Deadline Extension] FMCAD 2021 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [One Week Deadline Extension. New dates are FIRM] Apologies for multiple postings. ** The Twenty First Formal Methods in Computer-Aided

[TYPES/announce] FMBC 2021 - Final Call for Papers (Deadline extension)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Please distribute, apologies for multiple postings. ] 3rd International Workshop on Formal Methods for

[TYPES/announce] Postdoctoral Position in Verified Security

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a 3-year postdoctoral position on *Verifiably Correct Swarm Attestation* ( https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/V038915/1) funded by the