[Prev][Next][Index][Thread]
Call for papers SAS'98 and PLILP/ALP'98 (LaTeX)

To: alplist@intellektik.informatik.thdarmstadt.de, amastinfo@cs.utwente.nl, APPIAr@fct.unl.pt, benelog@cs.kuleuven.ac.be, ccl@dfki.unisb.de, cclp.x@parc.xerox.com, cleanlist@cs.kun.nl, clp@cis.ohiostate.edu, clp@iscs.nus.sg, clprusers@cis.ohiostate.edu, compuloglist@cwi.nl, compulog@doc.imperial.ac.uk, compunode@dfki.de, compunode@dfki.unisb.de, concurrency@cwi.nl, eapls@mailbase.ac.uk, eatcsit@cs.unibo.it, fg121@informatik.uniulm.de, fg214@informatik.unikiel.d400.de, flprog@informatik.unimuenchen.de, grin@disi.unige.it, gulp@di.unipi.it, haskell@dcs.gla.ac.uk, kgs@dbai.tuwien.ac.at, lics@research.att.com, licsemail@cs.indiana.edu, lics@research.belllabs.com, lifeusers@cs.sfu.ca, linear@cs.stanford.edu, logic@theory.lcs.mit.edu, logic@cs.cornell.edu, lpinternet@doc.ic.ac.uk, lppnmr@cs.engr.uky.edu, lprolog@central.cis.upenn.edu, mlnet@swi.psy.uva.nl, ozusers@dfki.unisb.de, proglang@diku.dk, prologpe@bach.ces.cwru.edu, prologvendors@sics.se, prolog@mch.sni.de, prolog@sunbim.be, quintususers@quintus.com, rewriting@loria.fr, semanticslist@newton.cam.ac.uk, sicstususers@sics.se, tapsoft@dcs.ed.ac.uk, theoremprovers@ai.mit.edu, theorya@vm1.nodak.edu, theoryc@info.cs.vt.edu, theorynt@listserv.nodak.edu, theorynt@ndsuvm1.intellektik.informatik.thdarmstadt.de, types@dcs.gla.ac.uk

Subject: Call for papers SAS'98 and PLILP/ALP'98 (LaTeX)

From: Giorgio Levi <levi@di.unipi.it>

Date: Tue, 23 Dec 1997 13:17:54 +0100

DeliveryDate: Tue, 23 Dec 1997 07:46:31 0500

