ETAPS 2000 in berlin, Call for papers 
(Sorry, if you receive multiple copies of this CFP.)


ETAPS 2000, March 25 - April 2, 2000, Technical University of Berlin

http://iks.cs.tu-berlin.de/etaps2000

First Announcement & Call for Submissions

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. Papers should be 
submitted electronically in Postscript form. Contact the relevant programme
committee chairman if electronic submission is impossible or if you have
no access to WWW. 

The proceedings of each main conference will be published as a separate 
volume 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 in 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. 
E-mail addresses and fax numbers of the authors should be included on 
the title page.  Information on how to submit your paper can be found on 
each conference's web-page. 

Submission Deadline: 18th October 1999

Conferences, Tutorials, Tool Demonstrations and Satellite Events
-------------------------------------------------------------------

CC 2000

CC 2000 will be a forum for presentation and discussion of recent 
developments in language processors and language design, with an 
emphasis on practical methods and tools. Topics include, 
but are not restricted to: 

- compilation and interpretation techniques including parsing, type 
  checking, static analysis, code generation, and code optimisation;  
- integrated programming environments; 
- processing of imperative, object-oriented, concurrent, real-time, 
  functional, and logic programming languages; 
- compilation for non-standard architectures, including parallelisation 
  issues; 
- compilation for distributed heterogeneous networks ("Web computing"); 
- processing of query languages, command languages, and application languages;
- language-oriented editing and high-level debugging. 

Program committee

Eigenmann, Rudolf (USA),  Eisenbeis, Christine (France),
Ferdinand, Christian (Germany), Hedin, Goerel (Sweden), 
Michel, Olivier (France), Peyton Jones, Simon (UK), 
Rauchwerger, Lawrence (USA), Shmuel (Mooly) Sagiv(Israel),
Seidl, Helmut (Germany),  Simons, Martin (Germany), 
Tseng, Chau-Wen (USA),  Watson, Bruce (S. Africa), 
Watt, David (UK), Zima, Hans (Austria), 

Chairman: David Watt, daw@dcs.gla.ac.uk 
Further Information: http://www.dcs.gla.ac.uk/~cc2000 

Invited Speaker: Reinhard Wilhelm, Universitaet des Saarlandes, Germany 
--------------------------------------------------------------------------

ESOP 2000 - European Symposium onProgramming

ESOP is an annual conference devoted to the design, specification and 
analysis of programming languages and programming systems.  Both practical 
and theoretical papers are welcome. Possible topics include: 
Programming paradigms and their integration, including concurrent, functional,
logic and object-oriented; computational calculi and semantics; type systems, 
program analysis and concomitant constraint systems; program transformation; 
programming environments and tools. Papers pointing out new directions or 
combining theory and practice are particularly encouraged. 

Program committee

Gerard Boudol, INRIA, Sophia-Antipolis, France, 
Sophia Drossopoulou, Imperial College, London, UK, 
Matthias Felleisen, Rice University, Houston, US,  
Michael Franz, UC Irvine, US,  
Manuel Hermenegildo, TU Madrid, Spain, 
Xavier Leroy, INRIA Rocquencourt, France,
Alan Mycroft, Cambridge University, UK, 
Martin Odersky, EPF Lausanne, Switzerland, 
Andreas Podelski, MPI, Saarbruecken, Germany, 
Gert Smolka, chair, UdS, Saarbruucken, Germany, 
Peter Thiemann, Uni Freiburg, Germany,  
Mads Tofte, Uni Copenhagen, Denmark,  
Pascal van Hentenryck, Uni Louvain, Belgium, 

Chairman: Gert Smolka, UdS, Saarbruecken, Germany, smolka@ps.uni-sb.de 

Invited Speaker: Martin Odersky, EPF Lausanne, Switzerland
-------------------------------------------------------------------------

FASE 2000

To achieve the status of a proper engineering discipline, Software 
Engineering requires engineering design and analysis METHODS which are 
firmly grounded on scientifically sound concepts as well as well founded 
software tools and analyses based on sound engineering principles. 
Fundamental approaches are sought, integrating formal approaches with 
principled methods, providing the bridge between theory and practice and 
aimed at producing engineering methods and tools for the various phases of 
software development. FASE is intended to provide a forum where fundamental
approaches to Software Engineering are presented, compared and discussed. 
Contributions should focus on the problems and methods of Software 
engineering; papers are especially welcome on the following topics: 

- Methods for the design of high quality software, relying on formal 
  approaches tospecification, refinement, testing and validation
- The use of program derivation and transformation methods to support 
  software production 
- Integration of formal notations and methods with engineering notations
  and methods  
- Combining programming in the small and programming in the large; 
- design of software architectures  
- Principled approaches to reverse engineering, legacy software, reuse and 
  evolution 
- Case studies of the application of principled Software Engineering methods
- Reports evaluating industrial experience of the use of Software Engineering
  methods 
