Где с нами пересечься

Сейфтроник 2024

Международная конференция по целостной безопасности
дорожных транспортных средств

13–14 ноября
Штуттгарт

Embedded Testing 2025

25–26 февраля 2025
Мюнхен

Embedded World 2025

11–13 марта 2025
Нюрнберг
Стенд 4-138

Сейф.Тек 2025

14-й конгресс по функциональ­ной безопасности дорожных и железно­дорожных транспортных средств

Мюнхен

Где-то вы нас видели

Германия

СайСекМед 2024

Конференция по кибербезопасности

15–16 октября 2024
Мюнхен

VDA SYS Conference

Конференция союза немецких автостроителей

3–5 июля 2024
Науэн под Берлином

TwinSpace Project Meeting

17–20 июня 2024
Росток

next 2024

11 июня 2024
Университет Земли Саарской

Preventing death by software

CS graduate address

15 мая 2024
Университет Земли Саарской

AbsInt Roadshow 2024

12 июля 2024
Битиггейм-Биссинген

MORAL Project Review Meeting

7 мая 2024
Франкфурт на Одере

Aerospace Tech Week Europe 2024

17–18 апреля 2024
Мюнхен

МедКонф 2024

17-я конференция по аппаратному и программному обеспечению для медицинской инженерии

16–18 апреля 2024
Мюнхен

Сейф.Тек 2024

13-й конгресс по функциональной безопасности дорожных и железно­дорожных транспортных средств

16–17 апреля 2024
Мюнхен

Embedded World 2024

9–11 апреля 2024
Нюрнберг

MISRA Day 2024

In co-operation with QA Systems

7 марта 2024
Людвигсбург

Embedded Testing 2024

27–28 февраля 2024
Мюнхен

Scale4Edge Project Meeting

15 февраля 2024
Кайзерслаутерн

AbsInt Partner Days

15–17 января 2024
Саарбрюкен

2023

Сейфтроник 2023

15–16 ноября 2023
Штуттгарт

Airtec

Международная аэрокосмическая выставка

25–27 октября 2023
Аугсбург

CySecMed 2023

Конференция по кибер-безопасности

17–18 октября 2023
Мюнхен

next 2023

13 июня 2023
Университет Земли Саарской

Software Quality Days 2023

23–25 мая 2023
Мюнхен

МедКонф 2023

23–25 мая 2023
Мюнхен

Автоматизированная верификация критического кода

Бесплатный онлайн-курс в сотруд­ничестве с QA Systems
3 мая 2023

Aerospace Tech Week Europe 2023

29–30 марта 2023
Мюнхен

Embedded World 2023

14–16 марта 2023
Нюрнберг

25-летний юбилей компании

февраль 2023
Саарбрюкен

2022

CySecMed 2022

Cyber security conference

17–18 октября 2022
Мюнхен

Bosch GTM Techday 2022

22–23 сентября 2022
Stuttgart

Forum Safety & Security

21–22 сентября 2022
Landshut

SAEC Days

28–30 июня 2022
Мюнхен

Embedded World 2022

Нюрнберг

safe.tech — TÜV SÜD Congress

Functional safety in rail, automation, and automotive

10–11 мая 2022
Мюнхен

MedConf 2022

10–12 мая 2022
Мюнхен

Scale4Edge Project Meeting

4 мая 2022
Tübingen

2021

Embedded Software Engineering Congress

29 November–3 декабря 2021
Virtual conference

Forum Safety & Security

22–23 июня 2021
Virtual conference

VectorCAST: Can You Trust Your Compiler?

Free webinar in co-operation with Vector
8 июня 2021

Space, Code, and Time

Obtaining ISO 26262 Certification Credits by Sound Static Analysis

Free webinar
24 марта 2021

Automotive ISO 26262: Functional Safety

Road vehicles, functional safety and beyond

10–11 марта 2021
Online live event

Embedded World 2021

1–5 марта 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

2020

Embedded Software Engineering Congress

