BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:AdaCore: language technologies for safety critical applications
DTSTART:20180418T100000
DTEND:20180418T110000
DTSTAMP:20260509T100957Z
UID:b43b3325cfac42ff1381bc9afcf1e109839c6587254cff37a673b7cd
CATEGORIES:Conferences - Seminars
DESCRIPTION:By Raphaël Amiard\, AdaCore Paris\n\nAbstract\nAdaCore is a c
 ompany that develops language tooling and compilers\, centered on\, but no
 t limited to\, the Ada and SPARK languages. Those technologies include com
 pilers\, IDEs\, formal proof tools\, static analyzers\, and many more.\n\n
 The particularity of our market is that it is mainly focused on safety cri
 tical applications\, such as civil and military avionics\, medical\, railw
 ay. In this talk I will go over the diverse set of technologies we develop
  and support\, and their interest and peculiarities with regards to our co
 re market.\n\nBio\nRaphaël Amiard is a software engineer at AdaCore worki
 ng on tooling and compiler technologies. He joined AdaCore in 2013\, after
  an internship on AdaCore's IDEs. His main interests are compiler technolo
 gies\, language design\, and sound/music making.\n\nMore information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR