|
|
| 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]]
| |