30 ноября–4 декабря 2020
Онлайн-конференция

electronica Medical Electronics Conference

9–10 ноября 2020
Онлайн-конференция

MedConf 2020

21–22 октября 2020
Мюнхен

QSMA Project Kick-Off Meeting

5 августа 2020
Karlsruhe

SAEC Days

21–23 июля 2020
Virtual conference

Automotive ISO 26262

3rd annual safety & security forum

23–24 июня 2020
Virtual conference

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

Free webinar in co-operation with Vector
18 июня 2020

Scale4Edge Project Kick-Off Meeting

5 мая 2020
Berlin

EMPHASE Project Final Event

3 марта 2020
Франкфурт на Одере

Embedded World 2020

26–28 февраля 2020
Нюрнберг

PROFORMA Project Final Event

14 January 2020
TU Kaiserslautern

MORAL Project Kick-Off Meeting

12 January 2020
Франкфурт на Одере

2019

Software Drives

Transformation to large-scale distributed automotive software

12–13 ноября 2019
Штутгарт

МедКонф 2019

23–24 октября 2019
Мюнхен

ISO 26262

30 сентября–2 октября 2019
Штутгарт

Federal Aviation Research Program Workshop

8 августа 2019
Bonn

Embedded Testing 2019

1–4 июля 2019
Мюнхен

Forum Safety & Security 2019

8–10 июля 2019
Зиндельфинген

5-я Embedded Multi-Core Conference

28–29 мая 2019
Мюнхен

AbsInt Partner Days

21–23 мая 2019
Саарбрюкен

Embedded World 2019

26–28 февраля 2019
Нюрнберг

Форум FZI

21 февраля 2019
Карлсруэ

FUSI 2019

5 февраля 2019
Брауншвейг

2018

Future of Automotive Software

International conference

2018

TeamPlay Project Meeting

30 октября 2018
Hamburg University of Technology

ISO 26262

10-я ежегодная международная конференция CTI

22–24 октября 2018
Штутгарт

Forum Safety & Security 2018

12–13 сентября 2018
Зиндельфинген

IEC 61508 Committee Meeting

11 сентября 2018
Frankfurt/Main

PROFORMA Project Meeting

22 августа 2018
TU Kaiserslautern

8-й День Инноваций «INVENSITY»

«Cyber Security & Functional Safety»

20 июля 2018, Дармштадт

ASSUME Project Meeting

9 July 2018
Ulm

ARAMiS II Multicore Conference

21 июня 2018
Штутгарт

Embedded Testing 2018

19–21 июня 2018
Мюнхен

8-я Конференция VDA Automotive

13–15 июня 2018
Науэн под Берлином

Embedded World 2018

27 февраля–1 марта 2018
Нюрнберг

Automotive ISO 26262

6–7 февраля 2018
Берлин

2017

23-й SafeTRANS Industrial Day

16 ноября 2017
Берлин

Luxoft NewsConference 2017

25–26 октября 2017
Брауншвейг

ISO 26262

Конференция CTI

9–11 октября 2017
Штутгарт

International Seminar on Resource-Bound Analysis

16–21 июля 2017
Научный центр им. Лейбница,
замок Дагштуль,
Мерциг-Вадерн

Forum Safety & Security 2017

4–6 июля
Мюнхен

22-й SafeTRANS Industrial Day

Safety and Reliability in Open Systems

18 мая 2017
Бремен

Mobile Machines 2017

16–17 мая 2017
Карлсруэ

Embedded World 2017

14–16 марта 2017
Нюрнберг

AbsInt Partner Days

8–10 марта 2017
Саарбрюкен

2016

ADFD — Automated Driving, Future Mobility and Digitalization

28–30 ноября 2016
Ганновер

8-я конференция пользователей диСпейс

15–16 ноября 2016
Мюнхен

10-я конференция Симтавижн

5–6 октября 2016
Брауншвейг

ISO 26262

8-я международная конференция Еврофорума

26–28 сентября 2016
Людвигсбург

