Groups

Univalent Mathematics

1–30 of 149

Welcome to the mailing list of the UniMath project.
Feel free to ask questions and post comments about the UniMath library of formalized mathematics.

0 selected

Oct 24

Workshop for Martín Escardó's 60th, Birmingham, 17-18 Dec

Dear all, In celebration of Martín Escardó's 60th birthday this year, we are pleased to announce

unread,

Workshop for Martín Escardó's 60th, Birmingham, 17-18 Dec

Dear all, In celebration of Martín Escardó's 60th birthday this year, we are pleased to announce

Oct 24

Jul 7

Postdoc positions in type theory, closing date: 25 July

Dear all, I would like to invite applications for two postdoctoral positions in homotopy type theory

unread,

Postdoc positions in type theory, closing date: 25 July

Dear all, I would like to invite applications for two postdoctoral positions in homotopy type theory

Jul 7

Mar 20

CfR: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2025)

========================================================== * Registration deadline: Friday 28 March *

unread,

CfR: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2025)

========================================================== * Registration deadline: Friday 28 March *

Mar 20

Anders Mortberg

Mar 19

PhD positions at Stockholm University (deadline April 22)

Dear all, We are hiring PhD students in Computational Mathematics and Mathematics at Stockholm

unread,

PhD positions at Stockholm University (deadline April 22)

Dear all, We are hiring PhD students in Computational Mathematics and Mathematics at Stockholm

Mar 19

Jonathan Weinberger

Jan 24

Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)

======================================== Call for Participation and Contributions North American ASL

unread,

Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)

======================================== Call for Participation and Contributions North American ASL

Jan 24

Jan 15

Workshop on Homotopy Type Theory and Univalent Foundations (final call)

========================================================== FINAL CALL FOR CONTRIBUTIONS AND

unread,

Workshop on Homotopy Type Theory and Univalent Foundations (final call)

========================================================== FINAL CALL FOR CONTRIBUTIONS AND

Jan 15

Société de Calcul Mathématique SA

Jan 6

Achat groupé de livres scientifiques

Achat groupé de livres scientifiques͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌

unread,

Achat groupé de livres scientifiques

Achat groupé de livres scientifiques͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌

Jan 6

12/16/24

Workshop on Homotopy Type Theory and Univalent Foundations

========================================================== 2ND CALL FOR CONTRIBUTIONS AND

unread,

Workshop on Homotopy Type Theory and Univalent Foundations

========================================================== 2ND CALL FOR CONTRIBUTIONS AND

12/16/24

Jonathan Weinberger

12/1/24

(Post-)Doctoral Positions at Chapman U

Chapman University in Orange, California, USA, is hiring doctoral students and postdoctoral fellows

unread,

(Post-)Doctoral Positions at Chapman U

Chapman University in Orange, California, USA, is hiring doctoral students and postdoctoral fellows

12/1/24

Société de Calcul Mathématique SA

11/27/24

Mathematics : Three new books from SCM SA, Paris

Mathematics : Three new books from SCM SA, Paris͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌

unread,

Mathematics : Three new books from SCM SA, Paris

Mathematics : Three new books from SCM SA, Paris͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌

11/27/24

Société de Calcul Mathématique SA

11/25/24

Formation organisée par Atenee et la SCM : méthodes probabilistes pour l'environnement

Formation organisée par Atenee et la SCM : méthodes probabilistes pour l'environnement͏‌ ͏‌ ͏‌ ͏‌

unread,

Formation organisée par Atenee et la SCM : méthodes probabilistes pour l'environnement

Formation organisée par Atenee et la SCM : méthodes probabilistes pour l'environnement͏‌ ͏‌ ͏‌ ͏‌

11/25/24

11/15/24

PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK)

Dear all, I have two PhD and two postdoc positions available. The default starting date would be Oct

unread,

PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK)

Dear all, I have two PhD and two postdoc positions available. The default starting date would be Oct

11/15/24

11/15/24

Workshop on Homotopy Type Theory and Univalent Foundations

========================================================== 1ST CALL FOR CONTRIBUTIONS AND

unread,

Workshop on Homotopy Type Theory and Univalent Foundations

========================================================== 1ST CALL FOR CONTRIBUTIONS AND

11/15/24

Société de Calcul Mathématique SA

10/30/24

Nouvelle édition Archimède : Oeuvres choisies - Edition "Laurent le Magnifique"

Nouvelle édition Archimède : Oeuvres choisies - Edition "Laurent le Magnifique"͏‌ ͏‌ ͏‌ ͏‌

unread,

Nouvelle édition Archimède : Oeuvres choisies - Edition "Laurent le Magnifique"

