November 2017 Archives by thread

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

Starting: Sun Nov 5 20:01:27 EST 2017
Ending: Thu Nov 30 05:51:12 EST 2017
Messages: 37

• [FOM] Continuity, Computability, Constructivity 2017; postproceedings; second call for submissions   Dieter Spreen
• [FOM] SEP: The development of intuitionistic logic   Mark van Atten
• [FOM] Call for Participation: AMS Special Session on Homotopy Type Theory   Liron Cohen
• [FOM] Fwd: CIE Newsletter - No. 114   Martin Davis
• [FOM] IUSS/IHPST Workshop - Mathematical and Metaphysical Explanation II - Explanation, Grounding and Dependance - December 14-16, IUSS Pavia   Andrea Sereni
• [FOM] Fwd: FOM request   Martin Davis
• [FOM] RAMiCS 2018: Call for Papers - Relational and Algebraic Methods in Computer Science   Walter Guttmann
• [FOM] certain two papers   Lukasz T. Stepien
  • [FOM] certain two papers   Joe Shipman
  • [FOM] certain two papers   Lukasz T. Stepien
    • [FOM] certain two papers   Patrik Eklund
• [FOM] PhD positions available in Birmingham, UK   Benedikt Ahrens
• [FOM] Conference in honor of Thomas C. Hales: "From the Fundamental Lemma to Discrete Geometry, to Formal Verification", June 18-22, 2018 at the University of Pittsburgh   Jeremy Avigad
• [FOM] CFP: Diagrams (Edinburgh, 18-22 June 2018) - Extended Deadline   Amirouche Moktefi
• [FOM] CfP: The epistemological significance of methods in computer simulation   gprimiero at libero.it
• [FOM] Closure ordinal for Kripke construction?   Chris Scambler
  • [FOM] Closure ordinal for Kripke construction?   Benedict Eastaugh
  • [FOM] Closure ordinal for Kripke construction?   Yiannis N. Moschovakis
  • [FOM] Closure ordinal for Kripke construction?   Stanislav Speranski
• [FOM] PhD Program in Pure and Applied Logic at Carnegie Mellon   Jeremy Avigad
• [FOM] How analogous are categorial and material set theories?   Neil Barton
• [FOM] Hamkins's multiverse and ultrafinitism   tchow
  • [FOM] Hamkins's multiverse and ultrafinitism   katzmik at macs.biu.ac.il
  • [FOM] Hamkins's multiverse and ultrafinitism   Timothy Y. Chow
    • [FOM] Hamkins's multiverse and ultrafinitism   Thomas Klimpel
  • [FOM] Hamkins's multiverse and ultrafinitism   Timothy Y. Chow
    • [FOM] Hamkins's multiverse and ultrafinitism   John Baldwin
      • [FOM] Hamkins's multiverse and ultrafinitism   Joe Shipman
      • [FOM] Hamkins's multiverse and ultrafinitism   Timothy Y. Chow
      • [FOM] Hamkins's multiverse and ultrafinitism   martdowd at aol.com
    • [FOM] Hamkins's multiverse and ultrafinitism   Dennis Kavlakoglu
• [FOM] The distinction between foundational concepts and their treatment as mathematics`   James Smith
• [FOM] New Preprints   Amir Tabatabai
• [FOM] Fwd: Artificial Intelligence and Theorem Proving 2018 - Call for Papers   Josef Urban
• [FOM] Logical Perspectives 2018: Call for Participation   Stanislav Speranski
• [FOM] UNILOG'2018 - World Congress and School on Universal Logic - Vichy, France - December 1st, deadline for early registrartion   jean-yves beziau
• [FOM] CFP: 9th International Workshop on Physics and Computation   Philippos Papagiannopoulos

Last message date: Thu Nov 30 05:51:12 EST 2017
Archived on: Thu Nov 30 16:49:52 EST 2017

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