CFP

FROM 2020: The fourth Working Formal Methods Symposium 2020

Babes-Bolyai University

Cluj-Napoca, Romania, September 4-6, 2020

Conference website	http://www.cs.ubbcluj.ro/from2020/
Submission link	https://easychair.org/conferences/?conf=from20
Submission deadline	July 27, 2020

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 rigourfor 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 onone hand the development of adequate mathematical methods andframeworks and on the other hand the development of tools that helpthe user effectively apply these methods/frameworks.

FROM 2020 is organized by by Faculty of Mathematics and Computer Scienceat 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 thata 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.

Important Dates

July 27, 2020 (AoE): deadline for paper submission
August 15, 2020: notification of acceptance
August 25, 2020: revised papers for Studia pre-proceedings
August 31, 2020: registration
September 4-6, 2020: virtual symposium days
September 14, 2020: revised papers for the CCIS post-proceedings

Submission Guidelines

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 6 pages, excluding references) should advocate apromising 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 interestingdiscussions.

Both types of contributions will benefit from feedback received at theworkshop. 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).

List of Topics

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
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
Computational logic
Computer mathematics
Knowledge representation, ontology reasoning, deductive databases
Program analysis
Verification and synthesis of software and hardware
Uncertainty reasoning and soft computing

Committees

Program Committee

Xin Chen Nanjing University, China
Christine Choppy (Université Paris Nord, France)
Stefan Ciobaca Alexandru Ioan Cuza University of Iasi, Romania
Florin Craciun (co-chair) Babes-Bolyai University, Romania
Septimiu Crivei Babes-Bolyai University, Romania
Mengda He (Teesside University, UK)
Zoltan Horvath Eotvos Lorand University, Hungary
Yanhong Huang East China Normal University, China
Mehdi Jazayeri (University of Lugano, Switzerland)
Alexandra Jimborean (Uppsala University, Sweden)
Temur Kutsia Johannes Kepler University Linz, Austria
Ton Chanh Le Stevens Institute of Technology, US
Laurentiu Leustean University of Bucharest, Romania
Yi Li Nanyang Technological University
David Lo Singapore Management University, Singapore
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, UK
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
Iulian Simion Babeș-Bolyai University, Romania
Viorica Sofronie-Stokkermans University Koblenz-Landau, Germany
Anna Soos Babes-Bolyai University, Romania
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
Huibiao Zhu East China Normal University, China

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

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, UK
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 Jebelean Johannes Kepler University Linz, Austria
Yang Liu Nanyang Technological University, Singapore
Zhiming Liu Southwest University, China
Quang Loc Le University College London, UK
Ileana Ober Université Paul Sabatier, Toulouse, France
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

Publication

Papers should be written in English and should follow the formattingrequirements 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 selected papers will be published in a post-proceedings after the conference. The post-proceedings will be published with Springer in their Communications in Computer and Information Science (CCIS) series . CCIS is abstracted/indexed in DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus. CCIS volumes are also submitted for the inclusion in ISI Proceedings.

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

Contact

All questions about submissions should be emailed to craciunf@gmail.com