[Hol-info] WiL 2019: Women in Logic Workshop Final Call for Papers-Extended Deadline

2019-04-03 Thread Amy Felty
Final Call for Talks and Papers WiL 2019: 3rd Women in Logic Workshop Vancouver, Canada 23 June 2019 https://sites.google.com/site/womeninlogic2019/home ** New dates including extended submission deadline: 21 April 2019

[Hol-info] ASPOCP 2019 - call for papers (deadline extended)

2019-04-03 Thread Jorge Fandino
[Apologies for multiple postings] Deadline extended. New dates: IMPORTANT DATES Abstract submission deadline:April 10, 2019 (extended) Paper submission deadline: April 15, 2019 (extended) Notification: May

[Hol-info] ICLP 2019 - Call For Workshop Proposals

2019-04-03 Thread Fioretto, Ferdinando
[apologies for cross-posting] *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2019 35th International Conference on Logic Programming September 21 - September 25, 2019 Las Cruces, New Mexico, USA

[Hol-info] 6th Workshop on Proof eXchange for Theorem Proving (PxTP) - CFP

2019-04-03 Thread geoff
[My apologies if you receive this in duplicate] Call for Papers, PxTP 2019 The Sixth International Workshop on Proof eXchange for Theorem Proving (PxTP) http://pxtp.gforge.inria.fr/2019/ 25-26 August 2019, Natal, Brazil associated with the CADE-27

[Hol-info] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers

2019-04-03 Thread Fioretto, Ferdinando
Apologies for cross-posting ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers The program committee of the 35th International Conference on Logic Programming (ICLP) invites submissions of published journal papers and papers presented at related conferences for the

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

2019-04-03 Thread Luca Pulina
[apologies for any cross-posting] Call for Papers AIIA19 - The 18th International Conference of the Italian Association for Artificial

[Hol-info] [1st Call for Papers] ASYDE 2019 @ SEFM 2019

2019-04-03 Thread alexander . perucci
[Apologies for multiple postings] -- First Call for Papers -- ASYDE 2019: 1st International Workshop on on Automated and verifiable Software sYstem DEvelopment, co-located with the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway - September

[Hol-info] CfPart Reliability, safety and security of railway systems (RSSRail 2019)

2019-04-03 Thread Alexander Romanovsky
International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification - RSSRail 2019 June 4-6, 2019, Lille, France https://conferences.ncl.ac.uk/rssrail2019/ Call for Participation We would like to invite you to participate in the