Skip to content
Institute for Logic and Data Science
Menu
  • Home
  • Research
    • Research Projects
    • Scientific Seminars
  • Events
  • People
  • Partners
  • About
    • About Us
    • Support us
    • Executive Board
    • Contact
Menu

Past Events

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)

Follow us

Subscribe to our RSS feed.

Subscribe

Support us

Looking for ways to support our research? Check out all the different opportunities!

Contact us

Interested in logic and/or data science research? Send an email to contact@ilds.ro

Institute for Logic and Data Science
Str. Popa Tatu nr. 18
010805 Bucharest, Romania
contact@ilds.ro

© 2023 Institute for Logic and Data Science | Powered by Minimalist Blog WordPress Theme