[DMANET] [Extended Deadline] IEEE BCCA 2025: The 7th International Conference on Blockchain Computing and Applications, Dubrovnik, Croatia [Hybrid Conference] [Special Track]

*The 7th International Conference on Blockchain Computing and Applications
(BCCA 2025)*

14-17 October 2025 | Dubrovnik, Croatia

*Hybrid Conference*

*https://bcca-conference.org/*

*Sponsored by IEEE Croatia Section*

Blockchain is a revolutionary technology in decentralized systems that
enables secure decentralized transaction processing while ensuring data
privacy and authenticity. It plays a significant role in several areas,
such as the Internet of Things, supply-chain management, manufacturing,
cyber-physical systems, healthcare systems, etc. Unlike centralized
transaction processing solutions, blockchain uses a distributed ledger
mechanism to record data transactions on multiple devices; this will
prevent data breaches, identity theft, and a plethora of cyber-related
attacks, leading to sustainability in data privacy and security. This
conference aims to attract the work of both researchers and practitioners
in the area of cyber-security to share and exchange their experiences and
research studies in both academia and industry in the field of blockchain.

Researchers are encouraged to submit original research contributions in all
major areas, which include, but are not limited to:

- Track 01: Large Language Models (LLMs) and Blockchain
- Track 02: Artificial Intelligence and Machine Learning
- Track 03: IoT and Cyber-Physical Systems
- Track 04: Big Data and Analytics
- Track 05: Security and Privacy on the Blockchain
- Track 06: Metaverse and Digital Twin
- Track 07: IoT Network Security
- Track 08: Blockchain Research & Applications for Innovative Networks
and Services
- Track 09: Quantum Computing and Blockchain

*Publication*

*IEEE is a technical sponsor of BCCA 2025*. All accepted papers in BCCA
2025 and the workshops co-located with it will be submitted to IEEEXplore,
dblp and Scopus for inclusion.

*Special Track **Important Dates*

- Papers due: *June 30, 2025 July 15, 2025 (Extended)*
- Acceptance notification: July 30, 2025
- Camera-ready paper due: August 30, 2025

*Special Track Submission Guidelines:*

There are three categories of submission (Overlength charges will be
applied!):

- *Short papers: (5-6 pages).*
- *Systemization of Knowledge (SoK): (10-15 pages) SoK papers
evaluate, systematize, cluster, classify, and contextualize existing
knowledge (Focused Surveys)*
- *Poster papers: (2 pages)*

*Submission Link: *https://edas.info/N33458

*Organizing Committee*
*Honorary Chair*

- Vlatko Lipovac, University of Dubrovnik, Croatia
- Flavia Delicato, Fluminense Federal University, Brazil

*General Chair*

- Adriana Lipovac, University of Dubrovnik, Croatia

*Program Co-Chairs*

- Safa Otoum, Zayed University, UAE
- Müge Özçevik , Istanbul Technical University, Turkey
- Dusan Ramljak, Penn State Great Valley, USA

--Regards,

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Fully funded PhD position in Automata theory in Marseille, France

We are looking for candidates for a PhD  position in automata theory in
LIS Marseille, France. A Masters degree with a strong background in
theoretical computer science is required.

The PhD will be jointly supervised by C. Aiswarya (Chennai Mathematical
Institute) and Benjamin Monmege (LIS, Marseille). The student will be
based in Marseille, with an option to visit Chennai Mathematical
Institute for research discussions. The earliest starting date is
October 1, 2025.

Further details can be found in the application portal
<https://emploi.cnrs.fr/Offres/Doctorant/UMR7020-BENMON-002/Default.aspx?lang=EN>.
Application deadline: 14 July 2025.

https://emploi.cnrs.fr/Offres/Doctorant/UMR7020-BENMON-002/Default.aspx?lang=EN

Best regards,
Aiswarya and Benjamin

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [CFP] The Second International Workshop on Secure Edge Networking and Applications (SENA) in conjunction with BCCA 2025, Dubrovnik, Croatia

CALL FOR PAPERS
The Second International Workshop on
Secure Edge Networking and Applications (SENA)
In Conjunction with

IEEE Seventh International Conference on Blockchain Computing and Applications
(IEEE BCCA 2025)
14-17 October 2025 (Dubrovnik, Croatia)

https://bcca-conference.org/2025/Workshops/SENA.php

Edge networking plays a significant role in shaping the future of Internet of Things (IoT) networks by processing high volumes of data at the network edge and meeting the desired latency demand. Although edge computing is regarded as a promising technology for these features as well as its decentralization and supportive functionalities, there is a need to develop systems to protect data security and privacy since users can face the risk of data leakage when they offload data to the edge/cloud server. Secure edge networking is continuously becoming a top strategic technology that connects the physical and blockchain-secured worlds, assisted by next-generation networks. Moreover, Artificial Intelligence (AI) and Digital Twin (DT) driven secure edge-network can deliver seamless analysis, monitoring, and predictions when it is used together with next-generation mobile communications (5G/6G), Internet of Things (IoT), Software-Defined Networking (SDN), Federated Learning (FL), distributed computing, and intelligent smart city applications.

The workshop will invite authors to submit papers presenting new research related to all aspects of secure edge networks and applications. Topics of interest include, but are not limited to:

* IoT-based secure edge networking for real-time communication systems
* Real-time communication protocols for secure edge networking
* Resource management and network optimization for secure edge network
* Secure edge networking and industrial IoT applications
* Digital twin (DT)-enabled secure edge networking
* Real-world Digital Twin (DT) simulations, prototypes, and testbed demonstrations for secure edge networks
* Attack detections/defences for secure edge networking
* Blockchain-driven secure edge networking
* Energy efficient secure edge networking
* Federated learning-based secure edge networking
* Modeling and performance analysis of secure edge networking
* Software-defined network (SDN) controlled secure edge networking
* AI as a service (AIaaS) for secure edge networking
* Wireless communications for cyber-physical edge network applications
* New security and privacy concepts within edge network applications
* LLMs in secure edge network
* Trustworthy secure edge network applications
* Secure edge network applications for smart cities
* AI-driven applications for secure edge networks
* Autonomous and context-aware secure edge networks
* Self-organizing secure edge networks and applications
* Sustainable AI-based secure edge network
* Secure edge network design for enhanced Mobile Broadband (eMBB), massive Machine Type Communications (mMTC), and Ultra Reliable Low Latency Communications (URLLC) applications

General Chairs:

* Müge Erel-Özçevik, Manisa Celal Bayar University, Turkey (muge.ozcevik@cbu.edu.tr)
* Elif Bozkaya-Aras, National Defence University Turkish Naval Academy (elif.bozkaya@msu.edu.tr)
Honorary Chair:

* Berk Canberk, Edinburgh Napier University, (B.Canberk@napier.ac.uk)
Industrial Chair:

* Gökhan Yurdakul, GM of BTS Group (yurdakulg@btsgroup.com)
Technical Program Chairs

* Tuğçe Bilen, İstanbul Technical University (bilent@itu.edu.tr)
* Elif Ak, Memorial University, Canada (elif.ak@mun.ca)
* Engin Zeydan, Centre Tecnologic de Telecomunicacions de Catalunya (CTTC) (engin.zeydan@ieee.org)
* Yusuf Özçevik, Manisa Celal Bayar University (yusuf.ozcevik@cbu.edu.tr)
* Abdullah Aydeğer, Florida Tech, (aaydeger@fit.edu)

Publicity Chairs

* Kübra Duran, Edinburgh Napier University (kubra.duran@napier.ac.uk)
* Yağmur Yiğit, Edinburgh Napier University (yagmur.yigit@napier.ac.uk)
Important Dates:
Submission Deadline: 30 July 2025
Notification of Acceptance: 30 August 2025
Camera Ready: 15 September 2025

Submission:
Prospective authors are invited to submit a long paper (7-8 pages), short paper (5-6 pages) and poster (1-2 pages) including results, figures, and references in the standard IEEE two-column conference format.

Papers should be submitted via the submission link: https://edas.info/N33458

Best Regards,
Yagmur Yigit
PhD Student, Edinburgh Napier University

This message and its attachment(s) are intended for the addressee(s) only and should not be read, copied, disclosed, forwarded or relied upon by any person other than the intended addressee(s) without the permission of the sender. If you are not the intended addressee you must not take any action based on this message and its attachment(s) nor must you copy or show them to anyone. Please respond to the sender and ensure that this message and its attachment(s) are deleted.

It is your responsibility to ensure that this message and its attachment(s) are scanned for viruses or other defects. Edinburgh Napier University does not accept liability for any loss or damage which may result from this message or its attachment(s), or for errors or omissions arising after it was sent. Email is not a secure medium. Emails entering Edinburgh Napier University's system are subject to routine monitoring and filtering by Edinburgh Napier University.

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373

