Author: Editors

INAP 2019: Call for Papers (Submission Deadline extended)

22nd International Conference on Applications ofDeclarative Programming and Knowledge Management Cottbus, Germany, September 9-13, 2019(part of Declare 2019: www.declare19.de) Important Dates — EXTENDED DEADLINES — Paper submission: June 24, 2019Notification of acceptance: July 15, 2019Camera-ready papers: August 5, 2019Early registration:…

WLP 2019: Call for Papers (Submission Deadline extended)

3rd Workshop on (Constraint) Logic Programming Cottbus, Germany, September 9-13, 2019(part of Declare 2019: www.declare19.de) Important Dates — EXTENDED DEADLINES — Paper submission: June 24, 2019Notification of acceptance: July 15, 2019Camera-ready papers: August 5, 2019Early registration: August 12, 2019Online Registration:…

SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019)

It is our pleasure to announce the call for the SIGLOG/VCLA Travel Awards for attendees of Women in Logic Workshop 2019 (WiL) associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019. ELIGIBILITY Thanks to the…

PhD positions in Bath (UK)

At least 10 fully-funded studentships are available now and annually for the next five years at the UKRI Centre for Doctoral Training in Accountable, Responsible and Transparent AI (ART-AI) at the University of Bath. Our 4 year PhD programme will…

CFP: WiL 2019: 3rd Women in Logic Workshop

Call for Talks and Papers           WiL 2019: 3rd Women in Logic Workshop                     Vancouver, Canada                       23 June 2019    https://sites.google.com/site/womeninlogic2019/home Affiliated with the Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 24-27 June 2019 (https://lics.siglog.org/lics19/). We are holding the third Women…