-
January 15, 2013 - CAV (25th International Conference on Computer Aided Verification)
-
25th International Conference on Computer Aided Verification (CAV
2013) July 13-19, 2013 St. Petersburg, Russia
Located in
CFP Folder
-
January 16, 2011 - RSP (22nd IEEE International Symposium on Rapid System Prototyping)
-
22nd IEEE International Symposium on Rapid System Prototyping
May 24-27 May, 2011
Karlsruhe, Germany
http://www.rsp-symposium.org
Located in
CFP Folder
-
January 18, 2013 - CSTVA'13 (5th International workshop on Constraints in Software Testing, Verification and Analysis)
-
CSTVA'13 - 5th International workshop on
Constraints in Software Testing, Verification and Analysis
http://cstva2013.univ-fcomte.fr
A workshop of ICST'13, the 6th IEEE International Conference on Software Testing
Verification and Validation, held in Luxembourg, March 22nd, 2013
Located in
CFP Folder
-
January 20, 2012 - TASE (The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering)
-
The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering
(TASE 2012)
4-6 July 2012, Beijing, China
http://selab.bjut.edu.cn/tase2012
Located in
CFP Folder
-
January 20, 2013 - (13th Workshop on Tools for Program Development and Analysis in Computational Science)
-
13th Workshop on Tools for Program Development and
Analysis in Computational Science
which takes place in conjunction with the ICCS conference
in Barcelona, Spain in June 2013.
Located in
CFP Folder
-
January 20,2012 - (12th Workshop on "Tools for Program Development and Analysis in Computational Science)
-
12th Workshop on "Tools for Program
Development and Analysis in Computational Science" which takes place in
conjunction with the ICCS conference in Omaha, Nebraska in June 2012.
Located in
CFP Folder
-
January 22, 2012 - CAV (24th International Conference on Computer Aided Verification (CAV 2012)
-
24th International Conference on Computer Aided Verification (CAV
2012) July 7-13, 2012 Berkeley, California, USA
Program Chairs: Madhusudan Parathasarathy and Sanjit A. Seshia
Website: http://cav12.cs.illinois.edu/
Located in
CFP Folder
-
January 22, 2013 - COMPUTATION TOOLS 2013 (The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking)
-
COMPUTATION TOOLS 2013, The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
May 27 - June 1, 2013 - Valencia, Spain
Located in
CFP Folder
-
January 23, 2011 - ECRTS 11 (23nd EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS)
-
ECRTS 2011
23nd EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
Porto, Portugal, July 5-8, 2011
http://ecrts11.ecrts.org
Located in
CFP Folder
-
January 23, 2011 - ISC'11 (International Supercomputing Conference)
-
Scientific Sessions
International Supercomputing Conference (ISC´11)
June 19-23, 2011, Hamburg, Germany
http://www.supercomp.de/isc11/
http://www.supercomp.de/isc11/Take-Part/Call-for-Papers
Located in
CFP Folder
