[TYPES/announce] ICTAC 2023: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** Apologies for multiple copies ** -- ICTAC 2023 - Call for Participation 20th

[TYPES/announce] IJCAR 2024 --- Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** *IJCAR 2024* * ===   CALL FOR PAPERS   IJCAR 2024   The 12th International Joint Conference on Automated

[TYPES/announce] Postdoctoral fellowship at Stockholm University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Interested in doing a postdoc on logic and related topics in Stockholm? Applications are open for Sverker Lerheden postdoctoral fellowships in the Department of Mathematics at Stockholm