BSL users can contact us via contactSCOTLAND-BSL, the on-line British Sign Language interpreting service. Find out more on the contactSCOTLAND website.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] HIGHLIGHTS '25: Registrations Open and Call for Participation

================================================
HIGHLIGHTS '25 (Saarbrücken, Germany 1-5 September 2025) AND HCRW (6-12
September)
================================================
Registration for HIGHLIGHTS '25 is open now.
The early-bird registration is *open until Monday 14 July*. The *early-bird
registration fee is 110€* (covering lunch and coffee breaks). Online
attendance is free.

*Registration page:* https://pretix.eu/uds-kwt/high2025/

*Highlights' Collaborative Research Weak:*
If you consider staying for HCRW, please indicate it in the registration
form, and share your plans in the Zulip chat (registration at
https://highlights-conference.org/2025/zulip).
There are no fees for participation in HCRW.

*Accommodation:*
The local organizers of Highlights have negotiated quotas for accommodation
in Saarbrücken in two hotels. Check the Zulip channel or the webpage for
details.

For more details, see the full Call for Presentations below.
================================================HIGHLIGHTS'25,
(Saarbrücken, Germany 1-5 September 2025) AND HCRW (6-12 September)

*HIGHLIGHTS'25* is scheduled *from September 1 to September 5, 2025*
at the *Saarland
University in Saarbrücken, Germany*. It will be followed by the *Highlights
Collaborative Research Week (HCRW)*, from *September 6 to 12, 2025*.

*HIGHLIGHTS'25* is the thirteenth in the series of international
conferences "Highlights of Logic, Games and Automata", aiming at
integrating the community working in algorithmic model theory, automata
theory, databases, games for logic and verification, logic and
verification. Papers from these areas are dispersed across many
conferences, which makes them difficult to follow. A visit to the
HIGHLIGHTS conference should offer a wide picture of the latest research in
the field and a chance to meet everybody in the community, not just those
who happen to publish in one particular proceedings volume. There are no
publications.

*HIGHLIGHTS'25* key features:

- HIGHLIGHTS is a conference without publications, where speakers give
short presentations of their best work.
- A chat of the conference is available during the event, and throughout
the year.
- T̶h̶e̶r̶e̶ ̶i̶s̶ ̶a̶n̶ ̶e̶a̶r̶l̶y̶ ̶r̶o̶u̶n̶d̶ ̶o̶f̶
̶s̶u̶b̶m̶i̶s̶s̶i̶o̶n̶s̶ ̶a̶n̶d̶ ̶n̶o̶t̶i̶f̶i̶c̶a̶t̶i̶o̶n̶s̶ ̶t̶o̶ ̶h̶e̶l̶p̶
̶w̶i̶t̶h̶ ̶t̶r̶a̶v̶e̶l̶ ̶p̶l̶a̶n̶n̶i̶n̶g̶.̶
- The *Highlights' Collaborative Research Week* (*HCRW*) offers means
for research collaborations/discussions between participants. HCRW is
scheduled after the conference.
- The *Highlights Extended Stay Support Scheme* (*HESSS*) helps
participants find collaborators and organise visits in the vicinity of
HIGHLIGHTS.

We encourage you to attend and present your best work - be it already
published or not - at *HIGHLIGHTS'25*.
SCOPE

Representative areas include, but are not restricted to:

- Algebraic models of computation
- Algorithmic model theory
- Automata theory
- Databases
- Games for logic and verification
- Logic
- Verification

IMPORTANT DATES AND INFORMATION

- HIGHLIGHTS'25 webpage: https://highlights-conference.org/2025/
- Registration to the chat at
https://highlights-conference.org/2025/zulip (no need if you did it last
year)
- Registration page: https://pretix.eu/uds-kwt/high2025/
- Early-bird registration deadline: July 14 2025
- Conference: September 1 - 5, 2025.
- *Highlights' Collaborative Research Week* (*HCRW*): September 6 - 12,
2025.
- Registration fee: 110€

MODALITIES OF ATTENDANCE

*HIGHLIGHTS'25* is an event that will take place on-site (barring
unforeseen circumstances), and the preferred form of participation is in
person. Remote attendance via a video stream will also be offered, but with
limited possible interactions for these participants.

Submission for a presentation at Highlights'25 is open to everyone, and
attendance to the conference is not a requirement. The selection procedure
will not take into account in-person attendance. Authors who do not intend
to attend Highlights'25 in-person must commit to this choice when
submitting their talk proposal. If accepted, authors of such talk proposals
will have the opportunity to share a prerecorded video of their talk, which
will be made available on the conference website.

Before coming from far away, please review how your trip and international
flights are contributing to climate change. We encourage you to take the
train as much as possible, possibly taking the opportunity for visiting
colleagues on the way and thus decomposing the travel into smaller pieces.

More generally, we encourage you to make the most of your stay. This means
extending your journey to the previous and/or following weeks for more
scientific activities in Saarbrücken and around. Several initiatives are
here to help you in this task:

