February 2020 Archives by subject
Starting: Sun Feb 2 20:13:12 EST 2020
Ending: Sat Feb 29 13:10:38 EST 2020
Messages: 71
- 27th WoLLIC 2020 (Lima, Peru) - 3rd Call for Papers
Ruy de Queiroz
- 3rd CfP: NETREASON Workshop at ECAI2020
gprimiero at libero.it
- 4-year PhD position
Georg Moser
- 5th autumn school "Proof and Computation"
Chuangjie Xu
- 842: Gromov's "most powerful language" and set theory
Harvey Friedman
- 842: Gromov's "most powerful language" and set theory
Joe Shipman
- 842: Gromov's "most powerful language" and set theory
José Manuel Rodríguez Caballero
- [FOM] Logic/syntax versus arithmetic
Timothy Y. Chow
- [FOM] Logic/syntax versus arithmetic
Timothy Y. Chow
- [FOM] Logic/Syntax versus Arithmetic
Timothy Y. Chow
- [FOM] Logic/syntax versus arithmetic
Timothy Y. Chow
- [FOM] Logic/Syntax versus Arithmetic
katzmik at macs.biu.ac.il
- [FOM] What is a "non-constructive proof"?
Timothy Y. Chow
- [FOM] What is a "non-constructive proof"?
Joe Shipman
- [FOM] What is a "non-constructive proof"?
Timothy Y. Chow
- Anne Troelstra Memorial Event, Amsterdam (The Netherlands), 6 Mar 2020
Bahareh Afshari
- Automated Deduction in Geometry - ADG 2020
Predrag Janicic
- BCTCS & AlgoUK 2020 Final announcement and call for contributed talks
Berger U.
- Bennett on Spectra and EPRR
Cas Barla
- Caleidoscope Complexity School: Call for Participation
Thomas Seiller
- CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)
Mihaela Rozman
- Call for Contributions to ICALP/LiCS Workshop on Decidable Fragments of First-order Modal Logic
Yanjing Wang
- Call for Participation: Workshop "Proofs, Computation and Meaning", 20-21 March, Tübingen (Germany).
Paolo Pistone
- CfP: AAL 2020 // Australasian Association for Logic
Nicholas Smith
- CFP: Abstractionism 2 conference, UConn
Rossberg, Marcus
- CFP: CICM 2020 --- 13th Conference on Intelligent Computer Mathematics Inbox
Christoph Benzmueller
- CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), with special session in honour of Frank Pfenning
Claudio Sacerdoti Coen
- CFP DaLí 2020
Igor Sedlar
- Deadline Extension and Extended Abstracts for NETREASON Workshop at ECAI2020
gprimiero at libero.it
- exponential time arithmetic
martdowd at aol.com
- Extended deadline: Applications for full grants at SPLogic (CLE/Unicamp, Brazil)
Walter Carnielli
- Fifteenth International Conference on Computability, Complexity and Randomness (CCR 2020)
Verónica Becher
- Fwd: 27th WoLLIC 2020 (Lima, Peru) - 3rd Call for Papers
Martin Davis
- Fwd: Advances in Modal Logic 2020: second call for papers
Martin Davis
- How small can a foundation be?
Joe Shipman
- How small can a foundation be?
katzmik at macs.biu.ac.il
- How small can a foundation be?
Joe Shipman
- Logic/syntax versus arithmetic
Timothy Y. Chow
- Logic/syntax versus arithmetic
Mikhail Katz
- Logic/syntax versus arithmetic
Timothy Y. Chow
- VS: Logic/syntax versus arithmetic
Timothy Y. Chow
- Logic/syntax versus arithmetic
Alan Weir
- Logic/syntax versus arithmetic
Sam Sanders
- Logic/syntax versus arithmetic (Timothy Y. Chow)
Alan Weir
- Logic Colloquium 2020
Leszek Kołodziejczyk
- LPAR-23: 23rd International Conference on Logic for Programming: Extended deadlines for abstracts
Mihaela Rozman
- MIP*=RE and hypercomputation
Dmytro Taranovsky
- nominalism bis
Mikhail Katz
- provability of P=NP
martdowd at aol.com
- Quanta Magazine "Map of Mathematics" missing foundations.
Annatala Wolf
- Quanta Magazine "Map of Mathematics" missing foundations.
Joe Shipman
- Quanta Magazine "Map of Mathematics" missing foundations.
Annatala Wolf
- Quanta Magazine "Map of Mathematics" missing foundations.
Pedro Sánchez Terraf
- Re Logic/Syntax versus Arithmetic
Alan Weir
- Re Logic/Syntax versus Arithmetic.
Alan Weir
- SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)
Mihaela Rozman
- The most powerful language for mathematics according to M. Gromov
José Manuel Rodríguez Caballero
- The most powerful language for mathematics according to M. Gromov
katzmik at macs.biu.ac.il
- The most powerful language for mathematics according to M. Gromov
Louis H Kauffman
- The most powerful language for mathematics according to M. Gromov
José Manuel Rodriguez Caballero
- The most powerful language for mathematics according to M. Gromov
Patrik Eklund
- The most powerful language for mathematics according to M. Gromov
Patrik Eklund
- The most powerful language for mathematics according to M. Gromov
José Manuel Rodríguez Caballero
- the notion of generic in set theory
José Manuel Rodríguez Caballero
- the notion of generic in set theory
Joe Shipman
- Udine Workshop on Singular Cardinals
Alberto Marcone
- von Neumann entropy in simple type theory
José Manuel Rodríguez Caballero
- What is a "non-constructive proof?"
Dutle, Aaron M. (LARC-D320)
- What is a ?non-constructive proof??
José Manuel Rodríguez Caballero
- What is a ?non-constructive proof??
Joe Shipman
- What is a “non-constructive proof”?
Joe Shipman
Last message date:
Sat Feb 29 13:10:38 EST 2020
Archived on: Sun Mar 1 00:08:17 EST 2020
This archive was generated by
Pipermail 0.09 (Mailman edition).