[DMANET] Real-Time Intelligent Systems 2025

Seventh International Conference on Real-Time Intelligent Systems (RTIS 2025)
Macau Millennium College, Macau
October 13-14, 2025

Posts and Telecommunications Institute of Technology
November 05-06, 2025
Ho Chi Minh. Vietnam
https://www.socio.org.uk/rtis

Authors can participate in Macau or in Vietnam.

The International Conference on Real-time Intelligent Systems (RTIS) has travelled from Beijing, China (2016), to Macau. The seventh edition will take place at the University of Macau, Macau and at the Posts and Telecommunications Institute of Technology, Ho Chi Minh, in Vietnam.

Over the past few years, real-time intelligent computing has revolutionised the human lifestyle. Research on real-time intelligent systems is multi-disciplinary, exploiting concepts from diverse areas such as big data processing, computational intelligence, location-based services, recommendation systems, and multimedia processing. In today's highly dynamic environment, analysing data in real-time is necessary to understand how systems process data, reason the outputs, and anticipate trends in intelligent computing. To this end, this conference will serve as a platform to manifest the ongoing research in the field. Thus, RTIS welcomes theoretically grounded, methodologically sound papers that address aspects related to the following topics.

CALL FOR PAPERS (Virtual/Physical)

Artificial Intelligence and Data Mining
Streaming data, streaming engines
Trace-based intelligent real-time services
Adaptive vision algorithms
Location-based services
Intelligent Robotic Systems
Collaborative Intelligence

Data capture in real-time
Data quality and cleansing
Intelligent Data Analysis
Intelligent Database Systems
Knowledge representation and reasoning
Intelligent information fusion
Large Language Models, cognitive methods, sequential inference, data mining, pattern/behavioral analysis
Big Data systems and applications for high-velocity data
Intelligent Information Systems
Privacy and security in Intelligence
Software Engineering Solutions

Intelligent Soft Computing
Real-time multiprocessor systems
Internet of Things
Architectures for Intelligence
Real-time distributed coding
Smart services and platforms
Real-time modelling user information needs
Wireless Communication

Real-time intelligent communication
Real-time intelligent network solutions
Mobile Smart Systems
Broadband Intelligence
Cloud Computing and Intelligence
Collaborative Intelligence
Analysis in domains such as energy, sensors

Decision support systems in real-time
Multi-agent Intelligent Systems
Multilingual information access
Recommendation systems
Real-time intelligent alert systems
Real-time remote access systems
Intelligent Transportation Systems

Autonomous systems (incl. autonomous vehicles and drones)
Distributed systems
Cloud/edge computing/fusion
Defence/security, robotics, aerospace, intelligent transportation
Mining/Manufacturing
Environmental monitoring
Critical Real-time Applications

Real-time noise removal systems
Event-driven analytics
Intelligent Fuzzy Systems
Machine translation in real-time
OLAP for real-time decision support
Crowdsourcing and crowd intelligence
AI in Agriculture
Smart Agriculture Systems

User experience in Real-Time Systems
Anomaly Detection
Predictive Maintenance
Image and Video Recognition
Natural Language Processing
Vulnerability Management
Healthcare
Customer Analytics

Submission, proceedings
Papers must be submitted online through OpenConf. Author instructions and LaTex2e (preferred) and Word macro files are available on the submission page. Submitted papers should be at most 14 pages (long papers) and 8 pages (short ones), including figures, tables and references (in the Springer template). Authors of accepted papers are required to transfer their copyrights. For a paper to appear in the proceedings, at least one of the authors MUST register for the conference by the camera-ready submission deadline with a full registration.

Springer's Lecture Notes in Networks and Systems (LNNS) (https://www.springer.com/series/15179) will publish the accepted papers and be indexed in SCOPUS, EI Compendex, INSPEC, WTI Frankfurt eG, zbMATH, and SCImago. All the papers published in the series are submitted for consideration in the Web of Science.

Important Dates

Submission of Papers: August 25, 2025
Notification of Acceptance/Rejection: September 20, 2025
Camera-ready: October 05, 2025
Registration: October 05, 2025
Conference Dates: October 13-14, 2025

