posted by user: smotogna || 1438 views || tracked by 1 users: [display]

FROM 2020 : Working Formal Methods Symposium

FacebookTwitterLinkedInGoogle

Link: http://www.cs.ubbcluj.ro/from2020/
 
When Sep 4, 2020 - Sep 6, 2020
Where Cluj-Napoca, Romania
Submission Deadline Jun 30, 2020
Notification Due Jul 30, 2020
Final Version Due Aug 24, 2020
Categories    computer science   formal methods
 

Call For Papers

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.

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.

Related Resources

AVC 2020   Advances in Vision Computing: An International Journal
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
IEEE-CVIV 2020-Ei/Scopus 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
EMNLP 2020   Conference on Empirical Methods in Natural Language Processing
AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
CONISOFT 2020   The 8th IEEE International Conference on Software Engineering Research and Innovation
JSE 2020   9th International Conference on Software Engineering and Applications
DAWSN 2020   Special Issue “Distributed Algorithms for Wireless Sensor Networks”