Homotopy Type Theory

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

Call for Participation TYPES 2024 30th International Conference on Types for Proofs and Programs

Workshop on inductive definitions An inductively defined domain is a domain whose elements may be

Dear all, Klaus von Gleissenthall and I are looking for a PhD student to develop effective and

*** Yorkshire and Midlands Category Theory Seminar *** Tuesday 16th April 2024 *** University of

COST Action CA20111 EuroProofNet Open call for Inclusive Target Conference Grants (ITCGs) Dear Action

Dear colleagues, We are looking to recruit a postdoctoral researcher to work with us at the

[Apologies for multiple postings.] Autumn school "Proof and Computation" Fischbachau,

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

Call for Contributions -- Deadline Extension TYPES 2024 30th International Conference on Types for

There are just a few days left now to register for this year's Midlands Graduate School (MGS) in

Chalmers University of Technology in Gothenburg, Sweden is hiring up to five PhD students: https://

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and Inclusive

========================================================== REGISTRATION FOR Workshop on Homotopy Type

Hi y'all, I'd like to encourage those of you working on mathematical aspects of HoTT to

Dear all, If you are a student currently looking for a PhD position in the field of HoTT, please see

****************************************************************** *** PhD Position *** A Correct-by-

https://www.cs.le.ac.uk/events/mgs2024/ The Midlands Graduate School (MGS) provides an intensive

7th International Conference on Applied Category Theory (ACT) 40th Conference on Mathematical

We are advertising several PhD positions at Nottingham which includes the Functional Programming

Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24) https://lfmtp.github.io/lfmtp-

Call for Contributions TYPES 2024 30th International Conference on Types for Proofs and Programs

CiE 2024: CALL FOR PAPERS Computability in Europe 2024 Twenty years of theoretical and practical

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

As usual, we have openings for strong graduate applicants in all areas, and I in particular welcome

Dear colleagues and friends, [Apologies for multiple postings] This is a kind reminder of the

I stumbled upon this thread a (quite bit) late, so sorry for chiming in out of the blue. But I have a

SECOND CALL FOR PAPERS Thirty-Ninth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)

7th International Conference on Applied Category Theory (ACT 2024) 40th Conference on Mathematical

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