Meet us around the world

SafeComp 2024

43rd international conference on computer safety, reliability and security

17–20 September
Florence

On Friday 20th in Session 6, “Safety verification”, Daniel Kästner will be holding the talk “Sound non-interference analysis for C and C++”.

17–20
September
Florence
safecomp2024.unifi.it

New Eagle Innovation Summit 2024

Accelerating Safety and Security for Production Control

9/24 — Henry Ford Museum, Dearborn, MI
9/25 — New Eagle HQ, Ann Arbor, MI

24–25
September
Michigan
neweagle.net

Embedded World North America

8–10 October
Convention Center, Austin, Texas

8–10 October
Austin, TX
embedded-world.de/en

CySecMed 2024

Cyber security conference

15–16 October
Munich

15–16 October
Munich
cysecmed.de

Safetronic 2024

International conference on holistic safety for road vehicles

13–14 November
Stuttgart

13–14 November
Stuttgart

2025

Embedded Testing 2025

25–26 February 2025
Munich

2025
Munich
embedded-testing.de

Embedded World 2025

11–13 March 2025
Nuremberg

2025
Nuremberg
embedded-world.de

Past events

Germany

Most recent

VDA Automotive SYS Conference

Quality, safety and security for automotive software-based systems

3–5 July 2024
Berlin/Nauen

TwinSpace Project Meeting

17–20 June 2024
Rostock

next 2024

Annual career fair for students and graduates

11 June 2024
University of Saarland

Preventing death by software

CS graduate address

15 May 2024
University of Saarland

MORAL Project Review Meeting

7 May 2024
Frankfurt/Oder

Aerospace Tech Week Europe 2024

17–18 April 2024
Munich

MedConf 2024

17th conference on software and hardware development for bio­medical engineering

16–18 April 2024
Munich

safe.tech 2024

13th TÜV Süd congress on functional safety for automotive and rail

16–17 April 2024
Munich

Embedded World 2024

9–11 April 2024
Nuremberg

MISRA Day 2024

In co-operation with QA Systems

7 March 2024
Ludwigsburg

Embedded Testing 2024

27–28 February 2024
Munich

Scale4Edge Project Meeting

15 February 2024
Kaiserslautern

AbsInt Partner Days

15–17 January 2024
Saarbruecken

2023

Safetronic 2023

International conference on holistic safety for road vehicles

15–16 November 2023
Stuttgart

Airtec 2023

International fair on aero­space, future air mobil­ity, and new space

25–27 October 2023
Augsburg

CySecMed 2023

Cyber security conference

17–18 October 2023
Munich

Scale4Edge Project Meeting

11–13 October 2023
Berlin

International Seminar on Func­tionally Safe Multi-Core Systems

20–25 August 2023
Leibniz Center for Informatics,
Dagstuhl Castle,
Wadern

AbsInt Roadshow 2023

14–15 August 2023
Munich

International Seminar on Theoretical Advances and Emerging Applications in Abstract Interpretation

9–14 July 2023
Leibniz Center for Informatics,
Dagstuhl Castle,
Wadern

TwinSpace Project Kick-Off Meeting

21 June 2023
Gaimersheim

next 2023

Annual career fair for students and graduates

13 June 2023
University of Saarland

Software Quality Days 2023

23–25 May 2023
Munich

MedConf 2023

23–25 May 2023
Munich

Automated verification of safety-critical code

Joint webinar with QA Systems
3 May 2023

Aerospace Tech Week Europe 2023

29–30 March 2023
Munich

Embedded World 2023

14–16 March 2023
Nuremberg

FreeSBee Project Kick-Off Meeting

1–2 March 2023
Saarbruecken

25th Corporate Anniversary

February 2023
Saarbruecken

2022

CySecMed 2022

Cyber security conference

17–18 October 2022
Munich

Bosch GTM Techday 2022

22–23 September 2022
Stuttgart

Forum Safety & Security

21–22 September 2022
Landshut

SAEC Days

28–30 June 2022
Munich

Embedded World 2022

21–23 June 2022
Nuremberg

safe.tech — TÜV SÜD Congress

Functional safety in rail, automation, and automotive

10–11 May 2022
Munich

MedConf 2022

10–12 May 2022
Munich

Scale4Edge Project Meeting

4 May 2022
Tübingen

2021

Embedded Software Engineering Congress

29 November–3 December 2021
Virtual conference

Forum Safety & Security

22–23 June 2021
Virtual conference

VectorCAST: Can You Trust Your Compiler?

Free webinar in co-operation with Vector
8 June 2021

Space, Code, and Time

Obtaining ISO 26262 Certification Credits by Sound Static Analysis

Free webinar
24 March 2021

Automotive ISO 26262: Functional Safety

Road vehicles, functional safety and beyond

10–11 March 2021
Online live event

Embedded World 2021

1–5 March 2021
Virtual conference

Automatically Checking Coding Guidelines with RuleChecker from ARM/KEIL μVision IDE

In association with our NA distributor Joral Technologies

Free webinar
24 February 2021

2020

Embedded Software Engineering Congress

30 November–4 December 2020
Virtual conference

electronica Medical Electronics Conference

9–10 November 2020
Virtual conference

MedConf 2020

21–22 October 2020
Munich

QSMA Project Kick-Off Meeting

5 August 2020
Karlsruhe

SAEC Days

21–23 July 2020
Virtual conference

Automotive ISO 26262

3rd annual safety & security forum

23–24 June 2020
Virtual conference

VectorCAST: Combining Dynamic Testing and Static Analysis for ISO 26262 Development

