Talks

Formal Foundations of Consistency in Model-Driven Development
KeY Symposium 2024
Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer
Jul 1, 2024
Slides
Graph transformation for geometric modeling
MICS Laboratory Seminar
Romain Pascual
Dec 14, 2023
Slides
Consistent geometric modeling operations
Formal Methods research seminar
Romain Pascual
Nov 16, 2023
Slides
Graph transformations and application to geometric modeling
Groupe de travail toposique
Romain Pascual
Nov 10, 2023
Slides
An approach for inferring geometric expressions in topology-based modeling
FM&AI working group
Romain Pascual, Pascale Le Gall
Oct 6, 2023
Slides
Transformations de graphes décorés, Application aux opérations de modélisation géométrique
EJCIM
Pascale Le Gall, Romain Pascual
Jun 22, 2023
Slides
Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique
AFADL 2023
Romain Pascual, Pascale Le Gall, Hakim Belhaouri, Agnès Arnould
Jun 8, 2023
Slides
Graph transformation: a tool for designing geometric modeling operations
APR seminar
Romain Pascual
Apr 11, 2023
Slides
Inference of geometric modeling operations
JNIM 2023
Romain Pascual, Hakim Belhaouari, Pascale Le Gall, Agnès Arnould
Apr 4, 2023
Poster
Graph transformation for reasoning about geometric modeling operations
PPS seminar
Romain Pascual
Mar 30, 2023
Slides