Multithreading in Hardware and Software: Formal Approaches to Design and Verification http://www.cs.utah.edu/tv06/ VERIFY: The Verification Workshop http://www-ags.dfki.uni-sb.de/verification-ws/index.html International Workshop on Software Verification and Validation http://www.cs.wmich.edu/~zijiang/svv2005/ ICFEM 2006: Eighth International Conference on Formal Engineering Methods http://www.iist.unu.edu/icfem06/ Refine 2006 - International Refinement Workshop http://www.refinenet.org.uk/cfp_rw06.html 29th Int. Conference on Software Engineering 20 - 26 May 2007 http://web4.cs.ucl.ac.uk/icse07/ Formal methods conferences 2006/2007 http://www.cerc.utexas.edu/~jyotirmoy/confrs.html SETP-07 International Conference on Software Engineering Theory and Practice http://www.promoteresearch.org/2007/setp/ Formal methods meetings http://vl.fmnet.info/meetings/ The IASTED International Conference on Parallel and Distributed Computing and Networks ~PDCN 2007~ http://www.iasted.org/conferences/home-551.html February 13, 2007 Innsbruck, Austria deadline: September 15, 2006 Eighth International Conference on Verification, Model Checking and Abstract Interpretation http://research.microsoft.com/vmcai07/ http://research.microsoft.com/vmcai07/vmcai2007_CFP.txt January 14-16, 2007 deadline: September 8, 2006 Springer LNCS http://www.springer.com/east/home/computer/lncs?SGWID=5-164-7-72376-0#anchor5 Eleventh International Conference on Computer Aided Systems Theory http://www.iuctc.ulpgc.es/spain/eurocast2007/workshop.htlm February 12-16, 2007 Museo Elder de la Ciencia y la Tecnología, Las Palmas de Gran Canaria Canary Islands, Spain Workshop on Applied Formal Verification An extended two pages abstract, including references in English with indication of the workshop of the intended contribution must be sent by e-mail before October, 31, 2006 to the Organizing Comitee Chairman. IEEE International Parallel & Distributed Processing Symposium http://www.ipdps.org/ipdps2007/2007_cfp.html March 26-30, 2007, Southern California deadline: October 9, 2006 The 27th International Conference on Distributed Computing Systems Toronto, Canada, June 25-29, 2007 http://www.eecg.utoronto.ca/icdcs07 deadline: November 20, 2006 Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems http://www.doc.ic.ac.uk/tacas07/ March 24 - April 1, 2007, Braga, Portugal deadline: abstract no later than 6 October, 2006, and full paper no later than 13 October, 2006 Logical methods in computer science (journal) http://www.lmcs-online.org/index.php http://www.cs.famaf.unc.edu.ar/~mpagano/cfp.html Springer Distributed Computing http://www.springerlink.com/(nuosggaf0g5q5nu33kona555)/app/home/issue.asp?referrer=parent&backto=journal,2,73;linkingpublicationresults,1:100426,1 SOFTWARE TESTING, VERIFICATION & RELIABILITY (STVR) http://www.csc.liv.ac.uk/~mrw/stvr.main.html Formal Methods Letters (FML) http://cs.nyu.edu/fml/ The 18th Nordic Workshop on Programming Theory (NWPT'06) Reykjavík, Iceland, 18-20 October, 2006 http://www.ru.is/NWPT06/ deadline: 19 September: Submission of abstracts Kommunikation in Verteilten Systeme 26. Februar - 2. März 2007 in Bern, Schweiz http://kivs07.unibe.ch/aufruf.en.php Submission deadline for full conference papers: September 15, 2006 Submission deadline for workshop, short and industry papers: October 15, 2006 24th International Symposium on Theoretical Aspects of Computer Science (STACS 2007) February 22 - 24, 2007 Aachen, Germany http://www-i7.informatik.rwth-aachen.de/stacs07/ Deadline for submission: September 17, 2006 IPM International Symposium on Fundamentals of Software Engineering (FSEN 07) April 17-19 2007, Tehran, Iran http://cs.ipm.ac.ir/FSEN07/ Abstract Submission: October 20 , 2006 Paper Submission: October 27 , 2006 SAC'07 - ACM 2007 SYMPOSIUM ON APPLIED COMPUTING March 11-15, 2007, Seoul, Korea http://www.cs.wmich.edu/~zijiang/sac2007/ Electronic submission of full papers: September 8, 2006