Dear friends, yesterday we have reached the limit of 2000 visits (more than 1000 visitors) to the new website of the Newsletter. Thanks a lot Agostino and Enrico
Author: Editors
MG-65: Symposium on Constructive Mathematics in Computer Science
Symposium for celebrating the 65th birthday of Michael Gelfond.
October 25-26 Lexington, KY.
Details here: http://marcy.cjb.net/MG65/
27th International Conference on Logic Programming
by Yuliya Lierler,
University of Kentucky, USA
Declarative Aspects of Multicore Programming (DAMP 2011)
by Manuel Carro,
Universidad Politecnica de Madrid, Spain
Call for papers
ICLP2011, LPNMR-11, RTA2011, DAMP 2011, WOLLIC 2011
Editorial, September 2010
By Agostino Dovier and Enrico Pontelli Dear LPers, Welcome to the new issue of the ALP Newsletter. We have been busy over the summer working on refining and enhancing the new version of the newsletter, and we are excited about…
Nonmonotonicity of Probabilistic Reasoning
by Michael Gelfond and Nelson J. Rushton,
Department of Computer Science, Texas Tech University
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
By Gourinath Banda, Roskilde University, Denmark, and John P. Gallagher Roskilde University, Denmark and IMDEA Software, Madrid.
Symposium on the Occasion of Maurice Bruynooghe’s 60th Birthday
By Luc De Raedt
K.U.Leuven, Belgium
Workshop Report: WCB10
by Alessandro Dal Palù, Univ. of Parma, Italy, and Sebastian Will, MIT.
See http://wcb10.dimi.uniud.it/ for proceedings, slides, and pictures.