CNRS, Université Paris-Saclay)
Marie-Pierre Béal (Université Gustave Eiffel)
Benno van den Berg (University of Amsterdam)
Sebastian Berndt (University of Lübeck)
Patricia Bouyer-Decitre (CNRS)
Jin-Yi Cai (University of Wisconsin-Madison)
Barbara Csima (University of Waterloo)
Gianluca Della Ve
(University of Gothenburg)
Nathalie Aubrun (CNRS, Université Paris-Saclay)
Marie-Pierre Béal (Université Gustave Eiffel)
Benno van den Berg (University of Amsterdam)
Sebastian Berndt (University of Lübeck)
Patricia Bouyer-Decitre (CNRS)
Jin-Yi Cai (University of Wisconsin-Madison)
Barbara Csima
theory and functional programming;
- Formalising mathematics using type theory;
- Homotopy type theory and univalent mathematics.
Editors
Eduardo Hermo Reyes, Formal Vindications, Spain
Benno van den Berg, Universiteit van Amsterdam, The Netherlands
Delia Kesner, Université Paris Cité, France
mathematics using type theory;
- Homotopy type theory and univalent mathematics.
Editors
Eduardo Hermo Reyes, Formal Vindications, Spain
Benno van den Berg, Universiteit van Amsterdam, The Netherlands
Delia Kesner, Université Paris Cité, France
Contact
In case of questions, contact EMAIL posttype
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[APOLOGIES FOR MULTIPLE POSTING]
Dear all,
Please find below a vacancy that might be of interest to you.
Best wishes,
Benno
===
*Two Assistant Professors in Mathematical and
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
At the University of Amsterdam we are looking for a PhD student who wants
to work on homotopy type theory (preferred starting date 1 September 2022).
The advertisement can be