Tuesday, February 18, 2025

[DMANET] Games and AI Multidisciplinary Summer School for PhDs and Postdocs

[Apologies if you got multiple copies of this invitation]

Dear all

*Applications are open for **GAIMSS'25 <https://www.gaimss.org/home>*, the
Games and AI Multidisciplinary Summer School! Ph.D. students and Postdocs
specializing in game theory with backgrounds in economics, mathematics, or
computer science are invited to apply. The event will take place at
the Université
Toulouse Capitole <https://www.gaimss.org/venue>, Toulouse, France, from
June 23 to June 25, 2025, followed by a research workshop on June 26 and
27. There is no registration fee. Coffee breaks and lunches will be
provided, but participants will need to make their own arrangements for
travel and accommodation.

*About the Event*:
GAIMSS'25 is designed to provide an overview and deep insights into
research at the intersection of game theory and artificial intelligence.
Participants will attend lectures by experts and talks on recent advances
in game theory and AI. They will also have the opportunity to present their
research through poster sessions and flash talks.

*Lectures*:
The summer school will feature three 6-hour courses:
- Prof. José Correa <https://www.dii.uchile.cl/~jcorrea/> (Universidad de
Chile): *Prophet Inequalities* (mathematics)
- Prof. Johannes Hörner
<https://www.tse-fr.eu/fr/people/johannes-horner> (Toulouse
School of Economics), *Repeated Games with Imperfect Monitoring* (economics)
- Prof. Paul Dütting <https://paulduetting.com/> (Google Research),
*Algorithmic
Contract Theory* (computer science)

*Registration Information:*
- *Application Deadline*: March 15, 2025 (Saturday) 22h00 CET
- *Application Link*: Here <https://forms.gle/sA5zGcfojDbNyopC6>
- *Acceptance notification*: April 15, 2025 (Tuesday)

For further details, including the program agenda and course descriptions,
please visit www.gaimss.org or contact us at info[at]gaimss[dot]org.

We look forward to seeing you in Toulouse!

Best regards,

The GAIMSS organizers
Felipe Garrido-Lucero (IRIT, Université Toulouse Capitole)
Simon Finster (CREST-ENSAE)
Atulya Jain (University of Bonn)
Emilien Macault (Université de Lorraine)
Dana Pizarro (Toulouse Business School)

**********************************************************
*
* 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] MFCS 2025 - Second Call for Papers

========================================================
MFCS 2025 - Second Call for Papers
========================================================

The 50th conference on Mathematical Foundations of Computer Science
(MFCS) will take place in:

Warsaw, Poland August 25-29, 2025

MFCS is among the conferences with the longest history in the field —
the first conference in the series was held already in 1972.
Traditionally, the conference moved between the Czech Republic,
Poland, and Slovakia; while since 2013, the conference has traveled
around Europe. The conference will be preceded by the Young Research
Forum Workshop intended for a younger audience.

========================================================
Important dates and information
========================================================

Submissions: April 18, 2025
Rebuttal: June 3-6, 2025
Author notification: June 20, 2025
Camera-ready version: June 27, 2025
Early registration: TBA
Conference: August 25-29, 2025 (YRF Workshop on August 24)

Deadlines are firm; late submissions will not be considered. All dates are AoE.

Conference website: https://mfcs2025.mimuw.edu.pl/

Submissions: https://easychair.org/conferences/?conf=mfcs2025

========================================================
Submission guidelines
========================================================

1) Papers must present original research on the theory of computer
science. No prior publication and no simultaneous submission to other
publication outlets (either a conference or a journal) is allowed.
Authors are encouraged to also make full versions of their submissions
freely accessible in an on-line repository such as ArXiv.

2) Submissions take the form of an extended abstract of no more than
15 pages (LIPIcs document class), excluding references and a clearly
labelled appendix. The appendix may consist either of omitted proofs
or of a full version of the submission, and it will be read at the
discretion of program committee members. The extended abstract has to
present the merits of the paper and its main contributions clearly,
and describe the key concepts and technical ideas used to obtain the
results. Submissions must provide the proofs which can enable the main
mathematical claims of the paper to be verified.

3) Submissions authored or co-authored by members of the program
committee are allowed.

4) During the rebuttal phase, authors are encouraged (but not
required) to respond to the initial reviews. Further instructions will
be sent to the authors of the submitted papers in due time.

5) At least one author of each accepted paper is expected to register
for the conference, and all talks are in-person. In exceptional cases
(e.g. unexpected personal reasons) remote talks (pre-recorded or live)
might be allowed.

6) Papers authored only by students should be marked as such upon
submission in order to be eligible for the best student paper award.

========================================================
MFCS 2025 Invited Speakers
========================================================

Thomas Colcombet (Université Paris Cité)
Giuseppe Italiano (LUISS Guido Carli, Rome)
Rasmus Kyng (ETH Zurich)
Filip Murlak (University of Warsaw)
Anca Muscholl (Université de Bordeaux)

========================================================
MFCS 2025 Programme Committee
========================================================

Shaull Almagor (Technion)
Nathalie Bertrand (Inria Rennes)
Udi Boker (Reichman University)
Gerth Brodal (Aarhus University)
Michaël Cadilhac (DePaul University)
Panagiotis Charalampopoulos (Birkbeck, University of London)
Witold Charatonik (University of Wrocław)
Dmitry Chistikov (University of Warwick)
Anuj Dawar (University of Cambridge)
Joel Day (Loughborough University)
Moses Ganardi (Max Planck Institute for Software Systems)
Leszek Gąsieniec (University of Liverpool)
Paweł Gawrychowski (University of Wrocław) - chair
Stefan Göller (Universität Kassel)
Christoph Haase (University of Oxford)
Meike Hatzel (IBS, Daejeon)
Jarkko Kari (University of Turku)
Edon Kelmendi (Queen Mary, University of London)
Marie Kerjean (CNRS, Université Sorbonne Paris Nord)
Jakub Kozik (Jagiellonian University)
László Kozma (Freie Universität Berlin)
Karoliina Lehtinen (CNRS, LIS Marseille)
Nutan Limaye (University of Copenhagen)
Christof Löding (RWTH Aachen)
Filip Mazowiecki (University of Warsaw) - co-chair
Pierre Ohlmann (CNRS, LIS Marseille)
Jakub Opršal (University of Birmingham)
Guillermo Pérez (University of Antwerp)
Gabriele Puppis (University of Udine)
David Purser (University of Liverpool)
Karin Quaas (Universität Leipzig)
Chris Schwiegelshohn (Aarhus University)
Michał Skrzypczak (University of Warsaw) - co-chair
Tatiana Starikovskaya (ENS Paris)
Lidia Tendera (University of Opole)
Karol Węgrzycki (Max Planck Institute for Informatics)
Philip Wellnitz (National Institute of Informatics)
Markus Whiteland (Loughborough University)
Michał Wrona (Jagiellonian University)
Georg Zetzsche (Max Planck Institute for Software Systems)
Anna Zych-Pawlewicz (University of Warsaw)

**********************************************************
*
* 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 - NETYS 2025

**Call for Papers**
THE 13th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS (NETYS 2025)
May 21st-23rd, 2025, Rabat, Morocco
http://www.netys.net

**Aim and Scope**
NETYS aims to bring together researchers and engineers from the theory and practice of distributed and networked systems. The scope of the conference covers all aspects related to the design and the development of these systems, including, but not restricted to, cloud systems, formal verification, concurrent and distributed algorithms, data management, data science, parallel/concurrent/distributed programming, machine learning theory and applications, large language models, multicore architectures, networks, and security.
NETYS will provide a forum to report on best practices, novel algorithms, results, and techniques on networked systems. Original research contributions and experience papers on the principles, design, implementation, modeling, analysis, verification and application of networked systems are solicited. Topics of interest are broadly divided into three categories: networked systems, distributed computing and machine learning.
Topics of interest include (but are not limited to):
1. **Networked Systems**
• Cloud systems and data centers
• Cyber-physical systems
• Distributed database, embedded and operating systems
• Multicore architectures and multithreaded applications
• Distributed ledgers and blockchain technologies
• Internet of Things, 5G, URLLC
• Mobile, wireless, ad-hoc and sensor networks
• Social networks
• Overlay and peer-to-peer infrastructures
2. **Distributed Computing**
• Concurrency, synchronization and persistence
• Distributed and concurrent data structures
• Languages, verification and formal methods for distributed systems
• Design and analysis of distributed algorithms
• Lower bounds and impossibility results for distributed computing
• Game theory, mechanisms design
• Fault-tolerance, reliability, self-stabilizing, self-organizing, and autonomic systems
• Collaborative intelligent systems
3. **Machine Learning**
• Collaborative/federated learning
• Distributed Machine learning
• Trustworthy machine learning
• Large language models theory and applications
• Fairness and privacy in machine learning
• Reinforcement learning theory and applications
• Generative AI
• Optimization algorithms


