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

SAS and PLILP/ALP 98, 2nd CFP


                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:	  sas98@di.unipi.it

ALP/PLILP 98
Web:	  http://www.cse.psu.edu/~catuscia/PLILP-ALP98/submissions_page/
E-mail:	  plilpalp98@cse.psu.edu


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)       
   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

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) diehl@cs.uni-sb.de (Coordinator)
	Peter Sestoft (Denmark) sestoft@dina.kvl.dk

W2: The 1st International Workshop on Component-based software 
    development in Computational Logic.
    Organizers:
	Antonio Brogi  (Univ. of Pisa, Italy) brogi@di.unipi.it 
	Patricia Hill  (Univ. of Leeds, UK)   hill@scs.leeds.ac.uk

W3: Second International Workshop on Verification, Model Checking and
    Abstract Interpretation.
    Organizers:
	Annalisa Bossi (Coordinator, Univ. of Venezia) bossi@dsi.unive.it 
	Agostino Cortesi (Univ. di Venezia, Italy)     cortesi@dsi.unive.it 
	Francesca Levi   (Univ. di Pisa, Italy)        levifran@di.unipi.it
	
W4:  ERCIM Working Group on Programming Languages
     Coordinator:
	Neil Jones (Denmark)   neil@diku.dk 


Additional information:
~~~~~~~~~~~~~~~~~~~~~~~
    http://www.di.unipi.it/di/groups/lp/spa98