wrbf's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
SE 2013 Software Engineering
Feb 11, 2013 - Feb 13, 2013 Innsbruck, Austria Oct 26, 2012
CSEE 2013 The 2013 2nd International Conference on Computer Science and Electronics Engineering
Mar 22, 2013 - Mar 23, 2013 hangzhou,china Nov 30, 2012
NFM 2013 5th NASA Formal Methods Symposium
May 14, 2013 - May 16, 2013 Moffett Field, CA, USA Dec 16, 2012 (Dec 7, 2012)
CSTVA 2013 Workshop on Constraints in Software Testing Verification and Analysis
Mar 22, 2013 - Mar 22, 2013 Luxembourg Jan 14, 2013
iFM 2013 10th International Conference on integrated Formal Methods
Jun 10, 2013 - Jun 14, 2013 Turku, Finland Jan 17, 2013 (Jan 10, 2013)
SI SYNT 2013 Acta Informatica, Special Issue on Synthesis
N/A N/A Feb 1, 2013
ACSD 2013 13th International Conference on Application of Concurrency to System Design
Jul 8, 2013 - Jul 10, 2013 Barcelona, Spain Feb 3, 2013 (Jan 27, 2013)
FormaliSE 2013 FME Workshop on Formal Methods in Software Engineering
May 25, 2013 - May 25, 2013 San Francisco, USA Feb 7, 2013
FORTE / FMOODS 2013 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems
Jun 3, 2013 - Jun 6, 2013 Florence, Italy Feb 11, 2013 (Feb 4, 2013)
CompMod 2013 4th International Workshop on Computational Models for Cell Processes
Jun 11, 2013 - Jun 11, 2013 Turku, Finland Feb 28, 2013
VSTTE 2013 Verified Software: Theories, Tools, and Experiments
May 17, 2013 - May 19, 2013 Atherton, CA Mar 1, 2013 (Feb 22, 2013)
CAI 2013 5th International Conference on Algebraic Informatics
Sep 3, 2013 - Sep 6, 2013 Aix-Marseille University, France Mar 1, 2013
SHPCS 2013 8th Workshop on Security and High Performance Computing Systems
Jul 1, 2013 - Jul 5, 2013 Helsinki, Finland Mar 22, 2013
CS2Bio 2013 4th International Workshop on Interactions between Computer Science and Biology
Jun 6, 2013 - Jun 6, 2013 Florence, Italy Mar 26, 2013
VPT 2013 First International Workshop on Verification and Program Transformation
Jul 13, 2013 - Jul 14, 2013 Saint Petersburg, Russia Apr 2, 2013
WS-FMDS 2013 3rd Workshop on Formal Methods in the Development of Software
Sep 23, 2013 - Sep 24, 2013 Madrid. SPAIN Apr 5, 2013
CSL 2013 22nd EACSL Annual Conference on Computer Science Logic
Sep 2, 2013 - Sep 5, 2013 Torino, Italy Apr 8, 2013 (Apr 1, 2013)
FORMATS 2013 11th International Conference on Formal Modeling and Analysis of Timed Systems
Aug 29, 2013 - Aug 31, 2013 Buenos Aires, Argentina Apr 8, 2013 (Apr 1, 2013)
EMSOFT 2013 Embedded Software
Sep 29, 2013 - Oct 4, 2013 Montreal, Canada Apr 12, 2013 (Apr 5, 2013)
CMSB 2013 11th Annual Conference on Computational Methods in Systems Biology
Sep 23, 2013 - Sep 25, 2013 IST Austria, Klosterneuburg, Austria Apr 15, 2013 (Apr 8, 2013)
first | previous | Page 2 | next | last Total of 48 CFPs in 3 pages