HILT 2013             ACM logo - Advancing Computing as a Science & Profession

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Sunday Morning Tutorials
(9:00am - 12:30pm)

Sunday Afternoon Tutorials
(2:00 - 5:30pm)

Monday Morning Tutorials
(9:00am - 12:30pm)

Monday Afternoon Tutorials
(2:00 - 5:30pm)

HILT 2013 offers two days of outstanding tutorials led by some of the most respected technical leaders in the industry. These half-day and full-day tutorials have been selected to meet the needs of software developers in today's demanding environments.
Our tutorial program features a full line-up of Ada 2012 and related technology sessions and covers a broad range of disciplines including systems and software engineering, architecture, software tools, security, and the World Wide Web.


Sunday Morning Tutorials (9:00am - 12:30pm)
Item Title Instructor(s)
SA1 Object-Oriented Programming in Ada 2012, Part 1 Ed Colbert
SA2 Proving Safety of Parallel / Multi-Threaded Programs Tucker Taft

Sunday Afternoon Tutorials (2:00 - 5:30pm)
Item Title Instructor(s)
SP1 Object-Oriented Programming in Ada 2012, Part 2 Ed Colbert
SP2 Engineering Domain-Specific Languages with FORMULA 2.0 Ethan K. Jackson

Monday Morning Tutorials (9:00am - 12:30pm)
Item Title Instructor(s)
MA1 Satisfiability Modulo Theories for High Integrity Development Nikolaj Bjorner
MA2 Practical Specification and Verification with CodeContracts Francesco Logozzo

Monday Afternoon Tutorials (2:00 - 5:30pm)
Item Title Instructor(s)
MP1 Bounded Model Checking for High-Integrity Software Sagar Chaki
MP2 Service-Oriented Architecture (SOA) Concepts and Implementations Ricky E. Sward, Jeff Boleng

Created on 29 May 2014;  website comments and corrections to ClydeRoby at ACM.Org