[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

[TYPES/announce] Final call for participation (Deadline Friday 13 May): Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] As previously announced, we are organizing an in-person workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022. Details can be found at:

[TYPES/announce] Reminder: Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21 (contributed talk and funding deadline Monday 11 April)

nce-and-inclusiveness/__;!!IBzWLUs!COIgzJXLn4eOcvtnmpH5Sq0RZksu0_Yqbr78KvPPwz79F3QQtmZKyQhuOZetgXOgiFY0neYsVymNnw$ >). Best, Anders On Sun, Mar 27, 2022 at 6:27 PM Anders Mortberg wrote: > We are organizing a workshop on Syntax and Semantics of Type Theories in > Stockholm, Sweden, on May 20-21, 202

[TYPES/announce] Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are organizing a workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022:

[TYPES/announce] Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week

://www.math.su.se/english/research__;!!IBzWLUs!DtuZsNTodN62rcs7_yEB1aKIn1Xx8dTk9UiLbqd1uYMpxjvbcYqcbVS_QBUW8oYrJdHrxn-xPny4KA$ Once again, please get in touch with me if you have any questions about the position or application process! Best, Anders On Mon, Sep 6, 2021 at 1:43 PM Anders Mortberg

[TYPES/announce] Postdoctoral position in homotopy type theory and related topics at Stockholm University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I’m pleased to announce that we’re hiring a postdoctoral researcher in homotopy type theory and related topics at Stockholm University. It’s a 2 year position, provisionally

[TYPES/announce] Second CFP - Mathematical Logic and Constructivity (MLoC) 2019 : The Scope and Limits of Neutral

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Second Call for Participation and Contributed Papers = Mathematical Logic and

[TYPES/announce] PhD position in Computational Mathematics at Stockholm University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Mathematics at Stockholm University invites applications for a PhD position in Computational Mathematics. A prospective student will have the opportunity to engage in

[TYPES/announce] Final Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == FINAL CALL FOR CONTRIBUTIONS Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF, at FLoC 2018)

[TYPES/announce] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 2nd CALL FOR CONTRIBUTIONS Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF, at FLoC 2018)

[TYPES/announce] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR CONTRIBUTIONS Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF, at FLoC 2018)

[TYPES/announce] Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Open call for papers for a Special Issue of Mathematical Structures in Computer Science in association with the

[TYPES/announce] Call for Participation: Workshop on HoTT/UF (with FSCD 2017)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF, at FSCD 2017) September 8-9, 2017,

[TYPES/announce] 2nd Call for Contributions and Participation: Workshop on HoTT/UF (with FSCD 2017)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR CONTRIBUTIONS AND PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF, at FSCD 2017)