FoSSaCS 2007

Tenth International Conference on
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES

A member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2007) 24 March - 1 April, 2007, Braga, Portugal

Call for papers | Important dates | Submission guidelines |  Programme Committee |  Invited Speaker

FoSSaCS is a member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2007 is the tenth joint conference in this series. The conference is organized by the Universidade do Minho. The prior conferences have been ETAPS 1998 in Lisbon, ETAPS 1999 in Amsterdam, ETAPS 2000 in Berlin, ETAPS 2001 in Genova, ETAPS 2002 in Grenoble,  ETAPS 2003 in Warsaw, ETAPS 2004 in Barcelona, ETAPS 2005 in Edinburgh, and ETAPS 2006 in Vienna.

FOSSACS seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. The specific topics covered by the conference include, but are not limited to, the following:

• Algebraic models,
• Automata and language theory,
• Behavioural equivalences,
• Categorical models,
• Computation processes over discrete and continuous data,
• Infinite state systems,
• Computation structures,
• Logics of programs,
• Modal, spatial, and temporal logics,
• Models of concurrent, reactive, distributed, and mobile systems,
• Process algebras and calculi,
• Semantics of programming languages,
• Software specification and refinement,
• Type systems and type theory.
• Fundamentals of security
• Semi-structured data
• Program correctness and verification

ETAPS 2007 conferences and other satellite events will be held 24 March - 1 April, 2007.

As a part of ETAPS, FoSSaCS adheres to ETAPS submission and notification deadlines:

6 October, 2006	Strict deadline for submission of abstracts
13 October, 2006	Strict deadline for submission of full versions
8 December, 2006	Acceptance notification of authors
5 January, 2007	Camera-ready paper versions due
Within 24 March and 1 April, 2007	FoSSaCS 2007 Conference

The above deadlines are STRICT. Making the deadline for submission of abstracts a week early allows the programme committee to start work before full versions are available. Obviously, there is no need to wait with submission of the full version until the final deadline.

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the final deadline will be treated as withdrawn, but authors are strongly encouraged, in this case, to explicitly withdraw their submission by sending an e-mail to the chairman.

Papers should be submitted using the FoSSaCS 2007 Conference Service.

Research papers cover one or more of the topics above and are evaluated by the FoSSaCS Program Committee. Submitted research papers must:

• be in English and have a maximum of 15 pages (including figures and bibliography),
• present original research which is unpublished and not submitted elsewhere (conferences or journals) -- in particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden,
• use the Springer-Verlag LNCS style
• be submitted electronically in Postscript or PDF form via the FoSSaCS 2007 Conference Service (abstract no later than 6 October, 2006, and full paper no later than 13 October, 2006)

SPECIAL ISSUE

If the quality of the accepted submissions warrants it, there will be a special issue of the electronic Journal Logical Methods in Computer Science devoted to selected papers from the conference.

PROGRAMME COMMITTEE CHAIR

• Helmut Seidl, TU München, Germany

INVITED SPEAKER

• Radha Jagadeesan , DePaul University (USA)