May 2019 Archives by thread

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

Starting: Wed May 1 22:19:24 EDT 2019
Ending: Fri May 31 05:34:42 EDT 2019
Messages: 31

• [FOM] [Deadline Extension] Formal Verification of Physical Systems (FVPS 2019)   Umair Siddique
• [FOM] CfP: AIRLangComp'19: AI aspects in Reasoning, Languages, and Computation 2019   Roussanka Loukanova
• [FOM] Structural set theory for proof assistants   Joshua Chen
  • [FOM] Structural set theory for proof assistants   Timothy Y. Chow
  • [FOM] Structural set theory for proof assistants   Josef Urban
  • [FOM] Structural set theory for proof assistants   Joshua Chen
• [FOM] PhD Studentship in Logic and Systems Verification at UCL [Corrected start-date]   Pym, David
• [FOM] 2nd Workshop on Proof Theory and its Applications, Swansea 11-13 September 2019   Berger U.
• [FOM] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France   Frédéric Blanqui
• [FOM] Fwd: 6th International Workshop on Proof eXchange for Theorem Proving (PxTP)   Martin Davis
• [FOM] FroCoS and TABLEAUX 2019 (London): SECOND (AND FINAL) DEADLINE EXTENSION   Andrei Popescu
• [FOM] XVIII Latin American Symposium on Mathematical Logic (SLALM), Concepción, Chile, 16-20 December 2019   Verónica Becher
• [FOM] Cfp -Second Graduate Conference of the Italian Network for the Philosophy of Mathematics – FilMat - deadline approaching   Boccuni Francesca
• [FOM] Third call for submissions: HoTT 2019   Jeremy Avigad
• [FOM] Call for Application / CUSO Summer school in recursion theory and philosophy   Joshua Babic
• [FOM] Preprint available: A theory of particular sets   Paul Blain Levy
• [FOM] Fwd: FMCAD 2019 Deadline Extension   Martin Davis
• [FOM] Deadline approaching (May 15th) -- Two PhD positions at the University of Luxembourg   Réka Markovich
• [FOM] EXTENDED DEADLINE SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019) - May 21, 2019   Mihaela Rozman
• [FOM] Extended deadline May 19th - Second Graduate Conference of the Italian Network for the Philosophy of Mathematics – FilMat   Boccuni Francesca
• [FOM] Possible non-existence of repeat points   martdowd at aol.com
• [FOM] [lean-user] [Call for Papers] Formal Techniques for Dependable Autonomous Systems (FT4DAS-2019)   Umair Siddique
• [FOM] 4th autumn school "Proof and Computation"   Chuangjie Xu
• [FOM] Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien, Austria - Deadline: 31.5.2019   Mihaela Rozman
• [FOM] Second Call for Papers: Makkai80: Logic, categories and philosophy of mathematics.   Gergely Székely
• [FOM] Gödel Price   Merlin Carl
• [FOM] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)   Achim D. Brucker
• [FOM] History of Physics | 3rd IDTC International Summer School HPS & Applied Sciences, Teaching | 3-6 June 2019 | Lille, France   pisanoraffaele at iol.it
• [FOM] 2 three-year fully funded PhD positions in the Epistemology and Philosophy of Mathematics and Logic - Deadline June 3   Andrea Sereni
• [FOM] 2nd Call for Application / CUSO Summer school in recursion theory and philosophy / Three travel bursaries available   Joshua Babic
• [FOM] PhD Programme in Philosophy (Including Logic)   gprimiero at libero.it

Last message date: Fri May 31 05:34:42 EDT 2019
Archived on: Fri May 31 16:19:08 EDT 2019

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