'[Haskell] CFP Bx 17: 6th International Workshop on Bidirectional Transformations'

[prev in list] [next in list] [prev in thread] [next in thread] 

List: haskell
Subject: [Haskell] CFP Bx 17: 6th International Workshop on Bidirectional Transformations
From: Meng Wang <M.W.Wang () kent ! ac ! uk>
Date: 2016-12-07 10:27:59
Message-ID: 5D81991B-C1F1-45BC-9130-5CF4E1C2044C () kent ! ac ! uk
[Download RAW message or body]

[Attachment #2 (text/plain)]

CFP Bx 17: 6th International Workshop on Bidirectional Transformations

CALL FOR PAPERS

Sixth International Workshop on Bidirectional Transformations (Bx 2017)

        Uppsala, Sweden
        (Saturday April 29th, as part of ETAPS 2017)

  http://bx-community.wikidot.com/bx2017:home

Bidirectional transformations (bx) are a mechanism for maintaining the consistency of \
at least two related sources of information. Such sources can be relational \
databases, software models and code, or any other document following standard or \
ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with \
prominent presence at top conferences in several different fields (namely databases, \
programming languages, software engineering, and graph transformation), but with \
results in one field often getting limited exposure in the others. Bx 2017 is a \
dedicated venue for bx in all relevant fields, and is part of a workshop series that \
was created in order to promote cross-disciplinary research and awareness in the \
area. As such, since its beginning in 2012, the workshop has rotated between venues \
in different fields.

IMPORTANT DATES

 - Abstract submission: 20 Jan 2017
 - Paper submission: 27 Jan 2017
 - Author notification: 17 Feb 2017
 - Camera-ready version: 1 March 2017
 - Workshop date: 29 April 2017

AIMS AND TOPICS

The aim of the workshop is to bring together researchers and practitioners, \
established and new, interested in bx from different perspectives, including but not \
limited to:

 - data and model synchronization
 - view updating
 - inter-model consistency analysis and repair
 - data/schema (or model/metamodel) co-evolution
 - coupled software/model transformations
 - inversion of transformations and data exchange mappings
 - domain-specific languages for bx
 - analysis and classification of requirements for bx
 - bridging the gap between formal concepts and application scenarios
 - analysis of efficiency of transformation algorithms and benchmarks
 - survey and comparison of bx technologies
 - case studies and tool support

PAPER CATEGORIES

Submissions to Bx 2017 can be:

 - Regular papers (up to 15 pages)
    - in-depth presentations of novel concepts and results
    - applications of bx to new domains
    - survey papers providing novel comparisons between existing bx technologies and \
                approaches
    - case studies

 - Tool papers (up to 8 pages)
    - guideline papers presenting best practices for employing a specific bx approach \
                (with a specific tool)
    - presentation of new tools or substantial improvements to existing ones
    - qualitative and/or quantitative comparisons of applying different bx approaches \
and tools

 - Short papers (up to 4 pages)
    - work in progress
    - small focused contributions
    - position papers and research perspectives
    - critical questions and challenges for bx

 - Talk proposals (up to 2 pages)
    - proposed lectures about topics of interest for bx
    - existing work representing relevant contributions for bx
    - promising contributions that are not mature enough to be proposed as papers of \
the other categories

All papers are expected to be self-contained and well-written. Tool papers are not \
expected to present novel scientific results, but to document artifacts of interest \
and share bx experience/best practices with the community. Short papers should \
primarily provoke interesting discussion at the workshop and will not be held to the \
same standard of maturity as regular papers. Talk proposals are expected to present \
works of particular interest for the community and that are worth a talk slot at the \
workshop. We strongly encourage authors to ensure that any (variants of) examples are \
present in the bx example repository at the time of submission, and for tool papers, \
to allow for reproducibility with minimal effort, either via a virtual machine (e.g. \
via Share - http://share20.eu) or a dedicated website with relevant artifacts and \
tool access.

SUBMISSION GUIDELINES

Submitted papers must follow the CEUR one column style available at \
http://ceur-ws.org/Vol-XXX/samplestyles/. Papers must be submitted via the EasyChair \
system: https://www.easychair.org/conferences/?conf=bx2017. Submissions not complying \
with the above guidelines may be excluded from the reviewing process without further \
notice. If a paper is accepted, one author of the paper is expected to participate in \
the workshop to present it. Authors of accepted tool papers are also expected to be \
available to demonstrate their tool at the event.

PROCEEDINGS AND SPECIAL ISSUE

The workshop proceedings, including all accepted papers (except talk proposals), will \
be published electronically by CEUR (http://ceur-ws.org). Authors of accepted papers \
(of all categories except talk proposal) that have high-quality and the potential to \
be extended into journal articles will be invited to submit a revised and extended \
version of their paper to an expected special issue of the Journal of Object \
Technology (http://www.jot.fm); these papers will then be subject to a careful \
reviewing and selection process according to the scientific standards of the Journal \
of Object Technology.

PROGRAM CO-CHAIRS

 - Romina Eramo, University of L'Aquila, Italy
 - Michael Johnson, Macquarie University, Australia

PROGRAM COMMITTEE MEMBERS

 - Anthony Anjorin, University of Paderborn, Germany
 - Soichiro Hidaka, Hosei University, Japan
 - Max E. Kramer, Karlsruhe Institute of Technology, Germany
 - James McKinna, University of Edinburgh, UK
 - Hugo Pacheco, University of Minho, Portugal
 - Alfonso Pierantonio, University of L'Aquila, Italy
 - Andy Schürr, Technical University of Darmstadt, Germany
 - Daniel Strüber, Universität Koblenz-Landau, Germany
 - James Terwilliger, Microsoft, USA
 - Meng Wang, University of Kent, UK
 - Bernhard Westfechtel, Universität Bayreuth, Germany
 - Manuel Wimmer, Vienna University of Technology, Austria

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Dr. Meng Wang | Lecturer in Computer Science
School of Computing | University of Kent | Canterbury, Kent, CT2 7NF, UK
m.w.wang@kent.ac.uk<mailto:m.w.wang@kent.ac.uk> | \
www.cs.kent.ac.uk/~mw516<http://www.cs.kent.ac.uk/~mw516> \
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++

[Attachment #3 (text/html)]

<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: \
after-white-space;" class=""> CFP Bx 17: 6th International Workshop on Bidirectional \
Transformations 
 
 
CALL FOR PAPERS 
Sixth International Workshop on Bidirectional Transformations (Bx 2017) 
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Uppsala, Sweden &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(Saturday April 29th, as \
part of ETAPS 2017) &nbsp;&nbsp;<a href="http://bx-community.wikidot.com/bx2017:home" \
class="">http://bx-community.wikidot.com/bx2017:home</a> 
 
Bidirectional transformations (bx) are a mechanism for maintaining the consistency of \
at least two related sources of information. Such sources can be relational \
databases, software models and code, or any other document following standard or \
ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with \
prominent presence at top conferences in several different fields (namely databases, \
programming languages, software engineering, and graph transformation), but with \
results in one field often getting limited exposure in the others. Bx 2017 is a \
dedicated venue for bx in all relevant fields, and is part of a workshop series that \
was created in order to promote cross-disciplinary research and awareness in the \
area. As such, since its beginning in 2012, the workshop has rotated between venues \
in different fields. 
IMPORTANT DATES 
 
&nbsp;- Abstract submission: 20 Jan 2017 
&nbsp;- Paper submission: 27 Jan 2017 
&nbsp;- Author notification: 17 Feb 2017 
&nbsp;- Camera-ready version: 1 March 2017 
&nbsp;- Workshop date: 29 April 2017 
 
AIMS AND TOPICS 
 
The aim of the workshop is to bring together researchers and practitioners, \
established and new, interested in bx from different perspectives, including but not \
limited to: 
&nbsp;- data and model synchronization 
&nbsp;- view updating 
&nbsp;- inter-model consistency analysis and repair 
&nbsp;- data/schema (or model/metamodel) co-evolution 
&nbsp;- coupled software/model transformations 
&nbsp;- inversion of transformations and data exchange mappings 
&nbsp;- domain-specific languages for bx 
&nbsp;- analysis and classification of requirements for bx 
&nbsp;- bridging the gap between formal concepts and application scenarios &nbsp;- analysis of efficiency of transformation algorithms and \
benchmarks &nbsp;- survey and comparison of bx technologies 
&nbsp;- case studies and tool support 
 
PAPER CATEGORIES 
 
Submissions to Bx 2017 can be: 
 
&nbsp;- Regular papers (up to 15 pages) 
&nbsp;&nbsp;&nbsp;&nbsp;- in-depth presentations of novel concepts and results &nbsp;&nbsp;&nbsp;&nbsp;- applications of bx to new domains 
&nbsp;&nbsp;&nbsp;&nbsp;- survey papers providing novel comparisons between existing \
bx technologies and approaches &nbsp;&nbsp;&nbsp;&nbsp;- case studies 
&nbsp;- Tool papers (up to 8 pages) 
&nbsp;&nbsp;&nbsp;&nbsp;- guideline papers presenting best practices for employing a \
specific bx approach (with a specific tool) &nbsp;&nbsp;&nbsp;&nbsp;- \
presentation of new tools or substantial improvements to existing ones \
&nbsp;&nbsp;&nbsp;&nbsp;- qualitative and/or quantitative comparisons of applying \
different bx approaches and tools 
&nbsp;- Short papers (up to 4 pages) 
&nbsp;&nbsp;&nbsp;&nbsp;- work in progress 
&nbsp;&nbsp;&nbsp;&nbsp;- small focused contributions 
&nbsp;&nbsp;&nbsp;&nbsp;- position papers and research perspectives 
&nbsp;&nbsp;&nbsp;&nbsp;- critical questions and challenges for bx 
 
&nbsp;- Talk proposals (up to 2 pages)&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;- proposed lectures about topics of interest for bx &nbsp;&nbsp;&nbsp;&nbsp;- existing work representing relevant contributions \
for bx&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;- promising contributions that are \
not mature enough to be proposed as papers of the other categories All papers are expected to be self-contained and well-written. Tool papers \
are not expected to present novel scientific results, but to document artifacts of \
interest and share bx experience/best practices with the community. Short papers \
should primarily provoke interesting discussion at the workshop and will not be held \
to the same standard of maturity as regular papers. Talk proposals are expected to \
present works of particular interest for the community and that are worth a talk slot \
at the workshop. We strongly encourage authors to ensure that any \
(variants of) examples are present in the bx example repository at the time of \
submission, and for tool papers, to allow for reproducibility with minimal effort, \
either via a virtual machine (e.g. via Share -&nbsp;<a href="http://share20.eu" \
class="">http://share20.eu</a>) or a dedicated website with relevant artifacts and \
tool access. 
SUBMISSION GUIDELINES 
 
Submitted papers must follow the CEUR one column style available at&nbsp;<a \
href="http://ceur-ws.org/Vol-XXX/samplestyles/" \
class="">http://ceur-ws.org/Vol-XXX/samplestyles/</a>. Papers must be \
submitted via the EasyChair system:&nbsp;<a \
href="https://www.easychair.org/conferences/?conf=bx2017" \
class="">https://www.easychair.org/conferences/?conf=bx2017</a>. \
Submissions not complying with the above guidelines may be excluded from the \
reviewing process without further notice. If a paper is accepted, one author of the \
paper is expected to participate in the workshop to present it. Authors of accepted \
tool papers are also expected to be available to demonstrate their tool at the \
event. 
PROCEEDINGS AND SPECIAL ISSUE 
 
The workshop proceedings, including all accepted papers (except talk proposals), will \
be published electronically by CEUR (<a href="http://ceur-ws.org" \
class="">http://ceur-ws.org</a>). Authors of accepted papers (of all categories \
except talk proposal) that have high-quality and the potential to be extended into \
journal articles will be invited to submit a revised and extended version of their \
paper to an expected special issue of the Journal of Object Technology (<a \
href="http://www.jot.fm" class="">http://www.jot.fm</a>); these papers will then be \
subject to a careful reviewing and selection process according to the scientific \
standards of the Journal of Object Technology. &nbsp; 
PROGRAM CO-CHAIRS 
 
&nbsp;- Romina Eramo, University of L'Aquila, Italy 
&nbsp;- Michael Johnson, Macquarie University, Australia 
 
PROGRAM COMMITTEE MEMBERS&nbsp; 
 
&nbsp;- Anthony Anjorin, University of Paderborn, Germany &nbsp; 
&nbsp;- Soichiro Hidaka, Hosei University, Japan &nbsp; 
&nbsp;- Max E. Kramer, Karlsruhe Institute of Technology, Germany 
&nbsp;- James McKinna, University of Edinburgh, UK 
&nbsp;- Hugo Pacheco, University of Minho, Portugal 
&nbsp;- Alfonso Pierantonio, University of L'Aquila, Italy &nbsp; 
&nbsp;- Andy Schürr, Technical University of Darmstadt, Germany 
&nbsp;- Daniel Strüber, Universität Koblenz-Landau, Germany 
&nbsp;- James Terwilliger, Microsoft, USA 
&nbsp;- Meng Wang, University of Kent, UK 
&nbsp;- Bernhard Westfechtel, Universität Bayreuth, Germany 
&nbsp;- Manuel Wimmer, Vienna University of Technology, Austria
<div class=""> 
<div class="">
<div class="">&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&# \
43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#4 \
3;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43; Dr. Meng Wang | Lecturer in Computer&nbsp;Science 
School of Computing | University of Kent&nbsp;| Canterbury, Kent, CT2 7NF, UK <a href="mailto:m.w.wang@kent.ac.uk" \
class="">m.w.wang@kent.ac.uk</a>&nbsp;|&nbsp;<a \
href="http://www.cs.kent.ac.uk/~mw516" class="">www.cs.kent.ac.uk/~mw516</a> &#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;& \
#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&# \
43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;&#43;</div>
 </div>
 
</div>
</body>
</html>

[Attachment #4 (unknown)]

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[prev in list] [next in list] [prev in thread] [next in thread] 