[DMANET] Postdoc vacancy in Explainable Reinforcement Learning Utrecht University Netherlands

Postdoc vacancy in Explainable Reinforcement Learning Utrecht University Netherlands
Join us at Utrecht University and contribute to the development of Explainable Reinforcement Learning models for the energy-mobility-housing nexus!

Job description

Current advancements in energy technology has led to an increase in the use of photovoltaic panels in residential areas, and an increasing use of electric cars. Communities can now benefit from the energy produced by their own photovoltaic panels for daily energy use, as well as for charging their electric vehicles. However, it remains a challenge to manage the energy such that individuals maximize their use of energy in a just and fair manner.

In this research project, you will be working towards developing Reinforcement Learning (RL) models that intelligently manage the charging/discharging of electric vehicles in the energy-mobility-housing nexus. RL models, however, are often seen as "black-boxes". To enhance transparency, you will design methods to reveal the decision-making structure of the models using Explainable Reinforcement Learning (XRL). This will allow for an in-detail analysis of the level of justness and fairness achieved with the proposed RL. For example, with XRL, you will quantify the distribution of benefits and costs that the RL decision strategy proposes across individuals. You will also identify driving factors and conditions that contribute to the decisions proposed by the RL model.

This Postdoc position is part of a Dutch NWO research project. Within the project, you will have the opportunity to collaborate with several Dutch universities and researchers from multi-disciplinary backgrounds, and several industrial partners.

Qualifications
We are looking for an enthusiastic new colleague who meets the following criteria:

You hold a PhD degree in Computer Science, Applied Mathematics or Operations Research, or you are within a few months from defending your PhD;
You are familiar with Reinforcement Learning, Explainable Reinforcement Learning (XRL), fairness in Reinforcement Learning models.
Familiarity with the topics of charging schemes for electric vehicles, electric grids, and a just energy transition is a plus;
You have demonstrated programming skills (familiarity with Python is a plus);
You are willing to work in a multi-disciplinary team with researchers, and with diverse teams of stakeholders;
You possess collaboration and communication skills with an independent outlook in defining and solving research problems;
You are proficient in English.

Offer
* A Postdoc position for 2 years;
* A full-time gross salary ranging from ;
* 8% holiday bonus and 8.3% end-of-year bonus;
* A pension scheme, partially paid parental leave, and flexible employment conditions based on the Collective Labour Agreement Dutch Universities

Deadline: 30th of April 2025

More information here: https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/postdoc-position-in-explainable-reinforcement-learning

Mihaela Mitici
m.a.mitici@uu.nl

**********************************************************
*
* 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] Permutation Patterns 2025: abstract submission deadline is April 11th

The next edition of the Permutation Patterns conference will be held at the University of St Andrews (Scotland) July 7th-11th, 2025.
It will be preceded by a pre-conference workshop on July 4th and 5th.

This conference series was established in 2003 and has been held annually since then. It is centred around the study of patterns in permutations and other combinatorial objects.
The keynote speakers will be David Bevan (University of Strathclyde) and Natasha Blitvić (Queen Mary University of London).

We will welcome submissions of extended abstracts in all research fields related to patterns in permutations and other combinatorial objects.

Key dates for your calendar:
Abstract submission deadline: April 11th 2025, Anywhere on Earth (AoE)
Notification of acceptance: April 25th 2025
Workshop dates: July 4th 2025 – July 5th 2025
Conference dates: July 7th 2025 – July 11th 2025

The website is https://sites.cs.st-andrews.ac.uk/pp25/

If you have any questions, please contact the organisers.

We look forward to seeing you in St Andrews in July!

Ruth Hoffmann and Christian Bean

----------
Please consider the environment before printing this email.This email and its contents may be legally privileged and /or confidential.If it has come to you in error you should not copy or show it to anyone; nor should you take any action based on it, other than to reply to the sender to notify them of the error immediately and to then delete the email from your inbox and deleted items. Keele University staff and students are required to abide by the University's IT Policies when sending and receiving email. Keele University email is hosted by a cloud provider and may be stored outside of the 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] FCT 2025 - 2nd Call for Papers

FCT 2025 2nd Call for Papers

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

OVERVIEW

The International Symposium on Fundamentals of Computation Theory (FCT),
has been established in 1977 as a forum for researchers interested in
all aspects of theoretical computer science. It is a biennial series of
conferences, recently held in Copenhagen (Denmark, 2019) Athens,
(Greece, 2021) and Trier (Germany, 2023).

The 25th International Symposium on Fundamentals of Computation Theory
(FCT 2025) will be held on September 15th-17th at the Institute of
Computer Science, University of Wrocław, Poland.

https://fct2025.cs.uni.wroc.pl

fct2025@cs.uni.wroc.pl

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

IMPORTANT DATES

* May 6th, 2025: Paper submission deadline
* June 30th, 2025: Author notifications
* July 4th, 2025: Final papers due
* September 15th-17th, 2025: FCT conference dates

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

VENUE

* University of Wrocław, Institute of Computer Science, Poland

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

SUBMISSIONS

We invite submissions on all topics in broadly understood theoretical
computer science.

