Evénements passés

AISE Lab Research at PUC-Rio, Brazil: Empirical Research, Intelligent Tools, and Human-Centered Development

Juliana Alves Pereira [DiverSE]

Petri-Turing

de 10:00 à 11:00

Plateforme collaborative pour la modélisation hétérogène

Théo GIRAUDET (DIVERSE)

Amphithéâtre Inria

de 10:00 à 12:00

Soutenance de thèse de Tony Law vendredi 20 février 2026 à 14h00 en salle Petri-Turing

Tony Law (EPICURE)

Petri-Turing

de 14:00 à 18:00

Soutenance de thèse de Sophia La Spina, EPICURE, mardi 16 décembre à 14h en salle Aurigny

Sophia La Spina (EPICURE)

Aurigny

de 14:00 à 18:00

Journée du D4

Pétri / Turing

de 09:00 à 17:30

Inférence et exploitation de conditions nécessaires pour l'existence de polynômes de Darboux

Maxime BRIDOUX (HYCOMES)

Salle Métivier

de 14:00 à 17:00

Incremental, Reproducible Builds of Software Variants

Georges Aaron RANDRIANAINA (DIVERSE)

Grand amphi

de 09:00 à 12:00

Supporting Metamodels and Code Co-evolution

Zohra Kaouter KEBAILI

Petri-Turing

de 13:00 à 17:00

Foundations of Attack-Defense Trees With Dynamic Semantics

Alexandre TEREFENKO

Mirzakhani du bâtiment De Vinci, sur le campus de la plaine de Nimy - 15 Avenue Victor Maistriau 7000 Mons.

de 15:00 à 18:00

VaMoS

Espace conférences Inria

du 04 fév 09:00 au 06 fév 13:00

Automatic Program Verification by Inference of Relational Models

Théo Losekoot, EPICURE

Métivier

de 09:00 à 13:00

Soutenance de thèse de Solène Mirliaz : "Analyse statique relationnelle de coût sur architecture superscalaire"

Solène Mirliaz

Salle du conseil à l'ENS Rennes

de 14:00 à 18:00