[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}