Difference between revisions of "SDE 2009"

From Openresearch
Jump to: navigation, search
(Event created)
 
 
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&amp;copyownerid=1163 WikiCFP][[Category:Software engineering]]
 
[[Category:Cybernetics]]
 

Latest revision as of 01: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...

Important dates
Abstracts: 2008/10/31
Submissions: 2008/10/31
Notification: 2008/12/01
Table of Contents


  • 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/
Facts about "SDE 2009"
Abstract deadlineOctober 31, 2008 +
AcronymSDE 2009 +
End dateFebruary 20, 2009 +
Event in seriesEurocast +
Event typeWorkshop +
Has coordinates28° 7' 44", -15° 26' 6"Latitude: 28.128875
Longitude: -15.434944444444
+
Has location cityLas Palmas de Gran Canaria +
Has location countryCategory:Spain +
Homepagehttp://www.iuctc.ulpgc.es/spain/eurocast2009 +
IsAEvent +
NotificationDecember 1, 2008 +
Start dateFebruary 15, 2009 +
Subevent ofEurocast 2009 +
Submission deadlineOctober 31, 2008 +
TitleEurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering +