May 2017 Archives by thread

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

Starting: Mon May 1 02:08:24 EDT 2017
Ending: Wed May 31 16:01:52 EDT 2017
Messages: 50

• [FOM] two interpretations of identity morphisms in category theory   Patrik Eklund
  • [FOM] two interpretations of identity morphisms in category theory   Paul Hollander
• [FOM] Turing machines, algorithms, and category theory   Patrik Eklund
  • [FOM] Turing machines, algorithms, and category theory   Dennis E. Hamilton
    • [FOM] Turing machines, algorithms, and category theory   Paul Hollander
  • [FOM] Turing machines, algorithms, and category theory   Dennis E. Hamilton
  • [FOM] Turing machines, algorithms, and category theory   Paul Hollander
  • [FOM] Turing machines, algorithms, and category theory   Paul Hollander
• [FOM] CfP - Novembertagung 2017   Lorenz Demey
• [FOM] Announcement: 6th CSLI Logic Workshop and Solomon Feferman Symposium   Chris Mieczyslaw Mierzewski
• [FOM] CfP: LACompLing2017 Extended Deadline: * May 10 (any time on Earth), 2017 *   Roussanka Loukanova
• [FOM] Assistant Professor in Computing Science - Umeå, Sweden   Patrik Eklund
• [FOM] PARACONSISTENT NEWSLETTER SPRING 2017   jean-yves beziau
• [FOM] category theory as the analysis of symmetry   Paul Hollander
• [FOM] Large Finite Numbers in a Casual Game   Annatala Wolf
• [FOM] CAV 2017: Call for participation   mikael.mayer at epfl.ch
• [FOM] informal poll special terms in logic   John Baldwin
  • [FOM] informal poll special terms in logic   Harvey Friedman
  • [FOM] informal poll special terms in logic   Pym, David
  • [FOM] informal poll special terms in logic   katzmik at macs.biu.ac.il
  • [FOM] informal poll special terms in logic   tchow
• [FOM] AFM 2017 call for registration   Sam Owre
• [FOM] Possible non-existence of repeat points   martdowd at aol.com
  • [FOM] Possible non-existence of repeat points   martdowd at aol.com
• [FOM] 763: Large Cardinals and Emulations/42   Harvey Friedman
• [FOM] a Bourbakian tale   Robert Black
• [FOM] 2nd CfA: Summer School On Computer Simulation Methods   gprimiero at libero.it
• [FOM] 764: Large Cardinals and Emulations/43   Harvey Friedman
• [FOM] [Final CfP] Workshop in Formal Truth Theories   Bartosz Wcisło
• [FOM] informal poll terms in logic I: pure and applied logic   John Baldwin
• [FOM] CfP Extended Deadline: AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17)   Roussanka Loukanova
• [FOM] EXTENDED DEADLINE HaPoC4   gprimiero at libero.it
• [FOM] informal poll terms in logic II: pure and applied model theory   John Baldwin
  • [FOM] informal poll terms in logic II: pure and applied model theory   WILLIAM TAIT
• [FOM] 765: Large Cardinals and Emulations/44   Harvey Friedman
• [FOM] [Registration Open] 3rd Workshop on Philosophy, Logic and Analytical Metaphysics - Natal/RN, Brazil   Sanderson Molick
• [FOM] Survey question 3: recursive versus computable   John Baldwin
• [FOM] Registration now open for the 2nd Set Theoretic Pluralism Symposium: Bristol, 20–25 June 2017   Benedict Eastaugh
• [FOM] Call for abstracts for 3rd Workshop on Connexive Logics   Hitoshi Omori
• [FOM] Autumn school "Proof and Computation"   Chuangjie Xu
• [FOM] Fwd: Gaisi Takeuti passes away   Dana Scott
• [FOM] Survey question 4: valid sentence vrs valid argument   John Baldwin
• [FOM] CfP: AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17)   Roussanka Loukanova
• [FOM] LFCS 2018 Call for Papers   Ruy de Queiroz
• [FOM] CfP: LACompLing2017 Extended Deadline: * June 9, 2017 *   Roussanka Loukanova
• [FOM] Fwd: Midwest PhilMath Workshop 18   Martin Davis
• [FOM] informal poll terms in logic 5: fraktur vrs roman   John Baldwin
• [FOM] Interactive theorem proving: 3 Postdoctoral positions at Cambridge   Lawrence Paulson
• [FOM] ThEdu'17: 2nd Call for Extended Abstracts & Demonstrations   Achim D. Brucker
• [FOM] Final announcement: 6th CSLI Logic Workshop and Feferman Memorial Symposium   Chris Mieczyslaw Mierzewski

Last message date: Wed May 31 16:01:52 EDT 2017
Archived on: Thu Jun 1 21:07:19 EDT 2017

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