Groups
Conversations
All groups and messages
Send feedback to Google
Help
Account
Search
Maps
YouTube
Play
News
Gmail
Meet
Chat
Contacts
Drive
Calendar
Translate
Photos
Duo
Chrome
Shopping
Finance
Docs
Sheets
Slides
Books
Blogger
Hangouts
Keep
Jamboard
Earth
Collections
Arts and Culture
Google Ads
Podcasts
Stadia
Travel
Forms
More from Google
Sign in
Groups
constructivenews
Conversations
About
constructivenews
1–30 of 442
Mark all as read
Report abusive group
0 selected
Nicola Gambino
, …
Douglas Bridges
3
Oct 17
Conant Prize 2022
Thanks, Nicola, for this excellent news. Who could have imagined, in 1967, a constructive
unread,
Conant Prize 2022
Thanks, Nicola, for this excellent news. Who could have imagined, in 1967, a constructive
Oct 17
Kreinovich, Vladik
Oct 16
FW: Conference on intuitionism: updated program
Apologies for possible multiple copies -----Original Message----- From: Mark van Atten Here is an
unread,
FW: Conference on intuitionism: updated program
Apologies for possible multiple copies -----Original Message----- From: Mark van Atten Here is an
Oct 16
Mark van Atten
Oct 10
Conference announcement: intuitionism
International online conference "Intuitionism between philosophy, mathematics, and logic:
unread,
Conference announcement: intuitionism
International online conference "Intuitionism between philosophy, mathematics, and logic:
Oct 10
Kreinovich, Vladik
Oct 7
RE: CiE 2022: First CfP
FYI, there is a special section on constructive mathematics From: Johanna Franklin Sent: Tuesday,
unread,
RE: CiE 2022: First CfP
FYI, there is a special section on constructive mathematics From: Johanna Franklin Sent: Tuesday,
Oct 7
robertl...@att.net
,
Henri Lombardi
4
Sep 29
LFCS final CFP
> Et pour ceux qui ne connaissent pas le Francais? Dear Sam You are right. Claude and I are
unread,
LFCS final CFP
> Et pour ceux qui ne connaissent pas le Francais? Dear Sam You are right. Claude and I are
Sep 29
Anders Mortberg
Sep 24
Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week
Dear all, A quick reminder of the postdoctoral position in HoTT and related topics that I advertised
unread,
Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week
Dear all, A quick reminder of the postdoctoral position in HoTT and related topics that I advertised
Sep 24
Kreinovich, Vladik
Sep 17
RE: added one more theorem
FYI ---------- Forwarded message --------- From: Michael Beeson <profbeeson@gmail.com> Date:
unread,
RE: added one more theorem
FYI ---------- Forwarded message --------- From: Michael Beeson <profbeeson@gmail.com> Date:
Sep 17
robertl...@att.net
Sep 9
DEADLINE EXTENDED -- LFCS call for papers
DEADLINE EXTENDED TO SEPT 17 CALL FOR PAPERS Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (
unread,
DEADLINE EXTENDED -- LFCS call for papers
DEADLINE EXTENDED TO SEPT 17 CALL FOR PAPERS Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (
Sep 9
Kreinovich, Vladik
Sep 7
RE: Non-Classical Logics. Theory and Applications X, Lodz, Poland, March 14-18, 2022
FYI From: Michal Zawidzki Sent: Monday, September 6, 2021 5:27 AM -----------------------------------
unread,
RE: Non-Classical Logics. Theory and Applications X, Lodz, Poland, March 14-18, 2022
FYI From: Michal Zawidzki Sent: Monday, September 6, 2021 5:27 AM -----------------------------------
Sep 7
Anders Mortberg
Sep 6
Postdoctoral position in homotopy type theory and related topics at Stockholm University
Dear all, I'm pleased to announce that we're hiring a postdoctoral researcher in homotopy
unread,
Postdoctoral position in homotopy type theory and related topics at Stockholm University
Dear all, I'm pleased to announce that we're hiring a postdoctoral researcher in homotopy
Sep 6
Kreinovich, Vladik
Sep 1
RE: Proof and Computation 2021
FYI -----Original Message----- From: Chuangjie Xu Sent: Wednesday, September 1, 2021 1:31 AM [Second
unread,
RE: Proof and Computation 2021
FYI -----Original Message----- From: Chuangjie Xu Sent: Wednesday, September 1, 2021 1:31 AM [Second
Sep 1
robertl...@att.net
Aug 17
LFCS second call for papers
SECOND CALL FOR PAPERS Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'22), January 10
unread,
LFCS second call for papers
SECOND CALL FOR PAPERS Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'22), January 10
Aug 17
Dieter Spreen
Aug 4
CID; CCC 2021; 2nd call for submissions
Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2021) In honour of Ulrich
unread,
CID; CCC 2021; 2nd call for submissions
Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2021) In honour of Ulrich
Aug 4
Kreinovich, Vladik
Aug 2
FW: Some results about NF set theory
FYI ---------- Forwarded message --------- From: Michael Beeson <profbeeson@gmail.com> Date:
unread,
FW: Some results about NF set theory
FYI ---------- Forwarded message --------- From: Michael Beeson <profbeeson@gmail.com> Date:
Aug 2
Kreinovich, Vladik
Jul 30
RE: Handbook of Computability and Complexity in Analysis
FYI From: Vasco Brattka [mailto:Vasco.Brattka@cca-net.de] Sent: Friday, July 30, 2021 5:57 AM We are
unread,
RE: Handbook of Computability and Complexity in Analysis
FYI From: Vasco Brattka [mailto:Vasco.Brattka@cca-net.de] Sent: Friday, July 30, 2021 5:57 AM We are
Jul 30
Chuangjie Xu
Jul 15
Proof and Computation 2021
[Apologies for multiple postings.] Autumn school "Proof and Computation" Online, 13th and
unread,
Proof and Computation 2021
[Apologies for multiple postings.] Autumn school "Proof and Computation" Online, 13th and
Jul 15
David Roberts
, …
Paul Taylor
7
Jun 22
Acceptability of countable Replacement?
Steve Vickers rightly points out that, when one takes the topology of a situation into consideration
unread,
Acceptability of countable Replacement?
Steve Vickers rightly points out that, when one takes the topology of a situation into consideration
Jun 22
Andrej Bauer
,
Paul Taylor
4
Jun 15
The points of the Smyth powerdomain of the subobject classifier
Dear Paul, Thanks for the pointer. I suppose the question then is, what is the Idl-completion of Ω? (
unread,
The points of the Smyth powerdomain of the subobject classifier
Dear Paul, Thanks for the pointer. I suppose the question then is, what is the Idl-completion of Ω? (
Jun 15
Benno van den Berg
May 28
PhD position at the University of Amsterdam
Dear colleague, The ILLC (part of the University of Amsterdam) is advertising an open PhD position (
unread,
PhD position at the University of Amsterdam
Dear colleague, The ILLC (part of the University of Amsterdam) is advertising an open PhD position (
May 28
robertl...@att.net
May 18
LFCS first call for papers
FIRST CALL FOR PAPERS Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS '22), January 10
unread,
LFCS first call for papers
FIRST CALL FOR PAPERS Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS '22), January 10
May 18
Dieter Spreen
May 18
CID; CCC 2021; call for submissions
Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2021) In honour of Ulrich
unread,
CID; CCC 2021; call for submissions
Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2021) In honour of Ulrich
May 18
Kreinovich, Vladik
Apr 28
FW: Logical Perspectives 2021
Many of these events are of interest to our community: for example, one of the invited talks at the
unread,
FW: Logical Perspectives 2021
Many of these events are of interest to our community: for example, one of the invited talks at the
Apr 28
Kreinovich, Vladik
Apr 23
FW: Deadline Extension: VCLA International Student Awards 2021 for Outstanding Master and Bachelor Theses in Logic and Computer Science
FYI From: Magdalena Ortiz Sent: Friday, April 23, 2021 4:42 AM Please let me share with you the call
unread,
FW: Deadline Extension: VCLA International Student Awards 2021 for Outstanding Master and Bachelor Theses in Logic and Computer Science
FYI From: Magdalena Ortiz Sent: Friday, April 23, 2021 4:42 AM Please let me share with you the call
Apr 23
Peter LeFanu Lumsdaine
Apr 16
PhD opening in HoTT at Stockholm — note close deadline
Dear all, I'm happy to announce that we're recruiting for PhD students in HoTT (besides other
unread,
PhD opening in HoTT at Stockholm — note close deadline
Dear all, I'm happy to announce that we're recruiting for PhD students in HoTT (besides other
Apr 16
Peter LeFanu Lumsdaine
Apr 5
Reminder: 2-year position in HoTT at Stockholm, deadline this Friday
Dear all, A quick reminder of the researcher position in HoTT that I advertised a couple of weeks ago
unread,
Reminder: 2-year position in HoTT at Stockholm, deadline this Friday
Dear all, A quick reminder of the researcher position in HoTT that I advertised a couple of weeks ago
Apr 5
Kreinovich, Vladik
Mar 26
RE: LOGICA 2021 -- 1st CFP
FYI -----Original Message----- From: Igor Sedlar <igor.sedlar@gmail.com> Sent: Friday, March 26
unread,
RE: LOGICA 2021 -- 1st CFP
FYI -----Original Message----- From: Igor Sedlar <igor.sedlar@gmail.com> Sent: Friday, March 26
Mar 26
Kreinovich, Vladik
Mar 24
RE: Logic Colloquium 2021 (moved from 2020)
FYI From Leszek Kolodziejczyk Sent: Tuesday, March 23, 2021 3:05 AM LOGIC COLLOQUIUM 2021 Poznań,
unread,
RE: Logic Colloquium 2021 (moved from 2020)
FYI From Leszek Kolodziejczyk Sent: Tuesday, March 23, 2021 3:05 AM LOGIC COLLOQUIUM 2021 Poznań,
Mar 24
Martin Escardo
Mar 24
Faculty positions at Birmingham UK
We are hiring lecturers / senior lecturers (corresponding to assistant / associate professors https:/
unread,
Faculty positions at Birmingham UK
We are hiring lecturers / senior lecturers (corresponding to assistant / associate professors https:/
Mar 24
Peter LeFanu Lumsdaine
Mar 22
2-year researcher position in HoTT, Stockholm University; deadline 9 April
Dear all, I'm pleased to announce that we're hiring for a researcher position in Homotopy
unread,
2-year researcher position in HoTT, Stockholm University; deadline 9 April
Dear all, I'm pleased to announce that we're hiring for a researcher position in Homotopy
Mar 22
Henri Lombardi
Mar 16
Fwd: A constructive approach to Freyd categories
De: Sebastian Posur <Sebastian@Posur.com> Objet: A constructive approach to Freyd categories
unread,
Fwd: A constructive approach to Freyd categories
De: Sebastian Posur <Sebastian@Posur.com> Objet: A constructive approach to Freyd categories
Mar 16
Search
Clear search
Close search
Google apps
Main menu