constructivenews

May be of interest to more philosophically minded folks from our community From: CANTU TESTA Paola

4th International Autumn School on Proof Theory Utrecht, November 7-10, 2022 http://www.proofsociety.

Dear Joan, thank you for very nice comments which clarify much of what I enquired about. Given a

FYI. While Anile Nerode research was mostly in classical (non-constructive) logic, as many of you

To show MVMP is strictly stronger than MP, note that MVMP implies the analytic version of MP for

This may be of interest to many of us -----Original Message----- From: Igor Sedlar Institute of

Thierry Coquand, professor at the University of Gothenburg in Sweden, had his 60th birthday on 18

> This is not a criticism of Bishop (or anyone): I merely wish to point out that “just doing

CALL FOR CONTRIBUTIONS: CCC 2022: Continuity, Computability, Constructivity – From Logic to

FYI, students volunteers are requested for Federated Logic Conference (Haifa, Israel, July 3-August

FYI, intuitionistic logic is one of the highlighted topics From: Alessandra Palmigiano Sent: Monday,

FYI, constructive math is one of the highlighted topics From: Zheng, Xizhong Sent: Friday, May 13,

FYI, constructive mathematics is one of the highlighted topics **************************************

Dar all, On May 12th I will give an on-line talk at the Topos Institute about a topos in which there

FYI From: acie@acie.eu Sent: Wednesday, April 27, 2022 1:42 PM CiE 2022 Call for Informal

Dear all, A reminder for all interested in the PhD openings here that the deadline is *this Friday*,

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

Dear all, I've created a Zulip group for constructive mathematics: https://constructive-maths.

Many thanks, but I thought this news made rounds already a while ago. Did the AMS make another

FYI From: Zheng, Xizhong Sent: Sunday, March 13, 2022 4:38 PM Third Call for Submissions Nineteenth

Dear constructive mathematics enthusiasts who have used or are using the Coq proof assistant, The Coq

Dear Michal, 1. Apropos your paper, 'Consistent Ultrafinitist Logic', posted by Vladik

FYI -----Original Message----- From: Michał J Gajda [mailto:mjgajda@gmail.com] Sent: Sunday, February

May be of interest to some of us From: jean-yves beziau Sent: Sunday, February 6, 2022 3:03 PM After

We are inviting applications for PhD studentships in the Theory Group [1] at the University of

FYI, constructive analysis is one of the highlighted topics From: Zheng, Xizhong [mailto:zhengx@

FYI, constructive math is one of the highlighted topics From: Johanna Franklin Sent: Monday, January

Reminder, the deadline is soon, and constructive math is one of the highlighted topics -----Original

FYI, there will be a special session on constructive math ================================ CiE 2022:

Dear Steve, > The question can be unwrapped a bit. > We are given a real s > 1/2, and seek x