| CARVIEW |
Select Language
HTTP/2 301
server: nginx/1.24.0 (Ubuntu)
date: Sun, 18 Jan 2026 01:47:23 GMT
content-type: text/html; charset=iso-8859-1
content-length: 239
location: https://fm.fbk.eu/projects/fair/
strict-transport-security: max-age=31536000; includeSubDomains
HTTP/1.1 301 Moved Permanently
Server: nginx/1.24.0 (Ubuntu)
Date: Sun, 18 Jan 2026 01:47:24 GMT
Content-Type: text/html
Content-Length: 178
Connection: keep-alive
Location: https://fm.fbk.eu/projects/fair/
HTTP/2 200
server: nginx/1.24.0 (Ubuntu)
date: Sun, 18 Jan 2026 01:47:24 GMT
content-type: text/html
content-length: 2368
last-modified: Wed, 07 Jan 2026 16:11:17 GMT
etag: "2017-647ce8aca26a2-gzip"
accept-ranges: bytes
vary: Accept-Encoding
content-encoding: gzip
strict-transport-security: max-age=31536000; includeSubDomains
FAIR | Formal Methods for Systems and Software Design Unit
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.
Recent Posts
-
New project with RFI: ACC3-OPERA
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics (2nd call)
-
New Software Developer Position for ACC3
-
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