EPEW 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 More8th 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 MoreAutomated 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 MoreInternational 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 MoreWorkshop 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 MoreSoftware 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 MoreFormalization 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 MorePrevious123...6162636465666768697071727374Next