Organization: Dipartimento di Informatica di Pisa  Italy
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%% LaTeX version %%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentstyle{article}
\oddsidemargin 6pt \evensidemargin 6pt
\marginparwidth 90pt
\marginparsep 10pt
\topmargin 30pt \headheight 12pt \headsep 25pt \footheight 12pt
\footskip 30pt
\columnsep 10.5pt \columnseprule 0pt
\addtolength{\oddsidemargin}{2.0cm}
\setlength{\textwidth}{18.7cm}%{18cm}
\addtolength{\topmargin}{1cm}
\setlength{\textheight}{27cm}
\pagestyle{empty}
\begin{document}
\begin{center}
{\Large\sc Call For Papers}\\[2.5ex]
{\Large \bf Joint International Symposia SAS'98 and PLILP/ALP'98}\\[1.5ex]
{\large\bf Pisa, Italy, 1418 September 1998}\\[1.5ex]
{http://www.di.unipi.it/di/groups/lp/spa98}
\\
\vspace*{0.05in}
{\bf Deadline for submissions April 3, 1998}
\vspace*{0.05in}
\end{center}
%\begin{center}
\begin{minipage}[t]{5cm}
\begin{center}
{\bf SAS Program Chair}
\\
%\begin{tabular}[t]{ll}
Giorgio Levi (Pisa, Italy)
\end{center}
%\end{tabular}
\end{minipage}
\begin{minipage}[t]{6cm}
\begin{center}
{\bf Conference chair}
\\
%\begin{tabular}[t]{ll}
Maurizio Gabbrielli (Pisa, Italy)
\end{center}
%\end{tabular}
\end{minipage}
\begin{minipage}[t]{7cm}
\begin{center}
{\bf PLILP/ALP Program Chair}
\\
%\begin{tabular}[t]{ll}
Catuscia Palamidessi (Penn State, USA)
\end{center}
%\end{tabular}
\end{minipage}
\\
\mbox{ }\
%\end{center}
%\begin{minipage}[t]{6cm}
%{\bf Submission deadline }
%\\
%\begin{tabular}[t]{ll}
%April 3, 1998
%\end{tabular}
%\end{minipage}
%\vspace{3mm}
\parbox[t]{8cm}{
\small
\begin{center}
{\bf SAS'98}
\end{center}
{\bf Scope of the conference:} 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 highlevel
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
objectoriented 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
\vspace*{0.05in}
\begin{tabular}{ll}
Abstract Interpretation \\ Data Flow Analysis \\
Complexity \\ Theoretical Frameworks \\
Experimental Evaluation \\ Verification Systems \\
Specific Analyses \\ Type Inference \\
Partial Evaluation \\ Optimising Compilers \\
Abstract Domains
\end{tabular}
\vspace*{0.15in}
\\
\noindent
{\bf Program Committee}
\begin{tabular}{l}
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) \\
\end{tabular}
} \hspace{4mm}\parbox[t]{5mm}{ \rule[20.8cm]{0.2mm}{19.8cm}}
\begin{minipage}[t]{9cm}
\small \
%\vspace{1mm}
\noindent
\begin{center}
{\bf PLILP/ALP'98}
\end{center}
\noindent
{\bf Scope of the conference:}
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 objectoriented fields.
Topics of interest include, but are not limited to
\vspace*{0.05in}
\begin{tabular}{l}
Functional, Logic, and Constraint Programming\\
ObjectOriented 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\\
\end{tabular}
\vspace*{0.15in}
\\
\noindent
\noindent
{\bf Program Committee}
\begin{tabular}{l}
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 (Cochair, Southampton, UK)\\
Peter Kacsuk (MTA SZTAKI Res., Hungary)\\
Xavier Leroy (INRIA, France)\\
JeanJacques Levy (INRIA, France)\\
John Lloyd (Bristol, UK)\\
Karl Meinke (Cochair, 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)
\end{tabular}
\end{minipage}
\\
\mbox{}\
\newpage
\vspace*{0.15in}
\noindent
{\bf 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.
\vspace*{0.15in}
\noindent
{\bf Paper submissions:} The submission deadline is {\bf 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 200word 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 {\bf May 29, 1998}. Final versions of the accepted
papers must be received in cameraready form by {\bf June 26, 1998}.
Submissions should be sent to:
\vspace*{0.10in}
\begin{minipage}[t]{9.3cm}
{\bf SAS'98:}
\\
\begin{tabular}[t]{ll}
Email: & sas98@di.unipi.it \\
%Fax: & + 39 50 887226 \\
Post: & Giorgio Levi \\
& Dipartimento di Informatica \\
& Universit\`{a} di Pisa \\
& Corso Italia 40 \\
& 56125 Pisa, Italy
\end{tabular}
\end{minipage}
\hfill
\begin{minipage}[t]{9.3cm}
{\bf PLILP/ALP'98:}\\
\begin{tabular}[t]{ll}
Email: & plilpalp98@cse.psu.edu\\
%Fax: & +1 (814) 8653176\\
Post: & Catuscia Palamidessi \\
& Dept. of Computer Science and Engineering\\
& The Pennsylvania State University\\
& 325 Pond Laboratory,\\
& University Park, PA 168026106, USA\\
% & \begin{tabular}{rl}
% & Email: catuscia@cse.psu.edu &
% & http://www.cse.psu.edu/\verb+~+catuscia\\
% & Phone: +1 (814) 8633599 &
% & Fax: +1 (814) 8653176
\end{tabular}
\end{minipage}
\\
\mbox{}\
\vspace*{0.05in}
\noindent
{\bf Important dates:}
\\
\vspace*{0.05in}
\begin{tabular}[t]{ll}
Submission: &April 3, 1998 \\
Notification: &May 29, 1998 \\
Final Version: &June 26, 1998
\end{tabular}
\vspace*{0.05in}
\noindent
{\bf 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.
\vspace*{0.15in}
\noindent
{\bf Publication:}
The proceedings will be published by SpringerVerlag
in the {\it Lecture Notes in Computer Science} series.
\vspace*{0.15in}
\noindent
{\bf Satellite events:}
The 1st International Workshop
on Componentbased software development in Computational Logic
will be held on September 19.
Some other postconference workshops are expected.
Workshop proposals should be sent to the
\vspace*{0.05in}
{\bf Workshops chair}
Roberto Bagnara
bagnara@di.unipi.it
\vspace*{0.15in}
\noindent
{\bf Organizing Committee}
\begin{tabular}{ll}
G. Amato & R. Bagnara
\\
M. Gabbrielli & R. Giacobazzi
\\
R. Gori & G. Levi
\\
F. Scozzari & F. Spoto
\\
P. Volpe
\end{tabular}
\vspace*{0.15in}
\noindent
{\bf Additional~information:}
\vspace*{0.05in}
\begin{tabular}{l}
\mbox{http://www.di.unipi.it/di/groups/lp/spa98}\\
%\mbox{email: spa98@cse.psu.edu}
\end{tabular}
\end{document}