[Prev][Next][Index][Thread]

Call for papers SAS'98 and PLILP/ALP'98 (text)




                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)
   levi@di.unipi.it

PLILP/ALP Program Chair
   Catuscia Palamidessi (Penn State, USA)
   catuscia@cse.psu.edu

Conference chair
   Maurizio Gabbrielli (Pisa, Italy)
   gabbri@di.unipi.it

Workshops chair
   Roberto Bagnara (Parma, Italy)
   bagnara@di.unipi.it


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:   sas98@di.unipi.it
Post:    Giorgio Levi
         Dipartimento di Informatica
         Universita di Pisa
         Corso Italia 40
         56125 Pisa, Italy



PLILP/ALP'98:
Email:   plilpalp98@cse.psu.edu
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
   bagnara@di.unipi.it

Additional information:

    http://www.di.unipi.it/di/groups/lp/spa98