[Hol-info] FMICS 2019: Formal Methods for Industrial Critical Systems; deadlines: 19 April (abstract); 26 April (paper)

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

[Hol-info] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track

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/ ---

[Hol-info] [CALL FOR WORKSHOP PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence

[apologies for any cross-posting] **CALL FOR WORKSHOP PROPOSALS AIIA19 - The 18th International Conference of the Italian Association for A

[Hol-info] [CALL FOR TUTORIAL PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence

[apologies for any cross-posting] **CALL FOR TUTORIAL PROPOSALS AIIA19 - The 18th International Conference of the Italian Association for A