Author: Editors

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…

Workshop Report: TAASP 2018

Workshop Report: Trends and Applications of Answer Set Programming  (TAASP) 2018 By Stefan Woltran, TUWIEN, Austria The TAASP workshop series is jointly organized by research groups at Alpen-Adria-Universität  Klagenfurt, Technische Universität Wien, and Universität Potsdam. TAASP 2018 was the second…