K-user mailing list

[Stefan Ciobaca <stefan.ciobaca AT info.uaic.ro>]

[Apologies for multiple copies]

FROM 2018 - First Call for Papers

        WORKING FORMAL METHODS SYMPOSIUM (FROM)

       http://fmse.info.uaic.ro/event/from-2018/

18 - 20 June 2018

Faculty of Computer Science

Alexandru Ioan Cuza University

Iasi, Romania

Deadline for extended abstract submissions: 29 April 2018

Invited speakers who confirmed: see the web page of the event:

http://fmse.info.uaic.ro/event/from-2018/

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.

Depending on the number and the quality of submissions, we will invite

the authors of selected contributions to submit extended versions to a

special issue of a well-ranked peer-reviewed journal.