K-user mailing list

[From 2017 <from2017 AT icub.unibuc.ro>]

[Apologies for multiple copies]

FROM 2017 - Second Call for Papers

http://unibuc.ro/~conference/from2017

        WORKING FORMAL METHODS SYMPOSIUM

5 - 8 July 2017 Faculty of Mathematics and Computer Science

University of Bucharest

Deadline for abstract submissions:  21 May 2017

Aims and Scope

Formal methods use mathematical techniques and rigour for developing

software and hardware. The formal methods can be used to specify,

verify, and analyse in any part of the system life cycle: requirements

engineering, modeling, design, architecture, implementation, testing,

maintenance and evolution. This assumes on the one hand the

development of adequate mathematical methods and frameworks and on the

other hand the development of tools that help the user to effectively

apply these methods/frameworks in the life cycle of the system. 

ICUB (The Research Institute of the University of Bucharest), the

Faculty of Mathematics and Computer Science of the University of

Bucharest, and the Faculty of Computer Science of the Alexandru Ioan

Cuza University of Iasi organize FROM 2017, the first one from a

yearly workshop series, meant to bring together Romanian researchers

in formal methods and to  foster international collaborations. 

Working Formal Methods Symposium (FROM) aims to bring together

researchers and practitioners who work for formal methods by

contributing with 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 is available upon request. 

The program of the symposium will include  invited lectures (the

current list can be seen on the workshop web page) 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

- Mathematical structures in computer science

- Models of computation

- Semantics of programming languages

Methods of interest include:

- Model checking

- Deductive verification

- Automated reasoning and model generation

- Automated induction

- Symbolic computation

Applications of interest include:

- Program analysis

- Verification and synthesis of software and hardware,

- Computational logic,

- Computer mathematics,

- Knowledge representation, ontology reasoning, deductive databases,

- Uncertainty reasoning and soft computing

Submissions

Regular contributions will be based on an extended abstract

of 2 pages, excepting the references, formatted according to

the guidelines for Springer LNCS:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

The abstracts should be submitted before 21 May 2017, via EasyChair: 

https://easychair.org/conferences/?conf=from2017

The notification of acceptance will be received by 31 May 2017.

Depending on the number and the quality of submissions, we intend to

publish extensions of selected presentations in peer-reviewed

well-ranked journal.

Registration

There is no conference fee, but valid registration is required in

order to participate at the conference.  All participants registered

with an abstract will receive the conference kit.

There is an additional fee of 50 RON for the social dinner at

Casa Universitarilor.  

For details and updates see http://unibuc.ro/~conference/from2017/