posted by user: janousek || 9041 views || tracked by 20 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://www.iuctc.ulpgc.es/spain/eurocast2009/
 
When Feb 15, 2009 - Feb 20, 2009
Where Las Palmas de Gran Canaria, Spain
Submission Deadline Oct 31, 2008
Notification Due Dec 1, 2008
Categories    simulation   modelling   software engineering   cybernetics
 

Call For Papers

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.

Related Resources

SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
FM 2024   Formal Methods
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
ICDIS 2024   2024 International Symposium on Integrated Circuit Design and Integrated Systems
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems