=============================================================== ARTS'97 - CALL FOR PARTICIPATION Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software (ARTS). Towards a mathematical transformation-based development May 21-23, 1997, Palma de Mallorca, Mallorca Celebrating Ramon Llull (1232-1316) The Workshop will present current research falling under a broadly interpreted mathematical transformation-based approach to the specification, modeling, design, verification, and refinement of Real-Time Systems, Concurrent, and distributed Software. Its aim is the pursuit of unifying threads for the whole development process of systems having Real-Time, concurrent, parallel, and distributed aspects; leading eventually to integrated methods and environments maximizing the quality/cost ratio of these systems. ARTS'97 will be held in Palma de Mallorca, the birthplace of Ramon Llull, who pioneered the search for a general logic system. Hence, ARTS'97 will enjoy the wonderful and scenic Balearic Islands, in the Mediterranean atmosphere that contributed so much to Ramon Llull's inspiration, promoting constructive discussions and camaradeship among the Workshop participants. 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, USA (1996). To enable meaningful discussions, attendance at ARTS'97 will be limited. 1 - Invited speakers Zohar Manna (Stanford University, USA) Manfred Broy (Technische Universitaet Muenchen, Germany) Anthony Bonner (Palma de Mallorca, Spain) Antoni Sales (Universitat PolitŠcnica de Catalunya, Spain) 2 - Proceedings The papers presented at ARTS'97 will be edited as a proceedings and will be published by Springer-Verlag as Lecture Notes in Computer Science. A copy of the proceedings will be given to each participant. 3 - Sponsoring Organizations Universitat de les Illes Balears, Spain General Systems Development, S.L., Barcelona NexTret Enginyeria La Salle, Universitat Ramon Llull, Barcelona Silicon Graphics Espa¤a, S.A. 4 - Organizing Committee General Chair: Teodor Rus (USA) Program Chair: Miquel Bertran (Spain) Organization Secretariat: Felipe Alvarez-Cuevas, Francesc Oller, Jordi Forga, Rom n Duch (Spain). Publicity Chair: Charles Rattray (UK), Aurel Cornell (USA), Dan Ionescu (Canada), Giuseppe Scollo (NL). 5 - Program Committee Felipe Alvarez-Cuevas (General 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 (Technische Universitaet Muenchen, Germany) 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 Furió (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) 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) Xavier Nicollin (Inst. Nat. Polytechnique of Grenoble, France) Anton Nijholt (University of Twente, NL) Maurice Nivat (University of Paris VII, Paris) Francesc Oller (U. Politécnica de Catalunya, Barcelona) Jonathan Ostroff (York University, Canada) Amir Pnueli (Weizmann Institute, Israel) Jacques Printz (CNAM Lab. de Micro-Informatique, Paris) Ramon Puigjaner (Universitat de les Illes Balears, Spain) Juan Quemada (Universidad Politécnica, 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 Mataró, Barcelona) John Staples (University of Queensland, AUS) John Thistle (Ecole Polyt. Montreal, Canada) Martin Wirsing (University of Muenchen, Germany) 6 - Technical Program Wednesday 21 May Opening session: Ramon Llull, a pioneer of Computer Science. - Anthony Bonner (Palma de Mallorca, Spain): What was Llull up to?. - Antoni Sales (U. Politècnica de Catalunya, Spain): Llull as Computer Scientist or Why Llull was one of us. Session 1: Temporal reasoning and Model Checking. - Invited talk: Zohar Manna (Stanford University, U.S.A.). - Sérgio Campos, Edmund Clarke (Carnegie Mellon University, U.S.A.): The Verus Language: Representing Time Efficiently with BDDs. - Antonio Cau, Hussein Zedan (De Monfort University, U.K.): Refining Interval Temporal Logic Specifications. - Teodor Rus, Eric Van Wyk (University of Iowa, U.S.A.): Integrating Temporal Logics and Model Checking Algorithms. Session 2: Automata and formal languages for Real Time. - Henning Dierks (University of Oldenburg, Germany): PLC-Automata: a New Class of Implementable Real-Time Automata. - Peter Scholz, Dieter Nazareth (Technische Universitaet Muenchen, Germany): Communication Concepts for Statecharts: A Semantic Foundation. - Pedro R. D'Argenio (University of Twente, NL): Regular Processes and Timed Automata. - Konrad Feyerabend, Bernhard Josko (University of Oldenburg, Germany): A Visual Formalism for Real Time Requeriment Specifications. - Satoshi Yamane (University of Shimane, Japan): Proposal of the Specification and Verification Method of distributed systems by timed automaton. Thursday 22 May Session 3: Formal Transformations. - Invited talk: Manfred Broy (Tech. Univ. Muenchen, Germany): Refinement of Time. - Kevin Lano, A. Sánchez (Imperial College, U.K.): Transformational Formal Development of Real-time Systems. - Miquel Bertran (Eng. La Salle, U. Ramon Llull, Spain): A transformation of monitor into communication synchronized parallel processes: a systematic refinement step in design. - Arnaud Février, Elie Najm (E.N.S.T., France), Jean-Bernard Stefani (C.N.E.T., France): Contracts for ODP. - Irina Smarandache, Paul Le Guernic (I.R.I.S.A.-I.N.R.I.A., France): Affine Transformations in SIGNAL and their Application in the Specification and Validation of Real-Time Systems. Session 4: Composition-decomposition, and refinement transformations. - Ralph Back, Martin Büchi, Emil Sekerinski (Abo Akademi University, Finland): Action-Based Concurrency and Synchronization for Objects. - Miquel Bertran (Eng. La Salle, U. Ramon Llull, Spain), Felipe Alvarez-Cuevas, Albert Duran (General Systems Development, Spain): Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes. - Luís Galán, Ricardo Peña (Univ. Complutense de Madrid, Spain): Refinement of Distributed Programs in a Fair Framework. - Zhiming Liu (University of Leicester, U.K.), Mathai Joseph (University of Warwick, U.K.): Formalizing Real-time Scheduling as Program Refinement. - Stephen Goldsak, Kevin Lano (Imperial College, U.k.): Specification and Refinement of Continuous Real-time Systems. Friday 23 May Session 5: Methodologies based on relation, process and other algebras. - Farn Wang (Academia Sinica, Taiwan): High Level Execution Time Analysis. - Fernando Cuartero, Valentín Valero (Universidad Castilla-La Mancha, Spain), David de Frutos (Univ. Complutense de Madrid, Spain): A Sound and Complete Proof System for Probabilistic Processes. - Carlos G. Rodríguez, Luís Llana, Manuel Núñez, Pedro Palao (Univ. Complutense de Madrid, Spain): Testing Semantics for a Probabilistic- Timed Process Algebra. - Luís Llana, David de Frutos (Univ. Complutense de Madrid, Spain): Denotational Semantics for Timed Testing. Session 6: LOTOS. - Howard Bowman, John Derrick (The University of Kent at Canterbury, U.K.): Extending LOTOS with Time; a True Concurrency Perspective. - Christian Hernalsteen, Arnaud F‚vrier (Universit‚ Libre de Bruxelles, Belgium): Introduction of a suspend/resume operator in ET-LOTOS. - Perfecto Mariño, Francisco Poza, Miguel A. Domínguez, Juan B. Nogueira (Universidad de Vigo, Spain): Specification and Verification of a real-time field bus with formal description languages. 7 - About Mallorca Mallorca and the Balearic Islands are renowed for their location in the middle of the western Mediterranean sea. Many artists have lived and found their inspiration in Mallorca: Chopin, Miró, and many others. Mallorca offers a wide variety of activities for the attendees. Visiting the medieval part of Palma de Mallorca, and the scenic northern coast is recommended. Gastronomy is famous also. The workshop will take place at Hotel Cala Viñas at the sea shore and close to Palma de Mallorca. 8 - ARTS'97 Information For further information contact: Miquel Bertran Program Committee Chair, ARTS'97 General Systems Development (GSD) Pg. Manuel Girona, 71, 1-2 08034 Barcelona - Spain Telephone: +34-3-280 19 35 Fax: +34-3-280 42 27 E-mail: 100140.2140@compuserve.com or gsystems@compuserve.com =============================================================