AMAST Mail 1998
[Prev][Next][Index]
(fwd) AMAST'98 First CFP, Corrected Dates
-
Subject: (fwd) AMAST'98 First CFP, Corrected Dates
-
From: scollo@cs.utwente.nl (Pippo Scollo)
-
Date: Wed, 18 Mar 1998 15:10:34 +0100
> Date: Wed, 18 Mar 1998 09:00:37 -0300
> From: Armando Haeberer <armando@inf.puc-rio.br>
> Subject: AMAST'98 First CFP, Corrected Dates
Please find below the text and LaTeX versions of the AMAST'98 First Call
for Papers. We apologize if you receive this message more than once. Please
notice also the corrected dates.
Call for Papers
Seventh International AMAST Conference
AMAST '98, January 5 to 9 , 1999, Amazonia, Brazil.
---------------------------------------------------------------------
Goals
The major goal of the AMAST Conferences is to put software
development technology on a firm, mathematical foundation.
Particular emphasis is given to algebraic and logical foundations
of software technology. An eventual goal is to establish algebraic
and logical methodologies as viable and attractive approaches to
software engineering.
The first three editions of AMAST were held at the University of Iowa
(1989 and 1991) and at the University of Twente (1993). The fourth
conference was held at Concordia University of Montreal (1995), the
fifth at Ludwig-Maximilians University, Munich (1996), and the sixth
will be held in Sidney, Australia, (December 13-17, 1997).
During these meetings, AMAST has attracted an international following
among researchers and practitioners interested in software technology,
programming methodology and their algebraic and logical foundations.
In addition, the first day of each conference has been dedicated to
Mathematics Education for Software Engineers.
=46ollowing this successful trend, the seventh AMAST International
Conference will be held in Amazonia, Brazil, from January 5 to
January 9, 1999.
-------------------------------------------------------------------
Submissions
As in the previous years we invite papers reporting original research
in algebra, logic and other formalisms suitable as a foundation for
software technology, as well as software technologies developed by means
of logic and algebraic methodologies. Submissions should not have been
published and should not be under consideration for publication elsewhere.
The topics of interest include, but are not limited to, the following:
SOFTWARE TECHNOLOGY
systems software technology,
application software technology,
concurrent and reactive systems,
formal methods in industrial software development,
formal techniques for software requirements, design.
PROGRAMMING METHODOLOGY
logic programming, functional programming, object paradigms,
constraint programming and concurrency,
program verification and transformation,
programming calculi,
specification languages and tools,
formal specification and development case studies.
ALGEBRAIC AND LOGICAL FOUNDATIONS
logic, category theory, relation algebra, computational algebra,
algebraic foundations for languages and systems,
theorem proving and logical frameworks for reasoning,
logics of programs.
SYSTEMS AND TOOLS (for system demonstrations or ordinary papers)
software development environments,
support for correct software development,
system support for reuse,
tools for prototyping,
validation and verification,
computer algebra systems,
theorem proving systems.
We invite prospective authors to submit electronically previously
unpublished papers of high quality. Papers should be between five
and fifteen pages in LNCS style. Ten page papers are ideal, and
papers longer than fifteen pages may be rejected without detailed
refereeing. Please see details at
http://www.lmf-di.puc-rio.br/~amast98
under "submission" which explain how to obtain a paper number, and
then how to send a fully self-contained postscript file (preferably
derived from LaTeX with the LNCS style) to
amast98@lmf-di.puc-rio.br. If for any reason it is impossible
to submit a paper electronically, authors should send six paper copies of th=
eir
submission to the programme chair at the address below.
All papers will be refereed by the programme committee, and will be
judged based on their significance, technical merit, and relevance
to the conference. As in the past, we expect the proceedings to
be published by Springer-Verlag in their Lecture Notes in Computer
Science Series. Papers should be received by June 15, 1998.
-------------------------------------------------------------------
Address for non-electronic submissions and enquiries
Prof. Dr. Armando M. Haeberer (Program Chair of AMAST'98)
Diretor do Laboratorio de Metodos Formais
Departamento de Informatica
Pontificia Universidade Catolica do Rio de Janeiro
Rua Marques de Sao Vicente, 225
Rio de Janeiro, RJ 22453-900
Brazil
Phone: +55 21 512-8325
512-6837
=46AX: +55 21 512-8045
Email: amast98@lmf-di.puc-rio.br
-------------------------------------------------------------------
AMAST General Chair: Maurice Nivat (France)
Programme Chair: Armando Haeberer (Brazil)
-------------------------------------------------------------------
Programme Committee
Vangalur Alagar (Canada)
Egidio Astesiano (Italy)
Gabriel Baum (Argentina)
Chris Brink (South Africa)
Walter Carnielli (Brazil)
Rocco De Nicola (Italy)
Jose Fiadeiro (Portugal)
Marcelo Frias (Brazil)
Kokichi Futatsugi (Japan)
Dov Gabbay (United Kingdom)
E. Hermann Haeusler (Brazil)
Paola Inverardi (Italy)
Michael Johnson (Australia)
Richard Jullig (United States)
Rafael Lins (Brazil)
Michael Lowry (United States)
Carlos Jose Pereira de Lucena (Brazil)
Roger Maddux (United States)
Thomas Maibaum (United Kingdom)
Michael Mislove (United States)
Ugo Montanari (Italy)
Peter Mosses (Denmark)
Istvan Nemeti (Hungary)
Anton Nijholt (Netherlands)
Daltro Nunes (Brazil)
=46ernando Orejas (Spain)
Don Pigozzi (United States)
Ruy de Queiroz (Brazil)
Charles Rattray (United Kingdom)
Teodor Rus (United States)
Giuseppe Scollo (Netherlands)
Michel Sintzoff (Belgium)
Douglas Smith (United States)
Andrzej Tarlecki (Poland)
Paulo Veloso (Brazil)
Martin Wirsing (Germany)
-------------------------------------------------------------------
Organizing Committee
Chair and Finances: Armando Haeberer
Marcia Ferreira
Daniela Cardoso
Tools and Demos: Claudio Terra
Local arrangements: Alvanir Becerra de Carvalho
-------------------------------------------------------------------
Important Dates
Submission of Papers: June 15, 1998
Submission of System Demo Proposals: July 1, 1998
Author notification of ouctome: September 15, 1998
Camera ready copy received by: November 1, 1998
Education Day:January 5, 1998
Intended Conference Dates: January 5 to 9 , 1999
-------------------------------------------------------------------
=46urther information
=46or regularly updated details of the conference
organisation see http://www.lmf-di.puc-rio.br/~amast98
or send email to amast98@lmf-di.puc-rio.br.
-------------------------------------------------------------------
\documentclass[11pt]{article}
\begin{document}
\hrule
\begin{center}
{\LARGE {\bf First Call for Papers}}
\smallskip
{\large \textbf{Seventh International \textsf{AMAST} Conference}=
}
\smallskip
{\large \textbf{\textsf{AMAST '98}, January 5-9, 1999, Amazonia,
Brazil.}}
\end{center}
\hrule
\bigskip
\noindent \textbf{Goals}
\medskip
The major goal of the \textsf{AMAST} Conferences is to put software
development technology on a firm, mathematical foundation.
Particular emphasis is given to algebraic and logical foundations
of software technology. An eventual goal is to establish algebraic
and logical methodologies as viable and attractive
approaches to software engineering.
The first three editions of \textsf{AMAST} were held at the University of Io=
wa
(1989 and 1991) and at the University of Twente (1993). The fourth
conference was held at Concordia University of Montreal (1995), the
fifth at Ludwig-Maximilians University, Munich (1996), and the sixth
will be held in Sidney, Australia, (December 13-17, 1997).
During these meetings, \textsf{AMAST} has attracted an international
following among
researchers and practitioners interested in software technology,
programming methodology and their algebraic and logical foundations.
In addition, the first day of each conference has been dedicated to
Mathematics Education for Software Engineers.
=46ollowing this successful trend, the seventh \textsf{AMAST} International
Conference will be held in Amazonia, Brazil, from January 5 to
January 9, 1999.
\bigskip
\hrule
\bigskip
\noindent \textbf{Submissions}
\medskip
As in the previous years we invite papers reporting original research
in algebra, logic and other formalisms suitable as a foundation for
software technology, as well as software technologies developed by means
of logic and algebraic methodologies. Submissions should not have been
published and should not be under consideration for publication elsewhere.
The topics of interest include, but are not limited to, the following:
\medskip
\begin{tabbing}
SOFTWARE T\=3D ECHNOLOGY\\
\>systems software technology,\\
\>application software technology,\\
\>concurrent and reactive systems,\\
\>formal methods in industrial software development,\\
\>formal techniques for software requirements, design.\\
\\
PROGRAMMING METHODOLOGY\\
\>logic programming, functional programming, object paradigms,\\
\>constraint programming and concurrency,\\
\>program verification and transformation,\\
\>programming calculi,\\
\>specification languages and tools,\\
\>formal specification and development case studies.\\
\\
ALGEBRAIC AND LOGICAL FOUNDATIONS\\
\>logic, category theory, relation algebra, computational algebra,\\
\>algebraic foundations for languages and systems,\\
\>theorem proving and logical frameworks for reasoning,\\
\>logics of programs.\\
\\
SYSTEMS AND TOOLS (for system demonstrations or ordinary papers)\\
\>software development environments,\\
\>support for correct software development,\\
\>system support for reuse,\\
\>tools for prototyping,\\
\>validation and verification,\\
\>computer algebra systems,\\
\>theorem proving systems.
\end{tabbing}
We invite prospective authors to submit electronically previously
unpublished papers of high quality. Papers should be between five
and fifteen pages in LNCS style. Ten page papers are ideal, and
papers longer than fifteen pages may be rejected without detailed
refereeing. Please see details at
\begin{center}
\texttt{http://www.lmf-di.puc-rio.br/\~{}amast98}
\end{center}
under "submission" which explain how to obtain a paper number, and
then how to send a fully self-contained postscript file (preferably
derived from \LaTeX\ with the LNCS style) to
\texttt{amast98@lmf-di.puc-rio.br}. If for any reason it is impossible
to submit a paper electronically, authors should send six paper copies of th=
eir
submission to the programme chair at the address below.
All papers will be refereed by the programme committee, and will be
judged based on their significance, technical merit, and relevance
to the conference. As in the past, we expect the proceedings to
be published by Springer-Verlag in their Lecture Notes in Computer
Science Series. Papers should be received by June 15, 1998.
\bigskip
\hrule
\bigskip
\begin{tabbing}
\textbf{Address}\=3D\ \textbf{for non--electronic submissions and enquiries}=
\\
\\
\>Prof. Dr. Armando M. Haeberer (Program Chair of \textsf{AMAST'98})\\
\>Diretor do Laboratorio de Metodos Formais\\
\>Departamento de Inform\a'{a}tica\\
\>Pontif\a'{\i}cia Universidade Cat\a'{o}lica do Rio de Janeiro\\
\>Rua Marqu\^{e}s de S\~{a}o Vicente, 225\\
\>Rio de Janeiro, RJ 22453-900\\
\>Brazil\\
\>Phone: +55 21 \=3D 512-8325\\
\>\> 512-6837\\
\>FAX: +55 21 512-8045\\
\>E--mail: \texttt{amast98@lmf-di.puc-rio.br}.
\end{tabbing}
\bigskip
\hrule
\bigskip
\noindent \textbf{\textsf{AMAST} General Chair:} Maurice Nivat (France)
\noindent \textbf{Programme Chair:} Armando Haeberer (Brazil)
\bigskip
\hrule
\bigskip
\begin{tabbing}
\noindent \textbf{Prog}\=3D \textbf{ramme Committee}\\
\\
\>Vangalur Alagar (Canada)\\
\>Egidio Astesiano (Italy)\\
\>Gabriel Baum (Argentina)\\
\>Chris Brink (South Africa)\\
\>Walter Carnielli (Brazil)\\
\>Rocco De Nicola (Italy)\\
\>Jose Fiadeiro (Portugal)\\
\>Marcelo Frias (Brazil)\\
\>Kokichi Futatsugi (Japan)\\
\>Dov Gabbay (United Kingdom)\\
\>E. Hermann Haeusler (Brazil)\\
\>Paola Inverardi (Italy)\\
\>Michael Johnson (Australia)\\
\>Richard Jullig (United States)\\
\>Rafael Lins (Brazil)\\
\>Michael Lowry (United States)\\
\>Carlos Jose Pereira de Lucena (Brazil) \\
\>Roger Maddux (United States) \\
\>Thomas Maibaum (United Kingdom)\\
\>Michael Mislove (United States)\\
\>Ugo Montanari (Italy)\\
\>Peter Mosses (Denmark) \\
\>Istvan N\a'{e}meti (Hungary)\\
\>Anton Nijholt (Netherlands) \\
\>Daltro Nunes (Brazil)\\
\>Fernando Orejas (Spain)\\
\>Don Pigozzi (United States)\\
\>Ruy de Queiroz (Brazil)\\
\>Charles Rattray (United Kingdom)\\
\>Teodor Rus (United States)\\
\>Giuseppe Scollo (Netherlands)\\
\>Michel Sintzoff (Belgium)\\
\>Douglas Smith (United States)\\
\>Andrzej Tarlecki (Poland) \\
\>Paulo Veloso (Brazil) \\
\>Martin Wirsing (Germany)\\
\end{tabbing}
\bigskip
\hrule
\bigskip
\noindent \textbf{Organizing Committee}
\begin{tabbing}
Chair and Finances: \=3D Armando Haeberer\\
\> Marcia Ferreira\\
\> Daniela Cardoso\\
Tools and Demos: Claudio Terra\\
Local arrangements: Alvanir Becerra de Carvalho
\end{tabbing}
\bigskip
\hrule
\bigskip
\noindent \textbf{Important Dates}
\medskip
Submission of Papers: June 15, 1998
Submission of System Demo Proposals: July 1, 1998
Author notification of ouctome: September 15, 1998
Camera ready copy received by: November 1, 1998
Education Day: January 5, 1999
Conference Days: January 5-9, 1999
\bigskip
\hrule
\bigskip
\noindent \textbf{Further information}
\medskip
=46or regularly updated details of the conference
organisation see
\begin{center}
\texttt{http://www.lmf-di.puc-rio.br/\~{}amast98}
\end{center}
or send email to
\begin{center}
\texttt{amast98@lmf-di.puc-rio.br}.
\end{center}
\hrule
\end{document}
Prof. Dr. Armando M. Haeberer
Diretor do Laboratorio de Metodos Formais
Departamento de Informatica
Pontificia Universidade Catolica do Rio de Janeiro
Rua Marques de Sao Vicente, 225
Rio de Janeiro, RJ 22453-900
Brazil
PLEASE NOTE NEW PHONE & FAX NUMBERS
-----------------------------------
Tel. +55 21 512-8325
512-6837
=46ax +55 21 512-8045
[
AMAST Mail 1998
|
Latest Update |
AMAST Mail Meta-Index |
AMAST
]