March 2020 Archives by author

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

Starting: Sun Mar 1 17:31:41 EST 2020
Ending: Sat Mar 28 07:25:47 EDT 2020
Messages: 34

• LCC'20 First Call for Contributions   Martin Avanzini
• CFP: Logic and Formal Methods in Philosophy (Deadline May 15)   Boon, Ian Gregory
• Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)   Achim D. Brucker
• 2 PhD Positions in the Safety and Security of Advanced Systems Group (University of Exeter, UK Deadline 2020-05-01)   Achim D. Brucker
• A decision problem about balanced parentheses   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] What Is a Syntactic Property?   Timothy Y. Chow
• Fwd: Request   Martin Davis
• 843: Brand New Tangible Incompleteness/1   Harvey Friedman
• 844: Brand New Tangible Incompleteness/2   Harvey Friedman
• 845: Brand New Tangible Incompleteness/3   Harvey Friedman
• PhD position in proof theory at the University of Bath   Alessio Guglielmi
• PhD position in proof theory at the University of Bath   Alessio Guglielmi
• What Is a Syntactic Property?   Richard Kimberly Heck
• The most powerful language for mathematics according to M. Gromov   Dr. Cyrus F Nourani
• Joint Linearity & TLLA Workshop 2020   Valeria de Paiva
• von Neumann entropy in simple type theory   Lawrence Paulson
• (Extended Deadline) VCLA International Student Awards 2020 for Outstanding Master and Bachelor Theses (Call for (self-)nominations)   Mihaela Rozman
• Final call for (Self-)Nominations for the VCLA International Student Awards for Outstanding Master and Bachelor Theses in Logic and Computer Science - Deadline: 9.4.2020 AoE   Rozman, Mihaela
• Coding in Reverse Mathematics   Sam Sanders
• University of Leeds Lectureship in Pure Mathematics   Paul Shafer
• PhD position in proof theory at the University of Bath   Joe Shipman
• CFA: 6th Workshop on Connexive Logics   Claudia Tanús
• Universes of definable sets and the axiom of choice   Dmytro Taranovsky
• Logic/Syntax versus Arithmetic   Alan Weir
• Logic/Syntax versus Arithmetic   Alan Weir
• PhD position in proof theory at the University of Bath   Annatala Wolf
• CFP: Non-Classical Logics. Theory and Applications X   Michał Zawidzki
• A Specialization of Cook's Conjecture   martdowd at aol.com
• Paraconsistent Newsletter - Winter 2020   jean-yves beziau
• 7th World Congress on the Square of Opposition, Leuven, Belgium, Sept 2020   jean-yves beziau
• Computability in Europe 2020 Postponed   gprimiero at libero.it

Last message date: Sat Mar 28 07:25:47 EDT 2020
Archived on: Sat Mar 28 16:00:46 EDT 2020

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