AVoCS 2010AVoCS2010: Sep 20, 2010 - Sep 23, 2010 in Düsseldorf, GermanySubmissions: Jun 14, 2010Notification: Jun 21, 2010Call for PapersPrevious EditionsPrevious PublicationsThe aim of AVoCS 2009 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem provi ... Read MoreInternational Workshop on Software Ecosystems 2010IWSECO2010: Oct 29, 2010 - Oct 29, 2010 in Bangkok, ThailandSubmissions: Jul 1, 2010Notification: Aug 15, 2010Call for PapersPrevious EditionsPrevious PublicationsAfter a successful workshop in Virginia and another one in Denmark, IWSECO goes to Bangkok in collaboration with ACM MEDES 2010. It is time to further mature the growing research area of software ecosystems. Soon the list of topics and workshop objective will be updated, so please visit regularly. The workshop will be organized on the 29th of O ... Read MoreTAIC PART 2010taicpart2010: Sep 3, 2010 - Sep 5, 2010 in Windsor, United KingdomSubmissions: Jun 11, 2010Notification: Call for PapersPrevious EditionsPrevious PublicationsFast abstracts: Late breaking, PhD and Tools track Read MoreDynamic Software Product Lines 2010DSPL2010: Sep 13, 2010 - Sep 13, 2010 in Jeju Island, South KoreaSubmissions: Jun 16, 2010Notification: Jul 7, 2010Call for PapersPrevious EditionsPrevious Publications-----------------------------------------------------------------------
Call For Papers
4th International Workshop on Dynamic Software Product Lines (DSPL’10)
at SPLC’10, Jeju Island, South Korea, 13 Sept. 2010
-----------------------------------------------------------------------
MOTIVATION AND OBJE ... Read More6th Educators' Symposium @ MODELS 2010EduSymp@Models2010: Oct 3, 2010 - Oct 8, 2010 in Oslo, NorwaySubmissions: Jun 25, 2010Notification: Jul 30, 2010Call for PapersPrevious EditionsPrevious PublicationsIn software engineering, the emerging model-driven development (MDD) paradigm is one promising solution for handling the complexity of software systems. Industry and academia successfully implemented several approaches and provide expressive modeling languages and mature tools for the practical application of MDD techniques. Nevertheless, the w ... Read MoreIFM 2010IFM2010: Oct 11, 2010 - Oct 14, 2010 in Nancy, FranceSubmissions: May 28, 2010Notification: Jul 4, 2010Call for PapersPrevious EditionsPrevious PublicationsFormal methods—notations, analysis techniques and tools with a precise mathematical foundation—help in describing designs or models and support rigorous examination. In view of the diversity of applications and requirements it is important to further research in the integration of different formal and semi-formal methods of design. The iFM ser ... Read More4th Workshop on Assessment of Contemporary Modularization Techniques 2010ACoM2010: Sep 13, 2010 - Sep 13, 2010 in Jeju Island, South KoreaSubmissions: Jun 25, 2010Notification: Jun 15, 2010Call for PapersPrevious EditionsPrevious PublicationsVarious modularization techniques are prominent candidates to cope with the complexity of software product lines (SPLs), such as aspect-oriented software development (AOSD), feature-oriented programming (FOP), and the like. The ACoM workshop aims to bring together researchers and industrial practitioners with different backgrounds to:
(1) un ... Read More3rd Conference on Human-Centred Software Engineering 2010HCSE2010: Oct 14, 2010 - Oct 15, 2010 in Reykjavik, IcelandSubmissions: May 31, 2010Notification: Jun 21, 2010Call for PapersPrevious EditionsPrevious Publications HCSE 2010 is the third working conference of IFIP Working Group 13.2, Methodologies for User-Centered Systems Design.
The goal of HCSE is to bring together researchers and practitioners interested in strengthening the scientific foundations of user interface design, examining the relationship between software engineering and human-computer ... Read MoreThe 22nd Midwest Artificial Intelligence and Cognitive Science Conference 2011MAICS2011: Apr 16, 2011 - Apr 17, 2011 in Cincinnati, OH, United StatesSubmissions: Feb 4, 2011Notification: Mar 4, 2011Call for PapersPrevious EditionsPrevious PublicationsThe MAICS conference started as a relatively small regional conference that traditionally accepts papers from all areas of artificial intelligence, cognitive science and computational intelligence, including computational linguistics, logic and automated reasoning, knowledge representation, learning and philosophy of mind.
Graduate students ... Read More3rd Workshop on Autonomic and Self-Adaptive Systems 2010WASELF2010: Sep 8, 2010 - Sep 8, 2010 in Valencia, SpainSubmissions: Jun 1, 2010Notification: Jul 1, 2010Call for PapersPrevious EditionsPrevious PublicationsTraditionally, handling changing requirements, faults, or upgrades on different kinds of software-based systems have been tasks performed as a maintenance activity conducted by human operators at design/development time. However, factors such as uncertainty in the operational environment, resource variability, or the critical nature of some sys ... Read MorePrevious123...6162636465666768697071727374Next