[TYPES/announce] FROM 2018 - Call for Papers

[Stefan Ciobaca]

[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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180328/97e5a226/attachment-0001.html>