[TYPES/announce] ETAPS 2013: Final Call for Satellite Events

Joost-Pieter Katoen katoen at cs.rwth-aachen.de
Tue Dec 6 15:05:48 EST 2011


[We apologise for multiple copies.]

-------------------------------------------------------------

             *** FINAL CALL FOR SATELLITE EVENTS ***

             !!  Deadline: December 16th, 2011 ! !

                         ETAPS 2013

European Joint Conferences on Theory And Practice of Software

                   March 16th – 24th, 2013
                        Rome, Italy

-------------------------------------------------------------

-- 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 
sixteenth conference, ETAPS 2013, takes place between March 16th and 
24th, 2013 in Rome, Italy. Rome is the capital of Italy; its history 
spans over two and a half thousand years. Its architectural and 
archaeological  sites (ranging from ancient Romans to Art Nouveau and 
Modernism, passing through Renaissance and Baroque), and its rich 
artistic and historical heritage, contribute to the presence of many 
UNESCO World Heritage Sites.


ETAPS main conferences take place on March 18th-22nd, 2013. They are:

-  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
-  POST: Principles of Security and Trust
-  TACAS: Tools and Algorithms for the Construction and Analysis of Systems


-- SATELLITE EVENTS --

The ETAPS 2013 Organizing Committee invites proposals for Satellite 
Events (workshops, tutorials, etc.) that will complement the main 
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 2013 Satellite Events will be held immediately before and after 
the main conferences, on March 16th-17th and March 23rd-24th, 2013.


-- 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 etaps2013-sat at di.uniroma1.it.

A proposal should not exceed two pages and should include:

•    Satellite Event name / acronym
•    names and contact information of the organizers
•    preferred period: March 16th-17th or March 23rd-24th
•    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
•    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 2013 organizing committee 
on the basis of their assessed benefit for prospective participants to 
ETAPS 2013. The titles and brief information about accepted Satellite 
Events will be included in the ETAPS 2013 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 advertising 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 2012: http://www.etaps.org/2012/workshops
ETAPS 2011: http://www.etaps.org/2011/workshops
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/


-- IMPORTANT DATES --

Satellite Event Proposals Deadline: December 16th, 2011

Notification of acceptance: January 10th, 2012


-- FURTHER INFORMATION AND ENQUIRIES --

Please contact Paolo Bottoni or Pietro Cenciarelli (workshops chairs)
etaps2013-sat at di.uniroma1.it (preferred)
bottoni at di.uniroma1.it, cenciarelli at di.uniroma1.it


+---------------------------------------------------------------+
| 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 |
+---------------------------------------------------------------+


More information about the Types-announce mailing list