General Chair
Simon Fong, University of Macau, Macau

Program Chairs
Pit Pichappan, Digital Information Research Labs, India
Zehan Tan, Macau Millennium College, Macau

Program Co-chairs
Kenneth Chan, Macau Millennium College, Macau
Duong Van Hieu, Tien Giang University, Vietnam
Ricardo Rodriguez-Jorge, Technological Centre Ceit, Spain
Dion Goh, Nanyang Technological University, Singapore

Contact: stm@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] Final Call for Prize Nominations for Innovation in Distributed Computing 2026

*=======================*

*Call for Prize Nominations*

*=======================*

*Deadline Imminent:* Nominations are due by September 9, 2025.

Nominations are requested for the Prize for Innovation in Distributed
Computing, awarded by the Colloquium on Structural Information and
Communication Complexity (SIROCCO).

This prize was established to recognize individuals whose research
contributions expanded the collective investigative horizon in SIROCCO's
area of interest. That is, they formulated new problems, or identified new
research areas, that were at the time of their introduction, unorthodox and
outside the mainstream, but later attracted the interest of the SIROCCO
community. This community is interested in the relationships between
information and efficiency in decentralized computing. The prize recognizes
originality, innovation, and creativity – the qualities that reflect the
spirit of the SIROCCO conference.

The winner of the Prize for Innovation in Distributed Computing 2026 is
expected to give an invited talk at SIROCCO 2026, scheduled to take place
on June 9-11 in Durham, UK.

Past prize winners are Nicola Santoro, Jean-Claude Bermond, David Peleg,
Roger Wattenhofer, Andrzej Pelc, Pierre Fraigniaud, Michel Raynal, Masafumi
Yamashita, Shmuel Zaks, Zvi Lotker, Paola Flocchini, Amos Korman, Friedhelm
Meyer auf der Heide, Christian Scheideler, Boaz Patt-Shamir, Shay Kutten,
and Sergio Rajsbaum.

The prize may not necessarily be awarded every year.

*=======================*

*Eligibility*

*=======================*

The following conditions must be met by the nominees to be eligible for the
prize. It is requested that a nomination letter explains and demonstrates
how the nominee matches these conditions.

(1) The original innovative contribution was introduced by the nominee(s)
for the first time in a publication at least five years before the
nomination deadline, and the publication must have appeared in conference
proceedings or a scientific journal.

(2) At least one paper (co)authored by the nominee(s), either the original
paper, or a paper closely related to the innovative contribution, must have
appeared in a SIROCCO proceedings.

A nomination letter should identify the paper(s) that make(s) the nominee
eligible according to conditions (1) and (2) above, as well as explain the
contribution, its originality, and its significance.

Past SIROCCO papers and authors can be found at indexing sites, e.g. Google
Scholar or DBLP.

*=======================*

*Selection process*

*=======================*

The prize winners are selected by the Award Committee composed of the
current Steering Committee (SC) Chair of the SIROCCO conference, the PC
chairs, including co-chairs, of the three SIROCCO conferences immediately
preceding the nominations deadline, plus one additional member of the
Advisory Board, or one past winner, selected by the Steering Committee for
the current year.

The Award Committee of the Prize for Innovation in Distributed Computing
2026 consists of:

Keren Censor-Hillel, Technion (chair)

Yuval Emek, Technion

Andrzej Pelc, University of Quebec

Sergio Rajsbaum, UNAM

Ulrich Schmid, TU Wien

Nominations can be made by any member of the scientific community.
*Nominations are due by September 9, 2025.*

Please send the nomination to the prize committee chair, Keren
Censor-Hillel, by e-mail: ckeren@cs.technion.ac.il. Please write "SIROCCO
Prize Nomination" in the subject line.

Please help in recognizing the contributions of members of our community.

------
Regards,
William K. Moses Jr.
Local Organizer (Publicity), SIROCCO 2026
https://sites.google.com/view/wkmjr

**********************************************************
*
* 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] Heureka Student Award 2025

The Heureka Foundation for Environment and Mobility honors outstanding Diploma or Master's theses that are dedicated to issues in mobility in connection with environmental aspects or the use of optimization methods with the

