From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 27D507ED25 for ; Tue, 15 May 2012 19:37:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqYBAHqTsk+AnPnlmWdsb2JhbABEtAEiAQEBAQEICwsHFCeCFwUBAQE3DAgCGwIBDgMBAgYCAQE8AgQECAMBGwkJASYBBAESBQ8JBIdtC7sHixwThW0EiGSEVIYXgi6BEZI2gTgJ X-IronPort-AV: E=Sophos;i="4.75,595,1330902000"; d="scan'208";a="143922641" Received: from lists.nasa.gov ([128.156.249.229]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 May 2012 19:37:40 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id A5A8C602D1F; Tue, 15 May 2012 13:36:00 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 2btKiSeKiV9z; Tue, 15 May 2012 13:36:00 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 95C87602544; Tue, 15 May 2012 13:35:57 -0400 (EDT) X-Original-To: fm-announcements@lists.nasa.gov Delivered-To: fm-announcements@lists.nasa.gov Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 9B0A5600E3D; Tue, 15 May 2012 13:35:54 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id OCygn3vveHZT; Tue, 15 May 2012 13:35:54 -0400 (EDT) Received: from ndmsnpf02.ndc.nasa.gov (ndmsnpf02.ndc.nasa.gov [198.117.0.122]) by lists.nasa.gov (Postfix) with ESMTP id 834F1600E36; Tue, 15 May 2012 13:35:54 -0400 (EDT) Received: from ndjsppt03.ndc.nasa.gov (ndjsppt05.ndc.nasa.gov [198.117.1.104]) by ndmsnpf02.ndc.nasa.gov (Postfix) with ESMTP id 41000108051; Tue, 15 May 2012 12:35:54 -0500 (CDT) Received: from ndjshub03.ndc.nasa.gov (ndjshub03-pub.ndc.nasa.gov [198.117.1.33]) by ndjsppt05.ndc.nasa.gov (8.14.5/8.14.5) with ESMTP id q4FHZr8J000596; Tue, 15 May 2012 12:35:53 -0500 Received: from NDJSSCC03.ndc.nasa.gov ([198.117.4.170]) by ndjshub03.ndc.nasa.gov ([10.202.202.162]) with mapi; Tue, 15 May 2012 12:35:53 -0500 From: "MUNOZ, CESAR (LARC-D320)" To: "fm-announcements@lists.nasa.gov" , "larc-nia-fm@lists.nasa.gov" Date: Tue, 15 May 2012 12:35:51 -0500 Thread-Topic: NASA/NIA PVS Class 2012 Thread-Index: Ac0ywSzsGbPKHg/IQVKoH5LKjDO2Cg== Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.12.0.110505 acceptlanguage: en-US MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.6.7580, 1.0.260, 0.0.0000 definitions=2012-05-15_05:2012-05-15, 2012-05-15, 1970-01-01 signatures=0 X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.14 List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: cesar.a.munoz@nasa.gov Subject: [Caml-list] [fm-announcements] NASA/NIA PVS Class 2012 NASA/NIA PVS Class October 9-12, 2012 The Formal Methods teams at the NASA Langley Research Center and the National Institute of Aerospace are offering a short course on the PVS theorem prover in the fall of 2012. The class will take place October 9-12 in Hampton, Virginia: http://shemesh.larc.nasa.gov/PVSClass2012 The course is offered free of charge as a public service to the formal methods community. The class is open to all interested individuals. However, seats are limited and all attendees must register at http://shemesh.larc.nasa.gov/PVSClass2012/registration.html We emphasize a hands-on, immersion-style learning approach. Both lecturematerial and in-class exercises using PVS are featured. For this reason, we strongly encourage attendees to bring a laptop equipped to run PVS. All the instructors are members of the NASA Langley Formal Methods group and expert PVS users. The PVS Class 2012 will feature a technical lecture and an invited talk by Sam Owre, one of the creators of PVS and its main developer. For more information, please contact Cesar Munoz (Cesar.A.Munoz@nasa.gov), Anthony Narkawicz (Anthony.Narkawicz@nasa.gov) http://shemesh.larc.nasa.gov/PVSClass2012 --- To opt-out from this mailing list, send an email to fm-announcements-request@lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner@lists.nasa.gov