---------------------------------------------------
Apologies for multiple copies
----------------------------------------------------
2nd Call For Papers
Joint International Symposia SAS'98 and PLILP/ALP'98
Pisa, Italy, 14--18 September 1998
http://www.di.unipi.it/di/groups/lp/spa98
Important dates
~~~~~~~~~~~~~~~~
Submission: April 3, 1998
Notification: May 29, 1998
Final Version: June 26, 1998
Paper submissions
~~~~~~~~~~~~~~~~~~
Papers must describe original, previously unpublished work, and must
not be simultaneously submitted for publication elsewhere. They must
be written in English, must not exceed 15 pages (Springer LNCS format,
excluding references and figures), and must contain a cover page
containing the following: a 200-word abstract, keywords, postal and
electronic mailing addresses, and phone and fax numbers of one of the
authors.
Submission is electronic (up to exceptions) either via web,
preferably, or via e-mail, using the following adrresses:
SAS 98
Web: http://sas98.di.unipi.it/
E-mail: [EMAIL PROTECTED]
ALP/PLILP 98
Web: http://www.cse.psu.edu/~catuscia/PLILP-ALP98/submissions_page/
E-mail: [EMAIL PROTECTED]
Authors will be notified of the acceptance or rejection of their
papers by June 1, 1998. Final versions of the accepted papers must be
received in camera-ready form by June 26, 1998.
Scope of SAS'98
~~~~~~~~~~~~~~~~
SAS'98 is the Fifth International Static Analysis Symposium. Static
Analysis is increasingly recognised as a fundamental tool for high
performance implementations and verification systems of high-level
programming languages. The last two decades have witnessed substantial
developments in this area, ranging from theoretical frameworks to
design, implementation, and application of analysers in optimising
compilers. Previous SAS symposia were held in Namur, Glasgow, Aachen
and Paris.
Submissions can address any programming paradigm, including
concurrent, constraint, functional, imperative, logic and
object-oriented programming. Survey papers that present some aspect
of the above topics with a new coherence are also welcome.
Contributions are welcome on all aspects of Static Analysis,
including, but not limited to
Abstract Interpretation Data Flow Analysis
Complexity Theoretical Frameworks
Experimental Evaluation Verification Systems
Specific Analyses Type Inference
Partial Evaluation Optimising Compilers
Abstract Domains
Scope of PLILP/ALP'98
~~~~~~~~~~~~~~~~~~~~~~
The Joint International Symposium PLILP/ALP'98 unites the tenth PLILP
(Programming Languages, Implementations, Logics and Programs)
and the seventh ALP (Algebraic and Logic Programming) conferences.
The PLILP symposia traditionally aim at stimulating research
in declarative programming languages, and seek to disseminate
insights in the relation between the logics of those languages,
implementation techniques, and the use of these languages
in constructing real programs.
The ALP conferences traditionally promote the exchange of ideas and
experiences among researchers from the declarative programming
communities. In addition to the standard topics, the 98 Joint
Symposium welcomes contributions also from other programming
areas, in particular from the concurrent and object-oriented fields.
Topics of interest include, but are not limited to
Functional, Logic, and Constraint Programming
Object-Oriented Programming
Integration of Different Paradigms
Concurrent Extensions
Typing and Structuring Systems
Executable Specifications
Implementation of Declarative Languages
Compiler Specification and Construction
Parallel and Distributed Implementations
Programming Environments
~~~~~~~~~
Conference organization
~~~~~~~~~~~~~~~~~~~~~~~~
SAS Program Chair
Giorgio Levi (Pisa, Italy)
[EMAIL PROTECTED]
PLILP/ALP Program Chair
Catuscia Palamidessi (Penn State, USA)
[EMAIL PROTECTED]
Conference chair
Maurizio Gabbrielli (Pisa, Italy)
[EMAIL PROTECTED]
Workshops chair
Roberto Bagnara (Parma, Italy)
[EMAIL PROTECTED]
Invited speakers
~~~~~~~~~~~~~~~~~
Charles Consel (University of Rennes / Irisa, France)
Peter Lee (Carnegie Mellon University, Pittsburgh, USA)
Amir Pnueli (Weizmann Institute of Science, Rehovot, Israel)
Scott A. Smolka (SUNY Stony Brook, USA)
Tutorialists
~~~~~~~~~~~~~
Andrea Asperti (Universita' di Bologna, Italy)
Roberto Giacobazzi (Universita' di Pisa, Italy)
John Hannan (The Pennsylvania State University, USA)
Andrew Pitts (University of Cambridge, UK)
David A. Schmidt (Kansas State University, USA)
Bernhard Steffen (University of Dortmund, Germany)
SAS Program Committee
~~~~~~~~~~~~~~~~~~~~~~
Alex Aiken (Berkeley, USA)
Maurice Bruynooghe (Leuven, Belgium)
Michael Codish (Ben Gurion, Israel)
Agostino Cortesi (Venezia, Italy)
Radhia Cousot (Polytechnique Paris, France)
Alain Deutsch (INRIA, France)
Laurie Hendren (McGill, Canada)
Fritz Henglein (DIKU, Denmark)
Thomas Jensen (IRISA/CNRS, France)
Alan Mycroft (Cambridge, UK)
Flemming Nielson (Aarhus, Denmark)
Thomas Reps (Wisconsin, USA)
Dave Schmidt (Kansas State, USA)
Mary Lou Soffa (Pittsburgh, USA)
Harald Sondergaard (Melbourne, Australia)
Bernhard Steffen (Passau, Germany)
PLILP/ALP Program Committee
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Lex Augusteijn (Philips Research, The Netherlands)
Frederic Benhamou (Nantes, France)
Luca Cardelli (Microsoft Research, UK)
Francois Fages (CNRS, ENS, France)
Moreno Falaschi (Udine, Italy)
Hugh Glaser (Co-chair, Southampton, UK)
Peter Kacsuk (MTA SZTAKI Research, Hungary)
Xavier Leroy (INRIA, France)
Jean-Jacques Levy (INRIA, France)
John Lloyd (Bristol, UK)
Karl Meinke (Co-chair, KTH, Sweden)
Paola Mello (Ferrara, Italy)
Eugenio Moggi (Genova, Italy)
Peter Mosses (BRICS, Denmark)
Gopalan Nadathur (Chicago, USA)
Jukka Paakki (Helsinki, Finland)
Simon Peyton Jones (Glasgow, UK)
Benjamin Pierce (Indiana, USA)
Ernesto Pimentel (Malaga, Spain)
Zoltan Somogyi (Melbourne, Australia)
Peter Thiemann (Nottingham, UK)
Yoshihito Toyama (JAIST, Japan)
Peter Wegner (Brown, USA)
Reinhard Wilhelm (Saarland, Germany)
Organizing Committee
~~~~~~~~~~~~~~~~~~~~~
G. Amato R. Bagnara
M. Gabbrielli R. Giacobazzi
R. Gori G. Levi
E. Lastres R. Moreno
F. Scozzari F. Spoto
P. Volpe
Conferences venue
~~~~~~~~~~~~~~~~~~
The Symposia will take place at the Palazzo dei Congressi of Pisa,
Italy. Pisa is one of the oldest towns in Italy: its Etruscan origins
go back nearly 3,000 years. In Roman times Pisa became an important
port, and asserted itself as a seagoing power in the 12th century.
This period was the start of a phase of economic prosperity and
artistic splendour. Furthermore it became also an active centre of
culture: its world famous University was founded in 1334. Nowadays
Pisa's historical, cultural and artistic heritage attracts many
tourists from all over the world.
Pisa is well connected to the rest of Europe by its international
airport, which has daily flights to the main European cities, and by
good road and rail links.
Program
~~~~~~~~
SAS'98 will be held from September 14 to September 16, 1998.
PLILP/ALP'98 will be held from September 16 to September 18, 1998.
The technical program of both conferences will consist of invited
lectures, tutorials, presentations of refereed papers, and software
demonstrations.
Publication
~~~~~~~~~~~~~
The proceedings will be published by Springer-Verlag
in the Lecture Notes in Computer Science series.
Satellite events
~~~~~~~~~~~~~~~~~
The following workshops will be held on September 18-19:
W1: Workshop on Principles of Abstract Machines.
Organizers:
Stephan Diehl (Germany) [EMAIL PROTECTED] (Coordinator)
Peter Sestoft (Denmark) [EMAIL PROTECTED]
W2: The 1st International Workshop on Component-based software
development in Computational Logic.
Organizers:
Antonio Brogi (Univ. of Pisa, Italy) [EMAIL PROTECTED]
Patricia Hill (Univ. of Leeds, UK) [EMAIL PROTECTED]
W3: Second International Workshop on Verification, Model Checking and
Abstract Interpretation.
Organizers:
Annalisa Bossi (Coordinator, Univ. of Venezia) [EMAIL PROTECTED]
Agostino Cortesi (Univ. di Venezia, Italy) [EMAIL PROTECTED]
Francesca Levi (Univ. di Pisa, Italy) [EMAIL PROTECTED]
W4: ERCIM Working Group on Programming Languages
Coordinator:
Neil Jones (Denmark) [EMAIL PROTECTED]
Additional information:
~~~~~~~~~~~~~~~~~~~~~~~~
http://www.di.unipi.it/di/groups/lp/spa98
