Temur Kutsia | 16 Apr 11:02 2013
Picon

2nd CFP: SCSS 2013

[Please post - apologies for multiple copies.]

Second Call for Papers

SCSS 2013
Symbolic Computation in Software Science
5th International Symposium

Castle of Hagenberg, Austria, July 5-6, 2013
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University Linz
http://www.risc.jku.at/conferences/scss2013/

Scope
--------
The purpose of SCSS 2013 is to promote research on theoretical and 
practical
aspects of symbolic computation in software science. The symposium provides
a forum for active dialog between researchers from several fields of 
computer
algebra, algebraic geometry, algorithmic combinatorics, computational 
logic,
and software analysis and verification.

SCSS 2013 solicits both regular and tool papers on all aspects of symbolic
computation and their applications in software science. The topics of the
symposium include, but are not limited to the following:

- automated reasoning
- algorithm (program) synthesis and/or verification
(Continue reading)

Josep Silva Galiana | 18 Sep 16:55 2013
Picon

Re: 2nd CFP: SCSS 2013

[Please post - apologies for multiple copies]

****************************************************************************

                         Call for Papers                      

 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING        

                        Special Issue on                     

 Automated Specification and Verification of Web Systems  

      http://www.dsic.upv.es/~jsilva/wwv2013/jlap2014/       

****************************************************************************

IMPORTANT DATES 

Submission of papers: October 15, 2013

First review decision: January 15, 2014

Revision due: February 30, 2014

Acceptance notification: April 15, 2014

Final manuscript due:  May 15, 2014

Expected publication: Summer/Autumn 2014


AIMS AND SCOPE