*** Heureka Student Award 2025 ***

The selected work will be awarded prizes of 2.000 € (1. Prize), 1.000 € (2. Prize), and 500 € (3. Prize) and an invitation to the Forum New Forms of Mobility (FoNeMo) at TFH Wildau, presumably on March 12, 2026 (coverage of conference fee and travel expenses).

You can submit theses from all disciplines that meet the following criteria:

- The thesis investigates a mobility topic in connection with environmental aspects or the use of optimization methods.
- The work was done at a German-speaking university.
- The work was finally handed over to the respective department / institute / professorship between 01.10.2024 and 30.09.2025.

Applications for the Student Award 2025 can be submitted by the supervisor or by the author by November 30, 2025 by e-mail to

student-award@stiftung-heureka.de<mailto:student-award@stiftung-heureka.de>

Your application should contain (see http://stiftung-heureka.de/student-award/ for details):

- A 1- to 3-page summary of the work
- A CV (max one page)
- The Diploma or Master's thesis as a PDF
- The completed cover sheet (download from the website) signed by a professor supporting the application.

The thesis and all other documents can be submitted in German or English.

The winners will be notified in mid-january 2026.



--
Prof. Dr. Ralf Borndoerfer
Zuse Institute Berlin, Optimization
Freie Universität Berlin, Mathematics
Takustrasse 7, 14195 Berlin, Germany
Fon: +49.30.84185-243
Sec: -209
Fax: -269
E-mail: mailto:borndoerfer@zib.de
WWW: http://www.zib.de/borndoerfer

**********************************************************
*
* 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] Final Announcement: (OMIGAWD): O-Minimal Geometry Conference at Warwick, UK, Sep 8-11, 2025

Dear All,

This is the final announcement for the conference "OMIGAWD: O-Minimal Geometry - Interactions, Applications and Wider Developments, 2025" at the University of Warwick, UK, on September 8 - 11, 2025. The website is here<https://abhiramnatarajan.github.io/Conferences/OMIGAWD%202025/index.html>.

List of plenary and invited speakers:

Pablo Andújar Guerrero (Universitat de València, Spain)
Matthias Aschenbrenner (Universität Wien, Austria)
Benjamin Bakker (University of Illinois at Chicago, USA)
Saugata Basu (Purdue University, USA)
Artem Chernikov (University of Maryland, USA)
Georges Comte (Université Savoie Mont Blanc and Centre national de la recherche scientifique (CNRS), France)
Gareth Jones (University of Manchester, UK)
Salma Kuhlmann (Universität Konstanz, Germany, and University of Saskatchewan, Canada)
Martin Lotz (University of Warwick, UK)
Anand Pillay (University of Notre Dame, USA)
Alison Rosenblum (Wabash College, USA)
Harry Schmidt (University of Warwick, UK)
Giuseppina Terzo (Universita' Degli Studi di Napoli, "Federico II", Italy)
Athipat Thamrongthanayalak (Chulalongkorn University, Thailand)
Margaret Thomas (Purdue University, USA)
Marcus Tressl (University of Manchester, UK)
Laura Wirth (Universität Konstanz, Germany)
Boris Zilber (University of Oxford, UK)

The talks will be made available online. Please register if you want to receive online participation information.

We still have some funding left over for travel and accommodation which will be allotted on a first-come-first-serve-basis. There are also still some slots available to give a talk at the conference - please write to omigawd2025@gmail.com to express interest.

The schedule is nearly finalized and most of the talk titles and abstracts are now put up on the website.

Best,
Abhiram Natarajan
(on behalf of the organizing committee)

**********************************************************
*
* 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] [Deadline approaching, September 7, 2025 ] CfP: ISGTA 2025 || November 19 - 21, 2025 - Portalegre, Portugal

- Please accept our apologies in case of multiple copies of this CFP
- Due to many requests, the submission deadline has been extended to *September
7, 2025*

*-----------------------------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*: *September 7, 2025 (extended)*
*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
4.Prof. Álvaro Rocha University of Lisbon -ISEG, Portugal

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