**Important dates (all deadlines are at 23:59 AoE)**
- Abstract submission: March 1st, 2025
- Paper submission: March 8th, 2025
- Notifications: April 14th, 2025
- Conference dates: May 21st-23rd, 2025

**Publication**
Springer's Lecture Notes in Computer Science series will publish the conference proceedings (https://www.springer.com/gp/computer-science/lncs). One of the authors of each accepted paper must present it at the conference.

**Submission Instructions**
All submissions must follow the LNCS template and be written in English.
Full papers are allowed a maximum of 15 pages in the LNCS format, excluding bibliographic references, whereas short papers are allowed a maximum of 5 pages (in the same format).

Papers exceeding these limits may be rejected without review. A clearly marked appendix can be included for supplementary materials, but it will be read at the reviewers' discretion; therefore, the main body of the paper should contain sufficient details to assess its contributions.

Submission of papers is via Microsoft CMT:
https://cmt3.research.microsoft.com/NETYS2025/

**Program Chairs**
Madhavan Mukund (madhavan@cmi.ac.in)
Salem Lahlou (salem.lahlou@mbzuai.ac.ae)

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

[DMANET] PhD School: Intersections of Algorithms and Machine Learning Theory

*************************************************************
******************* CALL FOR APPLICATIONS *******************
******************* DEADLINE FEBRUARY 27 *******************
*************************************************************

PhD School: Intersections of Algorithms and Machine Learning Theory
University of Southern Denmark, Odense, Denmark
July 1-4, 2025
4 ECTS

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

TARGET AUDIENCE
The school is aimed at PhD students in computer science and
related fields, interested in algorithms and machine learning
theory. Postdocs and masters students may also apply.
The required background for students is at least one course in
the design and analysis of algorithms, plus a good understanding
of basic probability.

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

SPEAKERS AND TOPICS
Paul Duetting (Google Research): Prophet Inequalities
Roi Livni (Tel Aviv University): Foundations of Machine Learning
Nicole Megow (University of Bremen): Algorithms with Predictions
Sahil Singla (Georgia Tech): Data-Driven Stochastic Optimization

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

DATES
Application deadline: February 27, 2025
Notification about acceptance or wait list: March 20, 2025
Exact fee data on web page: April 3, 2025
Fee payment deadline: April 17, 2025
PhD School: July 1-4, 2025

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

RELATED EVENTS
STOC takes place in Prague, Czech Republic, June 23–27, 2025.
A related satellite workshop of ICALP, Theory and Applications of
Algorithms with Predictions, will take place shortly afterwards,
on July 7, in Aarhus, Denmark. ICALP will also be there, July 8-11, 2025.

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

WEBSITE
All other details can be found here: https://event.sdu.dk/algoml2025

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

ORGANIZERS
Joan Boyar (University of Southern Denmark)
Kasper Green Larsen (Aarhus University)
Nutan Limaye (IT University of Copenhagen)
Kevin Schewior (University of Southern Denmark)
Amir Yehudayoff (University of Copenhagen)

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

CONTACT
Send us an email: AlgoML2025@sdu.dk

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

Supported by the Digital Research Centre Denmark (DIREC)


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

Monday, February 17, 2025

[DMANET] [Cryptography] (IF 1.8, CiteScore 3.8) Selected Papers in Volume 8, Issue 2

