Theory Announcements

Thursday, July 24, 2025

[DMANET] CP, SAT, and SoCS 2025 in Glasgow -- final call for participation

Dear all,

This is the final call for participation for the 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025), and the 18th International Symposium on Combinatorial Search (SoCS 2025). The three conferences will be held together at the University of Glasgow, Scotland, from 12th to 15th August 2025.

Registration closes at the end of this month, and unfortunately we will not be able to accept on-site registrations.

https://cp2025.a4cp.org/registration.html

If you will be attending and have accessibility or dietary requirements, please let us know as soon as possible, even if your registration may take a few more days.

Alongside the three conferences, we also have a joint CP/SAT doctoral programme, and a two day workshop programme on the 10th and 11th August, featuring:

- the 23rd International Workshop on Satisfiability Modulo Theories (SMT)
- the 1st Workshop on Explanations with Constraints and Satisfiability (ExCoS)
- Machine Learning for Solvers and Provers (ML4SP)
- LLMs meet Constraint Solving
- the 24th workshop on Constraint Modelling and Reformulation (ModRef)
- the 16th Pragmatics of SAT international workshop
- the Workshop on Counting, Sampling, and Synthesis
- the International Workshop on Quantified Boolean Formulas and Beyond
- the Eighth Workshop on Progress Towards the Holy Grail (PTHG-25).

There is a single, shared registration fee that will give you access to all three conferences and all of the workshops.

A draft schedule for the conferences is now available, to help you plan your trip.

https://cp2025.a4cp.org/schedule.html

Looking forward to welcoming you to Glasgow,
--
Ciaran McCreesh
**********************************************************
*
* 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] First call for Colloquium "Combinatorics and Life Sciences", Lyon

This is a call for the first edition of an event that we will then want to organise regularly.
The event is a Colloquium called Combinatorics and Life Sciences and will take place in
Lyon from September 29 at 2pm to October 2 at noon.

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. The program
will soon be made available!

You can find here the link for registering to the Colloquium:
https://grist.numerique.gouv.fr/o/docs/forms/iLXgruXLyo3UnCyeUmFjWq/4
Registration will be free. Notice however that neither lunches nor dinners are included.

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 to the 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/
*
**********************************************************

Wednesday, July 23, 2025

[DMANET] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026)

**CALL FOR PAPERS**

**Special Track on Tests and Proofs (TAP 2026)**

*at the*

**27th International Symposium on Formal Methods (FM 2026)**

**May 18-22, 2026 --- Tokyo, Japan**

**Website:** <https://conf.researchr.org/track/fm-2026/>

**Abstract Submission**: Tuesday, 25 November 2025
**Full Paper Submission:** Tuesday, 2 December 2025

### **New TAP Track at FM 2026: A Premier Venue for Tests and Proofs**

Since 2007, the [Test and Proof (TAP)
conference](https://tapconference.github.io/2024/) has long been a
leading venue for research on the intersection of software testing and
formal verification. Now, TAP is joining the 27th International
Symposium on Formal Methods (FM 2026) as a new special track. This
integration places the ground-breaking work of the Test and Proofs
community at the heart of the world's premier conference on formal
methods.

This new track provides a dedicated forum for researchers,
practitioners, and tool developers to present and discuss the latest
advances in the synergistic combination of traditionally distinct areas
of dynamic analysis, e.g., testing, and static analysis, e.g., proving.
By joining FM, the TAP track offers authors a wider, more diverse
audience and the prestige of publication in the main, open-access FM
2026 proceedings, published by Springer in the LNCS series. We invite
you to be part of this exciting new chapter for the tests and proofs
community!

**Track Highlight: FM 2026 Keynote by Professor Cristian Cadar**

We are thrilled to announce that TAP Track at FM 2026 will feature a
keynote address by **Professor Cristian Cadar** of Imperial College
London. Professor Cadar is a world-renowned authority on software
reliability, security, and verification, and is particularly celebrated
for his pioneering contributions to symbolic and dynamic execution
(e.g., KLEE). His selection as a main symposium keynote speaker is a
powerful testament to the increasing importance of the core topics of
the TAP track to the broader computer science community.

### **Scope and Topics of Interest**

The TAP track solicits high-quality, original research on the interplay
between dynamic techniques such as testing, runtime verification
etc.testing and formal verification such as proving, model checking,
abstract interpretation, etc. . The track aims to foster new
collaborations and advance the state of the art in creating reliable and
secure software and systems. Topics of interest include, but are not
limited to, the following areas:

**Foundations for Combining Testing and Verification**

- Formalisms and theories that unify testing and proof\
- Semantic foundations for combined static and dynamic analysis\
- Proof theory for test-case generation and specification conformance\
- Type systems with a testing and proving focus\
- Formal models of test-based and proof-based development

**Synergistic Techniques and Tools**

- Combination of model checking, theorem proving, and runtime
verification
- Synergies between symbolic execution, fuzzing, and formal analysis
- Test-case generation from formal specifications (e.g., using B, Z,
TLA+, VDM)
- Using test execution results to guide or automate proof discovery
- Static analysis for test-suite reduction, prioritization, and
optimization
- Verification-based and property-based testing
- Formal methods for testing AI/ML-based systems
- AI/ML techniques for enhancing formal verification and testing
- Derivation of specifications and contracts from tests
- Combination of static and dynamic analysis for security
vulnerability detection

**Applications and Empirical Evaluation**

- Case studies and experience reports applying combined test-and-proof
techniques to industrial systems (e.g., in security, cyber-physical
systems, autonomous systems, blockchain, or IoT)
- Empirical comparisons of different verification, testing, and
combined techniques
- Tool demonstration papers for new and innovative tools that support
tests and proofs
- Application of TAP techniques to challenge problems and benchmarks

### **Submission Categories and Guidelines**

The TAP track papers can be submitted in all paper categories supported
by the FM 2026 Research Track and submissions to the TAP track will be
reviewed following the policies and quality criteria of the FM Research
Track.

The TAP track solicits papers in the following categories:

- **Regular Papers (max 15 pages, excluding references and
appendices):** For mature, original research contributions.
- **Long Tool Papers (max 15 pages, excluding references and
appendices):** For presenting mature tools, their theoretical
foundations, and empirical evaluations.
- **Case Study Papers (max 15 pages, excluding references and
appendices):** For in-depth reports on the application of TAP
techniques to significant, real-world problems.
- **Short Papers (max 6 pages, excluding references and appendices):**
For presenting novel but not yet fully mature ideas, or for tool
demonstration papers that focus on a tool's features and usage.

Papers should be original work, not published or submitted elsewhere, in
Springer [LNCS format](https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines),
and written in English.

Submit your papers at https://easychair.org/conferences/?conf=fm2026

Reviewing is single-blind. Each paper will be evaluated by at least
three members of the Program Committee. Papers will be accepted or
rejected in the category in which they were submitted and will not be
moved between categories

Authors of accepted papers are strongly encouraged to submit their
supporting artifacts to the FM 2026 Artifact Evaluation track.

### **Important Dates**

All deadlines are **Anywhere on Earth (AoE, UTC-12h)**. The deadlines
for the TAP track are aligned with the FM 2026 Research Track.

Milestone Date
--------------------------- -------------------------------
**Abstract Submission** **Tuesday, 25 November 2025**
**Full Paper Submission** **Tuesday, 2 December 2025**
**Author Notification** **Friday, 6 February 2026**
**Camera-Ready Version** **Monday, 2 March 2026**
**FM 2026 Conference** **May 18-22, 2026**

### **Publication**

All accepted papers for the TAP track will be published as part of the
main FM 2026 conference proceedings. The proceedings will be published
by Springer in their **open-access Lecture Notes in Computer Science
(LNCS)** series. At least one author of an accepted paper must register
for the conference and present the work.

### **Track Organization**

**Track Chairs:**

- Marie-Christine Jakobs, Ludwig-Maximilan University, Munich, Germany
- Achim D. Brucker, University of Exeter, UK

For inquiries, please contact the track chairs.

--
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
**********************************************************
*
* 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] Extended Deadline: 7 August 2025 (FIRM) – 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
• Gökhan Yurdakul, GM of BTS Group (yurdakulg@btsgrp.com)

