constructivenews

Showing 1-20 of 197 topics
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
Mathematical Constructivisms (16/1/2015, Paris, IHP, History of Mathematics Seminar) Bas Spitters 12/5/14
Review of Ye's Strict Finitism and the Logic of Mathematical Applications Maarten McKubre-Jordens 11/9/14
FW: Special session at 2015 ASL Meeting Kreinovich, Vladik 10/30/14
Call for abstracts: JAIST Logic Workshop Series 2015 Hajime Ishihara 10/21/14
More topics »