IFL 2010IFL2010: Sep 1, 2010 - Sep 3, 2010 in Utrecht/Alphen aan den Rijn, The NetherlandsSubmissions: Jul 25, 2010Notification: Call for PapersPrevious EditionsPrevious PublicationsThe goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2010 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and appl ... Read More3rd International DisCoTec Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010CAMPUS2010: Jun 10, 2010 - Jun 10, 2010 in Amsterdam, The NetherlandsSubmissions: Apr 2, 2010Notification: May 9, 2010Call for PapersPrevious EditionsPrevious PublicationsThere is a huge market potential for mobile applications in Europe today. Most people already carry a mobile device of some sort wherever they go, and an increasingly diverse set of devices (PDAs, smart phones, GPS, etc.) are becoming widely available. Recently, service-orientations (e.g., OSGi, Spring, SCA) have evolved to address these highly ... Read MoreFirst International Workshop on Product Line Requirements Engineering and Quality (PLREQ'10) 2010PLREQ2010: Jun 30, 2010 - Jun 30, 2010 in Essen, GermanySubmissions: Apr 19, 2010Notification: May 24, 2010Call for PapersPrevious EditionsPrevious PublicationsThe workshop focuses on requirements engineering for software product lines. Traditional approaches for quality requirements and variability management do not fully address the problems associated with quality requirements during variability modeling, product instantiation and product line evolution.
In the workshop, novel approaches, emergin ... Read More2nd International Workshop on Numerical and Symbolic Abstract Domains 2010NSAD2010: Sep 13, 2010 - Sep 13, 2010 in Perpignan, FranceSubmissions: Jun 1, 2010Notification: Jul 14, 2010Call for PapersPrevious EditionsPrevious PublicationsAbstract domains are a key notion in Abstract Interpretation theory
and practice. They embed the semantic choices, data-structures and
algorithmic aspects, and implementation decisions. The Abstract
Interpretation framework provides constructive and systematic formal
methods to design, compose, compare, study, prove, and apply abstract
dom ... Read More1st International Symposium on Games, Automata, Logics and Formal Verification 2010GandALF2010: Jun 17, 2010 - Jun 18, 2010 in Minori, (Amalfi coast) - Salerno, ItalySubmissions: Mar 21, 2010Notification: May 1, 2010Call for PapersPrevious EditionsPrevious PublicationsGandalf 2010 will be held in Minori, Amalfi Coast, (Italy), a beautiful town located on the " Costiera Amalfitana", about 11Km north of Salerno and 4Km south of Amalfi.
The aim of the conference is to bring together researchers from academia and industry active in the fields of Games, Automata, Logics and Formal Verification. The idea is to ... Read MoreSoftware Maintenance Maturity Model Workshop @ PROFES 2010 2010S3M2010: Jun 21, 2010 - Jun 21, 2010 in Limerick , IrelandSubmissions: Apr 18, 2010Notification: Apr 25, 2010Call for PapersPrevious EditionsPrevious PublicationsThis full-day workshop will focus on identifying issues of maintenance and evolution process, sharing their current solutions, and brainstorming the new ones. Hence, it welcomes all types of papers from position papers to research suggestions, to status reports and to model evaluations. The selection criteria will be based solely on the quality ... Read More24th International Workshop on Unification 2010UNIF2010: Jul 14, 2010 - Jul 14, 2010 in Edinburgh, ScotlandSubmissions: Apr 4, 2010Notification: Apr 25, 2010Call for PapersPrevious EditionsPrevious PublicationsThis workshop promotes research and collaboration in the area of unification theory and related fields, including constraint solving and applications of unification to theorem proving and programming languages. It encourages the presentation of new directions, developments and results, as well as tutorials on existing knowledge in this area.
T ... Read MoreInternational Conference on Lean Enterprise Software and Systems 2010LESS2010: Oct 17, 2010 - Oct 20, 2010 in Helsinki, FinlandSubmissions: May 31, 2010Notification: Jun 30, 2010Call for PapersPrevious EditionsPrevious PublicationsAgile software development changed the way the software development is
perceived today. The journey continues now in the new era where the software
business meets software practice in a novel way. We are proud to present you
the International Conference on Lean Enterprise Software and Systems (LESS). Read MoreModel-Driven Web Engineering Workshop 2010MDWE2010: Jul 5, 2010 - Jul 5, 2010 in Vienna, AustriaSubmissions: Apr 21, 2010Notification: May 21, 2010Call for PapersPrevious EditionsPrevious PublicationsWeb Engineering is a specific domain in which Model-Driven Engineering (MDE) can be successfully applied. Existing model-based Web engineering approaches already provide excellent methods and tools for the design and development of most kinds of Web applications. They address different concerns using separate models (navigation, presentation, w ... Read MoreInternational Conference on Functional Programming 2010ICFP2010: Sep 27, 2010 - Sep 29, 2010 in Baltimor, MA, USASubmissions: Apr 2, 2010Notification: Jun 7, 2010Call for PapersPrevious EditionsPrevious PublicationsICFP (International Conference on Functional Programming) is an annual programming language conference. It is sponsored by the Association for Computing Machinery (ACM) under the aegis of the ACM Special Interest Group on Programming Languages (SIGPLAN), in association with Working Group 2.8 of the International Federation of Information Proces ... Read More