Logic List Mailing Archive

CfR: Constructive Mathematics Workshop celebrating the 80th birthdays of Douglas Bridges and Henri Lombardi, 10–12 September 2026, Paris (France)

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

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php