FAIR
The goal of the Future Artificial Intelligence Research (FAIR) project is to address the research questions, methodologies, models, technologies, and even ethical and legal rules for building Artificial Intelligence systems capable of interacting and collaborating with humans, perceiving and acting within changing contexts, being aware of their limitations and able to adapt to new situations, being aware of the perimeters of safety and trust, and being mindful of the environmental and social impacts their implementation and execution may entail.
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference