AMAST Mail 1996
[Prev][Next][Index]
ARTS'97
Dear Colleague,
The call for papers of ARTS'97 has been enhanced considerabily.
I enclose the final version, ready for broadcasting and
distribution. Please, could you distribute it as much as you can?
Thanks in advance.
Sincerely,
Miquel Bertran.
=========================================================================
PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS
Fourth AMAST Workshop on Real-Time Systems,
Concurrent, and Distributed Software.
Towards a mathematical transformation-based development
______________________________
May 21-23, 1997, Ciutat de Mallorca, Mallorca
Celebrating Ramon Llull (1232-1316)
Motivation
The term mathematically-based transformation will be given here a
wide interpretation. Correctness-preserving transformations, proofs,
specification and design refinement, optimization transformations,
allocation-mapping, and many other development activities will be
encompassed.
Real-Time Concurrent and Distributed Software (CDS) development is
usually divided into distinct phases such as Specification, Design,
Simulation, Verification, Allocation-Mapping, Coding, etc. Although
this is convenient, current methodology tends to blur the common
characteristics of many of these phases. The exploitation of the
commonalities of these phases by a mathematically-based development
will lead to robust systems and simplifications. Therefore, research
that leads to a unifying methodology for the development of these
phases is highly desirable.
There are many disparate efforts directed towards the development
of a mathematical methodology for CDS development, pursued by various
authors who follow different directions in their research. But the
variety of approaches is not conducive to the development of a
unifying methodology. Consequently, designers of real-world systems
still keep a certain distance from the theoretical approaches
described in the literature, which are applied mostly by academics.
The unifying methodology supported by mathematically-based
transformations is worth exploring in order to bring formal methods
closer to industry.
Goals
Preceded by other three successful workshops which launched a
valuable initiative in the area of real-time and concurrent systems,
the 4th AMAST Workshop on Real-Time Systems, further referred by the
acronym ARTS'97, has as its major goal the promotion and sharing of
current efforts and experiences in the application of either existing
or novel theories, methods, and tools to real-life projects.
Therefore, presentation of work leading to, or facilitating, a
mathematical transformation-based development, in the above sense, is
encouraged. Hence, real-time aspects and progress properties of CDS's
will be the theme of ARTS'97. To do so, the organizers seek to bring
together top researchers on CDS's, mathematicians, computer
scientists, and control and other engineers from all areas of
interest, to evaluate previous achievements and to give new
directions for further research.
As in all AMAST conferences and workshops, particular emphasis will
be given to algebraic and logical foundations of software technology.
Our final goal is to show that algebraic and logical methodology
provides a practically viable and attractive alternative to the
current approaches to software engineering of concurrent and
distributed systems. A systemic approach has potential to bring a
solid foundation to the concepts used in the design and
implementation process of these systems.
Sponsoring Organizations (Preliminary)
Govern Balear; Conselleria d'Economia i Hisenda
Universitat de les Illes Balears
General Systems Development Company, Barcelona
Venue
The Fourth ARTS Workshop will be held in Ciutat de Mallorca,
Mallorca, the birthplace of Ramon Llull, who pioneered the search
for a general logic system. Hence, ARTS'97 will also enjoy the
wonderful and scenic Balearic Islands in the Mediterranean atmosphere
that contributed so much to Ramon Llull's inspiration.
Topics
Previous editions of ARTS Workshops were organized by The
University of Iowa, Iowa City, Iowa (1993), University of Bordeaux, at
the Centre Condorcet, Bordeaux, France (1995), and Brigham Young
University, Salt Lake City, Utah, (1996). The main emphasis
in these meetings was on modeling and verification of real-time
systems. The emphasis of ARTS'97 will be on a unifying and
integrating methodology for CDSs design and implementation, stressing
real-time properties. The topics of interest include, but are not
limited to:
1. MATHEMATICAL FOUNDATIONS AND MODELS:
(a) methodologies based on relation, process, and other algebras
(b) automata and formal languages used for real-time system
development
(c) linear and modal logics
(d) object and abstract type models in CDSs
2. SPECIFICATION, VERIFICATION, AND TESTING:
(a) specification of safety and liveness properties
(b) specification of real-time aspects and progress properties
(c) verification approaches and strategies
(d) test specification, generation, and assessment
3. DESIGN AND IMPLEMENTATION ASPECTS:
(a) formal transformations
(b) composition-decomposition, and refinement transformations
(c) software-hardware CO-design and CASHE
(d) supervision, animation, tracing, and control
(e) optimization aspects and transformations
To keep with the ARTS tradition, we promote the co-operative
efforts between researchers on all continents, and challenge them to
participate to the workshop and to bring it to a truly world-wide
dialog.
Invited speakers:
Zohar Manna (Stanford University, USA)
Manfred Broy (University of Muenchen, Germany)
Proceedings
The papers presented at ARTS'97 will be edited as a proceedings and
will be published by Springer-Verlag as a volume in Lecture Notes in
Computer Science.
Submissions
Prospective authors are invited to submit 6 copies of a high
quality paper, restricted to at most 15 double spaced pages. The
paper should provide adequate information for the reviewers to assess
its significance and impact on the foundation of CDSs and on software
technology. The paper should not be published or under publication
review elsewhere. All papers will be referred by the program
committee and will be judged based on their significance, technical
merit, and relevance to the workshop motivation and goals.
Submissions must be sent to the program committee chair at the
address below:
Miquel Bertran
Program Committee Chair, ARTS'97
Fourth AMAST Workshop on Real-Time Systems,
Concurrent, and Distributed Software.
General Systems Development (GSD)
Pg. Manuel Girona 71
08034 - Barcelona, Spain
Phone: 34-3-2801935
Fax: 34-3-2804227
e-mail: 100140.2140@Compuserve.com
General Chair: Teodor Rus (USA)
Program Chair: Miquel Bertran (Spain)
Program Committee: (Preliminary)
Felipe Alvarez-Cuevas (Genral Systems Development, Barcelona)
Egidio Astesiano (University of Genova, Italy)
Francesc Banqu (ENHER Company, Barcelona)
Didier Begay (University of Bordeaux, France)
Guillem Bernat (Universitat de les Illes Balears, Spain)
Miquel Bertran (General Systems Development, Barcelona)
Robert Berwick (M.I.T., USA)
Manfred Broy (Univerity of Muenchen)
Edmund Clarke (Carnegie Mellon University, USA)
Aurel Cornell (Brigham Young University, USA)
John Davis (University of Reading, UK)
Carlos Delgado Kloos (Universidad Carlos III, Madrid)
Albert Duran (General Systems Development, Barcelona)
Allen Emerson (University of Texas, USA)
Jordi Forga (U. Polit
cnica de Catalunya, Barcelona)
David de Frutos (Universidad Complutense, Madrid)
Ignasi Furic (Universitat de les Illes Balears, Spain)
Hubert Garavel (France)
Tom Henzinger (EECS, Berkeley)
Dan Ionescu (University of Ottawa, Canada)
Joost-Pieter Katoen (University of Twente, NL)
Rom Langerak (University of Twente, NL)
Diego Latella (C.N.R., Italy)
Luigi Logrippo (University of Ottawa, Canada)
Ferdinando Lucidi (Fondazione Ugo Bordini, Roma)
Nancy Lynch (M.I.T., USA)
Albert Llamos! (Universitat de les Illes Balears, Spain)
Lu!s Llana (Universidad Complutense, Madrid)
Zohar Manna (University of Stanford, USA)
George Milne (University of South Australia, AUS)
Michael Mislove (Tulane University, USA)
Miquel Nicolau (Eng. La Salle, U. Ramon Llull, Barcelona)
X. Nicolin (University of Grenoble, France)
Anton Nijholt (University of Twente, NL)
Maurice Nivat (University of Paris VII, Paris)
Francesc Oller (U. Politecnica de Catalunya, Barcelona)
Jonathan Ostroff (York University, Canada)
Amir Pnueli (Weizmann Inst., Israel)
Jacques Printz (CNAM Laboratories de Micro-Informatique, Paris)
Ramon Puigjaner (Universitat de les Illes Balears, Spain)
Juan Quemada (Universidad Politcnica, Madrid)
Charles Rattray (Stirling University, UK)
Teodor Rus (University of Iowa, USA)
Giuseppe Scollo (University of Twente, NL)
Steve Schneider (University of London, UK)
Josep M. Solanas (E. Univ. P. de Matarc, Barcelona)
John Staples (University of Sydney, AUS)
John Thistle (Ecole Polyt. Montreal, Canada)
Martin Wirsing (University of Muenchen, Germany)
Organizing Committee: (Preliminary)
Chair: Miquel Bertran (Spain)
Organization Secretariat: Felipe Alvarez-Cuevas (Spain),
Rom n Duch (Spain)
Publicity Chair: C. Rattray (UK), A. Cornell (USA),
Dan Ionescu (Canada), G. Scollo (NL)
Important dates:
Paper submission: November 1, 1996
Notification of acceptance: January 15, 1997
Camera-ready version: March 15, 1997
Conference days: May 21-23, 1997
About Mallorca
Mallorca and the Balearic Islands are renowned for their location
in the middle of the western Mediterranean sea. Many artists have
lived and found their inspiration in Mallorca: Chopin, Miro, and
many others.
A cooperation between the Balearic Islands Goverment and the
Universitat de les Illes Balears is creating an interesting
initiative for researchers and research companies. Incentives are
provided so that they can move to live in the area, as artists are
doing already. More information about this initiative and a visit to
the area, close to the University, will be offered to the attendees.
Mallorca offers a wide variety of activities for the attendees.
Visiting the medieval part of Ciutat de Mallorca, and the scenic
northern coast is recommended. Gastronomy is famous also.
The workshop will take place at a hotel near the sea shore and
close to Ciutat de Mallorca.
=========================================================================
[
AMAST Mail 1996
|
Latest Update |
AMAST Mail Meta-Index |
AMAST
]