Automotive-Software-Kongreß

21–22 сентября 2016
Ландсхут

Forum Safety & Security 2016

5–7 июля 2016
Мюнхен

Embedded Testing 2016

28–30 июня 2016
Мюнхен

DATE 2016

«Дизайн, автоматизация и тестирование в Европе»

14–18 марта 2016
Дрезден

Industriekolloquium 2016 Datentechnik

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

26 апреля 2016, Darmstadt

Embedded World 2016

23–25 февраля 2016
Нюрнберг

World Autonomous Vehicles Summit

22–23 февраля 2016
Штутгарт

2015

Embedded Testing 2015

3–5 ноября 2015
Мюнхен

Electronics in Vehicles 2015

Международный конгресс

14–15 октября 2015
Баден-Баден

4th VDE/DKE Conference on Functional Safety

11–12 марта 2015
Erfurt

Innovative Software Developments in the Automotive Industry

14–16 октября 2015
Берлин

9-я конференция Симтавижн

30 сентября – 1 октября 2015
Брауншвейг

ISO 26262

7-я International Annual Euroforum Conference

14–16 сентября 2015
Штутгарт

CONIRAS Project Meeting

29 июня 2015
Kiefersfelden

dSPACE Workshop

26 июня 2015
Paderborn

Functional Safety Forum

8–9 июля 2015
Мюнхен

Innovative Software Development in Automotive

Международная конференция

15–16 июня 2015
Мюнхен

Mobile Machines 2015

5–6 мая 2015
Карлсруэ

4-я VDE/DKE Conference on Functional Safety

11–12 марта 2015
Эрфурт

Embedded World 2015

24–26 февраля 2015
Нюрнберг

FUSI 2015

11 февраля 2015
Брауншвейг

2014

Еврофорум «ISO 26262»

29 сентября–1 октября 2014
Штутгарт

8-я конференция Симтавижн

10–11 сентября 2014
Брауншвейг

International Seminar on Next-Generation Tools for Static Software Analysis

24–29 августа 2014
Научный центр им. Лейбница,
замок Дагштуль,
Мерциг-Вадерн

Functional Safety Forum

16–17 июля 2014
Мюнхен

safe.tech 2014

20–21 мая 2014
Мюнхен

Embedded World 2014

25–27 февраля 2014
Нюрнберг

2013

VDI-конференция «Электроника в автомобиле»

16–17 октября 2013
Баден-Баден

7-я конференция Симтавижн

25–26 сентября 2013
Брауншвейг

Еврофорум «ISO 26262»

17–19 сентября 2013
Штутгарт

safe.tech 2013

24–25 апреля 2013
Мюнхен

Validas Qualification Symposium

9–10 апреля 2013
Мюнхен

Embedded World 2013

26–28 февраля 2013
Нюрнберг

Avionics Europe 2013

Exhibition and conference

20–21 февраля 2013
Мюнхен

2012

Automotive — Safety and Security 2012

13–15 ноября 2012
Карлсруэ

SafeComp 2012

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

25 сентября 2012, Магдебург

6-я конференция Симтавижн

26–27 сентября 2012
Брауншвейг

«Electronics goes medical»

Design&Elektronik Developer Forum

10–11 октября 2012
Мюнхен

Еврофорум «ISO 26262»

4-я ежегодная конференция

12–14 сентября 2012
Ляйнфельден-Эхтердинген

«Embedded System Development»

Design&Elektronik Developer Forum

11–12 июля 2012
Мюнхен

Еврофорум «Software im Automobil»

12-я ежегодная конференция

14–15 мая 2012
Штутгарт

12-я SafeTRANS Industrial Day

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

2 мая 2012, Мюнхен

Avionics Europe 2012

21–22 марта 2012
Мюнхен

Embedded World 2012

28 февраля – 1 марта 2012
Нюрнберг

2011

safetronic.2011

8–9 ноября 2011
Мюнхен

Electronic Systems for Motor Vehicles 2011

