[ecoop-info] FROM 2019 - last call for regular or short papers (extended deadline)

[Mircea Marin]

[Apologies for multiple copies]

Last Call for Papers (REGULAR and SHORT)

------------------------------------------------------------


                     FROM 2019


               Working Formal Methods Symposium

         September 3-5, 2019, Timisoara, Romania

               http://from2019.projects.uvt.ro



               in conjunction with SYNASC 2019

                   https://synasc.ro/2019/


Aims

----

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.


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 Iasi

(see http://fmse.info.uaic.ro/event/from-2018) and it included 9 invited

talks and 14 contributed talks.


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.


Important Dates

---------------

July 10 2019:        deadline for paper submission

August 2 2019:      notification of acceptance

August 9 2019:      revised papers according to the reviews

August 9 2019:      registration

September 3-5 2019: symposium days


Invited Speakers

----------------

Marcello Bonsangue, Leiden University, Holland

Marius Bozga, CNRS, France

Florin Craciun, Babes Bolyai, Cluj-Napoca, Romania

Madalina Erascu, West University of Timisoara, Romania

Temur Kutsia, Johannes Kepler University of Linz, Austria

Laurentiu Leustean, University of Bucharest, Romania

Dorel Lucanu, Alexandru Ioan Cuza University of Iasi, Romania

Peter Csaba Olveczky, University of Oslo, Norway

Sorin Stratulat, University of Lorraine, Metz, France


Scope

-----

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 15 pages, or short

papers of maximum 5 pages, formatted according to the EPTCS macro package

(http://style.eptcs.org/).


Regular paper must represent original work and should not be submitted

to another conference at the same time.

Short papers may be research papers, describe work in progress or provide

system descriptions. They need not be original.


Regular paper will be considered for inclusion in the EPTCS proceedings of
the

symposium. The submitting author of an accepted regular paper will have to
sign,

on behalf of all authors of the paper, at  http://copyright.eptcs.org.

Authors of the best original contributions -- regular or short -- will be

invited to  submit extended versions to a special issue of the journal

Fundamenta Informaticae.


All submissions will be handled via the  EasyChair Conference system at

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


Programme Committee

------------------

- Gabriel Ciobanu, Romanian Academy, Institute of Computer Science, Iasi

- Stefan Ciobacaƒ, Alexandru Ioan Cuza University of Iasi

- Adrian Craciun (co-chair), West University of Timisoara,

- Catalin Dima, Universite Paris-Est Creteil, France

- Jetty Kleijn, Leiden University

- Stefan Leue, University of Konstanz

- Mircea Marin (co-chair), West University of Timisoara,

- 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 Bonchis, West University of Timisoara

- Isabela Draƒmnesc, West University of Timisoara

- Gabriel Istrate, West University of Timisoara


General chairs

--------------

Mircea Marin, West University of Timisoara

Adrian Craciun, West University of Timisoara