Free webinar in co-operation with Vector
18 June 2020

Scale4Edge Project Kick-Off Meeting

5 May 2020
Berlin

EMPHASE Project Final Event

3 March 2020
Frankfurt/Oder

Embedded World 2020

25–27 February 2020
Nuremberg

PROFORMA Project Final Event

14 January 2020
TU Kaiserslautern

MORAL Project Kick-Off Meeting

12 January 2020
Frankfurt/Oder

2019

Software Drives

Transformation to large-scale distributed automotive software

12–13 November 2019
Stuttgart

MedConf 2019

23–24 October 2019
Munich

ISO 26262

11th International Annual CTI Conference

30 September–2 October 2019
Stuttgart

EMPHASE Project Meeting

September 2019
Ingolstadt

ARAMiS II Final Event

20 September 2019
Stuttgart

Federal Aviation Research Program Workshop

8 August 2019
Bonn

Embedded Testing 2019

1–4 July 2019
Munich

Forum Safety & Security 2019

8–10 July 2019
Sindelfingen

EMCC 2019

5th Embedded Multi-Core Conference

28–29 May 2019
Munich

AbsInt Partner Days

21–23 May 2019
Saarbruecken

Embedded World 2019

26–28 February 2019
Nuremberg

FZI Forum

21 February 2019
Karlsruhe

Technical forum “Functional safety and security in automotive electronics”

5 February 2019, Brunswick

EMPHYSIS Project Meetings

Various dates, January–September 2019
Renningen

2018

Future of Automotive Software

International conference

2018

TeamPlay Project Meeting

30 October 2018
Hamburg University of Technology

ISO 26262

10th International Annual CTI Conference

22–24 October 2018
Stuttgart

Forum Safety & Security 2018

12–13 September 2018
Sindelfingen

IEC 61508 Committee Meeting

11 September 2018
Frankfurt/Main

PROFORMA Project Meeting

22 August 2018
TU Kaiserslautern

8th INVENSITY Innovation Day

Cyber Security & Functional Safety

20 July 2018
Darmstadt

ASSUME Project Meeting

9 July 2018
Ulm

ARAMiS II Multicore Conference

21 June 2018
Stuttgart

Embedded Testing 2018

19–21 June 2018
Munich

ARAMiS II Project Meeting

19–20 June 2018
Renningen

8th VDA Automotive SYS Conference

Quality, Safety and Security for Automotive Software-Based Systems

13–15 June 2018, Berlin/Nauen

EMPHYSIS Project Meeting

13 March 2018
Munich

Embedded World 2018

27 February–1 March 2018
Nuremberg

PROFORMA Project Kick-Off Meeting

8 February 2018
Saarbruecken

Automotive ISO 26262

6–7 February 2018
Berlin

ARAMiS II Project Meeting

23–24 January 2018
Eching

ASSUME Project Meetings

Various dates, April–October 2018
Stuttgart

2017

23rd SafeTRANS Industrial Day

16 November 2017
Berlin

Luxoft NewsConference 2017

25–26 October 2017
Brunswick

ISO 26262

CTI Conference

9–11 October 2017
Stuttgart

ARAMiS II Project Meeting

September 2017
Stuttgart

International Seminar on Resource-Bound Analysis

16–21 July 2017
Leibniz Center for Informatics,
Dagstuhl Castle,
Wadern

ARAMiS II Project Kick-Off Meeting

19 July 2017
Augsburg

Forum Safety & Security 2017

4–6 July 2017
Munich

ARGO Project Meeting

28 June 2017
Erlangen

22nd SafeTRANS Industrial Day

Safety and Reliability in Open Systems

18 May 2017
Bremen

Mobile Machines 2017

16–17 May 2017
Karlsruhe

International Seminar on Mixed Criticality on Multicore/Manycore Platforms

26–31 March 2017
Leibniz Center for Informatics,
Dagstuhl Castle,
Wadern

CONIRAS Project Final Event

22 March 2017
Luebeck

Embedded World 2017

14–16 March 2017
Nuremberg

AbsInt Partner Days

8–10 March 2017
Saarbruecken

ARGO Project Kick-Off Meeting

8 February 2016
Karlsruhe

ASSUME Project Meetings

Various dates, January–October 2017
Stuttgart

EMPHASE Project Kick-Off Meeting

26 January 2017
Frankfurt/Oder

2016

ADFD — Automated Driving, Future Mobility and Digitalization

Technical, legal and strategic aspects

28–30 November 2016
Hannover

8th dSPACE User Conference

15–16 November 2016
Munich

10th Symtavision News Conference

5–6 October 2016
Brunswick

ISO 26262

8th International Annual Euroforum Conference

26–28 September 2016
Ludwigsburg

CONIRAS Project Meeting

21 September 2016
Darmstadt

Automotive Software Congress

21–22 September 2016
Landshut

Forum Safety & Security 2016

fka Functional Safety Forum

5–7 July 2016
Munich

Embedded Testing 2016

28–30 June 2016
Munich

CONIRAS Project Meeting

27–28 April 2016
Saarbruecken

FIT 2016

Career fair

27 April 2016
University of Saarland

Industriekolloquium 2016 Datentechnik

Integrierte Systeme als Innovationstreiber:
Hard- und Software-Architekturen, Werkzeuge und Anwender”

26 April 2016, Darmstadt

DATE 2016

IMPAC workshop

14–18 March 2016
Dresden

Embedded World 2016

23–25 February 2016
Nuremberg

World Autonomous Vehicles Summit

22–23 February 2016
Stuttgart