This special issue of the Journal of Logic and Algebraic Programming (JLAP, http://www.journals.elsevier.com/the-journal-of-logic-and-algebraic-programming/) is devoted to the topics of:

- the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV 2013,http://www.dsic.upv.es/~jsilva/wwv2013/), which took place on June 2013 in Firenze, as part of the International Federated Conferences on Distributed Computing Techniques (DisCoTec 2013).

This is however an open call for papers, therefore both participants of the workshops and other authors are encouraged to submit contributions. 

The aim of this special issue is to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research.

Nowadays, many companies and institutions have diverted their Web sites into interactive, completely-automated, Web-based applications for, e.g., e-business, e-learning, e-government and e-health. The increased complexity and the explosive growth of Web systems have made their design and implementation a challenging task. Systematic, formal approaches to their specification and verification can permit to address the problems of this specific domain by means of automated and effective techniques and tools.

We solicit original papers on topics of either theoretical or applied interest, which include, but are not limited to:

- Approaches to Web system analysis, certification, specification, verification, and optimization.

- Languages and models for programming and designing Web systems.

- Formal methods for describing and reasoning about Web systems.

- Model-checking, synthesis and debugging of Web systems.

- Analysis and verification of linked data.

- Web information retrieval.

- Abstract interpretation and program transformation applied to the semantic Web.

- Intelligent tutoring and advisory systems for Web specifications authoring.

- Middleware and frameworks for composition and orchestration of Web services.

- Web quality and Web metrics.

- Web usability and accessibility.

- Testing and evaluation of Web systems and applications.

SUBMISSION 

We expect original articles (typically 20-30 pages; submission of larger papers will be evaluated depending on editorial constraints) that present high-quality contributions that have not been previously published in another journal and that must not be simultaneously submitted for publication elsewhere. Each paper will undergo a thorough evaluation by at least two reviewers. The authors will have about 50 days to incorporate the comments of the reviewers and submit a revised version of their papers, which will be evaluated again by the reviewers to make a final decision.

Contributions should be in PDF format and must comply with JLAP's author guidelines, which can be retrieved from http://www.elsevier.com/wps/find/journaldescription.cws_home/621520/authorinstructions. The manuscripts must be written in English and should be prepared using the Elsevier LaTeX package.

Submissions are handled using the Elsevier Editorial System and can be uploaded using the following link:

  http://ees.elsevier.com/jlap/default.asp

In the submission process, the authors must select the article type 'WWV 2013'.

GUEST EDITORS

António Ravara      (aravara <at> fct.unl.pt) Universidade Nova de Lisboa, Portugal

Josep Silva       (jsilva <at> dsic.upv.es) Universitat Politècnica de València, Spain



2013/4/16 Temur Kutsia <kutsia <at> risc.jku.at>
[Please post - apologies for multiple copies.]

Second Call for Papers

SCSS 2013
Symbolic Computation in Software Science
5th International Symposium

Castle of Hagenberg, Austria, July 5-6, 2013
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University Linz
http://www.risc.jku.at/conferences/scss2013/

Scope
--------
The purpose of SCSS 2013 is to promote research on theoretical and practical
aspects of symbolic computation in software science. The symposium provides
a forum for active dialog between researchers from several fields of computer
algebra, algebraic geometry, algorithmic combinatorics, computational logic,
and software analysis and verification.

SCSS 2013 solicits both regular and tool papers on all aspects of symbolic
computation and their applications in software science. The topics of the
symposium include, but are not limited to the following:

- automated reasoning
- algorithm (program) synthesis and/or verification
- formal methods for the analysis of network security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- formalization and computerization of knowledge (maths, medicine, economy, etc.)
- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing

Invited Speakers
----------------
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Joel Ouaknine (Oxford University, UK)

Program Chair
--------------
Laura Kovacs (Vienna University of Technology, Austria and Chalmers University of
Technology, Sweden)

Program Committee
------------------

María Alpuente (Technical University of Valencia, Spain)
Serge Autexier (DFKI, Germany)
Nikolaj Bjorner (Microsoft Research)
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Iliano Cervesato (Carnegie Mellon University — Qatar Campus)
Horatiu Cirstea (Loria, France)
Jürgen Giesl (RWTH Aachen, Germany)
Tetsuo Ida (University of Tsukuba, Japan)
Paul Jackson (University of Edinburgh, UK)
Tudor Jebelean (RISC, Johannes Kepler University Linz, Austria)
Cezary Kaliszyk (University of Innsbruck, Austria)
Fairouz Kamareddine (Heriot-Watt University, UK)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Stephan Merz (INRIA Lorraine, France)
Ali Mili (New Jersey Institute of Technology, USA)
Yasuhiko Minamide (University of Tsukuba, Japan)
Pierre-Etienne Moreau (INRIA-LORIA Nancy, France)
André Platzer (Carnegie Mellon University, USA)
Stefan Ratschan (Czech Academy of Sciences)
Rachid Rebiha (University of Lugano, Switzerland and IC Unicamp, Brazil)
Enric Rodríguez Carbonell (Technical University of Catalonia, Spain)
Sorin Stratulat (University of Lorraine, Metz, France)
Thomas Sturm (Max Planck Institute for Informatics, Germany)

Symposium Chair
---------------
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)

Important Dates
---------------
April 30, 2013: Abstract submission deadline
May 3, 2013: Paper submission deadline
June 3, 2013: Notification of acceptance
June 17, 2013: Camera-ready copy deadline
July 5-6, 2013: SCSS 2013, Castle of Hagenberg, Austria

Submission
----------
Submission is via EasyChair:

 https://www.easychair.org/conferences/?conf=scss2013.

Submissions are invited in two categories: regular research papers and tool
papers.

- Regular research papers must not exceed 12 pages in the EasyChair Class format,
with up to 3 additional pages for technical appendices.
- Tool papers must not exceed 6 pages in the EasyChair Class format.

Publication
----------
The proceedings of SCSS 2013 will be published as a RISC technical report.
After the symposium, authors of accepted papers at SCSS 2013 will be invited to
submit an extended version of their paper to the special issue of the
Journal of Symbolic Computation on SCSS. Submitted papers to the JSC special
issue will undergo an additional reviewing.

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Gmane