[Hol-info] [3rd Call for Papers] ASYDE 2019 @ SEFM 2019

[Apologies for multiple postings] ** Reminder: the ASYDE @ SEFM'19 submission deadline is June 10th, 2019 ** Keynote by Marjan Sirjani, Mälardalen University (Tile and abstract to be announced) -- Third Call for Papers -- ASYDE 2019: 1st International Workshop on on Automated and verifiable

[Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence

[apologies for any cross-posting] Call for Papers AIIA19 - The 18th International Conference of the Italian Association for Artificial