ITP 2012: 3rd International Conference on Interactive Theorem Proving 13-16 August 2012, Princeton, New Jersey, USA http://itp2012.cs.princeton.edu/ ITP is the premier international conference for researchers from all areas of interactive theorem proving and its applications. The inaugural meeting of ITP…
EAPLS PhD Award 2011: Call for Nominations
URL: http://eapls.org/pages/phd_award/ The European Association for Programming Languages and Systems has established a Best Dissertation Award in the international research area of programming languages and systems. The award will go to the PhD student who in the previous period has…
CFP: 14th International Workshop on Non-Monotonic Reasoning (NMR 2012)
By Stefan Woltran,
Vienna University of Technology,
Austria
Another very sad news
John McCarthy passed away this morning.
In Memoriam: Gaetano Aurelio Lanzarone
By Stefania Costantini
University of L’Aquila
Italy
Winter School on CP and CHR
Winter School on Constraint Programming and Constraint Handling Rules @ Univ. of Ulm, by Thom Fruehwirth.