[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.