constructivenews

1–30 of 442

0 selected

Nicola Gambino, … Douglas Bridges3

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

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 Lombardi4

Sep 29

> Et pour ceux qui ne connaissent pas le Francais? Dear Sam You are right. Claude and I are

unread,

> 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

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

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 Taylor7

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 Taylor4

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

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

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

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