Important Dates
Paper Submission Deadline:* 7 August 2025 (FIRM)*
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

[DMANET] GD 2025: CALL FOR POSTERS

Sorry if you receive multiple copies of this announcement.

================================================================
GD 2025: CALL FOR POSTERS

The 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)
September 24-26, 2025, Norrköping, Sweden
https://graphdrawing.github.io/gd2025/

================================================================
IMPORTANT DATES

- Poster submission deadline: August 22
- Poster notification: September 1

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

*Graph Drawing* is concerned with the geometric representation of graphs and constitutes the algorithmic core of *Network Visualization*. Graph Drawing and Network Visualization are motivated by applications for which it is crucial to visually analyze and interact with relational datasets. Application areas include data science, social sciences, web computing, information systems, life sciences, geography, business intelligence, information security, and software engineering.

Graph Drawing has been the main annual conference in this area for more than 30 years. Its focus is on combinatorial and algorithmic aspects of graph drawing, their experimental evaluation, as well as the design of network visualization systems and interfaces. Researchers and practitioners working on any aspects of graph drawing and network visualization are invited to contribute papers and posters and to participate in the symposium as well as the graph drawing contest.

GD 2025 will be held in Norrköping, Sweden, on September 24-26, 2025 with a reception on the evening of September 23. A preconference PhD school will take place September 22-23, 2025. GD 2025 is designed to be held on-site. It is expected that regular papers are presented on site by one of the authors. To address the global challenges and as an offer for authors who are unable to attend we allow for a limited number of remote presentations, as further explained below.

The code of conduct for the GD conference can be found at http://graphdrawing.org/safetoc.html

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

*POSTERS*

Submissions of posters on graph drawing, network visualization, and related areas are solicited. The poster session will provide a forum for the communication of late-breaking research results (which may also appear elsewhere) to the GD community. Authors of posters should prepare an abstract that must be submitted together with the poster itself. Each submission will thus consist of two pdf files (the abstract and the poster).

================================================================
RULES FOR SUBMISSION

Each poster must be presented at the conference by an author.

The proceedings will be published in the LIPIcs <https://www.dagstuhl.de/en/publishing/series/details/lipics> series. To facilitate the process, submissions have to be prepared in accordance with the LIPIcs author instructions <https://submission.dagstuhl.de/series/details/LIPIcs#author>, the page provides links to the LIPIcs class file along with an example and detailed author instructions. For the submission, the use of the LaTeX class file gd-lipics-v2.cls <https://graphdrawing.github.io/gd2025/assets/template/gd-lipics-v2.cls> is requested. The class file is a wrapper around the standard LIPIcs class and implements line counting, see CG-linecount.pdf <https://www.computational-geometry.org/guidelines/linecount_2022_09_19.pdf> for details.

Submissions must not exceed the following limits:

- 80 lines for posters' abstracts.

The above limits do not include front matter (title, authors, and affiliations) and references. The class files provide line counting which should be accurate in most cases. Authors should avoid substantial amounts of text in unnumbered lines.

In addition, the main content of the paper must not exceed the following page limits excluding references:

- 3 pages for posters' abstracts.

For poster submissions, no appendix is expected.

We also encourage authors to avoid "et al." in citations in favor of an equal mention of the surnames of all authors. For references with few authors, it is recommended to name all of them; if the number of authors is large, consider writing "(It is shown that) X [#]" or "The authors in [#] show that X" instead of "A et al. [#] show that X".

Posters should be submitted electronically via Easychair <https://easychair.org/conferences/?conf=gd2025>. The proceedings will be published in the *Leibniz International Proceedings in Informatics (LIPIcs)* series and are available open access.

================================================================
SINGLE-BLIND REVIEW PROCESS

Poster submissions will be evaluated by the Program Committee in a single-blind mode. In particular, the submitted abstract should contain the authors' names, affiliations, and email addresses.

================================================================
AWARDS

To recognize the effort of participants to prepare their posters in a clear and elegant way, there will be a Best Poster Award voted on by the GD 2025 attendees.

================================================================
INVITED SPEAKERS

Hans Bodlaender, Utrecht University, Netherlands
Huamin Qu, Hong Kong University of Science and Technology (HKUST), Hong Kong

================================================================
ORGANIZING COMMITTEE

Andreas Kerren, Linköping University, Sweden (general co-chair)
Kostiantyn Kucher, Linköping University, Sweden (general co-chair)
Claudio Linhares, Linnaeus University, Sweden (PhD school chair)
Nico Reski, Linköping University, Sweden (Decision Arena chair)
Zeyang Huang, Linköping University, Sweden (web chair)

================================================================
PROGRAM COMMITTEE

Alessio Arleo, TU Eindhoven, Netherlands
Michael Bekos, University of Ioannina, Greece
Markus Chimani, University of Osnabrück, Germany
Éric Colin de Verdière, CNRS, LIGM, Marne-la-Vallée, France
Giordano Da Lozzo, Roma Tre University, Italy
Sara Di Bartolomeo, TU Wien, Austria
Vida Dujmovic, University of Ottawa, Canada (program co-chair)
Henry Förster, TU Munich, Germany
Fabrizio Frati, Roma Tre University, Italy
Robert Ganian, TU Wien, Austria
Daniel Gonçalves, CNRS & University of Montpellier, France
Siddharth Gupta, BITS Pilani, K K Birla Goa Campus, India
Thekla Hamm, TU Eindhoven, Netherlands
Takayuki Itoh, Ochanomizu University, Japan
Philipp Kindermann, Trier University, Germany
Stephen Kobourov, TU Munich, Germany
Kostiantyn Kucher, Linköping University, Sweden
Silvia Miksch, TU Wien, Austria
Fabrizio Montecchiani, University of Perugia, Italy (program co-chair)
Pat Morin, Carleton University, Canada
Tamara Mchedlidze, Utrecht University, Netherlands
Giacomo Ortali, University of Perugia, Italy
Sergey Pupyrev, Meta, USA
Marcus Schaefer, DePaul University, USA
Raphael Steiner, ETH Zurich, Switzerland
Andrew Suk, University of California San Diego, USA
Antonios Symvonis, National Technical University of Athens, Greece
Csaba D. Tóth, CSU Northridge, USA
Torsten Ueckerdt, Karlsruhe Institute of Technology, Germany
Pavel Valtr, Charles University, Czech Republic
Tatiana von Landesberger, University of Cologne, Germany
Meirav Zehavi, Ben-Gurion University, Israel

================================================================
CONTEST COMMITTEE

Sara Di Bartolomeo, University of Konstanz, Germany
Fabian Klute, UPC Barcelona, Spain (chair)
Debajyoti Mondal, University of Saskatchewan, Canada
Jules Wulms, TU Eindhoven, Netherlands
**********************************************************
*
* 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/
*
**********************************************************

Tuesday, July 22, 2025

[DMANET] CfP: Advances in Computer Games 2025

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

Final Call for Papers - ACG 2025

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

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

19th International Conference, Advances in Computer Games 2025

Virtual Event, October 21–23, 2025

https://icga.org/?page_id=4052

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

The Advances in Computer Games conference (ACG 2025) will be held online this year October 21-23, 2025. ACG is an internationally renowned conference that publishes computer-based studies of games. Its history goes back to the inaugural event held in Edinburgh in 1975, making this the longest ongoing game AI conference.

Topics of interest include, but are not limited to:

- The current state of game-playing programs for classic and modern board games, card games, puzzles, virtual/casual/video games, etc.

- General game playing

- Artificial intelligence and machine learning for games

- Mathematical insights into games

- The history of computers in game-based research

- New theoretical developments in game-related research

- New and enhanced algorithms for search and knowledge acquisition

- Automated game design and evaluation

- Social aspects of computer games

- Scientific contributions produced by the study of games

- Cognitive research of how (and why) humans play games and puzzles

- Capture and analysis of game data

Submission

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

Papers must be written in English and can be up to 10 pages in length (including references). Further information can be found at https://icga.org/?page_id=4052 and https://easychair.org/cfp/ACG_2025.

Dates

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

- Submission due: August 1, 2025

- Notification due: September 15, 2025

- Final version due: October 7, 2025

- Conference: October 21-23, 2025

Conference Chairs

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

- Michael Hartisch, University of Passau, Germany

- Chu-Hsuan Hsueh, Japan Advanced Institute of Science and Technology, Japan

Advisory Committee

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

- Jaap van den Herik, University of Leiden, The Netherlands

Contact

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

You can contact us via acg2025@easychair.org

[DMANET] Call for Participation – RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025

Dear colleagues,

We are delighted to invite you to participate in the Fourth International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2025), co-located with CONFEST 2025 in Aarhus, Denmark, on Monday, August 25, 2025.

Workshop website: https://sites.google.com/site/radicalconcur

About the Workshop
==================

RADICAL brings together researchers working at the intersection of concurrency and logic, broadly construed. Topics of interest include (but are not limited to):

Design, verification, and synthesis of concurrent systems
Strategic reasoning in distributed and multi-agent systems
Advanced type systems, separation logic, and runtime verification
Applications in programming languages, AI, security, and knowledge representation
The workshop aims to foster cross-community dialogue and highlight concurrency as a unifying theme across diverse research areas.

Invited Speakers
================

Bahareh Afshari (University of Gothenburg)
Lars Birkedal (Aarhus University)

Tentative Programme
===================

Available here: https://sites.google.com/site/radicalconcur/Home/program?authuser=0

Registration Fees
=================

Early (until July 25): €100 (Regular) / €80 (Student)
Late (from July 26): €120 (Regular) / €100 (Student)
Details: https://conferences.au.dk/confest2025/registration

If you have any questions or need further information, feel free to contact us at: m.najib 'at' hw.ac.uk

Please feel free to share this announcement with anyone who might be interested.
We look forward to welcoming you in Aarhus!

Kind regards,
Dan Frumin, Muhammad Najib, and Jorge Pérez
RADICAL 2025 Co-Chairs
________________________________

Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences. This email is generated from the Heriot-Watt University Group, which includes:

1. Heriot-Watt University, a Scottish charity registered under number SC000278
2. Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS.

The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then delete it (including any attachments) from your system.

[DMANET] SNAMS 2025 (Co-Sponsored by IEEE ) : The 12th International Conference on Social Networks Analysis, Management and Security, Vienna, Austria, November 25-28, 2025.

[Apologies if you got multiple copies of this invitation]

The 12th International Conference on Social Networks Analysis, Management
and Security (SNAMS-2025)

https://emergingtechnet.org/SNAMS2025/index.php

Vienna, Austria, November 25-28, 2025.

( Technically Co-Sponsored by IEEE Austrian Section)

*SNAMS 2025 CFP*

Social network analysis is concerned with the study of relationships
between social entities. The recent advances in internet technologies and
social media sites, such as Facebook, Twitter and LinkedIn, have created
outstanding opportunities for individuals to connect, communicate or
comment on issues or events of their interests. Social networks are dynamic
and evolving in nature; they also involve a huge number of users.
Frequently, the information related to a certain concept is distributed
among several servers. This brings numerous challenges to researchers,
particularly in the data mining and machine learning fields. The purpose of
the International Conference on Social Networks Analysis, Management and
Security(SNAMS-2025) is to provide a forum for researchers to present and
discuss their work which is related to social network analysis.

SNAMS 2025 aims to investigate the opportunities and in all aspects of
Social Networks. In addition, it seeks for novel contributions that help
mitigate SNAMS challenges. That is, the objective of SNAMS 2025 is to
provide the opportunity for students, scientists, engineers, and
researchers to discuss and exchange new ideas, novel results and experience
on all aspects of Social Networks. Researchers are encouraged to submit
original research contributions in all major areas, which include, but not
limited to:

*SYSTEMS & INFRASTRUCTURE*

Systems and algorithms for social search
Infrastructure support for social networks and systems
Dynamics and evolution patterns of large and complex networks
Social properties in systems design
Learnings from operational social networks
Data Collection
Big Data and Social Paradigms

*ALGORITHMS AND MODELS*

Deep Learning and Knowledge Discovery.
Measurement and analysis of social and crowdsourcing systems
Benchmarking, modeling, performance and workload characterization
Modeling Social Networks and behavior
Management of social network data
Streaming algorithms for social data
Knowledge and innovation networks
Methods for social and media analysis
Models for network data
Network analysis in human and social sciences
Information propagation and assimilation in social networks
Data mining and machine learning in social systems

*APPLICATIONS*

Novel social applications and systems
Transient OSNs (e.g. Snapchat)
Special purpose OSNs (e.g., Instagram, Vine)
Communities in social networks
Collaboration networks
New models of advertising and monetization in social networks
Mobile advertising on OSNs
Network visualization
Social networks and online education
Sentiment analysis on OSNs
Multilingual social networks
Social networks as agents of societal change

*PRIVACY & SECURITY*

Privacy and security in social systems
Trust and reputations in social systems
Detection, analysis, prevention of spam, phishing, and misbehavior in
social systems

* Submission Types:*

Accepted types of submissions are including:
* Full papers ( up to 8 Pages),
* Short papers and PhD forum (4-5 Pages),
* Posters and demos (2-3 Pages).

All accepted papers will be published in the conference proceedings and
submitted to IEEE for publication.

*SNAMS 2025 Joint Workshops *

The 13th International workshop on Big Data and Social Networking
Management and Security (BDSN 2025)
http://emergingtechnet.org/SNAMS2025/Workshops/BDSN2025/

The 9th International Workshop on Data Science Engineering and its
Applications (DSEA 2025)
http://emergingtechnet.org/SNAMS2025/Workshops/DSEA2025/

The 11th International Workshop on Online Social Networks Technologies
(OSNT 2025)
http://emergingtechnet.org/SNAMS2025/Workshops/OSNT2025/

The 9th International Workshop on Advances in Natural Language Processing
(ANLP 2025)
http://emergingtechnet.org/SNAMS2025/Workshops/ANLP2025/

The 8th International Workshop on Sentiment Analysis and Mining of Social
Networks (SAMSN 2025)
http://emergingtechnet.org/SNAMS2025/Workshops/SAMSN2025/
<http://emergingtechnet.org/SNAMS2023/Workshops/SAMSN2023/>

The International Workshop on Cognitive and Neural Systems (CNS 2025)
http://emergingtechnet.org/SNAMS2025/Workshops/CNS2025/index.php
<http://emergingtechnet.org/SNAMS2023/Workshops/CNS2023/index.php>

