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

Author: Andrei Sipoș

Logic Seminar talk: Cover Languages — Main Results and Applications

Posted on January 28, 2023January 28, 2023 by Andrei Sipoș

On February 2, 2023 at 14:00 EET, Cezar Câmpeanu (University of Prince Edward Island) will give a talk in the Logic Seminar.

Continue reading

Blockchain Seminar talk: An architectural approach for self-sovereign identity using blockchain

Posted on January 26, 2023January 26, 2023 by Andrei Sipoș

On January 30, 2023 at 16:00 EET, Cristian Kevorchian (University of Bucharest) and Ștefania Niță (Ferdinand I Military Technical Academy & University of Bucharest) will give a talk in the Blockchain Seminar.

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

Proof Mining Seminar talk: A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications

Posted on January 5, 2023January 5, 2023 by Andrei Sipoș

On January 11, 2023 at 16:00 EET, Nicholas Pischke (TU Darmstadt) will give a talk in the Proof Mining Seminar.

Continue reading

Blockchain Seminar talk: Blockchain Security in the context of GDPR and IoT

Posted on January 4, 2023January 4, 2023 by Andrei Sipoș

On January 9, 2023 at 16:00 EET, Ștefania Niță (Ferdinand I Military Technical Academy & University of Bucharest) will give a talk in the new Blockchain Seminar.

Continue reading
  • Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • Next

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