This is a list of past ILDS events. For upcoming events, click here.
- 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)