[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]


                       %%   Call for Contributions    %%
                       %%     ECOOP'96 workshop       %%

{\bf                             CALL FOR CONTRIBUTIONS
{\bf                     ECOOP'96 Workshop on
{\Large \bf Proof Theory of Concurrent Object-Oriented Programming} \\
{\bf Linz (Austria)}\\
Monday 8th July, 1996

A one day workshop on {\em Proof Theory of Concurrent Object-Oriented
Programming} is planned in the framework of the 10th European
Conference on Object-Oriented Programming (ECOOP'96, Linz, Austria,
8-12 July 1996). \\ 
There exists various approaches to model concurrent programming
based-on logic. In this way, the use of logic for system development
concerns the specification step but also the study of the operational
aspects (through proof analysis and construction) of such development.
In this context, we have to consider different logical systems for
different uses of logic. 
Moreover, we can also consider concurrency from the both point of
views: we want to reason and to specify systems where some concurrency
aspects are involved and also to have some operational interpretations
of concurrency into logic (focusing on the concept of proof).
It seems clear that we have to identify and to study, in one hand, the
role and the treatment of objects (representation, inheritance,
modularity, communication, etc...) in this context, and in another
hand, the interaction of work on proofs and concurrency with the
Object-Oriented Programming paradigm.  

\sect{      TOPICS

This workshop aims to establish the state of art in the use of logic
in interaction with concurrency and the use of objects. 
The objective is to provide an integrated forum for the presentation
of  research and the exchange of ideas and experiences in the topics
concerned with proofs, concurrency and object-oriented programming
(specification, proof development, etc...). \\
Topics of interest, in this context, include (but are not restricted
\item proof-theoretical foundations 
\item formalisms and logics to model concurrent systems and objects 
\item proofs and concurrency: modularity, composition, communication
 interaction and synchronization 
\item role and use of objects for concurrent programming and proving 
\item verification and reuse 
\item implementations and case studies
            The scientific program will include invited talks,
            presentations of the accepted papers and discussion.

\sect{      SUBMISSIONS
            Authors are invited to send one copy of an extended
            abstract (in postscript format) ({\bf 8 pages}) to
            Jean-Paul Bahsoun ({\bf bahsoun@irit.fr}). 
            Papers will be reviewed by peers, typically members of the
            program committee. 
            The cover page should include a return mailing address and,
            if possible, an electronic mail address and a fax number.
            If at all possible, at the earliest possible moment a message
            containing the title of the paper, authors, abstract, keywords,
            and the address information outlined above should be sent by
            email to the corresponding address.

\inform{    PTCOOP'96
\names{     Organizing-Program Committee:
            Jean-Paul Bahsoun \\
            \hspace*{15mm} (IRIT-CNRS, Toulouse) \\
            Jose Luis Fiadero \\
            \hspace*{15mm} (University of Lisboa) \\
            Didier Galmiche \\
            \hspace*{15mm} (CRIN-CNRS, Nancy) \\
            Akinori Yonezawa \\
            \hspace*{15mm} (University of Tokyo) \\
\inform{    INFORMATION
\info       {by email:}        {bahsoun@irit.fr}
\info       {or surface mail:} {Jean Paul Bahsoun 
\\                                PTCOOP'96
\\                              IRIT-CNRS, Universit\'e Paul Sabatier
\\                              118, route de Narbonne 
\\                              31062 Toulouse Cedex, France
\\                              Phone: +33 61 55 82 11 
\\                              Fax:   +33 61 55 83 25
\info       {Deadline for submissions:}            {April 29, 1996}
\info       {Notification of acceptance/rejection:}{May 20, 1996}
\info       {Workshop handouts ready}             {June 24, 1996}
\info       {Workshop date}                       {July 8, 1996}


% The text below will format this announcement with LaTeX
% in a style designed by Jeroen Fokker, Utrecht University (jeroen@cs.ruu.nl),
% which has been adapted for our purposes

\topmargin-10mm \oddsidemargin-20mm \textwidth190mm \textheight26cm
\newcommand{\ELP}{{\bf ELP}}
\newcommand{\names}[1]{{\bf #1}\\[0.5mm]}
\newcommand{\info}[2]{{\em #1}\\ ~\\ {\bf #2}\\[2mm]}
\newcommand{\sect}[1]{\vspace{7mm}\par\centerline{{\bf #1}}\vspace{4mm}\par}
\newcommand{\items}[1]{\vspace{3mm}\begin{itz} #1