[Om-announce] [CFP] 1st IEEE Services Workshop on Knowledge Graph as a Service (KGAAS2019)

***KGAAS 2019*** [Apologies if you receive multiple copies of this message] ** THE FIRST IEEE SERVICES WORKSHOP ON KNOWLEDGE GRAPH AS A SERVICE (KGAAS) In conjunction with the IEEE SERVICES 2019, July 8-13, 2019, Milan, Italy

[Om-announce] ICLP 2019 - Special Session: Women in Logic Programming

The 35th International Conference on Logic Programming (ICLP 2019) Special Session: Women in Logic Programming === This special session aims to increase the visibility and impact of women in LP, fostering awareness of one another’s work. To have good role

[Om-announce] Second Dali Workshop: First Call for Papers

Dynamic Logic: New Trends and Applications workshop.dali.di.uminho.pt First Call for Papers Porto, 9 October, 2019 (part of the 3rd World Congress on Formal Methods 2019) OVERVIEW Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable

[Om-announce] CAUSAL 2019 Call for Papers (co-located with LPNMR 2019)

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** CAUSAL 2019 *** (June 3 or 4, 2019) Workshop on Causal Reasoning and Explanation in

[Om-announce] FOCLASA 2019 - CFP

Foclasa 2019 Invite and Call for Papers ** FOCLASA 2019 17th International Workshop on Orchestration, Coordination Languages and Self-Adaptive Systems Oslo, Norway September 17, 2019

[Om-announce] JELIA 2019 - Call For Participation

[apologies for multiple copies] Registration to JELIA 2019 is now open! Deadline for early registration is March 31st, 2019. == REGISTRATION == Registration is open: Early registration deadline is March 31, 2019. At least one author of each accepted paper must get registered by March 25.