[Apologies for multiple copies]
Call for Short Papers
---------------------------
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/
Submission of short papers for presentation at the symposium is now
invited.
Short papers may be research papers, describe work in progress or provide
system descriptions. They need not be original.
The page limit for short papers is 5 pages formatted according to the EPTCS
macro package (http://style.eptcs.org/). They should be submitted through
the
EasyChair system using the Web page
https://easychair.org/conferences/?conf=from2019
Please include Short Paper in the title, i.e. "Title of Paper (Short Paper)"
Short papers will not be considered for inclusion in the EPTCS proceedings
of the
symposium, but authors of the best original contributions will be invited
to submit
extended versions to a special issue of the journal Fundamenta Informaticae.
One author of every accepted paper must register for the symposium and
present
the paper during the symposium.
Questions related to submission may be sent to the program chairs.
Important Dates
---------------
July 5 2019: submission of short papers
August 9 2019: notification of acceptance
August 10 2019: registration
September 3-5 2019: symposium days
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
Program chairs
--------------------
Mircea Marin, West University of Timisoara ([email protected])
Adrian Craciun, West University of Timisoara ([email protected])
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
