The workshop is affiliated with the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018) and part of the Federated Logic Conference 2018 (FLOC 2018).
ADSL 2018
13 July 2018
First Workshop on Automated Deduction for Separation Logics
Voir en ligne : http://adsl.univ-grenoble-alpes.fr/
Navigation
Rubriques
-
Verimag
- Membres
- Publications
- Outils
- Projets
- Partenaires
-
Colloques et Conférences
- 20 ans de Verimag, 26-28 (...)
- École d’été PERSYVAL-Lab sur (...)
- ACES’2008 September 29th, (...)
- ADSL 2018
- ADSL 2020 (@POPL 2020)
- AlgoTel 2017
- AlgoTel et CoRes 2020
- ARCH14
- ARTIST Summer School in (...)
- ARTIST2 Summer School 2008 in
- AVM 2014
- AVoCS 2019
- BEeSy 2015
- CAS 2012, January 13, Grenoble
- CAV 2009 June 26 - July (...)
- EMSOFT 2009 October 12 - (...)
- ETAPS 2014
- Euro-Par 2016
- FAC 2014
- FIMCP 2013, May 2nd, Marrakech
- FORMATS 2014
- FORMATS 2015
- GreHack 2016
- GT Verif 2018
- HSB 2014
- HSCC 2012, Apr 17-19, Beijing
- ICDCN 2012, January 3-6, (...)
- IWHSB 2013
- MEMOCODE 2010, July 26-28,
- MEMOCODE 2011, July 11-13,
- MeTRiD 2018
- MOVEP 2020
- RESSI 2017
- RTNS 2017
- RV 2018
- SSS 2020
- SSS’2011, October 10-12, (...)
- SSS’2016
- Synchron 2019
- SynCoP 2014
- Toward Systems Biology (...)
- VECoS 2018
- VVS
- WCET 2013, July 9, 2013, (...)
- WFAC’2008 - October 19th, (...)
- Workshop CAPITAL
- RESSI 2017 : les Rendez-vous
- Séminaires
- Documents
- Axes
- Contact
- Plan du site
Actualités
Séminaires
- Séminaires
- 21 janvier 2021 Etienne Andre: Symbolic monitoring against specifications parametric in time and data
- 11 février 2021 Franck Pommereau: To be announced
Nouvelles publications
- Quelques Publications
Récentes
- Maximilien Dupont De Dinechin, Matheus Schuh, Matthieu Moy, Claire Maiza: Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Infinite Grid Exploration by Disoriented Robot
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Du discrètement continu au continûment discret
- Jorge Ocon, Iulia Dragomir, Andrew Coles, Lars Kunze, Robert Marc, Carlos Perez, Thierry Germa, Vincent Bissonnette, Genny Scalise, Mohammed Foughali, Konstantinos Kapellos, Raul Dominguez, Florian Cordes, Gerhard Paar, Giulio Reina: ADE: Autonomous DEcision making in very long traverses
Offres d'emploi et stages
- Offres d'emploi et stages
- 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
- Simulation of Distributed Algorithms
- Verifying Concurrent Systems with Automata over Infinite Alphabets
