Agenda des événements

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

Nicolas Waldburger

METIVIER

de 14:00 à 17:00

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

Monica BUITRAGO (équipe SecReizh/Archware)

de 09:00 à 17:00

Designing languages for expressing dependencies in strategic reasoning

Dylan BELLIER

Salle Métivier

de 09:00 à 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

de 16:00 à 19:00

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

Gwendal JOUNEAUX

Petri-Turing

de 14:00 à 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)

de 10:30 à 12:00

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

du 27 mai 08:30 au 31 mai 16:00

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

Vincent Rébiscoul (EPICURE)

Petri-Turing

de 09:00 à 18:00

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

du 25 avr 14:00 au 26 avr 18:00

Co-evolution in constantly evolving software systems .

Quentin LE DILAVREC (DiverSE)

Grand Amphi

de 09:00 à 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

de 14:00 à 18:00