January 2023 Archives by thread
Starting: Mon Jan 2 12:06:25 EST 2023
Ending: Tue Jan 31 20:54:56 EST 2023
Messages: 58
- REMINDER: Post-Doc Position in Logic at the University of Milan (Italy)
gprimiero at libero.it
- Martin Davis - sad news
Sam Buss
- Obituary for Martin Davis.
Alberto Policriti
- On the set of all unique elements
Serguei Mokhov
- order of quantifiers in a compuational model of the market
José Manuel Rodríguez Caballero
- Martin Davis memoriam
Sam Buss
- Non-Classical Mathematics Symposium at CLMPST: Call for Abstracts
Thomas Ferguson
- Set-theoretic tautologies( a reference is needed)
Victor Makarov
- World Logic Day - Neil Tennant keynote address
Sam Buss
- cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software
Walther Neuper
- CfR: Formalize!(?) – 3: A philosophical & educational perspective on formalization in mathematics - January 15
Sarikaya, Deniz
- World Logic Day - Jan 13
Gergely Székely
- The Biggest Five of Reverse Mathematics
Sam Sanders
- HoTT/UF 2023: Call for Contributions
Taichi Uemura
- Nordic Online Logic Seminar: next talk, on 30 January, by Vann McGee
Graham Leigh
- Two Types of the Critique of Religion: The Logic and Religion Webinar, January 12 - SPECIAL SESSION IN CELEBRATION OF THE WORLD LOGIC DAY 2023
FRANCISCO MARIANO
- 2nd Call for Nominations: Dov Gabbay Prize for Logic and Foundations (Deadline: March 1, 2023)
Alexander Steen
- Trends in Proof Theory (January 16–17, 2023)
Juan P. Aguilera
- THE IMPORTANCE OF LOGIC FOR HUMANITY - World Logic Day 2023 - January 14, 4pm CET
jean-yves beziau
- Please post at FOM: Online conference "Fitting at 80," Saturday, January 28
Artemov, Sergei
- Call for papers: Mathematical Foundations of Programming Semantics 2023
Paul Levy
- Solution to Friedman's problem regarding Bolzano Weierstrass
Andreas Weiermann
- Universal Algebraic Logic - Dedicated to the Unity of Science / LUW January 25, 2023 at 4pm CET
jean-yves beziau
- 29th WoLLIC 2023 - 2nd Call for Papers
Ruy Jose Guerra Barretto de Queiroz
- Mathematics with the potential infinite
Matthias
- Call for Participation: Logic Mentoring Workshop at CSL'23, Feb 17, Warsaw
Michaël Cadilhac
- CiE 2023: FINAL CALL FOR PAPERS
acie at acie.eu
- Two PhD Positions in AUTOSARD
Georg Moser
- JOB: Assistant Prof, Logic & Philosophy of Data Science/AI (including ethics)
Sara L. Uckelman
- Re: Mathematics with the potential infinite
Vaughan Pratt
- Martian math
Josef Urban
- Re: Mathematics with the potential infinite
Vaughan Pratt
- CfP: Special Issue of Australasian Journal of Logic on Women in/and Logic
Sara L. Uckelman
- LOGICA 2023 -- 1st CFP
Igor Sedlar
Last message date:
Tue Jan 31 20:54:56 EST 2023
Archived on: Wed Feb 1 21:26:56 EST 2023
This archive was generated by
Pipermail 0.09 (Mailman edition).