We are sharing with you some selected papers published in the open access
journal /Cryptography/ (https://www.mdpi.com/journal/cryptography)
Volume 8, Issue 2, which are free to access and can be downloaded here:

1. A Survey of Consortium Blockchain and Its Applications
https://www.mdpi.com/2410-387X/8/2/12

2. Enhancing Smart Communication Security: A Novel Cost Function for
Efficient S-Box Generation in Symmetric Key Cryptography
https://www.mdpi.com/2410-387X/8/2/17

3. Constrained Device Performance Benchmarking with the Implementation
of Post-Quantum Cryptography
https://www.mdpi.com/2410-387X/8/2/21

4. Defence against Side-Channel Attacks for Encrypted Network Communication
Using Multiple Paths
https://www.mdpi.com/2410-387X/8/2/22

5. Securing Data Exchange with Elliptic Curve Cryptography: A Novel
Hash-Based Method for Message Mapping and Integrity Assurance
https://www.mdpi.com/2410-387X/8/2/23

See this full volume via https://www.mdpi.com/2410-387X/8.

Additionally, we welcome your submissions if you have relevant papers to
be submitted. Please contact the journal editorial office
cryptography@mdpi.com.

Best regards,
Xue Cheng
Managing Editor
--
MDPI Branch Office, Wuhan
Cryptography Editorial Office
https://www.mdpi.com/journal/cryptography
MDPI, Grosspeteranlage 5, 4052 Basel, Switzerland

News: Cryptography Receives an Updated Impact Factor of 1.8
https://www.mdpi.com/journal/cryptography/announcements/8769

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

[DMANET] CfP—The 8th International Symposium on AI Verification—SAIV 2025 co-located with CAV 2025

CfP—The 8th International Symposium on AI Verification—SAIV 2025
Zagreb, Croatia
July 21–22
co-located with CAV 2025
https://www.aiverification.org/2025/

=== Important Dates (all dates are 11:59 AM UTC) ===

Abstract Submission: April 17 2025
Paper Submission: April 24, 2025
Notification: May 21, 2025

=== SAIV ===

The 8th edition of the International Symposium on AI Verification (SAIV) aims to bring together researchers from the communities on formal methods and artificial intelligence. SAIV 2025 consisted of two workshops that have been merged into a single symposium: FoMLAS and Wolverine. Formal reasoning about learning-based systems raises novel, challenging, and exciting problems, such as the verification of learning-based components, the combination of deep learning and symbolic algorithms, and the data-driven verification of systems. SAIV aims to serve as a platform for idea exchange and cross-pollination on these topics.

SAIV 2025 will host the 6th International Verification of Neural Networks Competition (VNN-COMP'25).

We invite four categories of submissions:



1. *Original papers*: describe original research and sufficient detail to assess the merits and relevance of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available. We welcome both short and long papers. There are no strict page limits, although we recommend not going below 4 pages and not exceeding 18 pages.
2. *Presentation-only papers*: describe work recently published or submitted. We see this as a way to provide additional access to important developments that the SAIV attendees may be unaware of.
3. *Extended abstracts*: describe preliminary work in progress. These reports may range in length from very short to full papers, and will be judged based on the expected level of interest for the community. ​
4. *(New) This year we also invite benchmark and case-study papers*: showcase practical evaluations, real-world applications, or lessons learned in verifying and deploying safety-critical AI systems, focusing on metrics, methodologies, and safety outcomes.

Papers selected for publications will appear in Springer's LNCS proceedings.

=== Posters ===

We additionally invite attendees to present posters to illustrate published work or research-in-progress. We particularly welcome poster submissions to facilitate interaction during SAIV. Deadline for poster submission: June 20.

=== Topics ===

The topics covered by SAIV include, but are not limited to, the following:

* Safety specifications for systems with AL components

* Symbolic analysis of cyber-physical systems with AI components
* Formal verification of neural networks
* Neuro-symbolic reasoning for AI safety
* Testing approaches for systems with AI components
* Formal guarantees for interpretable AI
* Machine learning for program synthesis and control synthesis
* Machine learning for automated reasoning and theorem-proving
* Differentiable proof certificates
* Statistical approaches to falsification and verification
* Data-driven verification

=== Program Chairs ===

Mirco Giacobbe (University of Birmingham)
Anna Lukina (Delft University of Technology)

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

[DMANET] FMEC 2025 Final CFP: The 10th International Conference on Fog and Mobile Edge Computing, Tampa, Florida, USA. May 19-22, 2025

[Apologies if you got multiple copies of this invitation]

The 10th IEEE International Conference on Fog and Mobile Edge Computing
(FMEC 2025)

Hybrid Event

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

Tampa, Florida, USA. May 19-22, 2025

Technically Co-Sponsored by IEEE Florida West Coast Section

*FMEC 2025 CFP:*

Cloud computing provides a large range of services and virtually unlimited
available resources for users. New applications, such as virtual reality
and smart building control, have emerged due to the large number of
resources and services brought by cloud computing. However, the
delay-sensitive applications face the problem of large latency, especially
when several smart devices and objects are getting involved in human's life
such as the case of smart cities or Internet of Things. Therefore, cloud
computing is unable to meet the requirements of low latency, location
awareness, and mobility support. To solve this problem, researchers have
introduced a trusted and dependable solution through the Fog and the Mobile
Edge Computing (FMEC) to put the services and resources of the cloud closer
to users, which facilitate the leveraging of available services and
resources in the edge networks. By this, we are moving from the core (cloud
data centers) to the edge of the network closer to the users. FMEC
dependability is based on providing user centric service. The purpose of
Fog and the Mobile Edge Computing is to run the heavy real-time
applications at the network edge directly using the billions of connected
mobile devices.

Several features enable the Fog and the Mobile Edge Computing to be a
perfect paradigm to the aforementioned purpose, which are the dense
geographical deployment of servers, supporting mobility and the closeness
to users. As in every new technology, some challenges face the vision of
the Fog and the Mobile Edge Computing, which are the administrative
policies and security concerns (i.e. secure data storage, secure
computation, network security, data privacy, usage privacy, location
privacy, etc). FMEC 2025 conference aims to investigate the opportunities
and requirements for Mobile Edge Computing dominance. In addition, it seeks
for novel contributions that help mitigate Mobile Edge Computing
challenges. That is, the objective of FMEC 2025 is to provide a forum for
scientists, engineers, and researchers to discuss and exchange new ideas,
novel results and experience on all aspects of Fog and Mobile Edge
Computing (FMEC). FMEC 2025 is Technically Co-Sponsored by IEEE Florida
Section. Researchers are encouraged to submit original research
contributions in all major areas, which include, but not limited to the
following:

- Fog and Mobile Edge Computing in unmanned aerial vehicle
communications and applications
- Fog and Mobile Edge Computing in mission-critical systems
- Intelligent Transportation Systems
- Edge-cloud computing architectures, frameworks and platforms
- Edge-cloud networking and communication
- Quality of Service (QoS) improvement techniques
- Network virtualization for Edge-to-cloud systems
- FMEC and IoT Data Communication Protocols
- Industrial Fog and Mobile Edge Computing Applications
- Mobile Cloud Computing Systems and Applications
- FMEC in Environmental Sustainability
- Trustworthy AI for Edge and Fog Computing
- Security and Privacy in Fog and Mobile Edge Computing
- Decentralized Data Management and Streaming Systems in FMEC
- Data storage, processing, and management at FMEC platform
- Federated learning and distributed machine learning in the fog and on
the edge
- 5G and fog/edge computing
- Middleware and runtime systems for fog/edge infrastructures
- Energy-efficient fog/edge computing
- Edge/fog-to-cloud APIs and protocols
- Mobility, connectivity, heterogeneity support for edge/fog services
- Load balancing/scheduling in fog/edge computing
- Crowdsourcing and establishing trust on data sources
- Decision support systems for Edge-cloud computing
- AI-based or data-driven orchestration of workflows in Edge computing
- Automatic scheduling and deployment of workflows and services in Edge
computing
- Distributed management of Edge computing
- Mechanisms and data structures for the governance of Edge computing
- Interfaces, orchestration and optimization of the Networking-Computing
continuum
- In-network computing for the edge-cloud continuum
- Novel programming models for Edge computing
- Dynamic Edge/Fog environments
- Automatic deployment and continuous dynamic composition of Edge
services
- Semantic annotation of Edge/Fog services
- AI in Autonomous Urbanism

*Submissions Guidelines and Proceedings*

Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11"
two-column format. All papers should be in PDF format, and submitted
electronically at Paper Submission Link. A full paper can be up to 8 pages
(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 FMEC Proceeding, and be
published by the IEEE Computer Society Conference Publishing Services and
be submitted to IEEE Xplore for inclusion.

Submitted papers must include original work, and must not be under
consideration for another conference or journal. Submission of regular
papers up to 8 pages and must follow the IEEE paper format. Please include
up to 7 keywords, complete postal and email 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 can be between 4
to 6 pages.

*Important Dates:*

Submission Date: 28 Feb. 2025 (Firm and Final)
Notification to Authors: 1 Apr 2025
Camera Ready Submission: 21 Apr 2025

*Contact:*

Please send any inquiry on FMEC to Sadi Alawadi at:
<emergingtechnetwork@gmail.com>Sadi.alawadi@bth.se

**********************************************************
*
* 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] Postdoctoral Scientist Position - Amazon Transportation Research - Luxembourg

We are looking for a Postdoctoral Scientist with a recent PhD in Operations
Research, Computer Science, or Applied Mathematics. This is a unique
opportunity to work on real-world problems at a massive scale. Be part of a
team that is shaping the future of global logistics!

Check out the full job description and apply here: https://lnkd.in/gqu7RRVS
LinkedIn Post: https://tinyurl.com/ATSPostDoc

Feel free to reach out if you have any questions about the role or our
team, and reply with your CV here,

Nikos Liakopoulos
Research Science Manager
Amazon Transportation Services - Science & Technology (SnT)

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

Sunday, February 16, 2025

[DMANET] =?Windows-1252?Q?[CFP]_Extended_Deadline:_March_9, _2025_=96_IEEE_SmartNet?= s 2025 | Istanbul, 22-24 July, 2025

***************************************************************
IEEE - SmartNets 2025, The International Conference on Smart
Applications, Communications and Networking
22-24 July 2025, Istanbul - Türkiye
http://smartnets.ieee.tn/
***************************************************************

Dear Colleague,

We are delighted to invite you to submit Full Papers/Short Papers/Posters/Demos/Use-Cases to the International Conference on Smart Applications, Communications and Networking (SmartNets 2025)
which will be held in Hybrid mode in the beautiful city of Istanbul - Türkiye on 22-24 July 2025,

http://smartnets.ieee.tn/

SmartNets 2025 is technically sponsored by IEEE and IEEE ComSoc.

All accepted papers will be submitted for publication in IEEE Xplore and indexed in DBLP, Web
of Science and Scopus.

**** Each additional paper (2nd and onward) will be charged 50% of the full registration fee for the same author registrant *****


This year, the multi-thematic program focuses on the major future scientific issues related to the following topics (but not limited to them):

-Artificial Intelligence and Machine Learning
-Generative AI for Education
-Industry 4.0; The connected Factory
-Smart Cities and Internet of Everything
-Smart Healthcare Systems
-Big Data Analytics and Machine Learning
-Edge, Fog and Cloud Computing for Internet of Things
-Next Generation Networks and CPS
-Wireless and Mobile Networks
-Trust, Security and Privacy
-Cyber Security for Critical Infrastructure and Industrial Applications
-5G for Industrial Applications
-Communication technologies for Smart grids and Energy management
-Integrated Satellite and Terrestrial Wireless Networks for IoT

**A NVIDIA Workshop on "Advanced data engineering tools and techniques" will be organized and
a NVIDIA DLI Certificate will be provided to participants upon successful completion of the assessment.

Paper Submission Deadline: February 16, 2025 March 9, 2025 [Extension]
Notification of Paper Acceptance: April 27, 2025
Submission of Camera-Ready Papers: June 08, 2025

To submit paper(s): https://edas.info/N32987

Looking forward to welcoming you at SmartNets 2025.

IEEE- SmartNets 2025 Chairs

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

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

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

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

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

Saturday, February 15, 2025

[DMANET] =?Windows-1252?Q?[CFP]_Submission_Deadline:_April_4, _2025_=96_IEEE_Intern?= ational Symposium on Local and Metropolitan Area Networks (LANMAN) 2025 | Lillie, France

========================================
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 IEEE LANMAN 2025.

CALL FOR PAPERS
The 31st IEEE International Symposium on Local and Metropolitan Area Networks
(IEEE LANMAN 2025)
July 7-8, 2025 | Lillie, France
Website: https://lanman2025.ieee-lanman.org/
IEEE LANMAN has an established tradition as a forum for presenting and discussing the latest technical advances in local and metropolitan area networking. Cutting-edge papers spanning both theory and experimentation are solicited in all areas of networking. In keeping with the heritage of the symposium, there will be a central theme, and in 2025 the theme is "Networking and Computing under AI." The Internet continues to evolve at an extraordinary pace, driven by an explosive growth in devices, users, and data-intensive applications. Today's landscape demands networks that deliver ultra-low latency and high throughput to support transformative applications like immersive Virtual Reality, cutting-edge Artificial Intelligence, autonomous driving, and advanced IoT systems. This rapid evolution introduces complex challenges for network design and management, particularly in ensuring seamless communication under stringent performance requirements. Recent developments in local and metropolitan area networking present exciting opportunities to address these challenges. Advances in wireless technologies leveraging millimetre-wave (mmWave) and terahertz (THz) frequencies, coupled with innovative paradigms like Reconfigurable Intelligent Surfaces (RIS), Massive-MIMO architectures, and Cell-Free networks, are reshaping the wireless and wired connectivity. These technologies enable highly adaptive, energy-efficient, and capacity-rich solutions. Moreover, the integration of AI-driven network orchestration and edge computing further enhances the ability to meet the growing demand for real-time responsiveness and expansive bandwidth, and they ensure that the next generation of applications can operate reliably and efficiently in increasingly dynamic and dense network environments. The intimate single-track format of the symposium encourages stimulating exchanges between researchers. The event is expected to be a forum for discussion of new and interdisciplinary ideas on network access protocols, network management and control, services and applications.
Papers are solicited on any topic in networking, including, but not limited to:

* 5G and 6G cellular data networking
* AI and machine learning for local and metropolitan area networking
* AI and machine learning for network measurement and traffic analysis
* Cloud, edge, and fog computing integration
* Co-existence and heterogeneity support at the edge (HetNets)
* Datacenter networks
* Energy efficiency for local and metropolitan area networking
* Information-centric networking in local and metropolitan areas
* Information security for local and metropolitan area networking
* Intelligent routing, forwarding, and scheduling
* Machine-to-machine communication
* Networking designs for AI and ML
* Networking for online education and entertainment
* Networking protocols and architectures for the IoTs
* Network and transport mechanisms for latency reduction
* Network virtualization in local and metropolitan areas
* Network Digital Twins (NDTs) and AI/ML
* Network verification using AI/ML
* NetOps and AI/ML
* Network security and AI/ML
* Performance and reliability of local and metropolitan area networks
* Public safety networks
* Self-learning network architectures
* Software-defined networking in local and metropolitan areas
* Wireless access technologies
* Satellite networks and their integration with terrestrial network infrastructure
* Network protocols and architectures

========================================
Submission
========================================
IEEE LANMAN 2025 solicits paper submissions of papers up to 6 pages. Short papers up to 2 pages are also solicited on work-in-progress ideas. Some regular paper submissions may be accepted as short papers (2 pages) by the TPC. The page limits include all figures, tables, and references. All papers must be electronically submitted in PDF according to the guidelines in the symposium website http://www.ieee-lanman.org.
The proceedings will be published in IEEE Xplore and will include both short and regular papers presented at the symposium.
A best paper award will be awarded.
========================================
Important Dates
========================================
Submission Deadline: April 4, 2025
Notification of Acceptance: May 4, 2025
Camera Ready Submission: May 30, 2025
========================================
Organizing Committee
========================================
General Co-Chairs
- Valeria Loscri (Inria, France)
- Chen Qian (University of California Santa Cruz, US)
TPC Co-Chairs
- Wenfei Wu (Peking University, China)
- Eirini Eleni Tsiropoulou (Arizona State University, US)
Publication Chair
- Filippo Malandra (University of Buffalo, US)
Web Chair
- Xiaoxue Zhang (University of Nevada Reno, US)
Posters, Demos, PhD Forum Chair
- Aris Leivadeas (ETS Montreal, CA)
Tutorials Chair
- Valeria Loscri (Inria, France), US)
Publicity Chairs
- Maria Diamanti (National Technical University of Athens, GR)
- Yagmur Yigit (Edinburgh Napier University, UK)

Regards,
Yagmur Yigit
PhD Student, Edinburgh Napier University

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

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

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

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

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

[DMANET] CfA - Session "Discrete, Continuous or Stochastic Optimization and Control in Networks, Transportation and Design" - EURO 2025 Leeds

34rd Conference EURO Leeds, UK, 22-25 June 2025,

Session "Discrete, Continuous or Stochastic Optimization and Control in Networks, Transportation and Design"

Call for Abstracts


Dear colleague,

Warmly welcome to the
34th European Conference on Operational Research (50th Anniversary of EURO)
Leeds, United Kingdom, June 22– 25, 2025

(EURO 34 Leeds 2025; https://euro2025leeds.uk/ ).


One of the various Sessions in the stream "Combinatorial Optimization" (Stream Organizers: Prof. Dr. Silvano Martello and Prof. Dr. Paolo Toth) will be:

Discrete, Continuous or Stochastic Optimization and Control in Networks, Transportation and Design

Session Organizer: Prof. Dr. Gerhard-Wilhelm Weber (gerhard-wilhelm.weber@put.poznan.pl)

Code d9577dcc


Submission deadline for abstracts is 8 March 2025.


The link to the Abstract Submission System is

https://www.euro-online.org/conf/euro34/ .


You may submit an abstract to this session using the Code d9577dcc and then inserting your abstract (max. 1500 characters).


Key dates and Deadlines

Abstract submission closes – 8 March 2025
Early registration closes – 30 March 2025
Author registration and payment deadline – 20 April 2025


Looking forward to meeting you at EURO 2025 in hospitable Leeds !


**********************************************************
*
* 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] iMETA 2025: The 3rd International Conference on Intelligent Metaverse Technologies & Applications, Dubrovnik, Croatia

*The 3rd International Conference on Intelligent Metaverse Technologies &
Applications (iMETA 2025)*

14-17 October 2025 | Dubrovnik, Croatia

*Hybrid Conference*

*Technically sponsored by IEEE Croatia section*

https://imeta-conference.org/

Over the years, technology has advanced significantly, and the creation of
virtual environments (i.e., metaverse) is one of the latest innovations to
revolutionize how we interact, process, and connect our real lives to other
lives. With the metaverse, we are presented with a new realm that blurs the
lines between the physical and digital world, providing a new space for
communication, commerce, services, and entertainment.

The International Conference on Intelligent Metaverse Technologies &
Applications (iMETA) is to bring together leading researchers, academics,
and industry experts to explore the various aspects of the distributive
metaverse, including its technologies, applications, and implications for
various industries. Attendees can expect to participate in exciting keynote
speeches, panel discussions, and presentations on cutting-edge research
field.

Throughout the conference, there will be ample opportunities for attendees
to network, share their knowledge, and collaborate on future initiatives
that will drive the development of the metaverse forward. We are confident
that iMETA conference will inspire new ideas, foster innovation, and spark
collaborations that will push the boundaries of the metaverse and its
potential to change the world as we know it.

The metaverse is a complex system that requires careful planning, design,
and implementation to function correctly. The iMETA conference will delve
into several key areas related to communication, computing, and systems
within the metaverse. Communication is a fundamental aspect of the
metaverse, allowing users to interact with one another, share information,
and collaborate on tasks. Computing is also essential for the metaverse
advancements and to function effectively. Topics such as distributed
computing, cloud computing, and edge computing are to be revisited within
the metaverse realm.

Overall, the iMETA conference aims to provide attendees with a
comprehensive understanding of the communication, computing, and system
requirements of the metaverse. Through keynote speeches, panel discussions,
and presentations, attendees will have the opportunity to engage with
leading experts and learn about the latest developments and future trends
in the field. The conference will also provide ample opportunities for
networking, sharing knowledge, and collaborating with others in the
metaverse community.
List of Tracks:

- Track 1: Large Language Models (LLMs) in the Metaverse
- Track 2: Native AI for Metaverse Technologies
- Track 3: Security and Privacy
- Track 4: Networking and Communications
- Track 5: Systems and Computing
- Track 6: Multimedia and Computer Vision
- Track 7: Immersive Technologies and Services
- Track 8: Storage and Processing

*Publication*

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

*Important Dates:*

- Papers due: March 15, 2025
- Acceptance notification: May 26, 2025
- Registration due: June 26, 2025
- Camera-ready paper due: July 26, 2025
- Workshop/Tutorial Proposal Submission: March 15, 2025
- Workshop/Tutorial Proposal Acceptance: April 1, 2025

*Submission Guidelines:*

Manuscripts must be original, not previously published, or under review by
another conference or journal. Submissions should adhere to the IEEE
Conference Proceedings Format, using a double-column layout, 10-point font,
and letter-sized paper. Manuscripts must be submitted in PDF format and
should not exceed 6 pages for the review process. Accepted papers may
extend to a maximum of 8 pages for the camera-ready version, subject to an
overlength page fee.

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

*Organizing Committee*
Steering Committee

- Albert Zomaya, University of Sydney, Australia
- Giancarlo Fortino, University of Calabria, Italy
- Ian F. Akyildiz, Truva Inc., USA
- Merouane Debbah, TII, UAE
- Nirwan Ansari, New Jersey Institute of Technology, USA
- Salil Kanhere, UNSW Sydney, Australia
- Walid Saad, Virginia Tech, USA
- Moayad Aloqaily, MBZUAI, UAE

General Co-chairs

- Adriana Lipovac, University of Dubrovnik, Croatia
- Yulei Wu, University of Bristol, <https://www.essex.ac.uk/>UK

Program Co-chairs

- Ouns Bouachir, Zayed University, UAE
- Elif Bozkaya, National Defence University Turkish Naval Academy, Turkey
- Marwan Omar, Illinois Institute of Technology, USA

--Regards,

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

[DMANET] CfA --- "Maritime and Port Logistics" Stream" (EURO 2025)

Maritime and Port Logistics Stream (EURO 2025)

34 rd European Conference on Operational Research

Leeds, UK, 22 th June – 25 June, 2025

https://euro2025leeds.uk/

ANNOUNCEMENT AND CALL FOR ABSTRACTS:

You are invited to take part in the Maritime and Port Logistics stream in the 34 rd European Conference on Operational Research (Leeds, UK). This stream welcomes presentations of operations research applications related to maritime and port logistics. Researchers, academics, and practitioners in any branch of operations research, e.g., mathematical modelling, heuristics, decision analysis, etc., are invited to submit abstracts to the following sessions.

SESSIONS AND ORGANIZER CONTACT:

- Seaside Planning (code: 297ea6df). Frank Meisel, meisel@bwl.uni-kiel.de

- Stowage Planning and Vessel Operations (code: b93ae3a5). Dario Pacino, darpa@dtu.dk .

- Hinterland and container drayage operations (code: c75582e0). Zhaojie Xue, zjxue@szu.edu.cn

- Green maritime and port logistics (code: 420630da ). Cagatay Iris, c.iris@liverpool.ac.uk

- Container Stacking and Yard Planning (code: 4ffe83c8 ). Christopher Expósito, cexposit@ull.edu.es ; Israel Lopez-Plata

- Low- and zero-emission solutions for maritime operations (code: ea292c74 ). Kjetil Fagerholt, kjetil.fagerholt@ntnu.no ; Peter Schütz, peter.schutz@ntnu.no .

- Truck appointment and inter-terminal planning (code: 02147e9b ). Eduardo Lalla, e.a.lalla@utwente.nl , Rosa G. González, rgonzalez@uandes.cl

For submitting to a session within this stream, you have to ins ert the code accompanying the title. For additional information, you can contact the corresponding session chair.

DATES AND IMPORTANT INFORMATION:

Deadline: Abstracts must be submitted by 8th March 2025, at 23:59 GMT.

Notification of abstract acceptance – From submission to Sunday 23 March 2025

Early registration closes – 30 March 2025

Author registration and payment deadline – 20 April 2025

Format: Abstracts should not exceed 1500 characters.

Restrictions: Each participant can submit only one research abstract for evaluation.

The same abstract cannot be submitted by different delegates.

Submission link: https://www.euro-online.org/conf/euro34/

POST-CONFERENCE PUBLICATION

Selected papers will be invited to submit an extended version of their work to a post-conference special issue.

STREAM CHAIRS:

Eduardo Lalla-Ruiz, University of Twente, The Netherlands (e.a.lalla@utwente.nl).

Rosa G. González-Ramírez, University of los Andes, Chile (rgonzalez@uandes.cl).

We look forward to seeing you in Leeds in June 2025!

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

Friday, February 14, 2025

[DMANET] Combinatorics and Geometry in İstanbul (August 5-6, 2025)

Dear colleagues,

We are pleased to announce the Combinatorics and Geometry in İstanbul
workshop, which will take place on August 5-6, 2025, at Bahçeşehir
University, İstanbul, Turkey.

The workshop aims to bring together researchers working in
combinatorics, geometry, and related fields to discuss recent
developments and foster collaboration.

For more details, including the list of invited speakers and
registration information, please visit our workshop website:

https://cg-istanbul.github.io/cgi2025/

We would greatly appreciate it if you could share this announcement
with your colleagues and students who may be interested in
participating.

Best regards,
Selçuk Kayacan
(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] DDP 2025

Fifth International Conference on Digital Data Processing (DDP 2025)
University of Bedfordshire. Luton. (Near London) UK.
August 18-20, 2025
(www.socio.org.uk/ddp)
(IEEE approval pending)

As technology advances in different sub-domains of computing, data-driven models are becoming increasingly important. The data-dependent world now faces many challenges in terms of data accuracy and data privacy. High-impact advancements include machine learning, artificial intelligence, deep learning and many more. Data is growing exponentially in terms of diversity and complexity. One organization or industry processes over a few million transactions per hour and stores hundreds of billions of data. We live in a world with a great need for more efficient data analysis and processing. Data analytics can reveal hidden patterns, complex relationships, internal information relations, and even segmentation. Data applications have opened up new possibilities in every aspect of our lives. Studying data and its structure, dynamics, and modern data technologies is ongoing. There is a great deal of literature and research on data management, but it does not address the data processing needs. Many studies focus on developing models and systems for analysing large datasets.

Data analysis leads to application domains that have a systematic impact on decisions. The knowledge gained from the data analysis enables the generation of critical information for multiple domains. In this conference, we review and discuss the latest trends in data management, the opportunities and challenges, and how they have affected organizations' ability to develop effective business and technology strategies and stay up-to-date in data technology. We also highlight current open research directions in data analytics that need further attention.

The proposed conference will discuss topics not limited to

Data applications in various domains and activities
Data in cloud
Real-world data processing
Data inaccuracy and reliability issues
Data Ecosystem
Business Analytics
New data analytics techniques
Physical and management challenges
Synthetic data
Data synthesis
Crowdsourcing and Sensing
Data modelling
Deep learning techniques
Data fusion
Descriptive analytics, Diagnostic analytics, Predictive Analytics, and Prescriptive analytics
Machine learning impact on data processing
Network optimization
Data in Biomedical Engineering
Data in Materials science and mechanics
Data handling and applications in domains
Wireless Networking Data Management
Data of Electronic & Embedded Systems
Multi-media Systems Data
Artificial Intelligence Models and Systems Data
E-Computing Data
Renewable Energies Data

General Chair

General Chair
Ezendu Ariwa
Warwick University, UK

Program Chairs
Youshan Zhang, Yeshiva University, USA
Simon Fong, University of Macau, Macau
Duong Van Hieu, Tien Giang University, Vietnam

Program Co-chairs
Martin Lopez Nores, University of Vigo, Spain
Frankie Wilson, University of Oxford. UK

Publications

All accepted and presented papers will be submitted to IEEE Xplore for publication and indexing.

The DDP 2025 has co-located workshops.

Modified versions of the papers will appear in the following journals.

Journal of Digital Information Management
International Journal of Computational Linguistics
Information Services & Use

Important Dates

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


Paper submission

Papers should follow the IEEE template. Submissions at http://socio.org.uk/ddp/paper-submission/

Contact: ddp@socio.org.uk

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

[DMANET] Computational optimization

Call for Papers

18th International Thematic Track/Workshop on Computational Optimization
(CO25)
Krakow, Poland, September 14-17, 2025

organized in the framework of CONFERENCE ON COMPUTER SCIENCE AND
INFORMATION SYSTEMS
FedCSIS - 2024


IEEE CS is a technical co-sponsor of FedCSIS 2025

https://2025.fedcsis.org/thematic/co
===============================

We invite original contributions related to both theoretical and practical
aspects of optimization methods. The list of topics includes, but is not
limited to:

* combinatorial and continuous global optimization
* unconstrained and constrained optimization
* multiobjective and robust optimization
* optimization in dynamic and/or noisy environments
* optimization on graphs
* large-scale optimization, in parallel and distributed computational
environments
* meta-heuristics for optimization, nature-inspired approaches and any
other derivative-free methods
* exact/heuristic hybrid methods, involving natural computing techniques
and other global and local optimization methods
*numerical and heuristic methods for modeling

The applications of interest are included in the list below, but are not
limited to:

* classical operational research problems (knapsack, traveling salesman,
etc)
* computational biology and distance geometry
* data mining and knowledge discovery
* human motion simulations; crowd simulations
* industrial applications
* optimization in statistics, econometrics, finance, physics, chemistry,
biology, medicine, and engineering.
*environment modeling and optimization
===============================

Best paper award

The best CO25 paper will be awarded during the social dinner of FedCSIS2025.
The best paper will be selected by CO25 co-Chairs by taking into
consideration the scores suggested by the reviewers, as well as the quality
of the given oral presentation.

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

Submission and Publication

* Authors should submit draft papers in PDF format.
* The total length of a paper should not exceed 12 pages for regular paper
and 6 pages for short papers (IEEE style). IEEE style templates are
available at http://2025.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their scientific
merit and relevance to the trakc.
* Accepted and presented papers will be published in the Conference
Proceedings and included in the IEEE Xplore database and submitted for
different indexations (Communication and Position papers will only appear
in the conference proceedings).
* Extended versions of selected papers presented at CO25 will be published
in edited book of the series "Studies of Computational Intelligence",
Springer with SJR 0.237.

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

Important dates:


+ Paper submission (strict deadline): May 25, 2025, 23:59:59 pm HST (there
will be no extension)
+ Position paper submission: June 10, 2025
+ Author notification: July 01, 2025
+ Final paper submission and registration: July 17, 2025
+ Conference date: September 14-17, 2025

===============================================================================
Organizing Committee

Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Antonio Mucherino, IRISA, University of Rennes 1, France
Daniela Zaharie, West University of Timisoara, Romania

If you have any question do not hesitate to send an email to :
co@fedcsis.org

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

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

Thursday, February 13, 2025

[DMANET] PostDoc Position "Industrial Problem Solving Using Symbolic and Subsymbolic AI"

FFG Exploratory Project InProSSA:
Industrial Problem Solving Using Symbolic and Subsymbolic AI

POSTDOC POSITION

The Research Institute for Symbolic Computation (RISC,
https://risc.jku.at) and the Institute for Symbolic Artificial
Intelligence (SAI, https://jku.at/sai) of the Johannes Kepler University
(JKU) Linz, Austria, offer in the frame of the exploratory FFG project
"InProSSA: Industrial problem solving using symbolic and subsymbolic AI"
a position for a person with doctoral degree in computer science,
mathematics, artificial intelligence, or related areas and (academic
and/or industrial) expertise in (some of) the following areas:

• Formal analysis and modeling of mathematical problems
• Formal languages (syntax, semantics, implementation, ...)
• Formal logic (automated reasoning, SAT/SMT solving, ...)
• Software development

The person filling this position will carry out exploratory research and
development tasks under the supervision of/in collaboration with senior
researchers of RISC, SAI and other partners of the project consortium.
The position will involve both research and development, with focus on
the design and implementation of a domain-specific modeling language for
industrial optimization/scheduling problems. Publication of the project
results in collaboration with the project partners at scientific
conferences respectively in scientific journals is expected.

The salary of the position is according to the FWF rate for postdocs (€
4752 gross salary per month) and is offered for a period of 11 months
for a full employment or a correspondingly longer period for a part-time
employment (e.g., 15 months for a 75% employment), starting between June
and November 2025. After the termination of the contract, there is the
possibility for non-limited employment by RISC Software
(https://www.risc-software.at), a non-university research institution
that is owned by JKU and located in Hagenberg, Austria.

We promote professional equality for women and therefore expressly
welcome applications from women. In the case of equal suitability,
female applicants will be given preferential consideration as far as
legally possible.

Please send your application (including a CV) per email to:

Wolfgang Schreiner <Wolfgang.Schreiner@risc.jku.at>
Associate Professor
RISC Institute, Johannes Kepler University Linz, Austria
**********************************************************
*
* 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] SPIRE 2025 First call for papers

* *32nd International Symposium on String Processing and Information
Retrieval*

*September 08-11, London, UK **
** First call for papers **

The International Symposium on String Processing and Information Retrieval
(SPIRE 2025) will be held at City University of London, in London, UK.
Website: https://sites.google.com/view/spire-2025/home
# SCOPE

SPIRE 2025 covers research in all aspects of string processing, information
retrieval, computational biology, and related applications. Typical topics
of interest include (but are not limited to):

- String Processing: string pattern matching, text indexing, data
structures for string processing, text compression, compressed data
structures, compressed string processing, text mining, 2D pattern matching,
automata based string processing, combinatorics on words.
- Computational Biology: algorithms for DNA sequencing, assembly,
alignments, read error correction, metagenomics, transcriptomics, gene and
regulatory element recognition, motif finding, pangenomics, variants
discovery, phylogenetics, genome rearrangements.
- Information Retrieval: Retrieval models and ranking. Theoretical
models and foundations of IR. Efficiency and scalability topics in IR.
Knowledge acquisition in IR. Machine Learning and Natural Language
Processing for IR. Knowledge representation and reasoning for IR.
User-centric aspects of IR. IR Evaluation. Fairness, accountability,
transparency in IR. Domain-specific IR applications. Web search.


# SUBMISSIONS

SPIRE 2025 invites submissions in two categories:

- Long papers: Up to 12 pages, excluding references and optional
appendices.
- Short papers: Up to 6 pages, excluding references and optional
appendices.


Papers should be submitted electronically via EasyChair via the following
link:

https://easychair.org/conferences/?conf=spire2025

As in past editions, the proceedings of SPIRE 2025 will be published by
Springer in the Lecture Notes in Computer Science (LNCS) series. The use of
LNCS templates is mandatory. Suitable templates are available at the
Springer Website and on Overleaf. Do not change the margin size or the
font, do not make a separate title page, etc.: use the LNCS style file as
given. Simultaneous submissions to other conferences with published
proceedings is not permitted.
At least one author per accepted paper is expected to register for the
conference and present the paper. The conference will be in-person, with
online presentations only in special cases (e.g., authors with travel
difficulties).
# IMPORTANT DATES

Papers deadlines:


- May 29, 2025 AoE (abstract deadline)
- June 5, 2025 AoE (firm deadline)


Notification: July 17, 2025

Events:

- SPIRE: September 08 to 10, 2025
- Workshop on Compression, Text, and Algorithms (WCTA): September 11,
2025


# GENERAL CHAIRS

Golnaz Badkobeh, City St George's, University of London, UK
Ricardo Baeza-Yates, EAI, Northeastern University & University of Chile

# PROGRAM COMMITTEE CHAIRS

Golnaz Badkobeh, City St George's, University of London, UK
Jakub Radoszewski, University of Warsaw, Poland
Nicola Tonellotto, University of Pisa, Italy

**********************************************************
*
* 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] CP 2025: Call for Papers, Workshops, and Tutorials -- Submissions now open

Call for Papers, Workshops and Tutorials

Thirty First Conference on Principles and Practice of Constraint Programming CP 2025

August 10-15, 2025, Glasgow, Scotland

Submissions are now open for papers, workshops, and tutorials for CP 2025.

For full details, please see:

- https://cp2025.a4cp.org/cfp.html
- https://cp2025.a4cp.org/cfw.html
- https://cp2025.a4cp.org/cft.html

Call for Papers

CP is the premier international event for presenting research in all aspects of computing with constraints, including, but not restricted to: theory, algorithms, environments, languages, models, systems, and applications. CP 2025 is the 31st conference in this series and will be held at the University of Glasgow, Scotland, August 10-15, 2025. This year, CP is co-located with the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) and with the 18th International Symposium on Combinatorial Search (SoCS 2025). Note that the first two days (10 and 11th) will be dedicated to the Workshops and Doctoral Program.

The CP conference welcomes submissions that advance the state of the art for the underlying constraint-based technologies, as well as papers that explore the role of constraint programming within other disciplines, such as operations research, machine learning, computational sustainability, quantum computing, computational biology and (cyber)security.

Submissions are now open.

Tracks and Primary Keywords

CP has lately had both a main technical track, an application track and a series of specialised tracks (e.g., machine learning, operations research, etc.) that authors could submit to and were mutually exclusive. This year, inspired by ICAPS 2024, we will only have two tracks: technical and application where, as usual, the former focuses on the scientific contributions made "to" CP, while the latter focuses on scientific contributions made "with" CP. The application track is particularly interested in papers that demonstrate the effectiveness of CP in solving real-world problems, as well as those that offer generalisable insights on the challenges and benefits for both users and developers of applying CP to both academic and real-world problems.

Former specialised tracks are replaced this year by a set of optional primary keywords, which are in addition to the keywords requested from authors every year. Their purpose is to enable submissions to self-identify the area of focus of the CP paper, support the identification of suitable reviewers, and potentially aid in the grouping of thematically related accepted papers in the conference program. Authors (resp. reviewers) will be able to select zero, one or more primary keywords to reflect best the thematic contributions of their CP paper (resp. reviewer expertise).

The primary keywords that can be used to qualify the particular focus of the CP research presented in the paper are:

Theory
Constraint Propagation, Explanation & Inference
Search (Complete & Heuristic)
SAT, MaxSAT & Logic Programming
Modelling & Modelling Languages
Operations Research & Mathematical Optimisation
Machine Learning & Generative AI
Verification, Certification & Testing
Hardware, Quantum, Security & Parallelism
Model Counting
Decision Diagrams & Dynamic Programming
Symmetries/Dominance
Model/Instance Explainability

Important Dates

Submissions open: now
Abstract registration: 20/03
Paper submission: 27/03
Author rebuttal: 8/05-12/05
Final notification: 29/05
Camera Ready: 09/06
Conference: 10/08-15/08

Dates are intended as 11pm Anywhere on Earth (AoE, also known as UTC-12). Note that the dates for registration and submission are selected in such a way they fall on Friday midnight in New Zealand, thus ensuring nobody has to work on the weekend to finish their CP abstract/paper.

Call for Workshop Proposals

We invite proposals for workshops to be held immediately before the main conferences in Glasgow, UK. Workshops offer an opportunity for in-depth discussions, hands-on experiences, and focused exploration of specific areas connected to constraint programming, SAT solving, and related topics.

Given the co-location of the CP and SAT conferences, we especially encourage proposals for workshops of interest to both communities. Some example topics from recent years are pragmatics of constraint reasoning, constraint modelling and SAT/SMT encodings, counting and sampling, logic-based methods in ML, CP-SAT solving, proof complexity, certifying algorithms, and logic and search. Proposals of interest to a single community, either on previously covered topics or new topics, are also welcome.

While you are free to have a traditional workshop with submitted papers, we also encourage new ideas and formats that could foster more interaction from your audience. We encourage in particular short papers and position papers, a lightweight review process, and poster sessions.

Important dates

Proposal submission: March 20, 2025
Notification of decisions: March 30, 2025
Workshops: August 10-11, 2025
Main conferences: August 12-15, 2025

Call for Tutorial Proposals

We invite proposals for tutorials to be held at CP 2025. The Tutorial Program aims to:

Disseminate insights on emerging topics and trends, Provide surveys of complementary techniques to those commonly studied in CP, and Inform industrial practitioners on state-of-the-art developments in the field.

Tutorials are delivered by experts in the field and will take place during the main conference, August 10-15, 2025.

Scope and Co-location

We particularly encourage tutorials that connect CP with the co-located SAT and SoCS conferences, expanding CP's reach and fostering new synergies across disciplines.

Submission Guidelines

Tutorial proposals should be emailed to the Tutorial Chair, Andre Augusto Cire.

Each proposal (maximum two pages) should include:

Title
Presenter(s) / Organizer(s) (name(s) and affiliation(s))
Abstract (up to 300 words)
Motivation (relevance and suitability for the CP audience)
Presenter(s) biography (or link to a personal webpage), including
their expertise and connection to the tutorial topic

Important Dates

Proposal submission deadline: June 1st, 2025
Notification of acceptance: June 15th, 2025

-- 
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] Jobs - Fully funded PhD position at Hamburg University of Technology

