SECOND CALL FOR PAPERS European Joint Conferences on Theory and Practice of Software: ETAPS 2000, March 25 - April 2, 2000, Technical University of Berlin http://iks.cs.tu-berlin.de/etaps2000 Submission Deadline: OCTOBER 18, 1999 The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of conferences and other events that has become the primary European forum for academic and industrial researchers working on topics relating to Software Science. Invited Speakers ---------------- Abbas Edalat, Imperial College, London David Harel, The Weizmann Institute of Science, Rehovot, Israel Martin Odersky, EPF Lausanne, Switzerland Richard Mark Soley, OMG Object Management Group,Framingham, Massachusetts, U.S.A Wladyslaw M. Turski, University of Warsaw, Poland Reinhard Wilhelm, Universitt des Saarlandes, Germany Pierre Wolper, University of Liege, Belgium Conferences, Tutorials, Tool Demonstrations and Satellite Events ---------------------------------------------------------------- CC 2000: International Conference on Compiler Construction (CC) Chairman: David Watt, daw@dcs.gla.ac.uk Further Information: http://www.dcs.gla.ac.uk/~cc2000 --------------------------------------------------------------- ESOP 2000 - European Symposium on Programming Chairman: Gert Smolka, UdS, Saarbruecken, Germany, smolka@ps.uni-sb.de Further Information: http://www.ps.uni-sb.de/~esop2000/ ----------------------------------------------------------- FASE 2000: Fundamental Approaches to Software Engineering Chairman: Tom Maibaum, fase2000@doc.ic.ac.uk Further Information: http://iks.cs.tu-berlin.de/fase2000/ ----------------------------------------------------------- FOSSACS 2000: Foundations of Software Science and Computation Structures Chairman: Jerzy Tiuryn, tiuryn@mimuw.edu.pl Further Information: http://iks.cs.tu-berlin.de/etaps2000/conf-fossacs.html ---------------------------------------------------------- TACAS 2000: Tools and Algorithms for the Construction and Analysis of Systems Chairwoman: Susanne Graf, Susanne.Graf@imag.fr Further Information: http://www-verimag.imag.fr/TACAS2000 ---------------------------------------------------- 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. Chairman: Jose Fiadeiro, llf@di.fc.ul.pt Further Information: http://iks.cs.tu-berlin.de/etaps2000/tutorials.html -------------------------------------------------------------- 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. Chairman: Don Sannella, etaps2000-demo@dcs.ed.ac.uk Further Information: http://iks.cs.tu-berlin.de/etaps2000/tooldemo.html ---------------------------------------------------------------------- Satellite Events CBS: International Workshop on Communication-Based Systems Contact: Guenter Hommel, workshop@pdv.cs.tu-berlin.de Further Information: http://pdv.cs.tu-berlin.de/workshop/ GRATRA: Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Contact: Hartmut Ehrig, gratra2000@cs.tu-berlin.de Further Information: http://tfs.cs.tu-berlin.de/gratra2000. INT: Integration of Specification Techniques with Applications in Engineering Contact: Martin Grosse-Rhode, mgr@cs.tu-berlin.de Further Information: http://iks.cs.tu-berlin.de/etaps2000/satev-int.html CoFI: Common Framework Initiative for algebraic specification and development of software Contact: Don Sannella, dts@dcs.ed.ac.uk Further Information: http://iks.cs.tu-berlin.de/etaps2000/satev-cofi.html CMCS: Workshop on Coalgebraic Methods in Computer Science Contact: Horst Reichel, reichel@tcs.inf.tu-dresden.de Further Information: http://wwwtcs.inf.tu-dresden.de/~reichel/cmcs.html ----------------------------------------------------------- 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, simul- taneous submission of the same contribution to multiple ETAPS con- ferences is forbidden. Papers should be submitted electronically in Postscript form. Contact the relevant programme committee chairperson 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. --------------------------------------------------------------------- Important Dates: 18th October 1999: Submissions Deadline for the Main Conferences, 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