- Rigorous experimental studies of the effectiveness and applicability of 
  principled methods  

Program committee

Gul Agha, University of Illinois Urbana, 
David Basin, Albert-Ludwigs-Universitaet Freiburg, 
Dan Craigen, ORA Canada, Peter Dybjer, Chalmers University of Technology, 
Jose Luiz Fiadeiro, University of Lisbon, 
Jean-Pierre Finance, University of Nancy, 
Hans-Dieter Ehrich, Technical University of Braunschweig, 
Michael Lowry, NASA Ames Research Center,  
Jeff Magee, Imperial College,  Tom Maibaum (chair), Imperial College, 
Dino Mandrioli, Politecnico di Milano,  
Narciso Marti Oliet, Universidad Complutense Madrid, 
Peter Mosses, University of Aarhus, Andrzej Tarlecki, University of Warsaw, 

Chairman: Tom Maibaum Professor of the Foundations of Software Engineering 
Department of Computing, Imperial College, 
180 Queen's gate, London SW7 2BZUK 
tel: +44 171 5948274, fax: +44 171 5818024email: 
tsem@doc.ic.ac.uk or concerning the conference fase2000@doc.ic.ac.uk 

Invited Speaker: Wladyslaw M. Turski, University of Warsaw 
---------------------------------------------------------------------

FOSSACS 2000

FOSSACS seeks papers which offer progress in foundational research with 
a clear significance for software science. A central issue is theories 
and methods which support the specification, transformation, verification, 
and analysis of programs and software systems. Topics covered are: 

- Computational and syntactic foundations of software science: computation 
  processes overdiscrete and continuous data, techniques for their 
  manipulation, and their algorithmic, algebraic, and logical properties; 
- Transition systems, models of concurrency and reactive systems, and 
  corresponding calculi, algebras, and logics; 
- Type theory, domain theory, and their connections to semantics 

Program committee

Andre Arnold (Bordeaux), Mariangiola Dezani (Torino), 
Harald Ganzinger (Saarbruecken), Georg Gottlob (Vienna),  
Fritz Henglein (Copenhagen), Jean-Pierre Jouannaud (Orsay), 
Dexter Kozen (Ithaca NY), Marta Kwiatkowska (Birmingham), 
Giuseppe Longo (Paris), Andrew Pitts (Cambridge), 
Wolfgang Thomas (Aachen), Glynn Winskel (Aarhus),  
Moshe Y. Vardi (Houston TX), Jerzy Tiuryn (Warsaw, chair)

Chairman: Jerzy Tiuryn (PC chair), tiuryn@mimuw.edu.pl 

Invited Speaker: Abbas Edalat, Imperial College, London 
----------------------------------------------------------------------

TACAS 2000

TACAS is a forum for researchers, developers and users interested in 
rigorously based tools for the construction and analysis of systems. 
The conference serves to bridge the gaps between different communities --- 
including but not limited to those devoted to formal methods, real-time, 
software engineering, communications protocols, hardware, theorem proving, 
and programming languages --- that have traditionally had little interaction 
but share common interests in, and techniques for,tool development. In 
particular, by providing a venue for the discussion of common problems, 
heuristics, algorithms, data structures and methodologies, TACAS aims to 
support researchers in their quest to improve the utility, reliability, 
flexibility and efficiency of TOOLs for building systems.  Tool descriptions 
and case studies with a conceptual message and theoretical papers with a 
clearlink to tool construction are particularily encouraged. The specific 
topics covered by the conference include, but are not limited to, the 
following. 

- verification and construction techniques; 
- compositional and refinement-based methodologies;  
- test generation; 
- theorem-proving and model checking;  
- analytical techniques for real-time, hybrid and safety-critical systems;
- tool environments and tool architectures;  
- applications and case studies.  

All accepted contributions will receive the same space in the conference 
schedule and in the proceedings, and technical support will be provided for 
allowing presenters to demonstrate their tools during their talks. Facilities 
will also be available for informal tool demonstrations during the conference.
As TACAS addresses a heterogeneous audience, potential authors are strongly 
encouraged to write about their ideas in general and jargon-independent, 
rather than application-and domain-specific, terms. 

Program committee

Tom Ball (USA),  Ed Brinksma (NL), 
Rance Cleaveland (USA), Matthew Dwyer (USA),  
Fausto Giunchiglia (I), Susanne Graf (F, chair), 
Constance L. Heitmeyer (USA), Gerard Holzmann (USA),  
Claude Jard (F),  Joost N. Kok (NL), 
Kim Larsen (DK), Tiziana Margaria (D), 
Michael Schwartzbach (DK, chair), Bernhard Steffen (D),  
Perdita Stevens (GB),   Wang Yi (Sweden), 

