Call for Papers

THIRD INTERNATIONAL WORKSHOP

ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE

July 29-30, 2010
RISC (Research Institute for Symbolic Computation)

Johannes Kepler University Linz

Castle of Hagenberg, Austria

http://www.risc.uni-linz.ac.at/conferences/scss2010/

A Workshop in the Frame of RISC Summer 2010

http://www.risc.uni-linz.ac.at/conferences/summer2010/

SCOPE AND AIMS

==============

Symbolic Computation is the science of computing with symbolic

objects (terms, formulae, programs, representations of

algebraic objects etc.). Powerful symbolic algorithms have been

developed during the past decades like resolution proving,

model checking, provers for various inductive domains,

rewriting techniques, cylindric algebraic decomposition,

Groebner bases, characteristic sets, telescoping for recurrence

relations, etc.

In this workshop, we concentrate on the application of symbolic

algorithms to software science. Topics of the workshop include:

• theorem proving methods and techniques

  • algorithm (program) synthesis

  • algorithm (program) verification

  • formal methods for the analysis of network security

  • termination analysis of algorithms (programs)

  • complexity analysis of algorithms (programs)

  • extraction of specifications from algorithms (programs)

  • generation of inductive assertion for algorithms (programs)

  • algorithm (program) transformations

  • component-based programming

  • computational origami

  • query languages (in particular for XML documents)

  • semantic web

This workshop 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.

The Workshop grew out of internal workshops that bring

together researchers from

• SCORE (Symbolic Computation Research Group) at University of

Tsukuba, Japan,

• Theorema Group at Research Institute for Symbolic Computation,

Johannes Kepler University Linz, Austria,

• SSFG (Software Science Foundation Group) at Kyoto University,

Japan, and

• Sup’Com (Higher School of Communication of Tunis) at University

of November 7th at Carthage, Tunisia.

SCSS is open for the international community and welcomes

paper submissions.

INVITED SPEAKERS

===============

• Andrei Voronkov (University of Manchester, UK)
  • John Harrison (Intel Corporation, USA)

IMPORTANT DATES

===============

• April 08, 2010: Deadline for extended abstract submission.

  • May 15, 2010: End of the reviewing process

  • May 20, 2010: Notification.

  • June 20, 2010: Final version of full paper submission.

  • July 29-30, 2008: Workshop.

SUBMISSION

==========

Submitted extended abstracts will be peer-reviewed.

Based on the acceptance, authors will be invited to submit

full papers which will appear in the working proceedings of the

conference (published as RISC technical report).

At the workshop, it will be decided whether a special issue

of the Journal of Symbolic Computation with full versions

of selected papers will be published after the workshop.

Submission page at EasyChair:

http://www.easychair.org/conferences/?conf=scss2010

GENERAL CHAIRS

==============

• Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
  • Tetsuo Ida (University of Tsukuba, Japan)

PROGRAM CHAIRS

==============

• Tudor Jebelean (RISC, Johannes Kepler University Linz, Austria)
  • Mohamed Mosbah (University of Bordeaux, France)

PROGRAM COMMITTEE

=================

• Adel Bouhoula(University of November 7th at Carthage, Tunisia)

  • Bruno Buchberger (Johannes Kepler University of Linz, Austria)

  • Adrian Craciun (IeAT, West University of Timisoara, Romania)

  • Martin Giese (University of Oslo, Norway)

  • Hoon Hong (North Carolina State University, USA)

  • Tetsuo Ida (University of Tsukuba, Japan)

  • Atsushi Igarashi (Kyoto University, Japan)

  • Tudor Jebelean (Johannes Kepler University of Linz, Austria)

  • Laura Kovacs (Technical University of Vienna, Austria)

  • Yukiyoshi Kameyama (University of Tsukuba, Japan)

  • Temur Kutsia (Johannes Kepler University of Linz, Austria)

  • Alexander Letychevsky (Glushkov Institute of Cybernetics, Kyiv, Ukraine)

  • Aart Middeldorp (University of Innsbruck, Austria)

  • Yasuhiko Minamide (University of Tsukuba, Japan)

  • Mohamed Mosbah (University of Bordeaux, France)

  • Florina Piroi (Johannes Kepler University of Linz, Austria)

  • Nikolaj Popov (Johannes Kepler University of Linz, Austria)

  • Michael Rusinowitch (INRIA Lorraine, France)

  • Masahiko Sato (Kyoto University, Japan)

  • Wolfgang Schreiner (Johannes Kepler University of Linz, Austria)

  • Hiroyuki Toh (Kyushu University, Japan)

  • Yahya Slimani (University El Manar Tunis, Tunisia)

LOCAL CHAIRS

==================

• Nikolaj Popov
  • Tudor Jebelean