Romain Pascual
  • About Me
  • Publications
  • Talks
  • Experience
  • Projects
  • Teaching
  • Projects
  • Experience
  • Projects
    • JerboaStudio
    • Jerboa
  • Publications
    • Instantiation of Jerboa Rule Schemes, a Set-based Explanation
    • A Note on Los's Theorem for Kripke-Joyal Semantics
    • Formal Foundations of Consistency in Model-Driven Development
    • A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis
    • Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering
    • Ultraproducts in abstract categorical logic
    • Exploitation of local adjacencies for parallel construction of a Reeb graph variant: cerebral vascular tree case
    • Transformations de graphes décorés
    • Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique
    • Inference of graph transformation rules for the design of geometric modeling operations
    • Preserving consistency in geometric modeling with graph transformations
    • Inferring topological operations on generalized maps: Application to subdivision schemes
    • A First Step Towards the Inference of Geological Topological Operations
    • Topological consistency preservation with graph transformation schemes
  • Talks
    • Formal Foundations of Consistency in Model-Driven Development
    • Formal Foundations of Consistency in Model-Driven Development
    • Graph transformation for geometric modeling
    • Consistent geometric modeling operations
    • Graph transformations and application to geometric modeling
    • An approach for inferring geometric expressions in topology-based modeling
    • Transformations de graphes décorés, Application aux opérations de modélisation géométrique
    • Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique
    • Graph transformation: a tool for designing geometric modeling operations
    • Inference of geometric modeling operations
    • Graph transformation for reasoning about geometric modeling operations
    • Inférence d’opérations de modélisation géométrique
    • Inference of graph transformation rules for the design of geometric modeling operations
    • Inference of graph transformation rules for the design of geometric modeling operations
    • Inference of geometric modeling operations using generalized maps
    • Déduction topologique et géométrique pour l'inférence d'opérations de modélisation
    • Graph rewriting for topology-based geometric modeling
    • Des outils de modélisation sur mesure
    • Combinatorial maps: transformations and application to geometric modeling
    • Aide à la conception d'opérations topologiques par inférence
    • Transformations de graphes pour la modélisation géométrique : Des cartes généralisées aux cartes orientées
  • Teaching
    • A Journey into Automated Reasoning
    • Formal Systems II: Theory
    • Theoretical Computer Science
    • Computational approach to games
    • Algorithmic and Complexity
    • Language and Automata
    • Logic modeling and formal systems
    • Coding Weeks
    • Computer science refresher course
    • Information Systems and Programming
  • A Journey into Automated Reasoning
  • Formal Systems II: Theory
  • Theoretical Computer Science
  • Computational approach to games
  • Algorithmic and Complexity
  • Language and Automata
  • Logic modeling and formal systems
  • Coding Weeks
  • Computer science refresher course
  • Information Systems and Programming
Teaching
A Journey into Automated Reasoning

A Journey into Automated Reasoning

Seminar for the 2nd year Students in the Bachelor AIDAMS.

  • Slides presented in the seminar.
  • Demo file for the graph coloring problem.
  • Exercises.
  • Tutorial.
Last updated on Apr 17, 2025
Formal Systems II: Theory May 1, 2024 →

© 2022 Romain Pascual

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.