Conference announcements

Call for Papers -
European Joint Conferences on Theory and Practice of Software (ETAPS'98)


From: dmy@watson.ibm.com (Daniel Yellin)
Newsgroups: comp.lang.sigplan
Subject: ETAPS'98 - Call for submissions
Date: 5 Sep 1997 15:52:37 GMT
Organization: IBM T. J. Watson Research Center


CALL FOR SUBMISSIONS


                European Joint Conferences on
               Theory and Practice of Software


                         E T A P S  98


    Lisbon,  Portugal               March 30 - April 3, 1998




           http://www.di.fc.ul.pt/~llf/etaps98/


The European Joint Conferences on Theory and Practice of
Software (ETAPS) is a new annual meeting covering a wide
range of topics in Software Science which will take place in
Europe each spring in the slot currently occupied by
CAAP/ESOP/CC and TAPSOFT. ETAPS is a loose and open
confederation of existing and new conferences and other events
which aims to become the primary European forum for
academic and industrial researchers working on topics
relating to Software Science.

Five main conferences and four satellite events have been
programmed for the 1998 edition of ETAPS. See the call for
papers below for the complete list.

ETAPS will also include an "Advanced Seminar", consisting of
a wide spectrum of talks by invited speakers, which will take
place in plenary sessions. The invited speakers for 1998 are:

       Kent Beck, First Class Software Inc., USA
       Randy Bryant, Carnegie Mellon University, USA
       Margaret Burnett, Oregon State University, USA
       Cliff Jones, Harlequin Ltd, UK
       Michael Mislove, Tulane University, USA
       Amir Pnueli, Weizmann Institute, Israel
       Gert Smolka, University of Saarbruecken, Germany

A call for system demos and tutorials is now open as well (see
below).




CALL FOR PAPERS

The call for papers is now open for the five main conferences of
ETAPS'98, with a submission deadline of October 6, 1997.

See the ETAPS web page (http://www.di.fc.ul.pt/~llf/etaps98/)
for more details about the scope and submission instructions of
each individual conference. Prospective authors who have no
access to WWW should use the e-mail address given for each
conference to obtain further information.


Foundations of Software Science and Computation Structures
(FoSSaCS)
------------------------------------------------------------
The scope of FoSSaCS is syntactic, algebraic, logical and
semantic methods for describing, analysing, transforming and
verifying programs and systems. The focus is on foundational
aspects of such methods rather than on their applications.

Topics include: computational and syntactic foundations of
Software Science, including basic objects in computation
processes, techniques for their manipulation, and their
algebraic and logical properties; transition systems and models
of concurrency, including calculi, semantics, logics and
algorithmic aspects; data structures and types, including
algebraic specification, polymorphism, and regular and
relational algebras; domain theory and denotational (fixed-
point) semantics, including ordered structures, topological
domains, domain equations, computable reals and semantics of
numerical computations.

Programme Committee: M. Nivat (France, chair), A. Arnold
(France, vice-chair), W. Thomas (Germany, vice-chair), V.
Bruyere (Belgium), Z. Esik (Hungary), J. Gabarro (Spain), N.
Klarlund (USA), F. Mignosi (Italy), P. Mosses (Denmark), D.
Niwinski (Poland), C. Palamidessi (Italy), A. Podelski
(Germany), J. Rutten (Netherlands), H. Seidl (Germany), A.
Sernadas (Portugal), C. Stirling (UK)

E-mail address: Maurice.Nivat@litp.ibp.fr


Fundamental Approaches to Software Engineering (FASE)
-----------------------------------------------------
To enhance software quality, the software production process
requires rigorous methods, firmly grounded on scientifically
justified techniques. Fundamental approaches are sought,
possibly integrating so-called formal and informal aspects,
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 are presented,
compared and discussed.

Contributions are especially welcome on the following topics:
methods for the production of provably correct software, its
verification and evolution; formal methods and combination of
formalisms; integration of informal and formal methods; tools
and environments supporting rigorous approaches; case
studies of applications of formal and semiformal methods;
reports evaluating industrial experiences; rigorous
experimental studies of effectiveness and applicability of formal
methods; concepts and models for software specification,
development, verification and evolution; foundations and
frameworks of conceptual models; formal approaches for real-
time, concurrent, distributed and object-oriented systems;
specification, design and verification of hybrid systems.

Programme Committee: E. Astesiano (Italy, chair), M. Bidoit
(France), Z. Chao Chen (Macau), D. Craigen (Canada), H.
Ehrig (Germany), C. Ghezzi (Italy), H. Hussmann (Germany),
C. Jones (UK), T. Maibaum (UK), F. Orejas (Spain), G.
Renardel de Lavalette (Netherlands), D. Smith (USA), J. Wing
(USA), M. Wirsing (Germany)

E-mail address: fase98@disi.unige.it


European Symposium On Programming (ESOP)
----------------------------------------
This conference is devoted to fundamental issues concerning
programming languages and systems. Approaches to the
specification, analysis and implementation of languages and
systems are the main concern; papers should emphasise the
soundness and correctness of the approach.

Contributions which bridge the gap between theory and practice
are particularly welcome. Topics traditionally covered by ESOP
include: programming paradigms and their integration
(including functional, logic, concurrent and object-oriented);
semantics facilitating the formal development and
implementation of programming languages and systems;
advanced type systems (including polymorphism and
subtyping); program analysis (including abstract interpretation
and constraint systems); program transformation (including
partial evaluation and term rewriting); practical algorithms
based on theoretical developments.

Programme Committee: C. Hankin (UK, chair), J. de Bakker
(Netherlands), L. Cardelli (USA), A. Deutsch (France), R.
Giegerich (Germany), R. Glueck (Denmark), R. Gorrieri
(Italy), P. Hartel (UK), P. Lee (USA), H.R. Nielson (Denmark),
M. Odersky (Germany), A. Pettorossi (Italy), A. Porto
(Portugal), D. Sands (Sweden), D. Schmidt (USA)

E-mail address: clh@doc.ic.ac.uk


International Conference on Compiler Construction (CC)
------------------------------------------------------
CC is 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 techniques
including parsing, type checking, code generation, and code
optimisation; interpretation; language-oriented editing; high-
level debugging; integrated programming environments;
processing of imperative, object-oriented, concurrent,
functional, and logic programming languages; compilation for
non-standard architectures; processing of query languages,
command languages, and application languages; interaction
between language design and implementation.

Programme Committee: K. Koskimies (Finland, chair), M.
Bartha (Canada), J. Bishop (South Africa), P. Fritzson
(Sweden), R. Gupta (USA), T. Gyimothy (Hungary), N. Horspool
(Canada), S. Jahnichen (Germany), U. Kastens (Germany), B.
Magnusson (Sweden), K. McKinley (USA), G. Riedewald
(Germany), W. Waite (USA), D. Watt (UK), R. Wilhelm
(Germany)

E-mail address: koskimie@cs.uta.fi


Tools and Algorithms for the Construction and Analysis of
Systems (TACAS)
------------------------------------------------------------
Many similar tools and algorithms have been independently
developed in various areas of computer science like automata
and language theory, verification and synthesis of hardware
and software systems, construction and analysis of real time
systems, software engineering, type and proof theory, logic and
algebra. TACAS is a "community-independent" forum for
discussion between the researchers and developers interested
in tools. In the focus are basic principles and application-
independent features of algorithms and their implementation,
with the aim to increase the reliability, flexibility and efficiency
of current tools by highlighting common problems, heuristics,
data structures, and solutions. In particular, theoretical papers
with a clear link to tool construction and tool descriptions and
applications with conceptual message are encouraged.

As TACAS addresses quite a heterogeneous audience, one of
the major selection criteria for papers and tool demonstrations
is a widely accessible presentation on a conceptual rather than
technical level. This requires authors to think about their
techniques in a wider context, which we believe is the key to a
wider dissemination of more and more professional tools.
Moreover it establishes a significant difference between TACAS
contributions and typical publications in the various specialized
communities, where a large common basis can be assumed.

Regular papers and refereed tool presentations are equally
treated: accepted contributions will receive the same space in
the conference schedule and in the proceedings. In addition,
there will be informal tool demonstrations during the breaks.

The topics of the workshop include: Compositional verification
and construction techniques; Refinement-based methodologies;
Heterogeneous analysis; Theorem-proving and model checking;
Analytical techniques for real-time, hybrid, probabilistic, and
safety-critical systems; Tool environments and tool
architectures; Applications and case studies

Programme Committee: B. Steffen (Germany, chair), E.
Brinksma (Netherlands), R. Cleaveland (USA), F. Giunchiglia
(Italy), S. Graf (France), T. Henzinger (USA), D. Jackson
(USA), K. Jensen (Denmark), K. Larsen (Denmark), T.
Margaria (Germany), J. Palsberg (Denmark), D. Peled (USA),
S. Smolka (USA), F. Vaandrager (Netherlands)

E-mail address: tacas98@fmi.uni-passau.de


For all the above conferences, 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 final paper will be no more than 15 pages in the Springer-
Verlag format for Lecture Notes in Computer Science (the
series in which the proceedings will be published); see the back
cover of a recent volume for details. Submissions need not
adhere to that format, but those that are clearly too long may be
rejected immediately. E-mail addresses and fax numbers of the
authors should also be included.

The deadline for submissions is OCTOBER 6, 1997. Authors will
be notified of the decision by December 8. Final versions will be
due before January 12, 1998.




SATELLITE EVENTS

Besides the five main conferences, four satellite events have
been programmed for the 1998 edition of ETAPS. See the ETAPS
web page (http://www.di.fc.ul.pt/~llf/etaps98/) for a more
detailed description and the submission instructions of each
individual event. Prospective authors who have no access to
WWW should use the e-mail address given for each event.


International workshop on Advanced Communication Services
(ACoS)
-------------------------------------------------------------
Communication networks ranging from classical telephony to
intelligent networks and to the internet are going more and
more commercial and conquer unexpected aspects of everyone's
life. Their new, challenging, and extremely broad role as
communication service channels leads to increasingly strong
requirements: users expect greater flexibility, more features
and yet simpler handling of the new media, of course in
combination with extremely high availability, reliability, and
security standards, e.g. for round-the-clock on-line banking.
The rapid evolution of this market requires faster turn-around
times in the definition of value-added services and of their
underlying communication solutions. In particular, recent
research studies and field trials show that  successful uses of
communication products will increasingly depend on their
personalisation capabilities. This workshop aims at bringing
together representatives of the involved parties, spanning
several fields of both industry and academia, in order to address
the ambitious expectations which, we are convinced, are far
beyond the reach of state-of-the-art industrial methods.

Organisers: R. Rueckert (Telemedia/Bertelsmann) and B.
Steffen (Passau)

E-mail address: acos98@fmi.uni-passau.de


Workshop on Visualization Issues for Formal Methods
(VISUAL)
---------------------------------------------------------------
Formal Methods are increasingly needed in industrial practice.
The great challenge for the future is to fully integrate the use of
formal methods into the development process. Development
engineers are unlikely to adopt the mathematical notations
underlying formal methods; accordingly, formal methods must
be presented and encapsulated in an application-oriented
fashion in order to be easily understood and applied by their
users. Visualization and user-friendly interfaces are key issues
for this. This one-day workshop intends to bring together people
from industry and academia to discuss ongoing work in the
field with particular focus on the transfer of research results
into practical solutions. Conversely, needs arising in concrete
application contexts shall be presented to provide feedback to the
research arena. The workshop intends to provide a forum for
critical discussion for people who are interested in the various
technical aspects of formal methods and visualization.

Organisers: T. Margaria (Passau) and J. Posegga (Deutsche
Telekom)

E-mail address: visual98@fmi.uni-passau.de


Workshop on Coalgebraic Methods in Computer Science
---------------------------------------------------
State-based dynamical systems as found throughout computing
science are traditionally described as transition systems or
certain kinds of automata. During the last decade, it has
become increasingly clear that such systems can be captured
uniformly as so-called "coalgebras" (which are the formal dual
of algebras). Coalgebra is beginning to develop into a field of its
own, with its own proof methods (involving bisimulations and
invariants). This workshop will be devoted both to an
introduction to basic coalgebraic notions and techniques, and
also to some recent advances in the theory of coalgebras. We are
looking for participants and contributed talks to this informal
workshop on both the theory and the use of coalgebras in
computer science. Depending on the reactions, the workshop
will consist of one or two days; publication of proceedings of the
workshop will be considered.

Organisers: B. Jacobs (Nijmegen), H. Reichel (Dresden) and J.
Rutten (CWI, Amsterdam)

E-mail address: janr@cwi.nl


Workshop on Algebraic Development Techniques (WADT)
---------------------------------------------------
The algebraic approach to system specification and
development, born as a formal method for abstract data types,
encompasses today the formal design of integrated hardware
and software systems, new specification frameworks and
programming paradigms (such as object oriented, logic and
higher-order functional programming) and a wide range of
application areas (including information systems, concurrent
and distributed systems). This workshop, the 13th in its kind,
will provide an opportunity to meet colleagues, to present recent
and ongoing work and to discuss new ideas and future trends.

Organiser: J. Fiadeiro (Lisbon)

E-mail address: wadt98@di.fc.ul.pt




CALL FOR DEMOS

Demonstrations of tools related to specific topics within the
scope of ETAPS and presenting advances on the state of the art
are invited. Such tool demonstrations should not be confused
with contributions to TACAS, where the emphasis is on
application-independent aspects of tools. Tool demonstrations
will be presented in devoted conference sessions with projection
facilities. Authors of accepted demos will be asked to contribute
a short paper to the proceedings of one of the ETAPS main
conferences.

Submissions should take the form of a description of the tool, of
no more than 4 pages in the Springer-Verlag LNCS format,
which makes clear its relevance to a specified main conference
of ETAPS. 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.

Submissions should be sent, preferably electronically (plain text
or uuencoded gzipped PostScript), to:

       Don Sannella
       ETAPS'98
       Laboratory for Foundations of Computer Science
       University of Edinburgh
       Edinburgh EH9 3JZ
       Scotland
       E-mail: etaps98-demo@dcs.ed.ac.uk

The submission deadline is October 6, 1997.




CALL FOR TUTORIALS

Proposals for half-day or full-day tutorials related to topics
within the scope of ETAPS are also invited. Tutorial proposals
will be evaluated on the basis of their estimated benefit for
prospective participants and on their fit within ETAPS as a
whole.

Submissions should be in the form of a proposal, no longer than
10 pages, for review purposes. It should include a description of
the material that will be covered in the course; a justification of
the relevance of the tutorial for ETAPS; a brief history of the
tutorial, if it has been given previously; duration (half day or
full day) and scope (survey or in-depth) of the course; the key
learning objectives for the participants (what specific
knowledge each participant is expected to obtain); the intended
audience of the tutorial (their specialties and experience level,
plus any prior knowledge they will be assumed to have); the
background of each instructor.

Submissions should be sent, preferably electronically (plain text
or uuencoded gzipped PostScript), to:

       J. Fiadeiro
       Department of Informatics
       Faculty of Sciences
       University of Lisbon
       Campo Grande
       1700 Lisboa
       Portugal
       E-mail: tutorials@di.fc.ul.pt

The submission deadline is October 6, 1997.




THE VENUE

ETAPS'98 will be held in Lisbon, Portugal. The chosen venue is
the Gulbenkian Foundation, situated in the middle of
landscaped gardens, next to a museum with Calouste
Gulbenkian's private art collection, a modern art museum, a
library, a concert hall and galleries with art exhibitions. In
1998, Lisbon will also host the celebrations of the 5th centenary
of Vasco da Gama's arrival in India. A world exhibition
(EXPO'98) will be held on the theme "The oceans: a heritage for
the future". Although the official starting date of the exhibition
is in May, several cultural events have been programmed for
the months before. ETAPS participants can be assured of a busy
scientific and cultural week!




SPONSORSHIP

ETAPS'98 is being sponsored by PORTUGAL TELECOM and
TAP - AIR PORTUGAL.

The support of The University of Lisbon, The European
Association for Programming Languages and Systems and The
European Association for Theoretical Computer Science is also
gratefully acknowledged.

The European Symposium On Programming (ESOP) and the
International Conference on Compiler Construction (CC) are
being organised in cooperation with ACM SIGPLAN.




STEERING COMMITTEE

D. Sannella (Edinburgh, Chairman), J. Fiadeiro (Lisbon,
Organiser of ETAPS'98), A. Arnold (Bordeaux), E. Astesiano
(Genova), E. Brinksma (Enschede), P. Degano (Pisa), H. Ehrig
(Berlin), M-C. Gaudel (Paris), T. Gyimothy (Szeged), C. Hankin
(London), U. Kastens (Paderborn), P. Klint (Amsterdam), K.
Koskimies (Tampere), T. Maibaum (London), H. Riis Nielson
(Aarhus), F. Orejas (Barcelona), B. Steffen (Passau), W.
Thomas (Kiel)

Announcement -
European Joint Conferences on Theory and Practice of Software (ETAPS)


From: fiadeiro@di.fc.ul.pt (J.L.Fiadeiro)
Newsgroups: news.announce.conferences
Subject: * European Joint Conferences on Theory and Practice of Software
Date: 31 Aug 1996 22:31:00 GMT

Archived at <URL:http://www.rpd.net/Info/conferences/>.
---------------------------------------------------------------------------
[This announcement was submitted through on-line forms. The following text
has been generated from the original submission for newsgroup posting.]


European  Joint  Conferences  on  Theory  and  Practice  of  Software
ETAPS
Lisbon, Portugal
30 March 1998 - 03 April 1998

ETAPS is a loose and open confederation of existing and new
conferences covering a wide range of topics in Software Science that
will take place in Europe each spring in the slot currently occupied
by CAAP/ESOP/CC and TAPSOFT. ETAPS'98 will group together FoSSaCS
(Foundations of Software Science and Computation Structures), FASE
(Fundamental Approaches to Software Engineering), ESOP (European
Symposium On Programming), CC (International Conference on Compiler
Construction), and TACAS (Tools and Algorithms for the Construction
and Analysis of Systems).

Official conference language: English

More information: -
	http://www.di.fc.ul.pt/~llf/etaps98/

General Information:
    J.L.Fiadeiro
    Department of Informatics
    Faculty of Sciences
    University of Lisbon
    Campo Grande
    1700 Lisboa
    Portugal

EMail: fiadeiro@di.fc.ul.pt

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

*******   E  T  A  P  S   ******

European Joint Conferences on Theory and Practice of Software


Lisbon, Portugal
March 30 ­ April 3, 1998


-- Preliminary Announcement  and Call for Satellite Events --


++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Internet address for more information: http://www.di.fc.ul.pt/~llf/etaps98/
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++



What is ETAPS?
==============

Starting in 1998, a new annual meeting covering a wide range of topics
in Software Science will take place in Europe each spring in the slot
currently occupied by CAAP/ESOP/CC and TAPSOFT. The European Joint
Conferences on Theory and Practice of Software (ETAPS) will be a loose
and open confederation of existing and new conferences and other
events. The overall aim is to create a popular annual meeting that
will act as a strong magnet for academic and industrial researchers
working on topics relating to Software Science.

The events that comprise ETAPS will address various aspects of the
system development process, including specification, design,
implementation, analysis and improvement. The languages, methodologies
and tools which support these activities are all well within its
scope. Different blends of theory and practice will be represented,
with an inclination towards theory with a practical motivation on one
hand and soundly-based practice on the other. Many of the issues
involved in software design apply to systems in general (including
hardware systems), and the emphasis on software is not intended to be
exclusive.

Each conference will retain its own identity, with a separate
programme committee and independent proceedings. ETAPS will include an
"Advanced Seminar", consisting of a wide spectrum of talks by invited
speakers, which will take place in plenary sessions. Satellite
meetings and system demos are strongly encouraged. The names and
topics of the constituent events will be largely the same each year,
except that some events may not be annual, and over time new events
will be added and old ones will merge or disappear.


ETAPS Steering Committee
========================

Don Sannella (Edinburgh, Chairman), Jose Fiadeiro (Lisbon, Organiser
of ETAPS'98), Andre Arnold (Bordeaux), Egidio Astesiano (Genova), Ed
Brinksma (Enschede), Pierpaolo Degano (Pisa), Hartmut Ehrig (Berlin),
Marie-Claude Gaudel (Paris), Tibor Gyimothy (Szeged), Chris Hankin
(London), Uwe Kastens (Paderborn), Paul Klint (Amsterdam), Kai
Koskimies (Tampere), Tom Maibaum (London), Hanne Riis Nielson
(Aarhus), Fernando Orejas (Barcelona), Bernhard Steffen (Passau),
Wolfgang Thomas (Kiel)


ETAPS'98
========

The first incarnation of ETAPS will take place in Lisbon, Portugal,
March 30 ­ April 3, 1998. The organiser is José Fiadeiro, of
the University of Lisbon. The initial set of conferences is shown
below. The conferences will be held at the Gulbenkian Foundation,
situated in the middle of landscaped gardens, next to a museum with
Calouste Gulbenkian's private art collection, a modern art museum, a
library, a concert hall, and galleries with art exhibitions. In 1998,
Lisbon will also host the celebrations of the 5th centenary of Vasco
da Gama's arrival in India and a world exhibition (EXPO'98) on the
theme "The oceans ­ a heritage for the future". Although the
official starting date of the exhibition is in May, several cultural
events have been programmed for the months before. ETAPS participants
can be assured of a busy scientific and cultural week!

People interested in organising satellite events should contact:

Jose Fiadeiro


Department of Informatics, Faculty of Sciences, University of Lisbon


Campo Grande, 1700 Lisboa, Portugal


phone: 351-1-7500123; fax: 351-1-7500084; e-mail: fiadeiro@di.fc.ul.pt




Constituent events of ETAPS'98
==============================


Foundations of Software Science and Computation Structures (FoSSaCS)
--------------------------------------------------------------------
 The scope of FoSSaCS is syntactic, algebraic, logical and semantic
methods for describing, analysing, transforming and verifying programs
and systems. The fo- cus is on foundational aspects of such methods
rather than on their applications.  Topics include: computational and
syntactic foundations of software science; transition systems and
models of concurrency; data structures and types; domain theory and
denotational (fixed-point) semantics.

Programme Committee Chair: Maurice Nivat (Paris)


Fundamental Approaches to Software Engineering (FASE)
-----------------------------------------------------
 To enhance software quality, the software production process requires
systematic methods,firmly grounded on scientifically justified
techniques. Fundamental approaches are sought, possibly integrating so
called formal and informal aspects, 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 different fundamental approaches to problems
of software specification, development, validation and verification
are presented, compared and discussed. Topics include: methods for the
production of provably correct software and its verification;
integration of informal and formal methods; formal approaches for
real-time, concurrent, distributed and object-oriented systems;
scientific sound approaches to testing and measurement; tools and
environments supporting formal approaches; fundamental aspects of the
specification, design and verification of hardware components and
hybrid systems; reports on the engineering or scientific lessons
gained from industrial experiences in the use of formal and semiformal
methods.

Programme Committee Chair: Egidio Astesiano (Genova)


European Symposium On Programming (ESOP)
----------------------------------------
 ESOP is devoted to fundamental issues in the specification, analysis
and imple- mentation of programming languages and systems. It
particularly welcomes re- search that bridges the gap between theory
and practice: for example, practical studies based on theoretical
developments and theoretical developments with a clearly identified
potential for practical application. Topics include: programming
paradigms and their integration, including functional, logic,
concurrent and ob- ject-oriented; semantics facilitating the formal
development and implementation of programming languages and systems;
advanced type systems; program analy- sis; program transformation.

Programme Committee Chair: Chris Hankin (London)


International Conference on Compiler Construction (CC)
------------------------------------------------------
 CC is a forum for presentation and discussion of recent developments
in compiler construction, language implementation and language
design. Its scope ranges from compilation methods and tools to
implementation techniques for specific re- quirements of languages and
target architectures, and includes language design and programming
environment issues related to language translation. Topics include:
tools for any phase of compilation; methods for code generation and
op- timisation; compilation for parallel architectures; translation of
computer lan- guages (imperative, functional, logic, object-oriented,
parallel, etc.); translation of application and specification
languages; other tools closely related to compiler construction ­
e.g. debuggers, data flow analysers, etc.

Programme Committee Chair: Kai Koskimies (Tampere)


Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
-------------------------------------------------------------------------
 Many similar tools and algorithms have been independently developed
in various areas of computer science like automata and language
theory, verification and synthesis of hardware and software systems,
type and proof theory, and logic.  TACAS is a forum for discussion of
the principles and application-independent features of such algorithms
and their implementation, with the aim to increase the reliability,
flexibility and efficiency of current tools by highlighting common
problems, heuristics, data structures, and solutions. TACAS overlaps
with the other events of ETAPS, and is intended to attract
contributions that stimulate discussions between the various
communities.

Programme Committee Chair: Bernhard Steffen (Passau)


***************************************************************************
This announcement is also available through the Conference Announcement
Archive on the WorldWideWeb, providing indexes and search functions by
subject, keywords, or date. You may submit announcements or updates
  o  by posting to the newsgroup news.announce.conferences,
  o  by sending your submission via e-mail to conferences@iao.fhg.de, or
  o  through on-line WWW forms at the Conference Announcement Archive.
The Conference Announcement Archive is located at
<URL:http://www.rpd.net/Info/conferences/>.
Please note that the 'I' in 'Info' is an uppercase character!

If you have any QUESTIONS ABOUT THE EVENTS THEMSELVES, would like to submit
a presentation, or would like to attend, please do CONTACT THE RESPECTIVE
ORGANIZERS, NOT the virtual library maintainers. Thank you!
***************************************************************************

[Ada-Belgium] To the Ada-Belgium home page.

Last update: 97/12/08.

Dirk Craeynest