Parent Categories/Forums: Math
Edit this Forum

Foundation of Mathematics

Search:
This forum is an archive for the mailing list: fom@cs.nyu.edu (mailing list options). Messages posted here will be sent to this mailing list.

FOM is an automated e-mail list for discussing foundations of mathematics. It is a closed, moderated list.
Child Forums (0): None
Post to Foundation of Mathematics Post New Message  ::  Alert me of new posts  ::  Rating Filter:

Thread (10 Threads) Rating Replies Last Message

TMFCS-08 Final Call for papers by JohnEdward
0
by JohnEdward

Lucas-Penrose: New Paper by Robert Hadley
0
by Robert Hadley

[protege-discussion] Call For Participation: FOIS 2006 - International Conference on Formal Ontology in Information Systems, Nov. 9-11, Baltimore, MD, USA by Obrst, Leo J.
0
by Obrst, Leo J.

Turing machines and Set theory by Bob Hadley
0
by Bob Hadley

[protege-discussion] FINAL CFP: FOIS 2006 - International Conference on Formal Ontology in Information Systems: May 1 - Abstracts, May 5 - Papers by Obrst, Leo J.
0
by Obrst, Leo J.

CFP: International Conference on Formal Ontology in Information Systems (FOIS-2006) by Obrst, Leo J.
0
by Obrst, Leo J.

[Coq-Club] PSI 2006: First CFP by PSI06 Conference
0
by PSI06 Conference

[Coq-Club] CfP: Workshop: Constructive analysis, types and exact real numbers by Bas Spitters-2
0
by Bas Spitters-2
Post to Foundation of Mathematics Post New Message  ::  Alert me of new posts  ::  Atom feed for Foundation of Mathematics