caml-list - the Caml user's mailing list
 help / Atom feed
From: nevrenato@gmail.com
To: "events@fmeurope.org" <events@fmeurope.org>
Subject: [Caml-list] OpenCert'19 - Formal Methods'19 (first call for papers)
Date: Tue, 30 Apr 2019 09:27:36 +0100
Message-ID: <e40d167151db9a55cd0764a7b95b84f8a1948699.camel@gmail.com> (raw)

[Apologies for cross-posting]

-----------------------------------------------------------------------
First Call for Papers

===============
 OpenCERT 2019
===============

=======================================================================
9th International Workshop on
Open Community approaches to Education, Research and Technology
- towards "Open community approaches" CERTification processes -
=======================================================================

https://opencert.github.io

Porto, Portugal, October 8, 2019

Satellite event of the 3rd World Congress on Formal Methods (FM 2019)
http://formalmethods2019.inesctec.pt 

-----------------------------------------------------------------------
Submission link https://easychair.org/conferences/?conf=opencert2019
Submission deadline: June 24, 2019
-----------------------------------------------------------------------

Open Community is a generalisation of the concept of Open Source to
other collaborative efforts. It includes Open Content, that is, some
form of non restrictive license, and Open Knowledge, that is, the
freedom to use, reuse, and redistribute knowledge without legal,
social or technological restriction.  The 9th International Workshop
on Open Community approaches to Education, Research and Technology
expands the scope of the International Workshop on Foundations and
Techniques for Open Source Software Certification, whose 8 editions
run from 2007 to 2014. The new scope of the workshop aims to promote
the use of the Open Community approaches in Education and Research
while also exploiting them to achieve wide diffusion and proper
assessment of new, innovative Technology. The workshop general focus
is on

1. EDUCATION, by exploring forms of open learning and collaborative
learning in both formal and informal education contexts, as well as
the use of peer reviewing and strategies and methods to ensure (and
aiming at certifying) that such use guarantees a proper and fair
assessment;

2. RESEARCH, by aiming at
* establishing open research projects as “cauldrons” of open data,
  open knowledge and collaborative development, as well as devising
  methodologies and tools for the management and assessment of such
  projects;
* defining open peer-review methodologies for the assessment of
  research outputs and appropriate bibliometrics based on the
  community open feedback rather than on a questionable analysis of
  citations;
* defining, more specifically, quality metrics and a formal process to
  certify open source software (OSS) products and the outcomes of
  other peer-production efforts.

3. TECHNOLOGY, on the one hand by fostering and exploiting open
communities to make new technologies globally available and accepted
and, on the other hand, to support such communities in the production
process and to certify the information and data produced or made
publicly available by such communities, especially in the case of
advices provided by thematic communities and user/consumer
support/review communities.

In the context of FM, OpenCERT 2019 will propose thematic aspects
related to the area of Formal Methods

1. EDUCATION: open and collaborative approaches in Formal Methods
education;
2. RESEARCH: open community research in Formal Methods, formal
modelling of learning and collaboration
3. TECHNOLOGY, integrating Formal Methods technologies and tools
within OSS projects as a means for Formal Methods acceptance and
diffusion;

but still accepting submissions outside these aspects.

-----------------------------------------------------------------------
SUBMISSION GUIDELINES
-----------------------------------------------------------------------

Authors are invited to submit, via Easychair, research contributions
or experience reports.

All papers should be written in English and prepared using the
specific LNCS templates available at
http://www.springer.de/comp/lncs/authors.html.

There are nine categories of submissions

RESEARCH PAPERS to present original research and the analysis,
interpretation and validation of the research findings.

POSITION PAPERS to present innovative, arguable ideas, opinions or
frameworks which are likely to foster discussion at the workshop.

PROJECT PAPERS to describe a new open community project (e.g. on a
hosting provider or a dedicated portal) or a new research project, or
the status of an ongoing project or the outcomes of a recently
completed project.

SURVEY PAPERS to collect previously published studies on topics
related to the workshop and analyse them in the context of open
communities.

CASES STUDY PAPERS to report on case studies, preferably in a
real-world setting.

