PhD Position in Rule-based Programming Systems in Ghent Universtity (Belgium).
Category: Asyncronous News
CFP: 3rd International Conference on Interactive Theorem Proving
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.
Winter School on CP and CHR
Winter School on Constraint Programming and Constraint Handling Rules @ Univ. of Ulm, by Thom Fruehwirth.
Jack Minker to receive the 2011 Heinz R. Pagels Human Rights Award
by Vladik Kreinovich,
University of Texas at El Paso,
USA
CFP: Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012)
By Tom Schrijvers,
Ghent University,
Belgium
CFP: Declarative Aspects of Multicore Programming (DAMP’12)
by Vitor Santos Costa,
University of Porto,
Portugal
CFP: TPLP Special Issue on Probability, Logic and Learning
by Angelika Kimmig
Katholieke Universiteit Leuven, Belgium