Business Process Management and Social Software in conjunction with BPM'2010 2010BPMS22010: Sep 13, 2010 - Sep 13, 2010 in Hoboken, New Jersey, USASubmissions: May 21, 2010Notification: Jun 30, 2010Call for PapersPrevious EditionsPrevious PublicationsSocial software is a new paradigm that is spreading quickly in society, organizations and economics. Social software has created a multitude of success stories such as wikipedia.org and the development of the Linux operating system. Therefore, more and more enterprises regard social software as a means for further improvement of their business ... Read MoreSecond Workshop on Service oriented EA for Enterprise Engineering (EDOC'2010) 2010SoEAEE2010: Oct 25, 2010 - Oct 25, 2010 in Vitoria, BrazilSubmissions: Apr 17, 2010Notification: Jun 4, 2010Call for PapersPrevious EditionsPrevious PublicationsThere is a more and more common understanding, that not the ownership of information technology resources but their management is the foundation for sustainable competitive advantage. According to Ross et al., smart companies define how they (will) do business (using an operating model) and design the processes and infrastructure critical to t ... Read MoreRADICAL 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 More