VDI knowledge forum

12–13 октября 2011
Баден-Баден

5-я конференция Симтавижн

5–6 октября 2011
Брауншвейг

ETAS Competence Exchange Symposium

21 сентября 2011
Зинсгейм

«Embedded System Development»

Design&Elektronik Developer Forum

5–6 июля 2011
Ludwigsburg

«Automotive Electronics Trends»

15-й международный конгресс

7–8 июня 2011
Ludwigsburg

10th SafeTRANS Industrial Day

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

17 мая 2011, Берлин

ETAPS 2011

European Joint Conferences on Theory and Practice of Software

26 марта–3 апреля
Саарбрюкен

Embedded World 2011

Exhibition&Conference

1–3 марта
Нюрнберг

2010

9th SafeTRANS Industrial Day

23 ноября 2010
Зиндельфинген

MEDICA 2010

18 ноября 2010
Дюссельдорф

МедКонф

12–14 октября 2010
Мюнхен

4-я конференция Симтавижн

29–30 сентября 2010
Брауншвейг

«Embedded goes medical»

Design&Elektronik Developer Forum

29 сентября 2010
Нюрнберг

Automotive 2010 — Safety & Security

21–23 июня
Штутгарт

14th Automobil Elektronik Congress

15–16 июня 2010
Ludwigsburg

2nd Elektronik automotive congress

11 мая 2010
Людвигсбург

BICCNET Innovation Forum Embedded Systems

23 апреля 2010
Мюнхен

Embedded World 2010

2–4 марта
Нюрнберг

2009

Embedded Software Engineering Congress

8–10 декабря 2009
Зиндельфинген

safetronic.2009

3–4 November 2009
Munich

Electronic Systems for Vehicles 2009

14-й международный конгресс

7–8 октября 2009
Баден-Баден

3-я Symtavision News Conference

1 октября 2009
Брауншвейг

Workshop on the Development of Reliable Software Systems

18 июня 2009
Regensburg

1st Elektronik Automotive Congress

19 мая 2009
Мюнхен

Empower Deutschland

4–5 мая 2009
Саарбрюкен

AbsInt Roadshow 2009

Continental Regensburg
23 апреля 2009

AbsInt Roadshow 2009

Continental Schwalbach
22 апреля 2009

AbsInt Roadshow 2009

Denso Eching
21 апреля 2009

AbsInt Roadshow 2009

Audi Ingolstadt
27 марта 2009

AbsInt Roadshow 2009

Volkswagen Wolfsburg
24 марта 2009

AbsInt Roadshow 2009

Bosch Stuttgart
20 марта 2009

AbsInt Roadshow 2009

Daimler Stuttgart
19 марта 2009

AbsInt Roadshow 2009

ZF Lenksysteme Schwäbisch Gmünd
18 марта 2009

AbsInt Roadshow 2009

BMW Мюнхен
16 марта 2009

Embedded World 2009

3–5 марта 2009
Нюрнберг

2008

Embedded Software Engineering Congress

8–10 декабря 2008
Зиндельфинген

Automotive Safety & Security

19–20 ноября 2008
Штутгарт

driveIT

4–6 ноября 2008
Штутгарт

2-я Symtavision News Conference

8–9 октября 2008
Брауншвейг

AbsInt Roadshow 2008

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

16 июля 2008
Мюнхен

AbsInt Roadshow 2008

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

15 июля 2008
Stuttgart

ETAS Competence Exchange Symposium 2008

Focus ASCET & LABCAR

14–15 июля 2008
Боксберг

AbsInt Roadshow 2008

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

18 июня 2008
Brunswick

AbsInt Roadshow 2008

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

17 июня 2008
Hamburg

4th SafeTRANS Industrial Day

30 апреля 2008
Берлин

Embedded World 2008

февраля 2008
Нюрнберг

2007

ETAS Competence Exchange Symposium

28 июня 2007
Гаггенау

Euroforum Seminar “Automotive Software”

