Sixth IEEE International Conference on RESEARCH CHALLENGES IN INFORMATION SCIENCE 2012RCIS2012: May 16, 2012 - May 18, 2012 in Valencia, SpainSubmissions: Nov 7, 2011Notification: Feb 20, 2012Call for PapersPrevious EditionsPrevious PublicationsTAP 2012tap2012: May 31, 2012 - Jun 1, 2012 in Prague, Czech RepublicSubmissions: Dec 14, 2011Notification: Mar 2, 2012Call for PapersPrevious EditionsPrevious PublicationsThe TAP conference is devoted to the convergence of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. Test and Proof seem to be contradictory techniques: if you have proved your program to be correct, it is fruitless to comb it for bugs; and if you are testing it, t ... Read MoreInternational Workshop on CMMI based Software Process Improvement in Small and Medium Sized Enterprises 2011SPISME 20112011: Dec 12, 2011 - Dec 12, 2011 in Johor Bahru, MalaysiaSubmissions: Oct 1, 2011Notification: Oct 12, 2011Call for PapersPrevious EditionsPrevious PublicationsThe Workshop on CMMI based Process Improvement in Small and Medium Sized Enterprises aims at gathering together researchers and practitioners to discuss experiences in the application of CMMI in industrial software organizations. CMMI is one of the most accepted process improvement approaches. In software development CMMI-DEV is applied by many ... Read MoreFirst International Workshop on Bidirectional Transformations 2012BX2012: Mar 25, 2012 - Mar 25, 2012 in Tallinn, EstoniaSubmissions: Dec 19, 2011Notification: Jan 24, 2012Call for PapersPrevious EditionsPrevious PublicationsBidirectional transformations (bx) are a mechanism for maintaining the
consistency of two (or perhaps more) related sources of information.
Such sources can be databases, software models, documents, or their
abstract models like graphs or trees. The methodologies used for bx
range from classical program transformation to graph transformatio ... Read MoreMathematics of Program Construction 2012MPC20122012: Jun 25, 2012 - Jun 27, 2012 in Madrid, SpainSubmissions: Jan 16, 2012Notification: Mar 19, 2012Call for PapersPrevious EditionsPrevious PublicationsInternational Working Conference on Requirements Engineering: Foundation for Software Quality 2012REFSQ2012: Mar 19, 2012 - Mar 22, 2012 in Essen, GermanySubmissions: Oct 1, 2011Notification: Dec 5, 2011Call for PapersPrevious EditionsPrevious PublicationsCall for Papers
Following its second edition as a stand-alone conference in 2011, REFSQ 2012 welcomes participants to attend its meeting again in Essen in March. Since 1994, when the first REFSQ took place, Requirements Engineering (RE) continued to be a dominant factor influencing the quality of software, systems and services. The REFSQ wo ... Read MorePADL 2012PADL2012: Jan 23, 2012 - Jan 24, 2012 in Philadelphia, PennsylvaniaSubmissions: Sep 10, 2011Notification: Oct 22, 2011Call for PapersPrevious EditionsPrevious Publications Declarative languages build on sound theoretical bases to provide
attractive frameworks for application development. These languages
have been successfully applied to many different real-world
situations, ranging from data base management to active networks to
software engineering to decision support systems.
New developments in th ... Read More8th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2011cpaior2011: May 23, 2011 - Aug 27, 2011 in Berlin, GermanySubmissions: Jan 26, 2011Notification: Mar 2, 2011Call for PapersPrevious EditionsPrevious PublicationsThe eighth International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming will be held at Zuse Institute Berlin, Germany, May 23-27, 2011.
The aim of the conference is to bring together interested researchers from constraint programming (CP), artificial intelligence ( ... Read More2nd International Workshop on Energy Efficient High-Performance Computing (EEHiPC'11) 2011EEHiPC2011: Dec 18, 2011 - Dec 18, 2011 in Bangalore, IndiaSubmissions: Sep 7, 2011Notification: Oct 7, 2011Call for PapersPrevious EditionsPrevious Publications2nd International Workshop on Energy Efficient High-Performance Computing (EEHiPC'11)
Held in Conjunction With 18th IEEE/ACM International Conference on High Performance Computing (HiPC)
December 18-21, Bangalore, India
Submission Deadline: September 7, 2011 (23:59 EDT)
Workshop Date: December 18, 2011 (Half Day)
HiPC 2011: http://www. ... Read More27th IFIP International Information Security and Privacy Conference 2012SEC2012: Jun 4, 2012 - Jun 6, 2012 in Heraklion, Crete, GreeceSubmissions: Jan 17, 2012Notification: Mar 1, 2012Call for PapersPrevious EditionsPrevious Publications