By Sebastian Sardina (RMIT University, Australia)
Call for Papers: 11th International Conference on Logic Programming and Nonmonotonic Reasoning
Vancouver, BC, Canada, 16-19 May, 2011
http://sites.google.com/site/lpnmr11
The Third Answer Set Programming Competition
by Giovambattista Ianni,
Universita’ della Calabria,
Italy
THIRD INTERNATIONAL ALP/GULP SPRING SCHOOL ON COMPUTATIONAL LOGIC, ISCL 2011
by Paolo Torroni,
University of Bologna, Italy
2000 visits
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
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/