Events agenda

Soutenance de thèse de Nicolas Waldburger, équipe DEVINE team : Parameterized verification of distributed shared-memory systems

Nicolas Waldburger

METIVIER

from 14:00 to 17:00

Mesurer et garantir le niveau de sécurité d’une architecture de SoS

Monica BUITRAGO (équipe SecReizh/Archware)

from 09:00 to 17:00

Designing languages for expressing dependencies in strategic reasoning

Dylan BELLIER

Salle Métivier

from 09:00 to 13:00

On the Security Risks of Open Source Consumption - Vulnerabilities and Supply-Chain Attacks in the Era of Open-Source-Based Software Development

Henrik PLATE

salle Petri-Turing

from 16:00 to 19:00

Soutenance de thèse Gwendal JOUNEAUX (DiverSE) - le 09/09/2024 à 14h00 en salle Petri-Turing

Gwendal JOUNEAUX

Petri-Turing

from 14:00 to 17:00

"Is It Time to Shift from Cybersecurity to Cyber Resilience?"

Prof. Mehdi Mirakhorli (University of Hawaii at Manoa)

- Vannes et Lorient : Salle immersive TPI SSI, Rennes : Salle immersive TPI ETI Beaulieu (PNRB)

from 10:30 to 12:00

MOVEP'24: 16th school on modelling and verification of parallel processes

from May 27 08:30 to May 31 16:00

Analyse Statique pour Sémantique Squelettique / Static Analysis for Skeletal Semantics.

Vincent Rébiscoul (EPICURE)

Petri-Turing

from 09:00 to 18:00

GT Daal - Data, Automata, Algebra & Logic - will take place at IRISA

from Apr 25 14:00 to Apr 26 18:00

Co-evolution in constantly evolving software systems .

Quentin LE DILAVREC (DiverSE)

Grand Amphi

from 09:00 to 12:00

Un voyage dans les modèles : du logiciel aux systèmes de systèmes socio-techniques

Nicolas BELLOIR

À l’Académie Militaire de Saint-Cyr Coëtquidan, Amphithéâtre CReC

Analyse Statique de Types Algébriques et de Tableaux/Static Analysis of Algebraic Data Types and Arrays

Santiago Sara Bautista

Markov

from 14:00 to 18:00