Logo IRISA      logo Inria

Le séminaire en bref

Le séminaire 68NQRT est un séminaire commun de l'IRISA et d'Inria Rennes. Il a généralement lieu le jeudi à 14 heures dans la salle Markov. Les thèmes du séminaire recouvrent des thèmes étudiés dans les départements « réseaux, télécommunication et services » et « langage et génie logiciel » de l'IRISA, ou des thèmes « Algorithmique, programmation, logiciels et architectures » et  « Réseaux, systèmes et services, calcul distribué » d'Inria. On y trouve des exposés introductifs, avancés ou prospectifs dans les thèmes du génie logiciel, de l'informatique théorique, des mathématiques discrètes et de l'intelligence artificielle.

D'après Mathematical Subject Classification :
68 Computer Science
N Software
Q Theory of computing
R Discrete mathematics in relation to computer science
T Artificial intelligence

Prochain Exposé

jeudi 2 mars, 14h (salle à confirmer)

Ciprian Teodorov (Lab-STICC, ENSTA Bretagne)

Context-aware Verification with OBP

With an ever-increasing complexity, the verification of critical embedded systems is a challenging and expensive task. Among the available formal methods, model-checking offers a high level of automation and would thus lower the cost of this process. But, the scalability of this technique is hindered by the state-space explosion problem, which fueled the research community since its inception. To address this challenge, in the case of real size systems, the theoretical, the methodological and the algorithmic axes must be integrated. This presentation will overview the Context-aware Verification approach, which strives to do this by focusing on the identification, the isolation and the reification of the environment surrounding the studied system. It enables the use of specific algorithms with a major, positive, impact on the scalability of model-checking.
http://www.obpcdl.org

Exposés des semaines suivantes

jeudi 9 mars, 14h

Pierre-Yves Strub (To be confirmed)

To be Anounced

To Be Anounced

jeudi 30 mars, 14h

Jérémie Chalopin

A counterexample to Thiagarajan's conjecture on regular event structures