Past events

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

Juliana Alves Pereira [DiverSE]

Petri-Turing

from 10:00 to 11:00

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

Théo GIRAUDET (DIVERSE)

Amphithéâtre Inria

from 10:00 to 12:00

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

Tony Law (EPICURE)

Petri-Turing

from 14:00 to 18:00

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

Sophia La Spina (EPICURE)

Aurigny

from 14:00 to 18:00

Journée du D4

Pétri / Turing

from 09:00 to 17:30

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

Maxime BRIDOUX (HYCOMES)

Salle Métivier

from 14:00 to 17:00

Incremental, Reproducible Builds of Software Variants

Georges Aaron RANDRIANAINA (DIVERSE)

Grand amphi

from 09:00 to 12:00

Supporting Metamodels and Code Co-evolution

Zohra Kaouter KEBAILI

Petri-Turing

from 13:00 to 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.

from 15:00 to 18:00

VaMoS

Espace conférences Inria

from Feb 04 09:00 to Feb 06 13:00

Automatic Program Verification by Inference of Relational Models

Théo Losekoot, EPICURE

Métivier

from 09:00 to 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

from 14:00 to 18:00