Accepted papers

• Bertrand Jeannet. Some Experience on the Software engineering of Abstract Interpretation Tools
• Paul Feautrier and Laure Gonnord. Accelerated Invariant Generation for C Programs with Aspic and C2fsm
• Cosimo Laneve, Tudor Lascu and Vania Sordoni. The interval analysis of multilinear expressions
• Pierre Roux, Rémi Delmas and Pierre-Loic Garoche. SMT-AI: an Abstract Interpreter for a Synchronous Extension of SMT-lib
• Piotr Filipiuk, Hanne Riis Nielson and Flemming Nielson. A tool suite for solving ALFP constraints