May 2017 Archives by date
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] Turing machines, algorithms, and category theory
Patrik Eklund
- [FOM] Turing machines, algorithms, and category theory
Dennis E. Hamilton
- [FOM] CfP - Novembertagung 2017
Lorenz Demey
- [FOM] Turing machines, algorithms, and category theory
Dennis E. Hamilton
- [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] two interpretations of identity morphisms in category theory
Paul Hollander
- [FOM] Turing machines, algorithms, and category theory
Paul Hollander
- [FOM] Turing machines, algorithms, and category theory
Paul Hollander
- [FOM] Turing machines, algorithms, and category theory
Paul Hollander
- [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] AFM 2017 call for registration
Sam Owre
- [FOM] Possible non-existence of repeat points
martdowd at aol.com
- [FOM] informal poll special terms in logic
Harvey Friedman
- [FOM] 763: Large Cardinals and Emulations/42
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] a Bourbakian tale
Robert Black
- [FOM] informal poll special terms in logic
tchow
- [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] Possible non-existence of repeat points
martdowd at aol.com
- [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
This archive was generated by
Pipermail 0.09 (Mailman edition).