ADSL 2018

13 July 2018

First Workshop on Automated Deduction for Separation Logics

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).

Contact | Plan du site | Site réalisé avec SPIP 3.1.11 + AHUNTSIC [CC License]

info visites 1330531