[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [qest-announce] ETAPS 2012 and beyond: call for conferenceorganisers




[we apologize for multiple copies]

Dear colleagues,

	I would be pleased to receive expressions of interest from
any potential organisers of ETAPS for the edition of 2012 and
beyond. Please read below for more information.

With best regards,

Prof. Vladimiro Sassone
ETAPS, Steering Committee Chair
http://www.etaps.org

====

ETAPS (www.etaps.org), the European Joint Conferences on Theory and 
Practice of Software, is an annual federated conference that was 
established in 1998 by combining a number of existing and new 
conferences. It comprises five sister conferences (CC, ESOP, FASE, 
FOSSACS, TACAS), seven keynote speakers, and in a typical year over 25 
satellite workshops and tutorials.

The events that comprise ETAPS address various aspects of the system 
development process, including specification, design, implementation, 
analysis and improvement. The languages, methodologies and tools which 
support these activities are all well within its scope. Different blends 
of theory and practice are represented, with an inclination towards 
theory with a practical motivation on the one hand and soundly based 
practice on the other. Many of the issues involved in software design 
apply to systems in general, including hardware systems, and the 
emphasis on software is not intended to be exclusive.

ETAPS is a confederation in which each event retains its own identity, 
with a separate programme committee and proceedings. Its format is 
open-ended, allowing it to grow and evolve as time goes by.  Contributed 
talks and system demonstrations are in synchronised parallel sessions, 
with invited lectures in plenary sessions. Two of the invited lectures 
are reserved for `unifying' talks on topics of interest to the whole 
range of ETAPS attendees. The aim of cramming all this activity into a 
single one-week meeting is to create a strong magnet for academic and 
industrial researchers working on topics within its scope, giving them 
the opportunity to learn about research in related areas, and thereby to 
foster new and existing links between work in areas that were formerly 
addressed in separate meetings.
_______________________________________________
qest-announce mailing list
qest-announce@iti.uiuc.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce