Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] DataMod 2025 - First Call for Papers


view this post on Zulip Email Gateway (Jun 17 2025 at 13:18):

From: Ouadie Khebbeb <ouadie.khebbeb.tmp@gmail.com>
DataMod 2025 - 13th International Symposium "From Data to Models and Back"
Toledo, Spain, 10-11 November 2025

Website: https://datamod-symposium.github.io/DataMod-2025/

DataMod 2025 is a satellite event of the 23rd International Conference of
Software Engineering and Formal Methods (SEFM 2025):
https://sefm-conference.github.io/2025/


Abstract submission deadline (optional): 22 August 2025
Paper submission deadline: 29 August 2025


CONTEXT & OBJECTIVES

DataMod 2025 aims at bringing together practitioners and researchers from
academia, industry and research institutions interested in the combined
computational modelling methods with data-driven techniques from the areas
of knowledge management, data mining and machine learning. Modelling
methodologies of interest include automata, agents, Petri nets, process
algebras and rewriting systems. Application domains include social systems,
ecology, biology, medicine, smart cities, governance, security, education,
software engineering, and any other field that deals with complex systems
and large amounts of data.

Papers can present research results in any of the themes of interest for the
symposium, as well as application experiences, tools and promising
preliminary
ideas. Papers dealing with synergistic approaches that integrate modelling
and
knowledge management/discovery, or that exploit knowledge
management/discovery
to develop/synthesise system models are especially welcome.

Authors are invited to submit original research or tool papers on any
relevant
topic. These can either be normal or short papers. Short papers can discuss
new
ideas which are at an early stage of development and which have not yet been
thoroughly evaluated.

TOPICS

Modelling and analysis methodologies include:

Application domains include:

Synergistic approaches include:

(1) Use of modelling methods and notations in a knowledge
management/discovery context
(2) Development and use of common modelling and knowledge
management/discovery frameworks to explore and understand complex
systems from the application domains of interest

SUBMISSION AND PUBLICATION

All contributions in the form of either

will be reviewed by three members of the Program Committee. Authors are
invited
to submit their contributions via Easychair
https://easychair.org/conferences/?conf=datamod2025

In addition, presentation reports will be considered having the following
form:

Presentation reports concern recent or ongoing work on relevant topics and
ideas, for timely discussion and feedback at the workshop. There is no
restriction as to previous/future publication of the contents of a
presentation. Typically, a presentation is based on a paper which recently
appeared (or which is going to appear) in the proceedings of another
recognised
conference, or which has not yet been submitted. Presentation reports will
receive a lightweight review to establish their relevance for DataMod.

Authors are invited to submit their presentation report via Easychair
https://easychair.org/conferences/?conf=datamod2025

All papers should be written in English and formatted according to the LNCS
style. Paper formatting guidelines according to LNCS style are available
here:
http://www.springer.com/lncs

Detailed information on the submission procedure and format are available
on the
symposium web page: https://datamod2025.github.io/

Accepted papers (both regular and short) will be included in a dedicated
LNCS
post-proceedings volume published by Springer after the Symposium. Condition
for inclusion in the proceedings is that at least one of the co-authors
attends
and presents the paper at the Symposium.

IMPORTANT DATES

Abstract Submission deadline (optional): 22 August 2025
Paper Submission deadline: 29 August 2025
Notification: 30 September 2025
Revised Version: 7 October 2025
Symposium: 10-11 November 2025

KEYNOTE SPEAKERS

PROGRAM CO-CHAIRS

PROGRAM COMMITTEE

CONTACT

All inquiries should be sent to datamod2025@easychair.org

view this post on Zulip Email Gateway (Jun 19 2025 at 05:45):

From: Ouadie Khebbeb <ouadie.khebbeb.tmp@gmail.com>
DataMod 2025 - 13th International Symposium "From Data to Models and Back"
Toledo, Spain, 10-11 November 2025

Website: https://datamod-symposium.github.io/DataMod-2025/

DataMod 2025 is a satellite event of the 23rd International Conference of
Software Engineering and Formal Methods (SEFM 2025):
https://sefm-conference.github.io/2025/


Abstract submission deadline (optional): 22 August 2025
Paper submission deadline: 29 August 2025


CONTEXT & OBJECTIVES

DataMod 2025 aims at bringing together practitioners and researchers from
academia, industry and research institutions interested in the combined
computational modelling methods with data-driven techniques from the areas
of knowledge management, data mining and machine learning. Modelling
methodologies of interest include automata, agents, Petri nets, process
algebras and rewriting systems. Application domains include social systems,
ecology, biology, medicine, smart cities, governance, security, education,
software engineering, and any other field that deals with complex systems
and large amounts of data.

Papers can present research results in any of the themes of interest for the
symposium, as well as application experiences, tools and promising
preliminary
ideas. Papers dealing with synergistic approaches that integrate modelling
and
knowledge management/discovery, or that exploit knowledge
management/discovery
to develop/synthesise system models are especially welcome.

Authors are invited to submit original research or tool papers on any
relevant
topic. These can either be normal or short papers. Short papers can discuss
new
ideas which are at an early stage of development and which have not yet been
thoroughly evaluated.

TOPICS

Modelling and analysis methodologies include:

Application domains include:

Synergistic approaches include:

(1) Use of modelling methods and notations in a knowledge
management/discovery context
(2) Development and use of common modelling and knowledge
management/discovery frameworks to explore and understand complex
systems from the application domains of interest

SUBMISSION AND PUBLICATION

All contributions in the form of either

will be reviewed by three members of the Program Committee. Authors are
invited
to submit their contributions via Easychair
https://easychair.org/conferences/?conf=datamod2025

In addition, presentation reports will be considered having the following
form:

Presentation reports concern recent or ongoing work on relevant topics and
ideas, for timely discussion and feedback at the workshop. There is no
restriction as to previous/future publication of the contents of a
presentation. Typically, a presentation is based on a paper which recently
appeared (or which is going to appear) in the proceedings of another
recognised
conference, or which has not yet been submitted. Presentation reports will
receive a lightweight review to establish their relevance for DataMod.

Authors are invited to submit their presentation report via Easychair
https://easychair.org/conferences/?conf=datamod2025

All papers should be written in English and formatted according to the LNCS
style. Paper formatting guidelines according to LNCS style are available
here:
http://www.springer.com/lncs

Detailed information on the submission procedure and format are available
on the
symposium web page: https://datamod2025.github.io/

Accepted papers (both regular and short) will be included in a dedicated
LNCS
post-proceedings volume published by Springer after the Symposium. Condition
for inclusion in the proceedings is that at least one of the co-authors
attends
and presents the paper at the Symposium.

IMPORTANT DATES

Abstract Submission deadline (optional): 22 August 2025
Paper Submission deadline: 29 August 2025
Notification: 30 September 2025
Revised Version: 7 October 2025
Symposium: 10-11 November 2025

KEYNOTE SPEAKERS

PROGRAM CO-CHAIRS

PROGRAM COMMITTEE

CONTACT

All inquiries should be sent to datamod2025@easychair.org


Last updated: Jun 20 2025 at 12:44 UTC