*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
M. LAHBY
General Chair of ISGTA 2025

--

*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] Call for Colloquium "Combinatorics and Life Sciences", Lyon

This is a call for the first edition of a Colloquium called Combinatorics and Life Sciences
that will take place in Lyon, in presence only, from September 29 at 2pm to October 2 at
noon, 2025.

As its name indicates, the objective is to bring together the communities involved in
combinatorial computer science and mathematics on one hand, and in computational
biology on the other. The idea is that the researchers from the second community
present the types of mathematical and algorithmic problems they usually face, while
the researchers from the first community present the recent advances in their areas.

The Colloquium will have mainly keynote speakers from both communities, but also
some slots for shorter presentations from the attendees in general. More information
is available here:
https://project.inria.fr/colloquium/.

You can find here the link for registering to the Colloquium:
https://grist.numerique.gouv.fr/o/docs/forms/iLXgruXLyo3UnCyeUmFjWq/4
Registrations are free but mandatory.

If you are interested in giving a short presentation, do not forget to add a title and
a short abstract.

Notice that the number of places is limited for both attendees and short presentations.

Looking forward to seeing you at this first event!

The organisers: Arnaud Mary, Laurent Bulteau, Marie-France Sagot, Nicolas Bousquet

**********************************************************
*
* 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] SIROCCO 2026 - Second Call For Papers

*=====================================*

*SIROCCO 2026 Call For Papers **=====================================*

33rd International Colloquium On Structural Information and Communication
Complexity

Durham, UK, June 9–11, 2026

https://sirocco2026.webspace.durham.ac.uk/

https://easychair.org/cfp/sirocco2026

SIROCCO is devoted to the study of the interplay between structural
knowledge, communication, and computing in decentralized systems of
multiple communicating entities. Special emphasis is given to innovative
methodological and solution approaches leading to a better understanding of
the relationship between computing and communication.

SIROCCO has a tradition of interesting and productive scientific meetings
in a relaxed and pleasant atmosphere, attracting leading researchers in a
variety of fields in which communication and knowledge play a significant
role. Past SIROCCO proceedings can be found here:
https://link.springer.com/conference/sirocco.

*=====================================*

*Scope **=====================================*

Original papers are solicited from all areas of study of local structural
knowledge and global communication and computational complexities, in
particular (in alphabetical order):

* Biological and nature-inspired distributed algorithms

* Blockchains and related distributed paradigms

* Distributed algorithms and computability

* Distributed graph algorithms

* Distributed quantum computing

* Epistemic modeling and analysis of distributed systems

* Fault tolerance

* Formal verification of distributed systems

* Game theory in distributed computing

* Mobile agents and autonomous distributed systems

* Network modeling and analysis

* Security in distributed computing

* Self-stabilization

* Shared-memory algorithms

* Structural and communication complexity analysis

* Topology in distributed computing

* Wireless, ad-hoc, and peer-to-peer networks

Keeping with the tradition of SIROCCO, new areas are also welcome.

*=====================================*

*Important Dates **=====================================*

*Abstract submission:* Sunday, November 2, 2025 (AoE)

*Full paper submission:* Sunday, November 9, 2025 (AoE)

*Notification:* January 20, 2026

*=====================================*

*Venue **=====================================*

SIROCCO 2026 will take place at Durham University (England's 3rd oldest
University) in the UNESCO world heritage city of Durham, UK – the land of
the prince bishops. Located on a dramatic peninsula overlooking the River
Wear, Durham's unique 1100 yr old Norman cathedral and castle form the
designated World Heritage Site attracting tourists from all over the world
including the makers of the Harry Potter movies! Besides the beautiful
river, Durham has acres of tranquil woodland and peaceful parkland,
adjoining castles and attractions including the University's own Botanic
Garden and Oriental Museum. The university city has lovely walks, cobbled
streets, and a unique array of excellent cafes, bars, restaurants, and even
rowing and boating opportunities. Conference participants will have the
opportunity to visit Beamish Living Museum - the 2025 Museum of the
Year. Beamish is a world famous open air museum which brings the history of
North East England to life at its 1820s Pockerley, 1900s Town, 1900s Pit
Village, 1940s Farm, 1950s Town and 1950s Spain's Field Farm exhibit areas.

