[clean-list] PSSE 2007: registration deadline approaching - two weeks to go

[Ana Cavalcanti]

==================================================================

                        PSSE 2007: Testing
          Pernambuco School on Software Engineering

          REGISTRATION DEADLINE: 30th of September

==================================================================

                      3-7 December, 2007
                   Recife, Pernambuco, Brazil

             URL: http://www.cin.ufpe.br/~psse/2007/

             Organization: Universidade Federal de Pernambuco, Brazil
                                 University of York,  UK

==================================================================


PSSE 2007: Testing is the second Pernambuco School on Software
Engineering. It will be held in Recife, Brazil, during the week of
the 3rd-7th of December, 2007. It is aimed at students,
researchers, and professionals interested in testing, and is a
perfect opportunity for quickly acquiring background and
state-of-the-art knowledge on both the theory and the practice of
testing.

The event will gather internationally leading academics and
industrialists, who will present five-hour courses and provide
extensive tutorials.

     * Mutation Testing in the UTP
     Bernhard Aichernig, Graz University of Technology, Austria/UNU-IIST, Macau

     * Testing based on Formal Specifications
     Marie-Claude Gaudel, Universite de Paris-Sud/CNRS

     * Testing Tools: an appraisal
     Mike Hennell, LDRA

     * Test-Case Generation
     Patricia Machado, Universidade Federal de Campina Grande
     Augusto Sampaio, Universidade Federal de Pernambuco

     * Functional, Control and Data Flow, and Mutation Testing
     Jose Carlos Maldonado, Universidade de São Paulo
     Auri Marcelo Rizzo Vincenzi, Universidade Catolica de Santos

     * Testing Software Product Lines
     John McGregor, Clemson University

     * Systematic unit testing with Pex
     Wolfram Schulte, Microsoft Research

Postproceedings of the first Pernambuco School on Software
Engineering, whose main theme was refinement, were published in
Springer's Lecture Notes in Computer Science series
( 
www.springerlink.com/content/ul155t366h7u/?p=1582956453a54a34a572ecd8a6feb56d&pi=1331 
).
A similar volume will be produced for this edition of the event.

PRELIMINARY PROGRAM AND REGISTRATION
------------------------------------

A preliminary program and registration information can be found on
the conference web pages: http://www.cin.ufpe.br/~psse/2007.

SPONSORS
--------

    * Formal Methods Europe
    * International Institute for Software 
Technology of the United Nations University (UNU/IIST)
    * Microsoft Research
    * Motorola
    * Brazilian Computer Society (SBC)

ORGANIZATION
------------

Organizing Committee (Universidade Federal de Pernambuco):
* Paulo Borba (Chair)
* Eduardo Aranha
* Cristiano Bertolini
* Rafael Marques
* Sidney Nogueira

School Directors:
* Ana Cavalcanti, University of York
* Augusto Sampaio, Universidade Federal de Pernambuco
* Jim Woodcock, University of York