TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

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

Print Reply
Sender:
"Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
X-To:
Date:
Wed, 23 Apr 2014 15:31:05 -0400
Reply-To:
"Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
Subject:
MIME-Version:
1.0
Message-ID:
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 (18 lines)
The Third Annual ACM High Integrity Language Technology conference (HILT 2014) is taking 
place in Portland, OR this October 18-21, co-located with the SPLASH/OOPSLA conference. 
We have three great keynotes/invited speakers (Tom Ball of Microsoft Research, Christine 
Anderson of Spaceport America, and Peter Feiler of SEI/CMU), a panel on safe multicore 
programming languages, and special sessions on model-based engineering for critical 
software-intensive systems.  Papers, panel/workshop proposals, tutorial proposals, 
extended abstracts, etc. are due June 7th.  Call for papers and other information 
available at:

    http://sigada.org/conf/hilt2014

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

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.CGI?SUBED1=TEAM-ADA&A=1

ATOM RSS1 RSS2