AMAST Mail - December 1999
[Prev][Next][Index]

AMAST 2000 new due dates

>From: Teodor Rus <rus@cs.uiowa.edu>
>Subject: AMAST 2000 new duedates
>Date: Thu, 9 Dec 1999 12:03:20 -0600 (CST)

Dear Friends: 
Please find enclosed the text file of the AMAST 2000
call for papers containing the new duedates we have agreed
upon. The only thing that I changed was the important duedates.
I already updated the web page of the AMAST 2000 and you can
download the new call from there. However, for your convenience
I set up a plain text file that I attach to this message 
[...]
      please post it on the AMAST email list and make an
exceptional distribution of this message to AMAST email list subscribers. 
Thank you
                                                     Teo
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

CALL FOR PAPERS

8-th International Conference on 
Algebraic Methodology And Software Technology 
AMAST '2000, 20 May to 27 May 2000, Iowa City, Iowa, USA 

Invited Speakers:
   Egidio Astesiano, University of Genoa 
   Yuri Gurevich, Microsoft and University of Michigan 
   Michael Healy, Boeing and University of Washington
   Oege de Moor, Oxford University Computing Laboratory 
   David Lorge Parnas, McMaster University 
   Jeannette Wing, Carnegie Mellon University 
   Martin Wirsing, Ludwig-Maximilian University.

Goals:
The major goal of the  AMAST Conferences is to promote research
that may lead to the setting of software technology on a firm,  
mathematical basis. This goal is achieved by a large international
cooperation with contributions from both academia and industry.
The virtues of a software technology developed on mathematical basis
have been envisioned as being capable of providing software that is
(a) correct, and the correctness can be proved mathematically,
(b) safe, so that it can be used in the implementation of critical systems,
(c) portable, i.e., independent of computing platforms
and language generations, and
(d) evolutionary, i.e., it is self-adaptable
and evolves with the problem domain.

All previous editions of the AMAST Conference, which were held at 
The University of Iowa (1989,1991), University of Twente (1993),
Concordia University, Montreal (1995), 
Ludwig-Maximilian University, Munich (1996), 
Macquarie University, Sydney, Australia, (1997), and
Catholic University of Rio De Janeiro, Brazil (1999), made contributions
to the AMAST goals by reporting and disseminating
academic and industrial achievements within the AMAST area of interest.
During these meetings, AMAST attracted an international following
among researchers and practitioners interested in software technology,
programming methodology and their algebraic and logical foundations.
In addition, starting with the 1993 edition,
the first day of each conference was dedicated to
Mathematics Education for Software Engineers.

AMAST'2000 is meant as an anniversary where achievements of the
first ten years of the AMAST movement will be celebrated,
current trends in using formal methods for software 
developments will be examined, and the opportunity for
adapting AMAST goals to the problems raised by the new 
developments in software technology will be considered. 
This will accelerate the accomplishment of the AMAST goals 
and will strengthen the international cooperative research 
initiated by the AMAST movement. 

Submissions:
As in previous years, we invite papers reporting original research
on setting software technology on a firm mathematical basis. We expect two
kinds of submissions for this conference: technical papers and system
demonstrations. Of particular interest is research on 
using algebraic, logic, and other formalisms suitable as foundations 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.
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
   component based software development tools
   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 and should be prepared using LaTeX and the LNCS style
file, llncs.sty, that can be downloaded from the
URL: http://www.cs.uiowa.edu/amast2000.
Papers longer than fifteen pages may be automatically rejected.
Please send a fully self-contained postscript file to
"amast2000@cs.uiowa.edu".
If for any reason it is impossible to submit a paper electronically,
authors should send six copies of their submission to the
program 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, the proceedings of the AMAST'2000 
will be published by Springer-Verlag in the Lecture Notes in Computer
Science Series. Papers should be received by First of December 1999.

