Recently posted
- Quatre postes d'EC au LMF en 2025
- Un poste d'enseignant·e-chercheur·e (professeur·e) à l'ENS Paris-Saclay
- Un poste d'enseignant·e-chercheur·e (professeur·e) à la Faculté des Sciences, Université Paris-Saclay
- Un poste d'enseignant·e-chercheur·e (maître·sse de conférences) à la Faculté des Sciences, Université Paris-Saclay
- Un poste d'enseignant·e-chercheur·e (maître·sse de conférences) à Polytech, Université Paris-Saclay
- Extending Isabelle/HOLBee with Support for Refinements
- Generating a User-Manual with and for Isabelle/DOF
- Connecting Isabelle/C with Isabelle/Clean
Categories
- Academie
- Approximations
- Awards
- Books
- CEGAR
- Certificates
- Computer-Security
- Concurrency
- Conferences
- Coq
- Decodeuses
- Diagnosability
- Dissemination
- Editorial
- Event-B
- EventB
- Festschrift
- GDR-Securite
- HDR
- Hybrid-Automata
- Invited-Professor
- Isabelle
- Isabelleoc
- Journees-GDR
- Journees-LMF
- JourneesLMF
- Livre
- MEXICO
- Modeling
- MT180s
- News
- PhD
- PINN
- PosteEC
- Presse
- Publications
- Quantum
- RecentChanges
- Refinement
- Seminar-LMF
- SMT
- Soutenance
- Soutenance-Certificates
- Soutenance-PhD
- Stage-L3
- Stage-L3-Stage-M1
- Stage-M1
- Stage-M2
- Stage-PostD
- Stage-PostDoc
- StageM2
- Startup
- SummerSchool
- SystemX
- Testing
- Time
- Timed-Automata
- Timed-Systems
- Vacancies
- Verification
- Why3
- Worhshop
- Work
- Workshop
- Workshops
- ZX-Calculus