[Prev][Next][Index]

FWD: Call for Papers: Algebraic Methodology and Software Technology


------- Forwarded Message

From: jamil@cs.concordia.ca (HASAN jamil)
Date: 21 Apr 1994 11:28:36 -0500
Subject: CFP: 4th International Conference on Algebraic Methodology and Software Technology (AMAST '95), 1995.
Newsgroups: news.announce.conferences,comp.databases.theory,comp.theory,comp.specification,comp.specification.z,comp.software-eng,sci.math,sci.logic

%-----------------------------------------------------------------
%    Ascii Version of the CFP followed by the Latex Version
%-----------------------------------------------------------------



                   Call for Papers
          Fourth International Conference on
Algebraic Methodology and Software Technology, AMAST'95
                     July 3-7,1995
                   Montreal, Canada

Goals

A major goal of the AMAST Conference consists in putting software
development technology on firm, mathematical foundations. Particular
emphasis is given to algebraic and logical foundations of software
technology. An eventual goal is to establish algebraic and logical
methodology as a practically viable and attractive alternative to
the prevailing ad-hoc approaches to software engineering. The
benefits accruing from such formal foundations will be clearly wide
reaching and both academia and industry are expected to benefit
from this.

The previous three editions of AMAST were held at the University
of Iowa (1989 and 1991) and at the University of Twente, The
Netherlands in 1993. During the previous three meetings, AMAST has
attracted researchers and practitioners interested in algebra,
logic, formal methods, specification and verification of concurrent
and reactive systems, constraint programming, semantics, category
theory, logic programming, process algebra, etc.

Since 1993, an organizational novelty of AMAST has been to promote
simultaneous co-operative effort between Europe and America in this
venture, bringing the conference to a truly international level.
In addition, the first day of the conference is dedicated to
Mathematics Education for Software Engineers. Following this
successful trend, the fourth AMAST International Conference is to be
held at Concordia University, Montreal, Canada, during July 3-7, 1995.
Montreal is renowned for its cultural richness, numerous museums, and
its unique multicultural setting, to name a few. Montreal offers a
variety of attractions for tourists throughout the year.
The highlights in July include the world-famous International Jazz
Festival.

Submissions

We invite papers reporting original research in algebra and logic,
suitable as a foundation for software technology, as well as software
technologies developed by means of logic and algebraic methodologies.
The paper should not have been published elsewhere previously and
should not be under review for publication elsewhere. We also solicit
submissions of system demonstration showing the improved effectiveness
of software developed on a mathematical basis. The topics of interest
include, but not limited to, the following.


1. ALGEBRAIC AND LOGICAL FOUNDATIONS
     .algebraic logic
     .algebraic methodologies for languages and systems
     .logical frameworks for reasoning
     .category theory
     .relation algebra
     .logics of programs

2. CONCURRENT AND REACTIVE SYSTEMS
     .linear and modal logics
     .algebraic approaches
     .object oriented models
     .modular verification

3. SOFTWARE TECHNOLOGY
     .logic, functional, and object paradigms
     .specification languages and tools
     .formal specification case studies
     .abstraction for software documentation and reuse
     .theorem proving systems
     .integration of pragmatic and formal methods

4. LOGIC PROGRAMMING
     .semantics
     .logic programming extensions
     .constraints and concurrency
     .program verification and transformation
     .temporal and deductive databases

We invite prospective authors to submit 6 copies of previously
unpublished papers of high quality (15 double spaced pages maximum)
in an area relevant to the conference theme. The paper should
provide adequate information for the reviewers to assess the
significance and anticipated impact on the foundations of software
technology. All papers will be refereed by the program committee,
and will be judged based on their significance, technical merit,
and relevance to the conference. All submissions (both papers and
system demo proposals) must be sent to the program chair at the
address below; papers must be received by November 15, 1994 and
system demo proposals must be received by December 15, 1994.

          V.S. Alagar
          AMAST'95 Program Chair
          Department of Computer Science
          Concordia University
          1455 De Maisonneuve Blvd. West
          Montreal, Quebec H3G 1M8
          CANADA
     Phone:    (514) 848-3022
     Fax:      (514) 848-2830
     e-mail:   amast95-info@cs.concordia.ca


General Chair: Maurice Nivat (France).

Program Chair: V.S. Alagar (Canada)

Program Committee :

Martin Abadi (USA)
Gregor Bochmann (Canada)
Chris Brink (South Africa)
Pierre Deransart (France)
Michael Ferguson (Canada)
Kokichi Futatsugi (Japan)
Nicolas Halbwachs (France)
Armando Haeberer (Brazil)
Jiawei Han (Canada)
Deepak Kapur (USA)
Helene Kirchner (France)
Laks V.S. Lakshmanan (Canada)
Giorgio Levi (Italy)
Luigi Logrippo (Canada)
Silvio Lemos Meira (Brazil)
Jose Meseguer (USA)
Hafedh Mili (Canada)
Rokia Missaoui (Canada)
Peter Mosses (Denmark)
Istvan Nemeti (Hungary)
Rocco De Nicola (Italy)
Prakash Panangadan (Canada)
Don Pigozzi (USA)
R. Ramanujam (India)
R.K. Shyamasundar (India)
Andrzej Tarlecki (Poland)
Frits Vaandrager (Netherlands)
Martin Wirsing (Germany)

Organizing Committee: (Preliminary)
Chair: Teodor Rus (USA)
     e-mail: rus@herky.cs.uiowa.edu
Tools and Demos Chair: Peter Grogono (Canada)
Finance Chair: T. Radhakrishnan (Canada)
Publicity Chair: Charles Rattray (UK)
Michel Bidoit (France)
Pankaj Goyal (USA)
Pippo Scollo (Australia)
Ralph Wachter (USA)

Local Arrangements: (Preliminary)
Chair: Rokia Missaoui (Canada)
A. Das (Canada)


Invited Speakers (Partial List)

To achieve the goal of the conference we aim to provide a forum in
which leading researchers in mathematics, computer science, and
software development, will come together to identify algebraic and
logical methodologies that are applicable as viable alternatives to
the present software development approaches and to discuss the
appropriateness of such alternatives with a view to implementation.
Invited speakers, with a tentative indication of the topic areas,
include

Krzysztof Apt (Logic Programming)
Ewa Orlowska (Algebraic Logic)
Rohit Parikh (Logic and Concurrency)

Important Dates:

Submission of Papers: November 15, 1994
Submission of System Demo Proposals: December 15, 1994
Notification of Acceptance/Rejection: February 1, 1995
Camera-ready Version of Accepted Papers: March 15, 1995
Education Day: July 3, 1995
Conference Days: July 4-7, 1995


Proceedings to be published by Springer-Verlag.

Further Information:

For bulletins on current status of the conference:
amast95-info@cs.concordia.ca
Tools and Demos: grogono@cs.concordia.ca
Registration: krishnan@cs.concordia.ca
Local Arrangements: missaoui.rokia@uqam.ca
For subscribing to amast mailing list:
amast95-request@cs.concordia.ca



%----------------------------------------------------------------------
%                              Latex Version
%----------------------------------------------------------------------
\documentstyle{article}
\setlength{\textheight}{8.2in}
\setlength{\textwidth}{6.3in}
\setlength{\oddsidemargin}{0.5 in}
\setlength{\evensidemargin}{0.5 in}
\setlength{\parskip}{3mm}
\setlength{\parindent}{0.0in}

\pagestyle{empty}
\begin{document}

\vspace*{-2cm}
\begin{center}
 {\Large \sc             Call for Papers}

 {\Large \it           Fourth International Conference on} \\
[1.5ex]
 {\Large \bf           Algebraic Methodology and Software } \\
[1.0ex]
 {\Large \bf             Technology, AMAST'95} \\ [1.0ex]
 {\large \bf             July 3--7, 1995} \\ [1.0ex]
 {\large \bf               Montreal, Canada}

\end{center}

{\bf Goals  }

A major goal of the AMAST Conference consists in putting software
development
technology on firm, mathematical foundations. Particular emphasis
is given to
algebraic and logical foundations of software technology. An
eventual goal is
to establish algebraic and logical methodology as a practically
viable and
attractive alternative to the prevailing ad-hoc approaches to
software
engineering. The benefits accruing from such formal foundations
will be clearly
wide reaching and both academia and industry are expected to
benefit from this.

The previous three editions of AMAST were held at the University
of Iowa (1989
and 1991) and at the University of Twente, The Netherlands in
1993. During the
previous three meetings, AMAST has attracted researchers and
practitioners
interested in algebra, logic, formal methods, specification and
verification of concurrent and reactive systems, constraint
programming, semantics, category  theory, logic programming,
process algebra, etc.

Since 1993, an organizational novelty of AMAST has been to
promote simultaneous
co-operative effort between Europe and America in this venture,
bringing the
conference to a truly international level. In addition, the first
day of the
conference is dedicated to Mathematics Education for Software
Engineers.
Following this successful trend, the fourth AMAST International
Conference
is to be held at Concordia University, Montreal, Canada, during
July 3--7, 1995.
Montreal is renowned for its cultural richness, numerous museums,
and its
unique multicultural setting, to name a few. Montreal offers a
variety of
attractions for tourists throughout the year. The highlights in
July include
the world-famous International Jazz Festival.

{\bf Submissions}

We invite papers reporting original research in algebra and
logic, suitable as a
foundation for software technology, as well as software
technologies developed
by means of logic and algebraic methodologies. The paper should
not have been
published elsewhere previously and should not be under review for
publication
elsewhere. We also solicit submissions of system demonstration
showing the
improved effectiveness of software developed on a mathematical
basis. The topics
of interest include, but not limited to, the following.


\begin{itemize}

\item[1.]  ALGEBRAIC AND LOGICAL FOUNDATIONS
\begin{itemize}
\item[$\bullet$]    algebraic logic
\item[$\bullet$]    algebraic methodologies for languages and
systems
\item[$\bullet$]    logical frameworks for reasoning
\item[$\bullet$]    category theory
\item[$\bullet$]    relation algebra
\item[$\bullet$]    logics of programs
\end{itemize}

\item[2.]  CONCURRENT AND REACTIVE SYSTEMS
\begin{itemize}
\item[$\bullet$] linear and modal logics
\item[$\bullet$] algebraic approaches
\item[$\bullet$] object oriented models
\item[$\bullet$] modular verification
\end{itemize}

\item[3.] SOFTWARE TECHNOLOGY
\begin{itemize}
\item[$\bullet$] logic, functional, and object paradigms
\item[$\bullet$] specification languages and tools
\item[$\bullet$] formal specification case studies
\item[$\bullet$] abstraction for software documentation and reuse
\item[$\bullet$] theorem proving systems
\item[$\bullet$] integration of pragmatic and formal methods
\end{itemize}

\item[4.] LOGIC PROGRAMMING
\begin{itemize}
\item[$\bullet$] semantics
\item[$\bullet$] logic programming extensions
\item[$\bullet$] constraints and concurrency
\item[$\bullet$] program verification and transformation
\item[$\bullet$] temporal and deductive databases
\end{itemize}

\end{itemize}
We invite prospective authors to submit {\bf 6 copies} of
previously unpublished papers
of high quality ({\bf 15 double spaced pages maximum}) in an area
relevant to the
conference theme. The paper should provide adequate information
for the reviewers
to assess the significance and anticipated impact on the
foundations of software
technology. All papers will be refereed by the program committee,
and will be
judged based on their significance, technical merit, and
relevance to the
conference. All submissions (both papers and system demo
proposals) must be sent
to the program chair at the address below; papers  must be
received by {\bf November 15, 1994} and system demo proposals
must be received by {\bf December 15, 1994}.

{\sf      V.S. Alagar  \\
          AMAST'95 Program Chair  \\
          Department of Computer Science  \\
          Concordia University  \\
          1455 De Maisonneuve Blvd. West  \\
          Montreal, Quebec H3G 1M8  \\
          CANADA  \\ }
{\em Phone}:   {\tt (514) 848-3022}  \\
{\em Fax}:     {\tt (514) 848-2830}  \\
{\em e-mail}:  {\tt amast95-info@cs.concordia.ca}


\newpage
{\bf General Chair}: Maurice Nivat (France).

{\bf Program Chair}: V.S. Alagar (Canada)

{\bf Program Committee} :

Martin Abadi (USA) \\
Gregor Bochmann (Canada)  \\
Chris Brink (South Africa) \\
Pierre Deransart (France) \\
Michael Ferguson (Canada) \\
Kokichi Futatsugi (Japan) \\
Armando Haeberer (Brazil)  \\
Nicolas Halbwachs (France) \\
Jiawei Han (Canada) \\
Deepak Kapur (USA) \\
H\'el\`ene Kirchner (France)  \\
Laks V.S. Lakshmanan (Canada) \\
Giorgio Levi (Italy) \\
Luigi Logrippo (Canada) \\
Silvio Lemos Meira (Brazil) \\
Jos\'e Meseguer (USA) \\
Hafedh Mili (Canada) \\
Rokia Missaoui (Canada) \\
Peter Mosses (Denmark) \\
Istvan N\'emeti (Hungary) \\
Rocco De Nicola (Italy) \\
Prakash Panangadan (Canada) \\
Don Pigozzi (USA) \\
R. Ramanujam (India) \\
R.K. Shyamasundar (India) \\
Andrzej Tarlecki (Poland)   \\
Frits Vaandrager (Netherlanda)  \\
Martin Wirsing (Germany)

{\bf Organizing Committee}: (Preliminary)

{\bf Chair}: Teodor Rus (USA) \\
{\em e-mail}: {\tt rus@herky.cs.uiowa.edu}\\
{\bf Tools and Domos Chair}: Peter Grogono (Canada) \\
{\bf Finance Chair}: T. Radhakrishnan (Canada) \\
{\bf Publicity Chair}: Charles Rattray (UK)\\
  Michel Bidoit (France) \\
  Pankaj Goyal (USA) \\
  Pippo Scollo (Australia) \\
  Ralph Wachter (USA)

\newpage

{\bf Local Arrangements}: (Preliminary)

{\bf Chair}: Rokia Missaoui (Canada) \\
A. Das (Canada)

{\bf Invited Speakers} (Partial List)

To achieve the goal of the conference we aim to provide a forum
in which leading
researchers in mathematics, computer science, and software
development, will come
together to identify algebraic and logical methodologies that are
applicable as
viable alternatives to the present software development
approaches and to discuss
the appropriateness of such alternatives with a view to
implementation. Invited
speakers, with a tentative indication of the topic areas, include

Krzysztof Apt ( Logic Programming) \\
Ewa Or\l owska (Algebraic Logic) \\
Rohit Parikh (Logic and Concurrency)

{\bf Important Dates:}

{\sc Submission of Papers}: {\sf November 15, 1994} \\
{\sc Submission of System Demo Proposals}:
{\sf December 15, 1994}\\
{\sc Notification of Acceptance/Rejection}:
{\sf February 1, 1995}\\
{\sc Camera-ready Version of Accepted Papers}:
{\sf March 15, 1995}\\
{\sc Education Day}:   {\sf July 3, 1995}\\
{\sc Conference Days}: {\sf July 4--7, 1995}


Proceedings to be published by Springer-Verlag.

{\bf Further Information:}

For bulletins on current status of the conference: {\tt
amast95-info@cs.concordia.ca}\\
Tools and Demos: {\tt grogono@cs.concordia.ca}\\
Registration: {\tt krishnan@cs.concordia.ca}\\
Local Arrangements: {\tt missaoui.rokia@uqam.ca}\\
For subscribing to amast mailing list: {\tt
amast95-request@cs.concordia.ca}
\end{document}

------- End of Forwarded Message