The Institute of Medical Technology and Intelligent Systems at Hamburg
University of Technology has a long standing track record developing AI
methods for medicine.
We are particularly interested in machine learning, medical robotics and
navigation, image guidance, and treatment planning. In a project with
European partners we are developing sustainable AI methods for healthcare.
One focus will be on optimization and treatment planning, e.g., for
medical robots. The project has a research context and we expect
candidates to be interested in obtaining a PhD.

More information see: https://stellenportal.tuhh.de/ok7fd
<https://stellenportal.tuhh.de/ok7fd>
Please, apply here:
https://stellenportal.tuhh.de/en/jobposting/a2e87bb11b4a684e87e936d09f83168f8cb354080/apply

Successful candidates will hold a master's degree in computer science or
related fields with excellent grades.
Very good programming and scientific writing skills as well as the
ability to travel to project meetings throughout Europe are essential.

The position is fully funded (app. 55.000 EUR gross salary, 30 days of
paid vacation) for a maximum term of three years.

For additional information, please contact Prof. Alexander Schlaefer
(schlaefer@tuhh.de)

Prof. Dr.-Ing. Alexander Schlaefer

Institute of Medical Technology and Intelligent Systems
Hamburg University of Technology
+49 (0) 40 42878 3050
www.tuhh.de/mtec
**********************************************************
*
* 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] [SISAP2025] Call for Special Session Proposals - SISAP 2025 (deadline extended to February 24)

* The deadline for Special Session Proposals has been further extended to
February 24, 2025 - [Apologies for multiple postings]
================================================================== *

* 18th International Conference on Similarity Search and Applications,
SISAP 2025 Reykjavik, Iceland, October 1-3, 2025 *

* https://www.sisap.org/2025/ <https://www.sisap.org/2025/>
==================================================================
Important Dates Regular and Special Session Papers - Abstract submission
deadline: May 11, 2025 (AoE)- Paper submission deadline: May 18, 2025
(AoE)- Acceptance notification: July 14, 2025 (AoE)- Camera-ready due: July
31, 2025 (AoE) Demonstration and Doctoral Symposium Papers - Paper
submission deadline: June 6, 2025 (AoE)- Acceptance notification: July 14,
2025 (AoE)- Camera-ready due: July 31, 2025 (AoE) Special Session Proposals
- Special Session proposal deadline: February 10, 2025 (AoE), Extended to
February 24, 2025 (AoE) - Notification: February 17, 2025 (AoE) Extended
to: February 26, 2025 (AoE) Scope The 18th International Conference on
Similarity Search and Applications (SISAP) is an annual forum for
researchers and application developers in the area of similarity data
management. It aims at the technological problems shared by numerous
application domains, such as data mining, information retrieval, multimedia
retrieval, computer vision, pattern recognition, computational biology,
geography, biometrics, machine learning, and many others that make use of
similarity search as a necessary supporting service. From its roots in
metric indexing, SISAP has expanded to become the only international
conference entirely devoted to all issues surrounding the theory, design,
analysis, practice, and application of content-based and feature-based
similarity search. Since 2021, SISAP has been a CORE Rank B conference. The
conference proceedings will be published by Springer as a volume in the
Springer Lecture <http://www.springer.com/gp/computer-science/lncs> Call
for Special Sessions at SISAP 2025 Special sessions are mini-venues, each
focusing on one state-of-the-art research direction within the field of
similarity search and applications. Special session papers will supplement
the regular research papers and be included in the proceedings of SISAP
2025, which will be published by Springer as a volume in the Lecture Notes
in Computer Science (LNCS) series. Special sessions should generally be
organized in a moderated panel format, typically led by one of the special
session chairs, where the authors have reduced time to present their work,
followed by an extensive Q&A session with the audience. It is expected that
special session chairs attend the conference. The panel format is a general
guideline rather than a strict requirement. If a proposal envisages a
different session format, we are open to such a submission and would
negotiate it further. Special Session Proposal Submission Instructions
Special session proposals must be submitted by email to
sisap2025@isti.cnr.it <sisap2025@isti.cnr.it> by February 24, 2025.
Proposals will be evaluated by SISAP 2025 general chairs and program
committee chairs, based on the relevance to SISAP, qualification(s) of the
organizer(s), proposal quality, and anticipated community interest in the
topic/proposed potential papers. Please include the following information
in your proposal: - Title (and preferably an acronym) of the proposed
special session.- Name, affiliation, brief biography and contact
information for each of the organizers.- A session abstract including
significance justification and a brief overview of the state-of-the-art of
the proposed special session topic. Note: The session abstract should be in
a format that can be copied directly to the conference web-page to
advertise the session.- List of solicited papers, if applicable, including
for each paper: tentative title, author list, and preferably a short
abstract; if session chairs anticipate submitting to their session, it is
worth noting here as well.- Proposal for arrangement of the reviews from
session organizers (e.g. list of reviewers for the special session).-
Description of the session format (e.g. panel, technical talks, poster
session).- Plans for advertising the special session (e.g. targeted
distribution lists, projects, communities). Topics of Interest Topics of
interest to the SISAP community include (but are not limited to) the
following: - Similarity- Similarity queries (k-NN, range, reverse NN,
top-k, Approximate and/or precise solutions, etc.)- Similarity measures
(for vectors, graphs, structures, time series, complex data, tensors,
secondary similarity, etc.)- Similarity operations (joins, ranking,
classification, categorization, filtering, etc.)- Scalability- Indexing and
access methods for similarity-based processing-
High-performance/large-scale similarity search (distributed, parallel,
etc.)- Data management (transaction support, dynamic maintenance, etc.)-
Theory- Models of similarity- Intrinsic dimensionality and Curse of
dimensionality- Discriminability and contrast- Languages for similarity
databases- Manifolds and subspaces- Analytics, Learning, Artificial
Intelligence- Feature selection and extraction for similarity search-
Representations learning for feature extraction- Visual analytics for
similarity-based operations- Learning/adaptive similarity measures-
Similarity in learning and mining- Merging/combining multiple similarity
modalities- Evaluation- Evaluation techniques for similarity queries and
operations- Cost models and analysis for similarity data processing-
Performance studies and comparisons- Test collections and benchmarks-
Applications- Multimedia retrieval systems- Dense retrieval- Vector
databases- Similarity search in emerging data domains- Applications of
similarity-based operations- Industrial applications and case studies-
Similarity search cloud services- Security and privacy of in similarity
search- Similarity for forensics and security Organization Steering
Committee - Giuseppe Amato, CNR-ISTI, Italy- Edgar Chávez, CICESE, México-
Stéphane Marchand-Maillet, University of Geneva, Switzerland- Marco
Patella, University of Bologna, Italy- Ilaria Bartolini, University of
Bologna, Italy- Oscar Pedreira, University of A Coruña, Spain General
Co-Chairs - Björn Þór Jónsson, Reykjavik University, Iceland- Lucia
Vadicamo, CNR-ISTI, Italy Program Committee Co-Chairs - Giuseppe Amato,
CNR-ISTI, Italy- Vladimir Mic, Aarhus University, Denmark- Agma J. M.
Traina, University of São Paulo, Brazil Demonstration Chair - Gylfi Þór
Guðmundsson, Reykjavik University, Iceland Doctoral Symposium Chair -
Laurent Amsaleg, IRISA-CNRS, France Publications Chair - Nicola Messina,
CNR-ISTI, Italy Publicity Chair - Luca Ciampi, CNR-ISTI, Italy- Conrado
Martinez, Universitat Politècnica de Catalunya, Spain SISAP Indexing
Challenge Chairs - Eric S. Tellez, CICESE-INFOTEC-CONACyT, Mexico- Martin
Aumüller, ITU Copenhagen, Denmark- Vladimir Mic, Aarhus University,
Denmark- Edgar Chávez, CICESE, México *

