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

2019-04-07 Thread Fioretto, Ferdinando
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 TUTORIAL PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence

2019-04-07 Thread Luca Pulina
[apologies for any cross-posting] **CALL FOR TUTORIAL PROPOSALS AIIA19 - The 18th International Conference of the Italian Association for

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

2019-04-07 Thread Luca Pulina
[apologies for any cross-posting] **CALL FOR WORKSHOP PROPOSALS AIIA19 - The 18th International Conference of the Italian Association for

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

2019-04-07 Thread Tim Willemse
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