Taxonomic Search: 2013

Results 1 - 10 of 104

Results

event

ICSE 2013
May 18, 2013 12:00:pm - May 26, 2013 5:00:pm

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

 

=====================================================================

event

PECCS 2014
Jan 07, 2014 8:15:am - Jan 09, 2014 11:15:am

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
event

DIFTS 2013
Oct 19, 2013 6:00:am - Oct 19, 2013 9:00:pm

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

FMCAD 2013
Oct 20, 2013 6:45:am - Oct 23, 2013 9:45:pm

Submitted by Anonymous on Tue, 05/07/2013 - 10:41am

Formal Methods in Computer-Aided Design

file

Teaching CPS Foundations With Contracts (poster)

Submitted by Jeff C. Jensen on Mon, 04/29/2013 - 6:24pm

André Platzer, "Teaching CPS Foundations With Contracts." Proceedings of the First Workshop on Cyb