[mercury-users] ETAPS 2000 in Berlin, 2nd Call for Papers

[Doris Faehndrich]

(Sorry, if you receive multiple copies of this CFP.)

                   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, Universität 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 at 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 at ps.uni-sb.de
Further Information: http://www.ps.uni-sb.de/~esop2000/

-----------------------------------------------------------

FASE 2000: Fundamental Approaches to Software Engineering 
Chairman: Tom Maibaum, fase2000 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at 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 at iks.cs.tu-berlin.de
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------