TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Tucker Taft <[log in to unmask]>
Reply To:
Team Ada: Ada Programming Language Advocacy
Date:
Wed, 2 Oct 2013 15:12:38 -0400
Content-Type:
text/plain
Parts/Attachments:
text/plain (22 lines)
Tutorials, Talks, and Panels on Model Checking, SMT Solvers, High-Integrity Model-Based 
Engineering, AADL, Safe Parallel Programming, Advanced Static Analysis, Domain-Specific 
Languages, and Combining Proof and Test.

Edmund Clarke, Turing Award winner will give the opening keynote on Model Checking. 
Keynotes by John Goodenough of the SEI and Jeannette Wing of Microsoft Research as well, 
plus an introduction to the Model-Based Engineering sessions by Michael Whalen of 
University of Minnesota.

Only five weeks away -- find out more and register today at:

  http://sigada.org/conf/hilt2013

Just down the street from Pitt, CMU, and the SEI.

############################

To unsubscribe from the TEAM-ADA list:
write to: mailto:[log in to unmask]
or click the following link:
http://listserv.acm.org/scripts/wa-ACMLPX.exe?SUBED1=TEAM-ADA&A=1

ATOM RSS1 RSS2