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

Events

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

  • 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 II), talk at the Blockchain Seminar (10 April 2023)
  • ILDS Coq and Lean Autumn School 2023 (18-20 September 2023)
  • FROM 2023 (21-22 September 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