[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/
_______________________________________________
computational.science mailing list
computational.science@lists.iccsa.org
https://lists.iccsa.org/mailman/listinfo/computational.science

Hosted by Sardina Systems: Hyper-Efficient OpenStack Cloud

Betreff:	[computational.science] FROM 2017
Datum:	Mon, 15 May 2017 21:57:06 +0300
Von:	From 2017 <from2017@icub.unibuc.ro>
An:	From 2017 <from2017@icub.unibuc.ro>