[Prev][Next][Index][Thread]
IFIP Working Conf. PROCOMET '98
CALL FOR PAPERS
IFIP Working Conference on
Programming Concepts and Methods
(PROCOMET '98)
8-12 June 1998
Shelter Island, New York --- USA
The IFIP Working Groups
2.2 Formal Description of Programming Concepts
2.3 Programming Methodology
are jointly organizing an IFIP Technical Committee 2 Working Conference.
Attendence at this conference is restricted to authors of accepted papers,
members of both working groups, and a number of invitees.
The main topics on which submissions are sought are:
* Compositional approaches to specification and verification
* Specification, verification, and development of concurrent systems,
in particular of reactive, real-time, and hybrid systems
* Abstraction and refinement methods in specification and verification
* Semantics of specification and programming concepts
* Logical and algebraic foundations of specification and verification
* Formalization of high-level requirement analysis and design methods
such as synchronous languages
* Design of verification support tools
* Practical software-engineering issues in using programming concepts
and methods
Program chairs and editors of the proceedings
---------------------------------------------
D. Gries and W.-P. de Roever
Program Committee
-----------------
Eike Best
Manfred Broy
Ernie Cohen
Philippe Darondeau
Rocco De Nicola
David Gries
Ian Hayes
Furio Honsell
Jim Horning
Jay Misra
Carroll Morgan
Ernst-Ruediger Olderog
Benjamin Pierce
Amir Pnueli
Anders Ravn
Willem-Paul de Roever
Fred B. Schneider
Michel Sintzoff
Bernhard Steffen
Andrzej Tarlecki
Frits Vaandrager
Pamela Zave
Venue
-----
The conference will take place June 8--12, 1998 at the Ram's Head Inn on
Shelter Island, New York. Shelter Island is situated between the North and
South Forks of Long Island, two hours from Manhattan and southern New
England. Nearly one-third of this 8000-acre island is owned by The Nature
Conservancy and kept in a forever-wild state. The Preserve has four nature
and bird-watching trails, varying in length from 1.5 miles to 11 miles, as
well as a barrier-free Braille trail for the visually impaired.
Organizing Committee
--------------------
S.A. Smolka (chair) and R. Cleaveland (co-chair)
Submissions
-----------
Authors should send 5 copies of a complete paper (at most 20 pages)
by October 15, 1997 to:
Prof. Dr. D. Gries Prof. Dr. W.-P. de Roever
Computer Science, Upson Hall Institut fuer Informatik
Cornell University or to Christian-Albrechts-Universitaet
Ithaca, NY 14853 Preusser Strasse 1-9
USA D-24105 Kiel
Germany
gries@cs.cornell.edu wpr@informatik.uni-kiel.de
Electronic submissions are also encouraged. For details see the News on the
Web site below. Each submitted paper should be complete with the author's
address including e-mail and fax, a short abstract, and a list of keywords.
All submissions will be refereed the normal way. Authors will be notified
about acceptance of their papers by January 5, 1998. Revised versions of
the papers are due by February 15, 1998. The proceedings of the conference
will be published by Chapmann & Hall and will be available at the conference.
Conference Timetable
--------------------
October 15, 1997 Submission deadline
January 5, 1998 Notification letters
February 15, 1998 Camera-ready copy for final proceedings due
June 8--12, 1998 Working Conference
News
----
For the latest news about the Working Conference please see the following
Web site:
http://www4.ncsu.edu/~rance/WWW/conferences/procomet98.html
-----------------------------------------------------------------------------
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%% LATEX version of the call for papers
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentstyle[11pt] {article}
\topmargin-2cm
\oddsidemargin-0.3cm
\evensidemargin-1.3cm
%it follows the LNCS format:
%\topskip??
\textwidth16cm
\textheight26.5cm
\title{CALL FOR PAPERS\\[1.5 em]
IFIP Working Conference on\\[0.3 em]
{\bf Programming Concepts and Methods}\\[0.3 em]
(PROCOMET '98)}
\author{8--12 June 1998\\
Shelter Island, New York --- USA}
\date{\mbox{}}
\begin{document}
\maketitle
\thispagestyle{empty}
\pagestyle{empty}
\noindent
The IFIP Working Groups 2.2 and 2.3 on
\begin{center}
Formal Description of Programming Concepts \\
and\\
Programming Methodology
\end{center}
\noindent
are jointly organizing an IFIP Technical Committee 2 Working Conference.
Attendence at this conference is restricted to authors of accepted papers,
members of both working groups, and a number of invitees.
\subsection*{Scope}
The main topics on which submissions are sought are:
\begin{itemize}
\item Compositional approaches to specification and verification
\item Specification, verification, and development of concurrent systems,
in particular of reactive, real-time, and hybrid systems
\item Abstraction and refinement methods in specification and verification
\item Semantics of specification and programming concepts
\item Logical and algebraic foundations of specification and verification
\item Formalization of high-level requirement analysis and design methods
such as synchronous languages
\item Design of verification support tools
\item Practical software-engineering issues in using programming concepts
and methods
\end{itemize}
\subsection*{Program Committee}
\noindent
\begin{center}
\begin{tabular}{cccccc}
\multicolumn{6}{c}
{program chairs and editors of the proceedings:\ \ \
D. Gries and W.-P. de Roever}\\[1mm]
E. Best &\ \ \ & I. Hayes & \ \ \ & E.-R. Olderog & M. Sintzoff \\
M. Broy & & F. Honsell & & B. Pierce & B. Steffen \\
E. Cohen & & J. Horning & & A. Pnueli & A. Tarlecki \\
P. Darondeau & & J. Misra & & A. Ravn & F. Vaandrager \\
R. De Nicola & & C. Morgan & & F.B. Schneider & P. Zave
\end{tabular}
\end{center}
\subsection*{Venue}
The conference will take place June 8--12, 1998 at the Ram's Head Inn on
Shelter Island, New York. Shelter Island is situated between the North and
South Forks of Long Island, two hours from Manhattan and southern New
England. Nearly one-third of this 8000-acre island is owned by The Nature
Conservancy and kept in a forever-wild state. The Preserve has four nature
and bird-watching trails, varying in length from 1.5 miles to 11 miles, as
well as a barrier-free Braille trail for the visually impaired.
\subsection*{Organizing Committee}
S.A. Smolka (chair) and R. Cleaveland (co-chair)
\subsection*{Submissions}
Authors should send 5 copies of a complete paper (at most 20 pages)
by {\bf October 15, 1997} to:\\
\begin{tabular}{llcl}
& Prof. Dr. D. Gries & & Prof. Dr. W.-P. de Roever \\
& Computer Science, Upson Hall & & Institut f\"ur Informatik \\
& Cornell University &\ \ {-- \bf or to --} \ \
& Christian-Albrechts-Universit\"at \\
& Ithaca, NY 14853 & & Preu{\ss}er Stra{\ss}e 1-9 \\
& USA & & D-24105 Kiel \\
& & & Germany \\[1mm]
& {\tt gries@cs.cornell.edu} & & {\tt wpr@informatik.uni-kiel.de}
\end{tabular}
\\[1 em]
\noindent
Electronic submissions are also encouraged. For details see the News
on the Web site below.
Each submitted paper should be complete with the author's address
including e-mail and fax, a short abstract, and a list of keywords.
All submissions will be refereed the normal way.
Authors will be notified about acceptance of their papers by January 5, 1998.
Revised versions of the papers are due by February 15, 1998.
The proceedings of the conference will be published by Chapmann \& Hall and
will be available at the conference.
\subsection*{Conference Timetable}
\begin{tabular}{lll}
\ \ \ \ \ & October 15, 1997 \ \ \ \ \ \ & Submission deadline \\
& January 5, 1998 & Notification letters \\
& February 15, 1998 & Camera-ready copy for final proceedings due \\
& June 8--12, 1998 & Working Conference \\
\end{tabular}
\subsection*{News}
For the latest news about the Working Conference please see the following
Web site: \\[1mm]
\hspace{5mm}
{\tt
http://www4.ncsu.edu/$\sim$rance/WWW/conferences/procomet98.html}
\end{document}