Browsing
News
Seminars
- Seminars
- 3 December 2020 Jacques Combaz: Introduction aux effets rebond [lien visio: https://veri-bbb.imag.fr/b/jac-lxa-inn-hnq]
- 11 December 2020 Marius Bozga: Compositional generation of invariants for timed systems
- 17 December 2020 Stéphane Devismes: Versatility and efficiency in self-stabilizing distributed systems (HDR)
- 11 February 2021 Franck Pommereau: To be announced
New publications
- Some Recent Publications
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
- Radu Iosif, Xiao Xu: Alternating Automata Modulo First Order Theories
- Sébastien Michelland, Pierre Corbineau, Lionel Rieg, Karine Altisen: A Decision Procedure for Equivalence Relations (abstract)
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
Jobs and internships
- Jobs and internships
- Certified compilation for security
- Convex polyhedra in floating point
- Decision Procedures for Separation Logic Modulo Theories of Data
- Local Reasoning about Reconfigurable Component-based Systems
- PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- Postdoctoral position at VERIMAG