ASSUME Project Meetings

Various dates, January–December 2016
Stuttgart

2015

CONIRAS Project Meeting

7 December 2015
Munich

Embedded Testing 2015

3–5 November 2015
Munich

Electronics in Vehicles

International Congress

14–15 October 2015
Baden-Baden

Innovative Software Development in the Automotive Industry

14–16 October 2015
Berlin

ASSUME Project Meeting

1 October 2015
Berlin

9th Symtavision News Conference

30 September – 1 October 2015
Brunswick

Euroforum ISO 26262

7th International Annual Conference

14–16 September 2015
Stuttgart

CONIRAS Project Meeting

29 June 2015
Kiefersfelden

dSPACE Workshop

26 June 2015
Paderborn

Functional Safety Forum

8–9 July 2015
Munich

Innovative Software Development in the Automotive Industry

International Conference

15–16 June 2015
Munich

Mobile Machines 2015

5–6 May 2015
Karlsruhe

International Seminar on Qualification of Formal Method Tools

26–29 April 2015
Leibniz Center for Informatics,
Dagstuhl Castle,
Wadern

ARAMiS Project Final Review

29 April 2015
Hamburg

4th VDE/DKE Conference on Functional Safety

11–12 March 2015
Erfurt

AbsInt Partner Days

2–4 March 2015
Saarbruecken

Embedded World 2015

24–26 February 2015
Nuremberg

FUSI 2015

11 February 2015
Brunswick

CONIRAS Project Meeting

27 January 2015
Saarbruecken

2014

KoSSE Workshop

Software Systems Engineering Competence Ex­change

9 December 2014
Luebeck

17th SafeTRANS Industrial Day

26 November 2014
Regensburg

ASSUME Project Meeting

10 October 2014
Berlin

Euroforum ISO 26262

6th International Annual Conference

29 September–1 October 2014
Stuttgart

FORTISSIMO Project Kick-Off Meeting

18–19 September 2014
Saarbruecken

CONIRAS Project Kick-Off Meeting

16 September 2014
Darmstadt

8th Symtavision News Conference

10–11 September 2014
Brunswick

International Seminar on Next-Generation Tools for Static Software Analysis

24–29 August 2014
Leibniz Center for Informatics,
Dagstuhl Castle,
Wadern

Functional Safety Forum

16–17 July 2014
Munich

Exhibition of Excellence

10 June 2014
University of Saarland

safe.tech 2014

20–21 May 2014
Munich

FIT 2014

Career fair

23 April 2014
University of Saarland

CERTAINTY Project Meeting

25 March 2014
Dresden

Embedded World 2014

25–27 February 2014
Nuremberg

2013

VDI Conference “Electronics in Vehicles”

16–17 October 2013
Baden-Baden

7th Symtavision News Conference

25–26 September 2013
Brunswick

Euroforum ISO 26262

5th International Annual Conference

17–19 September 2013
Stuttgart

safe.tech 2013

24–25 April 2013
Munich

FIT 2013

Career fair

24 April 2013
University of Saarland

Validas Qualification Symposium

9–10 April 2013
Munich

Embedded World 2013

26–28 February 2013
Nuremberg

Avionics Europe 2013

Exhibition and conference

20–21 February 2013
Munich

T-CREST Project Meeting

22 January 2013
Berlin

2012

Automotive — Safety and Security 2012

International Convention of the Ada, ENCRESS, and EZQN Groups of the German Informatics Society

13–15 November 2012
Karlsruhe

Electronics goes medical”

Design&Elektronik Developer Forum

10–11 October 2012
Munich

6th Symtavision NewsConference

26–27 September 2012
Brunswick

SafeComp 2012

International Workshop on Next-Generation System-Assurance Approaches for Safety-Critical Systems

25 September 2012, Magdeburg

TIMMO-2-USE Project Review Meeting

19 September 2012
Paderborn

FORTE Project Meeting

17 September 2012
Dresden

Euroforum ISO 26262

4th International Annual Conference

12–14 September 2012
Leinfelden-Echterdingen

Embedded System Development”

Design&Elektronik Developer Forum

11–12 July 2012
Munich

Automotive Software

12th Annual Euroforum Convention

14–15 May 2012
Stuttgart

12th SafeTRANS Industrial Day

From C to 4th-generation languages:
The future of embedded software development”

2 May 2012, Munich

Avionics Europe 2012

21–22 March 2012
Munich

T-CREST Project Meeting

11–14 March 2012
Dresden

Embedded World 2012

28 February – 1 March 2012
Nuremberg

MBAT Project Meeting

7 February 2012
Munich

TIMMO-2-USE Project Meeting

18 January 2012
Paderborn University

2011

MBAT Project Kick-Off Meeting

22–23 November 2011
Stuttgart

safetronic.2011

8–9 November 2011
Munich

Electronic Systems for Motor Vehicles

VDI knowledge forum

12–13 October 2011
Baden-Baden

5th Symtavision NewsConference

5–6 October 2011
Brunswick

Euroforum ISO 26262

3rd International Annual Conference

26–27 September 2011
Stuttgart

ETAS Competence Exchange Symposium

21 September 2011
Sinsheim

Embedded System Development”

Design&Elektronik Developer Forum

5–6 July 2011
Ludwigsburg

Automotive Electronics Trends”

15th International Congress

7–8 June 2011
Ludwigsburg

10th SafeTRANS Industrial Day

Reference technology platforms
for the development of safety-critical embedded systems”

17 May 2011, Berlin

INTERESTED Project Meeting

14 April 2011
Brunswick

