Fifth International Symposium on Symbolic Computation in Software Science 2013SCSS2013: Jul 5, 2013 - Jul 6, 2013 in Hagenberg, AustriaSubmissions: May 3, 2013Notification: Jun 3, 2013Call for PapersPrevious EditionsPrevious PublicationsThe purpose of SCSS 2013 is to promote research on theoretical and practical aspects of symbolic computation in software science. The symposium provides a forum for active dialog between researchers from several fields of computer algebra, algebraic geometry, algorithmic combinatorics, computational logic, and software analysis and verification. Read More2013 IEEE International Conference on Distributed Computing Systems 2013ICDCS2013: Jul 8, 2013 - Jul 11, 2013 in Philadelphia, USASubmissions: May 10, 2013Notification: Call for PapersPrevious EditionsPrevious PublicationsApplicants without papers are particularly encouraged to apply for NSF travel grants.
2013 IEEE International Conference
on Distributed Computing Systems
Philadelphia, PA - July 08 - 11, 2013
http: ... Read MoreRuleML 2013RuleML2013: Jul 11, 2013 - Jul 13, 2013 in Seattle, USASubmissions: Feb 20, 2013Notification: Apr 12, 2013Call for PapersPrevious EditionsPrevious PublicationsThe 7th International Web Rule Symposium (RuleML 2013) will be held in Seattle Metropolitan Area, in the U.S. state of Washington, on July 11-13th, 2013 co-located directly before the AAAI 2013 conference. Read More25th International Conference on Computer Aided Verification 2013CAV2013: Jul 13, 2013 - Jul 19, 2013 in St. Petersburg, RussiaSubmissions: Jan 7, 2013Notification: Mar 6, 2013Call for PapersPrevious EditionsPrevious PublicationsThe conference on Computer Aided Verification (CAV), 2013, is the 25th
in a series dedicated to the advancement of the theory and practice of
computer-aided formal analysis methods for hardware and software
systems. CAV considers it vital to continue spurring advances in
hardware and software verification while expanding to new domains such ... Read More27th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec '13) 2013DBSec 20132013: Jul 15, 2013 - Jul 17, 2013 in Newark, NJ, USASubmissions: Feb 15, 2013Notification: May 3, 2013Call for PapersPrevious EditionsPrevious PublicationsThe 27th Annual IFIP WG 11.3 Working Conference on Data and Applications
Security and Privacy provides a forum for presenting original unpublished
research results, practical experiences, and innovative ideas in data and
applications security. Both papers and panel proposals are also solicited.
Proceedings will be published by Springer ... Read MoreThe 4th International Workshop on Enablers for Ubiquitous Computing and Smart Services 2013EUCASS 20132013: Jul 22, 2013 - Jul 26, 2013 in Kyoto, JapanSubmissions: Mar 20, 2013Notification: Apr 21, 2013Call for PapersPrevious EditionsPrevious Publications2013 IEEE International Conference on Green Computing and Communications - Security, Privacy, and Trust Computing Track 2011GreenCom-STPC2011: Aug 20, 2013 - Aug 23, 2013 in Beijing, ChinaSubmissions: May 19, 2013Notification: Jun 20, 2013Call for PapersPrevious EditionsPrevious Publications12th International Workshop on Web Semantics and Web Intelligence (WebS 2013) 2013WebS 20132013: Aug 26, 2013 - Aug 30, 2013 in Prague, Czech Republic Submissions: Mar 15, 2013Notification: May 3, 2013Call for PapersPrevious EditionsPrevious PublicationsDear Colleagues,
you are invited to submit your papers to the 12th International Workshop on Web Semantics and Web
Intelligence (part of the 24th International Workshop on Database and Expert Systems Applications
DEXA), to be held on August 26-30, 2013, Prague, Czech Republic.
The objective of the international workshop Web Semantics an ... Read MoreJoint Workshop of MAPLE 2013 -- 5th International Workshop on Model-driven Approaches in Software Product Line Engineering and SCALE 2013 -- 4th Workshop on Scalable Modeling Techniques for Software Product Lines 2013MAPLE/SCALE 20132013: Aug 26, 2013 - Aug 26, 2013 in Tokyo, JapanSubmissions: May 26, 2013Notification: Jun 24, 2013Call for PapersPrevious EditionsPrevious PublicationsTo exploit the benefits of product lines (e.g., increased productivity, shorter time to market) all SPLE activities need to be performed in an efficient and systematic manner.
One of the greatest barriers on the way to the efficient creation, handling, and evolution of product lines is the complexity and scale of the underlying artefacts. For ... Read More2nd International Workshop on Cloud Intelligence 2013Cloud-I 20132013: Aug 26, 2013 - Aug 26, 2013 in Riva del Garda, Trento, ItalySubmissions: May 16, 2013Notification: Jun 10, 2013Call for PapersPrevious EditionsPrevious Publications
Business intelligence (BI) is a broad field related to integrating, storing and analyzing data to help decision-makers in many domains (from actual business fields to administration, health and environment) make better decisions. Front-end analytics methods include reporting, on-line analytical processing (OLAP), and data mining.
With th ... Read More