TOOL PAPERS to present a new tool, a new tool component or novel
extensions to an existing tool aiming at supporting open community
approaches, or the use/customisation of an existing tool in the
context of open communities.

TOOL DEMONSTRATION PAPERS to demonstrate the tool workflow(s) and
human interaction aspects, and evaluate the overall role of the tool
in supporting open community approaches.

TEACHING EXPERIENCE PEPERS to report on teaching experiences using an
open community approach in a formal education context (e.g. by
university students) or in informal education.

LEARNING EXPERIENCE PAPERS to report on a learning experience within
an open community in a formal education context (e.g. by university
students) or in informal education.

Contributions will be in the form of

* FULL PAPERS between 12 and 15 pages for submission (and between 12
  and 16 pages for post-proceedings camera-ready).
* SHORT PAPERS between 6 and 8 pages for submission.
* PRESENTATIONS extended abstract up to 4 pages, which will be
  included in the pre-proceeding but not published in the
  post-proceedings.

"Short papers" and "Presentations" can discuss new ideas which are at
an early stage of development and which have not yet been thoroughly
evaluated.

The program committee may reject papers that are outside these lengths
on the grounds of length alone.

Submitted papers will be refereed for quality, correctness,
originality and relevance. All submitted papers will be posted on
GitHub at

	https://github.com/opencert/workshop-2019/

and the review process will be carried out as an interactive, open
discussion between the authors and the reviewers. Final decisions
about acceptance/rejection of papers will be made through a closed
discussion among the PC members.  Notification and reviews will be
communicated via email.  Accepted papers will be included in the
workshop programme and will appear in the workshop pre-proceedings.
Pre-proceedings will be available online before the Workshop.

-----------------------------------------------------------------------
LIST OF TOPICS
-----------------------------------------------------------------------

EDUCATION
* open education;
* open learning communities and environments;
* open learning in formal and informal education;
* learning processes in open communities;
* collaborative learning;
* methodologies and tool to support collaboration;
* social constructivism;
* peer assessment;
* student experience in open communities;
* open community approaches to teaching;
* teaching software engineering through OSS project participation;
* peer-review in students' assessment;
* validation and certification of open education approaches;
* validation and certification of peer assessment approaches.

RESEARCH
* peer-production process;
* open communities as peer-production models;
* analytical models for peer-production processes;
* business models for peer-production;
* open community management and organisation;
* knowledge management in open communities;
* management and analysis of open data repositories;
* management and analysis open source software repositories;
* data mining and process mining of (software, communication, etc.)
  repositories;
* community evolution;
* community assessment;
* peer review in OSS and other peer-production efforts;
* quality assessment of OSS and other peer-production efforts;
* certification of OSS and other peer-production processes;
* peer-assessment of research outputs, citations analysis
  controversies, open-feedback-based bibliometrics;
* legal implications in peer-production, OSS and peer-production
  licenses;
* copyright and copyleft in OSS and peer-production, action research;
* empirical studies.

TECHNOLOGY
* technological innovation in open communities;
* open communities and technology diffusion;
* information trustworthiness in thematic communities;
* privacy in open communities;
* recommender systems, reputation systems;
* machine learning; deep learning architectures;
* user/consumer reviews and quality assessment;
* methodologies and tools for analysis, verification, validation,
  decision support, quality * assessment and certification.

FORMAL METHODS
* open and collaborative approaches in formal methods, logics and
  mathematics education;
* open community research in formal methods and software engineering;
* formal modelling of learning and collaboration;
* integrating formal methods technologies and tools within OSS
  projects as a means for formal methods acceptance and diffusion;
* reverse engineering of OSS;
* static analysis, testing and inspection of OSS;
* safety, security and usability analysis in OSS;
* automated source code analyses in OSS;
* software evolution and reconfigurability in OSS.

-----------------------------------------------------------------------
PROGRAM CO-CHAIRS
-----------------------------------------------------------------------

* Luis Barbosa, UNU-EGOV, United Nations University, UN, and
  Department of Computer Science, University of Minho, Portugal
* Antonio Cerone, Department of Computer Science, Nazarbayev
  University, Kazakhstan

-----------------------------------------------------------------------
PROGRAM COMMITTEE (provisional)
-----------------------------------------------------------------------

* Roberto Bagnara, BUGSENG and Department of Mathematical, Physical
  and Computer Sciences, University of Parma, Italy
* Luis Barbosa, UNU-EGOV, United Nations University, UN, and
  Department of Computer Science, University of Minho, Portugal
  (Program Co-chair)
* Marco C. Barbosa, Department of Computing Engineering, Universidad
  Federal de Tecnologia do Paraná, Brazil
* Leonor Barroca, School of Computing and Communication, Open
  University, UK
* Peter T. Breuer, Hecusys LLC, USA
* Daniel Burgos, Universidad Internacional de La Rioja (UNIR), Spain
* F. Heron Carvalho Júnior, Department of Computing, Universidad
  Federal do Ceará, Brazil
* Antonio Cerone, Department of Computer Science, Nazarbayev
  University, Kazakhstan (Program Co-chair)
* Soumaya ben Dhaou, UNU-EGOV, United Nations University, UN
* Yannis Dimitriadis, School of Telecommunications Engineering,
  University of Valladolid, Spain
* Elsa Estevez, Department of Science and Computer Engineering,
  Universidad Nacional del Sur, Argentina
* João F. Ferreira, IST, Department of Electrotechnical and Computer
  Engineering, University of Lisboa, Portugal
* Michela Fazzolari, Institute for Informatics and Telematics
  (CNR-IIT), Italy
* Roberta Gori, Department of Computer Science, University of Pisa,
  Italy
* Padmanabhan Krishnan, Oracle Labs, Australia
* Andreas Meiszner, Scio, Portugal, and School of Management,
  University of Liverpool, UK
* Paolo Milazzo, Department of Computer Science, University of Pisa,
  Italy
* Renato Neves, Department of Computer Science, University of Minho,
  Portugal
* Donatella Persico, Institute for Educational Technologies (CNR-ITD),
  Italy
* Alexander K. Petrenko, Institute for System Programming, Russian
  Academy of Sciences (ISP RAS), Russia
* Marinella Petrocchi, Institute for Informatics and Telematics
  (CNR-IIT), Italy
* Maria Helena Martinho, School of Education, University of Minho,
  Portugal
* Lucia Rapanotti, School of Computing and Communication, Open
  University, UK
* Steve Reeves Department of Computing and Mathematical Sciences,
  University of Waikato, New Zealand
* Mona Rizvi, Department of Computer Science, Nazarbayev University,
  Kazakhstan
* Markus Roggenbach, Department of Computer Science, Swansea
  University, UK
* Marcus Specht, Welten Institute, Research Centre for Learning,
  Teaching and Technology, Open University of The Netherlands, The
  Netherlands
* Ioannis Stamelos, School of Informatics, Aristotle University of
  Thessaloniki, Greece
* Sulayman Sowe, Department of Informatics, Carl von Ossietzky
  University of Oldenburg, Germany
* Anthony Wasserman, Integrated Innovation Institutre, Carnegie Mellon
  University Silicon Valley, USA

-----------------------------------------------------------------------
KEYNOTE SPEAKER
-----------------------------------------------------------------------

Andreas Meiszner Scio, Portugal, and School of Management, University
of Liverpool, UK

-----------------------------------------------------------------------
PUBLICATION
-----------------------------------------------------------------------

Accepted regular and short papers will be published after the Workshop
by Springer in a volume of Lecture Notes in Computer Science
(http://www.springer.com/lncs), which will collect contributions to
some workshops and symposia co-located with FM 2019. Condition for
inclusion in the post-proceedings is that at least one of the
co-authors has presented the paper at the Workshop.

One or more journal special issue(s) with selected papers may be
planned, depending on the number and quality of submissions.

-----------------------------------------------------------------------
CONTACT
-----------------------------------------------------------------------

All inquiries concerning submissions should be sent to opencert2019 AT
easychair AT org


                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=e40d167151db9a55cd0764a7b95b84f8a1948699.camel@gmail.com \
    --to=nevrenato@gmail.com \
    --cc=events@fmeurope.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox