Wednesday, April 9, 2025

[DMANET] Call for Session Chairs and Invited Talks: Global, Integer, and Network Optimization at the 2025 INFORMS Annual Meeting

Dear all,

If you are interested in being a presenter or session organizer at the 2025 INFORMS Annual Meeting<https://meetings.informs.org/wordpress/annual/> in Atlanta, GA (October 26-29, 2025) in the "Global Optimization", "Integer and Combinatorial Optimization", or "Network Optimization" tracks, please fill out your information by April 15 (if you want to chair) and by May 7 (to give a talk) in the following spreadsheet.

https://docs.google.com/spreadsheets/d/1tqjdmR-2_IYsI_9psH65X3xxO0p8VwAupORJxJ87h2Y/

Key Points:


* INFORMS has limited the number of sessions per community this year, so we may not be able to accommodate all proposed sessions/talks. We will inform selected chairs by April 17.
* New Job Market Showcase Track: INFORMS has introduced this new track for the 2025 meeting. Details can be found here.
* One-Talk-Per-Speaker Rule: INFORMS has a one-talk-per-speaker rule. Speakers in the Job Market Showcase track cannot give a talk in a regular session.
* Session Chair Deadline: April 15, 2025. Please indicate your interest by this date. Early proposals are encouraged. If you have arranged for speakers in your session, please ensure they enter their talk details in the "Talks" tab at the link above. Once they have done so, kindly indicate in both tabs that their talk is part of your session.
* Session Size Requirement: Each session must include 5 speakers.
* Talk Proposal Deadline: May 7, 2025. Please indicate your interest in giving an invited talk by this date.
* Abstract Submission Deadline: May 23, 2025. Selected speakers must submit their title and abstract in the system by this deadline.


Feel free to reach out with any questions:

- Global Optimization: Rohit Kannan (rohitkannan@vt.edu)
- Integer and Combinatorial Optimization: Aleksandr Kazachkov (akazachkov@ufl.edu)
- Network Optimization: Jim Ostrowski (jostrows@utk.edu)

Best regards,
Aleks, Jim, and Rohit
___
Aleksandr Kazachkov<https://akazachk.github.io>
Assistant Director, Center for Applied Optimization
Assistant Professor, Department of Industrial and Systems Engineering
University of Florida


**********************************************************
*
* 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, April 8, 2025

[DMANET] ICCNS 2025 CFP: The International Conference on Intelligent Computing, Communication, Networking and Services, Varna, Bulgaria, 1 to 4 Sept. 2025

[Apologies if you got multiple copies of this invitation]

The International Conference on Intelligent Computing, Communication,
Networking and Services (ICCNS2025)

Hybrid Event

https://iccns-conference.org/2025/


Varna, Bulgaria, 1 to 4 Sept. 2025


Technically Co-Sponsored by IEEE Bulgarian Section

*ICCNS 2025 CFP:*

With the advancements in wireless communication systems like Fifth
Generation (5G), beyond 5G (B5G) and the Sixth Generation (6G), new and
unprecedented services will be available for users with nearly unlimited
capacity. These services will be the core driver of the future digital
transformation of our cities and communities. This will be accompanied by a
ubiquities deployment of the Internet of Things (IoT) infrastructure and
supported by computing capacity that will be available at the edge of the
network and at the cloud. The computing infrastructure will be handling the
processing of the data generated by the users and services. Such a complex
and diverse system will require an efficient and sustainable applications
running on the computing\Networking infrastructure and also a smart control
and automation systems to integrate and manage its different components.
Artificial Intelligence (AI) and its applications will play a significant
role on the design, deployment, automation and management of the future
services. This will include the applications that will be running on the
edge and the cloud servers, the networking applications to handle the flow
of data between the users and the computing system and the intelligent
automation and management software operating on the system. The
International Conference on Intelligent Computing, Networking and Services
is aiming to provide an opportunity to present the state of the art
research in the intersections of Computing, Networking and Services that is
supported by Artificial Intelligence. Researchers from both the industry
and academia are encouraged to submit their original research contributions
in all major areas, which include, but not limited to the following tracks:

- Track 1: Artificial Intelligence Fundamentals
- Track 2: Intelligent Internet of Things and Cyber-Physical Systems
- Track 3: Edge Intelligence and Federated Learning
- Track 4: Intelligent Networking in Beyond 5G (B5G) and 6G Wireless
Communication
- Track 5: Intelligent Big Data Management and Processing
- Track 6: Intelligent Security and Privacy
- Track 7: Blockchain Research & Applications for Intelligent Networks
and Services
-

*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 ICCNS 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 up to 6
pages.

*Important Dates:*

- *Paper submission deadline: April 20th 2025 *
- Notification of acceptance: July 10th, 2025
- Camera-ready Submission: August 1st, 2025

*Contact:*

Please send any inquiry on ICCNS to: info@iccns-conference.org

**********************************************************
*
* 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 POSTERS: MIP Europe, July 1-3, France

***** CALL FOR POSTERS Mixed Integer Programming *****
Deadline April 14th, 2025

We are happy to announce the inaugural Mixed Integer Programming (MIP)
European Workshop, to be held in Clermont-Ferrand, France. The MIP European
Workshop is part of the MIP International Workshop series, held in addition
to the classical MIP Workshop.

During the event (July 1-3) we will host a poster session to which we
invite submissions from all career levels. In case of space constraints,
preference will be given to students.

The Mixed Integer Programming (MIP) Workshop is a single-track workshop
highlighting the latest trends in integer programming and discrete
optimization, with speakers chosen by invitation. It brings together
researchers, students, and industry actors from around the globe, fostering
collaboration and providing a showcase for students, early career
academics, and developments in industry and novel applications. The MIP
European Workshop 2025 is supported by the Mixed Integer Programming
Society (MIPS), a section of the Mathematical Optimization Society (MOS).

Event website: https://www.mixedinteger.org/EUROMIP/2025/index.html

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

[DMANET] PhD position, University of Wroclaw

One PhD position, Institute of Computer Science, University of Wrocław,
Poland

We are looking for candidates interested in theory of algorithms,
especially approximation algorithms for combinatorial optimization problems.

The position is within the project:
"Algorithms for connectivity under uncertainty" led by Jarek Byrka.

Applications should be submitted by 04.05.2025

More details on postdoc positions can be found at:
https://ii.uni.wroc.pl/media/uploads/2025/04/07/phd-position-2025-na-strone-ii.pdf

For any questions please contact:
Jarek Byrka at jby@cs.uni.wroc.pl <mailto:jby@cs.uni.wroc.pl>

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

[DMANET] CfP: NMR 2025

/[Apologies for cross-posting]/

=============================
*** NMR 2025: Call for Papers ***

November 11-13, 2025, Melbourne,
Australia

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

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

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

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

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

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

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


*-- Important Dates -- *

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

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

*
-- Submission Information -- *

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

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

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

*
-- Workshop Proceedings -- *

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

*
-- Workshop Co-Chairs -- *

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


*-- Local Chair -- *

