[TYPES/announce] cfp Working Formal Methods Symposium (FROM 2020)

[motogna at cs.ubbcluj.ro]

Working Formal Methods Symposium (FROM 2020)
             September 4-6, 2020, Cluj-Napoca, Romania
               http://www.cs.ubbcluj.ro/from2020/
                   -A Fully Virtual Conference-





##Overview

FROM aims to bring together researchers and practitioners who work
on formal methods by contributing new theoretical results, methods,
techniques, and frameworks, and/or make the formal methods to work
by creating or using software tools that apply theoretical contributions.
Formal methods emphasize the use of mathematical techniques and rigour
for developing software and hardware. They can be used to specify,
verify, and analyse systems at any stage in their life cycle:
requirements engineering, modeling, design, architecture,
implementation, testing, maintenance and evolution. This assumes on
one hand the development of adequate mathematical methods and
frameworks and on the other hand the development of tools that help
the user effectively apply these methods/frameworks.

FROM 2020 is organized by by Faculty of Mathematics and Computer Science
at Babes-Bolyai University in Cluj-Napoca, the STAR-UBB Institute,
the Faculty of Computer Science of the Alexandru Ioan Cuza University of
Iasi,
ICUB (The Research Institute of the University of Bucharest),
and the Faculty of Mathematics and Computer Science of the University of
Bucharest.

Due to the current pandemic situation, FROM 2020 will happen as a fully
virtual
conference.

