Apologies for multiple postings.
FMICS 2019: the 24th International Conference on
Formal Methods for Industrial Critical Systems
Co-located with CONCUR and FORMATS
Aug 30-31, 2019, Amsterdam, The Netherlands
https://fmics2019.fsa.win.tue.nl
--
Apologies for cross-posting - Please forward to anybody who might be interested
** CALL FOR PAPERS **
The 35th International Conference on Logic Programming (ICLP 2019)
Applications Track
September 20-25, 2019
Las Cruces, New Mexico (USA)
https://www.cs.nmsu.edu/ALP/iclp2019/
---
[apologies for any cross-posting]
**CALL
FOR WORKSHOP PROPOSALS
AIIA19 - The 18th International Conference of the Italian Association
for A
[apologies for any cross-posting]
**CALL
FOR TUTORIAL PROPOSALS
AIIA19 - The 18th International Conference of the Italian Association
for A