ETAPS 2011

European Joint Conferences on Theory and Practice of Software

26 March–3 April 2011
Saarbruecken

Embedded World 2011

Exhibition&Conference

1–3 March 2011
Nuremberg

2010

9th SafeTRANS Industrial Day

23 November 2010
Sindelfingen

MedConf

12–14 October 2010
Munich

4th Symtavision NewsConference

29–30 September 2010
Brunswick

Embedded goes medical”

Design&Elektronik Developer Forum

29 September 2010
Nuremberg

Automotive 2010 — Safety & Security

21–23 June 2010
Stuttgart

14th Automobil Elektronik Congress

15–16 June 2010
Ludwigsburg

2nd Elektronik Automotive Congress

11 May 2010
Ludwigsburg

BICCNET Innovation Forum Embedded Systems

23 April 2010
Munich

Embedded World 2010

2–4 March 2010
Nuremberg

2009

Embedded Software Engineering Congress

8–10 December 2009
Sindelfingen

safetronic.2009

3–4 November 2009
Munich

Electronic Systems for Vehicles

14th International Congress

7–8 October 2009
Baden-Baden

3rd Symtavision News Conference

1 October 2009
Brunswick

Workshop on the Development of Reliable Software Systems

18 June 2009
Regensburg

1st Elektronik Automotive Congress

19 May 2009
Munich

Empower Deutschland

4–5 May 2009
Saarbruecken

AbsInt Roadshow 2009

23 April 2009
Continental Regensburg

AbsInt Roadshow 2009

22 April 2009
Continental Schwalbach

AbsInt Roadshow 2009

21 April 2009
Denso Eching

AbsInt Roadshow 2009

27 March 2009
Audi Ingolstadt

AbsInt Roadshow 2009

24 March 2009
Volkswagen Wolfsburg

AbsInt Roadshow 2009

20 March 2009
Bosch Stuttgart

AbsInt Roadshow 2009

19 March 2009
Daimler Stuttgart

AbsInt Roadshow 2009

18 March 2009
ZF Lenksysteme Schwäbisch Gmünd

AbsInt Roadshow 2009

16 March 2009
BMW Munich

Embedded World 2009

3–5 March 2009
Nuremberg

2008

Embedded Software Engineering Congress

8–10 December 2008
Sindelfingen

Automotive Safety & Security

19–20 November 2008
Stuttgart

driveIT

4–6 November 2008
Stuttgart

2nd Symtavision News Conference

8–9 October 2008
Brunswick

AbsInt Roadshow 2008

In co-operation with ARTiSAN, Esterel, and TÜV Nord

16 July 2008
Munich

AbsInt Roadshow 2008

In co-operation with ARTiSAN, Esterel, and TÜV Nord

15 July 2008
Stuttgart

ETAS Competence Exchange Symposium

Focus ASCET & LABCAR

14–15 July 2008
Boxberg

AbsInt Roadshow 2008

In co-operation with ARTiSAN, Esterel, and TÜV Nord

18 June 2008
Brunswick

AbsInt Roadshow 2008

In co-operation with ARTiSAN, Esterel, and TÜV Nord

17 June 2008
Hamburg

4th SafeTRANS Industrial Day

30 April 2008
Berlin

International Seminar on Scalable Program Analysis

13–18 April 2008
Leibniz Center for Informatics,
Dagstuhl Castle,
Wadern

SCOPES 2008

11th International Workshop on Software and Compilers for Embedded Systems

13–14 March 2008
Munich

Embedded World 2008

February 2008
Nuremberg

2007

ES_PASS Project Sessions

13–15 November 2007
Saarbruecken

ETAS Competence Exchange Symposium

28 June 2007
Gaggenau

Euroforum Seminar “Automotive Software”

8–9 May 2007
Stuttgart

CeBIT 2007

15–21 March 2007
Hannover

Embedded World 2007

February 2007
Nuremberg

50th Anniversary of the Saarland

January 2007
Saarbruecken

2006

electronica 2006

14–17 November 2006
Munich

CeBIT 2006

Verisoft Project at the stand of the German Ministry for Education and Research

9–15 March 2006
Hall 9, stand B40
Hannover

Embedded World 2006

14–16 February 2006
Nuremberg

DEC 2006

2005

EmBounded Project Workshop

14 October 2005
Frankfurt/Main

Chips & Tools 2005

13 October 2005
Sindelfingen

DATE 2005

Design, Automation & Test in Europe

7–11 March 2005
Munich

EmBounded Project Planning Meeting

1 March 2005
Saarbruecken

2004

EmBounded Project Planning Meeting

27 November 2004
Munich

2003

33rd Annual Convention of the German Informatics Society

29 September–2 October 2003
Frankfurt/Main

2002

Validation of critical software by static analysis and abstract testing

DAEDALUS project final report and free seminar for industrial users

27 September 2002
Saarbruecken

LCTES’02/SCOPES’02

ACM SIGPLAN Joint Conference on Languages, Compilers, Tools, and Software for Embedded Systems

19–21 June 2002
Berlin

2001

International Seminar on Software Visuali­zation

20–25 May 2001
Leibniz Center for Informatics,
Dagstuhl Castle,
Wadern

2000

AbsInt Roadshow 2000

November 2000
Bueckeburg

1999

ATPS 1999

2nd GI Conference on Programming Languages

5–9 October 1999
Paderborn University

France

Most recent

ERTS 2024

12th European congress
on embedded real-time systems

11–12 June 2024
Toulouse

Aerospace Test & Development Show 2023

