* [Caml-list] WWV 2014: call for papers
@ 2014-02-27 9:03 Maurice ter Beek
2014-04-14 15:54 ` [Caml-list] WWV 2014: final " Maurice ter Beek
2014-12-03 12:38 ` [Caml-list] CfP special issue JLAMP on automated verification of programs and web systems Maurice ter Beek
0 siblings, 2 replies; 3+ messages in thread
From: Maurice ter Beek @ 2014-02-27 9:03 UTC (permalink / raw)
To: Antonio Ravara
*************************************************************
* *
* WWV 2014 *
* Automated Specification and Verification of Web Systems *
* 10th International Workshop *
* *
* July 18th, Vienna (Austria) *
* a FLoC workshop @ the Vienna Summer of Logic 2014 *
* *
* Call for Papers *
* *
*************************************************************
Homepage: http://wwv2014.isti.cnr.it/
IMPORTANT DATES
Abstract submission April 25, 2014
Paper submission May 2, 2014
Notification of acceptance May 30, 2014
Camera ready versions June 20, 2014
Workshop WWV 2014 July 18, 2014
SCOPE
The Workshop on Automated Specification and Verification of Web Systems
(WWV, http://users.dsic.upv.es/grupos/elp/wwv/) is a yearly workshop
that aims at providing an interdisciplinary forum to facilitate the
cross-fertilization and the advancement of hybrid methods that exploit
concepts and tools drawn from rule-based programming, formal methods,
software engineering and Web-oriented research.
Nowadays, many companies and institutions have diverted their Web sites
into interactive, completely automated, Web-based applications for areas
such as e-business, e-learning, e-government and e-health. The increased
complexity and the explosive growth of Web systems has 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.
Topics of either theoretical or applied interest include, but are not
limited to:
- Rule-based 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
- Abstract interpretation and program transformation applied to the
semantic Web
- Middleware and frameworks for composition and orchestration of Web
services
- Software Product Line Engineering for Web systems
- Feature-oriented modeling and variability analysis of Web systems
SUBMISSION
We solicit the submission of original and unpublished contributions not
under review for publication elsewhere, which include full papers and
short papers.
- Full (regular) papers must be prepared in LaTeX using the EPTCS-style
format and they should not exceed 15 pages (typeset 11 points). All
accepted papers will be included in the proceedings.
- Short papers are concerned with work-in-progress or tool papers and
they should not exceed 6 pages. Short papers might not be included in
the proceedings (a selection is invited for the proceedings).
All contributions will be evaluated by at least three reviewers, chosen
by the Program Committee. Contributions should be submitted through the
EasyChair online submission system in PDF format.
Submission of a paper involves a firm commitment that at least one of
the authors will attend and participate in the workshop in case the
paper is accepted.
PUBLICATION
All accepted regular papers will be included in the proceedings, which
will be published as a volume of the EPTCS series (WWV publication is
indexed in DBLP and Microsoft Academic Research, among other important
repositories). Selected short papers will be invited to the proceedings.
An open call for a special issue of a high-quality journal on the topic
of the WWV workshop is envisaged. This has been common practice for WWV
since 2009.
WORKSHOP CO-CHAIRS
Maurice ter Beek ISTI-CNR, Pisa, Italy
Antonio Ravara New University of Lisbon, Portugal
PROGRAM COMMITTEE
Maria Alpuente Universidad Politecnica de Valencia, Spain
David Benavides University of Seville, Spain
Mario Bravetti University of Bologna, Italy
Sylvain Halle Universite du Quebec a Chicoutimi, Canada
Raymond Hu Imperial College London, United Kingdom
Atsushi Igarashi Kyoto University, Japan
Laura Kovacs Vienna University of Technology, Austria
Ana Almeida Matos Instituto Superior Tecnico de Lisboa, Portugal
Anders Moller Aarhus University, Denmark
Gwen Salaun Inria Rhone-Alpes, Grenoble, France
Francesco Tiezzi IMT Institute for Advanced Studies Lucca, Italy
Emilio Tuosto University of Leicester, United Kingdom
Erik de Vink Eindhoven University of Technology, The Netherlands
STEERING COMMITTEE
Maria Alpuente Technical University of Valencia, Spain (co-Chair)
Demis Ballis University of Udine, Italy
Santiago Escobar Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy (co-Chair)
Laura Kovacs Vienna University of Technology, Austria
Temur Kutsia Johannes Kepler University Linz, Austria
Massimo Marchiori University of Padova, Italy
Rosario Pugliese University of Florence, Italy
Antonio Ravara New University of Lisbon, Portugal
Josep Silva Technical University of Valencia, Spain
Francesco Tiezzi IMT Institute for Advanced Studies Lucca, Italy
INVITED SPEAKERS
Steve Ross-Talbot Cognizant Technology Solutions, United Kingdom
PAST EDITIONS
Initiated in 2005, the WWV workshop series has by now established
itself as a lively, friendly event with many interactions and
discussions.
1. WWV'05 in Valencia, Spain; March 14-15, 2005
homepage: http://users.dsic.upv.es/workshops/wwv05/
2. WWV'06 in Paphos, Cyprus; November 19, 2006
homepage: http://users.dsic.upv.es/workshops/wwv06/
3. WWV'07 in Venice, Italy; December 14, 2007
homepage: http://wwv07.dimi.uniud.it/
4. WWV'08 in Siena, Italy; July 4, 2008
homepage: http://wwv08.dimi.uniud.it/
5. WWV'09 in Castle of Hagenberg, Austria; July 17, 2009
homepage: http://www.risc.uni-linz.ac.at/about/conferences/wwv09/
6. WWV'10 in Vienna, Austria; July 30-31, 2010
homepage: http://www.complang.tuwien.ac.at/WWV2010/
7. WWV'11 in Reykjavik, Iceland; June 9, 2011 (as part of DisCoTec 2011)
homepage: http://rap.dsi.unifi.it/wwv2011/
8. WWV'12 in Stockholm, Sweden; June 16, 2012 (as part of DisCoTec 2012)
homepage: http://users.dsic.upv.es/~jsilva/wwv2012/
9. WWV'13 in Florence, Italy; June 6, 2013 (as part of DisCoTec 2013)
homepage: http://users.dsic.upv.es/~jsilva/wwv2013/
The previous 9 editions of WWV attracted high-quality papers that were
published in ENTCS (WWV'05, WWV'07 and WWV'08), by IEEE (WWV'06) and in
EPTCS (WWV'11, WWV'12 and WWV'13).
After WWV'09, a special issue of the Journal of Symbolic Computation on
the topics of the WWV was organized. Similarly, a special issue of the
Journal of Applied Logic was organized after WWV'10 and special issues
of the Journal of Logic and Algebraic Programming were organized after
WWV'11, WWV'12 and WWV'13.
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Caml-list] WWV 2014: final call for papers
2014-02-27 9:03 [Caml-list] WWV 2014: call for papers Maurice ter Beek
@ 2014-04-14 15:54 ` Maurice ter Beek
2014-12-03 12:38 ` [Caml-list] CfP special issue JLAMP on automated verification of programs and web systems Maurice ter Beek
1 sibling, 0 replies; 3+ messages in thread
From: Maurice ter Beek @ 2014-04-14 15:54 UTC (permalink / raw)
To: Antonio Ravara
*************************************************************
* *
* WWV 2014 *
* Automated Specification and Verification of Web Systems *
* 10th International Workshop *
* *
* July 18th, Vienna (Austria) *
* a FLoC workshop @ the Vienna Summer of Logic 2014 *
* *
* Final call for Papers *
* *
*************************************************************
Homepage: http://wwv2014.isti.cnr.it/
IMPORTANT DATES
Abstract submission April 25, 2014
Paper submission May 2, 2014
Notification of acceptance May 30, 2014
Camera ready versions June 20, 2014
Workshop WWV 2014 July 18, 2014
SCOPE
The Workshop on Automated Specification and Verification of Web Systems
(WWV, http://users.dsic.upv.es/grupos/elp/wwv/) is a yearly workshop
that aims at providing an interdisciplinary forum to facilitate the
cross-fertilization and the advancement of hybrid methods that exploit
concepts and tools drawn from rule-based programming, formal methods,
software engineering and Web-oriented research.
Nowadays, many companies and institutions have diverted their Web sites
into interactive, completely automated, Web-based applications for areas
such as e-business, e-learning, e-government and e-health. The increased
complexity and the explosive growth of Web systems has 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.
Topics of either theoretical or applied interest include, but are not
limited to:
- Rule-based 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
- Abstract interpretation and program transformation applied to the
semantic Web
- Middleware and frameworks for composition and orchestration of Web
services
- Software Product Line Engineering for Web systems
- Feature-oriented modeling and variability analysis of Web systems
SUBMISSION
We solicit the submission of original and unpublished contributions not
under review for publication elsewhere, which include full papers and
short papers.
- Full (regular) papers must be prepared in LaTeX using the EPTCS-style
format and they should not exceed 15 pages (typeset 11 points). All
accepted papers will be included in the proceedings.
- Short papers are concerned with work-in-progress or tool papers and
they should not exceed 6 pages. Short papers might not be included in
the proceedings (a selection is invited for the proceedings).
All contributions will be evaluated by at least three reviewers, chosen
by the Program Committee. Contributions should be submitted through the
EasyChair online submission system in PDF format.
Submission of a paper involves a firm commitment that at least one of
the authors will attend and participate in the workshop in case the
paper is accepted.
PUBLICATION
All accepted regular papers will be included in the proceedings, which
will be published as a volume of the EPTCS series (WWV publication is
indexed in DBLP and Microsoft Academic Research, among other important
repositories). Selected short papers will be invited to the proceedings.
An open call for a special issue of a high-quality journal on the topic
of the WWV workshop is envisaged. This has been common practice for WWV
since 2009.
WORKSHOP CO-CHAIRS
Maurice ter Beek ISTI-CNR, Pisa, Italy
Antonio Ravara New University of Lisbon, Portugal
PROGRAM COMMITTEE
Maria Alpuente Universidad Politecnica de Valencia, Spain
David Benavides University of Seville, Spain
Mario Bravetti University of Bologna, Italy
Sylvain Halle Universite du Quebec a Chicoutimi, Canada
Raymond Hu Imperial College London, United Kingdom
Atsushi Igarashi Kyoto University, Japan
Laura Kovacs Vienna University of Technology, Austria
Ana Almeida Matos Instituto Superior Tecnico de Lisboa, Portugal
Anders Moller Aarhus University, Denmark
Gwen Salaun Inria Rhone-Alpes, Grenoble, France
Francesco Tiezzi IMT Institute for Advanced Studies Lucca, Italy
Emilio Tuosto University of Leicester, United Kingdom
Erik de Vink Eindhoven University of Technology, The Netherlands
STEERING COMMITTEE
Maria Alpuente Technical University of Valencia, Spain (co-Chair)
Demis Ballis University of Udine, Italy
Santiago Escobar Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy (co-Chair)
Laura Kovacs Vienna University of Technology, Austria
Temur Kutsia Johannes Kepler University Linz, Austria
Massimo Marchiori University of Padova, Italy
Rosario Pugliese University of Florence, Italy
Antonio Ravara New University of Lisbon, Portugal
Josep Silva Technical University of Valencia, Spain
Francesco Tiezzi IMT Institute for Advanced Studies Lucca, Italy
INVITED SPEAKERS
Steve Ross-Talbot Cognizant Technology Solutions, United Kingdom
PAST EDITIONS
Initiated in 2005, the WWV workshop series has by now established
itself as a lively, friendly event with many interactions and
discussions.
1. WWV'05 in Valencia, Spain; March 14-15, 2005
homepage: http://users.dsic.upv.es/workshops/wwv05/
2. WWV'06 in Paphos, Cyprus; November 19, 2006
homepage: http://users.dsic.upv.es/workshops/wwv06/
3. WWV'07 in Venice, Italy; December 14, 2007
homepage: http://wwv07.dimi.uniud.it/
4. WWV'08 in Siena, Italy; July 4, 2008
homepage: http://wwv08.dimi.uniud.it/
5. WWV'09 in Castle of Hagenberg, Austria; July 17, 2009
homepage: http://www.risc.uni-linz.ac.at/about/conferences/wwv09/
6. WWV'10 in Vienna, Austria; July 30-31, 2010
homepage: http://www.complang.tuwien.ac.at/WWV2010/
7. WWV'11 in Reykjavik, Iceland; June 9, 2011 (as part of DisCoTec 2011)
homepage: http://rap.dsi.unifi.it/wwv2011/
8. WWV'12 in Stockholm, Sweden; June 16, 2012 (as part of DisCoTec 2012)
homepage: http://users.dsic.upv.es/~jsilva/wwv2012/
9. WWV'13 in Florence, Italy; June 6, 2013 (as part of DisCoTec 2013)
homepage: http://users.dsic.upv.es/~jsilva/wwv2013/
The previous 9 editions of WWV attracted high-quality papers that were
published in ENTCS (WWV'05, WWV'07 and WWV'08), by IEEE (WWV'06) and in
EPTCS (WWV'11, WWV'12 and WWV'13).
After WWV'09, a special issue of the Journal of Symbolic Computation on
the topics of the WWV was organized. Similarly, a special issue of the
Journal of Applied Logic was organized after WWV'10 and special issues
of the Journal of Logic and Algebraic Programming were organized after
WWV'11, WWV'12 and WWV'13.
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Caml-list] CfP special issue JLAMP on automated verification of programs and web systems
2014-02-27 9:03 [Caml-list] WWV 2014: call for papers Maurice ter Beek
2014-04-14 15:54 ` [Caml-list] WWV 2014: final " Maurice ter Beek
@ 2014-12-03 12:38 ` Maurice ter Beek
1 sibling, 0 replies; 3+ messages in thread
From: Maurice ter Beek @ 2014-12-03 12:38 UTC (permalink / raw)
To: Antonio Ravara
---------------------------------------------------------------------
Call for papers
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Special Issue on Automated Verification of Programs and Web Systems
---------------------------------------------------------------------
This special issue of the Journal of Logical and Algebraic Methods
in Programming (JLAMP) is devoted to the themes of the WWV and VPT
workshop series on Automated Specification and Verification of Web
Systems (WWV) and on Verification and Program Transformation (VPT).
This is however an open call for papers. Both participants of the
most recent editions of the WWV and VPT workshop series and others
working on the themes of this special issue are hereby invited to
submit a paper.
IMPORTANT DATES
Abstract submission: 25 February 2015
Full paper submission: 15 March 2015
Acceptance notification: 30 June 2015
Final manuscript due: 25 July 2015
Expected publication: Fall 2015
AIMS AND SCOPE
This special issue provides a forum for researchers working in the
areas of verification, program transformation, software engineering,
rule-based programming, formal methods, and Web-oriented research,
to submit their papers on the Automated Verification of Programs and
Web Systems.
Recent research in automated verification and program transformation
has shown a great potential for beneficial interactions. The methods,
techniques and tools developed in program transformations have been
successfully applied for the verification of programs, (Web) systems
and protocols specified by programs. Examples are partial evaluation,
partial deduction, fold/unfold transformations, supercompilation and
distillation, in particular for the verification of infinite-state,
parameterized systems. Furthermore, verification by model checking,
automated and interactive theorem proving, and SAT/SMT-based methods
have been used to strengthen and optimize program transformations.
Finally, since many Web systems have become interactive, completely
automated, Web-based applications to be used in areas like e-health,
e-business, e-learning, and e-government, their increased complexity
has made their design and implementation a challenging task. Hence
the use of systematic, formal approaches for their specification and
verification allows to address the problems of this specific domain
by means of automated and effective techniques and tools.
TOPICS OF INTEREST
We solicit original papers on topics of either theoretical or applied
interest, which include, but are not limited to:
- Rule-based 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
- Abstract interpretation and program transformation applied to the
semantic Web
- Middleware and frameworks for composition and orchestration of
Web services
- Software Product Line Engineering for Web systems
- Feature-oriented modeling and variability analysis of Web systems
- Verification by Program Transformation
- Verification Techniques in Program Transformation and Synthesis
- Verification and Certification of Programs Transformations
- Program Analysis and Transformation
- Program Testing and Transformation
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, which have not previously
been published and that are also not simultaneously submitted for
publication elsewhere. Each paper will undergo a thorough evaluation
by at least three reviewers.
All contributions must be written in English, must be submitted in
PDF format and must comply with JLAMP's author instructions (the
manuscripts should be prepared using Elsevier's elsart.cls LaTeX
article class) which can be retrieved from the journal's homepage:
http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/
Submissions are handled using the Elsevier Editorial System and
can be uploaded via the aforementioned JLAMP homepage. In the
submission process, the authors must select article type "WWVPT".
GUEST EDITORS
Maurice H. ter Beek, ISTI-CNR, Pisa, Italy
Alexei Lisitsa, University of Liverpool, UK
Andrei P. Nemytykh, Russian Academy of Sciences, Russia
António Ravara, Universidade Nova de Lisboa, Portugal
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2014-12-03 12:38 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-02-27 9:03 [Caml-list] WWV 2014: call for papers Maurice ter Beek
2014-04-14 15:54 ` [Caml-list] WWV 2014: final " Maurice ter Beek
2014-12-03 12:38 ` [Caml-list] CfP special issue JLAMP on automated verification of programs and web systems Maurice ter Beek
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).