*Submissions Guidelines and Proceedings*

Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11"
two-column format (IEEE Templates
<https://www.ieee.org/conferences_events/conferences/publishing/templates.html>).
All papers should be in PDF format, and submitted electronically at Paper
Submission Link. A full paper must not exceed the stated length (including
all figures, tables and references). Submitted papers must present original
unpublished research that is not currently under review for any other
conference or journal. Papers not following these guidelines may be
rejected without review. Also submissions received after the due date,
exceeding length limit, or not appropriately structured may also not be
considered. Authors may contact the Program Chair for further information
or clarification. All submissions are peer-reviewed by at least three
reviewers. Accepted papers will appear in the SNAMS Proceedings, and be
submitted to IEEE for inclusion.

Submitted papers must include original work, and must not be under
consideration for another conference or journal. Submission of regular
papers must not exceed 8 pages and must follow the IEEE paper format.
Please include up to 7 keywords, complete postal and e-mail address, and
fax and phone numbers of the corresponding author. Authors of accepted
papers are expected to present their work at the conference. Submitted
papers that are deemed of good quality but that could not be accepted as
regular papers will be accepted as short papers. Length of short papers
*Important Dates*

Submission Date: 31 July 2025 (Extended)
Notification to Authors: 10 September 2025
Camera Ready and Registration: 30 September 2025

Please send any inquiry to the SNAMS Team at: intelligenttechorg@gmail.com

[DMANET] [CFP](DDL: Aug. 1st) IEEE International Congress on Artificial Intelligence of Things (IEEE AIoT 2025), Osaka, Japan

*** Please accept our apologies if you receive multiple copies of this CFP
***

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

CALL FOR PAPERS

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

IEEE International Congress on Artificial Intelligence of Things

*(**IEEE AIoT** 2025), **Dec**. **3**-**5**, 2025,* *Osaka, Japan*

https://www.ieee-aiot.org/

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

*Important Dates:*

Paper Submission Due: 1 August 2025 (Extended)

Notification of Acceptance: 3 October 2025

Final Manuscript (Camera Ready): 3 November 2025

*Submission Link:* https://easychair.org/my/conference?conf=ieeeaiot2025

*Keynote Speaker 1: *Thomas Hou, IEEE Fellow, Virginia Tech., USA

*Keynote Speaker 2: *Hiroaki Harai, Director General, NICT, Japan

*Keynote Speaker **3**: *Yonggang Wen, IEEE Fellow, FSAEng,, Nanyang
Technological University, Singapore

*Three accepted papers will be selected for best paper awards.* . Selected
papers will be recommended to IEEE Journal of Biomedical and Health
Informatics (IF: 6.8) Special Issue, IEEE Internet of Things Magazine
(IoTM) Special Issue, and Digital Communications and Networks (IF:
7.5) for *potential
fast-track publications.*

IEEE AIoT 2025 aims at bringing together interested parties (universities,
research centers, industries and stakeholders) from around the world
working in the fields of AI and Internet of Things to exchange opinions,
discuss brand-new ideas, developing innovative and emerging solutions, and
establishing new collaborations.

Artificial Intelligence (AI) and the Internet of Things (IoT) are two of
the most rapidly evolving and interdependent fields of technology. The
convergence of these two fields is leading to the creation of an emerging
interdisciplinary field, dubbed the Artificial Intelligence of Things
(AIoT). The AIoT represents the integration of AI technologies into IoT
systems and devices, enabling them to interact with their environment in
more sophisticated and intelligent ways. By combining IoT with AI, the data
collected by distributed nodes can be utilized by applying AI techniques
such as machine learning and deep learning. As a result, machine learning
capabilities are moved closer to the data source.

The IEEE AIoT Conference aims to explore the integration of artificial
intelligence (AI) technologies into the Internet of Things (IoT) systems
and devices, enabling them to interact with their environment in more
sophisticated and intelligent ways. The conference will focus on the
following areas:

l AIoT Architectures, Frameworks, and Algorithms: Developing novel AIoT
architectures, frameworks, and algorithms for deploying state-of-the-art
machine learning and deep learning algorithms on IoT and edge devices,
realising the so-called Edge AI or Edge Intelligence;

l AIoT Applications: Identifying and exploring new AIoT applications,
including healthcare, smart homes, industrial automation, transportation,
and digital agriculture;

l Standards and Interoperability: Developing standards and protocols for
AIoT systems and ensuring interoperability between different platforms and
devices; and

l Ethics and Security: Addressing ethical and security concerns related to
AIoT, such as privacy, transparency, and accountability.

Authors are cordially invited to submit their original papers within the
eHealth area. The topics include but are not limited to:

1. 1. Edge AI and Distributed Intelligence

2. Machine Learning for IoT Applications

3. Mobile deployment of LLMs

4. Generative AI and LLMs for IoT applications

5. AI-empowered Robotics and Sensing for IoT

6. Smart Cities: AI and IoT Solutions

7. Security and Privacy in AI-driven IoT Systems

8. 5G and its Impact on AI and IoT

9. Blockchain Technology for Securing IoT Devices

10. Human-Machine Interaction in IoT Environments

11. IoT Sensors and Actuators: Innovations and Advances

12. AI-driven Data Analytics and Decision-making

13. Energy-Efficient AI Algorithms for IoT Devices

14. IoT in Healthcare: Applications and Challenges

15. Industrial IoT (IIoT) and AI for Manufacturing

16. Smart Agriculture: AI and IoT in Precision Farming

17. Ethical Considerations in AI-powered IoT Systems

18. IoT Standards and Interoperability

19. Robotic Process Automation (RPA) in IoT

20. AI-driven Automation in Supply Chain Management

21. IoT Analytics and Big Data Processing

22. AI in Edge Devices: Challenges and Solutions

23. Wireless Sensor Networks in AI and IoT

24. IoT for Environmental Monitoring and Sustainability

25. AI and IoT in Transportation and Logistics

26. Cross-domain Integration of AI and IoT Technologies

27. Privacy, Security, and Trustworthiness

28. Standardization and Interoperability

29. Demonstrations, Proof-of-Concepts, and Deployments

*Paper Format and Submission*

IEEE AIoT 2025 invites submission of manuscripts with original research
results that have not been previously published or posted on public
websites or that are not currently under review by another conference or
journal. Submitted manuscripts must be prepared according to IEEE Computer
Society Proceedings Format (double column, 10pt font, letter paper) and
submitted in the PDF format. The manuscript submitted for review should be
no longer than 8 pages. After the manuscript is accepted, the camera-ready
paper may have up to 10 pages, subject to an additional fee per extra page.
Reviewing will be double-blind. Submissions must not reveal the authors'
names and their affiliations and avoid obvious self-references. Manuscripts
should be submitted to one of the research tracks. Submissions not meeting
these guidelines will be rejected without consideration of their merits.
Accepted and presented papers will be published in the IEEE AIoT 2025
Conference Proceedings and included in IEEE Xplore.

*Best Paper Award and Journal Special Issues:*

*Submission Link:* https://easychair.org/my/conference?conf=ieeeaiot2025

*Important Dates:*

Paper Submission Due: 1 August 2025 (Extended)

Notification of Acceptance: 3 October 2025

Final Manuscript (Camera Ready): 3 November 2025

*Organization Committee *

*General Chairs:*

Ruidong Li, Kanazawa University, Japan

Albert Zomaya, Sydney University, Australia

Henry Leung, University of Calgary, Canada

*TPC Chairs:*

Houbing Herbert Song, University of Maryland, USA

Hirozumi Yamaguchi, Osaka University, Japan

Hung-Yu Wei, National Taiwan University, Taiwan

Pietro Manzoni, Universidad Politécnica de Valencia, Spain

*Keynote Chair:*

Reza Malekian, Malmö University, Sweden

*Workshop Chairs:*

Yutaka Arakawa, Kyushu University, Japan

Andrea Sciarrone, University of Genoa, Italy

*Poster Chairs:*

Takuro Yonezawa, Nagoya University, Japan

Chiara Garibotto, University of Genoa, Italy

*Publication Chair:*

Jia Hu, University of Exeter, U.K.

*Publicity Chairs:*

Zhengxin Yu, Lancaster University, U.K.

Mostafa Fouda, Idaho State University, ID, USA

Zhibo Wang, Zhejiang University, China

*Web Chair:*

Haihan Nan, George Mason University, USA

*Financial Chairs:*

Peiying Colleen Ruan, Nvidia, Japan

Ting Yang, Kanazawa University, Japan

[DMANET] [CFP][ISIC 2025] HYBRID mode: International Semantic Intelligence Conference

**********************************************************
CALL FOR PAPERS
International Semantic Intelligence Conference (ISIC 2025)

October 06-08, 2025, Universitaet zu Luebeck, Luebeck, Germany
Paper Submission (Second Round): July 31, 2025

Web: http://www.ifis.uni-luebeck.de/~groppe/isic
**********************************************************

** Call for Full Length paper **

All topics related to Artificial Intelligence are welcome
Opportunities: Present and publish your research, Organize Workshop / Special Session, Become a Program Committee member

** Important Dates: **
Full-length Papers in all tracks of main conference Jul 31, 2025
Paper notifications in all tracks of main conference Sep 01, 2025
End of Early Bird Registration for main conference Sep 20, 2025

** Tracks: **

The Research Track:
The Research Track includes papers that present novel work that significantly contributes to the advancement of Semantic Intelligence. Submissions should include a list of research gaps as well as research contributions that fill those gaps. A section comparing the research findings to existing benchmarks is highly desirable.

The Trends and Perspectives Track:
The Trends and Perspectives Track explores the state of the art in the mentioned disciplines.

The Applications and Deployment Track:
Any research that is applied in real-world use cases increases its visibility. This track invites applications for applied semantic intelligence. Aside from real-world examples, the Applications and Deployment Track welcomes Resources such as vocabularies, datasets, evaluation benchmarks, and software.

Note:
All accepted and presented papers will be included in the proceedings published in the Springer LNEE series. Selected papers will be invited for extension and submission to SCIE/SCOPUS/WoS-indexed journals.
Indexing: Post conference, Springer LNEE proceedings will be available at the following indexing services: DBLP, EI Compendex, INSPEC, Japanese Science and Technology Agency (JST), SCImago, SCOPUS, WTI Frankfurt eG, zbMATH. Source: https://www.springer.com/series/7818

**Organizing Committee:**

General Chairs:
- Sarika Jain, National Institute of Technology, Kurukshetra, Haryana, India
- Sven Groppe, University of Lübeck, Germany
Advisory Committee:
- Maria-Esther Vidal, Leibniz University of Hanover, Germany
- Veljko Milutinovic, University of Belgrade, Serbia
- Nandana Mihindukulasooriya, IBM Research Center, USA
- Declan O'Sullivan, Trinity College Dublin, Ireland
Program Committee Chairs:
- Valentina Janev, The Mihajlo Pupin Institute, Belgrade, Serbia
- Jinghua Groppe, Universität zu Lübeck, Germany
Workshops and Special Sessions Chairs:
- Fatmana Senturk, Pamukkale University, Turkey
- Anshu Parashar, NIT Kurukshetra, Haryana, India
Proceedings Chair:
- Valter Uotila, University of Helsinki & Aalto University, Finland
Publicity Chairs:
- Thomas Sievers, Universität zu Lübeck, Germany
- Yang Lu, Loughborough University, UK
Website Chairs:
- Akasha-Leonie Kessel, Universität zu Lübeck, Germany

Note: If you have any questions, do not hesitate to contact any of the chairs along with your contact details and the issue.
We look forward to hearing from you.

With Best Regards.

[DMANET] Open PhD position in Discrete Optimization at TU Munich

A PhD position (75% TV-L E13, to be extended to 100% after 6-8 months, three-year contract) in Discrete Optimization is available at the Professorship of Optimization and Sustainable Decision Making (https://odm.cs.tum.de/en/) of the Technical University of Munich (TUM). The expected starting date for the position is November 2025 or later. The successful candidate will work on a PhD project in the area of Discrete Optimization related to graph algorithms or multiobjective optimization – depending on the successful candidate's background and interests.

Details about the position and the application process are available here: https://portal.mytum.de/jobs/wissenschaftler/NewsArticle_20250716_113951

For further information about the position, please contact Prof. Dr. Clemens Thielen (clemens.thielen@tum.de).

--
Prof. Dr. Clemens Thielen
Professorship of Optimization and Sustainable Decision Making
TUM Campus Straubing for Biotechnology and Sustainability
Technical University of Munich (TUM)

Am Essigberg 3 | 94315 Straubing | Germany
Phone: +49 9421 187 175
Web: http://odm.cs.tum.de

Monday, July 21, 2025

[DMANET] Real-Time Intelligent Systems (Springer LNNS)

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

[DMANET] ADMIN: Holiday break 28.7.-12.8.

Dear dmanet members,

due to the holidays there will be a break of service from
28.7. to 12.8. this year. Please post anything urgent till
Friday this week.

Have a great summer

Martin

--
Dipl.-Inform. Martin Olschewski University of Cologne
Sibille-Hartmann-Straße 2-8
Tel: ++49/221/470-6018 D-50969 Köln
WWW: https://cs.uni-koeln.de/ls-sohler/team/martin-olschewski

Saturday, July 19, 2025

[DMANET] SAGT 2025 - Call for Participation

Dear Colleagues,

The 18th International Symposium on Algorithmic Game Theory (SAGT) 2025
<https://www.bath.ac.uk/events/the-international-symposium-on-algorithmic-game-theory-sagt-2025/>
will be held at University of Bath in Bath, UK, September 2-5, 2025. The
webpage contains all relevant details, in particular:

*The list of *Accepted Papers
<https://www.bath.ac.uk/corporate-information/accepted-papers/> appears on
the website.

*Invited speakers:*Yoram Bachrach, Meta
Vangelis Markakis, Athens University of Economics and Business
Carmine Ventre, King's College London

A *Tutorial* on the afternoon of September 2 will be given by Ian Gemp,
Google DeepMind, on "General Evaluation of AI Agents".

This year, SAGT will include a *Poster Session* where participants can
present posters of preliminary working papers as well as papers previously
published at other conferences. Posters will be displayed at the conference
venue throughout the event, from the afternoon of September 2 to September
5. A dedicated poster session will also be included in the program.
Submission of posters will be open to all participants, and we will conduct
a basic quality check to verify that accepted posters will contain
interesting and relevant information. If you wish to present a poster,
simply register for the conference and send us your poster via email.

*Registration* is now open. Please follow the link on the website to
register.
*Early registration deadline is **August 15, 2025**.*

Bath is a tourist attraction and securing hotel reservations as early as
possible is recommended. Hilton offers a special rate to SAGT attendances
and the university offers on-campus accommodation. Further details appear
on the website.

If you have any questions, please feel free to contact us:
sagt2025chairs@gmail.com.

Best regards,
Ron Lavi and Jie Zhang
SAGT 2025 PC Co-Chairs

Friday, July 18, 2025

[DMANET] Postdoctoral fellow position at the University of Houston

Postdoctoral Fellow Position Open

A postdoctoral fellow position is available immediately in the general
areas of distributed and scalable machine learning, security, and fault
tolerance in distributed computing within the Department of Computer
Science at the University of Houston, Houston, USA.

The fellow will work under the supervision of Prof. Gopal Pandurangan (
https://www2.cs.uh.edu/~gopal) and Prof. Rakesh Verma (
https://www2.cs.uh.edu/~rmverma/) <https://www2.cs.uh.edu/~rmverma/>.

Experience in prior work in machine learning, distributed algorithms, and
networks, as evidenced by publications in top conferences such as NeurIPS,
ICML, SODA, FOCS, STOC, and PODC, is desired. All recent PhDs (or those
nearing completion) who work in theoretical areas are especially encouraged
to apply.

The initial appointment will be for one year, with the possibility of
renewal for an additional year based on performance and the availability of
funds. Salaries are competitive and are determined according to the
successful applicants' accomplishments, experience, and qualifications.
Travel funding is available.

The candidates should send their CV, a brief research statement, and
(request referees to forward) three letters of recommendation to Gopal
Pandurangan (gopalpandurangan@gmail.com). Review of applicants will begin
immediately and continue until the position is filled.

The University of Houston is a major research university located in
Houston, the fourth-largest city in the USA, and has one of the most
vibrant metropolitan areas. Houston is the epicenter of the energy
industry, features the largest medical center in the world, and hosts the
Johnson Space Center. Houston is a fast-growing, multicultural, diverse,
and affordable city known for its museums, art events, and sports teams.

[DMANET] [ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

*[apologize for multiple postings]*

*Call for Participation*

41st International Conference on Logic Programming (ICLP'25)

University of Calabria, Rende, Italy | September 12-19, 2025

https://iclp25.demacs.unical.it/

We are pleased to invite you to participate in the 41st International
Conference on Logic Programming (ICLP'25), which will be held at the
University of Calabria from September 12-19, 2025. The event will include:

● 4 invited talks (Vladimir Lifschitz, Esra Erdem, Stefania
Costantini, and Georg Gottlob)

● 63 conference paper presentations (24 regular papers and 39
Technical Communications)

● 4 Recently Published Research (RPR) presentations

● 2 co-located events (PPDP 2025 and LOPSTR 2025)

● 8 workshops

● Autumn School

● Doctoral Consortium

● Logic Programming Contest

Registration is now open, with early fees available until July 30th AOE.
The registration procedure will close on August 30th AOE. *On-Site
Registration is not available.*

For more information on the registration process, please visit the
following webpage:

https://iclp25.demacs.unical.it/registration

*SCOPE*

Since the first conference In Marseille in 1982, ICLP has been the premier
international event for presenting research in logic programming.
Contributions span all areas of logic programming, including but not
limited to the following:

*Theoretical Foundations:*

Formal and operational semantics, Non-monotonic reasoning, Reasoning under
uncertainty, Knowledge representation, Semantic issues of combining logic
and neural models, Complexity results.

*Language Design and Programming Methodologies:*

Concurrency and parallelism, Mobility, Interacting with ML, Logic-based
domain-specific languages, Hybrid logical and imperative/functional
languages, Programming techniques, Theory reasoning, Answer set
programming, Inductive logic programming, Coinductive logic programming.

*Program Analysis and Optimization:*

Analysis, Transformation, Verification, Debugging, Profiling,
Visualization, Logic-based validation of generated programs.

*Implementation Methodologies and Applications:*

Compilation, Constraint implementation, Ethics and trustworthiness,
Explainability, Parallel/distributed execution, Search and optimization
problems, Heuristic methods, Logic-based prompt engineering, Tabling, User
interfaces.

*REGISTRATION*

Early fees are available until July 30th AOE, the registration procedure
closes August 30th AOE*. **On-Site Registration is not available.*

https://iclp25.demacs.unical.it/registration

*KEYNOTE SPEAKERS*

● Vladimir Lifschitz, University of Texas at Austin (
https://www.cs.utexas.edu/~vl/), September 15

● Esra Erdem, Sabanci University (
https://people.sabanciuniv.edu/esraerdem/), September 16

● Stefania Costantini, University of L'Aquila (
https://people.disim.univaq.it/~stefcost/), September 17

● Georg Gottlob, University of Calabria (
https://www.unical.it/storage/teachers/georg.gottlob/), September 18

*ACCEPTED PAPERS*

The full list of accepted papers is available at the following link:
https://iclp25.demacs.unical.it/program/accepted-papers

*AFFILIATED EVENTS*

● Workshops: September 12-13, 2025

https://iclp25.demacs.unical.it/workshops-school-and-dc/workshops

- 32nd RCRA Workshop on Experimental Evaluation of Algorithms for
Solving Problems with Combinatorial Explosion (RCRA 2025)

- 18th Workshop on Answer Set Programming and Other Computing
Paradigms (ASPOCP 2025)

- 12th Workshop on Probabilistic Logic Programming (PLP 2025)

- 9th Workshop on Advances in Argumentation in Artificial
Intelligence (AI³ 2025)

- Third Prolog Education Workshop (PEG 2025)

- Second Annual Workshop on Prolog Improvement Proposals (PIPs)

- Workshop on Logic Programming and Legal Reasoning (LPLR 2025)

- 1st Workshop on Cognitive Architectures for Robotics: LLMs and
Logic in Action (CARLA)

● Autumn School in Computational Logic: September 12-13, 2025

https://iclp25.demacs.unical.it/workshops-school-and-dc/autumn-school-on-logic-programming

● Doctoral Consortium: September 12-13, 2025

https://iclp25.demacs.unical.it/workshops-school-and-dc/doctoral-consortium

● Logic Programming Contest: September 17, 2025

● International Symposium on Principles and Practice of Declarative
Programming (PPDP 2025)

https://ppdp25.github.io/site/

● International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2025)

https://lopstr.github.io/2025/

*VENUE*

ICLP'25 will be held on the campus of the University of Calabria in Rende,
Italy, during 12-19 September 2025. The University of Calabria is one of
Italy's leading academic institutions, renowned for its innovative research
and vibrant campus life. Located in the scenic city of Rende, it offers a
modern learning environment surrounded by natural beauty and cultural
richness. Calabria is a region rich in culture, offering a blend of
historical heritage and stunning natural beauty. From its breathtaking
coastal spots to its easily accessible mountains, the region provides an
unforgettable cultural and culinary experience, savoring authentic dishes
made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes
and exquisite desserts.

For more information about the venue, please visit the following webpage:

https://iclp25.demacs.unical.it/venue/conference-venue

Useful information about accommodation and travel can be found at the
following links:

● https://iclp25.demacs.unical.it/venue/accommodation

● https://iclp25.demacs.unical.it/venue/travel-information

*ORGANIZATION*

General Chair: Francesco Ricca

Program Co-chairs: Martin Gebser and Daniela Inclezan

Publicity Chairs: Manuel Borroto and Francesco Calimeri

Local Chairs: Antonio Ielo and Giuseppe Mazzotta

*PROGRAM COMMITTEE*

Salvador Abreu, NOVA-LINCS / University of Evora

Mario Alviano, University of Calabria

Nicos Angelopoulos, The Pirbright Institute

Marcello Balduccini, Saint Joseph's University

Mutsunori Banbara, Nagoya University

Elena Bellodi, University of Ferrara

Stefano Bistarelli, University of Perugia

Bart Bogaerts, KU Leuven

Pedro Cabalar, University of Corunna

Roberta Calegari, Alma Mater Studiorum–University of Bologna

Angelos Charalambidis, Harokopio University

Michael Codish, Ben-Gurion University of the Negev

Stefania Costantini, University of L'Aquila

Alessandro Dal Palù, University of Parma

Marina De Vos, University of Bath

Marc Denecker, KU Leuven

Carmine Dodaro, University of Calabria

Thomas Eiter, TU Wien

Esra Erdem, Sabanci University

Wolfgang Faber, University of Klagenfurt

François Fages, INRIA Saclay

Jorge Fandinno, University of Nebraska Omaha

Johannes K. Fichte, Linköping University

Fabio Fioravanti, University of Chieti-Pescara

Andrea Formisano, University of Udine

Gerhard Friedrich, University of Klagenfurt

Sarah Alice Gaggl, TU Dresden

Marco Gavanelli, University of Ferrara

Laura Giordano, DISIT, University of Eastern Piedmont

Ricardo Gonçalves, NOVA University Lisbon

Gopal Gupta, The University of Texas at Dallas

Carito Guziolowski, Centrale Nantes

Markus Hecher, CNRS, Artois University

Giovambattista Ianni, University of Calabria

Tomi Janhunen, Tampere University

Nikos Katzouris, NCSR Demokritos

Gabriele Kern-Isberner, TU Dortmund

Matthias Knorr, NOVA University Lisbon

Isabelle Kuhlmann, University of Hagen

Joao Leite, NOVA University Lisbon

Michael Leuschel, Heinrich-Heine University of Düsseldorf

Vladimir Lifschitz, The University of Texas at Austin

Francesca Alessandra Lisi, University of Bari Aldo Moro

Yanhong A. Liu, Stony Brook University

Marco Maratea, University of Calabria

Viviana Mascardi, DIBRIS, University of Genova

Jose F. Morales, Technical University of Madrid / IMDEA Software Institute

Johannes Oetsch, Jönköping University

Simona Perri, University of Calabria

Enrico Pontelli, New Mexico State University

Fabrizio Riguzzi, University of Ferrara

Ricardo Rocha, University of Porto

Chiaki Sakama, Wakayama University

Zeynep G. Saribatur, TU Wien

Torsten Schaub, University of Potsdam

Konstantin Schekotihin, University of Klagenfurt

Tom Schrijvers, KU Leuven

Dietmar Seipel, University of Würzburg

Theresa Swift, Johns Hopkins Applied Physics Lab

Paul Tarau, University of North Texas

Hans Tompits, TU Wien

Mirek Truszczynski, University of Kentucky

Athénaïs Vaginay, University of Caen Normandy

Germán Vidal, VRAIN, Polytechnic University of Valencia

Concepcion Vidal, University of Corunna

Alicia Villanueva, VRAIN – Polytechnic University of Valencia

Johannes P. Wallner, TU Graz

Kewen Wang, Griffith University

David S.Warren, Stony Brook University

Felix Weitkämper, German UDS Potsdam

Stefan Woltran, TU Wien

Roland Yap, National University of Singapore

Jia-Huai You, University of Alberta

Zhizheng Zhang, Southeast University

Yuanlin Zhang, Texas Tech University

Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center

--
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica
dell'Università della Calabria
<https://www.unical.it/5x1000>

[DMANET] Postdoc position (algorithms and computational complexity for social choice problems)

Dear all,

Piotr Faliszewski from AGH University in Poland has announced an open
postdoc position in his PRAGMA project:

https://euraxess.ec.europa.eu/jobs/361184
https://home.agh.edu.pl/~pragma/

The position is funded by the European Research Council (ERC). The
project focuses on algorithms and computational complexity of
multiwinner elections, participatory budgeting, and analysis of
distances among elections.

Due date for applications is: August 22nd, 2025
Employment start: October 1st (or later, but preferably not much later)
Employment end: End of May 2026

The official position in the Polish academic system is "asystent" for
which one does not yet need a PhD to apply, so candidates who expect to
graduate in near/predictable future are encouraged to apply. Upon
obtaining official PhD (or for candidates who hold it already) it will
be possible to apply for a promotion to the next hiring level
("adiunkt").

We offer competitive salary (get in touch with Piotr Faliszewski
directly for details at faliszew@agh.edu.pl). Regarding the personal
questionnaire (should you want to apply) either get in touch with Piotr
Faliszewski (faliszew@agh.edu.pl) or with Joanna Borczynska
(joannab@agh.edu.pl).

Best regards,
Krzysztof Sornat
AGH University, Poland
**********************************************************
*
* 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/
*
**********************************************************

Thursday, July 17, 2025

[DMANET] Registration is Now Open – MIP South America 2025

We are pleased to announce that registration is now open for the Mixed
Integer Programming Workshop – South America 2025, taking place December
9–12, 2025, at Universidad Adolfo Ibáñez in Viña del Mar, Chile.

We have an excellent line-up of world-renowned speakers who will talk to us
about the latest trends in integer programming, discrete optimization,
operations research, and related areas.

We also remind everyone that we have an open call for posters. We will
offer travel support for student presenters.

Direct Registration Link:
https://pagos.isci.cl/workshop/mip-south-america-2025

Poster Submission Deadlines:
- Early acceptance: August 22, 2025
- Final deadline: September 12, 2025

Workshop Details (invited speakers, poster submission form, key dates):
https://www.mixedinteger.org/MIPSouthAmerica/2025/

We hope you can join us in Chile this December!

[DMANET] Doctoral / Post-Doctoral Position at University of Konstanz

The Chair for Software and Systems Engineering (Prof. Stefan Leue) of
the University of Konstanz (Germany) has the opening of a full-time

Doctoral / Post-Doctoral Position (reference no. 2025/152).

The start date is October 1st, 2025 (or a mutually agreeable later date,
but no later than April 1st, 2026). The position is initially available
for two years with the possibility of extension.

The position is expected to contribute to the goals of the DFG-funded
research project "SCADNet". In this context, research interests in
formal guarantees for Deep Neural Networks, foundations and models of
causality, automated repair of real-time systems, system safety, formal
techniques in legal tech, and generally formal methods and verification
are welcome.

The working language is English. Proficiency in German is not a
prerequisite.

Renumeration is according to the TV-L labor agreement in the EG 13
payscale, amounting to at least € 57.000,00 p.a.

Application deadline: August 30th, 2025.

For the official advertising and access to the online application portal
(at the bottom of the page) please see

https://stellen.uni-konstanz.de/jobposting/09f445de88a811767c47d80dfebd48c49bbef89b0

I will be happy to answer further questions, and look forward to your
application for this exciting research opportunity!

Stefan Leue

--
Prof. Dr. Stefan Leue

Chair for Software and Systems Engineering
Department of Computer and Information Science
University of Konstanz, Box 67
D-78457 Konstanz, Germany

Office: PZ902

Phone: +49 (0)7531 88 2893, ~4631 (secretary)
Home: +49 (0)7533 949 2182
Email: Stefan.Leue@uni-konstanz.de
WWW: http://sen.uni-konstanz.de

Theory Announcements

Thursday, July 24, 2025

[DMANET] CP, SAT, and SoCS 2025 in Glasgow -- final call for participation

[DMANET] First call for Colloquium "Combinatorics and Life Sciences", Lyon

Wednesday, July 23, 2025

[DMANET] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026)

[DMANET] Extended Deadline: 7 August 2025 (FIRM) – The 3rd International Workshop on TwinNetApp in conjunction with IEEE GLOBECOM 2025 | Taipei, Taiwan

[DMANET] GD 2025: CALL FOR POSTERS

Tuesday, July 22, 2025

[DMANET] CfP: Advances in Computer Games 2025

[DMANET] Call for Participation – RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025

[DMANET] SNAMS 2025 (Co-Sponsored by IEEE ) : The 12th International Conference on Social Networks Analysis, Management and Security, Vienna, Austria, November 25-28, 2025.

[DMANET] [CFP](DDL: Aug. 1st) IEEE International Congress on Artificial Intelligence of Things (IEEE AIoT 2025), Osaka, Japan

[DMANET] [CFP][ISIC 2025] HYBRID mode: International Semantic Intelligence Conference

[DMANET] Open PhD position in Discrete Optimization at TU Munich

Monday, July 21, 2025

[DMANET] Real-Time Intelligent Systems (Springer LNNS)

[DMANET] ADMIN: Holiday break 28.7.-12.8.

Saturday, July 19, 2025

[DMANET] SAGT 2025 - Call for Participation

Friday, July 18, 2025

[DMANET] Postdoctoral fellow position at the University of Houston

[DMANET] [ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

[DMANET] Postdoc position (algorithms and computational complexity for social choice problems)

Thursday, July 17, 2025

[DMANET] Registration is Now Open – MIP South America 2025

[DMANET] Doctoral / Post-Doctoral Position at University of Konstanz

Mailing Lists

Search This Blog

Blog Archive

Theory Announcements

Thursday, July 24, 2025

Wednesday, July 23, 2025

Tuesday, July 22, 2025

Monday, July 21, 2025

Saturday, July 19, 2025

Friday, July 18, 2025

Thursday, July 17, 2025

Mailing Lists

Subscribe To

Search This Blog

Blog Archive