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

ECOOP'96 Workshop




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


[This is an update of an earlier announcement.]
--------------------------------------------------------------

Please find enclosed the ascii and latex files of the last call for
contributions concerning the ECOOP'96 Workshop on Proof Theory of
Concurrent Object-Oriented Programming, Linz (Austria), Monday 8th
July, 1996.


-------------------------------------------------------------------------
                          LAST CALL FOR CONTRIBUTIONS
         
                             ECOOP'96 Workshop on

             Proof Theory of Concurrent Object-Oriented Programming
               
                     Linz (Austria), Monday 8th July, 1996


EXTENDED DEADLINE: May 6, 1996.
-----------------

A one day workshop on 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.  

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
to): 
- proof-theoretical foundations 
- formalisms and logics to model concurrent systems and objects 
- proofs and concurrency: modularity, composition, communication
  interaction and synchronization 
- role and use of objects for concurrent programming and proving 
- verification and reuse 
- implementations and case studies

The scientific program will include invited talks, presentations 
of the accepted papers and discussion. 

       
SUBMISSIONS

Authors are invited to send one copy of an extended abstract 
(in postscript format) ({\bf 6-8 pages}) to Jean-Paul Bahsoun 
(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.

The accepted abstracts will be published by the conference organization 
but a special issue of the journal "Mathematical Structures of Computer
Science" on the topics of the workshop is expected. It will consist of 
some selected journal-length papers submitted by participants after 
the meeting. These complete papers will be refereed to the usual high 
standards of MSCS. 

Organizing-Program Committee:

Jean-Paul Bahsoun (IRIT-CNRS, Toulouse) 
Jose Luis Fiadeiro (University of Lisboa)
Didier Galmiche (CRIN-CNRS, Nancy) 
Akinori Yonezawa (University of Tokyo) 

INFORMATION

by email: bahsoun@irit.fr

by surface mail: Jean Paul Bahsoun 
                 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

IMPORTANT DATES

Deadline for submissions:         May   6, 1996
Notification of acceptance:       May  25, 1996
Workshop handouts ready:          June 24, 1996
Workshop date:                    July  8, 1996


-------------LATEX FILE----------------------------------------


\documentstyle{article}

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

\def\head{
{\bf                       LAST CALL FOR CONTRIBUTIONS
}\\[3mm]
{\bf                          ECOOP'96 Workshop on
}\\[4mm]
{\Large \bf Proof Theory of Concurrent Object-Oriented Programming} \\
~\\
{\bf Linz (Austria)}\\
Monday 8th July, 1996 \\
~\\
EXTENDED DEADLINE : May 6, 1996
}

\def\body{
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
to): 
\items{
\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
}
             
\sect{      SUBMISSIONS
}
            Authors are invited to send one copy of an extended
            abstract (in postscript format) ({\bf 6-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.\\
The accepted abstracts will be published by the conference organization but
a special issue of the journal "Mathematical Structures of Computer
Science" on the topics of the workshop is expected. It will consist of
some selected journal-length papers submitted by participants after
the meeting. These complete papers will be refereed to the usual high
standards of MSCS. 
}

%           PRACTICAL INFORMATION
\def\pract{
\inform{    PTCOOP'96
}{
\names{     Organizing-Program Committee:
}
~\\
            Jean-Paul Bahsoun \\
            \hspace*{15mm} (IRIT-CNRS, Toulouse) \\
~\\
            Jose Luis Fiadeiro \\
            \hspace*{15mm} (University of Lisboa) \\
~\\
            Didier Galmiche \\
            \hspace*{15mm} (CRIN-CNRS, Nancy) \\
~\\
            Akinori Yonezawa \\
            \hspace*{15mm} (University of Tokyo) \\
}
~\\
~\\
~\\
\inform{    INFORMATION
}{\cent{
\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
                               }
}}
~\\
~\\
~\\
\inform{    IMPORTANT DATES
}{\cent{
\info       {Deadline for submissions:}            {May 6, 1996}
\info       {Notification of acceptance/rejection:}{May 25, 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

\pagestyle{empty}
\topmargin-10mm \oddsidemargin-20mm \textwidth190mm \textheight26cm
\newcommand{\cent}[1]{\begin{center}#1\end{center}}
\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
 \end{itz}\vspace{3mm}\par}
\newcommand{\inform}[2]{
   \fbox{\begin{minipage}[t]{51mm}
             \vspace{2mm}\par
             \centerline{#1}\footnotesize\vspace{1mm}\par#2
         \end{minipage}}\vspace{3mm}
}
\newenvironment{itz}{
   \begin{list}{$\bullet$}{
   \parsep=0pt\parskip=0pt\topsep=0pt\itemsep=0pt\leftmargin=1em
}}{\end{list}}

\begin{document}
\nopagebreak
\begin{minipage}[t]{55mm}
    \vspace*{46mm} 
\pract
\end{minipage}
\hfill
\begin{minipage}[t]{128mm}
   {\large\sl\cent{\head}}
   \body
\end{minipage}
\end{document}