Chairwoman: Susanne Graf  
tel : (+33) (0)4 76 63 48 52, 76 63 48 48 (secr)  
fax : (+33) (0)4  76 63 48 50, 
VERIMAG, Centre Equation  
2 avenue de la Vignate, F - 38610 Gieres 
http://www-verimag.imag.fr/PEOPLE/Susanne.Graf  
e-mail: Susanne.Graf@imag.fr
Further Information:  http://www-verimag.imag.fr/TACAS2000 

Invited Speaker: Pierre Wolper, University of Liege 
----------------------------------------------------------------------

Tutorials

Proposals for half-day or full-day tutorials related to ETAPS 2000 are 
invited. Tutorial proposals will be evaluated on the basis of their 
assessed benefit for prospective participants to ETAPS 2000. Submissions 
are to be in the form of a proposal of maximum 10 pages for review purposes.
Proposals should include a description of the material that will be covered 
in the tutorial; a justification of the relevance ofthe tutorial for 
ETAPS 2000; a short history of the tutorial in the event it has been given 
before; duration of the tutorial; scope of the tutorial; the key learning 
objectives for the participants; the intended audience for the tutorial and 
required background; andthe credentials of the instructor(s). 

Submissions should be sent by October 18, 1999, preferably electronically 
(plain text or uuencoded gzipped Postscript), to: 
J. FiadeiroETAPS 2000 
University of Lisbon, Depart. of Informatics Faculty of Sciences 
Campo Grande 1700 
Lisboa, Portugal

llf@di.fc.ul.pt 
------------------------------------------------------------------------

Tool Demonstrations

Demonstrations of tools presenting advances on the state of the art are 
invited. Submissions in this category should present tools having a clear 
connection to one of the main ETAPS conferences, possibly complementing a 
paper submitted separately. Submissions in this category should not be
confused with contributions to TACAS, which emphasizes principles of tool 
design, implementation, and use, rather than focusing on specific domains 
of application. Tool demonstrations will be presented in devoted conference 
sessions with state-of-the-art projection facilities. Authors of accepted 
demos will be asked to contribute a short paper to the proceedings of the 
relevant ETAPS conference. 

Submissions should take the form of a tool description of no more than 4 
pages in theSpringer-Verlag LNCS format. The ETAPS conference within whose 
purview the tool falls should be clearly indicated on the title page. At 
least one screen snapshot should be provided to allow the selection committee
to get some impression of the quality of the user interface. A specification
of the hardware and software requirements for installing and demonstrating 
the tool must be provided.Screen snapshots and the hardware/software 
specification are not included in the page limit unless they constitute part 
of the description of the tool. 

Don Sannella
ETAPS'2000, Laboratory for Foundations of Computer Science
University of Edinburgh 
Edinburgh EH9 3JZSCOTLAND

E-mail: etaps2000-demo@dcs.ed.ac.uk
WWW: http://www.dcs.ed.ac.uk/home/dts/etaps/etaps2000-demo/submit.html 
-------------------------------------------------------------------------

Satellite Events 

Besides the five main conferences the following satellite events are 
planned for ETAPS 2000

CBS: International Workshop on Communication-Based Systems 
(Contact: Guenter Hommel)
http://pdv.cs.tu-berlin.de/workshop/ 
E-mail: workshop@pdv.cs.tu-berlin.de .

GRATRA: Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems 
(Contact: Hartmut Ehrig)

For submission of papers please contact http://tfs.cs.tu-berlin.de/gratra2000.

Organizers: H. Ehrig and G. Taentzer (Berlin) in cooperation with A. Corradini
 (Pisa) andH.-J. Kreowski (Bremen)  
E-mail: gratra2000@cs.tu-berlin.de
WWW: http://tfs.cs.tu-berlin.de/gratra2000 

INT: Integration of Specification Techniques with Applications in Engineering
(Contact: Martin Grosse-Rhode) 
Organizers: W.Brauer (Munich), H.Ehrig, M.Grosse-Rhode (Berlin), 
E.Schnieder(Braunschweig), F.Orejas (Barcelona) 
E-mail: mgr@cs.tu-berlin.de
WWW: http://tfs.cs.tu-berlin.de/~mgr/int2000.html  

CoFI: Common Framework Initiative for algebraic specification and development 
of software (Contact: Don Sannella) 

E-mail: dts@dcs.ed.ac.uk
WWW: http://www.brics.dk/Projects/CoFI 

CMCS: Workshop on Coalgebraic Methods in Computer Science
(Contact: Horst Reichel )

E-mail: reichel@tcs.inf.tu-dresden.de
WWW: http://wwwtcs.inf.tu-dresden.de/~reichel/cmcs.html 
---------------------------------------------------------------------------

Important Dates:
18th October 1999:  Submissions Deadline for the MainConferences, Demos and 
                    Tutorials  
13th December 1999: Notification of Acceptance/Rejection  
13th January 2000:  Camera-ready Version Due  
27th - 31th March 2000:  ETAPS 2000 in Berlin  
25th March - 2nd April 2000:  Satellite Events 

E-mail: etaps2000@iks.cs.tu-berlin.de


