afshinamighi's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

CfPs interested in formal methods, concurrency and verifications

 Sort by 
 
Event When Where Deadline
FTSCS 2014 Third International Workshop on Formal Techniques for Safety-Critical Systems
Nov 6, 2014 - Nov 7, 2014 Luxembourg Sep 6, 2014
EvoHOT 2014 Workshop on Evolutionary Hardware Optimization @ EvoSTAR
Apr 23, 2014 - Apr 25, 2014 Granada, Spain Nov 11, 2014
first | previous | Page 3 | next | last Total of 42 CFPs in 3 pages