Taxonomic Search: tom OR reps

Results 1 - 10 of 34

Results

profile
profile
profile
profile
page

Intersecting Anomalies Track Program

Track Chair: Tom Longstaff

 

forum

FMCAD 2013 Final Call for Papers

FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGN
FINAL CALL FOR PAPERS

International Conference on Formal Methods in Computer-Aided Design
http://www.fmcad.org/FMCAD13
Portland, OR, USA October 20-23, 2013


IMPORTANT DATES

Abstract Submission: May 8
Paper Submission: May 15
Author Notification: July 17

page

2012 CPS PI Meeting - Agenda

Tuesday, October 2
6:00pm – 9:00pm Early Registration
Wednesday, October 3
7:00am – 5:00pm Registration
8:00am – 5:00pm