Taxonomic Search: Anonymous
Results 1 - 10 of 274
Results
event
Submitted by Anonymous on Thu, 04/04/2013 - 2:40pm
event
Submitted by Anonymous on Fri, 04/19/2013 - 11:38am
Call for Participation: ICSE 2013
35th International Conference on Software Engineering | Software engineering ideas to change the world
May 18 - 26, 2013 | San Francisco, USA | http://2013.icse-conferences.org
=====================================================================
forum
Submitted by Anonymous on Fri, 04/19/2013 - 4:04pm
file
ABSTRACT
event
Submitted by Anonymous on Tue, 05/07/2013 - 11:23am
4th International Conference on Pervasive and Embedded Computing and Communication Systems
PECCS 2014 will be held in conjunction with SENSORNETS 2014, PHOTOPTICS 2014 and PhyCS 2014.
Registration to PECCS allows free access to the SENSORNETS, PHOTOPTICS and PhyCS conferences (as a non-speaker).
UPCOMING DEADLINES
Regular Paper Submission: July 30, 2013
Regular Paper Authors Notification: October 9, 2013
Regular Pape
forum
Submitted by Anonymous on Tue, 05/07/2013 - 11:08am
event
Submitted by Anonymous on Tue, 05/07/2013 - 11:02am
International Workshop on Design and Implementation of Formal Tools and Systems
Portland, OR October 19, 2013
co-located with FMCAD and MEMOCODE
event
Submitted by Anonymous on Tue, 05/07/2013 - 10:41am
Formal Methods in Computer-Aided Design
event
Submitted by Anonymous on Tue, 05/07/2013 - 10:46am
forum
Submitted by Anonymous on Tue, 05/07/2013 - 10:37am
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