Durham is easily accessible - located just 30 minutes from the Newcastle
international airport, and less than 3 hours from London, Edinburgh, and
Manchester by train.

*=====================================*

*Submission Instructions **=====================================*

A submission must report on original research and contain results that have
not appeared previously in a regular conference paper and have not been
concurrently submitted to or previously appeared in a journal or a
conference with published proceedings.

The papers must be submitted in PDF format using EasyChair. Submissions
must be written in English and formatted in a single column on US
letter-size or A4 size paper, use at least 11-point font, and have at least
2.5 cm margins.

All submissions must start with a cover page, which will include the
paper's title, author names, a short abstract, and keywords. The main body
of the paper should not exceed 12 pages and should contain a concise and
clear presentation of the primary content and merits of the work. The
12-page limit excludes the cover page and bibliographic references.
Additional material can be included in a clearly marked Appendix, to be
read at the discretion of the reviewers only.

Submissions deviating from these guidelines as well as papers outside the
scope of the conference may be rejected without consideration of their
merits.

A submission that is not accepted as a full paper may be invited for a
brief announcement.

Paper submission will be handled by EasyChair, so please make sure that you
have an active account. The papers must be submitted electronically at:

https://easychair.org/conferences/?conf=sirocco2026
<https://easychair.org/my/conference?conf=sirocco2026>

*=====================================*

*Proceedings **=====================================*

The proceedings of SIROCCO 2026 will be published by Springer in the
Lecture Notes in Computer Science (LNCS) series. Note carefully that
inclusion in the proceedings requires a presentation by one of the authors
at the conference site and at least one full registration for every full
paper.

*=====================================*

*Special Issue*

*=====================================*

Selected papers from SIROCCO 2026 will be invited to a special issue of the
journal Theoretical Computer Science.

*=====================================*

*Best Paper Awards **=====================================*

All regular papers are eligible for the best paper award. Moreover, all
regular papers that have at least one student author, and these student
authors have done most of the work, are also eligible for the best student
paper award. If a submission is eligible for the best student paper award,
please state that on the cover page. The program committee may decline to
make the awards or may split them among multiple papers.

*=====================================*

*Program Committee **=====================================*

Ittai Abraham, Intel Labs

Vitaly Aksenov, ITMO University

Timothé Albouy, IMDEA Software

Emmanuelle Anceaume, IRISA

Hagit Attiya, Technion

Costas Busch, Augusta University

Armando Castañeda, National Autonomous University of Mexico

Joshua Daymude, Arizona State University

Gianluca De Marco, Università di Salerno

Giuseppe Antonio Di Luna, University of Rome – Sapienza

Antonio Fernandez Anta, IMDEA Networks and IMDEA Software

Ran Gelles, Bar-Ilan University

Chryssis Georgiou, University of Cyprus (chair)

George Giakkoupis, Inria

Alexey Gotsman, IMDEA Software

Magnús M. Halldórsson, Reykjavik University

Taisuke Izumi, Osaka University

Tomasz Jurdzinski, University of Wroclaw

Mikel Larrea, University of the Basque Country

Othon Michail, University of Liverpool

Avery Miller, University of Manitoba

Miguel A. Mosteiro, Pace University

Rotem Oshman, Tel-Aviv University

Andrzej Pelc, University of Quebec

Sathya Peri, IIT Hyderabad

Maria Potop-Butucaru, Sorbonne University

Christian Scheideler, Paderborn University

Elad Michael Schiller, Chalmers University of Technology

Gokarna Sharma, Kent State University

Jukka Suomela, Aalto University

Sara Tucci-Piergiovanni, Universite Paris Saclay, CEA LIST

Jennifer Welch, Texas A&M University

Prudence Wong, University of Liverpool

*=====================================*

*Organizing Committee **=====================================*

Amitabh Trehan, Durham University (General chair)

Karl Southern, Durham University (Treasurer)

Peter Davies-Peck, Durham University (Webmaster)

William K. Moses Jr., Durham University (Publicity)

