June 2019 Archives by thread
Starting: Wed Jun 5 11:06:23 EDT 2019
Ending: Sun Jun 30 15:33:57 EDT 2019
Messages: 33
- [FOM] Cardinality in the absence of AC
Timothy Y. Chow
- [FOM] Query concerning E. H. Neville's Prolegomena to Analytical Geometry
Marion, Mathieu
- [FOM] Haskell Brooks Curry (1900-1982) now on-line
jean-yves beziau
- [FOM] Query concerning E. H. Neville's Prolegomena to Analytical Geometry (Marion, Mathieu)
Adam Trybus
- [FOM] Provable security and foundations of mathematics
José Manuel Rodríguez Caballero
- [FOM] LFCS'20: conference announcment and call for papers
Artemov, Sergei
- [FOM] Fwd: NASSLLI 2020 @ Brandeis University
Martin Davis
- [FOM] CCC 2019; second call for submissions
Spreen, Dieter, Prof. Dr.
- [FOM] Reverse Mathematics question
Paul Blain Levy
- [FOM] Paraconsistent Newsletter - Booming Spring 2019 Edition
jean-yves beziau
- [FOM] Final Call for Application / CUSO Summer school in recursion theory and philosophy / Three travel bursaries available
Joshua Babic
- [FOM] [REMINDER] CFP - 4th Filomena Workshop (Bergen, Norway: October 15-16)
Sanderson Molick
- [FOM] CfP: Circularity in Syntax and Semantics 2019, Gothenburg, 20-22 November
Graham Leigh
- [FOM] Fwd: [PMA 29] Call for Proposals: Session at Eastern APA
Martin Davis
- [FOM] JOB Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria - Deadline: July 4, 2019
Mihaela Rozman
- [FOM] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
Achim D. Brucker
- [FOM] [DEADLINE EXTENSION] CFP - 4th Filomena Workshop (Bergen, Norway: October 15-16)
Sanderson Molick
Last message date:
Sun Jun 30 15:33:57 EDT 2019
Archived on: Tue Jul 2 11:58:00 EDT 2019
This archive was generated by
Pipermail 0.09 (Mailman edition).