[ 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 Unive
[ 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:
https://urldefense.c
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
[ 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:
https://urldefense.com/v3/__https://europroofnet.github.io/wg6-kickoff-stockho
e.com/v3/__https://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 P
[ 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 starti
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Department of Mathematics at Stockholm University invites
applications for PhD positions in Computational Mathematics. A
prospective student will have the opportunity to engage in excitin
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=
Second Call for Participation and Contributed Papers
=
Mathematical Logic and Cons
[ 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 exciti
[ 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)
[ 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)
==
[ 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)
==
[ 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 workshops
[ 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, Oxfor
[ 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)
15 matches
Mail list logo