We would like to announce the availability of the PGSolver library,
a collection of algorithms for solving (finite) parity games. The
current version includes 8 algorithms and 3 heuristics.
In order to obtain the source code please visit
http://www.tcs.ifi.lmu.de/~mlange/pgsolver
where you can also find the documentation with detailed information
on the exact content of the library, the installation process, […]
=================================================================
JOB OPENING: A PhD student position for 3 years is open
for applications
PROJECT TITLE: Robust optimization: theory and
applications
FUND: Swiss National Science Foundation Project
DEADLINE: 10th August 2008 (the position may be filled
prior to this date if a suitable candidate is identified)
STARTING: 1st November 2008
=================================================================
The Istituto Dalle Molle di Studi sull’Intelligenza
Artificiale (IDSIA, www.idsia.ch) invites applications for
a PhD student […]
————————————————————–
Apologies if you received multiple copies of this posting.
————————————————————–
*** CALL FOR PAPERS ***
The 12th International Conference on Database Theory (ICDT 2009)
[…]