RADICAL 2010RADICAL2010: May 10, 2010 - May 11, 2010 in Cambridge, UKSubmissions: Apr 1, 2010Notification: Call for PapersPrevious EditionsPrevious PublicationsRADICAL is a workshop on databases and programming languages, with an emphasis on connections between databases and recent advances in type systems and logics, especially dependent type systems incorporating data constraints.
We aim to cover significant recent developments in directions including (but not limited to) the following:
- Lang ... Read MoreJava Technologies for Real-Time and Embedded Systems 2010JTRES2010: Aug 19, 2010 - Aug 21, 2010 in Prague, Czech RepublicSubmissions: Jun 7, 2010Notification: Jul 5, 2010Call for PapersPrevious EditionsPrevious PublicationsOver 90 percent of all microprocessors are now used for real-time and
embedded applications, and the behavior of many of these applications
is constrained by the physical world. Higher-level programming
languages and middleware are needed to robustly and productively
design, implement, compose, integrate, validate, and enforce
real-time co ... Read MoreWorkshop on Imperfect Information in Software Architecture Design 2010WISAD2010: Aug 23, 2010 - Mar 23, 2010 in Cape Town, South AfricaSubmissions: May 17, 2010Notification: Jun 7, 2010Call for PapersPrevious EditionsPrevious PublicationsThe design of software systems is one of the most complex activities in engineering. And since software systems are expected to fulfil an increasing amount of tasks in more sophisticated environments, software designers are faced with handling daunting amounts of complex information during development. Ideally, all the information that is requ ... Read MoreIFL 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 More