Search
The importance of information technology in our daily lives is forcing us to rely on algorithms and computer systems for increasingly crucial aspects
Presentation of the research directorate Proof assistants are particularly useful in the verification of hardware or software components for
As part of the SCRIME's 20th anniversary festival, come and listen to the trio concert by François Rossé, Étienne Rolin and Jean-Michel Rivet
Direction DIRECTOR Blanc Xavier ASSISTANT DIRECTOR Desbarats Pascal MISSION EXPENSES Bugeau Aurélie (societal and environmental impact) Chaumette
As part of the series of events organized as part of the SCRIME's 20th anniversary festival, come and listen to Laurent Soulié's monographic concert
"The Prehistory of SCRIME": first part of the series of events organized as part of SCRIME's 20th anniversary festival, Tuesday, May 17, Hemicyclia
As defined by the CNRS Ethics Committee (COMETS) in 2006: "The passion to know, to discover and to contribute to the common good, which conditions the
Team leader: Pierre Bénard - deputy : Fabien Lotte We design capture, display and multimodal interaction systems, and we study human-machine
Julien Leveau (SeD department, Progress team) will present his thesis entitled: "Conducting Exploratory Test sessions, a data-driven approach"
FEDER funding of the LSD platform (Lab In The Sky with Data)