Logic List Mailing Archive

CfP: FROM 2026 – 10th Working Formal Methods Symposium, 15–17 September 2026, Timisoara (Romania), deadline: 6 June 2026

(Apologies for the cross-postings)
============================================================
FROM 2026 - First Call for Papers

           Tenth Working Formal Methods Symposium

          September 15-17, 2026, Timisoara, Romania
               https://from2026.uvt.ro
        co-located with SYNASC 2026
          https://synasc.ro/2026/


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 28th International Symposium on Symbolic
and
Numeric Algorithms for Scientific Computing (SYNASC 2026).

ORGANIZERS
----------
Faculty of Informatics of West University of Timisoara  (
https://info.uvt.ro/en/)
Institute for Logic and Data Science (ILDS, https://ilds.ro/)

IMPORTANT DATES
---------------
Deadline for paper/abstract submission: June 6, 2026
Deadline for author notification: July 5, 2026
Deadline for revised paper/abstract submission: August 23, 2026
Deadline for registration: September 4, 2026
Symposium: September 15-17, 2026

SUBMISSIONS
-----------
Papers of up to 16 pages prepared according to the EPTCS template
(see http://style.eptcs.org/) must be submitted electronically
using the EasyChair submission system at:

https://easychair.org/my/conference?conf=synasc2026

and choosing the track "FROM 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.

Authors of selected papers will be invited to submit an extended version to
a journal, most
probably the Journal of Logical and Algebraic Methods in Programming
(
https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming),

subject to formal approval by Elsevier.

TOPICS OF INTEREST
------------------
The topics of interest for FROM 2026 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.

INVITED SPEAKERS
-------------------
Temur Kutsia (Johannes Kepler University of Linz)
Grigore Ro?u (University of Illinois at Urbana-Champaign)
Gheorghe ?tef?nescu (University of Bucharest)
Radu Iosif (CNRS/VERIMAG)
C?t?lin Dima (Universit? Paris-Est Cr?teil)

PROGRAMME COMMITTEE
-------------------
Andrei Arusoaie (Alexandru Ioan Cuza University of Ia?i)
Georgiana Caltais (University of Twente)
?tefan Ciob?c? (Alexandru Ioan Cuza University of Ia?i)
Florin Cr?ciun (Babe?-Bolyai University of Cluj-Napoca)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php