February 2023 Archives by thread
Starting: Thu Feb 2 00:07:56 EST 2023
Ending: Tue Feb 28 15:33:48 EST 2023
Messages: 89
- RE: Mathematics with the potential infinite - not so fast Zeno
dennis.hamilton at acm.org
- On the set of all unique genuine numbers
I.V. Serov
- Arthur Schopenhauer: Logic and Dialectic / Internet Encyclopedia of Philosophy
jean-yves beziau
- Re[2]: Mathematics with the potential infinite
Matthias
- One PhD and Two Postdocs in Logic, Gothenburg (Sweden)
Graham Leigh
- CFP: Australasian Logic Colloquium (6-7 November, Brisbane, Australia)
Guillermo Badia
- RE: Mathematics with the potential infinite - some inexhaustible?
dennis.hamilton at acm.org
- A question about finitism
Arnon Avron
- Mathematics with the potential infinite
Vaughan Pratt
- Actual and Potential infinite
JOSEPH SHIPMAN
- _Mathematics with the G structure_
I.V. Serov
- Last Call for Participation: Logic Mentoring Workshop at CSL'23, Feb 17, Warsaw
Michaël Cadilhac
- Nordic Online Logic Seminar: next talk on 27 February by Sven Ove Hansson
Graham Leigh
- special issue of Journal of Logic and Analysis dedicated to the 75th birthday of Dieter Spreen
Maria Emilia Maietti
- SCAN 2023: Call for Submissions
Stanislav Speranski
- Indian Religions and the Concept of God: An Online Workshop, 13-14 Feb 2023, 9am CET (13 Feb only) and 3pm CET
FRANCISCO MARIANO
- CfP: Special Issue of the Logic Journal of the IGPL on Connexive Logic
Fernando Cano J.
- Finitism
WILLIAM TAIT
- HoTT/UF 2023: 2nd Call for Contributions
Jonathan Weinberger
- Soliciting quality logic-related book reviews for Studia Logica
Adam Trybus
- CiE 2023: FINAL CALL FOR PAPERS (EXTENDED DEADLINE)
acie at acie.eu
- Two Queries about Univalent Foundations
JOSEPH SHIPMAN
- Mathematics with the potential or actual infinite or without emptiness
I.V. Serov
- TABLEAUX 2023 - PRELIMINARY CALL FOR PAPERS
Josef Urban
- What differentiates FOM from other religions?
Vaughan Pratt
- FOM Digest, Vol 242, Issue 10
Vaughan Pratt
- 2nd Call for Papers: LOGIC COLLOQUIUM 2023, University of Milan (Italy)
gprimiero at libero.it
- CFP: LPAR-24 (Logic for Programming, Artificial Intelligence and Reasoning)
David Fuenmayor
- LUW Feb 15 - Lindenbaum-type Logical Structures by Sayantan Roy
jean-yves beziau
- Midlands Graduate School in the Foundations of Computing Science 2023
Paul Levy
- computationally bounded observers and non-constructive mathematics
José Manuel Rodríguez Caballero
- 29th WoLLIC 2023 - 3rd Call for Papers (DEADLINE APPROACHING)
Ruy Jose Guerra Barretto de Queiroz
- CfA: HaPoC 2023 - 7th International Conference on the History and Philosophy of Computing, first call
Kubiak Adam
- CFP TYPES 2023
Eduardo Hermo Reyes
- 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<)
Ruy Jose Guerra Barretto de Queiroz
- HoTT/UF 2023: Deadline extended / 3rd Call for Contributions
Jonathan Weinberger
- new manuscript on conservative view of new axioms
martdowd at aol.com
- University of Leeds Lecturer or Associate Professor in Pure Mathematics
Paul Shafer
- Abstract Categorical Logic / Isabelle Bloch / LUW February 22
jean-yves beziau
- 1st Call for Contributions - Women in Logic Workshop (WiL 2023)
Tephilla Prince
- The Lost World of Genesis One: The Logic and Religion Webinar, February 23
FRANCISCO MARIANO
- UQ Philosophy Seminar: next talk by Alexander Paseau (Friday 3 March, Zoom)
Guillermo Badia
- monads and Turing machines
José Manuel Rodríguez Caballero
- LOGICA 2023 - 2nd CFP
Igor Sedlar
- 29th WoLLIC 2023 - FINAL Call for Papers (>>>>DEADLINE RE-EXTENDED<<<<)
Ruy Jose Guerra Barretto de Queiroz
- SILFS Triennial Conference 2023 - Urbino
Pierluigi Graziani
Last message date:
Tue Feb 28 15:33:48 EST 2023
Archived on: Thu Mar 2 00:33:29 EST 2023
This archive was generated by
Pipermail 0.09 (Mailman edition).