constructivenews

Showing 1-20 of 274 topics
cpnstructive hmological algebra Henri Lombardi 12/8/17
Second call for abstract: Second Workshop on Mathematical Logic and its Applications takako nemoto 12/5/17
Advert & question Martin Escardo 12/1/17
SEP: The development of intuitionistic logic Mark van Atten 11/9/17
Call for abstract: Second Workshop on Mathematical Logic and its Applications takako nemoto 11/5/17
Continuity, Computability, Constructivity 2017; postproceedings; second call for submissions spreen 11/5/17
Research Fellowship at Leeds Nicola Gambino 10/26/17
Predicativity and parametric polymorphism of Brouwerian implication Mark van Atten 10/20/17
Hausdorff Trimester "Types, Sets and Constructions" (Call for participation) Helmut Schwichtenberg 10/20/17
Fw: Vladimir Voevodsky, Revolutionary Mathematician, Dies at 51 Kreinovich, Vladik 10/9/17
FW: Vladimir Voevodsky Dies at 51 Kreinovich, Vladik 10/1/17
Two positions as Associate professor in mathematics at Stockholm University Erik Palmgren 9/28/17
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
More topics »