Author: Editors

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…

The SAT Compiler in Picat

By Neng-Fa Zhou (CUNY Brooklyn College & Graduate Center) Abstract SAT solvers’ performance has drastically improved during the past 20 years, thanks to the inventions of techniques from conflict-driven clause learning, backjumping, variable and value selection heuristics, to random restarts.…

Feetbook Profiling (or (bi)simulation in disguise)

By Paolo Baldan   University of Padova Roberto Bruni  Universtity of Pisa   A new social network has become extremely popular. It is called Feetbook. Users share stories, anecdotes and pictures about their feet. What is (especially) peculiar is that posts…

CFP: Logic Programming and Non-monotonic Reasoning 2019

15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 http://sju.edu/lpnmr/ Philadelphia, USA June 4-7, 2019 Co-located with Datalog 2.0 Workshop AIMS AND SCOPE  LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning.…