FORmal Methods and logic in Action
The FORMA (Formal methods and logic in action) working group is formed by a group of professors and
researchers from DIBRIS (Department of Informatics, Bioengineering, Robotics and Systems Engineering)
who share a logical-formal approach to research in various domains, including
the development of intelligent and multi-agent systems,
the development of theories and applications in programming languages,
software testing and verification, and
the specification, description, and analysis of cyber-physical systems.
The aim of the group is to promote collaborations, meetings, and projects centered around the use of
logical-formal tools for the development of education, scientific investigation, and the construction of
technological tools in the field of computer science. The group is open to other members of UniGe (students,
researchers, professors) who are interested in sharing the topics considered central to the group, both from
a theoretical and an applied perspective.