Nouvelle édition Archimède : Oeuvres choisies - Edition "Laurent le Magnifique"͏‌ ͏‌ ͏‌ ͏‌

10/30/24

Société de Calcul Mathématique SA

9/19/24

Mathematics : Three new books from SCM SA, Paris

Mathematics : Three new books from SCM SA, Paris͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌

unread,

Mathematics : Three new books from SCM SA, Paris

Mathematics : Three new books from SCM SA, Paris͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌

9/19/24

7/1/24

Free online participation in MSFP, 8th July 2024

I'm delighted to announce that there is free best-effort online participation in the Tenth

unread,

Free online participation in MSFP, 8th July 2024

I'm delighted to announce that there is free best-effort online participation in the Tenth

7/1/24

5/12/24

MSFP 2024 deadline extension: Tuesday 28th May

We extended the submission deadline to Tuesday 28th May in case you missed it. :-) Jeremy and Favonia

unread,

MSFP 2024 deadline extension: Tuesday 28th May

We extended the submission deadline to Tuesday 28th May in case you missed it. :-) Jeremy and Favonia

5/12/24

4/26/24

Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)

This is a gentle reminder about the upcoming paper submission deadline for MSFP 2024: Tuesday 30th

unread,

Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)

This is a gentle reminder about the upcoming paper submission deadline for MSFP 2024: Tuesday 30th

4/26/24

Kadu, Sanad Dilip

4/25/24

unread,

4/25/24

4/22/24

School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024

We are pleased to announce the School on Univalent Mathematics 2024 to be held at the University of

unread,

School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024

We are pleased to announce the School on Univalent Mathematics 2024 to be held at the University of

4/22/24

3/15/24

PhD positions in Tallinn (Logic and Semantics)

The Logic and Semantics Group at the Department of Software Science of the Tallinn University of

unread,

PhD positions in Tallinn (Logic and Semantics)

The Logic and Semantics Group at the Department of Software Science of the Tallinn University of

3/15/24

3/7/24

MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)

Tenth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 8th July 2024, Tallinn,

unread,

MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)

Tenth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 8th July 2024, Tallinn,

3/7/24

1/16/24

HoTT/UF 2024: Final Call for Contributions and Participation

========================================================== FINAL CALL FOR CONTRIBUTIONS AND

unread,

HoTT/UF 2024: Final Call for Contributions and Participation

========================================================== FINAL CALL FOR CONTRIBUTIONS AND

1/16/24

Société de Calcul Mathématique SA

1/10/24

New books: Simple Random Walks in the Plane & Archimedes' Modern Works

New books: Simple Random Walks in the Plane & Archimedes' Modern Works͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌

unread,

New books: Simple Random Walks in the Plane & Archimedes' Modern Works

New books: Simple Random Walks in the Plane & Archimedes' Modern Works͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌ ͏‌

1/10/24

12/23/23

HoTT/UF 2024: Second Call for Contributions and Participation

========================================================== 2ND CALL FOR CONTRIBUTIONS AND

unread,

HoTT/UF 2024: Second Call for Contributions and Participation

========================================================== 2ND CALL FOR CONTRIBUTIONS AND

12/23/23

11/22/23

HoTT/UF 2024: First Call for Contributions and Participation

========================================================== 1ST CALL FOR CONTRIBUTIONS AND

unread,

HoTT/UF 2024: First Call for Contributions and Participation

========================================================== 1ST CALL FOR CONTRIBUTIONS AND

11/22/23

Benedikt Ahrens

6/30/23

1st CFP - CPP 2024 - Certified Programs and Proofs

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical

unread,

1st CFP - CPP 2024 - Certified Programs and Proofs

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical

6/30/23

5/26/23

Deadline Extension: CfP 2023 Coq workshop, May 30th

IMPORTANT: We are extending the deadline for submission to the Coq workshop to May 30th, AoE (

unread,

Deadline Extension: CfP 2023 Coq workshop, May 30th

IMPORTANT: We are extending the deadline for submission to the Coq workshop to May 30th, AoE (

5/26/23

5/16/23

2nd Call for presentations: 2023 Coq workshop

We are pleased to invite you to submit presentation proposals for the Coq Workshop 2023, which will

unread,

2nd Call for presentations: 2023 Coq workshop

We are pleased to invite you to submit presentation proposals for the Coq Workshop 2023, which will

5/16/23

xcjs...@msn.com

5/10/23

Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023

[Second call for participation. Apologies for the multiple postings.] Autumn school "Proof and

unread,

Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023

[Second call for participation. Apologies for the multiple postings.] Autumn school "Proof and

5/10/23

Search

Clear search

Close search

Google apps

Main menu