Conference Description
ESOP
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 2008 is the eleventh joint conference in this series.
ESOP is an annual conference devoted to fundamental issues in the
specification, analysis, and implementation of programming languages
and systems. This includes:
- Design of programming languages and calculi and their formal
properties
- Techniques, methods, and tools for their implementation
- Exploitation of programming styles within different
programming paradigms
- Automatic and manual methods for generating and reasoning
about programs
- The design and invention of systems and tools to assist in
exploitation of the languages
Contributions bridging the gap between theory and practice are
particularly welcome. Topics traditionally covered by ESOP include
programming paradigms and their integration, semantics, calculi of
computation, security and privacy, advanced type systems, program
analysis, program transformation, and practical algorithms based on
theoretical developments.
Additional information about ESOP can be found at ESOP's home page.
ESOP'08 Submission Site
The ETAPS conferences accept two types of contributions: research
papers and tool demonstration papers. Both types of contributions will appear in the
proceedings, published in the
Springer-Verlag Lecture Notes in Computer Science series.
Submitted papers must:
Submissions not adhering to the
specified format and length may be rejected immediately, without
review. All papers, especially research papers, should clearly identify
their novel contributions to the domain of fundamental approaches to
software engineering. One author of each accepted paper must attend the
conference to present the paper.
Research papers
Research papers should describe a novel contribution to the field.
Final papers shall not be more than 15 pages long. Additional material
intended for the referee, but not for publication in the final version
(for example, details of proofs) and not crucial for understanding the
paper, may be placed in a clearly marked
appendix that is not included in the page limit.
Tool demonstration papers
Tool demonstration papers should describe novel and state-of-the-art
tools. Submissions should consist of two parts. The first part, no more
than 4 pages, should describe the tool presented. Please include the
URL of the tool (if available) and provide information that illustrates
the maturity and robustness of the tool. This part will be included in
the proceedings. The second part, no more than 6 pages, should explain
how the demonstration will be carried out and what it will show,
including screen dumps and examples. This part will not be included in
the proceedings, but will be evaluated.
Important Dates
- Friday 5th October 2007 Abstract submission
- Friday 12th October 2007, 23.59 Samoa time (GMT -11): Paper submission
- Friday 7th December 2007: Author notification
- Friday 4th January 2008: Camera-ready paper versions due
- Saturday 29 March to Sunday 6th April 2008: ETAPS 2008
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.
Invited Speaker
Thierry Coquand, Goeteborg University, Sweden
Programme Committee
Chair: Sophia Drossopoulou, Imperial College London (UK)
|
|
- Dave Clarke,
, Centrum
voor Wiskunde en Informatica, CWI (Netherlands)
|
|
|
|
|
|
- Doug Lea,
State University of New York at Oswego (USA)
|
- Peter Mueller, ETH Zurich (Switzerland) and Microsoft Research (USA)
|
|
|
|
|
|
|
- Vijay Saraswat, U. Penn State University and IBM TJ Watson Research Lab (USA)
|
|
|
|
- Frank
Tip, IBM TJ Watson Research Center (USA)
|
|
|
|
