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.
Report of ILP 2010
By Francesca A. Lisi, Università degli Studi di Bari “A. Moro”, Italy
Prolog Standardization: Summer 2010
By Jonathan Hodgson,
Saint Joseph’s University,
USA
Modelling and analysis of real time systems with Logic Programming and Constraints
Gourinath Banda, Roskilde University, Denmark
Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science (EPTCS) was
launched by Rob van Glabbeek in 2009, as an initiative to have
proceedings of all worthy workshops in Theoretical Computer Science
freely available on-line …