Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering

The workshop concentrates on the role of simulation and CAST tools in the design of reliable systems. Topics include embedded systems design, distributed systems design, reality-in-the-loop simulation, modelling formalisms and languages, model transformations, model continuity, design methodologies, supporting tools, etc.

Chair: Milan Ceska (Brno University of Technology, Czech rep.)

Workshop is part of the Eurocast 2008 conference http://www.iuctc.ulpgc.es/spain/eurocast2009/




EUROCAST 2009
Twelve International Conference on Computer Aided Systems Theory
February 15-20, 2009
Museo Elder de la Ciencia y la Tecnología, Las Palmas de Gran Canaria
Canary Islands, Spain

First Call for Papers

Organized by:
Instituto Universitario de Ciencias y Tecnologías Cibernéticas, Universidad de Las Palmas de Gran Canaria, Spain
Oesterrreichische Gesellschaft für Technologie, Wien, Austria
Museo Elder de la Ciencia y laTecnología, Las Palmas de Gran Canaria , Spain

In cooperation with
International Federation for Systems Research (IFSR)
International Federation for Information Processing (IFIP)

Conference Chairman : Roberto Moreno-Díaz (Las Palmas)
Program Chairman: Franz Pichler (Linz)
Local Organizing Committee Chairman:
Alexis Quesada
Instituto Universitario de Ciencias y Tecnologías Cibernéticas
Universidad de Las Palmas de Gran Canaria
Campus de Tafira
E-35017 Las Palmas de Gran Canaria, Spain
Phone: +34-928-457108
Fax: +34-928-457099
E-mail: aquesada@dis.ulpgc.es


Workshops

Systems Theory and Simulation: formal approaches
Chairmen: Pichler (Linz), Moreno-Díaz (Las Palmas)

Computation and Simulation in Modelling Biological Systems
Chairman: Ricciardi (Napoli)

Intelligent Information Processing
Chairman: Freire (A Coruña)

Applied Formal Verification
Chairman: Biere (Linz)

Computer Vision and Image Processing
Chairman: Sotelo (Madrid)

Mobile and Autonomous Systems: Robots and Cars
Chairpersons: García-Rosa, De Pedro (Madrid)

Simulation Based System Optimization
Chairman: Huemer (Klagenfurt), Jungwirth (Wells)

Signal Processing Methods in Systems Design and Cybernetics
Chairmen: Astola (Tampere), Moraga (Asturias, Dortmund), Stankovich (Nis)

Polynomial Models in Control System Design
Chairmen: Kucera, Hromcik (Prague)

Heurist Problem Solving
Chairmen: Affenzeller, Jacak (Hagenberg)

Simulation and Formal Methods in Systems Design and Engineering
Chairman: Ceska (Brno)

The final International Program Advisory Committee and the Invited Lecturers will be
announced in the next Call.



Deadline for Extended Abstracts

An extended two pages abstract, including references in English with indication of the
workshop of the intended contribution must be sent (via webpage or by e-mail) before
October, 31, 2008 to the Organizing Commitee Chairman.
aquesada@dis.ulpgc.es

For the extended abstract, you must follow instructions in
Information for LNCS Authors

Authors will be notified of acceptance by December 1, 2008. Accepted Extended
Abstracts will be published in a pre-Conference volume with ISBN. It is anticipated that
the final selected full papers will be published in line with prior Eurocast meetings
(Springer Lecture Notes in Computer Science No 410, No 585, No 763, No 1030, No
1333, No 1798, No 2178, No 2809, No 3643 and 4739). Full final papers for publication
will be required before April 30, 2007.


Registration

To pre-register, send an e-mail to the Local Organizing Committee Chairman:
aquesada@dis.ulpgc.es

Indicating: full name, address and tentative title of the intended contribution

Registration fee:
Money transfer order, EUR 350.00
Cash at the Registration Desk, EUR 400.00

You may send a money transfer order to Fundación Universitaria de Las Palmas (CIF
G-35073303), EUROCAST 2007, Bank Caja Insular de Ahorros, account 2052/ 8000
70 3307 306007 (IBAN: ES1820528000703307306007; SWIFT: CECAESMM052),
Las Palmas de Gran Canaria, Spain. Please, send a fax or scan of the payment slip
indicating your name and address to make your registration effective. It is required that you send the name, the address and fiscal identification number of you or your
Institution if an additional invoice or receipt is needed.

Payment of the registration fee is a requisite for presentation of a paper at the
Conference (one paper per fee). Only the papers personally presented and discussed at
the Conference are eligible for the Springer's LNCS post-Conference Volume.
Attendance is limited and early application is advisable.


Additional Information

February is high season in Las Palmas, so please contact your travel agency as soon as
possible to obtain reduced air-fares.

Gran Canaria has a subtropical warm and soft climate. Its waters are suitable for
swimming all year round. Bringing your summer clothes and swimming suits is
recommended.

Observe that from many cities there are weekly flights to Las Palmas (Gran Canaria)
Airport in low price range. Please ask your local travel agency. Make sure to book your
hotel for the city of Las Palmas de Gran Canaria, since there are many other resorts not
close to the Conference site. Hotels in the area of Las Canteras Beach are usually the
best offer. All requests concerning local arrangements should be made to the Organizing
Commitee.

The Conference will take place at the Museo Elder de la Ciencia y la Tecnología in
the centric Parque de Santa Catalina (close to Las Canteras Beach), which offers an
appropriate scientific and technical environment. All Office, Information and
Communications facilities are available there.