constructivenews

Showing 1-20 of 255 topics
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
Logic Colloquium 2017: First Announcement and Call for Submissions Erik Palmgren 2/7/17
Troelstra's Paradox and Markov's Principle Mark van Atten 12/16/16
Eliminating countable choice in a general way (for instance in the aIVT) frank waaldijk 11/27/16
The approximate intermediate value theorem Michael Shulman 11/24/16
Third Nordic Logic Summer School (NLS) 2017, First Announcement Erik Palmgren 11/18/16
revised exended French version of "Algèbre commutative. Méthodes constructives" http://arxiv.org/abs/1611.02942 Henri Lombardi 11/12/16
Call for Papers: Fifth Workshop on Formal Topology (5WFTop) Milly Maietti 11/5/16
Gleason's Theorem sasander 10/25/16
More topics »