Address for non-electronic submissions and enquiries:
   Teodor Rus (Program Chair of AMAST'2000)
   Department of Computer Science
   The University of Iowa
   Iowa City, IA 52242, USA
   Phone: 319-335-0742 
   Fax:   319-335-3624
   Email: rus@cs.uiowa.edu 

AMAST Steering Committee:
   Egidio Astesiano email: astes@disi.unige.it 
   Robert Berwick   email: berwick@ai.mit.edu  
   Zohar Manna      email: manna@cs.stanford.edu 
   Michael Mislove  email: mwm@math.tulane.edu 
   Anton Nijholt    email: anijholt@cs.utwente.nl 
   Maurice Nivat    email: tcsmn@litp.ibp.fr  
   Jacques Printzs  email: printz@cnam.fr 
   Charles Rattray  email: c.rattray@cs.stir.ac.uk 
   Teodor Rus       email: rus@cs.uiowa.edu 
   Giuseppe Scollo  email: scollo@cs.utwente.nl 
   John Staples     email: staples@svrc.uq.edu.au 
   Jeannette Wing   email: wing@cs.cmu.edu 
   Martin Wirsing   email: wirsing@pst.informatik.uni-muenchen.de 

Important Dates:
   Paper submissions                  15 January 2000 
   Reviewing process starts           as soon as a paper arrives 
   System demonstrations submission   15 January 2000  
   PC meeting for paper selection     10 February 2000  
   Notification of pasper acceptance  15 February 2000 
   Camera ready papers in Iowa City   1 March 2000  
   Proceedings package sent to LNCS   15 March 2000 
   AMILP international workshop       20 - 22 May 2000 
   AMAST 2000 conference              23 - 27 May 2000s

Program Committee:
   Andre Arnold, France                Egidio Astesiano, Italy  
   Gabriel Baum, Argentina             Didier Begay, France  
   Robert Berwick, USA                 Michel Bidoit,France  
   Val Tannen, USA                     Gregor Bochmann, Canada 
   Chris Brink, South Africa           Manfred Broy, Germany 
   Christian Calude, New Zealand       Christine Choppy, France 
   Philippe Darondeau, France          Jim Davies, UK 
   Rocco De Nicola, Italy              Ruy de Queiroz, Brazil  
   Arthur Fleck, USA                   Marcelo Frias, Argentina 
   Kokichi Futatsugi, Japan            Dov Gabbay, UK  
   Harald Ganzinger, Germany           Radu Grosu, USA 
   Yuri Gurevich, USA                  Armando Haeberer, Brazil 
   Nicolas Halbwachs, France           Michael Healy, USA 
   Peter Henderson, UK                 Yoshi Inagaki, Japan   
   Paola Inverardi, Italy              Dan Ionescu, Canada   
   Ryszard Janicki, Canada             Kari Jarkko, USA  
   Michael Johnson, Australia          Helene Kirchner, France 
   Gary Leavens, USA                   Luigi Logrippo, Canada 
   Thomas Maibaum, UK                  Zohar Manna, USA               
   Chris Marlin, Australia             Michael Mislove, USA
   Peter Mosses, Denmark               George Nelson, USA 
   Anton Nijholt, The Netherlands      Maurice Nivat, France 
   Michael O'Donnell, USA              Fernando Orejas, Spain 
   David Lorge Parnas, Canada          Sriram Pemmaraju, India 
   Don Pigozzi, USA                    Jacques Printz, France 
   Charles Rattray, UK                 Teodor Rus, USA  
   Giuseppe Scollo, The Netherlands    Stephen Seidman, USA 
   Roger Shultz, USA                   Ken Slonneger, USA 
   Douglas Smith, USA                  John Staples, Australia 
   Carolyn Talcott, USA                Andrzej Tarlecki, Poland 
   Alagar Vangalur, Canada             Rob van Glabbeek, USA 
   Paulo Veloso, Brazil                Brian Warboys, UK 
   Jeannette Wing, USA                 Martin Wirsing, Germany 
   Hantao Zhang, USA  

Further information:
For regularly updated details of the conference
organization send email to 
"amast2000@cs.uiowa.edu" or visit http://www.cs.uiowa.edu/amast2000
[ AMAST Mail - December 1999 | November 1999 | January 2000 | Latest Update | AMAST Mail Meta-Index | AMAST Mail 1999 | AMAST ]