___________________________________________________________________________
My apologies if you receive this more than once!
___________________________________________________________________________
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
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
~~~~~~~~~
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]
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 Res., The Netherlands)
Frederic Benhamou (Nantes, France)
Luca Cardelli (Microsoft Res., UK)
Francois Fages (CNRS, ENS, France)
Moreno Falaschi (Udine, Italy)
Hugh Glaser (Co-chair, Southampton, UK)
Peter Kacsuk (MTA SZTAKI Res., 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
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 Etruscanorigins
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.
Paper submissions
~~~~~~~~~~~~~~~~~~
The submission deadline is April 3, 1998. Papers must describe
original, previously unpublished work, and must not be simultaneously
submitted for publicaton 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): submission guidelines
will appear on the web site given under Additional Information.
Authors will be notified of the acceptance or rejection of their
papers by May 29, 1998. Final versions of the accepted papers must be
received in camera-ready form by June 26, 1998.
Submissions should be sent to:
SAS'98:
Email: [EMAIL PROTECTED]
Post: Giorgio Levi
Dipartimento di Informatica
Universita di Pisa
Corso Italia 40
56125 Pisa, Italy
PLILP/ALP'98:
Email: [EMAIL PROTECTED]
Post: Catuscia Palamidessi
Dept. of Computer Science and Engineering
The Pennsylvania State University
325 Pond Laboratory,
University Park, PA 16802-6106, USA
Important dates
~~~~~~~~~~~~~~~~
Submission: April 3, 1998
Notification: May 29, 1998
Final Version: June 26, 1998
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 1st International Workshop on Component-based software
development in Computational Logic will be held on September 19.
Some other postconference workshops are expected.
Workshop proposals should be sent to the
Workshops chair:
Roberto Bagnara
[EMAIL PROTECTED]
Additional information:
http://www.di.unipi.it/di/groups/lp/spa98
