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: Research Projects

Project in collaboration with arGO: Machine Learning Techniques for Computer Numerical Control Machines

Posted on February 4, 2023 by Andrei Sipoș

We are announcing a new research project, a collaboration with arGO, which has as its main goal the exploration of applications of machine learning (ML) algorithms aiding computer numeric control (CNC) machining.

Continue reading

New Project: Latent Space Curation through Hybrid Metaheuristics

Posted on December 19, 2022December 20, 2022 by Andrei Sipoș

We are announcing a new research project, a collaboration with the Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest; Ion Mincu University of Architecture and Urban Planning; International Center for Research and Education in Innovative Creative Technologies (CINETic); and the “Arhitectura Celuilalt” Association.

Continue reading

New Project: Common Representation for Normative Statements and Research Results

Posted on October 24, 2022October 24, 2022 by Andrei Sipoș

We are announcing a new research project, coordinated by Alexandru-Dan Corlan.

Continue reading

Project in collaboration with Runtime Verification: Matching Logic and Lean

Posted on July 25, 2022March 6, 2023 by Andrei Sipoș

The project marks the start of our partnership with Runtime Verification, and concerns the Lean formalization of Matching Logic.

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