Conference Calendar

Recently Added Events

16th International Conference on Business Information Systems 2013BIS2013: Jun 19, 2013 - Jun 21, 2013 in Poznan, PolandSubmissions: Jan 22, 2013Notification: Mar 1, 2013Call for PapersPrevious EditionsPrevious PublicationsAbout BIS During the 16 years of BIS conference history it grew as well renowned event of the scientific community. Every year it joins international researchers for scientific discussions on the development, implementation and application of business information, based on innovative ideas and computational intelligence methods. The conferen ... Read More
27th 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 More
RuleML 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 More
20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems 2013ECBS2013: Apr 22, 2013 - Apr 24, 2013 in Phoenix, AZ, USASubmissions: Jan 1, 2013Notification: Jan 31, 2013Call for PapersPrevious EditionsPrevious PublicationsECBS provides a bridge between industry and academia, blending academic research and industrial developments. Papers are sought which reflect the main theme or societal and environmental impact, as well as the following thematic tracks: * Adaptive Computing & Autonomic Systems * Embedded Systems (Real-time systems, Reconfigurable and embedd ... Read More
International Conference on Model Transformation 2013ICMT2013: Jun 18, 2013 - Jun 19, 2013 in Budapest, HungarySubmissions: Feb 1, 2013Notification: Mar 22, 2013Call for PapersPrevious EditionsPrevious PublicationsThe International Conference on Model Transformation (ICMT) is the premier forum for researchers and practitioners alike from all areas of model transformation. Model transformation encompasses a variety of technical spaces, including modelware, grammarware, dataware, and ontoware, a variety of model representations, e.g., based on different ... Read More
The 8th International Workshop on Mutation Analysis 2013Mutation 20132013: Mar 18, 2013 - Mar 18, 2013 in Luxembourg, LuxembourgSubmissions: Jan 11, 2013Notification: Feb 11, 2013Call for PapersPrevious EditionsPrevious Publications
14th International Conference on Agile Software Development 2013XP2013: Jun 3, 2013 - Jun 7, 2013 in Vienna, AustriaSubmissions: Jan 3, 2013Notification: Feb 22, 2013Call for PapersPrevious EditionsPrevious Publications
7th International Workshop on Computing with Terms and Graphs 2013TERMGRAPH2013: Mar 23, 2013 - Mar 23, 2013 in Rome, ItalySubmissions: Jan 7, 2013Notification: Jan 25, 2013Call for PapersPrevious EditionsPrevious PublicationsResearch in term and graph rewriting ranges from theoretical questions to practical issues. Computing with graphs handles the sharing of common subexpressions in a natural and seamless way, and improves the efficiency of computations in space and time. Sharing is ubiquitous in several research areas, for instance : the modelling o ... Read More
25th 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 More
Developments in Implicit Computational Complexity 2013DICE2013: Mar 16, 2013 - Mar 17, 2013 in ROMA, ITALYSubmissions: Jan 10, 2013Notification: Jan 25, 2013Call for PapersPrevious EditionsPrevious PublicationsThe area of Implicit Computational Complexity (ICC) has grown out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace computation). It aims at studying computational complexity without referring to external measuring conditions or a particular machine model, ... Read More
Previous123...891011121314151617...656667Next