Showing 1-20 of 228 topics
In what sense is Tychonoff constructive Andrej Bauer 5/12/16
LC2016: deadline for early registration Nicola Gambino 5/11/16
LC2016: deadlines approaching Nicola Gambino 4/14/16
Workshop on Categorical Logic and Univalent Foundations Andrew Swan 4/7/16
Lectureship in Mathematical Logic, University of Leeds Nicola Gambino 4/5/16
PhD position in guarded homotopy type theory Bas Spitters 3/31/16
Human reasoning v mechanistic reasoning Bhupinder Singh Anand 3/24/16
International Workshop "Mathematics for Computation" (M4C) sasander 2/29/16
Tenure track assistant professorship in Mathematical Logic at Stockholm University Erik Palmgren 2/12/16
Slides and videos of MAP'16 Bas Spitters 2/10/16
co-taboos Martin Escardo 2/8/16
RE: CCA 2016 (Computability and Complexity in Analysis) Call for abstracts Kreinovich, Vladik 2/6/16
RE: Special Issue of TOCS Kreinovich, Vladik 2/6/16
Re: Digest for - 1 update in 1 topic Peter Aczel 2/6/16
CCC 2015; postproceedings; call for submissions; extended deadline spreen 2/1/16
Logic Colloquium 2016: second announcement Nicola Gambino 1/13/16
CCC 2015; postproceedings; second call for submission spreen 1/12/16
IZF, CZF, MLTT etc Martin Escardo 12/29/15
Job Opportunities in Logic and Computer Science at Swansea Extractor 12/18/15
Constructive mathematics in Nature Bas Spitters 12/12/15
More topics »