Showing 1-20 of 201 topics
apartness of Dedekind reals Michael Shulman 7/3/15
Fwd: 20th LPAR - Call for Papers Robin Havea 6/18/15
FW: Young Researchers in Mathematics Conference 2015 - Oxford Kreinovich, Vladik 6/2/15
Continuity, Computability, Constructivity 2015; second call for submission spreen 5/21/15
happy birthday to Vladimir Orevkov Kreinovich, Vladik 4/24/15
Visiting Assistant Professorship Bob 4/21/15
RE: Mints memorial conference: information urgently needed Kreinovich, Vladik 4/16/15
Lectureship in Pure Mathematics at the University of Leeds Nicola Gambino 4/13/15
Continuity, Computability, Constructivity 2015; call for submission spreen 4/10/15
special interest group in logic and computations Kreinovich, Vladik 3/26/15
FW: conference in memory of Grigory "Grisha" Mints Kreinovich, Vladik 3/25/15
Fwd: Kreisel Kreinovich, Vladik 3/1/15
St. Petersburg Days of Logic and Computability devoted to the memory of Grigory Mints Kreinovich, Vladik 2/7/15
Exact computation over topological spaces frank waaldijk 1/31/15
CCC 2014; postproceedings; deadline extension spreen 1/26/15
FIFTH WORKSHOP ON FORMAL TOPOLOGY, Stockholm, June 8-10, 2015 Erik Palmgren 12/19/14
FIFTH WORKSHOP ON FORMAL TOPOLOGY, Stockholm, June 8-10, 2005 Erik Palmgren 12/19/14
update on fibrations Thomas Streicher 12/12/14
Completely distributive lattice Andrej Bauer 12/10/14
constructive math session at the ASL meeting: FYI Kreinovich, Vladik 12/7/14
More topics »