K-user mailing list

[Stefan Ciobaca <stefan.ciobaca AT gmail.com>]

[Apologies for multiple copies]
FROM 2018 - Second Call for Papers

        WORKING FORMAL METHODS SYMPOSIUM (FROM)
       http://fmse.info.uaic.ro/event/from-2018/

New! Special Issue: Fundamenta Informaticae

18 - 20 June 2018
Faculty of Computer Science
Alexandru Ioan Cuza University
Iasi, Romania

Deadline for extended abstract submissions: 29 April 2018

Invited speakers:
Călin Belta, Boston University, US
Radu Călinescu, University of York, UK
Cătălin Dima, Universite Paris-Est Creteil, France
Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania
Radu Grigore, School of Computing University of Kent, UK
Radu Grosu, Vienna University of Technology, Austria
Cătălin Hriţcu, INRIA Paris, France
Mircea Marin, West University of Timișoara, Romania
Grigore Roşu, University of Illinois at Urbana-Champaign, US
Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany
Gheorghe Ștefănescu, University of Bucharest, Romania

Aims and Scope

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 2018 is organized by the Faculty of Computer Science at the
Alexandru Ioan Cuza University in Iasi, The Research Institute of the
University of Bucharest (ICUB), and the Faculty of Mathematics and
Computer Science at the University of Bucharest. FROM 2018 is the
second event in a a yearly workshop series. The first edition was held
in 2017 in Bucharest (see http://unibuc.ro/~conference/from2017) and
it included sixteen invited talks, delivered by top researchers in
field, and seven contributed talks. Starting with the current edition,
the goal is to increase the weight of the contributed talks.

The Working Formal Methods Symposium (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.

PhD Students are highly encouraged to participate and support for
accommodation might be available upon request.

The program of the symposium will include invited lectures and regular
contributions. Submissions on the general topic of theoretical
computer science, formal methods and applications are solicited.

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

Regular contributions will be based on an extended abstract of maximum
4 pages, except references, formatted according to the Springer LNCS
guidelines:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The
extended abstracts should be submitted before 29 April 2018, via
EasyChair: https://easychair.org/conferences/?conf=from2018 The
notification of acceptance will be received by 21 May 2018.

The authors of the best contributions will be invited to submit extended

versions to a special issue of Fundamenta Informaticae.

Laurențiu Leuștean, co-chair FROM 2018
Dorel Lucanu, co-chair FROM 2018