marcogario's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
CAV 2012 24th International Conference on Computer Aided Verification
Jul 7, 2012 - Jul 13, 2012 Berkeley, CA, USA Jan 22, 2012 (Jan 15, 2012)
SafeComp 2012 SafeComp 2012 - The 31st International Conference on Computer Safety, Reliability and Security
Sep 25, 2012 - Sep 28, 2012 Magdeburg, Germany Feb 19, 2012 (Feb 5, 2012)
CCSEA 2012 The Second International Conference On Computer Science, Engineering And Applications
May 26, 2012 - May 27, 2012 Delhi, India Mar 20, 2012
MMSIO 2012 Workshop on Modern Methods of Softcomputing in Industrial Optimization (MMSIO 2012)
Sep 5, 2012 - Sep 8, 2012 Ostrava, Czech republic Mar 20, 2012
FMSAS 2012 First International Workshop on Formal Methods for Self-Adaptive Systems
Jun 27, 2012 - Jun 29, 2012 Montreal, QC, Canada Mar 28, 2012
SNPD 2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Aug 8, 2012 - Aug 10, 2012 Kyoto, Japan Apr 2, 2012
FMICS 2012 17th International Workshop on Formal Methods for Industrial Critical Systems
Aug 27, 2012 - Aug 28, 2012 Paris, France Apr 4, 2012 (Mar 28, 2012)
CSL 2012 21th EACSL Annual Conferences on Computer Science Logic
Sep 3, 2012 - Sep 6, 2012 Fontainebleau, France Apr 9, 2012 (Apr 2, 2012)
FMCAD 2012 Formal Methods in Computer-Aided Design
Oct 22, 2012 - Oct 25, 2012 Microsoft Research Cambridge, UK May 20, 2012 (May 9, 2012)
MoDRE 2012 2nd International Model-Driven Requirements Engineering (MoDRE) Workshop at RE 2012
Sep 24, 2012 - Sep 24, 2012 Chicago, Illinois, USA May 31, 2012 (May 24, 2012)
ONIT 2012 4th International IEEE Workshop on Open NGN and IMS Testbeds (ONIT 2012) @ GLOBECOM 2012
Dec 3, 2012 - Dec 7, 2012 Anaheim, California, USA Jun 1, 2012
first | previous | Page 1 | next | last Total of 11 CFPs in 1 pages