|
|
| Line 1: |
Line 1: |
| {{Event | | {{Event |
| | Acronym = SDE 2009
| | |Acronym=SDE 2009 |
| | Title = Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering
| | |Title=Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering |
| | Type = Workshop
| | |Series=Eurocast |
| | Series =
| | |Type=Workshop |
| | Field = Simulation
| | |Field=Simulation |
| | Homepage = www.iuctc.ulpgc.es/spain/eurocast2009
| | |Superevent=Eurocast 2009 |
| | Start date = Feb 15, 2009
| | |Start date=2009/02/15 |
| | End date = Feb 20, 2009
| | |End date=2009/02/20 |
| | City= Las Palmas de Gran Canaria
| | |Homepage=www.iuctc.ulpgc.es/spain/eurocast2009 |
| | State =
| | |City=Las Palmas de Gran Canaria |
| | Country = Spain
| | |Country=Spain |
| | Abstract deadline = Oct 31, 2008
| | |Submission deadline=2008/10/31 |
| | Submission deadline = Oct 31, 2008
| | |Abstract deadline=2008/10/31 |
| | Notification = Dec 1, 2008
| | |Notification=2008/12/01 |
| | Camera ready =
| |
| }} | | }} |
| | | * Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering |
| <pre>
| | * 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. |
| Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering | | * Chair: Milan Ceska (Brno University of Technology, Czech rep.) |
| | | * Workshop is part of the Eurocast 2008 conference http://www.iuctc.ulpgc.es/spain/eurocast2009/ |
| 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.
| |
| </pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=3200&copyownerid=1163 WikiCFP][[Category:Software engineering]]
| |
| [[Category:Cybernetics]]
| |