Papers are to be submitted electronically through EquinOCS submission
server operated by Springer, the publisher of the proceedings.
Submission page: https://equinocs.springernature.com/service/fct2025

The accepted papers will be published in ARCoSS subseries of Lecture
Notes in Computer Science (LNCS) series.

The submissions should be at most 12 pages long, including the
references and excluding a clearly marked appendix,
which can be read by the reviewers and can be consulted by the program
committee.

Submissions should use the LNCS style (LaTeX
<https://resource-cms.springernature.com/springer-cms/rest/v1/content/19238648/data/v8>,
Word
<https://resource-cms.springernature.com/springer-cms/rest/v1/content/19238706/data/v5>).

No prior publication or simultaneous submission to other conferences nor
journals are allowed;
this does not include publication in preprint repositories, e.g. arXiv,
or venues without published proceedings.

A Best Paper and Best Student Paper will be awarded.
To qualify for considerations for Best Student Paper, all authors must
be students at the moment of submission.

At least one author of accepted paper should register and present the
paper in person during the conference.

Submissions of papers authored (or co-authored) by PC members are allowed.

FCT 2025 will use a single-blind reviewing process.

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

LIST OF TOPICS:
(Not Exclusive)

* Algorithmic Game Theory
* Algorithmic Learning Theory
* Algorithmic Randomness
* Algorithms and Data Structures
* Algorithms for Big Data
* Approximation Algorithms
* Automata Theory
* Average-Case Analysis
* Combinatorics and Graph Theory
* Combinatorial Generation, Enumeration and Counting
* Combinatorial Optimization
* Combinatorics on Words
* Complexity Theory
* Computational Biology
* Computational Geometry
* Computational Learning Theory
* Computational Social Choice
* Computability, Recursion Theory
* Concurrency
* Data Compression
* Database Theory
* Descriptional Complexity
* Discrete Event Systems
* Discrete Optimization
* Distributed, Parallel and Network Algorithms
* Energy-Aware Algorithms
* Error-Correcting Codes
* Fine-grained Complexity
* Formal Languages
* Formal Specification and Verification
* Foundations of Artificial Intelligence and Machine Learning
* Graph Algorithms and Modelling with Graphs
* Graph Drawing and Graph Labeling
* Grammatical Inference
* Integer and Linear Programming
* Logic in Computer Science
* Model-Checking
* Models of Computation
* Network Theory and Temporal Graphs
* Online Algorithms
* Parameterized Algorithms and Complexity
* Probabilistic and Randomized Algorithms
* Program Semantics
* Quantum Algorithms
* String Algorithms
* Sublinear Time and Streaming Algorithms
* Telecommunication Algorithms
* Theorem Provers and Automated Reasoning
* Voting Theory

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

INVITED SPEAKERS

* Bernhard Haeupler (ETH & INSAIT Sofia University)
* Sławomir Lasota (University  of Warsaw)
* Inbal Talgam-Cohen (Technion)

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

PROGRAM COMMITTEE

* Alexander Belov (University of Latvia)
* Kristóf Bérczi (Eötvös Loránd University)
* Johanna Björklund (Umeå University)
* Hubie Chen (King's College London)
* Wojciech Czerwiński (University of Warsaw)
* Christoph Dürr (CNRS & Sorbonne University)
* Piotr Faliszewski (AGH University)
* Maribel Fernández (King's College London)
* Gabriele Fici (University of Palermo)
* Celina Figueiredo (UFRJ)
* Joanna Fijalkow (CNRS & LaBRI)
* Moses Ganardi (MPI SWS)
* Leszek Gąsieniec (University of Liverpool)
* Petr Golovach (University of Bergen)
* Meng He (Dalhousie University)
* Mika Hirvensalo (University of Turku)
* Petr Hliněný (Masaryk University)
* Tomohiro I (Kyutech)
* Rasmus Ibsen-Jensen (University of Liverpool)
* Artur Jeż (University of Wrocław) co-chair
* Marek Klonowski (Wrocław University of Science and Technology­)
* Anish Mukherjee (University of Liverpool)
* Jan Otop (University of Wrocław) co-chair
* Tatjana Petrov (University of Trieste)
* Vladimir Podolskii (Tufts University)
* Mahsa Shirmohammadi (CNRS & IRIF)
* Oskar Skibski (University of Warsaw)
* Krzysztof Sornat (AGH University)
* Ugo Vaccaro (UNISA)
* Armin Weiß (University of Stuttgart)
* Andreas Wiese (TU Munich)
* Dominik Wojtczak (University of Liverpool)

We hope to see you all in Wrocław!

Artur Jeż
Jan Otop
(Institute of Computer Science, University of Wrocław, Poland)
fct2025@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] PhD/PostDoc position in Algorithms

A PhD or postdoc position in algorithms, optimization, and game theory
is available at RWTH Aachen University.

Our group is working on fundamental questions of algorithm design, with
applications in game theory, distributed systems, machine learning, and
optimization under uncertainty. The successful applicant will join a
dynamic and inclusive team within the excellent research environment at
RWTH Aachen University.

The position is full time (100%, German TV-L E13 level). The ideal start
date would be Oct 1, 2025, but this is flexible in the second half of 2025.

Prerequisites for PhD [PostDoc] positions are a MSc [PhD] degree
(completed or nearly finished) in Computer Science, Mathematics,
Economics, or any other relevant area. Applicants should have a
theoretical/mathematical background and enthusiasm for analyzing
algorithmic and mathematical problems.

Application documents should include a cover letter, a curriculum vitae,
certificates/transcripts, and names and contact details of two
references (preferably one from your thesis advisor). These documents
should be sent as a *single PDF file* by email to Martin Hoefer
(mhoefer@cs.rwth-aachen.de). Review of applications will start on April
28, 2025, and will continue until all positions are filled.

**********************************************************
*
* 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 at Inria Lille, team LINKS

Dear all,

The LINKS team at Inria Lille is currently seeking PhD candidates to work on
the topic of "Efficient enumeration via edits". More information on the PhD
subject and the context follows. The deadline to apply is April 23.

Please circulate this offer to potential candidates and colleagues who are
looking for PhD positions (and don't hesitate to contact us to inquire
more).

PhD topic.

We are interested in designing efficient *enumeration algorithms*, i.e.,
algorithms that outputs the solutions to a problem one after another. Such
algorithms are typically used when the number of solutions is large. For this
thesis, we will focus on contexts in which the objects themselves to be
enumerated have a large size, and to tackle this we propose a new enumeration
model that we call "by edits", where the next item to be enumerated is not
written from scratch, but instead one wants to output the description of how to
obtain this item from the previous one. The topic is about designing
efficient algorithms for problems arising from automata theory, graph
theory, and databases. More details can be found here:
<https://phd.cristal.univ-lille.fr/index.cgi/b4eb3bf2291943c7a369595848c612d8/pdf>

Advisors and context.

The PhD will be carried out in LINKS, which is a joint research team
between Inria Lille, the University of Lille, and the CRIStAL
laboratory. The LINKS team offers a dynamic environment for research in
this area and a friendly atmosphere. The PhD will be co-supervised by
Antoine Amarilli (https://a3nm.net/) and Mikaël Monet
(https://mikael-monet.net/). Applications are open until April 23, and
the contract would start in fall 2025.

Candidates.

Candidates to this PhD proposal should have a good background in the
following areas of computer science: discrete mathematics, complexity
theory, formal languages, logic, and databases.

To apply, simply email us at mikael.monet@inria.fr and a3nm@a3nm.net !

Best regards,
Antoine Amarilli and Mikaël Monet

**********************************************************
*
* 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 the area of optimization and data-driven algorithms on graphs

Dear all,

the University of Applied Sciences and Arts of Southern Switzerland (SUPSI) has opened a full-time position for a PhD student in the research area of intelligent systems with a research focus on optimization and data-driven algorithms on graphs, at the Department of Innovative Technologies (DTI) based at the USI-SUPSI university campus in Lugano-Viganello (East Campus), within the Dalle Molle Institute for Artificial Intelligence (IDSIA USI-SUPSI). The contract starts on July 1st, 2025 or date to be agreed.

Applications will be considered only if submitted electronically within May 1st, 2025, through the appropriate form. Applications that are incomplete, submitted to other addresses, or submitted beyond the deadline, will be not accepted.

https://www.supsi.ch/en/bando5015

Best regards,
Matteo Salani

_____________________________________________
Istituto Dalle Molle di studi sull'intelligenza artificiale
IDSIA USI-SUPSI
Polo universitario Lugano

Via la Santa 1
CH-6962 Lugano-Viganello

Dr. Matteo Salani
Ricercatore senior

T: +41 (0)58 666 6670



**********************************************************
*
* 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: 27th IEEE International Conference on High Performance Computing and Communications (HPCC-2025), UK, 13-15 August 2025

[Please accept our apologies if you receive multiple copies of this message]
************************* HPCC-2025 Call for paper and workshops **********************
The 27th IEEE International Conference on High Performance Computing and Communications (HPCC-2025)
https://hpcn.exeter.ac.uk/hpcc2025/

Exeter, UK, 13-15 August 2025
INTRODUCTION
=============
With the rapid growth in computing and communications technology, the past decade has witnessed a proliferation of powerful parallel and distributed systems and an ever increasing demand for practice of high performance computing and communications (HPCC). HPCC has moved into the mainstream of computing and has become a key technology in determining future research and development activities in many academic and industrial branches, especially when the solution of large and complex problems must cope with very tight timing schedules.
Among a series of highly successful International Conferences on High Performance Computing and Communications (HPCC), the HPCC-2025 conference is the 27th edition of a forum for engineers and scientists in academia, industry, and government to address the resulting profound challenges and to present and discuss their new ideas, research results, applications and experience on all aspects of high performance computing and communications.
HPCC-2025 will be hosted in Exeter, the capital city of Devon and provides the county with a central base for education, medicine, religion, commerce and culture. Prospective authors are invited to submit their papers to HPCC-2025. All accepted papers are expected to be included in IEEE Xplore and will be indexed by Engineering Index (EI). The authors of selected best papers will be invited post conference to extend their contributions for special issues of prestigious journals to be planned in conjunction with the conference.

SCOPE AND TOPICS
================
Topics of interest include, but are not limited to:
Track 1: High Performance Computing and Applications
Track 2: Parallel and Distributed Computing and Systems
Track 3: Communications and Networking
Track 4: Computing Power Network (CPN) and Network for AI Computing

PAPER SUBMISSION GUIDELINE
==========================
All papers need to be submitted electronically through the conference submission website (https://hpcn.exeter.ac.uk/hpcc/) with PDF format. The materials presented in the papers should not be published or under submission elsewhere. Each paper is limited to 8 pages (or 12 pages with over length charge) including figures and references using IEEE Computer Society Proceedings Manuscripts style (two columns, single-spaced, 10 fonts).
Once accepted, the paper will be included into the IEEE conference proceedings published by IEEE Computer Society Press (indexed by EI). At least one of the authors of any accepted paper is requested to register the paper at the conference.

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

* Workshop Proposal: 1 March 2025
* Submission Deadline: 30 April 2025
* Authors Notification: 15 June 2025
* Final Manuscript Due: 15 July 2025
* Registration Due: 15 July 2025
* Conference Date: 13-15 August 2025

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

[DMANET] INFORMS Session on Optimization Modeling

Dear colleagues,

Bob Fourer and Susanne Heipcke are organizing a session on the topic of
"Software for Optimization Modeling and Deployment" in the Computing Society
Stream of the 2025 INFORMS Annual Meeting, scheduled to take place on
October 26-29, 2025 in Atlanta, Georgia, see https://meetings.informs.org/wordpress/annual

They invite submissions on all aspects of modeling software and tools
for optimization, including representation of mathematical optimization
problems, interfaces from modeling languages to solvers, and deployment
of optimization projects.
Please confirm your interest of speaking in this session by 30 April per
email to the session organizers (Bob Fourer or Susanne Heipcke) so that
we can send you an invitation code.
Along with the invitation code you will receive instructions how to submit
your abstract online, via the conference web page.

Abstracts must be written in English and contain no more than 250 words
in plain text format (no formulas are allowed), with a maximum length of
150 characters for the title of the abstract.

Please note that submissions are limited to one talk per speaker.

The deadline for speakers to complete their submission is May 23, 2025.
Speaker registration deadline is 1 August, 2025.

On behalf of the organizers,
Timo

PD Dr. Timo Berthold * Software Engineering - Director * FICO
Fair Isaac Deutschland GmbH
Takustr. 7, 14195 Berlin, Germany
www.fico.com

[A close up of a sign Description automatically generated]

Register Court (Registergericht): Amtsgericht Darmstadt, HRB 105180
Managing Director (Geschäftsführer): Dean Sanderson

This email and any files transmitted with it are confidential, proprietary and intended solely for the individual or entity to whom they are addressed. If you have received this email in error please delete it immediately.

**********************************************************
*
* 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] MIP developer position at FICO Xpress

Dear colleague,

We just announced a job opening for the Xpress MIP development team at FICO:
https://fico.wd1.myworkdayjobs.com/en-US/External/details/Senior-MIP-Engineer_30467

We're seeking a skilled individual with extensive expertise in developing Mathematical Optimization algorithms.
The focus is on Europe, remote by default; however, joining an existing FICO office, such as the one in Birmingham or Berlin, is absolutely possible.

I'm happy to get in touch if you have any questions or know someone who fits this profile.

Best regards,
Timo

PD Dr. Timo Berthold * Software Engineering - Director * FICO
Fair Isaac Deutschland GmbH
Takustr. 7, 14195 Berlin, Germany
www.fico.com

[A close up of a sign Description automatically generated]

Register Court (Registergericht): Amtsgericht Darmstadt, HRB 105180
Managing Director (Geschäftsführer): Dean Sanderson

This email and any files transmitted with it are confidential, proprietary and intended solely for the individual or entity to whom they are addressed. If you have received this email in error please delete it immediately.

**********************************************************
*
* 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] HALG 2025 -- Call for Short Presentations (March 29th)

The 10th IGAFIT Highlights of Algorithms conference (HALG 2025)
Zurich, June 4-6, 2025.
https://2025.highlightsofalgorithms.org/index.html

The IGAFIT Highlights of Algorithms (HALG) conference is a forum for presenting the
highlights of recent developments in algorithms and for discussing potential
further advances in this area. The conference will provide a broad
picture of the latest research in algorithms through a series of invited talks, as
well as the possibility for all researchers and students to present their recent
results through a series of short talks and poster presentations.
Attending the Highlights of Algorithms conference will also be an opportunity for
networking and meeting leading researchers in algorithms.

Call For Submissions of Short Contributed Presentations:

The HALG 2025 conference seeks submissions for contributed presentations.
Each presentation is expected to consist of a poster and a short talk (an invitation to the poster).
There will be no conference proceedings, hence presenting work already published at a different
venue or journal (or to be submitted there) is welcome.

If you would like to present your results at HALG 2025, please submit their details:
the abstract of the talk or the contribution of the poster via Easychair.
https://easychair.org/conferences/?conf=halg2025

The abstract should include (when relevant) information where the results have been published/accepted
(e.g., conference), and where they are publicly available (e.g., arXiv).
All submissions will be reviewed by the Program Committee (PC), giving priority to papers published in 2024 or later.

Submission deadline: 29th March 2025 (AoE).

Acceptance/rejection notifications: early April.
Early registration deadline: April 28th, 2025 https://2025.highlightsofalgorithms.org/registration.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] Call for papers "The 1st International Workshop on Computational Aspects of Energy Flexibility"

The 1st International Workshop on Computational Aspects of Energy
Flexibility (CAEF)
Rotterdam, the Netherlands, June 17, 2025
Co-located with ACM E-Energy 2025
https://sites.google.com/utwente.nl/caef2025

*Call for papers*

Flexibility in electricity demand and supply is used to address
challenges in markets, grid congestion, reducing CO2 emissions, etc. The
amount of flexibility rapidly increases due to the electrification of
transport and heating. Many of the new devices introduced by the
electrification have a communication interface and implement a
flexibility interface. To efficiently make use of this flexibility, it
needs to be aggregated and/or coordinated. This requires advances in
modeling of flexibility, distributed optimization of flexibility,
computational-aware flexibility markets, and online optimization of
flexibility.  The use of flexibility itself introduces new challenges
related to privacy, cybersecurity, and robustness.

We invite papers that address computational challenges related to
flexibility. Topics of interest include (but are not limited to):

- Mathematical modeling of flexibility: (dis)aggregation of flexibility,
quantifying flexibility, prediction of flexibility, generation of
flexibility data;
- Communication of flexibility: flexibility protocols and
standardization, privacy preserving communication of flexibility,
robustness of ICT systems for flexibility, cybersecurity of demand-side
management;
- Algorithms for using flexibility: algorithms for flexibility
coordination, distributed optimization, performance guarantees of
algorithms, computational efficiency, online algorithms,
learning-augmented algorithms;
- Computational aspects of flexibility-markets: computation-aware
flexibility market design, computational efficiency, algorithms for
computing equilibria.

*Submission*

All submissions must be at most 6 pages (including references, figures,
and appendices), formatted in 9-point ACM double-column format. Papers
should present original work, not published, accepted or under review
for any other publication.

Accepted papers will appear in ACM digital library.

Paper Registration and Submission:

March 31, 2025 (AOE)

**********************************************************
*
* 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: 23rd IEEE International Conference on Smart City (SmartCity-2025), UK, 13-15 August 2025

[Please accept our apologies if you receive multiple copies of this message]
************************* SmartCity-2025 Call for paper **********************
https://hpcn.exeter.ac.uk/smartcity2025/

Exeter, UK, 13-15 August 2025
INTRODUCTION
=============
Smart cities (also smarter cities) use digital technologies to enhance performance and wellbeing, to reduce costs and resource consumption, and to engage more effectively and actively with its citizens. Developing a smart city to better support growing urban population is a global and complex challenge and involves interdisciplinary fields. Key 'smart' sectors include transportation, smart building, energy, health care, and water systems. SmartCity-2025 is aiming to be a premier international conference in smart city. This conference is to bring together computer scientists, industrial engineers and researchers to discuss and exchange experimental or theoretical results, novel designs, work-in-progress, experience, case studies, and trend-setting ideas in the area of smart city.
SmartCity-2025 will be hosted in Exeter, the capital city of Devon and provides the county with a central base for education, medicine, religion, commerce and culture. Prospective authors are invited to submit their papers to SmartCity-2025. All accepted papers are expected to be included in IEEE Xplore and will be indexed by Engineering Index (EI). The authors of selected best papers will be invited post conference to extend their contributions for special issues of prestigious journals to be planned in conjunction with the conference.

SCOPE AND TOPICS
================
Topics of interest include, but are not limited to:
Track 1: Smart City Systems
Track 2: Data Processing Technology
Track 3: Data Systems
Track 4: Data Applications

PAPER SUBMISSION GUIDELINE
==========================
All papers need to be submitted electronically through the conference submission website (https://hpcn.exeter.ac.uk/smartcity/) with PDF format. The materials presented in the papers should not be published or under submission elsewhere. Each paper is limited to 8 pages (or 12 pages with over length charge) including figures and references using IEEE Computer Society Proceedings Manuscripts style (two columns, single-spaced, 10 fonts).
Once accepted, the paper will be included into the IEEE conference proceedings published by IEEE Computer Society Press (indexed by EI). At least one of the authors of any accepted paper is requested to register the paper at the conference.

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

* Workshop Proposal: 1 March 2025
* Submission Deadline: 30 April 2025
* Authors Notification: 15 June 2025
* Final Manuscript Due: 15 July 2025
* Registration Due: 15 July 2025
* Conference Date: 13-15 August 2025

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

[DMANET] [GECCO 2025] Workshop on Evolutionary Computation and Decision Making (EC+DM) - EXTENDED DEADLINE 2nd April

>> Apologies for Cross-Posting >>>

Dear Colleague!

We would like to inform you about the extended submission deadline for submitting works at the Workshop on Evolutionary Computation and Decision Making (EC+DM), to be held as part of the Genetic and Evolutionary Computation Conference 2025 (GECCO 2025), is April 2, 2025.

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

CALL FOR PAPERS

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

Workshop on Evolutionary Computation and Decision Making (EC+DM) at the Genetic and Evolutionary Computation Conference 2025 (GECCO 2025)

https://sites.exeter.ac.uk/ecmcdm/

Solving real-world optimisation problems typically involve an expert or decision-maker. Decision making tools have been found to be useful in several such applications e.g., health care, education, environment, transportation, business, and production. In recent years, there has also been growing interest in merging Evolutionary Computation (EC) and decision-making techniques for several applications. This has raised amongst others the need to account for explainability, fairness, ethics and privacy aspects in optimisation and decision-making. This workshop will showcase research that is both at the interface of EC and decision making. The workshop on Evolutionary Computation and Decision Making (EC + DM) to be held in GECCO 2025 aims to promote research on theory and applications in the field. Topics of interest include:

* Interactive multiobjective optimisation or decision-maker in the loop
* Visualisation to support DM in EC
* Aggregation/trade-off operators & algorithms to integrate decision maker preferences
* Fuzzy logic-based DM techniques
* Bayesian and other DM techniques
* Interactive multiobjective optimisation for (computationally) expensive problems
* Using surrogates (or metamodels) in DM
* Hybridisation of EC and DM
* Scalability in EC and DM
* DM and machine learning
* DM in a big data context
* DM in real-world applications
* Use of psychological tools to aid the decision-maker
* Fairness, ethics and societal considerations in EC and DM
* Explainability in EC and DM
* Accounting for trust and security in EC and DM

Contact

Please feel free to contact us in case you have any questions about the session

Tinkle Chugh: t.chugh@exeter.ac.uk

Richard Allmendinger: richard.allmendinger@manchester.ac.uk

Ana Belen Ruiz: abruiz@uma.es

Submission

We invite papers up to 8 pages relevant to the workshop and position papers of up to 2 pages showing preliminary results. We also welcome posters, demonstrations or presentations on ground-breaking theoretical and application results in the field. Accepted papers will be published in the GECCO Companion Proceedings and will be presented orally at the workshop.

For paper submission instructions and templates, please see paper submission instructions<https://gecco-2025.sigevo.org/Paper-Submission-Instructions>.

We follow the double-blind review process. Please make your submission is anonymous.

Keynote: Mariano Luque, Professor of Mathematics in Economics, University of Malaga, Spain

Important (STRICT) deadline dates

* Submission opening: February 10, 2025
* Submission deadline: April 2, 2025
* Notification: April 28, 2025
* Camera-ready: May 5, 2025
* Author's mandatory registration: May 8, 2025

Best regards,

Tinkle, Richard and Ana Belen

**********************************************************
*
* 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] Full professor Computational Discrete Mathematics, TU Graz

TU Graz is seeking to appoint a full professor of Computational Discrete
Mathematics for a tenured position according to Section 98 UG, at the Institute
of Discrete Mathematics. We are looking for an internationally recognized
researcher with a high scientific reputation, who is working in an area of
Computational Discrete Mathematics with connections to Theoretical Computer
Science.

Applicants must have a doctorate in the field, an excellent scientific record,
teaching skills (as shown by a habilitation or comparable qualification),
international experience in the field, and leadership skills. Experience in
the acquisition and management of research grants is desirable.

Graz University of Technology aims to increase the proportion of women, and
therefore qualified female applicants are explicitly encouraged to apply. Graz
University of Technology actively promotes diversity and equal opportunities.
People with disabilities, and who have the relevant qualification, are
expressly invited to apply.

Application deadline: May 18, 2025
Application webpage:
https://jobs.tugraz.at/en/jobs/dec7b342-9f50-f780-b335-67c226f4d322

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

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

[DMANET] VSTTE 2025: First Call for Papers

VSTTE 2025
17th International Conference on Verified Software: Theories, Tools, and Experiments
October 06-07, 2025, Menlo Park, California, USA
Co-located with Formal Methods in Computer-Aided Design 2025 (FMCAD 2025<https://fmcad.org/FMCAD25/>)
Key Information
Conference Website: https://systemf.epfl.ch/etc/vstte2025/
Paper submission Deadline: July 18th AoE
This year, VSTTE accepts both (short and long) regular papers to be included in post-conference proceedings and work-in-progress (presentation only) papers.
Overview
The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation.
The Verified Software Initiative (VSI), spearheaded by Tony Hoare and Jayadev Misra, is an ambitious research program for making large-scale verified software a practical reality. The International Conference on Verified Software: Theories, Tools and Experiments (VSTTE) is the main forum for advancing the initiative. VSTTE brings together experts spanning the spectrum of software verification in order to foster international collaboration on the critical research challenges. The theoretical work includes semantic foundations and logics for specification and verification, and verification algorithms and methodologies. The tools cover specification and annotation languages, program analyzers, model checkers, interactive verifiers and proof checkers, automated theorem provers and SAT/SMT solvers, and integrated verification environments. The experimental work drives the research agenda for theory and tools by taking on significant specification/verification exercises covering hardware, operating systems, compilers, computer security, parallel computing, and cyber-physical systems.
Call for papers and work-in-progress presentations
VSTTE 2025 welcomes submissions describing significant advances in the production of verified software, i.e. software that has been proved to meet its functional specifications. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We also welcome papers describing novel experiments and case studies evaluating verification techniques and technologies.
In addition to regular papers, we welcome submissions on in-progress verified software projects to a "work-in-progress (presentation-only)" track. Work-in-progress contributions will not appear in the post-proceedings of the conference. Submissions describing work of interest to the software verification community, but that could not be accepted for publication in the conference proceedings, may be invited to the "work-in-progress (presentation-only)" track, on a case-by-case basis.
Topics of interest for this conference include, but are not limited to, requirements modeling, specification languages, specification/verification/certification case studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments.
Submissions
VSTTE 2025 accepts both long (limited to 16 pages, excluding references) and short (limited to 10 pages, excluding references) paper submissions. Short submissions also cover "verification pearls" describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere.
Papers may be submitted via EasyChair at the VSTTE 2025 conference submission page<https://easychair.org/conferences/?conf=vstte25>. The use of LaTeX and the Springer LNCS class files<https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines> is strongly encouraged. Submissions that are not in the proper format or are too long will not be considered.
Accepted regular-track papers will be included in the post-conference proceedings of VSTTE 2025, which will be published as a LNCS volume by Springer-Verlag. Authors of those papers will have to transfer copyright of their contribution to Springer-Verlag.
Important Dates

*
Abstract submission: July 14th AoE
*
Paper submission: July 18th AoE
*
Notification of acceptance: Aug 31th (AoE)
*
Final pre-conference paper submission: September 26th (AoE)
*
Conference: October 6th-7th
*
Camera-ready for papers included in post-conference proceedings: TBA

Invited speakers

*
Caroline Trippel<https://cs.stanford.edu/people/trippel/> (Stanford University)
*
Grant Passmore<https://www.imandra.ai/about> (Imandra)

Invited tutorial speakers

*
Pierre-Yves Strub<https://www.strub.nu/> (PQShield)

Chairs
Steering Committee

*
Supratik Chakraborty<https://www.cse.iitb.ac.in/~supratik/> (IIT Bombay, India)
*
Natarajan Shankar<https://www.csl.sri.com/~shankar/> (SRI International)

Program Chairs

*
Clément Pit-Claudel<https://pit-claudel.fr/clement/> (EPFL)
*
Katherine Kosaian<https://sites.google.com/view/katherinekosaian> (University of Iowa)

**********************************************************
*
* 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 Algebraic Graph Theory, Koper, Slovenia

A PhD position in Algebraic Graph Theory is available at the University of
Primorska (Koper, Slovenia) under supervision of Prof. Ademir Hujdurovic.

The position is fully funded for 4 years, and besides salary (approximately
1500 Eur net income per month) includes funds for attending conferences or
research visits abroad.
The PhD student will primarily focus on researching the structural
properties of graphs concerning graph symmetries.

Deadline for application is June 15th 2025, and the expected start date is
October 1st 2025.
https://www.upr.si/en/about-the-university/open-calls--tenders/call-for-employment/call-for-young-researchers-at-the-university-of-primorska-in-2025

Any questions should be sent to ademir.hujdurovic@upr.si

**********************************************************
*
* 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] [ICLP 2025 - Deadline Approaching] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

*[apologize for multiple postings]*

*Second Call for Papers*

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

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

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

*SCOPE*

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

*Theoretical Foundations:*

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

*Language Design and Programming Methodologies:*

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

*Program Analysis and Optimization:*

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

*Implementation Methodologies and Applications:*

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

*IMPORTANT DATES*

- Paper registration (regular papers): April 13, 2025

- Paper submission (regular papers): April 18, 2025

- Notification (regular papers): May 25, 2025

- Paper submission (TC papers, IJCAI Fast Track papers): June 15, 2025

- Revision submission (TPLP papers): June 15, 2025

- Final notification: July 6, 2025

- Final version: July 27, 2025

- Main conference: September 15-19, 2025

*TRACKS AND SPECIAL SESSIONS*

In addition to the main track, ICLP'25 will host:

- IJCAI Fast Track: The notification date for IJCAI'25 does not allow
authors of rejected papers to submit to ICLP'25. In coordination with the
IJCAI'25 program chairs, we have therefore instituted a process by which
authors can submit revised versions of such rejected papers directly to
ICLP'25. Authors must submit a cover letter explaining how they have
addressed the critical issues raised by IJCAI'25 reviewers before
submitting their revised paper to the IJCAI Fast Track of ICLP'25. The
submission will then enter the "revision" phase and be considered for
publication in TPLP.

- Recently Published Research Track: Detailed information will be announced
separately.

*AFFILIATED EVENTS*

- Workshops: September 12-14, 2025

- Autumn School in Computational Logic: September 12-14, 2025

- Doctoral Consortium: September 12-14, 2025

- Logic Programming Contest: September 16 or 17, 2025

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

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

*SUBMISSION DETAILS*

All submissions must be written in English. Papers accepted at ICLP may
appear either in

- The journal Theory and Practice of Logic Programming (TPLP) published
by Cambridge University Press. TPLP format is described at:
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/author-instructions/preparing-your-materials

- The ICLP 2025 Technical Communication Proceedings published by
Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS
format is described at: http://style.eptcs.org

Submissions may have one of two forms:

1) Regular papers and IJCAI Fast Track papers are at most 14 pages in TPLP
format, including references. Accepted regular and IJCAI Fast Track papers
will be published in a special issue of TPLP. IJCAI Fast Track papers must
be accompanied by a PDF cover letter detailing:

- The improvements made to the paper compared to the previous
(IJCAI'25) submission, including clarifications on any perceived errors in
the reviewers' assessments, if applicable

- The paper ID of the IJCAI'25 submission

- The authors listed on the IJCAI'25 submission

- The title of the IJCAI'25 submission

- The original PDF submitted to IJCAI'25

- The IJCAI'25 reviews, including scores and text evaluations

The authors of IJCAI Fast Track papers must explicitly give consent for
IJCAI'25 to share all submitted information with ICLP'25 to verify its
accuracy. ICLP'25 may summarily reject papers for several reasons,
including submissions that (a) are outside the thematic scope of ICLP, (b)
inaccurately disclosed required information, or (c) omitted original
authors without justification.

Regular papers that are not (provisionally) accepted for TPLP may be
invited to the Technical Communication Proceedings of ICLP'25. The authors
can choose to convert a regular paper accepted for the Technical
Communication Proceedings into an extended abstract (2 or 3 pages in EPTCS
format), which should allow for submitting a long paper version elsewhere.

2) Technical Communication (TC) papers are at most 12 pages in EPTCS
format, excluding references. Accepted TC papers will be published in the
Technical Communication Proceedings.

Submissions will be made via EasyChair, following the link
https://easychair.org/conferences/?conf=iclp25

All papers must describe original, previously unpublished research, and
must not simultaneously be submitted for publication elsewhere. These
restrictions do not apply to Recently Published Research Track submissions
as well as previously accepted workshop papers with a limited audience
and/or without archival proceedings.

All accepted papers will be presented during the conference. Authors of
accepted papers will be automatically included in the list of ALP members,
who will receive quarterly updates from the Logic Programming Newsletter at
no cost.

*VENUE*

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

*ORGANIZATION*

General Chair: Francesco Ricca

Program Co-chairs: Martin Gebser and Daniela Inclezan

Publicity Chairs: Manuel Borroto and Francesco Calimeri

Local Chairs: Antonio Ielo and Giuseppe Mazzotta

*PROGRAM COMMITTEE*

TBA

**********************************************************
*
* 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] Coming soon: Golumbic and Shamir talks -- 30th Anniversary of Graph Sandwich Problems:

Dear colleagues,

We are pleased to invite you to celebrate the 30th anniversary of the
publication of the seminal paper:

*M.C. Golumbic, H. Kaplan, R. Shamir, "Graph Sandwich Problems", Journal of
Algorithms 19 (1995) 449--473.*

with talks by Professors Martin Golumbic and Ron Shamir.

*Event information:*
Date: March 27, 2025
Time: 2:00 PM (GMT -3), São Paulo, Brazil

Link: https://meet.google.com/sur-pmun-evy

*Program Schedule*

*2:00 PM – Opening*

Prof. Simone Dantas (UFF)

*2:05 PM – Session Chair: *Prof. Celina de Figueiredo (COPPE-UFRJ)

*Talk:* *2025 Graph Sandwiches: A Test of Time Celebration*
*Speaker:* Prof. Martin Golumbic (University of Haifa)

*2:45 PM – Session Chair: *Prof. Telma Pará (FAETEC-RJ)

*Talk:* *Computational Biology and Graph Sandwich Problems*
*Speaker:* Prof. Ron Shamir (Tel Aviv University)

*3:15 PM – Closing*

Please share and participate!

Kind regards,

*Simone Dantas*
*Full Professor *
*Institute of Mathematics and Statistics*
*Fluminense Federal University*
http://lattes.cnpq.br/3864440795364252

**********************************************************
*
* 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] Vita Kreps International Student Prize in Game Theory

Dear Colleagues,

We're excited to announce the Vita Kreps International Prize in Game
Theory, recognizing outstanding student contributions to the field. If you
know talented undergraduate or graduate students who've made significant
mathematical or conceptual advances in game theory, encourage them to apply
or nominate them yourselves.

Key details:

---Submission Deadline: April 30

---Eligibility: Current undergraduate and graduate students worldwide

---Award Ceremony: June 24 at the Israeli Game Theory Conference in
Jerusalem

---More info & guidelines:
https://sites.google.com/view/themichaelbmaschlerprize/the-kreps-prize

Please help us spread the word within your networks!

Anna Bogomolnaia, Igal Milchtaich, Hervé Moulin, Fedor Sandomirskiy, Marco
Scarsini, Omer Tamuz, Nicolas Vieille

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