Amazigh Amrane gives a talk at GALOP 2025

Research Area

Our selection of
key academic areas.

Teams

Artificial Intelligence Automata and Applications Digital Methods in the Humanities and Social Sciences Image Processing and Pattern Recognition Security and Systems

Axes

Machine Learning and Applications Software and Performance Robotics

Platforms

Where Theory Meets Silicon.

Computation Platform Systems Research Platform

Computation Platform Bridging Transparency and Performance at Scale. Learn More

Systems Research Platform Towards Verifiable Security and Digital Sovereignty. Learn More

Our Work

Advancing Science,
Sharing Discoveries.

Publications Projects Productions

Publications

Our publications allow us to share discoveries, validate results, and advance scientific knowledge.

Projects Our research laboratory actively contributes to collaborative projects, both academic and industrial. Learn More

Productions Our software, tools, and datasets available to everyone. Learn More

Programs & Events

Shaping the Scholars
of Today and
Tomorrow.

EPITA Research Specialization Seminars & Events

EPITA Research Specialization Our research specialization study path empowers students to delve deeply into specific academic fields. Learn More

Seminars & Events Seminars, conferences, workshops... Find out more about the scientific events organised by LRE. Learn More

Join Us

Intranet

Amazigh Amrane gives a talk at GALOP 2025

Amazigh Amrane gave a talk at GALOP 2025 on 19 July 2025 entitled "Monadic Second Order Logic for Higher Dimensional Automata".

About us

EPITA Research Laboratory.

Contact

LRE, EPITA
14-16, rue Voltaire
94270 Le Kremlin-Bicêtre
France