Embedded Files
- Association for Symbolic Logic # JSL | BSL | RSL (direct links to Cambridge Core archives)
- FOM (Foundations of Mathematics - Forum) | Current FOM Archives
- ArXiv (Cornell) # Logic | ArXiv (Cornell) # Logic in Computer Science
- Provers: Nuprl | Coq | Isabelle | Agda | Lean | Minlog
- Research Gate
- PhilPapers / Philosophy of Mathematics
- Academia.edu - Foundations of Mathematics
- Logic and Set Theory around the world
- Intuitionistic Type Theory or Martin-Löf’s Type Theory
- "The collected works" of Per Martin-Löf
- Per Martin-Löf: Transcriptions (new! Sept. 2022)
- Type Theory | HoTT :: Homotopy Type Theory
- Computability in Europe [CIE]
- The logic Supergroup
- The Proof Theory Blog
- Constructive News (Google group)
- The n-Category Café
- Logblog (Richard Zach's Logic Blog)
- Howard on Curry-Howard
- Gottlob Frege | Begriffsschrift | Frege's Theorem and Foundations for Arithmetic
- David Hilbert - Hilbert's Program | The Foundations of Mathematics (1927) | Mathematical Problems (1900)
- L.E.J. Brouwer - Lectures on Intuitionism (1951) | Intuitionism and Formalism (1913)
- Kurt Gödel - On formally undecidable propositions of Principia Mathematica and related systems I (1931)
- Alfred Tarski | The Concept of Truth in Formalized Languages (1956 english tr. of german 1935)
- Stanford Encyclopedia of Philosophy (Many entries on Logic and Foundations)
- Mathematics Genealogy Project
# ASL Newsletter April 2025
# ASL Newsletter April 2025
Attachments:
In this issue:
ASL Announcements
2024 Sacks Prize Awarded
2025 Sacks Prize
ASL membership renewal for 2025
Links to Articles
Open-Access Options for ASL Journals
ASL Sponsorship of Meetings
Call for Conference Proposals
Student Travel Awards
Student Travel Awards: ASL and ASL-Sponsored Meetings
ASL Meetings
2025 North American Annual Meeting
2025 Logic Colloquium (European Summer Meeting)
Asian Logic Conference
Rules for Abstracts
ASL Sponsored Meetings
Logicon
Model theory of tame expansions of topological fields
Computability, Complexity, and Randomness
30th Workshop on Logic, Language, Information and Computation
Computability in Europe
Logic, Algebra, and Truth Degrees
Conference for Jörg Brendle's 60th Birthday
Young Set Theory 2025
CICM & LSFA
2025 Annual Meeting of the Australasian Association for Logic
Other Meetings
Northeast Model Theory Day '25
XXI Brazilian Logic Conference (EBL)
Graduate Logic Summer School
Shelah 80th Birthday Conference and VOrST
Journées sur les Arithmétiques Faibles (Weak Arithmetic Days)
Polish Congress of Logic
10th International Conference on Logic, Rationality, and Interaction
In Memoriam
Zoé Chatzidakis (1955-2025)
Wolfram Pohlers (1943-2024)
Thomas Streicher (1958-2025)
Krister Segerberg (1936-2025)
Other Announcements
Ph.D. Abstracts in the Bulletin of Symbolic Logic
The next newsletter will be sent in September 2025. Items to be included should reach the Secretary-Treasurers or asl@uconn.edu by August 31, 2025.
Per Martin Löf: How did 'judgement' come to be a term of logic ?
Steve Awodey: Mac Lane and Carnap's Logical Syntax of Language
Mark van Atten: Brouwer and the Mathematics of the Continuum
Peter Koellner: Kurt Gödel Centenary Research Prize Fellowship Lecture
Google Sites
Report abuse