Home
>
Verimag
>
Seminars
Seminar details
salle A. Turing CE4
9 September 2014 - 14h30
fonctions de Schur
by Dorian Nogneng from École polytechnique
Résumé : Exposé du stage de Dorian Nogneng à University of Western Ontario.
Browsing
Sections
Verimag
Direction and Boards
Members
Publications
Tools
Ongoing Phd Thesis
Jobs and Internships
Projects
Partners
Workshops and Conferences
Seminars
Archives
Documents
Topics
Contact
Site Map
Building Access
News
Seminars
Seminars
12 November 2026
David Monniaux:
The existence of polyhedral invariants is undecidable for linear systems
19 November 2026
Clement Chavanon:
Barocq: a high-level programming language for efficient and verifiable embedded system (…)
26 November 2026
Basile Gros:
Proxy-based small inversions for the rocq prover (Phd)
New publications
Some Recent Publications
Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna:
Model checking of distributed algorithms using synchronous programs
Marius Bozga, Radu Iosif, Florian Zuleger:
Iterating Non-Aggregative Structure Compositions
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani:
Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
Jobs and internships
Jobs and internships
Contact
|
Site Map
|
Site powered by SPIP 4.4.28
+
AHUNTSIC
[CC License]
info visites
33839156
English
Français