Showing 1-20 of 233 topics
Two Intermediate notions of disjunction Martín Escardó 9/12/16
Per Martin-Löf in Padova in September Giovanni 8/26/16
Special case of countable choice Martín Hötzel Escardó 7/29/16
position in Mathematical Logic, Universita' di Genova Giuseppe Rosolini 6/16/16
Workshop on Categorical Logic and Univalent Foundations: Deadline Approaching Andrew Swan 6/12/16
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
More topics »