[Hol-info] ICLP 2019 - CALL FOR WORKSHOP PROPOSALS

*** CALL FOR WORKSHOP PROPOSALS *** ICLP 2019 35th International Conference on Logic Programming September 21 - September 25, 2019 Las Cruces, New Mexico, USA https://www.cs.nmsu.edu/ALP/iclp2019/ ICLP 2019,

[Hol-info] LFMTP 2019 - Call For Papers

=== Call for papers Logical Frameworks and Meta-Languages: Theory and Practice LFMTP 2019 Vancouver, CA, 22 June 2019

[Hol-info] 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

[Hol-info] 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

[Hol-info] 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

[Hol-info] 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

[Hol-info] CFP FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems

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

[Hol-info] 5th Workshop on Bridging the Gap between Human and Automated Reasoning

CALL FOR PAPERS [Apologies if you receive multiple copies of this announcement] [Please kindly help forward it to potentially interested attendees] Fifth Workshop on: Bridging the Gap between Human and Automated Reasoning an IJCAI-19 workshop (supported by IFIP TC12) Macau, China August, 2019