FROM 2019: Working Formal Methods Symposium West University of Timisoara Timisoara, Romania, September 3-5, 2019 |
Conference website | http://staff.fmi.uvt.ro/~mircea.marin/FROM_2019/index.html |
Submission link | https://easychair.org/conferences/?conf=from2019 |
Poster | download |
Abstract registration deadline | June 21, 2019 |
Submission deadline | June 28, 2019 |
Notification of acceptance | July 26, 2019 |
Working Formal Methods Symposium
September 3-5 2019 Faculty of Mathematics and Computer Science
West University of Timișoara
Deadlines:
- Abstract submissions: June 21 2019
- Full paper submission: June 28
- Author notification: July 26, 2019
- Revised papers: August 9, 2019
- Registration: August 9, 2019
- Symposium days: September 3-5 2019
Invited speakers
- Marcello Bonsangue, Leiden University, Holland
- Marius Bozga, CNRS, France
- Florin Crăciun, Babes Bolyai, Cluj-Napoca, Romania
- Mădălina Erașcu, West University of Timișoara, Romania
- Temur Kutsia, Johannes Kepler University of Linz, Austria
- Laurențiu Leuștean, University of Bucharest, Romania
- Dorel Lucanu, Alexandru Ioan Cuza University of Iași, Romania
- Peter Csaba Ölveczky, University of Oslo, Norway
- Sorin Stratulat, University of Lorraine, Metz, France
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, modelling, 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 2019 is organized by the Faculty of Mathematics and Informatics at West University of Timișoara, together with the Faculty of Computer Science from Alexandru Ioan Cuza University in Iași, the Research Institute of the University of Bucharest (ICUB), and the Faculty of Mathematics and Computer Science at the University of Bucharest.
FROM 2019 is the third event in 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. The second edition was held in 2018 in Iași (see http://fmse.info.uaic.ro/event/from-2018) and it included 9 invited talks 14 contributed talks.
Our 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.
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
Publication
The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of the best contributions will be invited to submit a revised version of their work to a special issue of the journal Fundamenta Informaticae.
Submissions
We expect submissions of regular papers of maximum fifteen (15) pages, formatted according to the EPTCS macro package (http://style.eptcs.org/).
The paper must represent original work and should not be submitted to another conference at the same time. Regular contributions should be preceded by the submission of a a short abstract. Submissions must be in PDF or PS format and will be handled via the EasyChair Conference system at https://easychair.org/conferences/?conf=from2019
The submitting author of an accepted paper will have to sign, on behalf of all authors of the paper, a copyright agreement (see http://copyright.eptcs.org)
Programme committee
- Gabriel Ciobanu, Romanian Academy, Institute of Computer Science, Iași
- Stefan Ciobâcă, Alexandru Ioan Cuza University of Iași
- Adrian Crăciun (co-chair), West University of Timișoara
- Cătălin Dima, Universite Paris-Est Creteil, France
- Jetty Kleijn, Leiden University
- Stefan Leue, University of Konstanz
- Mircea Marin (co-chair), West University of Timișoara
- Victor Mitrana, University of Bucharest
- Paulo Oliva, Queen Mary University of London
- Ion Petre, University of Turku
- Andrei Popescu, Middlesex University London
- Vlad Rusu, INRIA Lille
- Viorica Sofronie-Stokkermans, University of Koblenz-Landau
Organizing committee
- Cosmin Bonchiș, West University of Timișoara
- Isabela Drămnesc, West University of Timișoara
- Gabriel Istrate, West University of Timișoara
General chairs
- Mircea Marin, West University of Timișoara
- Adrian Crăciun, West University of Timișoara