Difference between revisions of "SDE 2009"

Revision as of 02:16, 16 December 2008

SDE 2009
Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering
Event in series	Eurocast
Subevent of	Eurocast 2009
Dates	2009/02/15 (iCal) - 2009/02/20
Homepage:	www.iuctc.ulpgc.es/spain/eurocast2009
Location
Location:	Las Palmas de Gran Canaria, Spain
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[],"imageoverlays":null}
Important dates
Abstracts:	2008/10/31
Submissions:	2008/10/31
Notification:	2008/12/01
Table of Contents

The following coordinate was not recognized: Geocoding failed.The following coordinate was not recognized: Geocoding failed.

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/

@@ Line 1: / Line 1: @@
 {{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
-, 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
-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&amp;copyownerid=1163 WikiCFP][[Category:Software engineering]]
-[[Category:Cybernetics]]

Difference between revisions of "SDE 2009"

Revision as of 02:16, 16 December 2008

Navigation menu

Search