8–9 мая 2007
Штутгарт

CeBIT 2007

15–21 марта 2007
Ганновер

Embedded World 2007

февраля 2007
Нюрнберг

2006

electronica 2006

14–17 ноября 2006
Мюнхен

Embedded World 2006

14–16 февраля 2006
Нюрнберг

DEC 2006

2005

Chips & Tools 2005

13 октября 2005
Зиндельфинген

DATE 2005

Design, Automation and Test in Europe

7–11 марта 2005
Мюнхен

2002

Validation of Critical Software by Static Analysis and Abstract Testing

Free seminar for potential industrial users

27 сентября 2002
Саарбрюкен

2001

Международный семинар по визуализации программного кода

20–25 мая 2001
Научный центр им. Лейбница,
замок Дагштуль,
Мерциг-Вадерн

Франция

ERTS 2024

12-й европейский конгресс по встраиваевым системам реального времени

11–12 июня 2024
Тулуза

TRISTAN Project Kick-Off Meeting

10–12 January 2023
Caen

ERTS 2022

Embedded Real Time Systems

1–2 июня 2022
Тулуза

ERTS² 2018

Embedded Real Time Software and Systems

31 января –2 февраля 2018
Тулуза

TeamPlay Project Kick-Off Meeting

30 January 2018
Rennes

RSSRail’16

Международная конференция по безопасности железнодорожных систем — моделирование, анализ, верификация и сертификация

28–30 июня 2016
Париж

ERTS² 2016

Embedded Real Time Software and Systems

27–29 января 2016
Тулуза

SCADE User Group Conference

15–16 октября 2015
Париж

EDCC 2015 — 11th European Dependable Computing Conference

Dependability in Practice

7–11 сентября 2015
Париж

CARS Workshop

Critical Automotive Applications: Robustness & Safety

Collocated with the EDCC 2015
8 сентября 2015,
Париж

SCADE User Group Conference

16–17 октября 2014
Париж

ERTS² 2014

Embedded Real Time Software and Systems

5–7 февраля 2014
Тулуза

SCADE User Conference

17–18 октября 2013
Париж

CTiC

21–23 мая 2013
Тулуза

AbsInt Roadshow 2012

December 2012
Marseille

rts Embedded Systems 2012

3–5 апреля 2012
Париж

ERTS² 2012

Embedded Real Time Software and Systems

1–3 февраля 2012
Тулуза

SCADE User Group Conference 2011

13–14 октября 2011
Париж

DATE 2011

The European Event for Electronic System Design and Test

14–18 марта 2011
Гренобль

TAPAS 2010

Tools for Automatic Program Analysis

Satellite workshop of SAS 2010
17 сентября 2010
Perpignan

ERTS² 2010

Embedded Real Time Software and Systems

19–21 мая 2010
Тулуза

SCOPES 2009

12th International Workshop on Software and Compilers for Embedded Systems

23–24 апреля 2009
Ницца

DATE 2009

Design, Automation & Test in Europe 2009

20–24 апреля
Ницца

ICT 2008

24 ноября 2008
Lyon

RTS Embedded Systems 2008

1–3 апреля 2008
Париж

RTS Embedded Systems 2006

4–6 апреля 2006
Париж

Embedded Real Time Software 2006

25–27 января 2006
Тулуза

Прочая Европа

СейфКомп 2024

Международная конференция по компьютерной безопасности

17–20 сентября 2024
Флоренция

TRISTAN Project Meeting

12 сентября 2024
Грац

Lipari Summer School on Abstract Interpretation

1–7 September 2024
Lipari

Заседание рабочей группы MISRA

13 марта 2024
Сибсон

Симпозиум по критическим системам 2024

13–15 февраля 2024
Отель Марриотт,
Бристоль

POPL 2024

Special track “The Next 40 Years of Abstract Interpretation”

20 января 2024
Лондон

2023

SAS 2023

30-й симпозиум по статическому анализу

22–24 октября 2023
Лиссабон

