Si vous souhaitez être informé par courriel des annonces de séminaires, contactez
<img src="http://www.google.com/calendar/images/ext/gc_button1_en.gif" alt="google calendar"> | iCal
Séminaires à venir
Séminaires passés
- 27 avril 2017 : par George Karpenkov - VERIMAG - Finding Inductive Invariants using SMT Solving and Convex Optimization
- 22 mars 2017 : par George Karpenkov - VERIMAG - (PhD Defense Rehearsal): Finding Inductive Invariants using SMT Solving and Convex Optimization
- 10 janvier 2017 : par Cristina Serban - VERIMAG - Reasoning in the Bernays-Schonfinkel-Ramsey Fragment of Separation Logic
- 4 novembre 2016 : par George Karpenkov - VERIMAG - Formula Slicing: Inductive Invariants from Preconditions
- 7 octobre 2016 : par David Monniaux - CNRS / VERIMAG - Cell morphing: from array programs to array-free Horn clauses
- 14 juin 2016 : par Julien Braine - École normale supérieure de Lyon - Using abstract interpretation on Horn clauses: arrays and lists
- 7 juin 2016 : par Charlotte Truchet - Université de Nantes - constraints programming & abstract interpretation
- 23 mars 2016 : par Radu Iosif - Verimag - Selected TACAS 2016 Papers: a joint Software Analysis and Tempo seminar
- 3 mars 2016 : par George Karpenkov - VERIMAG - Introduction to SMT & JavaSMT: A Unified Library for Utilizing SMT Solvers
- 7 décembre 2015 : par Anicet Bart - École des Mines de Nantes / LINA - Verifying a Real-Time Language with Constraints
- 26 février 2015 : par George Karpenkov - VERIMAG - Scalable Code Analysis with Policy Iteration
- 17 décembre 2014 : par Radu IOSIF - VERIMAG - Deciding Entailments in Inductive Separation Logic with Tree Automata
- 14 octobre 2014 : par Antoine Miné - CNRS / ENS-Paris - tba
- 9 septembre 2014 : par Dorian Nogneng - École polytechnique - fonctions de Schur
- 6 juin 2014 : par Philipp Wendler - Universität Passau - Combining k-Induction with Continuously-Refined Invariants
- 2 juin 2014 : par Gustavo Grieco - Université de Rosario (Argentina) et Verimag - On some ideas for vulnerability discovery using Machine Learning
- 13 mai 2014 : par Sudakshina Das - Oxford University - Significance of Liveness based approach to Pointer Analysis
- 14 avril 2014 : par Cesare Tinelli - University of Iowa - Incremental Invariant Generation using Logic-based Automatic Abstract Transformers
- 31 mars 2014 : par Francesco Alberti - University of Lugano and VERIMAG - Decision Procedures for Flat Array Properties
- 25 mars 2014 : par Laurent Mounier - VERIMAG - Lazart : une approche symbolique pour évaluer la robustesse d'un code aux attaques par injection de fautes
- 18 mars 2014 : par Radu Iosif - Verimag - The Tree Width of Separation Logic with Recursive Definitions
- 11 mars 2014 : par Nicolas Halbwachs - Verimag - When the decreasing sequence fails...
- 4 mars 2014 : par David Monniaux - CNRS / VERIMAG - How to analyze arrays by distinguishing only a couple of cells
- 25 février 2014 : par Francesco Alberti - USI Lugano - Definability of Accelerated Relations in a Theory of Arrays and its Applications
- 18 février 2014 : par Radu Iosif - VERIMAG - Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops
- 2 décembre 2013 : par Thibault Gauthier - n/a - A higher order to first order translation
