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

[PVS] [qest-announce] ETAPS 2011: Call for Satellite Events

                   *** CALL FOR SATELLITE EVENTS ***

                           E  TAPS 2011

 European Joint Conferences on Theory And Practice of Software

                       March 26 - April 3, 2011
                        Saarbruecken, Germany


The European Joint Conferences on Theory and Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. ETAPS is an
annual event which takes place in Europe each spring since 1998. The
fourteenth conference, ETAPS 2011, takes place between March 28 and
April 2, 2011 in Saarbruecken, Germany. Saarbruecken is a pleasant
and pitoresque federal state capital halfway between Frankfurt and
Paris (2hrs by train each).

The main conferences of ETAPS are:

- FOSSACS: Foundations of Software Science and Computation Structures
- FASE: Fundamental Approaches to Software Engineering
- ESOP: European Symposium on Programming
- CC: International Conference on Compiler Construction
- TACAS: Tools and Algorithms for the Construction and Analysis of

These conferences take place March 28-April 1, 2011.


The ETAPS 2011 Organizing Committee invites proposals for Satellite
Events (workshops, tutorials, etc.) that will complement the main ETAPS
conferences. They should fall within the scope of ETAPS. This
encompasses all aspects of the system development process, including
specification, design, implementation, analysis and improvement, as well
as the languages, methodologies and tools which support these
activities, covering a spectrum from practically-motivated theory to
soundly-based practice. Satellite Events provide an opportunity to
discuss and report on emerging research approaches and practical
experience relevant to theory and practice of software.

ETAPS 2011 Satellite Events will be held immediately before and after
the main conferences, on March 26-27 and April 2-3, 2011.


Researchers and practitioners wishing to organize Satellite Events are
invited to submit proposals in ASCII, PDF or Postscript format by e-mail
to etaps2011_satellite_events@cs.uni-saarland.de

A proposal should not exceed two pages and should include:

- Satellite Event name / acronym
- the names and contact information of the organizers
- the preferred period: March 26-27 or April 2-3
- the duration of the workshop: one-day or two-day event
- 120-word description of the workshop topic for later use in publicity
- a brief explanation of the workshop topic and its relevance to ETAPS
- a schedule for paper submission, notification of acceptance and final
- expected number of participants
- any other relevant information, like event format, invited speakers,
 publication policy, demo sessions, special space requirements, etc.

The proposals will be evaluated by the ETAPS 2011 organizing committee
on the basis of their assessed benefit for prospective participants to
ETAPS 2011. The titles and brief information about accepted Satellite
Events will be included in the ETAPS 2011 web site, call for papers and
call for participation.

Satellite Events organizers will be responsible for
- producing the event's call for papers and call for participations
- publicising the event through specialist mailing lists etc. to
 complement publicity for ETAPS as a whole
- hosting and maintaining a web site for the event
- reviewing and making acceptance decisions on submitted papers
- producing the event proceedings, if any; facilities for printing will
 be made available by the ETAPS organizers
- scheduling workshop activities in consultation with the local

Prospective organizers may wish to consult the web pages of previous
satellite events as examples:

ETAPS 2010: http://www.etaps10.cs.ucy.ac.cy/
ETAPS 2009: http://www.cs.york.ac.uk/etaps09/
ETAPS 2008: http://etaps08.mit.bme.hu/
ETAPS 2007: http://www.di.uminho.pt/etaps07/
ETAPS 2006: http://www.complang.tuwien.ac.at/etaps06/
ETAPS 2005: http://www.etaps05.inf.ed.ac.uk/
ETAPS 2004: http://www.lsi.upc.es/etaps04/
ETAPS 2003: http://www.mimuw.edu.pl/etaps03/


Satellite Event Proposals Deadline: 17 January 2010

Notification of acceptance: 31 January 2010


Please contact Bernd Finkbeiner

| Joost-Pieter Katoen  email: my_last_name[at]cs.rwth-aachen.de |
| RWTH Aachen University      URL: moves.rwth-aachen.de/~katoen |
| LS2: Software Modeling and Verification  tel: +49 241 8021200 |
| D-52056 Aachen, Germany                  fax: +49-241 8022217 |
qest-announce mailing list