[TYPES] ETAPS 2007: Call for Satellite Events

Joost Visser joost.visser at di.uminho.pt
Thu Dec 15 07:36:23 EST 2005



                       deadline: January 20, 2006

      ETAPS 2007

      European Joint Conferences on
      Theory And Practice of Software

      March 24 - April 1, 2007
      Braga, Portugal



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 tenth meeting, ETAPS 2007, will take place March 24 till April 1
2007 in Braga, Portugal, hosted by the University of Minho.

The main conferences of ETAPS are:

- FOSSACS: Foundations of Software Science and Computation
- 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 Systems

These conferences will take place March 26-30, 2007.


The ETAPS 2007 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 2007 Satellite Events will be held immediately before and
after the main conferences, on March 24-25 and March 31,
and April 1, 2007.


Researchers and practitioners wishing to organize Satellite
Events are invited to submit proposals in ASCII, PDF or
Postscript format by e-mail to the Satellite Events Co-chairs,
Luis Barbosa and Joost Visser, mailto:joost.visser at di.uminho.pt.

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: 24-25 March or 31 March-1 April
- the duration of the workshop: one-day or two-day event
- 120-word description of the workshop topic for later
   use in publicity material
- a brief explanation of the workshop topic and its
   relevance to ETAPS
- a schedule for paper submission, notification of
   acceptance and final versions (the latter no later than
   the early registration deadline of February 12, 2007)
- 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 2007 organizing
committee on the basis of their assessed benefit for prospective
participants to ETAPS 2007. The titles and brief information
about accepted Satellite Events will be included in the ETAPS
2007 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
- 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 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: 20 January 2006

Notification of acceptance: 6 February 2006



etaps07 at di.uminho.pt

Luis Barbosa
Joost Visser
ETAPS 2007 Satellite Events Co-chairs
lsb at di.uminho.pt, joost.visser at di.uminho.pt


Braga, capital of the Minho province, is an ancient city in the heart
of the green and fertile region known as the Costa Verde. The region
is known for its attractiveness in terms of climate, gastronomy,
prices, and culture. The region is served by the Oporto international
airport, providing direct flights to many major European cities.

Braga is known for its barroque churches and splendid 18th century
houses. The old city is solemn and antique, but animated with
commercial activity and academic life.



More information about the Types-list mailing list