Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

International Initiatives

Participation In other International Programs


Participants : Haniel Barbosa, David Déharbe, Pablo Dobal, Pascal Fontaine, Stephan Merz.

VeriDis has a close working relationship with two South American teams at Universidade Federal do Rio Grande de Norte (UFRN), Brazil (more specifically with Prof. David Déharbe), and at Universidad Nacional de Córdoba, Argentina (more specifically with Prof. Carlos Areces). The STIC AmSud MISMT project, including both teams and VeriDis, started in 2014. It complements the MEALS project (section 9.3 ) and extends it to cooperation with UFRN.

The project is centered around Satisfiability Modulo Theories, with a focus on applications to Modal Logic [37] . Notably, the project supports the development of the veriT solver (section  6.4 ), of which David Déharbe and Pascal Fontaine are the main developers.

The project helped fund the stay of Haniel Barbosa in Natal (PhD in joint supervision between Nancy and Natal) from October to December, 2015. The project has been terminated prematurely due to funding problems.

Cooperation with NASA Ames Research Center, U.S.A.

Participant : Dominique Méry.

Joint work with Didier Fass of LORIA, Nancy.

Didier Fass and Dominique Méry have started a close working relationship with Brian Gore and his colleagues at the NASA Ames Reseach Center, Human Systems Integration Division (HSI). It is anticipated that collaboration among the researchers at NASA Ames and LORIA will lead to more formal understanding of the methods required to optimize human-systems integration issues in the design of complex human-automation systems.