RISC-V Summit Europe 2023

5–9 июня 2023
Барселона

Заседание рабочей группы MISRA

9 мая 2023
Сибсон

AbsInt Roadshow 2023

11–13 октября 2023
Турин и Маранелло

2022

CYBER 2022

7-я международная конференция по кибертехнологиям и киберсистемам

13–17 ноября 2022
Валенсия

EU Space Week 2022

3–6 октября 2022
Прага

AMICSA 2022

31 мая–3 июня 2022
Мадрид

2021

МАКС-2021

6-я международная конференция «Перспективные направления развития бортового оборудования гражданских воздушных судов»

22 июля 2021

2019

CYBER 2019

4-я международная конференция по кибертехнологиям и киберсистемам

22–26 сентября 2019
Порто

SafeComp 2019

38-я международная конференция по компьютерной безопасности

10–13 сентября 2019
Турку

2018

FM 2018

22-й международный симпозиум по формальным методам

15–17 июля 2018
Оксфорд

Autonomous Driving, Security, ISO 26262

«Safety-relevant developments in the automotive domain»

16–17 мая 2018
Грац

2017

CYBER 2017

2-я международная конференция по кибертехнологиям и киберсистемам

12–16 ноября 2017
Барселона

ASSUME Project Review Meeting

20 сентября 2017
Eindhoven

SafeComp 2017

Международная конференция по безопасности компьютерных систем

12–15 сентября 2017
Тренто

Doymus Dev Tools 2017

1 июня 2017
Мадрид

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 февраля 2017
Бристоль

2016

ARGO Project Review Meeting

26 октября 2016
Брюссель

Safe and Reliable Software Testing and Verification

Октябрь 2016
Чэнду

Advanced Development Tools for Embedded Systems

Doymus workshop

24 мая 2016
Мадрид

ИИР-конференция по ISO 26262

10–11 мая 2016
Грац

SSS’16

Safety-critical Systems Symposium

2–4 февраля 2016
Брайтон

2015

Embedded Safety and Security Summit 2015

17 июня 2015
Бангалор

AbsInt Roadshow India 2015

14–19 июня 2015
Пуна, Ченнаи, Бангалор

Civil Avionics International Forum & Showcase

4-й ежегодный международный конгресс

21–23 апреля 2015
Шанхай

2014

MBAT Project Final Review

9 декабря 2014
Брюссель

CERTAINTY Project Review Meeting

1 декабря 2014
Брюссель

embedded conference scandinavia

4–5 ноября 2014
Стокгольм

MBAT Project Plenary Meeting

22–23 сентября 2014
Turin

safeComp 2014

10–12 сентября 2014
Флоренция

safeComp workshop DECSoS’14

9 сентября 2014
Флоренция

TACLe Summer School 2014

Timing Analysis on Code Level

27 июня 2014
Венеция

MBAT Project Meeting

20 мая 2014
Gothenburg

T-CREST Project Meeting

19 марта 2014
Лиссабон

CERTAINTY Project Review Meeting

3 марта 2014
Брюссель

2013

T-CREST Project Meeting

15–17 декабря 2013
Брюссель

MBAT Project Review Meeting

9 декабря 2013
Брюссель

MBAT Project Meeting

31 октября 2013
Gothenburg

T-CREST Project Meeting

16 сентября 2013
Копенгаген

T-CREST Project Meeting

20 июня 2013
Pisa

Static Analysis Tools Workshop

21–29 мая 2013
Сегедский университет

MBAT Project Plenary Meeting

14–15 мая 2013
Кембридж

CERTAINTY Project Review Meeting

22 January 2013
Брюссель

2012

ISO 26262

27–29 ноября 2012
Токио

T-CREST Project Meeting

26–28 November 2012
Вена

QA&Test 2012

11th International Conference on Embedded Software Testing

17–19 октября 2012
Bilbao

T-CREST Project Review Meeting

2 октября 2012
Брюссель

T-CREST Project Meeting

