[TYPES/announce] 2nd TAROT Summer School on testing of software and communicating systems

Gregorio Díaz Descalzo Gregorio.Diaz at uclm.es
Wed Apr 19 12:21:03 EDT 2006


CALL FOR PARTICIPATION

    2nd TAROT Summer School on testing of software and communicating systems

			 TOLEDO, SPAIN

	   		June 26-30,2006

		http://www.info-ab.uclm.es/tarot/


GENERAL INFORMATION

The 2nd TAROT Summer School (TAROT'06) is going to be jointly organized
by the Universidad Complutense de Madrid and the Universidad de Castilla
La Mancha.

The TAROT network is a research and training network in the framework of
the Marie Curie program of the European Commission.
This network was created to foster the mobility of students, faculty
members and research scientists working in the field of testing of
software and communication systems. To promote these goals, this Summer
School will bring together lecturers, researchers, students and people
from the industry across Europe for one week of presentations,
discussions and getting to know each other.

Specifically, the main goal of the TAROT Summer School is to give
researchers and particularly Ph.D. students the opportunity to follow a
number of tutorials
and invited talks by key experts in the field.

The TAROT Summer School is open to researchers from any institution in
the world, working in the area of testing, both from academia and industry.


The first TAROT Summer School was highly successful, attracting more
than 50 students from all around the world. The school has developed
into an important
meeting place and forum for discussion for students, researchers and IT
professionals interested in the interdisciplinary study of Testing. In
addition to courses, the school will also have laboratory sessions and a
social program.


COURSE PROGRAM

The full scientific program can be found at

	http://www.info-ab.uclm.es/tarot/

Tutorials are given by

  * David Lee.
    The Ohio State University.
    Department of Computer Science & Engineering. Ohio, USA.

	"Communications Protocol System Testing: Theory and Applications".
	

  * Kim Guldstrand Larsen.
    CISS, Aalborg University, Denmark.

	"Model-based Testing and Validation of Real-Time Systems".
	

  * Antonia Bertolino.
    Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo",
    CNR, Pisa, Italy.

	"The Why, What and How of (not) software testing".


Invited Talks

  * Ana Cavalli.
    Department of Network Software. Institut National des
Telecommunications.
    France.

	" Introduction to the TAROT network".
	
  * Odile Laurent.
    EYDT (Methods and tools) Airbus France.

	"Systems Validation and Verification at Airbus".
	

  * Manuel Núñez.
    Facultad de Informática. Universidad Complutense de Madrid. Spain.
	
	"Logic and Testing".
	
	

    More talks will be announced.

TRAVEL AND LOCAL INFORMATION

By plane to Madrid-Barajas airport and then a 35-minute nonstop from
Atocha railway station to Toledo.


The historic city centre sits on a craggy rock, which is almost
completely encircled by a wide meander of the Tagus river, called the
Tajo in Spanish.
The Roman historian Tito Livio mentioned the city of Toletum, a term
whose origin would be Tollitum, meaning "raised aloft".
The city's historic centre is one of the largest in Spain, and has more
than 100 monuments.


The scientific program of TAROT'06 will be held in the University of
Castilla La Mancha, in the historic building "San Pedro Martir", Toledo.


ACCOMMODATION

Please go to http://www.info-ab.uclm.es/tarot/ to try options.


REGISTRATION

Please go to http://www.info-ab.uclm.es/tarot/ and complete the
registration form.


GRANTS

The TAROT'06 grant scheme is presented at
http://www.info-ab.uclm.es/tarot/.
You need to fill and send the financial support form.


SPECIAL EVENTS

Social events include a welcome cocktail at Castilla-La Mancha Court, a
visit to Almagro, and a farewell dinner banquet. The visit to Almagro
includes a banquet dinner.


CONTACT ADDRESS

Please visit TAROT'06 Home Page

	http://www.info-ab.uclm.es/tarot/

for updated information concerning the scientific program, registration
fees and procedures, grants, accommodation and other practical information.

For further enquiries concerning TAROT'06, please contact the Organising
Committee at <tarot at fdi.ucm.es>, or write to

	Universidad Complutense de Madrid.
	Facultad de Informática.
	Dpto. Sistemas Informáticos y Programación.
  	C/ Profesor José García Santesmases, s/n.
	Ciudad Universitaria.
	28040 - MADRID. Spain.



















More information about the Types-announce mailing list