We were represented by our French distributor Antycip
19–20 September 2023
Toulouse

Safe, secure & robust code for em­bedded applica­tions in automotive & aerospace

Free workshop in co-operation with Pike Tec and Antycip

27 June 2023
Paris

Safe, secure & robust code for em­bedded applica­tions in automotive & aerospace

Free workshop in co-operation with our French distributor Antycip

7 February 2023
Toulouse

TRISTAN Project Kick-Off Meeting

10–12 January 2023
Caen

2022

ERTS 2022

Embedded Real Time Systems

1–2 June 2022
Toulouse

2020

ERTS 2020

Embedded Real Time Systems

29–31 January 2020
Toulouse

2018

EMPHYSIS Project Meeting

16 October 2018
Paris

ASSUME Project Meeting

9 April 2018
Toulouse

ERTS² 2018

Embedded Real Time Software and Systems

31 January–2 February 2018
Toulouse

TeamPlay Project Kick-Off Meeting

30 January 2018
Rennes

2016

ASSUME Project Review Meeting

10 October 2016
Paris

ASSUME Project Meeting

8 July 2016
Toulouse

RSSRail’16 — Reliability, Safety and Security of Railway systems

Modelling, analysis, verification and certification

28–30 June 2016
Paris

ERTS² 2016

Embedded Real Time Software and Systems

27–29 January 2016, Toulouse

2015

SCADE User Group Conference

15–16 October 2015
Paris

ASSUME Project Meeting

1 October 2015
Toulouse

EDCC 2015 — 11th European Dependable Computing Conference

Dependability in Practice

7–11 September 2015
Paris

CARS Workshop

Critical Automotive Applications: Robustness & Safety

Collocated with the EDCC 2015
8 September 2015,
Paris

2014

SCADE User Group Conference

16–17 October 2014
Paris

ERTS² 2014

Embedded Real Time Software and Systems

5–7 February 2014
Toulouse

2013

SCADE User Group Conference

17–18 October 2013
Paris

CTiC

Certification Together International Conference

21–23 May 2013
Toulouse

SafeComp 2013

Workshop on Next-Generation System-Assurance Approaches for Safety-Critical Systems

24–27 September 2013, Toulouse

2012

AbsInt Roadshow 2012

December 2012
Marseille

rts Embedded Systems 2012

3–5 April 2012
Paris

ERTS² 2012

Embedded Real Time Software and Systems

1–3 February 2012
Toulouse

2011

TIMMO-2-USE Project Meeting

8 December 2011
Roissy-en-France

CERTAINTY Project Kick-Off Meeting

21–22 November 2011
Paris

SCADE User Group Conference 2011

13–14 October 2011
Paris

DATE 2011

The European Event for Electronic System Design and Test

14–18 March 2011
Grenoble

2010

TAPAS 2010

Tools for Automatic Program Analysis

Satellite workshop of SAS 2010
17 September 2010
Perpignan

ERTS² 2010

Embedded Real Time Software and Systems

19–21 May 2010
Toulouse

2009

ESWeek’09

5th Embedded Systems Week

12–16 October 2009
Grenoble

DATE 2009

Design, Automation & Test in Europe

20–24 April 2009
Nice

SCOPES 2009

12th International Workshop on Software and Compilers for Embedded Systems

23–24 April 2009
Nice

EmBounded Project Meeting

22 January 2009
Paris

2008

RTS Embedded Systems 2008

1–3 April 2008
Paris

2007

ES_PASS Project Sessions

29–31 October 2007
Suresnes, Saclay, Quartier Latin

EmBounded Project Dis­semi­na­tion Workshop

19 September 2007
Sophia Antipolis

SCOPES 2007

10th International Workshop on Software and Compilers for Embedded Systems

20 April 2007
Nice

2006

RTS Embedded Systems 2006

4–6 April 2006
Paris

Embedded Real Time Software 2006

25–27 January 2006
Toulouse

2005

IAEC 2005

2nd International Automotive Electronics Congress

3–5 October 2005
Sèvres

RTS Embedded Systems 2005

5–6 April 2005
Paris

2004

IFIP 18th World Computer Congress

Topical Sessions

22–27 August 2004
Toulouse

RTS Embedded Systems 2004

30 March–1 April 2004
Paris

United States and Canada

Most recent

Joral Workshop for Engineers

Worst-case execution time determination for ARM Cortex

7–8 November 2023
Phoenix, AZ

SOAP 2023

State of the Art in Program Analysis

17 June 2023
Orlando, FL

Check your code using static analysis and achieve your ISO 26262 & DO-178C certification

Webinar in co-operation with our NA distributor Joral Technologies
31 May 2023

WCX23

SAE World Congress and Exhibition

18–20 April 2023
Detroit, MI

How to use static analysis to analyze your code and achieve your ISO 26262 certification

Tech talk in co-operation with Joral
19 April 2023
Royal Park Hotel,
Rochester, MI

2022

Static analysis tools

Free workshop for engineers

18 October 2022
Royal Park Hotel,
Rochester, MI

4 ways to determine worst-case consequences using binary code

Webinar
4 October 2022

ACM Awards Banquet

Receiving the 2021 ACM Software System Award for the CompCert compiler

10–11 June 2022
San Francisco, CA

Ansys 2022 R1 Webinar

Model-based WCET computation for critical embedded software with Ansys SCADE

10 March 2022

2021

Automatically checking coding guidelines with RuleChecker from ARM/KEIL μVision IDE

In association with our NA distributor Joral Technologies

Free webinar
24 February 2021

dSPACE DIGITAL 2021

