-
May 02, 2011 - (Transformation Tool Contest 2011)
-
Transformation Tool Contest 2011: Call for Solutions,
PDF: http://is.ieis.tue.nl/staff/pvgorp/events/TTC2011/CallForSolutions.pdf,
Homepage: http://is.ieis.tue.nl/staff/pvgorp/events/TTC2011/ ,
Satellite to TOOLS 2011, Zurich (Switzerland),
http://toolseurope2011.lcc.uma.es/
Located in
CFP Folder
-
May 02, 2011 - DASIP (2011 Conference on Design and Architectures for Signal and Image Processing)
-
The 2011 Conference on Design and Architectures for Signal and Image Processing
Tampere, Finland
November 2-4, 2011
Located in
CFP Folder
-
May 04, 2012 - SCMA 2012 (12th IEEE International Working Conference on Source Code Analysis and Manipulation )
-
12th IEEE International Working Conference on Source Code Analysis and Manipulation
SCAM 2012
http://scam2012.cs.usask.ca/
September 23 - 24, 2012
Riva Del Garda, Trento, Italy
Located in
CFP Folder
-
May 05, 2012 - Science of Computer Programming, Special Issue on Automated Verification of Critical Systems
-
Science of Computer Programming
Special Issue on Automated Verification of Critical Systems
Guest editors: Cliff Jones, Alexander Romanovsky
Submission deadline: 05.05.2012
Notification: 01.08.2012
This special issue is devoted to the scope of the international
workshop on Automated Verification of Critical Systems (AVoCS 2011 -
see http://conferences.ncl.ac.uk/AVoCS2011/) which
Newcastle University hosted in September 2011.
AVoCS is devoted to tools and techniques for the verification
of critical systems.
Located in
CFP Folder
-
May 05, 2013 - SCAM (13th IEEE International Working Conference on Source Code Analysis and Manipulation)
-
13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)
September 22-23, 2013
Eindhoven, The Netherlands
Co-located with ICSM 2013
Located in
CFP Folder
-
May 06, 2011 - ATVA 2011 (9th International Symposium on Automated Technology for Verification and Analysis)
-
9th International Symposium on
Automated Technology for Verification and Analysis
Taipei, Taiwan, October 11-14, 2011
Collocated with ESWEEK 2011.
http://www2.ee.ntu.edu.tw/~atva2011/
Located in
CFP Folder
-
May 8, 2010 - SCAM (Tenth IEEE International Working Conference on Source Code Analysis and Manipulation)
-
Tenth IEEE International Working Conference
on Source Code Analysis and Manipulation
12th-13th September 2010,
Timişoara, Romania,
Located in
CFP Folder
-
May 08, 2011 - RV 2011 (International Conference on Runtime Verification)
-
International Conference on Runtime Verification (RV 2011)
September 27 - 30, 2011
Berkeley, California, USA
http://sites.google.com/site/2011rv/
Located in
CFP Folder
-
May 09, 2011- ASE (The 26th IEEE/ACM International Conference on Automated Software Engineering)
-
The 26th IEEE/ACM International Conference on AUTOMATED SOFTWARE ENGINEERING
(ASE 2011)
November 6-10, 2011,
Lawrence, Kansas, USA,
http://www.ase-conference.org
Located in
CFP Folder
-
May 10, 2012 - RP 12 (6th International Workshop on Reachability Problems)
-
6th International Workshop on Reachability Problems (RP'12)
(September 17-19, 2012, Bordeaux, France)
Deadline for submissions: 10 May, 2011
http://rp12.labri.fr/
Located in
CFP Folder