- You can participate in the *Highlights' Collaborative Research
Week* (*HCRW
<https://highlights-conference.org/2025/hcrw>, September 6 - 12*) in the
week after HIGHLIGHTS, in Saarbrücken.
- You can use the *Highlights Extended Stay Support Scheme* (*HESSS
<https://highlights-conference.org/2025/hesss>*) for finding
collaborators and organising visits.

HIGHLIGHTS COLLABORATIVE RESEARCH WEEK (HCRW)

*HIGHLIGHTS'25* will be followed by the *Highlights' Collaborative Research
Week* (*HCRW*), *from September 6 to 12 at the University of Saarbrücken*.

Participants to HCRW are free to organise any scientific activity they
wish. Possibilities can be to

- meet someone in particular and work together,
- organise or attend a seminar/workshop/reading group,
- gather for solving open problems,
- solicit, offer and participate in a lecture.
Working spaces will be provided on site for these activities to take
place.

We encourage participants to declare their intent to come and offer
activities in advance using the chat of highlights.
INVITED SPEAKERS TUTORIALS

- Christof Löding
- Szymon Toruńczyk

KEYNOTE SPEAKERS

- Shaull Almagor
- Yu-Fang Chen
- Liat Peterfreund
- Mahsa Shirmohammadi

COMMITTEES PROGRAM COMMITTEE HIGHLIGHTS'25

- Luca Aceto (Reykjavik University, Iceland, and Gran Sasso Science
Institute, L'Aquila, Italy)
- Christel Baier (TU Dresden, Germany), chair
- Marie van den Bogaard (Universite Gustav Eiffel, France)
- Michael Blondin (University of Sherbrooke, Canada)
- Agata Ciabattoni (TU Vienna, Austria)
- Wojciech Czerwiński (University of Warsaw, Poland)
- Anuj Dawar (University of Cambridge, UK)
- Dana Fisman (Ben-Gurion University, Israel)
- Marianna Girlando (University of Amsterdam, NL)
- Ichiro Hasuo (National Institute of Informatics, Tokyo, Japan)
- Antoine Mottet (TU Hamburg, Germany)
- B. Srivathsan (Chennai Mathematical Institute, India)
- Patrick Totzke (University of Liverpool, UK)
- Mahesh Viswanathan (University of Illinois at Urbana-Champaign, US)
- Thomas Zeume (Ruhr University, Germany)

ORGANISING COMMITTEE

- Benjamin Kaminski
- Tobias Gürtler
- Ānrán Wáng
- Natalia Weis

STEERING COMMITTEE

- Antoine Amarilli (environmental chair)
- León Bohn (webmaster)
- Antonio Casares (publicity chair)
- Supratik Chakraborty
- Thomas Colcombet (chair)
- Bartek Klin
- Sławek Lasota
- Sophie Tison

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CfP: NMR 2025 --- 3rd call & correction of submission instructions

/
*** Important Update: Correction of the Submission Instructions ***

Full papers should be at most *14 pages* including references, figures and
appendices, formatted in *CEUR 1-column style*.
/*
*
=============================
*** NMR 2025: Call for Papers ***

November 11-13, 2025, Melbourne,
Australia

* Deadlines: July 10 & 17, 2025 *
=============================

*-- The 23rd International Workshop on Nonmonotonic Reasoning (NMR 2025) --*

*When: *November 11-13, 2025
*Where: *Melbourne, Australia
*Website: *https://nmr.krportal.org/2025
*Submissions website: *https://easychair.org/conferences/?conf=nmr2025

NMR 2025 is part of the 22th International Conference on Principles of
Knowledge Representation and Reasoning (KR2025), https://kr.org/KR2025/.

NMR is the premier forum for results in the area of nonmonotonic
reasoning. Its aim is to bring together active researchers in this broad
field within knowledge representation and reasoning (KRR), including
belief revision, uncertain reasoning, reasoning about actions, planning,
logic programming, preferences, deontic reasoning, argumentation,
causality, and many other related topics including systems and
applications (see NMR page, https://nmr.krportal.org).

NMR aims to foster connections between the different subareas of
nonmonotonic reasoning and provide a forum for emerging topics. We
especially invite papers on systems and applications, as well as
position papers and papers addressing benchmark issues. The workshop
will be structured by topical sessions fitting to the scopes of accepted
papers.

The workshop will be held in Melbourne, Australia, in November 11-13,
2025. Workshop activities will include invited talks and presentations
of technical papers.

*-- Important Dates -- *

All dates are 'Anywhere on Earth', namely 23:59 UTC-12.

- Paper registration: July 10, 2025
- Paper submission: July 17, 2025
- Notification: August 28, 2025
- Camera-ready: October 4, 2025
- Workshop: November 11-13, 2025

*
-- Submission Information -- *

Papers should be at most*14 pages in 1-column CEUR style * including
references, figures, and appendices, if any. The author kit can be found
on the NMR 2025 website (https://nmr.krportal.org/2025). Papers must be
submitted in PDF only.

Please submit via Easychair to:
https://easychair.org/conferences/?conf=nmr2025

Papers already published or accepted for publication at other
conferences are also welcome, provided that the original publication is
mentioned in a footnote on the first page and the submission at NMR
falls within the authors' rights. In the same vein, papers under review
for other conferences can be submitted with a similar indication on
their front page.

*
-- Workshop Proceedings -- *

The accepted papers will be made available electronically in the CEUR
Workshop Proceedings series (http://ceur-ws.org/). The copyright of
papers remain with the authors.

*
-- Workshop Co-Chairs -- *

Anna Rapberger,    Imperial College London, UK
Sebastian Rudolph, Technische Universität Dresden, Germany

*-- Local Chair -- *

Son Tran, Deakin University, Australia

*-- Further Information -- *

Please visit the workshop website (https://nmr.krportal.org/2025) for
further information and regular updates.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Next-Generation Models for Generative AI- DDP 2025- IEEE

CALL FOR PAPERS

Second Workshop on "Next-Generation Models for Generative AI"
(In conjunction with the Fifth International Conference on Digital Data Processing 2025-IEEE)
University of Bedfordshire, Luton. UK
August 18-20, 2025
(IEEE CPS will publish the proceedings, and papers should follow the IEEE template)

AI models use billions of parameters to detect and retrieve text and images. The currently available LL models are being tested for efficiency, while newer models are also being developed. There are many challenges associated with generative AI. The pre-training volume and efficiency are a focus. To leverage the training set with comprehensiveness and accuracy, billions of parameters are injected into the LLM. Current GPTs face criticism, and governments are cautious about their use.
The agenda for the future of Generative AI needs to be clarified. Improved generative tools should be capable of characterising extremist narratives in corpora to reveal different contexts, which may lead to building semantic-rich content for end-users. Evaluating the current models and their outcomes may inform future research. Considering these issues, we organised a workshop to address the theme of next-generation models. The workshop themes include, but are not limited to, the following.

Text, Image, Code, Video, 3D models
Domain-specific models
Impact of Generative AI on Teaching and Learning
Knowledge and Semantic Issues in Generative AI
Future LLM
AI Ethical Issues
AI and NLP
Embedding in AI
Reinforcement learning
Data Support and Datasets in AI
Standards and Benchmarks
Compositional generative models

Workshop Chairs

Gloria Tengyue Li
North China University of Technology
Beijing
China

Simon Fong
University of Macau
Macau

Hathairat Ketmaneechairat
King Mongkut's University of Technology
North Bangkok, Thailand

Important Dates

Submission of Papers: July 15, 2025
Notification of Acceptance/Rejection: August 10, 2025
Camera-ready: August 31, 2025
Registration: August 31, 2025
Conference Dates: August 18-20, 2025
Post-Conference Proceedings Release: November 30, 2025

Paper Submission: http://socio.org.uk/ddp/paper-submission

Contact: ddp@socio.org.uk

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [JAIR Special Track - 7th CFP] Integration of Logical Constraints in Deep Learning

(apologies for cross-posting)

======================================================================
Special Track on Integration of Logical Constraints in Deep Learning
----------------------------------------------------------------------
Journal of Artificial Intelligence Research (JAIR)
Deadline extension: September 30, 2025
Info: https://www.jair.org/index.php/jair/SpecialTrack-LogicDL
======================================================================
Track Editors:
----------------------------------------------------------------------
Alessandro Abate, University of Oxford, U.K.
Eleonora Giunchiglia, Imperial College London, U.K.
Bettina Könighofer, Graz University of Technology, Austria
Luca Pasa, University of Padova, Italy
Matteo Zavatteri, University of Padova, Italy
======================================================================

Overview:

Over the last few years, the integration of logical constraints in Deep Learning models has gained significant attention from research communities for its potential to enhance the interpretability, robustness, safety, and generalization capabilities of these models. This integration opens the possibility of incorporating prior knowledge, handling incomplete data, and combining symbolic and subsymbolic reasoning. Moreover, the use of logical constraints improves generalization, formal verification, and ethical decision-making. The versatility of logical constraint integration spans diverse domains, presenting both research challenges and opportunities. In recent times, there has been a growing trend in incorporating logical constraints into deep learning models, especially in safety-critical applications. Looking ahead, challenges in this field extend to the development of Machine Learning models that not only incorporate logical constraints but also provide robust assurances. This involves ensuring that AI systems adhere to specific (temporal) logical or ethical constraints, offering a level of guarantees in their behavior.

Thus, this special track seeks submissions on the integration of logical constraints into deep learning approaches. We are particularly interested in the following broad content areas.

- Formal verification of neural networks is an active area of research that has been proposing methods, tools, specification languages (e.g., VNNLIB), and annual competitions (e.g., VNN-COMP) devoted to verify that a neural network satisfies a certain property typically given in (a fragment) of first order logic.

- Synthesis aims at synthesizing neural networks that are compliant with some given constraint. Approaches to achieve this aim range from modifying the loss function in the training phase (i.e., soft constraint injection) to exploit counterexample guided inductive synthesis (CEGIS).

- Monitoring: Logical constraints can be used to mitigate and/or neutralize constraint violations of machine learning systems when formal verification and synthesis are not possible. Shielding techniques intervene by changing the output of the network when a constraint is being violated. Runtime monitoring can be used to anticipate failures of AI systems without modifying them.

- Explainability: Automated learning of formulae and logical constraints from past executions of the system provides natural explanations for neural network predictions and poses another avenue for future research. Formulae and constraints offer a high degree of explainability since they carry a precise syntax and semantics, and thus they can be "read" by humans more easily than other explainability methods.

This special track aims to explore and showcase recent advancements in the integration of logical constraints within deep learning models, spanning the spectrum of verification, synthesis, monitoring and explainability, by considering exact and approximate solutions, online and offline approaches. The focus will also extend to encompass innovative approaches that address the challenges associated with handling logical constraints in neural networks.

Submissions:

This special track seeks contributions that delve into various aspects of logic constraint integration in deep learning, including, but not limited to:

- Learning with logical constraints
- Enhancing neural network expressiveness for logical constraints
- Formal verification (certification) of neural networks
- Automated synthesis of certified neural networks, or of AI systems with neural nets
- Decision making: Strategy/policy synthesis for AI systems with neural networks
- Runtime monitoring of AI systems
- Learning of (temporal) logic formulae for explainable and interpretable AI
- Scalability challenges in neural networks with logical constraints
- Real-world applications of neural networks with logical constraints
- Enhancing model explainability via logical constraints
- Design of neural networks under temporal logical requirements

Pertinent review papers of exceptional quality may also be considered.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] BRAINS 2025 (Extended Deadline) - Call for Papers, Posters, and Demos - Zurich - November 2025

_Apologies for cross-posting._

*** CALL FOR PAPERS ***

7th Conference on Blockchain Research & Applications for Innovative
Networks and Services

BRAINS 2025

November 18 - 21, 2025

Zurich, Switzerland

(In-person conference)

https://brains.dnac.org/2025/ [1]

- Full and Short Paper submission deadline: July 7, 2025 (Firm)

- Demo/Poster Submission deadline: September 15, 2025

Submissions Link: https://edas.info/N33559 [2]

BRAINS 2025 is technically co-sponsored by IEEE and IEEE ComSoc, all
accepted and presented papers will be submitted for publication in IEEE
Xplore.

The best technical papers presented at the conference will be invited to
submit an extended version for fast-track review in the ACM DLT journal
(Distributed Ledger Technologies: Research and Practice

Decentralized technologies (Web3, Blockchain, Distributed Ledger
Technologies, IPFS) have started to disrupt multiple domains, including
finance and payments but also networks, computing, supply chain,
identity management or Artificial Intelligence with decentralized
learning.

BRAINS conference is dedicated to these advances that could make the
world of networks and services more secure while enabling new
distributed business models.

Areas of interest include, but are not limited to:

Effective challenges for decentralized systems

*

Theoretical contributions to Blockchain, DLT and decentralized storage

*

Distributed consensus and fault tolerance solutions, including
domain-specific consensus

*

Protocols and algorithms

*

Distributed ledger analytics

*

Trade-offs between decentralization, scalability, performance, and
security

*

Zero-Knowledge proofs

*

Layer 2 solutions for scalability and privacy

*

Blockchain interoperability and cross-chain mechanisms

*

Storage solutions and data availability
*

Obstacles to achieve effective decentralization
*

Adversarial attacks and participant's strategic behaviour

Fundamentals of Decentralized Apps, Smart contracts, and chain code:

*

Languages and tooling for dApp development

*

Security, privacy, and forensics

*

Transaction monitoring and analysis

*

Collaboration between on-chain and off-chain code

*

Token Economy, incentives, and protocols

*

Tokenization of Intangible, Real-world Assets

*

Blockchain-defined networking

*

Web3 and distributed storage and computation

Application and service cases of DLT and Smart contracts:

*

Blockchain and AI, federated and decentralized learning

*

Identity management

*

Finance, payments, and fraud detection and prevention

*

Decentralized Finance (DeFi) and payments

*

IoT and cyber-physical systems

*

Smart grids and Industry 4.0, including dataspaces

*

V2X, connected and autonomous vehicles

*

Networking, Edge, and Cloud technologies

*

Blockchain for Beyond 5G and 6G technologies

*

Service or resource marketplaces

*

Public sector Blockchain solutions and infrastructures

*

Results from large collaborative projects on these topics

*

Blockchain for education, public administration, health

*

Blockchain for Business Process and Supply Chain Management

*

Regulations and policies

Submission Guidelines

Submitted papers must represent original material that is not currently
under review in any other conference or journal and has not been
previously published. All submissions should be written in English
following the Two-Column IEEE Conference Format, with a maximum of eight
(8) pages (Full Papers), four (4) pages (Short Papers and work in
progress), or two (2) pages (Poster Papers), including text, figures,
and references. Papers should be submitted through EDAS at:
https://edas.info/N33559 [2]

Double-Blind Review

All submissions must be anonymous. We follow a relaxed double-blind peer
review process: authors are allowed to share their work on platforms
such as arXiv and present it publicly. However, authors should not
mention their own name or affiliation in the submission, or include
obvious references that reveal their identity. A reviewer who has not
previously encountered the work should be able to read the submission
without learning the authors' identities.

If your work is not yet available online (e.g., on arXiv), we recommend
waiting until after the notification of acceptance before posting it
publicly.

For any questions regarding the double-blind policy, please contact the
general co-chairs of BRAINS 2025

Best paper awards

The two best paper awards will be delivered:

*

Best Full Paper Award
*

Best Student Paper Award

Important Dates:

*

Paper Submission deadline: July 7, 2025 (Firm)
*

Notification of Acceptance: September 11, 2025
*

Camera-Ready: September 22, 2025

****************************************************************

#Call for Posters and Demos

BRAINS 2025 will also hold demo and poster sessions in the areas
specified above. Hence, prospective authors are invited to submit their
demo and poster proposals in the form of a 3-page paper in IEEE
conference double-column format.

All submissions must be done electronically through EDAS using the
following link: https://edas.info/N33559 [2]

IMPORTANT DATES

---------------

Demo/Poster Submission deadline: September 15, 2025

Notification of Acceptance: September 30, 2025

Camera-Ready: October 15, 2025

For more details, visit :

https://brains.dnac.org/2025/call-for-demos-posters/ [3]

****************************************************************

TPC Chairs

Quentin Bramas (University of Strasbourg, France)

Sheng-Nan Li (UZH BCC, Switzerland)

Philip Raschke (TU Berlin, Germany )

Marcus Völp (CritiX Lab, Interdisciplinary Centre for Security,
Reliability and Trust, University of Luxembourg, Luxembourg)

General Chairs:

Emmanuel Bertin (Orange Innovation, France)

Claudio J. Tessone (UZH BCC, Switzerland)

Details: https://brains.dnac.org/ [1]

_Looking forward to your submissions! _

Links:
------
[1] https://brains.dnac.org/2024/
[2] https://edas.info/N33559
[3] https://brains.dnac.org/2025/call-for-demos-posters/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Dutch Day on Optimization - save the date!

[SAVE THE DATE] Dutch Day on Optimization 2025 (Tilburg University)

On November 13, 2025 the Dutch Day on Optimization will take place at Tilburg University in the Netherlands. This is the yearly meeting of the Dutch optimization community across the areas operations research, computer science and discrete mathematics. The event highlights recent research of (inter)national speakers.

We are happy to confirm the following keynote speakers:
- Karen Aardal (Delft University of Technology)
- Ahmadreza Marandi (Eindhoven University of Technology)
- Ward Romeijnders (University of Groningen)

A call for early-career researchers (PhD students, postdocs and assistant professors) to submit a contributed talk will follow early September.

Keep an eye on the website of this event for more info: https://www.tilburguniversity.edu/current/events/dutch-day-optimization2025

We hope to see many of you in Tilburg,
Marleen Balvert, Sander Gribling, Pieter Kleer, Sven Polak & Martijn Schoot Uiterkamp

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Online Resources for DCs (IFORS)

with fresh valuable material
To access information regarding IFORS Developing Countries resources, its regular updates – and to submit your possible "free" (not copyright protected) material, you may occasionally visit the link:

http://ifors.org/developing_countries/index.php?title=Main_Page .

With this open online resources page we aim to provide a platform to make research and applications of OR widely accessible to the entire OR community including researchers, academicians and scholars in the Developing Countries (DCs).

For this purpose we invite scholarly contributions spanning across all areas and sectors ranging from arts and science, to communication and education.

The International Federation of Operational Research Societies (https://www.ifors.org) is a 65-year-old organization which is currently composed of 54 national societies. Regional Groups of are: ALIO (The Latin American Ibero Association on Operations Research), APORS (The Association of Asian-Pacific Operational Research Societies), EURO (The Association of European Operational Research Societies), NORAM (The Association of North American Operations Research Societies).

IFORS conferences are held every three years. The conference 2023 was held very successfully in Santiago, Chile;

the next exciting IFORS conference will be celebrated in 2026 in Vienna.

Please visit the following link for details regarding the same: https://www.ifors2026.at/home/ .

Thank you very much for your attention. We look forward to your enthusiastic participation and scholarly contributions.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CFP: 4th IEEE International Conference on Computing, Management and Telecommunications December 14–17, 2025 | Madrid, Spain (Hybrid Event)

ComManTel 2025

4th International Conference on Computing, Management and Telecommunications

*December 14–17, 2025 | Madrid, Spain (Hybrid Event)*

Sponsored by the IEEE Spain Section
📢 Call for Papers

Dear Colleague,

We cordially invite you to submit your original research to *ComManTel 2025*,
the 4th International Conference on Computing, Management and
Telecommunications. This premier venue brings together researchers,
engineers, and professionals to present cutting-edge findings across
computing technologies, information management, and telecommunications
systems.
🎯 Topics of Interest
🖥️ Computing Technologies

- Parallel and distributed computing
- High-performance and cloud computing
- Green computing and energy-aware IT
- Artificial intelligence and generative AI
- Data mining and cybersecurity

🧠 IT Management

- Digital transformation strategies
- Agile and project management
- Data governance and enterprise systems
- E-commerce and E-government
- Analytics-driven decision-making

📡 Telecommunications

- 5G/6G and future wireless systems
- Cognitive radio and IoT
- Network virtualization and SDN
- Smart city communication
- Telecom cybersecurity

⚙️ Systems Engineering

- Automation and robotics
- Smart manufacturing and industrial IoT
- Biomedical engineering systems
- Environmental systems
- Sustainable infrastructure

📋 Submission Guidelines

*Paper Length:* Up to 6 pages, IEEE format

*Submission System:* https://edas.info/N33725

*Requirements:* Original work, not under review elsewhere, following
conference formatting guidelines
🗓️ Important Dates
Activity Deadline
Full/Short Paper Submission *August 15, 2025*
Poster/Demo Submission *August 29, 2025*
Notification (Full/Short Paper) *September 29, 2025*
Notification (Poster/Demo) *October 6, 2025*
Camera-Ready Submission *October 29, 2025*
Submit Your Paper <https://edas.info/N33725> Conference Website
<https://commantel.net/2025/>

We look forward to receiving your high-quality submissions and welcoming
you to Madrid for this exciting conference!

Best regards,
*ComManTel 2025 Organizing Committee*

ComManTel 2025 - 4th International Conference on Computing, Management and
Telecommunications

Website: https://commantel.net/2025/

Sponsored by the IEEE Spain Section

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [Springer Approved] CfP: ISGTA 2025 || November 19 - 21, 2025 - Portalegre, Portugal

*-----------------------------Call For Papers -------------------------*

The Second International Symposium on Green Technologies and Applications
November 19-21, 2025
Portalegre, Portugal

*Accepting Virtual Participation*https://isgta-conf.org

------------------------------------------------------------

*IMPORTANT DATES*
------------------------------------------------------------
*Submission of Full Paper*: July 20th, 2025
*Notification of Acceptance*: September 28th, 2025
*Camera-Ready submission *: October 16th, 2025

------------------------------------------------------------

*Submission link*
------------------------------------------------------------
https://cmt3.research.microsoft.com/ISGTA2025

------------------------------------------------------------

*Publication*------------------------------------------------------------
The conference proceedings will be published in the Springer Book Series:
* "* *Springer Proceedings in Physics* *(Approved)".* All papers must
meet high-quality standards to be considered by Springer and included in
the proceedings.
Indexed by SCOPUS, INSPEC, EI Compendex.

------------------------------------------------------------

*KEYNOTE SPEAKERS :*
------------------------------------------------------------
The following eminent keynote speakers have confirmed their participation:
ISGTA-2025 will accommodate an attractive technical program that features:

1. Prof. Prof. Hartmut Hinz, Frankfurt University of Applied Sciences,
Germany
2. Prof. Ronney Boloy, Centro Federal de Educação Tecnológica Celso Suckow
da Fonseca, Brasil
3. Prof. Hossam A. Gabbar, Ontario Tech University, Canada

------------------------------------------------------------

*Topics of Interest*
------------------------------------------------------------
The topics of interest include, but are not limited to:

*Track 1: Renewable Energy and Green Technology*

- Solar Energy
- Wind Energy
- Sea Power
- Hydroelectric Power
- Thermal and Recycling
- Biomass
- Command and control systems for Renewable Energy
- Transportation generation
- Distribution Power System
- Batteries and energy storage
- Energy harvesting
- Renewable energy for IT equipment
- Hydrogen energy storage
- Water, food, and energy nexus
- PV and Water pumping

*Track 2: ** Green Smart Cities*

- Green Smart Education
- Green Smart Health
- Green Smart Transportation
- Green Smart Environment
- Green Smart Home
- Green Smart Building
- Green Smart Agriculture

*Track 3: ** Green Technologies and Applications*

- Smart Sensing, Metering Systems
- Green Vehicles, Green Homes, Green Buildings
- Smart Grid
- Green Industrial Automation and Control
- Green Intelligent Transport Systems
- Green Data Storage, Data Centers
- Privacy, Safety, and Security in Green-aware Services
- Energy-constrained and Power-constrained Devices, Gateways and Systems
- Green Standardizations and Benchmarks for ICT
- Machine Learning for Green Technologies
- Deep Learning for Green Technologies

*Track 4: ** Green Communication Systems and Networks*

- Advanced metering infrastructure and smart meter technologies
- relevant to energy efficiency
- Big data to meet green challenges
- Carbon-neutral communication and computing systems
- Cross-layer design and optimization for green communications and
computing
- Energy efficiency and scalability of communication networks and
infrastructures
- Energy efficiency in 5G/B5G
- Energy-aware communications and networking
- Experimental test-beds and results for green communications and
computing
- Field trials and deployment experiences and green industrial processes
- Green intelligent transportation systems
- Green management of communication networks
- Green network monitoring
- Green optical communications, switching and networking
- Green scheduling for communications and computing
- Green software, hardware, devices, and equipment
- Green storage, cloud and fog computing, and data centers
- Green traffic shaping and policy implementation
- Green transmission technologies and network protocols
- Green wireless cellular networks
- Green wireline communications and networking
- Low cost, energy-efficient antenna and RF designs
- Machine learning and AI for energy efficiency and green operation in
communication
- systems and networks
- Measurement and profiling of green issues
- Modelling and analysis for green communications and computing
- Physical layer approaches for green communications and computing
- Power consumption trends and reduction in communications and computing
- Security in green communication and computing
- Standardization, policy and regulation for green communications and
computing
- Zero-emission base stations, communication devices, and networks

*Track 5:** Artificial Intelligence for Green IoT*

- Satellite and space communications and networking
- Machine Learning for Green IoT
- Artificial intelligence based IoT protocols
- Renewable energy for IoT Environment
- IoT for Green technology
- IoT for Hydrogen energy storage
- IoT for Energy efficiency
- IoT for Energy optimization
- IoT for Green Systems
- Internet of Energy
- Smart energy management

*Track 6: **Applied Mathematical Modeling in Renewable Energy*

- Model formulation
- Nonlinear problems
- Chaos and Fractals
- Prediction of natural phenomena
- Methodologies for model validation
- Numerical methods for renewable Energy
- Differential Equations and its Applications
- Optimal Control and Optimization

*Track 7:** AI Application to Sustainable Technologies*

- AI-driven energy management systems
- AI-driven microgrid management
- AI-assisted carbon emissions tracking
- AI applications in carbon capture and storage
- Smart building management for energy efficiency
- Carbon offset strategies with AI analysis
- AI-based climate prediction models
- Early warning systems for extreme weather events
- AI for precision agriculture and resource allocation
- AI-powered waste sorting and recycling
- Smart waste collection systems using AI
- Predictive analytics for waste management
- AI for water quality monitoring
- Smart irrigation systems with AI
- Predictive modeling for water scarcity
- AI-driven traffic management and congestion prediction
- Autonomous vehicles and AI-powered navigation
- Smart city planning with AI analytics
- AI-enabled biodiversity monitoring
- Wildlife tracking and conservation with AI
- AI applications in forest management
- Sustainable Manufacturing and Supply Chain
- Blockchain in Energy Trading
- Smart Contracts for Energy Agreements
- Supply Chain Traceability for Renewable Energy

*Track 8 : ** Education and Green Energy*

- Green Energy Awareness Programs in Schools
- Renewable Energy Career Pathways for Students
- Green Energy Workshops for Educators
- Educational Materials and Resources
- Green Energy Competitions and Challenges
- Community Engagement in Green Energy Education
- Ethical Considerations in Green Energy Education
- Assessment and Measurement of Green Energy Literacy

Please consider submitting.
Best regards

--

*Dr. M.Lahby*

Laboratory of Mathematics and Applications, University Hassan II, Ecole
Normale Supérieure (ENS) Casablanca, Morocco

mlahby@gmail.com
GSM : +212 6 65 29 23 76
In the world of Linux, who needs Windows and Gates

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] PhD position on Mathematical Programming with focus on radiation therapy

Dear all,

We are searching for a PhD student for a joint position between RaySearch Laboratories and the Mathematics department at KTH Royal Institute in Stockholm, Sweden.

The position focuses on optimization of radiation therapy, more precisely development of new mathematical methods and prototype software that will be used to perform research studies within the realm of upright radiotherapy.

Information can be found at https://www.raysearchlabs.com/career/?jobid=297043

Best regards,

Jan Kronqvist

Assistant Professor in Optimization and Systems Theory

KTH Royal Institute of Technology

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] NCMA 2025 - Call for Participation

===============================================================================

NCMA 2025 - Call for Participation

15th International Workshop on Non-Classical Models of Automata and Applications

July 21-22, 2025, Loughborough, UK

https://www.lboro.ac.uk/departments/compsci/events/ncma-2025/

NCMA workshop series website: https://www.cs.uni-potsdam.de/NCMA/

===============================================================================

NCMA 2025 is the 15th edition in a series of events established in 2009. The
workshop welcomes research papers that contain original contributions on
classical and non-classical models of automata and applications and related
subjects, including descriptional complexity of formal systems. Many models of
automata and grammar-like structures are the natural objects of theoretical
computer science. They are studied from different points of view in various
areas, both as theoretical concepts and as formal models for applications. As
such, the aim of the workshops on Non-Classical Models of Automata and
Applications is to provide a forum for researchers who work on different
aspects of classical and non-classical models of automata and grammars to
exchange and develop novel ideas.

In order to emphasize the workshop character of this event, NCMA 2025, will
host also a session of informal presentations on recent results (unpublished,
or published in other venues) or ongoing work.

Alongside the regular programme of talks (accepted papers or informal
presentations), the workshop will also host two invited talks.

VENUE
The 15th edition of NCMA will take place in Loughborough, UK, July 21-22,
2025, co-located with DCFS 2025
(https://www.lboro.ac.uk/departments/compsci/events/dcfs-2025/). It is
organized and hosted by the Department of Computer Science at Loughborough
University.

More information and the list of accepted papers can be found on the
workshop website:
https://www.lboro.ac.uk/departments/compsci/events/ncma-2025/.

INVITED SPEAKERS
- Laure Daviaud (Norwich, UK)
- Ian McQuillan (Saskatoon (SK), Canada)

PROGRAM COMMITTEE
- Marcella Anselmo (Salerno, Italy)
- Sabine Broda (Porto, Portugal)
- Cezar Campeanu (Charlottetpwn (PEI), Canada)
- Joel Day (Loughborough, UK)
- Frank Drewes (Umea, Sweden)
- Zsolt Gazdag (Szeged, Hungary)
- Bruno Guillon (Clermont-Ferrand, France)
- Zbyněk Křivka (Brno, Czech Republic)
- Carlo Mereghetti (Milano, Italy)
- Nelma Moreira (Porto, Portugal) (co-chair)
- Frantisek Mraz (Prague, Czechia)
- Benedek Nagy (Famagusta, North Cyprus)
- Luca Prigioniero (Loughborough, UK) (co-chair)
- Juraj Sebej (Kosice, Slovakia)
- Stefan Siemer (Göttingen, Germany)
- Hellis Tamm (Taillin, Estonia)
- Matthias Wendlandt (Gießen, Germany)

CONTACT
e-mail: NCMA2025@lboro.ac.uk
website: https://www.lboro.ac.uk/departments/compsci/events/ncma-2025/

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] DCFS 2025 - Call for Participation

============================================================================

DCFS 2025 - Call for Participation

26th International Conference on Descriptional Complexity of Formal Systems

July 22-24, 2025, Loughborough, UK

https://www.lboro.ac.uk/departments/compsci/events/dcfs-2025/

============================================================================

The DCFS conference series is an international venue for presenting new results
in all areas of descriptional complexity - a field that studies the cost of
describing objects within various computational models, such as Turing
machines, pushdown automata, finite automata, grammars, and more.

VENUE
The 26th edition of DCFS will be held in Loughborough, UK, on July 22-24, 2025.
The conference is organized by the Department of Computer Science, Loughborough
University, and by the IFIP Working Group 1.02 "Descriptional Complexity".
DCFS 2025 will be co-located with NCMA 2025
(https://www.lboro.ac.uk/departments/compsci/events/ncma-2025/).

More information and the list of accepted papers can be found on the
conference website:
https://www.lboro.ac.uk/departments/compsci/events/dcfs-2025/.

INVITED SPEAKERS
- Giuseppa Castiglione (Palermo, Italy)
- Ian McQuillan (Saskatoon (SK), Canada)
- Irek Ulidowski (Leicester, UK)

HONORARY TALK
- Erzsébet Csuhaj-Varjú (Budapest, Hungary)

PROGRAM COMMITTEE
- Henning Bordihn (Potsdam, Germany)
- Pascal Caron (Rouen, France)
- Szilárd Zsolt Fazekas (Akita, Japan)
- Dora Giammarresi (Rome, Italy)
- Yo-Sub Han (Seoul, Korea)
- Galina Jirásková (Košice, Slovakia)
- Stavros Konstantinidis (Halifax (NS), Canada)
- Martin Kutrib (Giessen, Germany)
- Sylvain Lombardy (Bordeaux, France)
- Andreas Malcher (Giessen, Germany, co-chair)
- Dana Pardubská (Bratislava, Slovakia)
- Luca Prigioniero (Loughborough, United Kingdom, co-chair)
- Rogério Reis (Porto, Portugal)
- Kai Salomaa (Kingston (ON), Canada)
- Marinella Sciortino (Palermo, Italy)
- Shinnosuke Seki (Tokyo, Japan)
- Taylor Smith (Antigonish (NS), Canada)
- Nicholas Tran (Santa Clara (CA), USA)
- György Vaszil (Debrecen, Hungary)
- Hsu-Chun Yen (Taipei, Taiwan)

CONTACT
e-mail: DCFS2025@lboro.ac.uk
website: https://www.lboro.ac.uk/departments/compsci/events/dcfs-2025/

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] 【CFP】IWAE 2025 Submission Deadline Extended to 15 July 2025

The 2025 International Workshop on Algorithms in Engineering in conjunction
with 2025 IET International Conference of Engineering Technologies and
Applications will be held at National Taipei University of Business,
Taoyuan, Taiwan, on October 24-26, 2025. The conference proceedings will be
published by the IET (Institution of Engineering and Technology), included
in the IET Digital Library, indexed in EI Compendex, and currently under
application for indexing in DBLP. A Special Issue in a leading journal in
Theoretical Computer Science is currently being planned.

The topics of interest include (but are not limited to) the following:
- Ad Hoc, Dynamic and Evolving Networks
- Algorithms and Data Structures
- Algorithmic Game Theory
- Approximation Algorithms and Online Algorithms
- Automata, Languages, Logic, and Computability
- Complexity Theory
- Computational Learning Theory and Knowledge Discovery
- Cryptography, Reliability and Security, and Database Theory
- Computational Biology and Bioinformatics
- Computational Algebra, Geometry, and Number Theory
- Experimental Algorithms and Applications
- Experimental Evaluation of Algorithms
- Fault Tolerant Computing and Fault Diagnosis
- Foundations of Cloud Computing
- Graph Drawing and Information Visualization
- Graph Theory, Communication Networks, and Optimization
- Intelligent Algorithms and Applications
- Mobile Agents
- Online Algorithms
- Parallel and Distributed Computing
- Parameterized and Exact Algorithms
- Streaming Algorithms

================
Important Dates
================
Full paper submission: July 15, 2025 (AoE)
Paper notification: September 1, 2025
Camera-ready paper due date: September 8, 2025
Conference Dates: October 24-26, 2025

========================
Submission instructions:
========================
Authors are invited to submit high-quality manuscripts presenting original,
unpublished research related to the symposium's topics. Submissions must
not be under consideration for publication at any other conference or
workshop with published proceedings. Each accepted paper must be presented
at the conference by one of its authors.
Authors should note that the abstract is a concise summary (80–200 words)
of their full 2-page paper.
Submission Guidelines:
Submissions must be in PDF format, prepared using the official templates
available at: https://iceta2025.ntub.edu.tw/call-for-papers/
The main paper should not exceed 2 pages, including the title page and
references.
An optional appendix may be included for additional details, clearly marked
as such, and will be read at the discretion of the Program Committee.
Any figures related to the main content must be incorporated within the
2-page limit.
For further details, please refer to the conference website.

=============
Awards:
=============
Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award, at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper. The
program committee may decline to make these awards or may split them.

Conference website: https://iceta2025.ntub.edu.tw/
Submission link: https://easychair.org/my/conference?conf=ieticeta2025

================
Program Chairs
================
Ling-Ju Hung, National Taipei University of Business, Taiwan
Ralf Klasing, CNRS and Bordeaux University, France

==================
Program Committee
==================
Matthias Bentert, TU Berlin, Germany
Hans-Joachim Böckenhauer, ETH Zürich, Switzerland
Arnaud Casteigts, University of Geneva, Switzerland
Li-Hsuan Chen, National Chung Cheng University, Taiwan
Po-An Chen, National Yang Ming Chiao Tung University, Taiwan
Eddie Cheng, Oakland University, USA
Romaric Duvignau, Chalmers University of Technology, Sweden
Thomas Erlebach, Durham University, UK
Henning Fernau, University of Trier, Germany
Florent Foucaud, LIMOS – Université Clermont Auvergne, France
Leszek Gasieniec, University of Liverpool, UK
Sun-Yuan Hsieh, National Cheng Kung University, Taiwan
Shang-En Huang, National Taiwan University, Taiwan
Tomasz Jurdziński, University of Wroclaw, Poland
Sanpawat Kantabutra, Chiang Mai University, Thailand
Thierry Lecroq, University of Rouen, France
Chia-Wei Lee, University of Taipei, Taiwan
Chung-Shou Liao, National Tsing Hua University, Taiwan
Leo Liberti, LIX, Ecole Polytechnique, France
Cheng-Kuan Lin, National Yang Ming Chiao Tung University, Taiwan
Yaping Mao, Qinghai Normal University, China
Tobias Mömke, University of Augsburg, Germany
Nils Morawietz, University of Jena, Germany
Nicolas Nisse, INRIA – Université Côte d'Azur, France
Kung-Jui Pai, Ming Chi University of Technology, Taiwan
Tomasz Radzik, King's College London, UK
Mikhail Raskin, University of Bordeaux, France
Peter Rossmanith, RWTH Aachen University, Germany
Meng-Tsung Tsai, Academia Sinica, Taiwan
Hung-Lung Wang, National Taiwan Normal University, Taiwan
Tomoyuki Yamakami, University of Fukui, Japan
Shuming Zhou, Fujian Normal University, China

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Submission Deadline: July 15, 2025 – The 3rd International Workshop on TwinNetApp in conjunction with IEEE GLOBECOM 2025 | Taipei, Taiwan

========================================
We apologize if you receive multiple copies of this CFPs.
We appreciate your help to contribute & forward this CFPs to your friends.
========================================
You are cordially invited to submit your latest research results to the
TwinNetApp Workshop.

CALL FOR PAPERS
The Third International Workshop on Data Driven and AI-Enabled Digital Twin
Networks and Applications (TwinNetApp) in conjunction with IEEE GLOBECOM
2025 | Taipei, Taiwan
Workshop Website: https://globecom25-twinnetapp.bcrg.uk/
Conference Website: https://globecom2025.ieee-globecom.org/

The next generation of technologies is envisioned to connect the physical
and digital worlds. In this regard, Digital Twins (DT) is an emerging
technology that has taken the world by storm due to its multiple benefits
and deployment in interdisciplinary applications ranging from real-time
remote monitoring to healthcare, industrial control systems and predictive
maintenance in aerospace. DT connects the physical and digital worlds by
building an accurate virtual replica of system objects in real-time.
Real-time network monitoring, performance testing, optimization, and fast
simulation are some examples that exploit DT advantages in the
communication domain and beyond. DT delivers a new generation platform to
analyze and test complex systems that is not currently available in
traditional simulations and evaluations. Therefore, the use of DT is
required in communication systems. Further, DT can deliver seamless
analysis, monitoring, and predictions between digital and virtual
counterparts of real-world systems, when it is used together with
next-generation mobile communications (5G/6G), Virtual Reality (VR),
Internet of Things (IoT), Artificial Intelligence (AI), Transfer Learning
(TL), 3D models, Augmented Reality (AR), distributed computing and
intelligent health applications. The workshop will invite authors to submit
papers presenting new research on all aspects of DT networks, systems and
applications. Topics of interest include, but are not limited to:
• Data-driven and IoT-based DT networks for real-time communication
systems
• Real-time communication protocols for DT networks
• DT-enabled health applications
• Wireless communications for cyber-physical DT applications
• Security and privacy concepts in DT
• Trustworthy AI enabled DT applications
• DT-assisted AI applications for smart cities
• Communications protocols for enabling DT deployment in real-world
applications
• AI applications of DT systems
• DT in Edge/Fog/Cloud Computing
• DT for enhanced Mobile Broadband (eMBB), massive Machine Type
Communications (mMTC), and Ultra Reliable Low Latency Communications
(URLLC) applications
• DT for resource management and network optimization
• Connected networking systems for environmental sensing
• DT for precision agriculture, smart city and industry 4.0 applications
• Real-world DT simulations, prototypes, and testbed demonstrations

General Chairs
• Berk Canberk, Edinburgh Napier University, UK (B.Canberk@napier.ac.uk)
• Octavia Dobre, Memorial University, Canada (odobre@mun.ca) (IEEE Fellow)
• Marco Di Renzo, Université Paris-Saclay, CNRS, CentraleSupélec,
Laboratoire des Signaux et Systémes, France (
marco.di-renzo@universite-paris-saclay.fr) (IEEE Fellow)

Industrial Chair
• Gokhan Yurdakul, GM of BTS Group (yurdakulg@btsgrp.com)

Important Dates
Paper Submission Deadline: 15 July 2025
Paper Acceptance Notification: 1 September 2025
Camera Ready: 1 October 2025

Submission
The page length limit for all initial submissions for review is SIX (6)
printed pages (10-point font) and must be written in English. Initial
submissions longer than SIX (6) pages will be rejected without review.
All final submissions of accepted papers must be written in English with a
maximum paper length of six (6) printed pages (10-point font) including
figures. No more than one (1) additional printed page (10-point font) may
be included in final submissions and the extra page (the 7th page) will
incur an over length page charge of US$100.
Submission Link: https://edas.info/newPaper.php?c=33991&track=132200

Best Paper Award
The workshop will feature a Best Paper Award with a cash prize of 800
Dollars, sponsored by BTS Labs (https://btslabs.ai/).

Kind regards,
Lal Verda Cakir
PhD Candidate
Edinburgh Napier University, UK
www.bcrg.uk

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Second Hexagon Workshop on power grid optimization - Benevento, Italy, 10-11 September 2025

Apologies for cross-posting.

We are happy to announce the second HEXAGON workshop on power grid optimization, which will take place in Benevento on 10-11 September 2025. As with the successful first edition, which took place in Bergamo in June 2024, the Hexagon workshop aims at gathering people from both Academia and Industry to exchange ideas and showcase the latest results in the field. This workshop is part of the HEXAGON<https://hexagon.deib.polimi.it/> project, supported by a PRIN-PNRR 2022 grant.

Confirmed speakers:

*
Ambrogio Maria Bernardelli, Università di Pavia
*
Antonio Frangioni, Università di Pisa
*
Cosimo Pisani, Terna Rete Italia
*
Cristian Bovo, Università di Pavia
*
Ferdinando Fioretto, University of Virginia
*
Giorgio Giannuzzi, Terna Rete Italia
*
Grazia Todeschini, King's College London
*
Kevin Aigner, FAU Erlangen-Nürnberg
*
Massimo Lascala, Politecnico di Bari
*
Nicolò Gusmeroli, Politecnico di Milano
*
Paolo Bignardi, RSE
*
Silvia Iuliano, Università del Sannio

The workshop venue is the University of Sannio, in the city of Benevento. A truly "open-air museum", Benevento has a lot to offer, both historically and culturally, such as the Arco di Traiano, the Roman Amphitheater, and the Santa Sofia Church.

Participation is free of charge. A registration form and other information about the workshop is at https://hexagon2025.services.ding.unisannio.it/

We look forward to seeing scientists, practitioners, and students in Benevento in mid September.

The organizers: Pasquale Avella, Pietro Belotti, Stefano Coniglio, and Stefano Gualandi

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CPAIOR 2025: Call for Participation (Early registration ends 3 September)

CPAIOR 2025, the 22nd International Conference on the Integration of
Constraint Programming (CP), Artificial Intelligence (AI), and Operations
Research (OR), will be held in Melbourne, Australia, November 10-13, 2025.
It will be co-located with ICAPS and KR.

Registrations for CPAIOR 2025 are now open. Please visit the conference
website at

https://sites.google.com/view/cpaior2025

for the registration link as well as more information on the conference
venue, travel, visas and accommodation. Early registration will close on 3
September, 2025.

Registration includes access to all CPAIOR and ICAPS sessions on the
selected days, as well as coffee/tea breaks, a joint welcome reception and
the CPAIOR conference dinner.

We also want to use this opportunity to advertise the Optimisation and
Planning Summer School 2025, which will take place near Melbourne during
the week before ICAPS/CPAIOR:

https://opss25.pathfinding.ai/

We hope to see you in Melbourne later this year!

Best regards,

Guido Tack

(Conference Chair, CPAIOR 2025)

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [CFP] CSNet 2025 – GenAI & Cybersecurity | Abu Dhabi | Deadline July 7

*[Apologies if you receive multiple copies of this CFP]*

*Call for Papers: CSNet 2025*
*9th Cyber Security in Networking Conference*
*October 20-22, 2025 | Abu Dhabi, UAE*
*IEEE & ComSoc Sponsored*
*https://csnet-conference.org/2025/*

*Paper deadline (extended): July 7, 2025*
*Submission link:* https://edas.info/N33530

*Theme:* "GenAI and Cybersecurity" – covering AI for Cybersecurity, and
Cybersecurity for AI.

Accepted and presented papers will be submitted to IEEE Xplore. Top papers
invited to Annals of Telecommunications (Springer).
*Topics include:*

-

AI-driven threat management, monitoring, and anomaly detection
-

Secure and resilient AI systems
-

Privacy, ethics, and secure federated learning
-

Blockchain, IoT, edge security
-

Network security, protocols, forensics, and GenAI in networking

*Submission guidelines:*

-

Original, unpublished work
-

Full papers: up to 8 pages; Short papers: up to 4 pages (IEEE format)
-

Submit via EDAS: https://edas.info/N33530

*Important Dates:*

-

*Full/Short Paper deadline:* July 7, 2025
-

*Notifications:* August 7, 2025
-

*Camera-ready:* August 7, 2025

*Posters/Demos & Tutorials:*

-

Poster/Demo 3-page deadline: August 11, 2025
-

Tutorials deadline: July 30, 2025
-

More details: Call for Posters/Demos
<https://csnet-conference.org/2025/call-for-posters-demos/>, Tutorials
<https://csnet-conference.org/2025/tutorial/>

*Chairs:*

-

TPC: Martin Andreoni (TII/Khalifa University), Nour El Madhoun (Isep),
Richard Ikuesan (Zayed University)
-

General: Ahmad Samer Wazan (Zayed), Maryline Laurent (Telecom Suparis)

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Fully funded PhD position in France - Mechanistic Models and Generative AI for Cancer Research

Dear All,

We are looking for candidates for the following position:

PhD Position at the University of Montpellier – Simulating
High-Dimensional Models of the Tumor Microenvironment Using
Probabilistic Methods and Deep Learning

Fully funded, this PhD project focuses on innovative modeling approaches
at the intersection of artificial intelligence and mathematical oncology.

Applicants should have a strong background in artificial intelligence,
partial differential equations, stochastic processes, and programming
(Python/Julia). Expected start date: Oct 2025.

For more details, see:
https://systems-biology-lphi.cnrs.fr/phd-offers-2025-2/

Kind regards,

--
Prof. Ovidiu Radulescu
University of Montpellier
Laboratory of Pathogens and Host Immunity
Leader, Computational Systems Biology team
------------------------------------------------------------------------
LPHI - UMR 5294 CNRS/UM/INSERM Phone: +33-(0)4-6714-9221
Pl. E. Bataillon - Bat. 24 Fax: +33-(0)4-6714-4286
Université de Montpellier email: ovidiu.radulescu@umontpellier.fr
CP 107
34095 Montpellier Cedex 5
FRANCE

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Bulletin of the EATCS: Summer issue

Dear DMANET community,

the new Bulletin of the EATCS is now available:
https://www.eatcs.org/images/bulletin/beatcs146.pdf

In this edition:

- In the TCS on the Web column, Stefan Neumann interviews Tim
Roughgarden about the origins of his YouTube channel, the teaching
philosophy behind his videos, and how to make theoretical ideas accessible
to a broader audience.

- In the Distributed Computing column, Neil Giridharan surveys exciting
recent work on DAG Byzantine fault-tolerant protocols, including
Bullshark—the first partially synchronous DAG BFT protocol—and how newer
protocols like Shoal++ build upon it.

- In the Formal Language Theory column, Tim A. Hartmann explores
recursive naming procedures underlying generalized compass directions,
linking them to tabled Lindenmayer systems, which are typically used to
model plant growth.

- In the Education column, Ding and colleagues at ETH Zurich evaluate
the performance of GPT-4o and o1-preview in a proof-based university
course, under blind grading.

- In the Logic in Computer Science column, Yuri Gurevich presents a
thought-provoking dialogue on the axiomatization of interactive classical
algorithms.

You'll also find a report from the EATCS Japan Chapter in this issue.

Enjoy reading—and have a wonderful summer respectively winter, depending on
your hemisphere.

Best wishes!
Stefan

PS: As always, do not hesitate to contact me or any of our editors in case
you have suggestions for topics which should be covered in an upcoming
issue of the Bulletin!

--

Prof. Dr. Stefan Schmid
Intelligent Networks (INET)
TU Berlin, Germany
Research group: https://www.tu.berlin/en/eninet
Personal: *https://schmiste.github.io/*

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CCCG/WADS 2025 - First Call for Participation

We apologize if you have received multiple copies of this Call for Participation.

Call for Participation: CCCG and WADS 2025, August 11 - 15, York University, Toronto, Canada

Please find the PDF version here:
https://cccg-wads-2025.eecs.yorku.ca/CCCG_WADS_2025___Call_for_Participation.pdf

===================
Overview
===================
The 19th Algorithms and Data Structures Symposium (WADS 2025) and the 37th Canadian Conference on Computational Geometry (CCCG 2025) will take place at York University (Keele Campus) from August 11th to August 15th, 2025.
Find details on the conference's website:
https://cccg-wads-2025.eecs.yorku.ca/

CCCG 2025.
The 37th Canadian Conference on Computational Geometry (CCCG 2025) will be held from August 13 to 15, 2025. CCCG provides a platform to present and discuss new theoretical and applied results in discrete and computational geometry. It focuses on the design of efficient algorithms, the development of innovative software, and the study of the mathematical foundations of computational problems involving geometric constraints.
https://sites.google.com/view/cccgwads-2025/cccg-2025

WADS 2025.
The 19th Algorithms and Data Structures Symposium (WADS 2025) will take place from August 11 to 13.
The conference features original research on the theory and application of algorithms and data structures in all areas, including approximation algorithms, parametrized algorithms, distributed algorithms, parallel algorithms, external-memory algorithms, data structures, computational geometry and topology, exponential time algorithms, online algorithms, randomized algorithms, streaming algorithms, and sub-linear algorithms.
https://sites.google.com/view/cccgwads-2025/wads-2025

===================
Registration
===================
Registration is now open. The early registration deadline is July 15.
A reduced registration fee is available for participants attending both CCCG and WADS.
Detailed instructions are available at:
https://sites.google.com/view/cccgwads-2025/registration

Registration is processed through Eventbrite:
https://www.eventbrite.ca/e/cccg-wads-2025-registration-1357085953619

===================
Invited Speakers
===================
The invited speakers include:

Dr. Piotr Indyk, MIT (Paul Erdős Memorial talk)
Dr. David Mount, University of Maryland (Godfried Toussaint Memorial talk)
Dr. Birgit Vogtenhuber, Graz University of Technology (Ferran Hurtado Memorial talk)

===================
Accepted Papers
===================
The list of accepted papers for presentation at CCCG 2025 is available here:
https://sites.google.com/view/cccgwads-2025/cccg-2025/cccg-accepted-papers

The list of accepted papers for presentation at WADS 2025 is available here:
https://sites.google.com/view/cccgwads-2025/wads-2025/wads-accepted-papers

The conference schedule will be added in early July.

===================
Local Information
===================
For information about accommodations, transportation, and local activities, please consult:
https://sites.google.com/view/cccgwads-2025/local-information

===================
Organizing Committee
===================
Shahin Kamali (York University)
Eric Ruppert (York University)

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [CFP due July 15]: CAIS 2025 Automated and Intelligent Systems, Oct 1-2, Online & OKCity, USA

[Apologies for cross-posting]

--- Call for Abstracts and Papers -------------
2025 OkIP International Conference on Automated and Intelligent Systems
(CAIS)
Online & Oklahoma City, OK, USA
October 1-2, 2025
https://eventutor.com/e/CAIS005
Submission Deadline: July 15, 2025
OkIP Published & Submission for Indexation
Extended versions of the best papers will be considered for publication
in the inaugural volume of the International Journal of Automated and
Intelligent Systems.

>> Contribution Types (Two-Column Format Style):
- Full Paper: Accomplished research results (6 pages)
- Short Paper: Work in progress/fresh developments (3 pages)
- Extended Abstract/Poster/Journal First: Displayed/Oral presented (1
page)

>> Areas:

- AI, Machine Learning (ML), and Applications
- Agent-based, Automated, and Distributed Supports
- Natural Language Processing (NLP)
- Intelligent Systems and Applications
- Knowledge-based and Control Supports
- Automation, Robotics and Vehicles
- Global AI
- Generative AI Tools and Models
- AI in Computing and Society
- AI in Education
- AI Engineering
- Software Engineering for AI
- Circuit, Design, and Hardware for AI
- ...
More details are here:
https://eventutor.com/event/64/program

>> Important Dates:
- Abstract or Paper Submission: July 15, 2025
- Author Notification: August 1-15, 2025
- Camera Ready Paper Submission, Registration: August 7-22, 2025
- Conference Date: October 1-2, 2025

>> Technical Program Committee
https://eventutor.com/event/64/page/172-committee

Please feel free to contact us for any inquiries at:
Kris Zeuti
OkIP Secretariat
info@okipublishing.com
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************