This is a list of past ILDS events. For upcoming events, click here.

- Workshop: LLMs for Romanian (28 September 2024)
- FROM 2024 (16-18 September 2024)
- Proof mining and probability, talk at the Proof Mining Seminar (31 July 2024)
- The Age of Algorithms Workshop (20 June 2024)
- Trees, algorithms and logics: A calculator for Priest’s Introduction to Non-classical Logics, talk at the Logic Seminar (6 June 2024)
- The sharp power law of local search on expanders, talk at the Logic Seminar (23 May 2024)
- On recurrent sequences of integers, talk at the Logic Seminar (16 May 2024)
- Deep Blockchain Fundamentals Workshop (11 May 2024)
- On representability by arithmetic terms, talk at the Logic Seminar (18 April 2024)
- Partial (co)recursive functions in Coq and Lean, talk at the Logic Seminar (4 April 2024)
- Equilibria in multiagent online problems with predictions, talk at the Logic Seminar (28 March 2024)
- Nitro NLP, 3rd edition (23-28 March 2024)
- Modal logic for program specification, talk at the Logic Seminar (21 March 2024)
- Duality, Fréchet Differentiability and Bregman Distances in Hyperbolic Space, talk at the Proof Mining Seminar (20 March 2024)
- An institution-theoretic approach to bisimilarity, talk at the Logic Seminar (14 March 2024)
- Generalized Fejér Monotone Sequences, talk at the Proof Mining Seminar (13 March 2024)
- (Post-)Quantum Cryptography II, talk at the Logic Seminar (7 March 2024)
- On generalizations to Nonlinear Smooth Spaces, talk at the Proof Mining Seminar (6 March 2024)
- A Free Logic for Fictionalism II, talk at the Logic Seminar (29 February 2024)
- (Post-)Quantum Cryptography, talk at the Logic Seminar (22 February 2024)
- The logic of gradable adjectives: a layered supervaluationism and parametrized degree-theory II, talk at the Logic Seminar (8 February 2024)
- The logic of gradable adjectives: a layered supervaluationism and parametrized degree-theory, talk at the Logic Seminar (25 January 2024)
- Formalizing Hybrid Modal Logic in Lean, talk at the Logic Seminar (11 January 2024)
- Short talks at the Data Science Seminar: Language-Agnostic Causality Trees on Argumentative Texts
*and*Raman spectroscopy for tumor detection (15 December 2023) - AI for Chemistry seminar (15 December 2023)
- A Free Logic for Fictionalism, talk at the Logic Seminar (14 December 2023)
- Using SAT Solvers to Investigate the Erdős–Szekeres Conjecture for \(e(7) = 33\), talk at the Logic Seminar (7 December 2023)
- Inversion results and base-completeness for two approaches to proof-theoretic validity, talk at the Logic Seminar (23 November 2023)
- Yet another formalization of matching logic in Coq, talk at the Logic Seminar (9 November 2023)
- Using Z3 to Verify Inferences in Fragments of Linear Logic, talk at the Logic Seminar (2 November 2023)
- Conway’s Army Percolation, talk at the Logic Seminar (26 October 2023)
- Matching Logic in Lean, talk at the Logic Seminar (19 October 2023)
- Quantum Randomness, talk at the Logic Seminar (28 September 2023)
- FROM 2023 (21-22 September 2023)
- ILDS-FMI Coq and Lean Autumn School 2023 (18-20 September 2023)
- Type Theory Working Seminar meeting (14 September 2023)
- Type Theory Working Seminar meeting (7 September 2023)
- Type Theory Working Seminar meeting (28 August 2023)
- The strange case of Dykstra’s algorithm, talk at the Proof Mining Seminar (26 July 2023)
- Type Theory Working Seminar meeting (24 July 2023)
- Type Theory Working Seminar meeting (10 July 2023)
- Reasoning by brute force II, talk at the Logic Seminar (22 June 2023)
- Does every computably enumerable set admit a univocal Diophantine specification?, talk at the Logic Seminar (25 May 2023)
- Local Codes for Insertion and Deletion Errors, talk at the Logic Seminar, joint with the TCS Seminar (18 May 2023)
- Securing the Chain: Blockchain, AI, and the Future of Trust, special edition of the Blockchain Seminar (18 May 2023)
- The Tikhonov-Mann iteration for families of mappings, talk at the Proof Mining Seminar (10 May 2023)
- The computational content of super strongly nonexpansive mappings, talk at the Logic Seminar (27 April 2023)
- Machine learning on signed networks and time series analysis with applications to finance, talk at the Data Science Seminar (12 April 2023)
- Testing blockchains – a survey of state of the art (Part II), talk at the Blockchain Seminar (10 April 2023)
- VLSM: A General Framework for Reasoning About Faulty Distributed Systems II, talk at the Logic Seminar (6 April 2023)
- VLSM: A General Framework for Reasoning About Faulty Distributed Systems, talk at the Logic Seminar (30 March 2023)
- Testing blockchains – a survey of state of the art (Part I), talk at the Blockchain Seminar (27 March 2023)
- RV/ILDS Blockchain Workshop (22-23 March 2023)
- Zero-knowledge proofs, talk at the Logic Seminar (16 March 2023)
- Continuous, Gradual Entity Mining from Web Data Streams, talk at the Data Science Seminar (16 March 2023)
- Implementing Program Verification in the 𝕂 Framework, talk at the Logic Seminar (9 March 2023)
- Semantics for Quantified Modal Logics, talk at the Logic Seminar (2 March 2023)
- A Method for Secure Generation, Exchange and Management of a User Identity Data using a Blockchain (Part II), talk at the Blockchain Seminar (27 February 2023)
- A short guide to implementing theorem provers, talk at the Logic Seminar (16 February 2023)
- A Method for Secure Generation, Exchange and Management of a User Identity Data using a Blockchain (Part I), talk at the Blockchain Seminar (13 February 2023)
- Cover Languages — Main Results and Applications, talk at the Logic Seminar (2 February 2023)
- An architectural approach for self-sovereign identity using blockchain, talk at the Blockchain Seminar (30 January 2023)
- RV/ILDS/LOS InFormal Workshop on Logics (26 January 2023)
- A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications, talk at the Proof Mining Seminar (11 January 2023)
- Blockchain Security in the context of GDPR and IoT, talk at the Blockchain Seminar (9 January 2023)
- Julia Robinson, existential definability, and Hilbert’s 10th problem, talk at the Logic Seminar (24 November 2022)
- A notational extension of classical first-order logic to deal with vague language, talk at the Logic Seminar (17 November 2022)
- Possibility theory and the arithmetic of fuzzy numbers, talk at the Logic Seminar (10 November 2022)
- Lean-certified Dynamic Epistemic Logic with Actions for Security Protocols, talk at the Logic Seminar (3 November 2022)
- On a theorem of Gallai and related questions, talk at the Logic Seminar (20 October 2022)
- On the Expressiveness of a Logic of Separated Relations, talk at the Logic Seminar (19 July 2022)
- Dedukti, talk at the Logic Seminar (15 July 2022)
- On the Borel-Cantelli Lemmas, the Erdős–Rényi Theorem, and the Kochen-Stone Theorem, talk at the Proof Mining Seminar (13 July 2022)
- The alternating Halpern-Mann iteration, talk at the Proof Mining Seminar (6 July 2022)
- Proof mining for maximally monotone set-valued operators, talk at the Proof Mining Seminar (29 June 2022)