--
Luca Ciampi, PhD

Researcher @ ISTI-CNR
Via G. Moruzzi, 1, 56124 Pisa (Italy)
Phone: +39 050 621 3054
Email: luca.ciampi@isti.cnr.it

**********************************************************
*
* 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, February 12, 2025

[DMANET] Postdoc position at University of Iceland

Dear colleagues,

Applications are invited for a postdoctoral position at the Mathematics division of the University of Iceland. This position is in a project to advance and promote (type-theoretic) computer-assisted proofs in Iceland

The application deadline is 28 February 2025:
https://akc.is/ad/postdoc-2025/

Details about the project can be found here:
https://icetcs.github.io/iceproof/

Cheers,
Anders Claesson, akc at hi.is
**********************************************************
*
* 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] The 19th International Conference on Algorithmic Aspects in Information and Management (AAIM 2025) in Mongolia

Dear Colleagues,

We are happy to announce the first call for papers of the 19th International Conference on Algorithmic Aspects in Information and Management (AAIM 2025).

The 19th International Conference on Algorithmic Aspects in Information and Management (AAIM 2025) will be held during June 23-25, 2025 in Ulaanbaatar, Mongolia. The conference is sponsored by the Mongolian Academy of Sciences, National University of Mongolia and co-sponsored by a number of other higher education and research institutions. The working language of the conference is English.

