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…
CFP: TPLP 20th Anniversary Special Issue
By Mirek Truszczynski,
University of Kentucky, USA
Polyvariant program specialisation and its application in program analysis and verification
By John P. Gallagher, Roskilde University, Denmark and IMDEA Software Institute, Madrid, [email protected] Abstract: Specialisation is a program transformation that transforms a program with respect to given constraints that restrict its behaviour. Typically, the goal is to optimise a program, but specialisation can also…
CFP: Theory and Practice of Logic Programming: The 20th Anniversary Issue
Following the example of a highly successful and influential special issue of the Journal of Logic Programming, commemorating the 10th anniversary of the journal in 1994, the Editorial and Advisory Boards of TPLP propose to publish a special issue of…
Call for Participation: ICLP 2019
CALL FOR PARTICIPATION – ICLP 2019 – https://logicprogramming.org/iclp2019/ The 35th International Conference on Logic Programming September 20-25, 2019, Las Cruces, New Mexico, USA ———————————————————- Since the first conference held in Marseille in 1982, ICLP has been the premier international event…
Editorial, Volume 32, No. 2, August 2019
Are you back in office after vacation? Or are your still holding your feet into the sea or climbing mountains? In both cases, you can enjoy reading the contents of your favorite newsletter. We have three feature articles: Dynamic and…