Seminar details

salle A. Turing CE4
2 December 2013 - 14h00
A higher order to first order translation
by Thibault Gauthier from n/a

Abstract: An implementation of an interaction between a proof assistant HOL4 and an automated prover
Beagle.

New publications

Recent Publications
- Benoît Barbot, Nicolas Basset, Thao Dang: Generation of Signals Under Temporal Constraints for CPS Testing
- Victor Magron, Alexandre Rocca, Thao Dang: Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Du discr\` etement continu au contin\^ ument discret
- Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil: Terminating Exploration of a Grid by an Optimal Number of Asynchronous Oblivious Robots
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
- Moustapha Lo: Implementing a Real-time Avionic application on a Many-core Processor

info visites 1627001