Interesting new results in all areas of algorithm design, operation research and combinatorial optimization and their applications are welcome. Both theoretical and experimental/applied works of general algorithmic interest are sought. Special considerations will be given to algorithmic research that is motivated by real-world applications. Experimental and applied papers are expected to show convincingly the usefulness and efficiency of the target algorithms in practical settings.


*
The topics include, but are not limited to:
*
Algorithms and data structures
*
Algorithmic game theory and incentive analysis
*
Approximation algorithms and online algorithms
*
Automata, languages, logic, and computability
*
Bioinformatics, computational biology and medicine, and biomedical applications
*
Biomedical imaging algorithms
*
Blockchain
*
Combinatorial optimization
*
Combinatorics and discrete structures related to algorithms and complexity
*
Communication networks and optimization
*
Complexity theory
*
Computational algebra, geometry, number theory, and statistics
*
Computational learning theory, knowledge discovery, and data mining
*
Cryptography, reliability, and security
*
Database theory, large databases, and natural language processing
*
Experimental algorithmic methodologies
*
Geometric information processing and communication
*
Graph algorithms and theory
*
Graph drawing and information visualization
*
Internet algorithms and protocols
*
Large graph algorithms and social network analysis
*
Optimization algorithms in economic and operations research
*
Parallel and distributed computing and multicore algorithms
*
Parameterized algorithms, heuristics, and analysis
*
Pattern recognition algorithms
*
Trustworthy algorithms and trustworthy software

The conference website:
https://www.aaim2025.org/

Important dates:


*
Submission Deadline (March 1, 2025)
*
Author Notification (April 1, 2025)
*
Camera-Ready Version Due (April 10, 2025)
*
Conference Dates ( June 23-25, 2025)

Best regards
Altannar Chinchuluun


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