February 2020 Archives by subject

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

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

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