If you would like to be informed by email when a seminar is being held, please send an email to
<img src="http://www.google.com/calendar/images/ext/gc_button1_en.gif" alt="google calendar"> | iCal
Upcoming Seminars
Past Seminars
- 27 April 2017 : by George Karpenkov - VERIMAG - Finding Inductive Invariants using SMT Solving and Convex Optimization
- 22 March 2017 : by George Karpenkov - VERIMAG - (PhD Defense Rehearsal): Finding Inductive Invariants using SMT Solving and Convex Optimization
- 10 January 2017 : by Cristina Serban - VERIMAG - Reasoning in the Bernays-Schonfinkel-Ramsey Fragment of Separation Logic
- 4 November 2016 : by George Karpenkov - VERIMAG - Formula Slicing: Inductive Invariants from Preconditions
- 7 October 2016 : by David Monniaux - CNRS / VERIMAG - Cell morphing: from array programs to array-free Horn clauses
- 14 June 2016 : by Julien Braine - École normale supérieure de Lyon - Using abstract interpretation on Horn clauses: arrays and lists
- 7 June 2016 : by Charlotte Truchet - Université de Nantes - constraints programming & abstract interpretation
- 23 March 2016 : by Radu Iosif - Verimag - Selected TACAS 2016 Papers: a joint Software Analysis and Tempo seminar
- 3 March 2016 : by George Karpenkov - VERIMAG - Introduction to SMT & JavaSMT: A Unified Library for Utilizing SMT Solvers
- 7 December 2015 : by Anicet Bart - École des Mines de Nantes / LINA - Verifying a Real-Time Language with Constraints
- 26 February 2015 : by George Karpenkov - VERIMAG - Scalable Code Analysis with Policy Iteration
- 17 December 2014 : by Radu IOSIF - VERIMAG - Deciding Entailments in Inductive Separation Logic with Tree Automata
- 14 October 2014 : by Antoine Miné - CNRS / ENS-Paris - tba
- 9 September 2014 : by Dorian Nogneng - École polytechnique - fonctions de Schur
- 6 June 2014 : by Philipp Wendler - Universität Passau - Combining k-Induction with Continuously-Refined Invariants
- 2 June 2014 : by Gustavo Grieco - Université de Rosario (Argentina) et Verimag - On some ideas for vulnerability discovery using Machine Learning
- 13 May 2014 : by Sudakshina Das - Oxford University - Significance of Liveness based approach to Pointer Analysis
- 14 April 2014 : by Cesare Tinelli - University of Iowa - Incremental Invariant Generation using Logic-based Automatic Abstract Transformers
- 31 March 2014 : by Francesco Alberti - University of Lugano and VERIMAG - Decision Procedures for Flat Array Properties
- 25 March 2014 : by Laurent Mounier - VERIMAG - Lazart: a symbolic approach for evaluating the robustness of secured codes against control flow fault injections
- 18 March 2014 : by Radu Iosif - Verimag - The Tree Width of Separation Logic with Recursive Definitions
- 11 March 2014 : by Nicolas Halbwachs - Verimag - When the decreasing sequence fails...
- 4 March 2014 : by David Monniaux - CNRS / VERIMAG - How to analyze arrays by distinguishing only a couple of cells
- 25 February 2014 : by Francesco Alberti - USI Lugano - Definability of Accelerated Relations in a Theory of Arrays and its Applications
- 18 February 2014 : by Radu Iosif - VERIMAG - Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops
- 2 December 2013 : by Thibault Gauthier - n/a - A higher order to first order translation
