[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Research Day at The Open Group Real-Time Embedded Systems Forum

To: pvs@xxxxxxxxxxx, sal@xxxxxxxxxxx, yices@xxxxxxxxxxx
Subject: [PVS] Research Day at The Open Group Real-Time Embedded Systems Forum
From: Rance DeLong <rdelong@xxxxxxxx>
Date: Wed, 29 Oct 2008 12:58:06 -0500
Cc:
List-archive: <http://lists.csl.sri.com/mailman/private/pvs>
List-help: <mailto:pvs-request@csl.sri.com?subject=help>
List-id: PVS <pvs.csl.sri.com>
List-post: <mailto:pvs@csl.sri.com>
List-subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs>, <mailto:pvs-request@csl.sri.com?subject=subscribe>
List-unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs>, <mailto:pvs-request@csl.sri.com?subject=unsubscribe>
Sender: pvs-bounces+archive=csl.sri.com@xxxxxxxxxxx

To prospective contributors to The Open Group's Real-Time Embedded
Systems Forum Research Day:

Please find attached the Call for Presentations for the next Research Day February 2, 2009 in San Diego, California.

Attachment: CFP-Research-Day-February-2009rev2.pdf
Description: Adobe PDF document

Attachment: smime.p7s
Description: S/MIME cryptographic signature

Prev by Date: [PVS] Symposium on Automatic Program Verification - last call for papers
Next by Date: [PVS] [Deadline extension] MACIS 2008
Previous by thread: [PVS] Symposium on Automatic Program Verification - last call for papers
Next by thread: [PVS] [Deadline extension] MACIS 2008
Index(es):
- Date
- Thread