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

Category: Events

RV/ILDS Blockchain Workshop

Posted on March 6, 2023March 6, 2023 by Andrei SipoČ™

We announce the RV/ILDS Blockchain Workshop, an event focused on theoretical and practical aspects of blockchains, to be held on 22-23 March 2023.

Continue reading

RV/ILDS/LOS InFormal Workshop on Logics

Posted on January 20, 2023March 6, 2023 by Andrei SipoČ™

We announce the RV/ILDS/LOS InFormal Workshop on Logics, an event focused on formal specification and verification logics, to be held on 26 January 2023.

Continue reading

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