Model-Driven Web Engineering Workshop 2010MDWE2010: Jul 5, 2010 - Jul 5, 2010 in Vienna, AustriaSubmissions: Apr 21, 2010Notification: May 21, 2010Call for PapersPrevious EditionsPrevious PublicationsWeb Engineering is a specific domain in which Model-Driven Engineering (MDE) can be successfully applied. Existing model-based Web engineering approaches already provide excellent methods and tools for the design and development of most kinds of Web applications. They address different concerns using separate models (navigation, presentation, w ... Read MoreInternational Conference on Functional Programming 2010ICFP2010: Sep 27, 2010 - Sep 29, 2010 in Baltimor, MA, USASubmissions: Apr 2, 2010Notification: Jun 7, 2010Call for PapersPrevious EditionsPrevious PublicationsICFP (International Conference on Functional Programming) is an annual programming language conference. It is sponsored by the Association for Computing Machinery (ACM) under the aegis of the ACM Special Interest Group on Programming Languages (SIGPLAN), in association with Working Group 2.8 of the International Federation of Information Proces ... Read MoreCompilers, Programming Languages, Related Technologies and Applications 2010CoRTA2010: Sep 9, 2010 - Sep 10, 2010 in Braga, PortugalSubmissions: Jun 9, 2010Notification: Jun 30, 2010Call for PapersPrevious EditionsPrevious PublicationsSymbolic Computation in Software Science 2010SCSS20102010: Jul 29, 2010 - Jul 30, 2010 in Hagenberg, AustriaSubmissions: Apr 8, 2010Notification: May 20, 2010Call for PapersPrevious EditionsPrevious Publications The international workshop on "Symbolic Computation in Software Science" is the third in the SCSS workshop series. SCSS 2008 took place at the Research Institute for Symbolic Computation (RISC), Hagenberg, Austria, and, SCSS 2009 took place in Gammarth, Tunisia. These workshops were quite successful. For the next issue of this conference, we w ... Read MoreAlgebraic and Numeric Biology 2010 ANB20102010 : Jul 31, 2010 - Aug 2, 2010 in Hagenberg, AustriaSubmissions: Apr 11, 2010Notification: May 15, 2010Call for PapersPrevious EditionsPrevious PublicationsSince 2005, we are organizing an international conference "Algebraic Biology" that focuses on the application of computer algebra, automated reasoning, hybrid algebraic and numeric computation, which is also called symbolic computation, to all types of problems from biology: AB'05, AB'07, and AB'08. These conferences were quite successful. For ... Read More6th IFIP International Conference on Theoretical Computer Science 2010 IFIP-TCS2010 : Sep 20, 2010 - Sep 23, 2010 in Brisbane, AustraliaSubmissions: Mar 15, 2010Notification: Apr 30, 2010Call for PapersPrevious EditionsPrevious PublicationsTCS 2010 is organized by IFIP Technical Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal Descriptions of Programming Concepts) in association with SIGACT and EATCS.
The World Computer Congress (WCC2010) will bring together IT research and industry sectors in one event. The congress will combine 17 IFIP co ... Read More8th International Conference on Service Oriented Computing 2010ICSOC 2010: Dec 7, 2010 - Dec 10, 2010 in San Francisco, USASubmissions: Jun 7, 2010Notification: Jul 14, 2010Call for PapersPrevious EditionsPrevious PublicationsSince 2003, ICSOC has been the prime forum for academics and industry researchers and developers to report and share groundbreaking works in service oriented computing. ICSOC has fostered cross-community scientific excellence by the gathering of experts from various disciplines, such as business process management, distributed systems, computer ... Read MoreEighth German Conference on Multi-Agent System Technologies 2010MATES2010: Sep 21, 2010 - Sep 23, 2010 in Karlsruhe, GermanySubmissions: Apr 9, 2010Notification: May 28, 2010Call for PapersPrevious EditionsPrevious PublicationsThe German Conference on Multi-Agent system Technologies (MATES) provides an interdisciplinary forum for researchers, users, and developers to present and discuss latest advances in research work as well as prototyped or fielded systems of intelligent agents and multi-agent systems. The conference covers the whole range of agent- and multi-agen ... Read MoreFirst International Workshop on Software Test Output Validation 2010 STOV2010 : Jul 12, 2010 - Jul 13, 2010 in Trento, ItalySubmissions: Apr 1, 2010Notification: Apr 21, 2010Call for PapersPrevious EditionsPrevious PublicationsSoftware testing in domains like scientific computing, optimization, simulation, etc. is particularly challenging because many such applications have no reliable "test oracle" to indicate whether the output is correct for arbitrary input. STOV 2010 will present the latest research and industrial practice for testing software for which no oracle ... Read More17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning 2010Calculemus2010: Jul 6, 2010 - Jul 7, 2010 in Paris, FranceSubmissions: Mar 15, 2010Notification: Apr 14, 2010Call for PapersPrevious EditionsPrevious PublicationsCalculemus is a series of conferences dedicated to the integration of computer
algebra systems (CAS) and systems for mechanised reasoning, the interactive
theorem provers or proof assistants (PA) and the automated theorem provers
Currently, symbolic computation is divided into several (more or less)
independent branches: tradition ... Read More