DataMod 2025 - First Call for Papers

Ouadie Khebbeb <[email protected]> Mon, 16 Jun 2025 08:39:58 +0200
Newsgroups gmane.comp.lang.haskell.general
Message-ID <CALqNa21e3jzq5UtP+xX-_p_=SpnRrxV+MW0+2YpRjBOZOze_uA@mail.gmail.com>
--===============4901326973868578025==
Content-Type: multipart/alternative; boundary="000000000000c33a670637aaaadb"

--000000000000c33a670637aaaadb
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

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 th=
e
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 bee=
n
thoroughly evaluated.

TOPICS

Modelling and analysis methodologies include:
- Agent-based Methodologies
- Automata-based Notations
- Big Data Analytics
- Cellular Automata
- Classification
- Clustering, Segmentation and Profiling
- Conformance Analysis
- Constraint Programming
- Data Mining
- Differential Equations
- Game Theory
- Machine Learning
- Membrane Systems
- Network Theory and Analysis
- Ontologies
- Optimisation Modelling
- Petri Nets
- Process Calculi
- Process Mining
- Rewriting Systems
- Spatio-temporal Data Analysis/Mining
- Statistical Model Checking
- Text Mining
- Topological Data Analysis

Application domains include:
- Biology
- Brain Data and Simulation
- Business Process Management
- Climate Change
- Cybersecurity
- Ecology
- Education
- Environmental Risk Assessment and Management
- Enterprise Architectures
- Epidemiology
- Genetics and Genomics
- Governance
- HCI and Human Behaviour
- Open Source Software Development and Communities
- Pharmacology
- Resilience Engineering
- Safety and Security Risk Assessment
- Social Good
- Social Software Engineering
- Social Systems
- Sustainable Development
- Threat Modelling and Analysis
- Urban Ecology
- Smart Cities and Smart Lands

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

- regular (research, tool or position) paper, up to 16 pages (excluding
references)
- short (research, tool or position) paper, up to 8 pages (excluding
references)

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

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

- presentation report, up to 4 pages

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=3Ddatamod2025

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. Conditio=
n
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

* TBA

PROGRAM CO-CHAIRS

* Livia Lestingi, Politecnico di Milano, Italy
* Gwen Sala=C3=BCn, Universit=C3=A9 Grenoble Alpes, France

PROGRAM COMMITTEE

* Oana Andrei, University of Glasgow
* Kyungmin Bae, Pohang University of Science and Technology (POSTECH)
* Juliana Bowles, School of Computer Science, University of St Andrews
* Giovanna Broccia, ISTI-CNR, FMT Lab
* Antonio Cerone, Nazarbayev University
* Robert Claris=C3=B3, Universitat Oberta de Catalunya
* Carla Ferreira, Universidade NOVA de Lisboa
* Marc Frappier, Universit=C3=A9 de Sherbrooke
* Elisa Gonzalez Boix, Vrije Universiteit Brussel
* Riccardo Guidotti, University of Pisa
* Alexander Kocian, University of Pisa
* Ricardo M. Czekster, Aston University
* Jos=C3=A9 Machado, University of Minho, DI, ALGORITMI/LASI
* Paolo Milazzo, Dipartimento di Informatica - Universit=C3=A0 di Pisa
* Pedro Ribeiro, University of York
* Arpit Sharma, Indian Institute of Science Education and Research
* Volker Stolz, H=C3=B8gskulen p=C3=A5 Vestlandet
* Martin Tappler, TU Wien
* Thais Webber, Aston University
* Lina Ye, CentraleSup=C3=A9lec, LMF, University Paris-Saclay, France

CONTACT

> All inquiries should be sent to [email protected]

--000000000000c33a670637aaaadb
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">DataMod 2025 - 13th International Symposium &quot;From Dat=
a to Models and Back&quot;<br>Toledo, Spain, 10-11 November 2025<br><br>Web=
site: <a href=3D"https://datamod-symposium.github.io/DataMod-2025/">https:/=
/datamod-symposium.github.io/DataMod-2025/</a><br><br>DataMod 2025 is a sat=
ellite event of the 23rd International Conference of<br>Software Engineerin=
g and Formal Methods (SEFM 2025):<br><a href=3D"https://sefm-conference.git=
hub.io/2025/">https://sefm-conference.github.io/2025/</a><br><br>----------=
----------------------------------------------------------------------<br>A=
bstract submission deadline (optional): =C2=A0 22 August 2025<br>Paper subm=
ission deadline: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 29=
 August 2025<br>-----------------------------------------------------------=
---------------------<br><br>CONTEXT &amp; OBJECTIVES<br><br>DataMod 2025 a=
ims at bringing together practitioners and researchers from <br>academia, i=
ndustry and research institutions interested in the combined <br>computatio=
nal modelling methods with data-driven techniques from the areas <br>of kno=
wledge management, data mining and machine learning. Modelling <br>methodol=
ogies of interest include automata, agents, Petri nets, process <br>algebra=
s and rewriting systems. Application domains include social systems, <br>ec=
ology, biology, medicine, smart cities, governance, security, education, <b=
r>software engineering, and any other field that deals with complex systems=
 <br>and large amounts of data.<br><br>Papers can present research results =
in any of the themes of interest for the<br>symposium, as well as applicati=
on experiences, tools and promising preliminary<br>ideas. Papers dealing wi=
th synergistic approaches that integrate modelling and<br>knowledge managem=
ent/discovery, or that exploit knowledge management/discovery<br>to develop=
/synthesise system models are especially welcome.<br><br>Authors are invite=
d to submit original research or tool papers on any relevant<br>topic. Thes=
e can either be normal or short papers. Short papers can discuss new<br>ide=
as which are at an early stage of development and which have not yet been<b=
r>thoroughly evaluated.<br><br>TOPICS<br><br>Modelling and analysis methodo=
logies include:<br>- Agent-based Methodologies<br>- Automata-based Notation=
s<br>- Big Data Analytics<br>- Cellular Automata<br>- Classification<br>- C=
lustering, Segmentation and Profiling<br>- Conformance Analysis<br>- Constr=
aint Programming<br>- Data Mining<br>- Differential Equations<br>- Game The=
ory<br>- Machine Learning<br>- Membrane Systems<br>- Network Theory and Ana=
lysis<br>- Ontologies<br>- Optimisation Modelling<br>- Petri Nets<br>- Proc=
ess Calculi<br>- Process Mining<br>- Rewriting Systems<br>- Spatio-temporal=
 Data Analysis/Mining<br>- Statistical Model Checking<br>- Text Mining<br>-=
 Topological Data Analysis<br><br>Application domains include:<br>- Biology=
<br>- Brain Data and Simulation<br>- Business Process Management<br>- Clima=
te Change<br>- Cybersecurity<br>- Ecology<br>- Education<br>- Environmental=
 Risk Assessment and Management<br>- Enterprise Architectures<br>- Epidemio=
logy<br>- Genetics and Genomics<br>- Governance<br>- HCI and Human Behaviou=
r<br>- Open Source Software Development and Communities<br>- Pharmacology<b=
r>- Resilience Engineering<br>- Safety and Security Risk Assessment<br>- So=
cial Good<br>- Social Software Engineering<br>- Social Systems<br>- Sustain=
able Development<br>- Threat Modelling and Analysis<br>- Urban Ecology<br>-=
 Smart Cities and Smart Lands<br><br>Synergistic approaches include:<br><br=
>(1) Use of modelling methods and notations in a knowledge<br>=C2=A0 =C2=A0=
management/discovery context<br>(2) Development and use of common modelling=
 and knowledge<br>=C2=A0 =C2=A0management/discovery frameworks to explore a=
