We are pleased to announce the release of Spot 0.8.3. Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement the automata-theoretic approach to LTL model checking. This maintenance release fixes a few bugs, adds support for Python 3 (while still supporting Python 2), and improves the web interface. You can find the new release here:  http://spot.lip6.fr/dl/spot-0.8.3.tar.gz  (8.1MB) New in spot 0.8.3 (2012-03-09):  * Support for both Python 2.x and Python 3.x.    (Previous versions would only work with Python 2.x.)  * The online ltl2tgba.html now stores its state in the URL so that    history is preserved, and links to particular setups can be sent.  * Bug fixes:    - Fix a segfault in the compression code used by the -Z      option of dve2check.    - Fix a race condition in the CGI script.    - Fix a segfault in the CGI script when computing a Büchi run. -- Alexandre Duret-Lutz