FROM 2020 is the fourth event in a yearly workshop series.
The first edition was held in 2017 in Bucharest
(http://unibuc.ro/~conference/from2017),
the second edition was held in 2018 in Iasi
(http://fmse.info.uaic.ro/event/from-2018),
and the third edition was held in 2019 in Timisoara
(http://from2019.projects.uvt.ro/).
The second edition papers have been published in Fundamenta Informaticae,
vol.l 173,
no.l 2-3,
while the third edition papers are under review process in
Journal of Logical and Algebraic Methods in Programming.

The format of the symposium encourages interaction. The program
includes invited lectures and regular contributions such that
a wide range of people share their expertise, from experienced researchers
to beginning PhD students.

FROM welcomes submissions on technical contributions, case studies,
experience reports, challenge proposals, and position papers.


##Topics of Interest


Areas and formalisms of interest include:
+ Category theory in computer science
+ Distributed systems and concurrency
+ Formal languages and automata theory
+ Formal modelling, verification and testing
+ Logic in computer science
+ Logical frameworks
+ Mathematical structures in computer science
+ Models of computation
+ Semantics of programming languages
+ Type systems

Methods of interest include:
+ Automated reasoning and model generation
+ Automated induction
+ Certified programs
+ Data-flow and control-flow analysis
+ Deductive verification
+ Mechanized proofs
+ Model checking
+ Proof mining
+ Symbolic computation
+ Term rewriting

Applications of interest include:
+ Computational logic
+ Computer mathematics
+ Knowledge representation, ontology reasoning, deductive databases
+ Program analysis
+ Verification and synthesis of software and hardware
+ Uncertainty reasoning and soft computing


##Submissions

We expect two categories of contributions:

+Full Papers (maximum 15 pages, excluding references) present a
technical contribution, case study, or detailed experience report.
They must not have been published or be concurrently considered for
publication elsewhere. Full papers will be judged on the basis of
originality,
contribution to the field, technical and presentation quality, and
relevance to the
conference.


+Short Papers (maximum 5 pages, excluding references) should advocate a
promising research direction, describe work in progress or provide system
descriptions.
They need not be original. We encourage especially beginning researchers
to present
a planned
path to a PhD. Short papers will be evaluated based on their clarity and
their
potential to generate interesting
discussions.

Both types of contributions will benefit from feedback received at the
workshop. Submissions will be peer reviewed by at least three reviewers.
All submissions will be handled via the  EasyChair Conference system at
https://easychair.org/conferences/?conf=from20
There is no need to indicate the paper category (long/short).

##Formatting and Publication

Papers should be written in English and should follow the formatting
requirements detailed at
 http://www.cs.ubbcluj.ro/~studia-i/journal/journal/about/submissions#authorGuidelines.

All accepted papers will be published online in Studia UBB Informatica
(http://www.cs.ubbcluj.ro/~studia-i/journal/journal)
by default, though authors will be able to opt out of this publication, if
desired.
At least one author of an accepted paper
must attend the symposium to present the work and participate in the
discussions.

The revised versions of the full papers will be published in a
post-proceedings
after the conference.
Further information will be available in short time.

Authors of the best original contributions will also be invited to submit
extended
versions to a special issue
of a prestigious international journal.




##Important Dates
June   30 2020:      deadline for paper submission
July   30 2020:      notification of acceptance
August 24 2020:      revised papers according to the reviews
August 31 2020:      registration
September 4-6 2020:  symposium days
September 14 2020:   revised papers for the post-proceedings

##Invited Speakers
Andrei Arusoaie                Alexandru Ioan Cuza University of Iasi,
Romania
Guangdong Bai                University of Queensland, Australia
Marius Bozga                University of Grenoble, INSA, France
Corina Carstea                University of Southampton, Great Britain
Wei Ngan Chin                National University of Singapore, Singapore
Daniel David                Babes-Bolyai University, Romania
Zhenjiang Hu                Peking University, China
Chao Huang                Northwestern University, US
Tudor Jebeleanu                Johannes Kepler University Linz, Austria
Yang Liu                Nanyang Technological University, Singapore
Zhiming Liu                Southwest University, China
Quang Loc Le                University College London, UK

Jun Pang                University of Luxembourg, Luxembourg
Grigore Rosu                 University of Illinois at Urbana-Champaign, US
Sebastian Rudolph        TU Dresden, Germany
Traian Serbanuta        University of Bucharest, Romania
Jun Sun                        Singapore Management University, Singapore
Meng Sun                Peking University, China
Zhiwu Xu                Shenzhen University, China
Hongseok Yang                Korea Advanced Institute of Science and
Technology, Korea
Naijun Zhan                Institute of Software, Chinese Academy of
Sciences, China




##Programme Committee

Xin Chen                        Nanjing University, China
Stefan Ciobaca                        Alexandru Ioan Cuza University of
Iasi, Romania
Florin Craciun        (co-chair)        Babes-Bolyai University, Romania
Zoltan Horvath                         Eotvos Lorand University, Hungary
Yanhong Huang                        East China Normal University, China
Temur Kutsia                        Johannes Kepler University Linz, Austria
Ton Chanh Le                        Stevens Institute of Technology, US
Laurentiu Leustean                University of Bucharest, Romania
Dorel Lucanu                        Alexandru Ioan Cuza University of
Iasi, Romania
Mircea Marin                        West University of Timisoara, Romania
Victor Mitrana                        University of Bucharest, Romania
Simona Motogna        (co-chair)        Babes-Bolyai University, Romania
Chunyan Mu                        Teesside University, United Kingdom
Iulian Ober                        Universite Paul Sabatier, France
Peter Csaba Olveczky                University of Oslo, Norway
Ion Petre                        University of Turku, Finland
Shengchao Qin        (co-chair)        Teesside University, UK
Vlad Rusu                        INRIA, France
Christian Sacarea                 Babes-Bolyai University, Romania
Viorica Sofronie-Stokkermans        University Koblenz-Landau, Germany
Gheorghe Stefanescu                University of Bucharest, Romania
Alin Stefanescu                        University of Bucharest, Romania
Sorin Stratulat                        Universite de Lorraine, France
Keming Wang                        Southwest Jiaotong University, China
Meng Wang                        Bristol University, UK
Hengjun Zhao                        Southwest University, China



##Local Organizing Committee
Arthur Molnar                Babes-Bolyai University, Romania
Vladiela Petrascu        Babes-Bolyai University, Romania


##General Chairs
Florin Craciun                Babes-Bolyai University, Romania
Simona Motogna                Babes-Bolyai University, Romania




Assoc.Prof.PhD. Simona Motogna
VicePresident of UBB Senate
Faculty of Mathematics and Computer Science
email: motogna at cs.ubbcluj.ro