[PRL] Fwd: [TYPES] ETAPS 2005: CALL FOR SUBMISSIONS
Matthias Felleisen
matthias at ccs.neu.edu
Thu Sep 16 08:32:56 EDT 2004
Places to publish in our world -- Matthias
Begin forwarded message:
> From: ETAPS 2005 Organisation <etaps05 at inf.ed.ac.uk>
> Date: September 15, 2004 7:45:05 PM EDT
> To: types at cis.upenn.edu
> Cc: Subject: [TYPES] ETAPS 2005: CALL FOR SUBMISSIONS
>
> [The Types Forum,
> http://lists.seas.upenn.edu/mailman/listinfo/types-list]
>
> *****************************************************************
> *** ***
> *** ETAPS 2005 ***
> *** 2nd - 10th April 2004 ***
> *** Edinburgh, Scotland. ***
> *** ***
> *** http://www.etaps05.inf.ed.ac.uk/ ***
> *** ***
> *** CALL FOR SUBMISSIONS ***
> *** ***
> *** Abstract submission deadline: 8th October, 2004 ***
> *** Full submission deadline: 15th October, 2004 ***
> *** ***
> *****************************************************************
>
> The European Joint Conferences on Theory and Practice of Software
> (ETAPS)
> is the primary European forum for academic and industrial researchers
> working on topics related to Software Science. It is a confederation
> of
> five main conferences, a number of satellite workshops and other
> events.
>
> -----------------------------------------------------------------------
> --
> Main Conferences
> -----------------------------------------------------------------------
> --
>
> FOSSACS 2005: Foundations of Software Science and Computation
> Structures
> PC chair: Vladimiro Sassone (http://www.cogs.susx.ac.uk/users/vs)
> URL: http://www.cogs.susx.ac.uk/fossacs05
> email: fossacs05 at susx.ac.uk
>
> FASE 2005: Fundamental Approaches to Software Engineering
> PC chair: Maura Cerioli
> (http://www.disi.unige.it/person/CerioliM)
> URL: http://fase05.disi.unige.it/
> email: fase05 at disi.unige.it
>
> ESOP 2005: European Symposium on Programming
> PC chair: Mooly Sagiv (http://www.cs.tau.ac.il/~msagiv)
> URL: http://www.cs.tau.ac.il/~msagiv/esop05.html
>
> CC 2005: International Conference on Compiler Construction
> PC chair: Rastislav Bodik (http://www.cs.berkeley.edu/~bodik)
> URL: http://cc05.cs.berkeley.edu/
>
> TACAS 2005: Tools and Algorithms for the Construction and Analysis
> of Systems
> PC chairs: Nicolas Halbwachs (http://www-verimag.imag.fr/~halbwach)
> Lenore Zuck (http://www.cs.nyu.edu/~zuck)
> URL: http://www-verimag.imag.fr/TACAS2005.html
>
>
> The ETAPS main conferences accept two types of contributions:
>
> * Research papers
> * Tool demonstration papers
>
> -----------------------------------------------------------------------
> Research papers:
> -----------------------------------------------------------------------
>
> Prospective authors are invited to submit full papers in English
> presenting
> original research. Submitted papers must be unpublished and not
> submitted
> for publication elsewhere. In particular, simultaneous submission of
> the
> same contribution to multiple ETAPS conferences is forbidden.
>
> The proceedings will be published in the Springer-Verlag Lecture Notes
> in Computer Science series. Final papers will be no more than 15 pages
> long in the format specified by Springer-Verlag at
> http://www.springer.de/comp/lncs/authors.html
>
> It is recommended that submissions adhere to that format and length.
> Submissions that are clearly too long may be rejected immediately.
> Instructions on how to submit are available at the URL of each
> individual conference.
>
> -----------------------------------------------------------------------
> Tool demonstration papers:
> -----------------------------------------------------------------------
>
> Demonstrations of novel and state-of-the-art tools are also invited. A
> submission should have a clear connection to one of the main ETAPS
> conferences, possibly complementing a paper submitted separately. Tool
> demonstrations are an integrated part of the ETAPS programme. Selected
> demonstrations will be presented in ordinary conference sessions. The
> time allowed will be approximately the same as that for the
> presentation
> of a research paper. The demonstration will be accompanied by the
> publication of a short paper (up to 4 pages) in the proceedings of the
> relevant ETAPS conference, describing the main features of the tool.
> There will be opportunities for follow-up demonstrations with small
> groups.
>
> Submissions should follow the instructions published in the URL of the
> relevant conference. They should take the form of a self-contained tool
> description of no more than 4 pages in the format specified by
> Springer-Verlag at http://www.springer.de/comp/lncs/authors.html. The
> tool description should be accompanied by an appendix (not intended for
> publication, and not included in the page limit) indicating which
> features of the tool would be demonstrated - preferably with some
> sample
> screen snapshots.
>
> N.B. Tool demonstrations should not be confused with research
> contributions to the TACAS conference, which emphasises principles of
> tool design, implementation, and use, rather than focusing on specific
> domains of application.
>
>
> -----------------------------------------------------------------------
> Satellite Workshops
> -----------------------------------------------------------------------
>
> AVIS: Automated Verification of Infinite-State Systems
> Contact: Ramesh Bharadwaj, ramesh at itd.nrl.navy.mil
> URL: http://chacs.nrl.navy.mil/AVIS05
>
> CEES: Continuous Engineering of Embedded Systems
> Contact: Martin Grosse-Rhode, martin.grosse-rhode at isst.fraunhofer.de
> URL: http://www.isst.fhg.de/~mgrosse/cees/index.html
>
> GLPL: Games for Logic and Programming Languages
> Contact: Dan Ghica, Dan.Ghica at comlab.ox.ac.uk
> URL: http://users.ox.ac.uk/~coml0074/galop.html
>
> GCW-DSE: Grand Challenge Workshop on Dependable Systems Evolution
> Contact: Jim Woodcock, Jim.Woodcock at cs.york.ac.uk
> URL: http://nick.dcs.qmul.ac.uk/~ohearn/DSE-Workshop/etaps05.html
>
> QAPL: Workshop on Quantitative Aspects of Programming Languages
> Contact: Herbert Wiklicky, herbert at doc.ic.ac.uk
> URL: http://www.doc.ic.ac.uk/~qapl05
>
> CLASE: Constructive Logic for Automated Software Engineering
> Contact: Iman Poernomo, ihp at csse.monash.edu.au
> URL: http://www.csse.monash.edu.au/clase
>
> COCV: Compiler Optimization Meets Compiler Verification
> Contact: Jens Knoop, knoop at complang.tuwien.ac.at
> URL:
> http://www.complang.tuwien.ac.at/knoop/COCV2005/cocv2005.html
>
> LDTA: Language Descriptions, Tools and Applications
> Contact: Thomas Noll, Noll at cs.rwth-aachen.de
> URL: http://www-i2.informatik.rwth-aachen.de/Events/LDTA2005/
>
> SLAP Synchronous Languages, Applications, and Programming
> Contact: Florence Maraninchi, Florence.Maraninchi at imag.fr
> URL: http://www.inrialpes.fr/pop-art/people/girault/Slap05
>
> TGC: Trustworthy Global Computing
> Contact: Rocco De Nicola, denicola at dsi.unifi.it
> URL: http://www.cs.unibo.it/~sangio/TGC05/
>
> BYTECODE: Bytecode Semantics, Verification, Analysis and
> Transformation
> Contact: Fausto Spoto, fausto.spoto at univr.it
> URL: http://www.sci.univr.it/~spoto/Bytecode05/
>
> FAC: Formal verification of Analog Circuits
> Contact: Oded Maler, Oded.Maler at imag.fr
> URL: http://www-verimag.imag.fr/~maler/FAC
>
> FESCA: Formal Foundations of Embedded Software and Component-Based
> Software Architectures
> Contact: Juliana Kuester-Filipe, jkfilipe at inf.ed.ac.uk
> URL: http://www.csse.monash.edu.au/fesca/
>
> FINCO: Foundations of Interactive Computation
> Contact: Mirko Viroli, mviroli at deis.unibo.it
> URL: http://www.cse.uconn.edu/cse/finco05/
>
> SC: Software Composition
> Contact: Thomas Gschwind, tom at infosys.tuwien.ac.at
> URL: http://www.infosys.tuwien.ac.at/staff/tom/SC2005
>
> UITP: User Interfaces for Theorem Provers
> Contact: David Aspinall, da at inf.ed.ac.uk
> URL: http://uitp05.inf.ed.ac.uk
>
> CMSB Computational Methods in Systems Biology
> Contact: Gordon Plotkin, gdp at inf.ed.ac.uk
> URL: http://homepages.inf.ed.ac.uk/v1bklin/cmsb05
>
>
> -----------------------------------------------------------------------
> Tutorials
> -----------------------------------------------------------------------
>
> Proposals for half-day or full-day tutorials related to ETAPS 2005 are
> invited. Tutorial proposals will be evaluated on the basis of their
> assessed benefit for prospective participants to ETAPS 2005.
> Proposals should include a description of the material that will be
> covered in the tutorial; a justification of the relevance of the
> tutorial for ETAPS 2005; a short history of the tutorial if it has
> been given before; the duration of the tutorial; the key learning
> objectives for the participants; the intended audience for the
> tutorial and the required background; and the credentials of the
> instructor(s).
>
> The deadline for tutorial proposals is 15th October 2004.
> They should be sent to etaps05 at inf.ed.ac.uk
>
>
> -----------------------------------------------------------------------
> IMPORTANT DATES
> -----------------------------------------------------------------------
>
> 8th October 2004: Submission deadline for abstracts of
> research and tool demonstration papers
> for main conferences
>
> 15th October 2004: Submission deadline for full versions of
> research and tool demonstration papers
> for main conferences, and tutorial proposals.
>
> 10th December 2004: Notification of acceptance
>
> 7th January 2005: Camera-ready versions due
>
> 4th - 8th April 2005: ETAPS 2004 main conferences
>
> 2nd - 10th April 2005: ETAPS 2004 satellite events
>
>
> For submission instructions, please visit the individual conference
> or workshop pages.
>
> Please note that submission deadlines for satellite events are
> independent of the main conference deadlines above, and vary from one
> another. Visit individual satellite workshop pages for full details.
>
>
> -----------------------------------------------------------------------
> -----
> You received this e-mail via the individual or collective address:
> types at cis.upenn.edu
> Please accept our apologies if you have received duplicates.
> To unsubscribe from the ETAPS list contact: etaps05 at inf.ed.ac.uk
>
More information about the PRL
mailing list