Son Tran, Deakin University, Australia


*-- Further Information -- *

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

[DMANET] PhD Opportunities at LAMSADE, Paris-Dauphine University (PSL)

Dear all,

The LAMSADE laboratory at Paris-Dauphine University, PSL, is currently offering several PhD positions in various areas of Computer Science.

In particular, we are looking for motivated candidates for the following research themes:

- Algorithmic and Structural Properties of box-TDI Polytopes

- Box-perfect Graphs

Detailed descriptions of these projects, along with information about other available topics, can be found on the website:
https://www.lamsade.dauphine.fr/en/work-with-us/jobs-traineeship-theses-proposals.html

The same page also provides details about the application process.

Interested students are encouraged to reach out to me at emiliano.lancini@lamsade.dauphine.fr or contact the respective project advisors for further information.

Please feel free to share this with potential candidates in your network.

Best regards,
Emiliano Lancini


**********************************************************
*
* 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] BCCA 2025: The 7th International Conference on Blockchain Computing and Applications, Dubrovnik, Croatia [Hybrid Conference]

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

14-17 October 2025 | Dubrovnik, Croatia

*Hybrid Conference*

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

*Sponsored by IEEE Croatia Section*

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

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

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

*Publication*

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

*Important Dates:*

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

*Main track Submission Guidelines:*

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

- *Long papers:* (7-8 pages).
- *Short papers:* (5-6 pages).
- *Poster papers:* (2 pages)

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

*Organizing Committee*
*Honorary Chair*

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

*General Chair*

- Adriana Lipovac, University of Dubrovnik, Croatia

*Program Co-Chairs*

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

--Regards,

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

Monday, April 7, 2025

[DMANET] Call for applications for "POSTDOCTORAL STAYS FOR MEXICO 2025",

Call for applications for *"POSTDOCTORAL STAYS FOR MEXICO 2025"*, published
on March 31, 2025, on the SECIHTI portal, with modality:

· *Initial Postdoctoral Stays*: For carrying out a Postdoctoral
Research Stay at a Higher Education Institution (IES) or Public Research
Centers in Mexico, developing projects aimed at strengthening the Lines of
Generation and Application of Knowledge (LGAC in dynamic systems with
applications in differential equations, statistics, and neuroscience), as
well as the possibility of engaging in teaching, thesis advising, or
activities related to universal access to knowledge.These stays may last *12,
24, or 36 months* at the request of the applicants and may be renewed for
additional periods of *12 or 24 months*, not exceeding the maximum term of *60
months*.

· *More information*: erikart@uaeh.edu.mx

*Greetings*

Erika Rodríguez-Torres

**********************************************************
*
* 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] [Scheduling seminar] Premysl Sucha (CTU in Prague) | April 9 | Machine Learning Inside Decomposition of Scheduling Problems

Dear scheduling researcher,

We are delighted to announce the talk given by Premysl Sucha (CTU in
Prague).
The title is "Machine Learning Inside Decomposition of Scheduling
Problems". The seminar will take place on Zoom on Wednesday, April 9 at
13:00 UTC.
Join Zoom Meeting
https://cesnet.zoom.us/j/93077786062?pwd=Cj5lSGL0PI5el3qj3nBkbTXMh3ZTKc.1
Meeting ID: 930 7778 6062
Passcode: 851384
You can follow the seminar online or offline on our Youtube channel as
well:
https://www.youtube.com/channel/UCUoCNnaAfw5NAntItILFn4A

The abstract follows.
Problem decomposition refers to general techniques for efficiently
solving large instances. The fact that decomposition splits the problem
into smaller subproblems and then combines their solutions into a
solution to the original problem opens up many possibilities for
applying machine learning. There are two main advantages why it is
suitable. The first is that the subproblems are solved
repeatedly/recursively, so similar instances are solved multiple times.
The second is that the subproblems are smaller and thus easier to
combine with machine learning. In this talk, we show two successful
applications of machine learning to speed up scheduling algorithms based
on decomposition techniques, namely branch and price and Lawler's
decomposition.

The talk by Christian Blum (IIIA-CSIC) planed on March 26 is cancelled
due to personal reasons of the speaker. Nevertheless, the next talk in
our series will be:
Christian Blum (IIIA-CSIC) | April 23 | CMSA: A Hybrid Metaheuristic for
Combinatorial Optimization
For more details, please visit https://schedulingseminar.com/
With kind regards

Zdenek Hanzalek, Michael Pinedo and Guohua Wan

--
Zdenek Hanzalek
Industrial Informatics Department,
Czech Institute of Informatics, Robotics and Cybernetics,
Czech Technical University in Prague,
Jugoslavskych partyzanu 1580/3, 160 00 Prague 6, Czech Republic
https://rtime.ciirc.cvut.cz/~hanzalek/

**********************************************************
*
* 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] DISC 2025 - Second Call for Workshops and Tutorials

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

*DISC 2025 Call for Workshops & Tutorials*
===============================================

DISC 2025 will be held this year in Berlin, Germany from the *27th to the
31st of October* (http://www.disc-conference.org/wp/disc2025/). We invite
proposals for full-day and half-day workshops and tutorials. They will take
place on Monday the 27th of October and Friday the 31st of October.

*We expect that most talks of workshops are **held in person at **the
conference site.* We intend to follow the "workshops template" from DISC
2019 (see the workshop program at a glance at
http://www.disc-conference.org/wp/disc2019/workshops/), that is, there will
be up to 3-4 workshops each day (depending on the predicted number of
participants) where we synchronize the parallel talks as much as possible
so that "cross-workshops" participants will not miss any of the talks. This
also guarantees shared coffee and lunch breaks.

The organizers of DISC will encourage students to participate in the
workshops, e.g., allotting a quota of free-of-charge local students, and
waiving workshop registration for students that participate in the main
conference. DISC will also waive the registration fees of a limited number
of speakers per workshop/tutorial.

We are interested in topics which are related to distributed computing and
systems on one hand, but also in topics that have the potential of
extending the scope of what the community sees as "distributed computing"
on the other hand.

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

*Workshop/Tutorial proposal deadline:* May 31, 2025, at 23:59 AoE.

The notification will be provided shortly after the proposal has been sent.

===============================================
*Instructions*
===============================================

Please email the Workshops & Tutorials Chair, Yannic Maus (
yannic.maus@tugraz.at), a short proposal with the following details:
1. Workshop/tutorial name and an optional acronym (please state whether
it is a workshop, a tutorial, or any other format).
2. Names, affiliations, and email addresses of the organizers. Please
specify who is the point of contact.
3. Short description of the workshop's topic and its relevance to the
DISC community.
4. Length: Half-day or full day.
5. Date preference: please state if you are OK with being scheduled to
the 9th or the 13th, or that you are OK with both options.
6. Tentative list of (possible) speakers.
7. A skeleton schedule of the workshop (see an example in here:
https://parsys.lri.fr/CELLS/#page_program, but of course you can have
shorter talks/posters, etc.).
8. A link to a website of a past meeting of your workshop (if
applicable).
9. Estimated number of speakers and attendees.


------
Regards,
William K. Moses Jr.
Publicity Chair, DISC 2025
https://sites.google.com/view/wkmjr

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

[DMANET] Open Rank W2/W3 professor position for Theory of Artificial Intelligence at the University of Bremen

The University of Bremen invites applicants for an Open Rank W2/W3 professor position for the field of ``Theory of Artificial Intelligence'' in the Department of Computer Science at the earliest possible date.

https://www.uni-bremen.de/en/university/the-university-as-an-employer/job-vacancies-1/job/3823?cHash=0559caed99cef57d8129f6e86ed401ff

The professorship is intended to complement the existing expertise in Theoretical Computer Science with a focus on Theoretical Artificial Intelligence. Relevant areas include, for example Algorithmic Data Analysis, Algorithms under Uncertainty, Logic-Based AI, Formal Foundations of Knowledge Representation, Computational Social Choice, Multi-Agent Systems, Mechanism Design.

Beyond this focus, the professor is expected to represent Theoretical Computer Science in its full spectrum and establish research connections to at least one of the following fields: Algorithms, Complexity Theory, or Formal Methods.

This open-rank position (W2 or W3) is designed to attract a broad range of applicants. We are seeking both early-career researchers with recently acquired habilitation-equivalent achievements and strong scientific potential, as well as experienced individuals with leadership skills and outstanding scientific qualifications.

For inquiries about the position, please contact the chair of the appointment committee Prof. Dr. Sebastian Siebertz at siebertz@uni-bremen.de .

--
Prof. Dr. Sebastian Siebertz
Universität Bremen
FB3: Mathematik/Informatik
Bibliotheksstr. 5, MZH 3160
28359 Bremen

Web: https://www.uni-bremen.de/en/theorie/team/profiles/prof-dr-sebastian-siebertz
Mail: siebertz@uni-bremen.de
Phone: +49 (421) 218-63751


**********************************************************
*
* 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, April 6, 2025

[DMANET] SMARTCOMP 2025 - Call for Posters/Demos/WIP - DEADLINE EXTENSION

*!! DEADLINE EXTENSION !!*

Please consider submitting your work to the *Posters, Demos, and
Work-in-Progress (WIP) track of SMARTCOMP 2025 (*https://www.cs.ucc.ie/
smartcomp2025/#/*)*
. This track provides an excellent opportunity to
showcase early-stage research, novel ideas, and innovative applications to
an international audience.

**** Accepted Posters, Demos, and WIP papers will be published on IEEE
Xplore! ****

For details, topics of interest, and submission guidelines, please refer to
the full CFP below.

*Important Dates*

-

Paper submission: *23rd March 2025 14th April 2025*
-

Acceptance notification: *6th April 2025 28th April 2025*
-

Camera ready (tentative): *10th May 2025*

*SMARTCOMP 2025 - Call for Posters/Demos/WIP*

SMARTCOMP 2025 is the 11th edition of the premier conference on Smart
Computing. Smart computing is a multidisciplinary domain based on the
synergistic influence of advances in sensor-based technologies, the
Internet of Things, cyber-physical systems (CPS), edge computing, big data
analytics, machine learning, cognitive computing, and artificial
intelligence. Applications of smart computing can be found in different
societal domains including, but not limited to, transportation, energy,
environmental protection, smart and connected communities, healthcare,
banking, industrial systems, entertainment, and social media. Algorithmic
and system advancements in cloud computing, mobile/pervasive computing,
cyber-physical systems, sensor networking, and social computing are taking
smart computing to a new dimension and improving our ways of living.

The Posters and Work in Progress (WIP) session will provide a forum to
discuss novel ideas, preliminary results, present innovative applications
and tools, and bring about novel research questions, approaches, and
directions. The Demo session will focus on hands-on demonstrations of
preliminary works on novel platforms, implementations, and case studies. We
particularly welcome demos that present innovative designs or advancements
in CPS, providing attendees with the opportunity to experience cutting-edge
technology firsthand.

We encourage both academia and industry to contribute by sharing valuable
insights into real-world applications and innovative solutions in Smart
Computing. Industry submissions are invited to reflect practical
experiences, field trials, and emerging trends from an industrial
perspective, demonstrating the impact and applicability of Smart Computing
technologies.

Authors of papers that received favorable reviews but could not be accepted
to the Main track may be offered the opportunity to publish their submitted
work in the Posters/Demos/WIP track.

Accepted poster and demo papers will be published in IEEE Xplore, ensuring
their broad dissemination within the research community.


*Topics*

Areas of interest include (but are not limited to):

-

Future Smart Computing Paradigms
-

Models of Smart Environments
-

Algorithms for Smart Computing
-

AI and Machine Learning in Smart Computing
-

Security, Privacy, and Trust Issues in Smart Computing
-

Fairness and Socio-technical Issues of Smart Computing
-

Cyber-physical System Platforms for Smart Environments
-

Middleware Platforms for Smart Environments
-

Mobile and Ubiquitous Platforms for Smart Environments
-

Cloud, Edge and Fog Computing Platforms for Smart Systems
-

Data Architectures and Analytics for Smart Computing
-

Smart Computing for Smart and Connected Communities
-

Smart Green Computing
-

Social Computing and Smart Systems
-

Wearable Computing and IoT for Smart Systems
-

Architectures and Software for Smart Computing
-

Novel Communication Paradigms (e.g., 5G/6G, VLC, DSA) in smart computing
-

Quantum Computing in Smart Systems
-

Interdisciplinary Approaches to Smart Computing
-

Applications of Smart Computing include:
-

Smart healthcare and digital epidemiology
-

Smart agriculture
-

Smart infrastructures
-

Smart cities
-

Smart energy, transportation, water distribution systems
-

Smart factories
-

Smart workspace


*Submission Guidelines*

Posters, Demos, and WIP papers should be no more than 3 pages in length,
including figures, tables, and references.

All the submissions must be formatted according to the two-column IEEE
proceedings template. IEEE provides corresponding formatting templates at
IEEE proceedings template (
https://www.ieee.org/conferences/publishing/templates.html). Make sure to
use the conference mode of the template, i.e., LaTeX users must use the
conference option of the IEEEtran document class. While the submission
format is the same, the goals for Posters/WIP and Demos are different:

-

Posters/WIP: We welcome papers up to 3 pages discussing early or ongoing
research. Posters/WIP are intended to present ongoing research with a focus
on novel methodologies, preliminary results, or innovative concepts that
hold promise for future development, highlighting key ideas or research
directions in a concise format, fostering discussion and feedback on
emerging work/applications.
-

Demo: We welcome papers up to 3 pages focused on the specific component
that will be demonstrated to the audience and how the attendees will be
able to interact. They should also provide an overview of the background
research leading up to the demo.

All submitted Posters/WIP, and Demos will be subject to peer reviews by
SMARTCOMP Technical Program Committee members and other experts in the
field. At least one author of each accepted paper must register and attend
the conference to present the work.

Papers must be submitted electronically as a single PDF file on US Letter
size paper (not A4), with all fonts embedded (the PDF-A standard complies
with that), through EDAS. Select Posters/WIP or Demos Track at the
following link: https://edas.info/newPaper.php?c=33045


*Best Poster/Demo/WIP Award*

In recognition of outstanding contributions to the field, SMARTCOMP 2025
will present the Best Posters/Demos/WIP Award to the submission that
demonstrates exceptional quality, innovation, and potential impact in Smart
Computing. This award will honor the work that best exemplifies
forward-thinking approaches and technological advancements showcased during
the Posters/Demos/WIP presentation.


*Posters/Demos/WIP Co-Chairs*

-

Nasibeh Zohrabi (Penn State Brandywine, USA)
-

Francesca Righetti (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/
*
**********************************************************

Saturday, April 5, 2025

[DMANET] ESA 2025 -- Call for Paper

33rd Annual European Symposium on Algorithms (ESA 2025)

https://algo-conference.org/2025/esa/

The European Symposium on Algorithms (ESA) is one of the premier
conferences on algorithms and is a part of ALGO 2025, to be held at
at the Faculty of Physics at the University of Warsaw in Warsaw, Poland.


IMPORTANT DATES: (all tracks)

- Paper submission deadline: 23 April, 23:59 AoE
(https://easychair.org/conferences/?conf=esa2025)
- Notification: 23 June
- Camera ready: 7 July
- Conference: 15-17 September

🆕 NOTE: Change to paper submission format (lines, not pages)


CALL FOR PAPERS:

The symposium seeks original algorithmic contributions for problems with relevant theoretical and/or practical applications. Papers with a strong emphasis on the theoretical analysis of algorithms should be submitted to Track A, while papers reporting the results of extensive experimental evaluations and/or providing original contributions to the engineering of algorithms for practical applications should be submitted to Track B. Submissions that prove or explain results, possibly already known, in a particularly clear, simple or elegant way should be submitted to Track S.

There will be a Best Student Paper Award as well as a Best Paper Award, both sponsored by EATCS. In order for a paper to be considered for the Best Student Paper Award, all of its authors are required to be students at the time of submission.


PAPER SUBMISSION AND PROCEEDINGS:

Papers should be submitted electronically via the EasyChair submission system. The ESA 2025 proceedings will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series.


🆕 SUBMISSION GUIDELINES:

Authors are invited to submit an extended abstract or full paper. Submissions must be formatted in accordance with the LIPIcs proceedings guidelines and may not exceed *500 lines* of text. Authors must use the LaTeX class file socg-lipics-v2021.cls (https://computational-geometry.org/guidelines/socg-lipics-v2021.cls); for a quick start, you can duplicate this Overleaf project: https://www.overleaf.com/read/vhfbgqwsmsvr#4c5597

Proofs omitted due to the line constraint must be placed in an appendix. This appendix can even comprise an entire full version of the paper. The appendix will be read by the program committee members at their discretion. In particular, appendices of accepted papers are not going to be published in the proceedings. The main part of the submission should therefore contain a clear technical presentation of the merits of the paper, including a discussion of the paper's importance within the context of prior work and a description of the key technical and conceptual ideas used to achieve its main claims.

These guidelines are strict: submissions deviating significantly from these guidelines risk being rejected without consideration of their merits. Papers must be submitted electronically via the EasyChair submission system. Results previously published (or scheduled for publication) in another conference proceedings or journal should not be submitted to ESA. Simultaneous submission to other conferences with published proceedings, journals, or to multiple tracks of ESA 2025, is also not permitted. By submitting a paper the authors acknowledge that in case of acceptance, at least one of the authors must register at ALGO 2025, attend the conference on-site and present the paper. Papers with no author fulfilling this requirement may risk being removed from the final conference proceedings (unless there are extenuating circumstances).

PRECISE FORMAT DEFINITIONS

Submissions must not exceed 500 lines, excluding front matter (title, authors, and affiliations), references, and a clearly marked appendix (further described below), but including all other lines (in abstract, algorithms, tables, captions, etc.).

The class files provide line counting which should be accurate in most cases. Authors should refrain from putting excessive amounts of text in parts in which lines are not counted automatically. If authors need constructs that contain uncounted lines of text, they should compensate for this by reducing the final line count accordingly. It is the sole responsibility of the authors to not exceed 500 lines even if some lines are not counted automatically. In case of doubt (such as substantial amounts of text appearing as part of a graphic), the actual text content as judged by the program committee will replace the automated line count in deciding conformity.

Further TeXnical details on the website, https://algo-conference.org/2025/esa/.

"WE'VE ALWAYS MERRILY COUNTED PAGES; WHY BOTHER WITH COUNTING LINES NOW?"

Counting lines is the attempt to make authoring submissions for ESA more efficient for everyone involved.

To enable a timely reviewing process, most conferences have a (sometimes soft) page limit beyond which submissions are read at the Program Committee's discretion only. Counting lines fulfills that same purpose, but is a much more fine-grained function of the input text size than the page count, whose often chaotic behavior in the LaTeX typesetting process has been a perennial frustration for authors and editors alike. 500 lines are similar to 12 pages of text.


DOUBLE-BLIND REVIEWING:

The conference will employ a lightweight double-blind reviewing process. The purpose of the double-blind reviewing is to help PC members and external reviewers come to an initial judgement about the paper without bias.

Submissions should not reveal the identity of the authors. In particular, authors' names, affiliations, and email addresses should not appear at the beginning or in the body of the submission. Authors should ensure that any references to their own related work is in the third person (e.g., not "We build on our previous work …" but rather "We build on the work of …").

Double-blind reviewing is intended to help PC members and reviewers to counter bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important references should not be omitted or anonymized. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For example, authors may post drafts of their papers on the web, submit them to arXiv, and give talks on their research ideas. In case there exist publicly available versions of the submission online, the authors might mention this in their submission (without providing references/links), and briefly explain the differences if any. Alternatively, they might communicate the details to the chairs, who will keep them confidential unless revealing them to the PC is needed for a fair judgement. Authors with further questions on double-blind reviewing are encouraged to contact the PC chairs.

When submitting a paper, please indicate Conflict of Interest (CoI) with PC members. A CoI is limited to the following categories:

1. Family member or close friend.
2. Ph.D. advisor or advisee (no time limit), or postdoc or undergraduate
mentor or mentee within the past 5 years.
3. Person with the same affiliation.
4. Involved in an alleged incident of harassment. (It is not required
that the incident be reported.)
5. Reviewer owes author a favor (e.g., recently requested a reference
letter).
6. Frequent or recent collaborator whom you believe cannot objectively
review your work.

PC SUBMISSIONS:

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

TOPICS:

Papers presenting original research in all areas of algorithmic research
are sought, including but not limited to:

- Algorithm engineering
- Algorithmic aspects of networks
- Algorithmic game theory
- Algorithmic data science
- Approximation algorithms
- Computational biology
- Computational finance
- Computational geometry
- Combinatorial optimization
- Data compression
- Data structures
- Databases and information retrieval
- Distributed and parallel computing
- Graph algorithms
- Hierarchical memories
- Heuristics and meta-heuristics
- Mathematical programming
- Mobile computing
- Online algorithms
- Parameterized algorithms
- Pattern matching
- Quantum computing
- Randomized algorithms
- Scheduling and resource allocation problems
- Streaming algorithms


PC CHAIRS:

- Haim Kaplan (Tel Aviv University) — Track A
- Anne Benoit (ENS Lyon) — Track B
- Sebastian Wild (University of Marburg and University of Liverpool) — Track S

PC MEMBERS (TRACK A):

- Hee-Kap Ahn (Pohang University, Korea)
- Shyan Akmal (Institute for Computer Science, Artificial Intelligence and Technology (INSAIT) Sofia, Bulgaria)
- Boris Aronov (NYU)
- Alkida Balliu (Gran Sasso Science Institute (GSSI), L'Aquila, Italy)
- Hideo Bannai (Tokyo medical and dental university)
- Soheil Behnezhad (Northeastern University)
- Omri Ben Eliezer (Technion)
- Ioana O. Bercea (KTH)
- Ahmad Biniaz (University of Windsor, Canada)
- Eric Blais (University of Waterloo)
- Edouard Bonnet (CNRS, Parallel Computation Laboratory, Lyon)
- Karl Bringmann (Saarland University, MPI)
- Kevin Buchin (Technical University, Dortmund)
- Eden Chalamtac (Ben Gurion University)
- Amit Chakrabarti (Dartmouth)
- Chandra Chekuri (Illinois, Urbana-Champaign)
- Yann Disser (Technische Universität Darmstadt)
- Dan Dorfman (MPI)
- Shaddin Dughmi (University of Southern California)
- Marek Elias (Bocconi University in Milan)
- David Ellis Hershkowitz (Brown University)
- Esther Ezra (Bar Ilan University)
- Paolo Ferragina (University of Pisa)
- Aris Filos-Ratsikas (University of Edinburgh)
- Pierre Fraigniaud (CNRS, University of Paris Cite)
- Pinar Heggernes (University of Bergen)
- Zhiyi Huang (The University of Hong Kong)
- Arun Jambulapati (University of Michigan)
- Rajesh Jayaram (Google)
- Thomas Kesselheim (University of Bonn)
- Linda Kleist (TU Braunschweig)
- Kuba Lacki (Google)
- Stefano Leonard (Sapienza University of Rome)
- Roie Levin (Rutgers University)
- Daniel Lokshtanov (University of California Santa Barbara)
- Pasin Manurangsi (Google)
- Daniel Marx (CISPA Helmholtz Center for Information Security)
- Benjamin Moseley (Carnegie Mellon University)
- Sagnik Mukhopadhyay (University of Birmingham)
- Cameron Musco (University of Massachusetts, Amherst)
- Aaron Potechin (University of Chicago)
- Manish Purohit (Google)
- Chris Schwiegelshohn (Aarhus University)
- Cliff Stein (Columbia University)
- Ioan Todinca (Univ. Orléans)
- Jie Xue (NYU Shanghai)
- Sorrachai Yingchareonthawornchai (ETH)

PC MEMBERS (TRACK B):

- Petra Berenbrink (University of Hamburg, Germany)
- Florina Ciorba (University of Basel, Switzerland)
- SM Ferdous (Pacific Northwest National Lab, USA)
- Li Han (ECNU, China)
- Valentin Honoré (ENSIIE, France)
- Kamer Kaya (Sabancı University, Turkey)
- Alba Cristina Magalhaes Alves de Melo (University of Brasilia, Brazil)
- Henning Meyerhenke (Humboldt-Universität zu Berlin, Germany)
- Valia Mitsou (IRIF, France)
- Cynthia Phillips (Sandia National Laboratories, USA)
- Krzysztof Rzadca (University of Warsaw and Google, Poland)
- Blair D. Sullivan (University of Utah, USA)
- Hongyang Sun (University of Kansas, USA)
- Sivan Toledo (Tel-Aviv University, Israel)
- Jesper Larsson Träff (TU Vienna, Austria)
- Ulrike Meier Yang (LLNL, USA)

PC MEMBERS (TRACK S):

- Martin Aumüller (ITU Copenhagen, Denmark)
- Peyman Afshani (Aarhus University, Denmark)
- Parinya Chalmersook (University of Sheffield, UK)
- Rathish Das (University of Houston, USA)
- David Eppstein (University of California, Irvine, USA)
- Rolf Fagerberg (University of Southern Denmark, Denmark)
- José Fuentes-Sepúlveda (University of Concepción, Chile)
- Christian Ikenmeyer (University of Warwick, UK)
- Akitoshi Kawamura (Kyoto University, Japan)
- Phillip Keldenich (TU Braunschweig, Germany)
- Tsvi Kopelowitz (Bar Ilan University, Israel)
- Pascal Lenzner (University of Augsburg, Germany)
- Namrata (University of Liverpool, UK)
- Sharma Thankachan (NC State University, USA)
- Will Rosenbaum (University of Liverpool, 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] [Extended Deadline] 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 *April 15, 2025 (Extended)*
- Acceptance notification: May 26, 2025
- Registration due: June 26, 2025
- Camera-ready paper due: July 26, 2025
- Workshop/Tutorial Proposal Submission: March 15, 2025 *April 15, 2025
(Extended)*
- Workshop/Tutorial Proposal Acceptance: April 20, 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*
<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] PhD position in Operations Research at IESEG School of Management and KU Leuven (Joint)

Title: PhD position in Operations Research at IESEG School of Management and KU Leuven

We are looking for a PhD candidate in Operations Research for a joint position between IESEG School of Management and KU Leuven's Faculty of Economics and Business. The research will be supervised by Dr. Salim Rostami (IESEG) and Dr. Roel Leus (KU Leuven), and focuses on "optimization of diagnostic testing and root cause detection". The first year will be at KU Leuven (Belgium), followed by three years at IESEG's Lille campus (France). Candidates should have a strong background in optimization, combinatorial algorithms, and decision making under uncertainty. Experience with Markov decision processes, dynamic programming, and/or reinforcement learning, and proficiency in C++ are advantageous. Applications are reviewed on a rolling basis until April 25, 2025. For details and how to apply, visit: https://www.kuleuven.be/personeel/jobsite/jobs/60460058?lang=en (ref. BAP-2025-197). Applications can only be received via KU Leuven's online application tool, applications via any other way will not be considered. For more information, contact Dr. Salim Rostami (s.rostami@ieseg.fr) or Dr. Roel Leus (roel.leus@kuleuven.be).


[https://storage.letsignit.com/5fca5fd30b5c6b0008d67401/generated/effects_b93edb7d1c02b8e02a0fcb7eaa1ec4cb5ea67634873bdbf75cee0d54.png]

[https://storage.letsignit.com/5fca5fd30b5c6b0008d67401/generated/effects_65c730e78b736c79044303d511790fbd6f6ad897ab9a539015275311.png]

[https://storage.letsignit.com/icons/designer/socials/Facebook--circle--black.png]<https://cloud.letsignit.com/collect/bc/604f52e9d23da9016fdd0ff4?p=75eQYPaHbwx-yLPiZQ6vjAnM8fXZp0cTTtxvbTrPzTGR_PgyrHkHBTFeh_-S9rtHCauDWgxpWr_HRLvPyimPjGpBbPKlbQI7wp4G7yNpQESV0uWx0D2w_ho2ubyXMp3ZVcnxNjd5uwAgRDouYWY02xCBSQxBx5swHwjS8AD79BQ=>

[https://storage.letsignit.com/icons/designer/socials/X--circle--black.png]<https://cloud.letsignit.com/collect/bc/604f52e9d23da9016fdd0ff4?p=75eQYPaHbwx-yLPiZQ6vjAnM8fXZp0cTTtxvbTrPzTGR_PgyrHkHBTFeh_-S9rtHCauDWgxpWr_HRLvPyimPjHwiCkdqe0JEXafiiQCFiAVECi9ru3SDNL4dSjJl-i2rgUdDSuVgfvajeB203JwxSdUVCWfGBGYPwOMTzEK_ovp9Ct45qEeNplL5hh2gSLqDi7I05Fm2vd14qTr_vHKpJA==>

[https://storage.letsignit.com/icons/designer/socials/Linkedin--circle--black.png]<https://cloud.letsignit.com/collect/bc/604f52e9d23da9016fdd0ff4?p=75eQYPaHbwx-yLPiZQ6vjAnM8fXZp0cTTtxvbTrPzTGR_PgyrHkHBTFeh_-S9rtHCauDWgxpWr_HRLvPyimPjGF6-yTawC57oj955-5JH4iRpYMJsPrit6S68OEmFPmguRuIMDa8oJ6TrfZ5IEKz1sHZTD0xayuxxWMCqR_OvcU=>

[https://storage.letsignit.com/icons/designer/socials/Instagram--circle--black.png]<https://cloud.letsignit.com/collect/bc/604f52e9d23da9016fdd0ff4?p=75eQYPaHbwx-yLPiZQ6vjAnM8fXZp0cTTtxvbTrPzTGR_PgyrHkHBTFeh_-S9rtHCauDWgxpWr_HRLvPyimPjKulx2LP2QLmka7JEahGrjyUyuQe1iQNOhoPrTNOFu3WgTeXf6HrxhwW-ksNbffIHRQTTmPUjJGaiVnQ6FKPiPw=>

[I?SEG Channel]<https://cloud.letsignit.com/collect/bc/604f52e9d23da9016fdd0ff4?p=75eQYPaHbwx-yLPiZQ6vjAnM8fXZp0cTTtxvbTrPzTGR_PgyrHkHBTFeh_-S9rtHCauDWgxpWr_HRLvPyimPjOuvIExZB4Fmdhc4JPSolRUAtdyUSeYrNqrOG6oTw8BJs5dVMIBLUTirdHXdsYWZBCmnvnvHS7qvF-bKeDQ4iOM=>

ROSTAMI Salim

Operations Management

Associate Professor

LILLE

**********************************************************
*
* 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, April 4, 2025

[DMANET] MIP 2025 Registration Open

Dear all,

Registration is now open for the 2025 Mixed Integer Programming (MIP) Workshop<https://mixedinteger.org/2025>, which will be held June 2-6, 2025 at the University of Minnesota in Minneapolis, MN. You may register at https://z.umn.edu/mip2025_registration. Local accommodation options can be found on our website at https://www.mixedinteger.org/2025/local, including an affordable on-campus dorm option.

MIP 2025 will include a summer school on Monday, June 2 followed by the regular workshop program June 3-6, including a single track of invited expert speakers, student poster presentations jointly with a welcome reception, workshop dinner, and special events related to the MIP computational competition. A tentative schedule will be posted soon.

We also invite submissions of contributed "flash" talks by "nonstudents" (those who were not eligible for the poster session, such as postdocs, faculty, national lab members, and industry researchers). If you are interested, please submit your title/abstract by April 7, 2025 via the form linked below. We have limited slots available and intend to communicate decisions by April 18, 2025.

https://forms.gle/EpRu4DfgZR2waLqb9

If you have any questions, please email me (akazachkov@ufl.edu).

We hope to see you in Minnesota in June,
Aleks

on behalf of the MIP 2025 program committee:

Sophie Huiberts
Aleksandr Kazachkov (chair)
Sebastian Perez-Salazar
Christian Tjandraatmadja
Yiling Zhang

___
Aleksandr Kazachkov<https://akazachk.github.io>
Assistant Director, Center for Applied Optimization
Assistant Professor, Department of Industrial and Systems Engineering
University of Florida

**********************************************************
*
* 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] Image Matching Challenge 2025 is now open!

*IMC 2025 @ Kaggle is out*!
https://www.kaggle.com/competitions/image-matching-challenge-2025


As previous years, the *Image Matching Workshop*:Local Features & Beyond
promotes the *Image Matching Challenge*, an open contest about local
feature matching, in collaboration with Kaggle.

The ultimate goal is to understand the performances and limitations of
well-established and emerging algorithms in real-world scenarios, their
failure modes, and how to address them, and to find out problems that
arise in practical settings but are sometimes ignored by academia. We
believe that this effort provides a valuable feedback loop to the
computer vision community.

In addition to complex scenarios with temporal changes, this year we
added a further challenge: each dataset contains multiple scenes and
distractor images, and you need to figure out what belongs together in
addition to solving the 3D reconstruction problem.


*Timeline*
- April 1, 2025 - Start Date.
- May 26, 2025 - You must accept the competition rules before this date
in order to compete.
- May 26, 2025 - This is the last day participants may join or merge teams.
- June 2, 2025 - Final Submission Deadline.


*Prizes*
- 1st Place - $12K
- 2nd Place - $10K
- 3rd Place - $10K
- 4th Place - $10K
- 5th Place - $8K

The teams with the most original and effective solutions will be invited
to have a talk at the IMW workshop at CVPR2025
(https://image-matching-workshop.github.io/).


*What are you waiting for* ?!?
*Be brave, tame the data and prove yourself* !!!

The IMW/IMC organizers

**********************************************************
*
* 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] Last Call - ICCCN Workshop - 7th International Workshop on Vehicular Networking and Intelligent Transportation systems (VENITS 2025)

[Apologies if you receive multiple copies]

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

CALL FOR PAPERS

7th International Workshop on Vehicular Networking and Intelligent
Transportation systems (VENITS 2025)
co-Located with the 34th International Conference on Computer
Communications and Networks (ICCCN 2025)


August 4-7, 2025 - Tokyo, Japan
https://grc.webs.upv.es/events/VENITS/2025/
Conference proceedings will be submitted to IEEE Xplore

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

Important Dates:
================

Submission deadline: April 6, 2025 (firm deadline)
Notification of acceptance: May 10, 2025
Camera-ready version: June 2, 2025

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

Scope:
======

Over the years, we have witnessed the merging of wireless communications
and transportation technologies. This excellent combination of two
important fields has propelled our capabilities even further, allowing us
to communicate anytime and anywhere, thereby improving the traffic safety,
reducing the travel costs, and increasing our life quality tremendously.
Once the new Intelligent Transportation Systems are deployed, our roads and
highways will be able to provide enhanced services to users through the
combination of V2X and cellular communications, thus completely
revolutionizing when and how we communicate, commute, and navigate, in the
coming future.
In addition, all types of autonomous vehicles, including aerial,
terrestrial and maritime drones, can also support ITS systems and processes
to achieve unprecedented performance, safety and services.
Under such conditions, several issues remain open in the field on vehicular
networking, including message dissemination in congested environments,
Quality of Service (QoS), efficient and adaptive routing, MAC layer
enhancements, mobility prediction, efficient handovers, and also in
Intelligent Transportation Systems, such as efficient road traffic
managing, optimal emergency services operation, integration with autonomous
vehicles, etc.
This workshop is soliciting original technical papers addressing the main
research challenges in the vehicular networking and the intelligent
transportation systems area.

Topics of interest include, but are not limited to, the following scope:

- Wireless Vehicular Networking and Communications

Wireless Vehicular Networking (aerial, terrestrial and maritime
vehicles)
DSRC/WAVE Communications, DSRC Alternatives, and Supporting Technologies
5G/6G technologies for vehicular environments
UAV support for ground vehicle communications and services
AI-Enhanced V2X Communication Protocols
Communications for Safety of Vulnerable Road Users
Communications for Automated Driving
Content distribution in wireless vehicular environments

- AI-Enhanced Traffic Management and Optimization

AI-Enhanced Traffic Prediction, Management, and Optimization
Statistical Analysis, Prediction, and Management of Vehicular Mobility

- Autonomous Vehicle Intelligence and Systems

Autonomous Vehicle Intelligence
AI in Vehicle Maintenance and Diagnostics
AI-Driven Cybersecurity in Vehicular Networks
Integration with aerial, terrestrial and maritime autonomous vehicles
Security and Trust Issues in Vehicular Environments
Explainable and Trustworthy AI in Vehicular Systems

- Network Control and Management

Congestion and Admission Control in Dense Vehicular Networks
Network Protocols and Algorithms, Including Clustering and Routing
Cross-Layer Protocol Design

- Integration and Edge Computing Solutions

Smartphone/Vehicle Integration
Service-Oriented Architectures, Service Portability, P2P
AI for Real-Time Data Processing and Edge Computing
Edge Solutions for Intelligent Transportation Systems (ITS)

- Cooperative Sensing and Human-Machine Interfaces

Cooperative Sensing of Road Conditions
Intelligent Human-Machine Interfaces (HMI)

- Computational Models and Simulation Tools

Network and System Architectures for Mobile Vehicular Computing
Models, Simulators, and Tools for Vehicular Environments
AI-Integrated Simulation and Modeling Tools for Vehicular Environments

- Computer Vision and Multimedia in Vehicular Scenarios

Computer Vision Applications in Vehicular Environments
Multimedia Communications in Vehicular Scenarios

- Data Privacy and Ethical Considerations

Data Privacy and Ethical Considerations in AI-Powered Vehicular Systems

- AI for User Experience and Sustainable Transportation

AI for Enhanced User Experience and Personalization
AI in Sustainable and Green Transportation
Multi-Agent AI Systems in Vehicular Networks

Papers Submission:
==================

The workshop accepts novel and previously unpublished papers. Submitted
manuscripts must be formatted in standard IEEE camera-ready format
(double-column, 10-pt font) and must be submitted via EasyChair (
https://easychair.org/conferences/?conf=icccn2025) as PDF files (formatted
for 8.5x11-inch paper).

The manuscripts should be no longer than 6 pages. Submitted papers cannot
have been previously published in or be under consideration for publication
in another journal or conference. The workshop Program Committee reserves
the right to not review papers that either exceed the length specification
or have been submitted or published elsewhere. Submissions must include a
title, abstract, keywords, author(s) and affiliation(s) with postal and
e-mail address(es).

Submission link: https://easychair.org/conferences/?conf=icccn2025

See ICCCN 2025 conference website for more details:
http://icccn.org/ICCCN25/


Organization:
=============

General co-Chairs:
==================
Carlos Tavares Calafate (Technical University of Valencia, Spain)
Francisco J. Martinez (University of Zaragoza, Spain)


Steering Committee:
===================
Yusheng Ji (National Institute of Informatics, Japan)
Bertrand Ducourthial (University of Technology of Compiegne, France)
Fawzi Nashashibi (INRIA, France)


Publicity Chairs:
=================
Peppino Fazio (Ca' Foscari University of Venice, Italy)
Vicente Torres-Sanz (University of Zaragoza, Spain)


Program Committee:
==================

Ali Balador (Ericsson, Sweden)
Annette Böhm (Halmstad University, Sweden)
Carlos Tavares Calafate (Technical University of Valencia, Spain)
Claudia Campolo (Reggio Calabria University, Italy)
Juan Carlos Cano (Technical University of Valencia, Spain)
Baldomero Coll (Miguel Hernandez University, Spain)
Floriano DeRango (University of Calabria, Italy)
Peppino Fazio (Ca' Foscari University of Venice, Italy)
Piedad Garrido (University of Zaragoza, Spain)
Dongkyun Kim (Kyungpook National University, South Korea)
Pietro Manzoni (Technical University of Valencia, Spain)
Johann Marquez-Barja (IMEC & University of Antwerp, Belgium)
Francisco J. Martinez (University of Zaragoza, Spain)
Manuel Ricardo (University of Oporto, Portugal)
Stefan Ruehrup (FTW - Telecommunications Research Center Vienna, Austria)
Julio A. Sanguesa (University of Zaragoza, Spain)
Jose Santa (Technical University of Cartagena, Spain)
Oyunchimeg Shagdar (VEDECOM, France)
Christoph Sommer (University of Paderborn, Germany)
Jamie Wubben (Technical University of Valencia, Spain)
Vicente Torres-Sanz (University of Zaragoza, Spain)

For more information see: https://grc.webs.upv.es/events/VENITS/2025/

-------------------------------------------------
Francisco J. Martinez
Computer Architecture
University of Zaragoza

http://init.unizar.es/paco/
http://init.unizar.es/
http://www.grc.upv.es/

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

[DMANET] SETTA 2025 2nd Call for Papers [Deadline: April 30]

[Apologies for cross-posting]

**Call for Papers**

The 11th International Symposium on Dependable Software Engineering:
Theories, Tools and Applications (SETTA 2025), will be held in Oxford,
United Kingdom, on 1-3 December 2025. The event will be hosted at St
Catherine's College, University of Oxford.

**Conference Webpage and Submission Link**

https://www.setta2025.uk/
https://setta2025.hotcrp.com/

**Important Dates (AoE)**

* Paper Submission Deadline: April 30, 2025
* Notification: June 16, 2025

---

Formal methods emerged as an important area in computer science and
software engineering about half a century ago. An international community
has formed researching, developing and teaching formal theories, techniques
and tools for software modeling, specification, design and verification.
However, the impact of formal methods on the quality and improvement of
software systems is, in practice, lagging behind. This is for instance
reflected by the challenges in applying formal techniques and tools to
engineering large-scale systems such as Cyber-Physical Systems (CPS),
Internet-of-Things (IoT), Enterprise Systems, Cloud-Based Systems, and so
forth.
The purpose of the SETTA symposium is to bring international researchers
together to exchange research results and ideas on bridging the gap between
formal methods and software engineering. It aims at academic excellence and
its objective is to become a flagship conference on formal software
engineering in Asia. All previous instances of SETTA have taken place in
Asia and 2025 is the first time the conference is being held outside its
traditional home region.

To achieve these goals and contribute to the sustainability of the formal
methods research, it is important for the symposium to attract young
researchers into the community. Thus, this symposium particularly
encourages the participation of young researchers and students.

Authors are invited to submit papers on original research, industrial
applications, or position papers proposing challenges in fundamental
research and technology. The latter two types of submissions are expected
to contribute to the development of formal methods and applications thereof
in software engineering. This is done by either substantiating the
advantages of integrating formal methods into the development cycle or
through delineating the need for research by demonstrating weaknesses of
existing technologies, especially when addressing new application domains.

All submissions must be in pdf format. Papers should be written in English.
Submitted papers must be unpublished and not submitted for publication
elsewhere. The review process is double-blind and each submission will be
reviewed by at least two members of the technical program committee. All
accepted papers will have to be presented at the conference by one of their
authors. As in previous iterations of SETTA, extended versions of selected
papers will be recommended to special issues of a reputable journal (TBA)
after the proceedings of the conference.

**Topics and Scope**

Topics of interest include, but are not limited to:
Requirements specification and analysis
Formalisms for modeling, design and implementation
Model checking, theorem proving, and decision procedures
Scalable approaches to formal system analysis
Formal approaches to simulation, run-time verification, and testing
Integration of formal methods into software engineering practice
Contract-based engineering of components, systems, and systems of systems
Formal and engineering aspects of software evolution and maintenance
Parallel and multicore programming
Embedded, real-time, hybrid, probabilistic, and cyber-physical systems
Mixed-critical applications and systems
Formal aspects of service-oriented and cloud computing
Safety, reliability, robustness, and fault-tolerance
Dependability of smart software and systems
Empirical analysis techniques and integration with formal methods
Applications and industrial experience reports
Software tools to assist the construction or analysis of software systems

**********************************************************
*
* 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] SEA 2025: first call for participation

CALL FOR PARTICIPATION

***********************************************************
23rd Symposium on Experimental Algorithms (SEA 2025)
Location: Venice, Italy
Dates: July 22-24, 2025
Website: https://regindex.github.io/sea2025.github.io
***********************************************************

The Symposium of Experimental Algorithms 2025 (SEA 2025) will take place
from
22 to 24 July 2025 in Venice, Italy, in auditorium "Santa Margherita",
a historical building from the IX century in the Dorsoduro neighborhood of
Venice.

SEA aims to attract papers from the Computer Science community, the
Operations
Research/Mathematical Programming community and any other scientific
community
that is concerned with the main theme of the symposium, namely the role of
experimentation and of algorithm engineering techniques in the design and
evaluation of algorithms and data structures. Submissions should present
significant contributions supported by experimental evaluation,
methodological
issues in the design and interpretation of experiments, the use of
(meta-)heuristics, or application-driven case studies that deepen the
understanding of the complexity of a problem.

A main goal of SEA is also the creation of a friendly environment that can
lead to and ease the establishment or strengthening of scientific
collaborations and exchanges among attendees.


INVITED SPEAKERS

- Daniel Lemire, University of Quebec (TELUQ), Canada
https://lemire.me/en/
- Giulia Bernardini, University of Trieste, Italy
https://sites.google.com/view/giulia-bernardini
- Sebastiano Vigna, University of Milan, Italy
https://vigna.di.unimi.it/


ACCEPTED PAPERS

https://regindex.github.io/sea2025.github.io/accepted_papers.html


WORKSHOP

On July 25, 2025, there will be a workshop on "25 years of Compressed
Self-Indexes" at the
same venue. The occasion of the workshop is the 25th anniversary of the
following two important data structures:

FM-index
Paolo Ferragina, Giovanni Manzini.
Opportunistic Data Structures with Applications.
41st Annual Symposium on Foundations of Computer Science (FOCS '00).
Awarded with the Paris Kanellakis Award '22.

Compressed Suffix Array
Roberto Grossi, Jeffrey Scott Vitter.
Compressed Suffix Arrays and Suffix Trees with Applications to Text Indexing
and String Matching.
32nd Annual ACM Symposium on Theory of Computing (STOC '00).

The workshop will feature invited talks by Giovanni Manzini and Roberto
Grossi
as well as contributed talks on related topics.


REGISTRATION

https://regindex.github.io/sea2025.github.io/registration.html

Deadlines:
*Early registration: May 31, 2025*
*Late registration: June 30, 2025*
Afterwards, only on-site registration is possible.

Registration fees:
Student registration
early: EUR 210
late: EUR 260
on site: EUR 310

Regular registration
early: EUR 325
late: EUR 375
on site: EUR 425

The fee covers the following:
- Welcome reception
- Attendance to all sessions and invited talks
- Coffee breaks
- Social Event
- Conference Dinner


SPONSORS

We thank our sponsors:

- REGINDEX: Compressed Indexes for Regular Languages with Applications to
Computational Pan-genomics. ERC grant nr. 101039208.
- Ca' Foscari University of Venice.


If you have any questions about the conference organization, including the
registration procedure, please email us:
sea25-organization-grpunive@unive.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/
*
**********************************************************

[DMANET] Postdoc position at AGH University in the PRAGMA project

Dear all,

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

https://euraxess.ec.europa.eu/jobs/329712
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.

Deadline for applications: April 28th, 2025

We suggest May 1st as the starting date, but given when the hiring decision
will be made, this might be challenging. Hence one might start, e.g., on
June 1st, or May 15th. We are generally flexible and open to different
starting times. However, the project funding ends on May 31st, 2026, so
delaying the start would also shorten the maximal possible duration of the
position.

The official position in the Polish academic system is "asystent" for which
one does not need a PhD to apply. This means that candidates holding an MSc
degree who are interested in working full-time on research are eligible to
apply. In particular (but not only), this means anyone who is currently
finalizing her or his PhD, but will still take some time to get the
official degree can easily apply.

If you already have a PhD, you can apply as well---in this case, and if
successful---we would promote you one rank higher as soon as possible.

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

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

(apologies for cross-posting)

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

Overview:

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

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

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

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

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

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

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

Submissions:

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

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

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