Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] [ICFEM 2022] Last CfP


view this post on Zulip Email Gateway (Apr 03 2022 at 09:18):

From: ADRIAN RIESCO RODRIGUEZ <ariesco@fdi.ucm.es>
ICFEM 2022
October 24-27, 2022, Madrid, Spain
http://maude.ucm.es/ICFEM22/

Overview


ICFEM is an international leading conference series in formal methods and
software engineering. Since 1997, ICFEM has been serving as an
international forum for researchers and practitioners who have been
seriously applying formal methods to practical applications. Researchers
and practitioners, from industry, academia, and government, are encouraged
to attend, present their research, and help advance the state of the art.
ICFEM is interested in work that has been incorporated into real production
systems, and in theoretical work that promises to bring practical and
tangible benefit. ICFEM has been hosted in many countries around the world.

Participation


We expect ICFEM 2022 to take place physically. However, in case any
participant requires to assist/present virtually we will provide support
for attending the conference online.

Topics of Interest


Authors are invited to submit high quality technical papers describing
original and unpublished work in all theoretical aspects of software
engineering. Topics of interest include, but are not limited to:

Important Dates


Workshop/Tutorial Proposals: March 13, 2022 (send your proposals to
ariesco@ucm.es)
Abstract Submission: April 10, 2022 (AOE)
Paper Submission: April 17, 2022 (AOE)
Author Notification: June 26, 2022
Camera-ready versions: July 10, 2022
Conference: October 24-27, 2022

Publication


The proceedings of the ICFEM 2022 symposium are planned to be published in
Lecture Notes in Computer Science (Springer). The authors of a selected
subset of accepted papers will be invited to submit extended versions of
their papers to a special issue in journals indexed in the JCR. In
particular, selected papers in the topics of the Journal of Logical and
Algebraic Methods in Programming will be invited to a special issue.

Invited speakers


Santiago Escobar (Universitat Politècnica de València)
Xiaowei Huang (University of Liverpool)
Yuan Feng (University of Technology Sydney)

Paper submission


Submission should be done through the ICFEM 2022 submission page, handled
by the EasyChair conference system:

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

As in previous years, the proceedings will be published in the Springer
Lecture Notes in Computer Science series.

Papers should be written in English and should not exceed 16 pages
(including references) in the Springer's LNCS format. Additional material
may be placed in an appendix, to be read at the discretion of the reviewers
and to be omitted in the final version. Formatting style files and further
guidelines for formatting can be found at the Springer website (more
details at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
).


Last updated: Mar 29 2024 at 12:28 UTC