4th Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010MeCBIC2010: Aug 23, 2010 - Aug 24, 2010 in Jena, GermanySubmissions: Jun 12, 2010Notification: Jul 31, 2010Call for PapersPrevious EditionsPrevious PublicationsBiological membranes play a fundamental role in the complex reactions which take place in cells of living organisms. The importance of this role has been considered in two different types of formalisms recently introduced. Membrane systems were introduced as a class of distributed parallel
computing devices inspired by the observation that any ... Read More3d Artificial Intelligence Techniques in Software Engineering Workshop 2010AISEW2010: Oct 5, 2010 - Oct 7, 2010 in Ayia Napa, CyprusSubmissions: Jun 20, 2010Notification: Jul 1, 2010Call for PapersPrevious EditionsPrevious PublicationsThe workshop focuses on the current research trends for introducing and implementing Artificial Intelligence (AI) techniques in Software Engineering. AI techniques can provide the means for addressing, studying, analyzing and understanding critical software development issues, such as software quality and reliability, software cost estimation, ... Read MoreProduct-Line Engineering for Enterprise Resource Planning (ERP) Systems 2010PLEERPS2010: Sep 13, 2010 - Apr 17, 2010 in Jeju Island, South Korea Submissions: Jun 11, 2010Notification: Jul 10, 2010Call for PapersPrevious EditionsPrevious PublicationsEnterprise resource planning (ERP) is an industry term commonly used to describe a business management system that integrates activities across functional departments including planning, manufacturing, purchasing of parts, controlling and maintaining inventory, tracking orders, etc. Typically, developing and maintaining ERP systems is labor-in ... Read More5th Workshop on Logical and Semantic Frameworks, with Applications 2010LSFA2010: Aug 31, 2010 - Aug 31, 2010 in Natal, BrasilSubmissions: May 31, 2010Notification: Jul 1, 2010Call for PapersPrevious EditionsPrevious PublicationsClassical Logic and Computation 2010CL&C2010: Aug 21, 2010 - Aug 22, 2010 in Brno, Czech RepublicSubmissions: Jun 27, 2010Notification: Call for PapersPrevious EditionsPrevious PublicationsCL&C'10 is the third of a conference series on "Classical Logic and
Computation". It intends to cover all work aiming to explore
computational aspects of classical logic and mathematics. This year
CL&C will be held as part of CSL and MFCS, jointly with PECP (Program
Extraction and Constructive Proofs):
http://www.cs.swansea.ac.uk/~ ... Read MoreThe First International Workshop On Dependable Services and Systems 2010IWODSS2010: May 17, 2010 - May 18, 2010 in Montreal, CanadaSubmissions: Notification: Call for PapersPrevious EditionsPrevious PublicationsEPEW 2010EPEW2010: Sep 23, 2010 - Sep 24, 2010 in Bertinoro, ItalySubmissions: May 31, 2010Notification: Jun 30, 2010Call for PapersPrevious EditionsPrevious PublicationsThe European Performance Engineering Workshop is an annual event that aims to gather academic and industrial researchers working on all aspects of performance engineering.
Original papers related to theoretical and methodological issues as well as case studies and automated tool support are solicited in the following three areas: performance ... Read MoreThe First International Workshop on Static Analysis and Systems Biology 2010SASB2010: Sep 13, 2010 - Sep 13, 2010 in Perpignan, FranceSubmissions: Jun 1, 2010Notification: Jul 1, 2010Call for PapersPrevious EditionsPrevious PublicationsThe goal of this workshop is to promote discussions and collaborations
between biologists (modelers), computer scientists (in static analysis)
and applied-mathematicians around the design and the use of static
analysis methods for biological models. Read MoreSTACS 2011STACS2011: Mar 10, 2011 - Mar 12, 2011 in Dortmund, GermanySubmissions: Sep 24, 2010Notification: Nov 29, 2010Call for PapersPrevious EditionsPrevious PublicationsThe STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France.
Typical topics of the conference include
* Algorithms and data structures, including: parallel and distributed algorithms, computational geometry, cryptography, algorithmic learning theory;
* Au ... Read More19th Euromicro International Conference on Parallel, Distributed and network-based Processing 2011PDP2011: Feb 9, 2011 - Feb 11, 2011 in Ayia Napa, CyprusSubmissions: Jul 16, 2010Notification: Oct 4, 2010Call for PapersPrevious EditionsPrevious PublicationsParallel, Distributed, and Network-Based Processing has undergone impressive change over recent years. New architectures and applications have rapidly become the central focus of the discipline. These changes are often a result of cross-fertilisation of parallel and distributed technologies with other rapidly evolving technologies such as telec ... Read More