27–28 January 2021
Virtual conference and exhibition

2020

Obtaining DO-178 B/C certification credits from sound static program analyzers

Free webinar in association with Joral
15 December 2020

Return on investment of using static analysis tools

Free webinar in association with Joral
24 November 2020

IoT Device Security Conference

10 November 2020
Virtual conference

2019

Embedded Systems Week 2019

Test-of-Time Award

16 October 2019
New York City, NY

Joral Workshop for Engineers

Static Runtime Error Detection & MISRA Compliance Checking

15 October 2019
Huntsville, AL

ISO 26262 USA

3rd Edition, Autonomous Driving & Cybersecurity

13–15 May 2019
Novi, MI

WCX19

SAE World Congress and Exhibition

9–11 April 2019
Detroit, MI

2018

TimeWeaver webinar

Finding worst-case execution time scenarios of applications running on Infineon AURIX CPUs”

Hosted by our NA distributor Joral
10 October 2018

ISO 26262 USA

2nd Edition, Autonomous Driving & Cybersecurity

15–17 May 2018
Novi, MI

AbsInt Tech Day

Static analysis as a verification method for safe autonomous driving

15 March 2018
Santa Clara, CA

2017

dSPACE Technology Conference 2017

17–18 October 2017
Plymouth, MI

ISO 26262 USA

6th International CTI Conference

26–28 June 2017
Rochester, Metro Detroit, MI

WCX17

SAE World Congress and Exhibition

4–6 April 2017
Detroit, MI

AbsInt Tech Day

Static program analyzers working on TargetLink-generated code

9 February 2017
Novi, MI

2016

dSPACE Technology Conference 2016

13–14 September 2016
Naperville, IL

ISO 26262 USA

5th International CTI Conference

6–8 June 2016
Rochester, Metro Detroit, MI

2015

dSPACE Technology Conference 2015

13–14 October 2015
Plymouth, MI

ISO 26262

4th International CTI Conference

22–24 June 2015
Detroit, MI

2014

dSPACE Midwest User Conference

9–10 September 2014
Naperville, IL

SAE World Congress 2014

8–10 April 2014
Detroit, MI

2013

dSPACE Ground Vehicles User Conference

8–9 October 2013
Plymouth, MI

CERTAINTY Project Meetings

27 September–2 October 2013
Montreal

dSPACE Aerospace User Conference

26–28 August 2013
Huntington Beach, CA

2012

CTI Forum ISO 26262

International exchange on functional safety in the automotive industry

12–14 June 2012
Detroit, MI

2011

ISSC 2011

8–12 August 2011
Las Vegas, NV

SAE World Congress 2011

12–14 April 2011
Detroit, MI

2009

ETAS Connections 2009: “Doing More With Less”

20 May 2009
Plymouth, MI

2008

LCTES 2008

ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems

12–13 June 2008
Tucson, AZ

2006

SAE World Congress 2006

3–6 April 2006
Detroit, MI

2005

SCOPES 2005

9th International Workshop on Software and Compilers for Embedded Systems

29 September – 1 October 2005
Dallas, TX

2004

CTCES 2004

Workshop on Compilers and Tools for Constrained Embedded Systems

September 2004
Washington, DC

2003

CTCES 2003

Workshop on Compilers and Tools for Constrained Embedded Systems

29 October 2003
San Jose, CA

2002

SIAM Conference on Optimization

20–22 May 2002
Toronto

2001

EMSOFT 2001

Embedded Software, First International Workshop

8–10 October 2001
Tahoe City, CA

LCTES 2001

ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems

22–23 June 2001
Snowbird, UT

2000

LCTES 2000

ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems

June 2000
Vancouver

1998

LCTES 1998

ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems

June 1998
Montreal

Elsewhere

Most recent

MISRA Working Group Meeting

13 March 2024
Sibson

SSS’24

Safety-critical Systems Symposium

13–15 February 2024
Marriott Royal Hotel,
Bristol

POPL 2024

Special track “The Next 40 Years of Abstract Interpretation”

20 January 2024
IET, Savoy Place,
London

SAS 2023

30th Static Analysis Symposium

22–24 October 2023
Lisbon

RISC-V Summit Europe 2023

Scale4Edge project presentation

5–9 June 2023
Barcelona

MISRA Working Group Meeting

9 May 2023
Sibson

AbsInt Roadshow 2023

11–13 October 2023
Turin & Maranello

2022

CYBER 2022

7th international conference on cyber-technologies and cyber-systems

13–17 November 2022
Valencia

EU Space Week 2022

MORAL project at the Horizon panel

3–6 October 2022
Prague

AMICSA 2022

MORAL project presentation at the 9th international workshop on Analogue and Mixed-Signal Integrated Circuits for Space Applications

31 May–3 June 2022
Madrid

2020

TeamPlay Project Meeting

22 January 2020
Bologna

HiPEAC 2020

20–22 January 2020
Bologna

2019

MISRA Working Group Meeting

9–10 October 2019
Sibson

[SC]²

Software-Centric Systems Conference

25 September 2019
Eindhoven

CYBER 2019

4th international conference on cyber-technologies and cyber-systems

22–26 September 2019
Porto

AQUAS Project Meeting

17 September 2019
London

Alpine Verification Meeting 2019

AQUAS project presentation

9–11 September 2019
Brno University of Technology

SafeComp 2019

38th international conference on computer safety, reliability and security

10–13 September 2019
Turku

TeamPlay Project Meeting

25 June 2019
University of St. Andrews

ECSEL JU Symposium

AQUAS project presentation