17 сентября 2012
Eindhoven

MBAT Project Plenary Meeting

5 сентября 2012
Вена

CESAR Project Final Event

Июль 2012
Turin

T-CREST Project Meeting

14 июня 2012
Pisa

LCTES 2012

Languages, Compilers, Tools and Theory for Embedded Systems

12–13 июня 2012
Пекин

T-CREST Project Meeting

23–25 мая 2012
Лиссабон

MBAT Project Plenary Meeting

22–23 мая 2012
Копенгаген

2011

T-CREST Project Meeting

13–15 декабря 2011
Лондон

CESAR Project Plenary Meeting

30 November 2011
Salzburg

QA&Test 2011

10th International Conference on Embedded Software Testing

26–28 октября 2011
Bilbao

ARTEMIS & ITEA Co-Summit 2011

25–26 октября 2011
Хельсинки

T-CREST Project Kick-Off Meeting

15 сентября 2011
Копенгаген

SAS 2011

18th International Symposium on Static Analysis

14–16 сентября 2011
Венеция

FMICS 2011

16th International Workshop on Formal Methods for Industrial Critical Systems

29–30 августа 2011
Trento

MICROTASK Seminar

9 июня 2011
Турин

2010

QA&Test 2010

9th International Conference on Embedded Software Testing

27–29 октября 2010
Bilbao

SafeComp 2010

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

14–17 сентября 2010
Вена

WCET 2010

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

6 июля 2010
Брюссель

CPSWEEK 2010

Cyber-Physical Systems Week

12–16 апреля 2010
Стокгольм

PREDATOR Project Meeting

24 February 2010
Scuola Superiore Sant’Anna, Pisa

2009

QA&Test 2009

8th International Conference on Embedded Software Testing

21–23 октября 2009
Bilbao

ICCES’09

International Conference on Computer Engineering and Systems

14–16 декабря 2009
Каир

WCET’09

9th International Workshop on Worst-Case Execution Time Analysis

Satellite event to the ECRTS’09
30 июня 2009
Trinity College, Dublin

2008

ISoLA 2008

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

13–15 октября 2008
Kassandra, Chalkidiki

EmBounded Project Workshop on Resource Analysis

9 сентября 2008
Hatfield

ECRTS 2008

20th Euromicro Conference on Real-Time Systems

2–4 июля 2008
Прага

EmBounded Project Meeting

7 марта 2008
Edinburgh

2007

EmBounded Project Workshop

25–26 июля 2007
Islay

7th International Workshop on WCET Analysis

3 июля 2007
Pisa

VVSS 2007

Verification and Validation of Software Systems

23 марта 2007
Eindhoven

EmBounded Project Meeting

22 January 2007
Edinburgh

2006

Embedded Systems Show 2006

11–12 октября 2006
Birmingham

EmBounded Project Open Workshop

7 сентября 2006
Budapest

ASTEC Project Final Event

30 мая 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 сентября 2004
Амстердам

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 марта 2004
Barcelona

2003

ESSE 2003

European Summer School on Embedded Systems

14 июля – 8 октября 2003
Västerås

2000

International Summer School on Applied Semantics

9–15 сентября 2000
Caminha

1999

ASTEC Project Kick-Off Meeting

9 February 1999
Skokloster

New Eagle Innovation Summit 2024

24–25 сентября 2024
Дирборн, Мичиган

Joral Workshop for Engineers

Worst-case execution time determination for ARM Cortex

7–8 ноября 2023
Феникс, Аризона

SOAP 2023

State of the Art in Program Analysis

17 июня 2023
Орландо, Флорида

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 мая 2023

WCX23

SAE World Congress and Exhibition

18–20 апреля 2023
Детройт, Мичиган

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

Tech talk in co-operation with Joral
19 апреля 2023
Рочестер, Мичиган

2022

Static analysis tools

Free workshop for engineers

18 октября 2022
Рочестер, Мичиган

4 ways to determine worst-case consequences using binary code

Webinar
4 октября 2022

