January 2015 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Fri Jan 2 10:38:26 EST 2015
Ending: Sat Jan 31 15:41:27 EST 2015
Messages: 41

• [FOM] book announcement   Mark van Atten
• [FOM] 576: Game Correction/Simplicity Theory 1   Hendrik Boom
• [FOM] Embedding Z (or other ZFC fragments) in HOL   Mario Carneiro
• [FOM] Embedding Z (or other ZFC fragments) in HOL   Mario Carneiro
• [FOM] Fwd: Counting From Infinity -- World Premiere   Charlie
• [FOM] 570: Philosophy of Incompleteness 1   Timothy Y. Chow
• [FOM] CiE 2015 in Bucharest - FINAL CALL FOR PAPERS and EXTENDED DEADLINE, 21 Jan, 2015   S B Cooper
• [FOM] Fwd: [MCU'15] call for papers MCU 2015: Machines, Computability and Universality   Martin Davis
• [FOM] Message from the moderator: location of MCU'15   Martin Davis
• [FOM] 567: Counting Equivalence Classes   Harvey Friedman
• [FOM] 568: Counting Equivalence Classes #2   Harvey Friedman
• [FOM] 569: Finite Integer Sums and Incompleteness   Harvey Friedman
• [FOM] 570: Philosophy of Incompleteness 1   Harvey Friedman
• [FOM] 571: Philosophy of Incompleteness 2   Harvey Friedman
• [FOM] 572: Philosophy of Incompleteness 3   Harvey Friedman
• [FOM] 573: Philosophy of Incompleteness 4   Harvey Friedman
• [FOM] 574: Characterization Theory 1   Harvey Friedman
• [FOM] 575: Finite Games and Incompleteness   Harvey Friedman
• [FOM] 576: Game Correction/Simplicity Theory 1   Harvey Friedman
• [FOM] 576: Game Correction/Simplicity Theory 1   Harvey Friedman
• [FOM] 5ESTC: European Set Theory Conference, Cambridge (England), 25-28 Aug 2015   Benedikt Loewe
• [FOM] PhD student position in philosophy of mathematics, Konstanz (Germany), Deadline: 12 Feb 2015   Benedikt Loewe
• [FOM] ANNOUNCEMENT: NAT at Logic 2015   Joao Marcos
• [FOM] Tools for Teaching Logic 2015 - EXTENDED DEADLINE   Joao Marcos
• [FOM] Embedding Z (or other ZFC fragments) in HOL   Rupert McCallum
• [FOM] Call for Abstracts: ACMES Conference   Robert Moir
• [FOM] MA in Logic and Theory of Science in Budapest   András Máté
• [FOM] Deadline Extension: Special Volume on Applied Formal Philosophy   Gillman Payette
• [FOM] WoLLIC 2015 - DEADLINE APPROACHING: Feb 8   Ruy de Queiroz
• [FOM] WoLLIC 2015 - DEADLINE APPROACHING: Feb 8   Ruy de Queiroz
• [FOM] Fwd: [blc] John Shepherdson (1920 - 2014)   Dana Scott
• [FOM] [blc] John Shepherdson   Dana Scott
• [FOM] Fwd: John Shepherdson Memorial Service   Dana Scott
• [FOM] CCC 2014; postproceedings; deadline extension   Dieter Spreen
• [FOM] Embedding Z (or other ZFC fragments) in HOL   Josef Urban
• [FOM] CFP applications of formal philosophy (extended deadline)   Rafal Urbaniak
• [FOM] CALCO 2015: Second Call for Papers   Fabio Zanasi
• [FOM] New paper on function chains   martdowd at aol.com
• [FOM] 5th UNIVERSAL LOGIC SCHOOL, ISTANBUL, June 20-24, 2015   jean-yves beziau
• [FOM] Embedding Z (or other ZFC fragments) in HOL   roux cody
• [FOM] LC2015   jkennedy at mappi.helsinki.fi

Last message date: Sat Jan 31 15:41:27 EST 2015
Archived on: Sat Jan 31 18:26:37 EST 2015

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...