nd understand complex<br>=C2=A0 =C2=A0systems from the application domains =
of interest<br><br>SUBMISSION AND PUBLICATION<br><br>All contributions in t=
he form of either<br><br>- regular (research, tool or position) paper, up t=
o 16 pages (excluding<br>references)<br>- short (research, tool or position=
) paper, up to 8 pages (excluding references)<br><br>will be reviewed by th=
ree members of the Program Committee.=C2=A0 Authors are invited<br>to submi=
t their contributions via Easychair<br><a href=3D"https://easychair.org/con=
ferences/?conf=3Ddatamod2025">https://easychair.org/conferences/?conf=3Ddat=
amod2025</a><br><br>In addition, presentation reports will be considered ha=
ving the following form:<br><br>- presentation report, up to 4 pages<br><br=
>Presentation reports concern recent or ongoing work on relevant topics and=
<br>ideas, for timely discussion and feedback at the workshop. There is no<=
br>restriction as to previous/future publication of the contents of a<br>pr=
esentation. Typically, a presentation is based on a paper which recently<br=
>appeared (or which is going to appear) in the proceedings of another recog=
nised<br>conference, or which has not yet been submitted. Presentation repo=
rts will<br>receive a lightweight review to establish their relevance for D=
ataMod.<br><br>Authors are invited to submit their presentation report via =
Easychair<br><a href=3D"https://easychair.org/conferences/?conf=3Ddatamod20=
25">https://easychair.org/conferences/?conf=3Ddatamod2025</a><br><br>All pa=
pers should be written in English and formatted according to the LNCS<br>st=
yle. Paper formatting guidelines according to LNCS style are available here=
:<br><a href=3D"http://www.springer.com/lncs">http://www.springer.com/lncs<=
/a><br><br>Detailed information on the submission procedure and format are =
available on the<br>symposium web page: <a href=3D"https://datamod2025.gith=
ub.io/">https://datamod2025.github.io/</a><br><br>Accepted papers (both reg=
ular and short) will be included in a dedicated LNCS<br>post-proceedings vo=
lume published by Springer after the Symposium. Condition<br>for inclusion =
in the proceedings is that at least one of the co-authors attends<br>and pr=
esents the paper at the Symposium.<br><br><br>IMPORTANT DATES<br><br>Abstra=
ct Submission deadline (optional): =C2=A0 22 August 2025<br>Paper Submissio=
n deadline: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 29 Augu=
st 2025<br>Notification: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A030 September 2025<br=
>Revised Version: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 7 October 2025<br>Symposium: =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 10-11 November 2025<br><br><br>KEYNOTE SPEAKERS=
<br><br>* TBA<br><br>PROGRAM CO-CHAIRS<br><br>* Livia Lestingi, Politecnico=
 di Milano, Italy<br>* Gwen Sala=C3=BCn, Universit=C3=A9 Grenoble Alpes, Fr=
ance<br><br>PROGRAM COMMITTEE<br><br>* Oana Andrei, University of Glasgow<b=
r>* Kyungmin Bae, Pohang University of Science and Technology (POSTECH)<br>=
* Juliana Bowles, School of Computer Science, University of St Andrews<br>*=
 Giovanna Broccia, ISTI-CNR, FMT Lab<br>* Antonio Cerone, Nazarbayev Univer=
sity<br>* Robert Claris=C3=B3, Universitat Oberta de Catalunya<br>* Carla F=
erreira, Universidade NOVA de Lisboa<br>* Marc Frappier, Universit=C3=A9 de=
 Sherbrooke<br>* Elisa Gonzalez Boix, Vrije Universiteit Brussel<br>* Ricca=
rdo Guidotti, University of Pisa<br>* Alexander Kocian, University of Pisa<=
br>* Ricardo M. Czekster, Aston University<br>* Jos=C3=A9 Machado, Universi=
ty of Minho, DI, ALGORITMI/LASI<br>* Paolo Milazzo, Dipartimento di Informa=
tica - Universit=C3=A0 di Pisa<br>* Pedro Ribeiro, University of York<br>* =
Arpit Sharma, Indian Institute of Science Education and Research<br>* Volke=
r Stolz, H=C3=B8gskulen p=C3=A5 Vestlandet<br>* Martin Tappler, TU Wien<br>=
* Thais Webber, Aston University<br>* Lina Ye, CentraleSup=C3=A9lec, LMF, U=
niversity Paris-Saclay, France<br><br>CONTACT<br><br>&gt; All inquiries sho=
uld be sent to <a href=3D"mailto:[email protected]">datamod2025@eas=
ychair.org</a><br></div>

--000000000000c33a670637aaaadb--

--===============4901326973868578025==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSGFza2VsbCBt
YWlsaW5nIGxpc3QKSGFza2VsbEBoYXNrZWxsLm9yZwpodHRwOi8vbWFpbC5oYXNrZWxsLm9yZy9j
Z2ktYmluL21haWxtYW4vbGlzdGluZm8vaGFza2VsbAo=

--===============4901326973868578025==--