Institute for Logic and Data Science https://validator.w3.org/feed/docs/rss2.html Past Events People Neuro-symbolic AI Seminar Neuro-symbolic AI — Past Talks Logic Seminar — Past Talks Logic Seminar Contact Scientific Seminars Former Associates Logic Seminar talk: Elementary closed forms for non-trivial divisors Proof Mining Seminar in 2024-2025 Research Projects Events Proof mining in optimization and nonlinear analysis Past Scientific Seminars Matching logic – theoretical foundations Research Partners Executive Board Matching Logic, Cryptography and Blockchains Matching Logic and Lean: The 𝕂 Connection Matching Logic and Lean: Foundations Past Research Projects LLM for Romanian Logic Seminar talk: 𝕂 definitions as Matching Logic theories Proof Mining Seminar — Past Talks Proof Mining Seminar About Us Logic Seminar talk: Doing and observing in (large) sequence models Logic Seminar talk: A Language-Theoretic Approach to the Heapability of Signed Permutations Logic Seminar talk: Alignment as Ontology, Why AI’s Worldview Matters Logic Seminar talk: Distinguishability Operation, Properties and Perspectives Logic Seminar talk: The minimal ontology of time Logic Seminar talk: Forcing, Transition Algebras, and Calculi Logic Seminar talk: Exploring Baaz’s generalization method and its geometric insights Proof Mining Seminar talk: Rates of (T-)asymptotic regularity of the generalized Krasnoselskii-Mann-type iteration LOS/IMAR/ILDS Logic Seminar in 2024-2025 Logic Seminar talk: Regular Grammars for Sets of Graphs of Tree-Width 2 Logic Seminar talk: Applications of C-recursive sequences to number theory Logic Seminar talk: What we cannot say Proof Mining Seminar talk: On the Halpern method with adaptive anchoring parameters Logic Seminar talk: Around Herbrand’s Theorem I Logic Seminar talk announcement: Intuitionistic propositional logic Proof Mining Seminar in 2021-2022 Proof Mining Seminar in 2023-2024 Logic Seminar talk: Intuitionistic propositional logic II Logic Seminar talk: Regularity and complete distributivity in fuzzy metric spaces and formal contexts Logic Seminar talk: Around Herbrand’s Theorem II Logic Seminar talk announcement: Arithmetic Terms III Logic Seminar talk: Trees, algorithms and logics II