*=====================================*

*Steering Committee **=====================================*

Keren Censor-Hillel, Technion (chair)

Yuval Emek, Technion

Andrzej Pelc, University of Quebec

Sergio Rajsbaum, Universidad Nacional Autonoma de Mexico

Ulrich Schmid, TU Wien

------
Regards,
William K. Moses Jr.
Local Organizer (Publicity), SIROCCO 2026
https://sites.google.com/view/wkmjr

**********************************************************
*
* 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] Assistant/associate professor at University of Birmingham, UK (apply by September 30, 2025)

The University of Birmingham, UK is recruiting assistant/associate
professors in the School of Computer Science. The Theory of Computation
group at Birmingham is world-renowned and we have been actively recruiting
new researchers for some years now. More information about the group:
https://www.birmingham.ac.uk/research/centres-institutes/research-in-computer-science/theory-of-computation

For informal enquiries, please contact Dr Anupam Das (a.das@bham.ac.uk)
and/or any other member of the group.
Website:
https://www.jobs.ac.uk/job/DOI907/assistant-or-associate-professor-in-computer-science-research-and-education

- Rajesh Chitnis

**********************************************************
*
* 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 EnviroRisks

Dear Colleagues,

We are happy to inform you that the *International Conference EnviroRisks*
will be held in the period *0**1**-0**3** June 202**6**, Sofia**, Bulgaria*.
The conference will provide an excellent international forum for
dissemination of original research results, new ideas and practical
development experiences which concentrate on both theory and practices of
the academics, researchers, engineers and also industry professionals.

*All accepted and presented papers will be submitted* *for publication** to
the SPRINGER **Series* *"Lecture Notes in Networks and Systems"**.*

*Please**, **visit the conference web page for more details:
**https://envirorisks.cmdrcoe.org/*

*Topics of interest for submission include, but are not limited to:*

*1. Disaster Management, Natural Hazards, Risk reduction and Building
Resilience*

*2. **Environmental Degradation*

*3**. **Resilience and Business Continuity Management*

*4. **High Performance Computing, Modeling & Simulations, GIS for
environmental monitoring and Artificial Intelligent *

Please, save the dates and feel free to circulate this message among your
friends.

*Important dates:*

*Abstract** Submission D**ate**: **01** of **March**, 202**6*

*Notification of Abstract Acceptance: **20 March, 2026*

*Full **Paper Submission D**ate**: **01 **of **April**, 202**6*
* Notification** for Paper Acceptance**: ** 01 **of **May**, 202**6*

*Final paper submission:** 20 of May, 2026*
*Conference Dates: **0**1**-**03** of **June**, 202**6*

*Best regards, **EnviroRISKs*
* Organizing Team E-mail: **envirorisks@gmail.com*

--
Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642

**********************************************************
*
* 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] *** CALL FOR PAPERS *** (CloudAM 2025) 14th International Workshop on Cloud and Edge Computing, and Applications Management

*** CALL FOR PAPERS ***
14th International Workshop on Cloud and Edge Computing, and Applications Management (CloudAM 2025)
In conjunction with the 18th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2025)
01-04 December, 2025
Nantes, France

https://sites.google.com/unizar.es/cloudam2025

### Background ###
Cloud computing, virtualization and virtualized (eScience) applications have been generating substantial interest in the community for more than a decade, and this interest enabled the development of several architectures, techniques, and mechanisms for cloud and edge computing. With the actual deployment of edge computing infrastructures, exemplified with Fog Computing and Mobile Cloud Computing, the interest in these developments is still prominent. Cloud and edge infrastructures can work together to fulfill requirements from a variety of applications, composing the so-called Cloud Continuum to the edge. Clouds must provide appropriate levels of performance to large groups of diverse users, and those clouds are accessed through virtualized wide area networks, where edge/fog devices can act as a first layer of computing capacity closer to the user. Management systems are essential for that and thereby for the future success of the fog-cloud hierarchy. New systems, methods, and approaches for cloud and edge computing, virtualization and (eScience) applications management are to be discussed at this workshop.

Overall topics of interest include but are not limited to:

