July 2019 Archives by author

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

Starting: Mon Jul 1 05:32:41 EDT 2019
Ending: Wed Jul 31 19:50:38 EDT 2019
Messages: 25

• [FOM] Formal Methods in Mathematics / Lean Together 2020   Jeremy Avigad
• [FOM] International Conference on Homotopy Type Theory 2019   Jeremy Avigad
• [FOM] PhD Position in logic and formal verification   Ana Borges
• [FOM] Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension   Achim D. Brucker
• [FOM] Ultrafilters and consistency   José Manuel Rodríguez Caballero
• [FOM] Dichotomy between structure and pseudorandomness   José Manuel Rodríguez Caballero
• [FOM] Gordeev and NP = PSPACE again   Timothy Y. Chow
• [FOM] Fwd: FroCoS-12 and TABLEAUX-28   Martin Davis
• [FOM] Fwd: MWPMW 20   Martin Davis
• [FOM] Philosophy of mathematics: logic, language, and methodology. Second Graduate FilMat Conference - programme online - Milan, 18-19 July   Boccuni Francesca
• [FOM] Second Graduate FilMat Conference: Philosophy of Mathematics: Logic, Language, and Methodology - 18-19 July - University Vita-Salute San Raffaele, Milan   Boccuni Francesca
• [FOM] CALL FOR PAPERS - OVERLAY19 workshop @ AIxIA 2019   Nicola Gigante
• [FOM] Gordeev and NP = PSPACE again   Lew Gordeew
• [FOM] Gordeev and NP = PSPACE again   Edward Hermann Haeusler
• [FOM] Gordeev and NP = PSPACE again   Edward Hermann Haeusler
• [FOM] REMINDER: French Philosophy of Mathematics Workshop, Paris, Nov. 14-16, 2019, CfP   Brice Halimi
• [FOM] Summer School on Nominal Techniques: FoPSS 2019   Bartek Klin
• [FOM] interesting   Kreinovich, Vladik
• [FOM] FroCoS 2019 and TABLEAUX 2019 (London, September 2-6): call for participation   Andrei Popescu
• [FOM] PhD position within joint Doctoral College Logical Methods in Computer Science (LogiCS) at TU Wien, Vienna, focused on Formal Methods for large-scale, spatially-distributed, stochastic systems   Mihaela Rozman
• [FOM] Gordeev and NP = PSPACE again   Joe Shipman
• [FOM] Gordeev and NP = PSPACE again   Joe Shipman
• [FOM] CCC 2019; extended deadline   Spreen, Dieter, Prof. Dr.
• [FOM] Final Call: 2nd Summer School and Workshop of the Proof Society, Swansea 8-13 September 2018   Berger U.
• [FOM] Agda Implementors' Meeting XXX - Munich, 11-17 September 2019   Chuangjie Xu

Last message date: Wed Jul 31 19:50:38 EDT 2019
Archived on: Thu Aug 1 00:29:40 EDT 2019

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