Quatre-vingts, 10-12 September 2026: a workshop on constructive mathematics dedicated to Douglas Bridges and Henri Lombardi

"Hugo Herbelin" ([email protected] via agda Mailing List) <[email protected]>
Newsgroups gmane.comp.lang.agda,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory
Message-ID <[email protected]> 
Dear all,

We are pleased to announce a workshop on constructive mathematics
celebrating the 80th birthdays of Douglas Bridges and Henri Lombardi.
It is organised 10-12 September on the campus Grands Moulins of
Université Paris Cité. For more details see:

   http://herbelin.xyz/cmblparis26

Registration is free but mandatory, and open until September 1st (see
website).

Best regards,

On behalf of the scientific and organising committees
Hugo Herbelin
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.