[Om-announce] CfP: SCSS 2010

[Nikolaj Popov]

                 --- 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