17–19 June 2019
Bucharest

MISRA Working Group Meeting

11 June 2019
Sibson

ARGO Project Review Meeting

2 May 2019
Brussels

AQUAS Project Plenary Meeting

9–11 April 2019
Rome

Security Conference 2019

AQUAS project presentation

28 February 2019
Prague

Eurocast 2019

AQUAS project presentation at the 17th International Conference on Computer-Aided Systems Theory

17–22 February 2019
Las Palmas de Gran Canaria

ARGO Project Meeting

23 January 2019
Valencia

TeamPlay Project Meeting and Workshop

21 January 2019
Valencia

HiPEAC 2019

21–23 January 2019
Valencia

2018

CYBER 2018

3rd international conference on cyber-technologies and cyber-systems

18–22 November 2018
Athens

TeamPlay Project Review Meeting

16 October 2018
Brussels

MISRA Working Group Meeting

10–11 October 2018
Sibson

AQUAS Project Meeting

25 September 2018
Vienna

AQUAS Project Meeting

18–20 September 2018
City, University of London

Formal Methods 2018

22nd international symposium

15–17 July 2018
Oxford

TeamPlay Project Meeting

25 June 2018
Odense

Autonomous Driving, Security, ISO 26262

Safety-relevant developments in the automotive domain

16–17 May 2018, Graz

AQUAS Project General Assembly Meeting

23 April 2018
Valencia

2017

CYBER 2017

2nd international conference on cyber-technologies and cyber-systems

12–16 November 2017
Barcelona

ASSUME Project Review Meeting

20 September 2017
Eindhoven

SafeComp 2017

International conference on computer safety, reliability, and security

12–15 September 2017, Trento

Doymus Dev Tools 2017

1 June 2017
Madrid

AQUAS Project Kick-Off Meeting

29–30 May 2017
Madrid

ASSUME Project Meeting

25 April 2017
Eindhoven

SSS’17

Safety-critical Systems Symposium

7–9 February 2017
Bristol

2016

ARGO Project Review Meeting

26 October 2016
Brussels

Safe and Reliable Software Testing and Verification

Technology exchange conference in co-operation with our distributor VisionMC

October 2016
Chengdu

Advanced Development Tools for Embedded Systems

Doymus workshop

24 May 2016
Madrid

ASSUME Project Meeting

12 May 2016
Stockholm

IIR conference on ISO 26262

10–11 May 2016
Graz

SSS’16

Safety-critical Systems Symposium

2–4 February 2016
Brighton

11th HiPEAC Conference

18–20 January 2016
Prague

2015

Embedded Safety and Security Summit 2015

17 June 2015
Bangalore

AbsInt Roadshow India 2015

14–19 June 2015
Pune, Chennai, Bangalore

Civil Avionics International Forum & Showcase

4th Annual International Congress

21–23 April 2015
Shanghai

2014

MBAT Project Final Review

9 December 2014
Brussels

CERTAINTY Project Review Meeting

1 December 2014
Brussels

embedded conference scandinavia

4–5 November 2014
Stockholm

MBAT Project Plenary Meeting

22–23 September 2014
Turin

safeComp 2014

10–12 September 2014
Florence

safeComp workshop DECSoS’14

9 September 2014
Florence

TACLe Summer School 2014

Timing Analysis on Code Level

27 June 2014
Venice

MBAT Project Meeting

20 May 2014
Gothenburg

T-CREST Project Meeting

19 March 2014
Lisbon

CERTAINTY Project Review Meeting

3 March 2014
Brussels

2013

T-CREST Project Meeting

15–17 December 2013
Brussels

MBAT Project Review Meeting

9 December 2013
Brussels

MBAT Project Meeting

31 October 2013
Gothenburg

T-CREST Project Meeting

16 September 2013
Copenhagen

T-CREST Project Meeting

20 June 2013
Pisa

Static Analysis Tools Workshop

21–29 May 2013
University of Szeged

MBAT Project Plenary Meeting

14–15 May 2013
Cambridge

CERTAINTY Project Review Meeting

22 January 2013
Brussels

2012

ISO 26262

27–29 November 2012
Tokyo

T-CREST Project Meeting

26 28 November 2012
Vienna

QA&Test 2012

11th International Conference on Embedded Software Testing

17–19 October 2012
Bilbao

T-CREST Project Review Meeting

2 October 2012
Brussels

T-CREST Project Meeting

17 September 2012
Eindhoven

MBAT Project Plenary Meeting

5 September 2012
Vienna

CESAR Project Final Event

July 2012
Turin

T-CREST Project Meeting

14 June 2012
Pisa

LCTES 2012

Languages, Compilers, Tools and Theory for Embedded Systems

12–13 June 2012
Beijing

T-CREST Project Meeting

23–25 May 2012
Lisbon

MBAT Project Plenary Meeting

22–23 May 2012
Copenhagen

2011

T-CREST Project Meeting

13–15 December 2011
London

CESAR Project Plenary Meeting

30 November 2011
Salzburg

QA&Test 2011

10th International Conference on Embedded Software Testing

26–28 October 2011
Bilbao

ARTEMIS & ITEA Co-Summit 2011

25–26 October 2011
Helsinki

T-CREST Project Kick-Off Meeting

15 September 2011
Copenhagen

SAS 2011

18th International Symposium on Static Analysis

14–16 September 2011
Venice

FMICS 2011

16th International Workshop on Formal Methods for Industrial Critical Systems

29–30 August 2011
Trento

MICROTASK Seminar

9 June 2011
Turin

2010

