![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Date: Mon, 07 Sep 2009 22:02:05 +0200
From: Joost-Pieter Katoen <katoen@cs.rwth-aachen.de>
To: [...], ecoop-info@ecoop.org, [...]
Subject: [ecoop-info] ETAPS 2010: Call for papers (correction)
[We apologize for multiple copies]
****** correction wrt. maximal length of submitted papers ******
================================================================
CALL FOR PAPERS: ETAPS 2010
European Joint Conferences on Theory And Practice of Software
March 20 - March 28, 2010
Paphos, Cyprus
http://www.etaps.org
http://www.etaps10.cs.ucy.ac.cy/
================================================================
-- ABOUT ETAPS --
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,
established in 1998, is a confederation of five main annual confe-
rences, accompanied by satellite workshops and other events. ETAPS
2010 is the thirteenth event in the series.
-- INVITED SPEAKERS --
Mark Harman (KCL)
Jim Larus (MSR)
Dave Naumann (Stevens)
Joseph Sifakis (IMAG)
Colin Stirling (Edinburgh)
Phil Wadler (Edinburgh)
-- MAIN CONFERENCES --
- CC: International Conference on Compiler Construction
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FOSSACS: Foundations of Software Science and Computation Structures
- TACAS: Tools and Algorithms for the Construction and Analysis
of Systems
-- IMPORTANT DATES --
01 October 2009: Submission deadline for abstracts (strict)
08 October 2009: Submission deadline for full papers (strict)
11 December 2009: Notification of acceptance/rejection
04 January 2010: Camera-ready versions due (strict)
20-28 March 2010: ETAPS 2010
-- GENERAL SUBMISSION INFORMATION --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the procee-
dings and have presentations during the conference. Submitted papers
must be in English presenting original research. They must be
unpublished and not submitted for publication elsewhere (neither
conference nor journal). In particular, simultaneous submission of
the same contribution to multiple ETAPS conferences is forbidden. One
author of each accepted paper must attend the conference to present
the paper.
Papers should be submitted electronically in PDF (preferably) or PS
(using Type 1 fonts). The proceedings will be published in the Springer-
Verlag Lecture Notes in Computer Science series. Final papers will
be in the format specified by Springer-Verlag at the URL:
http://www.springer.de/comp/lncs/authors.html
Submissions not adhering to the specified format and length may be
rejected immediately, without review.
-- Research Papers --
FASE, FOSSACS and TACAS papers should be no more than **15** pages
long. ESOP and CC papers must have a maximum length of **20** pages.
The length indications include figures and references. Additional
material intended for the referee but not for publication in the
final version - for example details of proofs - may be placed in a
clearly marked appendix that is not included in the page limit.
ETAPS referees are at liberty to ignore appendices, and papers must
be understandable without them.
-- Tool Demonstration Papers --
Submissions should consist of two parts:
- The first part, at most four pages, should describe the tool. Please
include the URL of the tool (if available) and provide information
which illustrates the maturity and robustness of the tool. (This part
will be included in the proceedings.)
- The second part, at most six pages, should explain how the demon-
stration will be carried out and what it will show, including screen
dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)
Please note that FOSSACS does not accept tool demonstration papers.
-- SATELLITE EVENTS --
At ETAPS 2010, 19 workshops will take place.
-- Paphos --
The west coast town of Paphos with its pleasant harbour and medieval
fort, combines a cosmopolitan holiday resort, spectacular countryside
and historical sites. With a population of just 28.000 inhabitants,
Paphos nestles in the lee of the Western Troodos Mountains and close
to the Akamas National Park which add another dimension to this area
of scenic beauty. Paphos has an air of holiday charm combined with
history, and olden-day elegance is lent to the town by its classical
style buildings in the upper part of town which leads to the shopping
area. The lower part of the town has a life of its own, down near the
sea, home of the harbour, the fish taverns, souvenir shops and several
hotels with important archaeological sites around them. Paphos was the
island's capital, and it is famous for the remains of the Roman
Governor's palace, where extensive, fine mosaics are a major tourist
attraction. The town of Paphos is included in the official UNESCO list
of cultural and natural treasures of the world's heritage.
-- FURTHER INFORMATION AND ENQUIRIES --
For further information, do not hesitate to contact the following addresses.
- GENERAL INFORMATION e-mail: etaps10@cs.ucy.ac.cy
- George Papadopoulos, george@cs.ucy.ac.cy
- Anna Philippou, annap@cs.ucy.ac.cy
Date: Fri, 04 Sep 2009 14:56:51 +0200
From: Joost-Pieter Katoen <katoen@cs.rwth-aachen.de>
To: [...], ecoop-info@ecoop.org, [...]
cc: Anna Philippou <annap@cs.ucy.ac.cy>,
"george@cs.ucy.ac.cy Papadopoulos" <george@cs.ucy.ac.cy>
Subject: [ecoop-info] ETAPS 2010: Call for papers
[ 130 lines deleted; see updated version above -- dc ]
Date: Tue, 13 Jan 2009 15:56:54 +0200
From: Announcements <announce@cs.ucy.ac.cy>
To: "cs.nchu.edu.tw" <ecoop-info@ecoop.org>
Subject: [ecoop-info] ETAPS 2010: Call for Satellite Events
*** CALL FOR SATELLITE EVENTS ***
ETAPS 2010
European Joint Conferences on Theory And Practice of Software
March 20-28, 2010
Coral Beach Resort, Paphos, Cyprus
-- ABOUT ETAPS --
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
thirteenth conference, ETAPS 2010, takes place between March 20-28
2010 in Paphos, Cyprus, organized by the University of Cyprus.
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
Systems
These conferences take place March 22-26, 2010.
-- SATELLITE EVENTS --
The ETAPS 2010 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 2010 Satellite Events will be held immediately before and after
the main conferences, on March 20-21 and March 27-28, 2010.
-- SUBMISSION OF SATELLITE EVENT PROPOSALS --
Researchers and practitioners wishing to organize Satellite Events are
invited to submit proposals in ASCII, PDF or Postscript format by e-mail
to etaps10_satellite_events@cs.ucy.ac.cy.
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 20-21 or March 27-28
- 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 January 20, 2010, more information
on that is to be announced)
- 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 2010 organizing committee
on the basis of their assessed benefit for prospective participants to
ETAPS 2010. The titles and brief information about accepted Satellite
Events will be included in the ETAPS 2010 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
organizers
Prospective organizers may wish to consult the web pages of previous
satellite events as examples:
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/
-- IMPORTANT DATES --
Satellite Event Proposals Deadline: 10 February 2009
Notification of acceptance: 28 February 2009
-- FURTHER INFORMATION AND ENQUIRIES --
Please contact the Local Organizers,
George A. Papadopoulos, george@cs.ucy.ac.cy
Anna Phillipou, annap@cs.ucy.ac.cy
-- THE HOST CITY --
ETAPS 2010 will be held in Cyprus. Cyprus is the third biggest
island in the Mediterranean and one of the newest members of the
European Union. It is an island state and its main source of income
is tourism and services.
Paphos has an air of holiday charm combined with history, and
olden-day elegance is lent to the town by its classical style buildings
in the upper part of town which leads to the shopping area. The
lower part of the town - known as Kato Paphos - has a life of its own,
down near the sea, home of the harbour, the fish tavernas, souvenir
shops and several beautiful hotels with important archaeological sites
all around them.
More information: http://www.visitcyprus.com/
To the Ada-Belgium home page.
Last update: 2009/09/08.
Dirk Craeynest