Conference Calendar

Recently Added Events

The 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 More
STACS 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 More
19th 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
8th International Conference on the Principles and Practice of Programming in Java 2010PPPJ2010: Sep 15, 2010 - Sep 17, 2010 in Vienna, AustriaSubmissions: May 9, 2010Notification: Jun 14, 2010Call for PapersPrevious EditionsPrevious PublicationsThe 8th International Conference on the Principles and Practice of Programming in Java will bring together researchers, teachers, practitioners and programmers who study or work with the Java language or its virtual machine. The conference provides an opportunity to discuss principles, best practices and new ideas in a friendly and fertile acad ... Read More
Automated Mathematical Theory Exploration 2010Automatheo2010: Jul 14, 2010 - Jul 15, 2010 in Edinburgh, UKSubmissions: May 5, 2010Notification: Jun 2, 2010Call for PapersPrevious EditionsPrevious PublicationsAutomated mathematical theory exploration is an exciting emerging research topic for mathematicians, developers of formalised mathematics, and those working on verified software. This topic concerns the theory and practice of developing software systems that support the automated development of mathematical theories, including the inventio ... Read More
International Conference on Human-Computer Interaction 2011INTERACT2011: Sep 5, 2011 - Sep 9, 2011 in Lisbon, PortugalSubmissions: Jan 10, 2011Notification: Mar 28, 2011Call for PapersPrevious EditionsPrevious PublicationsINTERACT 2011 solicits submissions in a broad range of categories, addressing all aspects of Human-Computer Interaction. The theme of the conference, Building Bridges, recognizes the interdisciplinary and intercultural spirit of Human-Computer Interaction (HCI) research. The conference welcomes research that bridges disciplines, cultures a ... Read More
Workshop on Formal Methods in Software Product Line Engineering 2010FMSPLE2010: Sep 13, 2010 - Sep 17, 2010 in Jeju Island, KoreaSubmissions: Jun 7, 2010Notification: Jul 1, 2010Call for PapersPrevious EditionsPrevious PublicationsSoftware product line engineering (SPLE) aims at developing a family of systems by reuse in order to reduce time to market and to increase product quality. The correctness of the reusable development artifacts as well as the correctness of the developed products is of crucial interest for many safety-critical or business-critical applications. ... Read More
Software Maintenance Maturity Model Workshop 2010S3M'102010: Jun 21, 2010 - Jun 21, 2010 in Limerick, IrelandSubmissions: Apr 25, 2010Notification: Apr 29, 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 More
Formalization of Modeling Languages 2010FML2010: Jun 21, 2010 - Jun 21, 2010 in Maribor, SloveniaSubmissions: Apr 19, 2010Notification: May 5, 2010Call for PapersPrevious EditionsPrevious PublicationsThe purpose of this workshop is to provide a forum to discuss five major challenge areas in formalizing modeling languages and constructing automated tools from such formalizations. They include: (i) inventing a behavioral semantics formalism that is easier to use than existing formalisms and is amenable to further processing for automatic gene ... Read More
The 12th IEEE International Symposium on Web Systems Evolution 2010WSE 2010: Sep 17, 2010 - Sep 18, 2010 in Timisoara, Romania Submissions: May 30, 2010Notification: Jul 1, 2010Call for PapersPrevious EditionsPrevious PublicationsSince its inception in 1999, the Web Systems Evolution (WSE) series of events has provided a forum to present original work and to promote discussion and interaction among researchers and practitioners on subjects related to the disciplined evolution of large-scale Web-based systems. WSE 2010 aims to attract participants from different research ... Read More
Previous123...6162636465666768697071727374Next