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

- (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)