April 2021 Archives by subject
Starting: Thu Apr 1 05:17:39 EDT 2021
Ending: Fri Apr 30 13:14:59 EDT 2021
Messages: 38
- 27th WoLLIC 2021 - 2nd Call for Papers
Ruy Jose Guerra Barretto de Queiroz
- 2nd Pieri book
James T Smith
- 7th WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC - CRETE - 2022
jean-yves beziau
- 880: Tangible Updates/1
Harvey Friedman
- 881: Some Logical Thresholds
Harvey Friedman
- 881: Some Logical Thresholds (Harvey Friedman)
Juan P. Aguilera
- Call for Tutorials and Workshops: FroCoS 2021 & TABLEAUX 2021. 6-10 September, 2021. Birmingham, UK.
anupamdotdas at gmail.com
- CfP: CompLingInfoReasAI'21 : Computational Linguistics, Information, Reasoning, and AI 2021
Roussanka Loukanova
- CfP: Computational Linguistics, Information, Reasoning, and AI 2021 (CompLingInfoReasAI'21)
Roussanka Loukanova
- CfP: New Deadline: CompLingInfoReasAI'21 / Computational Linguistics, Information, Reasoning, and AI 2021
Roussanka Loukanova
- CiE2021: Call for Informal Presentations
gprimiero at libero.it
- DEADLINE EXTENSION: Theorem-Proving Components for Educational Software (ThEdu'21)
Joao Marcos
- Diamond and Square
JOSEPH SHIPMAN
- HaPoC 2021: Extended Deadline May 3rd 2021
gprimiero at libero.it
- HaPoC 2021: Second Call for Abstracts
gprimiero at libero.it
- How small is aleph_1?
JOSEPH SHIPMAN
- How small is aleph_1?
Monroe Eskew
- Incomparable consistency strengths
JOSEPH SHIPMAN
- Incomparable consistency strengths
Anton Freund
- Incomparable consistency strengths
Mirko Engler
- Incomparable consistency strengths
JOSEPH SHIPMAN
- Incomparable consistency strengths
Mirko Engler
- Incomparable consistency strengths
JOSEPH SHIPMAN
- Independence results inspired by Friedman style miniaturizations
Andreas Weiermann
- lecture series on tangible incompleteness by Harvey M. Friedman
Andreas Weiermann
- Logical Perspectives 2021
Stanislav Speranski
- Logica Universalis Webinar - April 14 - UNILOG’2022: 7th World Congress and School on Universal Logic April 1-11, 2022 by Jean-Yves Beziau
jean-yves beziau
- LUW 4 pm CET Stephen Read: Swyneshed, Aristotle and the Rule of Contradictory Pairs
jean-yves beziau
- New paper on Cook's conjecture
martdowd at aol.com
- Nordic online logic seminar: Zoom talk by Jouko Väänänen on April 26
Graham Leigh
- On Lev Gordeev's "On P Versus NP"
Timothy Y. Chow
- On Lev Gordeev's "On P Versus NP"
Lew Gordeew
- Presburger open questions
JOSEPH SHIPMAN
- TABLEAUX 2021 – Final Call for Papers. **Extended deadlines**. 6-9 September, 2021. Birmingham, UK.
anupamdotdas at gmail.com
- Team semantics
Vaughan Pratt
- Thomas Strahm (1965-2021)
Martin Davis
- Why is progress in mathematics possible? A computational approach to answer this question.
José Manuel Rodríguez Caballero
- Workshop "Fictionalism" in Philosophy of Mathematics (online), April 8-9 - **Updated Program**
Brice Halimi
Last message date:
Fri Apr 30 13:14:59 EDT 2021
Archived on: Mon May 3 00:59:24 EDT 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).