Category: Asyncronous News

Postdoc and PhD Positions: TU Wien

The Institute of Logic and Computation at TU Wien is hiring a postdoc and a PhD student for a research collaboration with industry in the area of knowledge representation and reasoning. The goal of this collaboration is to advance the use of logic-based…

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…

Call for Nominations: VCLA INTERNATIONAL STUDENT AWARDS 2019

OVERVIEW The Vienna Center for Logic and Algorithms (VCLA) at TU Wien (ViennaUniversity of Technology) seeks nominations for the VCLA InternationalStudent Awards 2019. The annually awarded VCLA International StudentAwards for Outstanding Master and Undergraduate Research (Bachelor)Theses (or equivalent) recognize authors…