Inhalte

Termine

Termine

Inhaltsverzeichnis

Messen und Kongresse

18.-21.04.2012
AERO - The Global Show for
General Aviation
Friedrichshafen
www.aero-expo.com

23.-24.05.2012
Electronic Days - B2B Meetings on Electronics & Embedded Systems
Paris (Frankreich)
http://electronicdays.com/UK/

23.-24.05.2012
INNOSECURE 2012 - Kongress mit Ausstellung für Innovationen in den Sicherheitstechnologien
Velbert/Heiligenhaus
www.innosecure.de

13.-15.07.2012
Farnborough International Airshow
Fachbesuchertage: 09.-13.7.,
Publikumstage: 14.-15.7.
Hampshire (Großbritannien)
www.farnborough.com

11.-16.09.2012
ILA Air Show
Berlin
www.ila-berlin.de

Konferenzen, Tagungen und Seminare

02.05.2012
12. SafeTRANS Industrial Day
Thema: From C to 4th generation languages: The future of embedded software development
München
http://safetrans-de.org/de_12_Industrial_Day.php

08.-09.05.2012
edaWorkshop 12
Hannover
www.edacentrum.de/edaworkshop

09.-10.05.2012
E2GEST Spring Workshop -
Themenfindung für europäische Förderinstrumente
Toulouse
www.eicose.eu/index.php?id=events

29.-31.05.2012
TOOLS Europe 2012 - 50th International Conference on Objects, Models, Components, Patterns
Prag (Tschechische Republik)
http://toolseurope2012.fit.cvut.cz/

30.-31.05.2012
16th International Forum on Advanced Microsystems for Automotive Applications (AMAA 2012)
Berlin
www.amaa.de

03.-07.06.2012
Intelligent Vehicles Symposium
Alcalá de Henares (Spanien)
www.mrt.kit.edu/iv2011

05.-06.06.2012
ARTEMIS Summer Camp
Kopenhagen (Dänemark)
www.artemis-ia.eu

06.-08.06.2012
Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy‘12)
Halmstad (Schweden)
www.cyphy.org

12.-15.06.2012
Second International SAT/SMT Summer School
Trento (Italien)
http://satsmtschool2012.fbk.eu/

18.06.2012 - 20.06.2012
ACTUATOR 2012 - Fachmesse für intelligente Aktoren und elektromagnetische Antriebe
Bremen
www.actuator.de

20.-22.06.2012
SIES‘12 – 7th IEEE International Symposium on Industrial
Embedded Systems
Karlsruhe
http://sies2012.ira.uka.de/

07.-13.07.2012
Computer Aided Verification (CAV)
Berkeley (USA)
http://cav12.cs.illinois.edu/

09.-12.07.2012
INCOSE
Rom (Italien)
www.incose.org/symp2012

11.-13.07.2012
24th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
Pisa (Italien)
http://ecrts.eit.uni-kl.de/ecrts12

11.-15.07.2012
ESOF 2012 - Euroscience Open Forum
Dublin
www.dublinscience2012.ie

27.-28.08.2012
FMICS 2012 – 17th International Workshop on Formal Methods for Industrial Critical Systems
Paris (Frankreich)
http://fmt.cs.utwente.nl/conferences/fmics2012/