TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show HTML Part by Default
Condense Mail Headers

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

Print Reply
Sender: "Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
Date: Sat, 8 Jun 2013 12:35:10 -0400
Reply-To: "Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
MIME-Version: 1.0
Message-ID: <[log in to unmask]>
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
From: Tucker Taft <[log in to unmask]>
Parts/Attachments: text/plain (34 lines)
The first ACM SIGAda High-Integrity Language Technology conference (HILT 2012) was held 
last December in Boston, and it turned out to be an excellent gathering of academic, 
industrial, and government researchers and practitioners interested in how best to use 
language technology and other formal techniques to support the development, analysis, and 
testing of software-intensive systems.

This year HILT 2013 will be held in Pittsburgh, PA from November 10-14, just a few steps 
from the Software Engineering Institute and CMU.  We already have four excellent 
keynote/invited speakers -- Jeannette Wing, Ed Clarke, John Goodenough, and Michael 
Whalen, as well as some interesting tutorials (on SMT solvers, model checking, etc.), and 
a special session on modeling languages.  We encourage you and your colleagues to submit 
papers to HILT 2013 -- the due date is just three weeks away, June 29th.

The conference website is:

    http://www.sigada.org/conf/hilt2013

A PDF version of the call for papers is at:

    http://www.sigada.org/conf/hilt2013/HILT2013-CFP.pdf

We look forward to your contributions to HILT 2013.

Sincerely,
- Tucker Taft
Program Chair, HILT 2013

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

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