constructivenews

Showing 1-20 of 263 topics
PSSL 101: final announcement Nicola Gambino 8/23/17
Continuity, Computability, Constructivity 2017; postproceedings; call for submissions spreen 8/9/17
Is there a reverse mathematics of countable choice? Martín Hötzel Escardó 7/31/17
A question about intuitionistic logic Andrej Bauer 7/3/17
LFCS 2018: Second CFP. Bob 6/29/17
many thanks to Andrej Bauer Kreinovich, Vladik 6/23/17
Logic Colloquium 2017: Call for Registration and Participation ** Deadline for early registration: June 9, 2017 ** Erik Palmgren 6/1/17
LFCS 2018 CFP Bob 5/23/17
Fan Theorem construction Bob 4/20/17
New paper: A constructive examination of a Russell-style ramified type theory Erik Palmgren 4/18/17
Logic in Stockholm 2017: Call for Submissions and Participation Erik Palmgren 4/18/17
CID: information on a new research project spreen 4/13/17
Logic Colloquium 2017:,Second Announcement and Call for Submissions and Participation Erik Palmgren 4/10/17
Continuity, Computability, Constructivity 2017; second call for submission; extended deadline; please distribute spreen 4/9/17
Autumn school "Proof and Computation" Chuangjie Xu 4/6/17
NLS 2017: Third Nordic Logic Summer School (NLS) 2017: Call for Participation and Registration Erik Palmgren 4/6/17
Job opportunities for logicians and theoretical computer scientists Extractor 3/25/17
Continuity, Computability, Constructivity 2017; call for submissions spreen 3/15/17
Birmingham Fellows: prestige posts available Martín Hötzel Escardó 3/3/17
Third Nordic Logic Summer School (NLS) 2017: Second announcement and call for papers Erik Palmgren 2/8/17
More topics »