European Summer School for Logic, Language and Information 2025 in Bochum, Germany:
- 47 courses & workshops
- 4 exciting evening lectures
- social events
- explore the Ruhr area
Early bird registration deadline: May 31!
#esslli2025 #esslli #logic #linguistics #compSci #nlproc #summerSchool #rub https://2025.esslli.eu/
Edit: Boosts appreciated 
"The barber shaves the man" and "the man shaves himself" aren't mutually exclusive. #logic
How can #LanguageModels optimize tradeoffs between performance and inference costs?
Meta-reasoner's "contextual multi-armed bandits" made the best trades on #math and #logic tasks by iteratively checking opportunities to redirect, correct, and optimize.
There is no #logic here. #Texas #Republicans have jumped the shark with three breathtakingly #stupid #bills targeting #RenewableEnergy in their state which, I remind you, has the worst, most vulnerable power grid in the #US.
Texas Senate passes bill requiring solar plants to provide power at night
https://thehill.com/policy/equilibrium-sustainability/5292792-texas-senate-bill-power-cost/
Lógicas de orden superior y verificación formal [Slides]. ~ Lourdes del Carmen González Huesca. https://drive.google.com/drive/folders/1cE1a0N-2ZMrVx8i58W0KG8s3KMVHawZn #Logic #Math #Haskell #FunctionalProgramming #ITP #Coq #Rocq
Lógicas de orden superior y verificación formal. ~ Lourdes del Carmen González Huesca. https://youtu.be/9uTD7BMvbjw #Logic #Math #Haskell #FunctionalProgramming #ITP #Coq #Rocq
ProofBuddy (How it started, how it's going). ~ Nadine Karsten, Kim Jana Eiken, Uwe Nestmann. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ThEdu24.6.pdf #ITP #IsabelleHOL #Logic #Teaching
Minimal sequent calculus for teaching first-order logic: Lessons learned. ~ Jørgen Villadsen. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ThEdu24.5.pdf #ITP #IsabelleHOL #Logic #Teaching
OnlineProver: Experience with a visualisation tool for teaching formal proofs. ~ Ján Perháč et als. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ThEdu24.4.pdf #ITP #Logic #Teaching
Sharing a Wordle-like game where you have to guess a Kripke model: https://www.cannorin.net/kripke
Made by a friend doing his PhD in Kobe University and doing very cool things on provability logics.
Finding myself on this selection of accepted papers for TYPES 2025 gives me the “Big Bird turning up to a meeting to which he isn’t qualified” vibe, but regardless, I’m really looking forward to hanging out in Glasgow next month and learning lots of type theory.
"Knowledge is complicated. There are infinite events that lead to a result event you cannot know.
The addition of information can make you change your mind about something."
Maria Karvouni Truth
The Impossible Proof Of Knowing Nothing
To all the linguists out there, does the word "either" in the phrase "either A or B" add an "x" to its "or" to create "XOR" (exclusive OR)?: "A xor B".
Or is "either A or B" synonymus with "A or B" in the logical sense?
Avaliando a habilidade do ChatGPT de realizar provas de dedução natural em lógica proposicional e lógica de predicados. ~ Francisco Leonardo Batista Martins et als. https://journals-sol.sbc.org.br/index.php/rbie/article/download/4500/3206 #LLLms #ChatGPT #Logic
Readings shared May 1, 2025. https://jaalonso.github.io/vestigium/posts/2025/05/01-readings_shared_05-01-25 #AI #Education #ITP #LLMs #LeanProver #Logic #Math
Iltis: Learning Logic in the Web. ~ Gaetano Geck et als. (2022). https://arxiv.org/abs/2105.05763v3 #Logic #Teaching
