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…
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…
By Stefan Woltran,
Vienna University of Technology,
John McCarthy passed away this morning.
Winter School on Constraint Programming and Constraint Handling Rules @ Univ. of Ulm, by Thom Fruehwirth.
by Vladik Kreinovich,
University of Texas at El Paso,
By Tom Schrijvers,
by Vitor Santos Costa,
University of Porto,
by Angelika Kimmig
Katholieke Universiteit Leuven, Belgium
By Agostino Dovier