Groups
Sign in
Groups
constructivenews
Conversations
About
Send feedback
Help
constructivenews
Contact owners and managers
1–30 of 522
Mark all as read
Report group
0 selected
Paul Taylor
Apr 25
online seminar tomorrow: Free Algebras for functors
Free Algebras for functors, with not an ordinal in sight Paul Taylor Friday 26 April 2024, 11am BST (
unread,
online seminar tomorrow: Free Algebras for functors
Free Algebras for functors, with not an ordinal in sight Paul Taylor Friday 26 April 2024, 11am BST (
Apr 25
andrej...@andrej.com
Apr 2
The countable reals
Dear friends, James Hanson and I have finally publish a preprint “The Countable Reals”: https://arxiv
unread,
The countable reals
Dear friends, James Hanson and I have finally publish a preprint “The Countable Reals”: https://arxiv
Apr 2
Douglas Bridges
Mar 17
Fwd: Re: Fw: [mathfaculty] Sad news re: Fred Richman
---------- Forwarded message ---------- From: Robert Lubarsky <rlub...@fau.edu> Date: 17 Mar
unread,
Fwd: Re: Fw: [mathfaculty] Sad news re: Fred Richman
---------- Forwarded message ---------- From: Robert Lubarsky <rlub...@fau.edu> Date: 17 Mar
Mar 17
Chuangjie Xu
,
Kreinovich, Vladik
2
Mar 12
Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024
FYI -----Original Message----- From: x...@math.lmu.de Sent: Monday, March 11, 2024 9:59 PM Subject: [
unread,
Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024
FYI -----Original Message----- From: x...@math.lmu.de Sent: Monday, March 11, 2024 9:59 PM Subject: [
Mar 12
Kreinovich, Vladik
Mar 5
RE: CCA 2024: First call for submissions
FYI, computable analysis is one of the highlighted topics -----Original Message----- From: Vasco
unread,
RE: CCA 2024: First call for submissions
FYI, computable analysis is one of the highlighted topics -----Original Message----- From: Vasco
Mar 5
Kreinovich, Vladik
Mar 5
RE: Joint CFP NLS and SLSS 2024
FYI, constructivism is one of the highlighted topics From: Antonios Achilleos Sent: Tuesday, March 5,
unread,
RE: Joint CFP NLS and SLSS 2024
FYI, constructivism is one of the highlighted topics From: Antonios Achilleos Sent: Tuesday, March 5,
Mar 5
Tom de Jong
Mar 4
Midlands Graduate School (MGS): Registration closing soon
There are just a few days left now to register for this year's Midlands Graduate School (MGS) in
unread,
Midlands Graduate School (MGS): Registration closing soon
There are just a few days left now to register for this year's Midlands Graduate School (MGS) in
Mar 4
Kreinovich, Vladik
Mar 3
RE: Extended Deadlines, Final Call for Papers -- ESSLLI 2024 Student Session
FYI, for students doing research in constructive logic(s) From: Cosmo Francesco Sent: Sunday, March 3
unread,
RE: Extended Deadlines, Final Call for Papers -- ESSLLI 2024 Student Session
FYI, for students doing research in constructive logic(s) From: Cosmo Francesco Sent: Sunday, March 3
Mar 3
Bahareh Afshari
Feb 28
Logic Colloquium 2024, Gothenburg, 24-28 June 2024
Registration open Contributed talks deadline extended Student travel grants deadline approaching
unread,
Logic Colloquium 2024, Gothenburg, 24-28 June 2024
Registration open Contributed talks deadline extended Student travel grants deadline approaching
Feb 28
Kreinovich, Vladik
Feb 12
RE: CiE 2024: CALL FOR PAPERS [Deadline Extension]
FYI From: Lorenzo Galeotti CiE 2024: CALL FOR PAPERS [Deadline Extension] Computability in Europe
unread,
RE: CiE 2024: CALL FOR PAPERS [Deadline Extension]
FYI From: Lorenzo Galeotti CiE 2024: CALL FOR PAPERS [Deadline Extension] Computability in Europe
Feb 12
Martin Escardo
Feb 12
MGS'2024 (Midlands Graduate School)
https://www.cs.le.ac.uk/events/mgs2024/ The Midlands Graduate School (MGS) provides an intensive
unread,
MGS'2024 (Midlands Graduate School)
https://www.cs.le.ac.uk/events/mgs2024/ The Midlands Graduate School (MGS) provides an intensive
Feb 12
Benno van den Berg
Jan 24
CiE 2024: Final call for papers
CiE 2024: CALL FOR PAPERS Computability in Europe 2024 Twenty years of theoretical and practical
unread,
CiE 2024: Final call for papers
CiE 2024: CALL FOR PAPERS Computability in Europe 2024 Twenty years of theoretical and practical
Jan 24
Nicola Gambino
Jan 8
MSCS Special Issue on Homotopy Type Theory: approaching deadline
Dear colleagues and friends, [Apologies for multiple postings] This is a kind reminder of the
unread,
MSCS Special Issue on Homotopy Type Theory: approaching deadline
Dear colleagues and friends, [Apologies for multiple postings] This is a kind reminder of the
Jan 8
Bahareh Afshari
11/24/23
CFC: Logic Colloquium 2024, Gothenburg, 24-28 June 2024
Call for Contributions Logic Colloquium 2024 Gothenburg, Sweden 24-28 June 2024 web: lc2024.se
unread,
CFC: Logic Colloquium 2024, Gothenburg, 24-28 June 2024
Call for Contributions Logic Colloquium 2024 Gothenburg, Sweden 24-28 June 2024 web: lc2024.se
11/24/23
Bahareh Afshari
11/24/23
CiE 2024: CALL FOR PAPERS
Computability in Europe 2024 Twenty years of theoretical and practical synergies Amsterdam, The
unread,
CiE 2024: CALL FOR PAPERS
Computability in Europe 2024 Twenty years of theoretical and practical synergies Amsterdam, The
11/24/23
Benno van den Berg
10/5/23
Call for Papers: TYPES 2023 post-proceedings
[APOLOGIES FOR MULTIPLE POSTINGS] TYPES is a major forum for the presentation of research on all
unread,
Call for Papers: TYPES 2023 post-proceedings
[APOLOGIES FOR MULTIPLE POSTINGS] TYPES is a major forum for the presentation of research on all
10/5/23
Henri Lombardi
9/19/23
some classical results in Commutative Algebra: constructive versions should be welcome
unread,
some classical results in Commutative Algebra: constructive versions should be welcome
9/19/23
Nicola Gambino
9/19/23
Lectureship in Pure Mathematics - University of Manchester
Dear colleagues and friends, I am writing to let you know that the Department of Mathematics of the
unread,
Lectureship in Pure Mathematics - University of Manchester
Dear colleagues and friends, I am writing to let you know that the Department of Mathematics of the
9/19/23
Martin Escardo
9/18/23
Faculty positions at the Birmingham Theory Group
Dear colleagues, The University of Birmingham is recruiting a number of academics at assistant/
unread,
Faculty positions at the Birmingham Theory Group
Dear colleagues, The University of Birmingham is recruiting a number of academics at assistant/
9/18/23
Maria Emilia Maietti
9/12/23
Advances in Homotopy type theory - MSCS special issue
Dear constructivists, I am writing to invite you to submit papers to a special issue of Mathematical
unread,
Advances in Homotopy type theory - MSCS special issue
Dear constructivists, I am writing to invite you to submit papers to a special issue of Mathematical
9/12/23
Nicola Gambino
, …
Martin Escardo
5
8/3/23
Peter Aczel
It is very sad for me to learn this, particularly because recently I have been doing work building on
unread,
Peter Aczel
It is very sad for me to learn this, particularly because recently I have been doing work building on
8/3/23
Kreinovich, Vladik
7/11/23
edited book dedicated to Tseytin
Dear Friends, As many of you know, Grigory Tseytin, one of the pioneers of constructive mathematics
unread,
edited book dedicated to Tseytin
Dear Friends, As many of you know, Grigory Tseytin, one of the pioneers of constructive mathematics
7/11/23
Kreinovich, Vladik
7/5/23
RE: Call for Participation - CCA 2023
FYI, constructive mathematics is one of the highlighted topics From: Zvonko Zvonko Iljazovic <zilj
unread,
RE: Call for Participation - CCA 2023
FYI, constructive mathematics is one of the highlighted topics From: Zvonko Zvonko Iljazovic <zilj
7/5/23
Nicola Gambino
5/11/23
HoTT 2023 -- Programme and final call for registration
[Apologies for duplicate emails] *** HoTT 2023 *** Second International Conference on Homotopy Type
unread,
HoTT 2023 -- Programme and final call for registration
[Apologies for duplicate emails] *** HoTT 2023 *** Second International Conference on Homotopy Type
5/11/23
Chuangjie Xu
2
5/10/23
Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023
[Second call for participation with a corrected/updated list of courses.] Autumn school "Proof
unread,
Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023
[Second call for participation with a corrected/updated list of courses.] Autumn school "Proof
5/10/23
Kreinovich, Vladik
5/6/23
FW: SILFS Triennial Conference 2023
FYI, non-classical logics is one of the highlighted topics From: Sandro SOZZO <Sandro...@vub.be
unread,
FW: SILFS Triennial Conference 2023
FYI, non-classical logics is one of the highlighted topics From: Sandro SOZZO <Sandro...@vub.be
5/6/23
Maria Emilia Maietti
4/17/23
WORKSHOP on DOCTRINES and FIBRATIONS,May 29 - June 1, 2023 -dedicated to W. Lawvere
============================================== CALL FOR PARTICIPATION ===============================
unread,
WORKSHOP on DOCTRINES and FIBRATIONS,May 29 - June 1, 2023 -dedicated to W. Lawvere
============================================== CALL FOR PARTICIPATION ===============================
4/17/23
Nicola Gambino
4/6/23
HoTT 2023: registration
[Apologies for duplicate emails] *** Homotopy Type Theory International Conference 2023 *** Carnegie
unread,
HoTT 2023: registration
[Apologies for duplicate emails] *** Homotopy Type Theory International Conference 2023 *** Carnegie
4/6/23
andrej...@andrej.com
, …
Andrew Swan
13
3/15/23
If every subset of N is countable, does excluded middle follow?
I think there's actually a few examples of Grothendieck toposes where Kripke's principle
unread,
If every subset of N is countable, does excluded middle follow?
I think there's actually a few examples of Grothendieck toposes where Kripke's principle
3/15/23
Nicola Gambino
3/7/23
HoTT 2023: deadline extended
*** 2nd International Conference on Homotopy Type Theory (HoTT 2023) *** Monday 22nd May - Thursday
unread,
HoTT 2023: deadline extended
*** 2nd International Conference on Homotopy Type Theory (HoTT 2023) *** Monday 22nd May - Thursday
3/7/23