Past Events

DASIA 2013

May 14-16, 2013 – Portugal

Johannes Kanig and David Lesens (Astrium Space Transportation) are presenting, "Formal Validation of Aerospace Software".

(Link to this entry)

Ada Conference UK 2013

Apr 25, 2013 – Birmingham, UK

AdaCore is lead sponsor of this event. Tucker Taft is presenting an Ada 2012 tutorial and Robert Dewar will give a talk entitled "I'm as Mad as Hell, and I'm Not Going To Take This Anymore!".

(Link to this entry)

Design West

Apr 23-25, 2013 – San Jose CA, USA

AdaCore is exhibiting at this conference (booth #719). Tucker Taft will present the paper, "Systems Programming in the Distributed, Multicore World with Go, Rust, and ParaSail" and Ben Brosgol will give a talk entitled "Object-Oriented Programming for High-Integrity Systems: Pitfalls and How to Avoid Them". 

(Link to this entry)

1st Tool Qualification Symposium

Apr 9-10, 2013 – München, Germany

Matteo Bordin and Robertus Vingerhoeds will present the paper "Open Qualification Material Approach in the Project P".

(Link to this entry)

STC 2013

Apr 8-11, 2013 – Salt Lake City, Utah

Ben Brosgol will deliver  a talk entitled "Object-Oriented Programming for High-Integrity Software: Local Type Consistency Verification without Tears".

(Link to this entry)

RTECC

Mar 19, 2013 – Dallas, TX

AdaCore is exhibiting at this event.

(Link to this entry)

Embedded World

Feb 26-28, 2013 – Nürnberg, Germany

AdaCore is exhibiting at this event- hall 4, booth # 544f . Johannes Kanig will give a talk entitled "Integrating Formal Program Verification with Testing"

(Link to this entry)

Safety-Critical Systems Symposium 2013

Feb 5-7, 2013 – Bristol, UK

AdaCore is a major sponsor of this event and will be exhibiting. Robert Dewar will present the paper "Testing and Proving: Strange bedfellows?"

(Link to this entry)

FOSDEM 2013

Feb 2-3, 2013 – Brussels

AdaCore will give the following presentations: 

- "Simplifying the use of Formal Methods" and "Ada on Android" Jose Ruiz. 

- "Compile- Time Dimensionality Checking" Valentine Reboul.

(Link to this entry)

RTECC

Jan 24, 2013 – Santa Clara, CA

AdaCore is exhibiting at this event.

(Link to this entry)

Paris Space Week 2012

Dec 17-19, 2012 – Paris

AdaCore is exhibiting at this event.

(Link to this entry)

High Integrity Language Technology (HILT 2012)

Dec 2-6, 2012 – Boston, MA

Sponsored by ACM SIGAda

AdaCore is a Platinum level sponsor, and AdaCore authors will be presenting a variety of papers and tutorials.

• Johannes Känig. Leading-Edge Ada Verification Technologies: Combining Testing and Verification with GNATTest and GNATProve – The Hi-Lite Project (Tutorial)
• Tucker Taft. MulticoreProgramming using Divide-and-Conquer and Work Stealing (Tutorial)
• Claire Dross, Johannes Känig, and Ed Schonberg. Hi-Lite: The Convergence of Compiler Technology and Program Verification
• Vincent Pucci and Ed Schonberg. The Implementation of Compile-Time Dimensionality Checking
• Hristian Kirtchev. A Robust Implementation of Ada’s Finalizable Controlled Types
• Geert Bosch. Synchronization Cannot Be a Library

(Link to this entry)

Automotive 2012

Nov 14-15, 2012 – Karlsruhe, Germany

AdaCore is a sponsor and Johannes Kanig will present the paper "Integration von Formaler Verifikation und Test"

(Link to this entry)

SAE Aerospace Electronics and Avionics Systems Conference

Oct 30 - Nov 1, 2012 – Phoenix, AZ

Greg Gicca is presenting a paper “Meeting Top Safety and Security Requirements while Reducing Cost, Size, Weight, and Energy: Achieving High Assurance through a Verifiable Language on a
MILS Architecture”.

(Link to this entry)

GNAT Industrial User Day

Sep 25, 2012 – Paris, France

AdaCore will hold it's annual User Group meeting in Paris, France on September 25 this year. For more details and to register, please visit:

http://www.adacore.com/gnatpro-day

(Link to this entry)

ESC / Design East

Sep 17-21, 2012 – Boston, MA.

AdaCore is exhibiting at this event. Tucker Taft will present the paper "Ada 2012- New Language Technology for High-Integrity Software".

(Link to this entry)

FM 2012

Aug 27-31, 2012 – Paris, France

The Hi-Lite team will present the paper "Maximal and compositional pattern-based loop invariants" and give the talk "The future of formal software verification in avionics".

(Link to this entry)

Embedded Conference Stuttgart

Jul 3, 2012 – Stuttgart, Germany

AdaCore is a sponsor and exhibitor at this event.

(Link to this entry)

Embedded Masterclass 2012

Jun 27, 2012 – Cambridge, UK

AdaCore is an exhibitor at this event and Quentin Ochem will present the paper "Higher abstraction in low-level development: the Ada 2012 answer".

(Link to this entry)

B-Method – AdaCore micro-seminar

Jun 25, 2012 – Paris, France.

AdaCore Internal Seminar -

Jean Louis Dufour (Sagem DS, http://fr.linkedin.com/pub/jean-louis-dufour/18/7b7/228), will come to the AdaCore Paris offices to give a 101 introduction to the B-Method.

AdaCore, from time to time, organizes seminars in the Paris offices. If you are interested in a particular talk, please send email to events@adacore.com.

(Link to this entry)

Ada Europe 2012

Jun 11-15, 2012 – Stockholm, Sweden

AdaCore will give the following presentation “Source Code as the Key Artifact in Requirement-Based Development: the case of Ada 2012″ – Cyrille Comar, José Ruiz and Yannick Moy, and the following tutorials:

“DO-178C: The Next Avionics Software Safety Standard” – Ben Brosgol
“Experimenting with ParaSail – Parallel Specification and Implementation Language” – Tucker Taft

Our partners, Altran Praxis, will give the following tutorials “The Benefits of Using SPARK for High-assurance Software” and “The Use of Proof and Generics in SPARK” – Trevor Jennings and Robin Messer

(Link to this entry)

The NSA Twelfth Annual HCSS Conference (2012)

May 8-11, 2012 – Annapolis, MD, USA

Rod Chapman will be presenting the poster paper "A Formal and Fast Reference Implementation of the Skein Hash Algorithm".

(Link to this entry)

MIT CSAIL - Multicore Software Seminar Series

Apr 25, 2012 – MIT, MA

S. Tucker Taft will be giving a 90 minute lecture "ParaSail: A simplified approach to safe parallel programming" at MIT as part of the Computer Science and Artificial Intelligence Laboratory's (CSAIL) Multicore Software Seminar Series.

(Link to this entry)

SAE 2012 World Congress & Exhibition

Apr 24-27, 2012 – Detroit, MI

Stuart Matthews will be presenting the paper "Building Security In: The SPARK Approach to Software Development".

(Link to this entry)

SSTC 2012

Apr 23-26, 2012 – Salt Lake City, UT

Ben Brosgol is delivering a presentation, “Object-Oriented Programming for High-Integrity Systems: Pitfalls and How to Avoid Them”.

(Link to this entry)

ESC Silicon Valley

Mar 26-29, 2012 – San Jose, CA

AdaCore is exhibiting at this event.

(Link to this entry)

Embedded World 2012

Feb 28 - Mar 1, 2012 – Nuremberg, Germany

Michael Friess will be giving a talk in the FLOSS and Safety Track. AdaCore will also be exhibiting at this event.

(Link to this entry)

Safety-critical Systems Symposium ‘12

Feb 7-9, 2012 – Bristol, UK

AdaCore is a major sponsor of this event.

(Link to this entry)

FOSDEM 2012

Feb 4-5, 2012 – Brussels, Belgium

Robert Dewar will give a keynote talk “Free Software: A viable model for Commercial Success“. Jose Ruiz will give talks on “Multicore programming support in Ada” and “Programming LEGO MINDSTORMS robots in Ada”.

(Link to this entry)

ERTS 2012

Feb 1-3, 2012 – Toulouse, France

AdaCore is a platinum sponsor of this event and will give the following talks “Integrating Formal Program Verification with Testing” (Cyrille Comar, Johannes Kanig and Yannick Moy), “Compilation of Heterogeneous Models: Motivations and Challenges” (Matteo Bordin, Tonu Naks, Andres Toom and Marc Pantel), and “Formalization and Comparison of MCDC and Object Branch Coverage Criteria” (Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot).

(Link to this entry)

HiPEAC 2012

Jan 23-25, 2012 – Paris, France

AdaCore is a sponsor of this event.

(Link to this entry)

RTECC - Real Time Embedded Computing Conferences

Dec 8, 2011 – North America

• Ottawa, ON Canada (Tuesday September 13,2011) 
• Montreal, QC Canada (Wednesday September 15, 2011) 
• Seattle, WA (Thursday October 13,2011) 
• Phoenix, AZ (Thursday December 8, 2011)

(Link to this entry)

Medelec Conference 2011

Nov 30, 2011 – Cambridge, UK.

Quentin Ochem will be giving the talk "Lessons to be learned from ultra-paranoid industries (or why software matters)". AdaCore is also exhibiting at this event.

(Link to this entry)

SIGAda 2011

Nov 6-10, 2011 – Denver, CO USA.

AdaCore is an exhibitor at this event.

(Link to this entry)

SCADE User Group Conference

Oct 14, 2011 – Paris, France.

AdaCore is a sponsor of this event and will be exhibiting.

(Link to this entry)

Embedded Conference Scandinavia

Oct 4-5, 2011 – Stockholm, Sweden.

Michael Friess will give a talk "Efficient Safety Critical Systems Development: Is FLOSS the only answer?" in the Open Source Session (15:40-16:20 on Oct 4).

(Link to this entry)

ESC Boston 2011

Sep 28-27, 2011 – Boston, MA USA.

AdaCore is an exhibitor at this event.

(Link to this entry)

Open World Forum

Sep 22-24, 2011 – Paris, France.

AdaCore is a silver sponsor of this event. Jamie Ayre will present the Open-DO project.

(Link to this entry)

15th International Real-Time Ada Workshop

Sep 14-16, 2011 – Liébana (Cantabria), Spain.

Jose F. Ruiz will be presenting the paper "Going real-time with Ada 2012 and GNAT".

(Link to this entry)

Boogie 2011 Workshop (co-located with CADE-23)

Aug 2, 2011 – Wrocław, Poland.

Boogie 2011 is the first international workshop on intermediate verification languages. Johannes Kanig will present the paper "Why Hi-Lite Ada?".

(Link to this entry)

Development of reliable software systems

Jul 1, 2011 – Stuttgart, Germany.

This is an Ada Deutschland workshop. AdaCore is a sponsor and will exhibit. Johannes Kanig will present the talk "Hi-Lite - Verification by Contract".

(Link to this entry)

Test & Proof 2011

Jun 30 - Jul 1, 2011 – Zurich, Switzerland.

Claire Dross will present the paper "Correct Code Containing Containers".

(Link to this entry)

Ada Connection

Jun 20-24, 2011 – Edinburgh, Scotland.

AdaCore is a major sponsor of this event and will be presenting the following paper "Design and Implementation of a Ravenscar Extension for Multiprocessors" by Jose F. Ruiz and Fabien Chouteau.

And the following tutorials:

• "Distributed Programming Techniques in Ada" by Thomas Quinot.
• "Hard Real-Time and Embedded Systems Programming with Ada" by Patrick Rogers

Roderick Chapman from our partners Altran Praxis will be giving the following tutorial: "SPARK. The Libre Language and Toolset for High-Assurance Software" 

(Link to this entry)

Embedded Konferenz

May 24, 2011 – Stuttgart, Germany.

AdaCore is an exhibitor at this event. Michael Friess will give the presentation "FLOSS for the development of safety-related systems".

(Link to this entry)

SSTC 2011

May 16-19, 2011 – Salt Lake City, UT, USA.

AdaCore will be presenting the following paper by Ben Brosgol and Cyrille Comar - An Update on DO-178C: A New Standard for Software Safety Certification.

(Link to this entry)

ESC Silicon Valley 2011

May 3-5, 2011 – San Jose, CA, USA.

AdaCore will be presenting the following paper by Greg Gicca and Ben Brosgol - Strategies for Developing Safe and Secure Embedded Systems.

Roderick Chapman from our partners Altran Praxis will be presenting the following paper - Static Code Verification: Issues, Problems and Current Technologies.

(Link to this entry)

Wind River Partner event

Mar 2, 2011 – Madrid, Spain.

"From Simulation to Deployment: Every Step Fulfilled with Wind River Solutions". AdaCore is an exhibitor at this event.

(Link to this entry)

Embedded World

Mar 1-3, 2011 – Nürnberg, Germany.

Michael Friess will be giving the talk "Efficient Safety Critical Systems Development - Is FLOSS the only answer?" in the FLOSS for Safety related Systems Class (Thursday, March 3, 11:15-12:00). AdaCore is also exhibiting at the event - Booth F224, Hall 11.

(Link to this entry)

Software Considerations for Avionics and Critical Systems

Feb 24, 2011 – Adelaide, Australia.

This event is jointly organized with the IEEE Control, Aerospace and Electronic Systems Chapter and The University of Adelaide. Robert Dewar will give a talk discussing the topics below:

- Best practices for software design in critical systems. 
- The suitability of both existing and emerging standards. 
- An overview of tools and methodologies available to address the certification of such systems, including those available in the open source world. 
- Legal considerations and security.
- A glimpse into the future.

(Link to this entry)

Safety-critical Systems Symposium ‘11

Feb 8-10, 2011 – Southampton, UK.

AdaCore is a major sponsor of this event. Robert Dewar will present the paper "A Pragmatic View of Formal Methods: the Hi-Lite project"

(Link to this entry)

TOPCASED DAYS

Feb 2-4, 2011 – Toulouse, France.

Franco Gasperoni will be a panelist in the round table discussion "An Open Source strategy for industrial development" on February 2, 17:00-18:30.

(Link to this entry)