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

SAS and PLILP/ALP 98 Call for Participation


                  CALL FOR PARTICIPATION


                   SAS and PLILP/ALP 98
                Joint International Symposia
                 Pisa, September 14-19, 1998

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

          DEADLINE for early registration: July 25



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.
PLILP/ALP'98 unites the tenth PLILP (Programming Languages,
Implementations, Logics and Programs) and the seventh ALP (Algebraic
and Logic Programming) conferences. The PLILP and ALP conferences
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 full programme and the registration form are available at the web
address above. The programme includes:

                    Invited talks
                    ~~~~~~~~~~~~~

     Charles Consel (University of Rennes/Irisa, France) 
     Peter Lee (Carnegie Mellon University, USA) 
     Amir Pnueli (Weizmann Institute of Science, Israel) 
     Scott A. Smolka (SUNY Stony Brook, USA)

                     Tutorials 
                     ~~~~~~~~~

     Andrea Asperti (University of Bologna, Italy) 
     Roberto Giacobazzi (University of 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) 


                    Satellite events
                    ~~~~~~~~~~~~~~~~

     Meeting of ESPRIT WG APPSEM (Applied semantics) 
     September 14-16, 1998 

     Workshop on Principles of Abstract Machines 
     September 19, 1998 
     
     The 1st International Workshop on Component-based 
     software development in Computational Logic 
     September 19, 1998 
     
     Second International Workshop on Verification, 
     Model Checking and Abstract Interpretation 
     September 19, 1998 
     
     ERCIM Working Group on Programming Languages 
     September 19, 1998 
     
     
     
Further information at

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