QA&Test 2010

9th International Conference on Embedded Software Testing

27–29 October 2010
Bilbao

SafeComp 2010

29th International Conference on Computer Safety, Reliability, and Security

14–17 September 2010
Vienna

WCET 2010

10th International Workshop on Worst-Case Execution-Time Analysis

6 July 2010
Brussels

CPSWEEK 2010

Cyber-Physical Systems Week

12–16 April 2010
Stockholm

PREDATOR Project Meeting

24 February 2010
Scuola Superiore Sant’Anna, Pisa

2009

ICCES’09

International Conference on Computer Engineering and Systems

14–16 December 2009
Cairo

WCET’09

9th International Workshop on Worst-Case Execution Time Analysis

Satellite event to the ECRTS’09
30 June 2009
Trinity College, Dublin

2008

ISoLA 2008

3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

13–15 October 2008
Kassandra, Chalkidiki

EmBounded Project Workshop on Resource Analysis

9 September 2008
Hatfield

ECRTS 2008

20th Euromicro Conference on Real-Time Systems

2–4 July 2008
Prague

EmBounded Project Meeting

7 March 2008
Edinburgh

2007

EmBounded Project Workshop

25–26 July 2007
Islay

7th International Workshop on WCET Analysis

3 July 2007
Pisa

VVSS 2007

Verification and Validation of Software Systems

23 March 2007
Eindhoven

EmBounded Project Meeting

22 January 2007
Edinburgh

2006

Embedded Systems Show 2006

11–12 October 2006
Birmingham

EmBounded Project Open Workshop

7 September 2006
Budapest

ASTEC Project Final Event

30 May 2006
Uppsala

EmBounded Project Workshop

3 February 2006
Edinburgh

2005

EmBounded Project Meeting

4 November 2005
Edinburgh

EmBounded Project Kick-Off Meeting

11 April 2005
Edinburgh

2004

SCOPES 2004

8th International Workshop on Software and Compilers for Embedded Systems

2–3 September 2004
Amsterdam

European IST Prize Awards 2004

Receiving an IST Prize for aiT WCET Analyzers

April 2004
Milan

ETAPS 2004

2nd Workshop on Quantitative Aspects of Programming Languages

27–28 March 2004
Barcelona

2003

ESSE 2003

European Summer School on Embedded Systems

14 July – 8 October 2003
Västerås

2000

International Summer School on Applied Semantics

9–15 September 2000
Caminha

1999

ASTEC Project Kick-Off Meeting

9 February 1999
Skokloster

Online

iSAQB Software Architecture Gathering

27–30 November 2023
Virtual conference

Check your code using static analysis and achieve your ISO 26262 & DO-178C certification

Webinar in co-operation with our NA distributor Joral Technologies
31 May 2023

Automated verification of safety-critical code

Free webinar in co-operation with QA Systems
3 May 2023

2022

4 ways to determine worst-case consequences using binary code

Webinar
4 October 2022

Ansys 2022 R1 webinar

Model-based WCET Computation for Critical Embedded Software with Ansys SCADE

10 March 2022

2021

Embedded Software Engineering Congress

29 November–3 December 2021
Virtual conference

SCOPES 2021

24th international workshop on Software and Compilers for Embedded Systems

1–2 November 2021
Virtual conference

MAKS-2021

6th International Conference “Prospects of Civil Avionics Development”

22 July 2021

Functional safety development solutions for ARM Cortex-M

Webinar in cooperation with ARM, STMicroelectronics, and Siemens
21 July 2021

Forum Safety & Security

22–23 June 2021
Virtual conference

The Digital Summit for Functional & System Safety for Level 4 & 5 Automated Vehicles

16–17 June 2021
Virtual conference

Can you trust your compiler?

Free webinar in co-operation with Vector
8 June 2021
 Watch on YouTube

Space, Code, and Time

Obtaining ISO 26262 certification credits by sound static analysis

Free webinar
24 March 2021

Automotive ISO 26262: Functional Safety

Road Vehicles, Functional Safety and Beyond

10–11 March 2021
Online live event

Automatically checking coding guidelines with RuleChecker from ARM/KEIL μVision IDE

Free webinar in association with our NA distributor Joral Technologies
24 February 2021

Embedded World 2021

1–5 March 2021
Virtual conference

dSPACE DIGITAL 2021

27–28 January 2021
Virtual conference and exhibition

2020

Embedded Software Engineering Congress

30 November–4 December 2020
Virtual conference

electronica Medical Electronics Conference

9–10 November 2020
Virtual conference

3rd Workshop on RISC-V Activities

Joint online event by the COMPACT, SAFE4I and Scale4Edge projects

8 October 2020
Virtual workshop

SAEC Days

21–23 July 2020
Virtual conference

Automotive ISO 26262

3rd annual safety & security forum

23–24 June 2020
Virtual conference

Combining dynamic testing and static analysis for ISO 26262 development

Free webinar in co-operation with Vector
18 June 2020

Obtaining DO-178 B/C certification credits from sound static program analyzers

Free webinar in association with our NA distributor Joral Technologies
15 December 2020

Return on investment of using static analysis tools

Free webinar in association with our NA distributor Joral Technologies
24 November 2020

IoT Device Security Conference

10 November 2020
Virtual conference

2018

TimeWeaver webinar

Finding worst-case execution time scenarios of applications running on Infineon AURIX CPUs”

Hosted by our NA distributor Joral, 10 October 2018

2014

TargetLink webinar

Early detection of runtime errors and resource problems by com­bining model-based design and static analysis”

23–24 September 2014