[TYPES/announce] Working Formal Methods Symposium (FROM) 2024, Timisoara, Romania

[Madalina Erascu]

Dear all,
join us at the Working Formal Methods Symposium (FROM) 2024 and be part of a groundbreaking initiative to build and strengthen a vibrant community of formal methods enthusiasts in Romania! The workshop is organized by Romanians working in formal methods and this year, the eight edition, is held in Timisoara, Romania.

Hope to see you there!
===
(Apologies for the cross-postings.)
============================================================
                                  FROM 2024
           Eighth Working Formal Methods Symposium

          September 16-18, 2024, Timisoara, Romania
               https://urldefense.com/v3/__http://from2024.uvt.ro__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwNwlAwRAg$ 
        co-located with SYNASC 2024
          https://urldefense.com/v3/__https://synasc.ro/2024/__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwPHmYKKMw$ 


DESCRIPTION
-----------

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 by
creating or using software tools that apply theoretical contributions.

The program of the symposium includes invited lectures and regular contributions.
Submissions on the general topics of formal methods, theoretical computer
science, logic and applications are welcome.

This event is co-located with the 26th International Symposium on Symbolic and
Numeric Algorithms for Scientific Computing (SYNASC 2024).

ORGANIZERS
----------

Faculty of Mathematics and Computer Science of West University of Timisoara  (https://urldefense.com/v3/__https://info.uvt.ro/en/__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwPMfePOfA$ )
Institute for Logic and Data Science (ILDS, https://urldefense.com/v3/__https://ilds.ro/__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwOIbMNrTA$ )

IMPORTANT DATES
---------------

Deadline for paper/abstract submission: June 30, 2024 (extended)
Deadline for author notification: July 19, 2024
Deadline for revised paper/abstract submission: August 29, 2024
Deadline for registration: September 5, 2024
Symposium: September 16-18, 2024

INVITED SPEAKERS
-----------
Dines Bjorner (Technical University of Denmark)
Nikolaj Bjorner (Microsoft Research, USA)
Laura Kovacs (Technical University of Vienna)

Tutorial speakers
~~~~~~~~~~~~~
Andrei Voronkov (University of Manchester, England)
Vlad Rusu (Inria Lille, France)

SUBMISSIONS
-----------

Papers of up to 16 pages prepared according to the EPTCS template
(see https://urldefense.com/v3/__http://style.eptcs.org/__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwOjAmhFIQ$ ) must be submitted electronically
using the EasyChair submission system at:

https://urldefense.com/v3/__https://easychair.org/my/conference?conf=synasc2024__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwOPvCteiw$ 

and choosing the track "Working Formal Methods Symposium"

Research papers must contain original research results not submitted and not
published elsewhere. They will be considered for inclusion in the EPTCS proceedings
of the symposium, which will be indexed in the Web of Science. Authors who want to
present work in progress or discuss new aspects or a survey of their older research
results at the workshop are welcome to submit an extended abstract (up to 8 pages).
Papers will be refereed and accepted on the basis of their scientific merit and relevance
to the topics of the symposium.

TOPICS OF INTEREST
------------------

The topics of interest for FROM 2024 include, but are not limited to:

Areas and formalisms:
+ Category theory in computer science
+ Distributed systems and concurrency
+ Domain science and engineering
+ 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:
+ 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:
+ 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 on any other related topics are welcome.

PROGRAMME COMMITTEE
-------------------

Florin Craciun (Babes-Bolyai University of Cluj-Napoca)
Volker Diekert  (Universitaet Stuttgart)
Temur Kutsia (Johannes Kepler University Linz)
Laurentiu Leustean (University of Bucharest & ILDS & IMAR) (co-chair)
Dorel Lucanu (Alexandru Ioan Cuza University of Iasi)
Mircea Marin (West University of Timisoara) (co-chair)
David Nowak (CNRS & University of Lille)
Corina Pasareanu (NASA & Carnegie Mellon University)
Andrei Popescu (University of Sheffield)
Thomas Powell (University of Bath)
Grigore Rosu (University of Illinois at Urbana-Champaign)
Vlad Rusu (Inria Lille)
Andrei Sipos (University of Bucharest & ILDS & IMAR)
Viorica Sofronie-Stokkermans (University of Koblenz and Landau)
Alicia Villanueva (Universitat Politecnica de Valencia)
Radu Iosif (CNRS-VERIMAG)

***************

Further information is available on our website,
https://urldefense.com/v3/__http://from2024.uvt.ro__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwNwlAwRAg$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240610/f2beb8d4/attachment.htm>