- Autonomic cloud computing
- Big data / complex event processing in the cloud-edge hierarchy
- Business models for cloud, fog, and edge computing
- Cloud, fog, and edge APIs
- Cloud, fog, and edge computing environments
- Cloud, fog, and edge data management
- Cloud, fog, and edge load balancing
- Cloud, fog, and edge scalable monitoring
- Cloud, fog, and edge (micro)services orchestration
- Cloud, fog, and edge scheduling
- Computing Continuum - IoT/Smart Cities integration
- Data center management
- Green cloud computing and energy consumption optimization
- Environmental impacts of Clouds
- Hybrid clouds
- Management of virtual slices and virtualized hardware resources
- Mobile clouds and mobile edge computing
- Multi-cloud/Inter-clouds
- Social clouds
- Network-specific mechanisms for optimized cloud access
- Performance modeling & evaluation
- Policy-driven service/resource life-cycle management
- QoS/QoE management
- Security and privacy in the cloud-edge hierarchy
- Self-distributed systems in the cloud-edge hierarchy
- Scientific workflows management and optimization

Important Dates
Paper submission due: 15 September, 2025 (Extended)
Notification to authors: 07 October, 2025
Camera-ready papers due: 20 October, 2025
Workshop date: 01-04 December 2025

Submission Guidelines
The CloudAM workshop invites authors to submit original and unpublished work. Manuscripts are submitted in PDF format and should not exceed 6 pages single-spaced double-column, using the ACM format. Additional pages might be purchased upon the approval of the proceedings chair.

Submission Link on Easychair: https://easychair.org/conferences/?conf=cloudam2025

Submission is double-blind. This means that author information shouldn't be indicated in any part of the submission including acknowledgements, citations, discussion of related work, etc. that would make the authorship apparent. Submissions containing author identifying information may be subject to rejection without review.

Submission requires the willingness of at least one of the authors to register as author, non-student rate and present the paper in person.

At least one author of each paper must be registered for the conference for the paper to be published in the proceedings. The conference proceedings will be published by ACM and made available online via the IEEE Xplore Digital Library and ACM Digital Library.

Please check the CloudAM website for updated information: https://sites.google.com/unizar.es/cloudam2025

WORKSHOP TECHNICAL COMMITTEE
Abderrahmane Maaradji, UDST, Qatar
Amel Benna, CERIST, Algeria
Agustin Caminero, Universidad Nacional de Educacion a Distancia, Spain
Christophe Cerin, Univ. Paris13, France
Claudio Geyer, Federal Univeristy of Rio Grande do Sul, Brazil
Daniel Balouek, Inria, France
Eddy Caron, Univ. Lyon1, France
Felix Freitag, Universitat Politècnica de Catalunya, Spain
Fabio Costa, Federal University of Goias, Brazil
Gleb Radchenko, South Ural State University, Russia
Helio Guardia, Federal University of São Carlo, Brazil
Ioan Petri, Cardiff University, UK
Jose Angel Bañares, University of Zaragoza, Spain
Jeremy Mechouche, Devoteam, France
Luciano Baresi, Politecnico di Milano, Italy
Michael Bauer, University of Western Ontario, Canada
Pedro Valderas, UPV, Spain
Vladimir Vlassov, KTH Royal Institute of Technology, Sweden
Wilson Akio Higashino, Google, USA

WORKSHOP CHAIRS
Carlo Puliafito - University of Pisa, Italy
Laurent Lefevre - Inria, France
Luiz Bittencourt - Universidade Estadual de Campinas (UNICAMP), Brazil
Zakaria Benomar - Thales cortAIx Labs, France

WORKSHOP HONORARY CHAIRS
Bruno Schulze - LNCC, BR
Rafael Tolosana-Calasanz - UNIZAR, ES

**********************************************************
*
* 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 - 9th CFP] Integration of Logical Constraints in Deep Learning - deadline approaching

(apologies for cross-posting)

======================================================================
Special Track on Integration of Logical Constraints in Deep Learning
----------------------------------------------------------------------
Journal of Artificial Intelligence Research (JAIR)
Deadline: 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/
*
**********************************************************