Торжественная церемония вручения приза «ACM Software System Award»

10–11 июня 2022
Сан Франциско, Калифорния

Ansys 2022 R1 Webinar

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

10 марта 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 января 2021
Онлайн-конференция

2020

IoT Device Security Conference

10 ноября 2020
Онлайн-конференция

2019

Embedded Systems Week 2019

Test-of-Time Award

16 октября 2019
New York City, NY

Joral Workshop for Engineers

Static Runtime Error Detection & MISRA Compliance Checking

15 октября 2019
Huntsville, Alabama

ISO 26262 USA

Autonomous Driving & Cybersecurity

13–15 мая 2019
Нови, Мичиган

WCX19

9–11 апреля 2019
Детройт, Мичиган

2018

TimeWeaver webinar

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

Hosted by our NA distributor Joral
10 октября 2018

ISO 26262 США

«Autonomous Driving & Cybersecurity»

15–17 мая 2018
Нови, Мичиган

AbsInt Tech Day

«Static analysis as a verification method for safe autonomous driving»

15 марта 2018
Санта Клара, Калифорния

2017

Конференция по технологиям диСпейс

17–18 октября 2017
Плимут, Мичиган

ISO 26262 США

6-я международная конференция СиТиАй

26–28 июня 2017
Рочестер, пригород Детройта, Мичиган

WCX17

SAE World Congress and Exhibition

4–6 апреля 2017
Детройт, Мичиган

AbsInt Tech Day

«Static program analyzers working on TargetLink-generated code»

9 февраля 2017
Нови, Мичиган

2016

Технологическая конференция диСпейс 2016

13–14 сентября 2016
Нейпервил, Иллинойс

ISO 26262 США

5-я международная конференция СиТиАй

6–8 июня 2016
Рочестер, пригород Детройта, Мичиган

2015

Технологическая конференция диСпейс 2015

13–14 октября 2015
Плимут, Мичиган

ISO 26262

4-я международная конференция СиТиАй

22–24 июня 2015
Детройт, Мичиган

2014

dSPACE Midwest User Conference

9–10 сентября 2014
Нейпервил, Иллинойс

SAE World Congress 2014

8–10 апреля 2014
Детройт, Мичиган

2013

dSPACE Ground Vehicles User Conference

8–9 октября 2013
Плимут, Мичиган

CERTAINTY Project Meetings

27 сентября–2 октября 2013
Монреаль

dSPACE Aerospace User Conference

26–28 августа 2013
Хантингтон-Бич, Калифорния

2012

CTI Forum ISO 26262

International exchange on functional safety in the automotive industry

12–14 июня 2012
Детройт, Мичиган

2011

ISSC 2011

8–12 августа 2011
Лас Вегас, Невада

SAE World Congress 2011

12–14 апреля 2011
Детройт, Мичиган

2009

ETAS Connections 2009: “Doing More With Less”

20 мая 2009
Плимут, Мичиган

2008

LCTES 2008

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

12–13 июня 2008
Тусон, Аризона

2006

SAE World Congress 2006

3–6 апреля 2006
Детройт, Мичиган

2005

SCOPES 2005

9th International Workshop on Software and Compilers for Embedded Systems

29 сентября – 1 октября 2005
Даллас, Техас

2004

CTCES 2004

Workshop on Compilers and Tools for Constrained Embedded Systems

сентября 2004
Вашингтон, округ Колумбия

2003

CTCES 2003

Workshop on Compilers and Tools for Constrained Embedded Systems

29 октября 2003
Сан Хосе, Калифорния

2002

SIAM Conference on Optimization

20–22 мая 2002
Торонто

2001

EMSOFT 2001

Embedded Software, First International Workshop

8–10 октября 2001
Тахо, Калифорния

LCTES 2001

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

22–23 июня 2001
Сноуберд, Юта

2000

LCTES 2000

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

июня 2000
Ванкувер

1998

LCTES 1998

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

июня 1998
Монреаль