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 [...]
================================================================= 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 [...]
————————————————————– Apologies if you received multiple copies of this posting. ————————————————————– *** CALL FOR PAPERS *** The 12th International Conference on Database Theory (ICDT 2009) St. Petersburg, Russia, 23-25 March 2009 http://www.math.spbu.ru/edbticdt/ The series of ICDT conferences provides a biennial, international forum for the communication of research advances on the principles of database systems. This [...]