[TYPES/announce] 5-year Postdoc fellowship in Computer Science (PL) for Climate Science at University of Cambridge

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] More details and to apply:

[TYPES/announce] Postdoc position in automata and concurrency theory at the University of Warsaw

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications of motivated and research-focused individuals to carry out research on mathematical models of concurrent systems as part of the NCN project "Frontiers of automatic

[TYPES/announce] TYPES 23 - Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION 29th International Conference on Types for Proofs and Programs, TYPES 2023 12-17th June 2023, ETSInf, Universitat Politècnica de València, Spain

[TYPES/announce] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Second call for participation. Apologies for the multiple postings.] Autumn school "Proof and Computation" Herrsching, Germany, 10th to 16th September 2023

[TYPES/announce] TLLA 2023 : deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you receive multiple copies of this message] Dear colleagues, the deadline for TLLA 2023 (7th International Workshop on Trends in Linear Logic and Applications) that will

[TYPES/announce] Assistant Professor in Computer Science at Chalmers University of Technology

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TheComputer Science and Engineering departmentat Chalmers University of Technology, Sweden,is currently seeking applications for the (tenure track) position of *Assistant Professor in

[TYPES/announce] Three Lectureships in Computer Science at Sussex

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The School of Engineering and Informatics at the University of Sussex is appointing new academic staff in Computer Science as part of a strategy to grow and complement the current

[TYPES/announce] HoTT 2023 -- Programme and final registration

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for duplicate emails] *** HoTT 2023 *** Second International Conference on Homotopy Type Theory *** Carnegie Mellon University *** 22nd-25th May 2023 The Programme is now

[TYPES/announce] FTfJP 2023 (co-located with ECOOP/ISSTA in Seattle) Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PAPERS FTfJP 2023 25th Workshop on Formal Techniques for Java-like Programs July 18th, 2023, Seattle, WA, USA

[TYPES/announce] 2nd Call for presentations: 2023 Coq workshop

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are pleased to invite you to submit presentation proposals for the Coq Workshop 2023, which will be held in Białystok, Poland on July 31, 2023, as a satellite to the ITP conference.

[TYPES/announce] Conference in honour of Corrado Böhm

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Accademia delle Scienze di Torino organizes a Conference in honour of Corrado Böhm in occasion of the centenary of his birth. Date: May 24, 2023. For further information:

[TYPES/announce] ICFP 2023: Call for Tutorial, Panel, and Discussion Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICFP 2023 CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS 28th ACM SIGPLAN International Conference on Functional Programming September 4 - 9, 2023 Seattle, WA, USA

[TYPES/announce] [CFP] Student Research Competition (SRC) at ICFP'23

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICFP 2023 Student Research Competition Call for Submissions ICFP 2023 invites students to participate in the Student Research Competition in order to present their research and get

[TYPES/announce] Assistant Professor in Theoretical Foundations of AI at Chalmers University of Technology

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TheComputer Science and Engineering departmentat Chalmers University of Technology, Sweden,is currently seeking applications for the position of Assistant Professor in Theoretical

[TYPES/announce] LICS 2023 Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION Thirty-Eighth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) 26 June – 29 June 2023 preceded by workshops 24-25 June 2023

[TYPES/announce] DEADLINE EXTENSION — Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The extended deadline for nominations is the *30th of May 2023*. ——-- Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the