[DMANET] Call for Participation: CGWeek 2024, June 10-14, Athens

The Event

The Computational Geometry Week (CG Week) is the premier international forum for advances in computational geometry and its many applications.

CG Week combines a number of events, most notably the 40th International Symposium on Computational Geometry (SoCG 2024), the associated Media Exposition (CG:ME), the Young Researchers Forum (CG:YRF), the CG Challenge (CG:SHOP) and three workshops: the 3rd International Workshop on Uncertainty in Computational Geometry, the Workshop on Directional Transforms in Applied Topology, and the 8th Workshop on Geometry and Machine Learning.

CG Week 2024 will take place in Athens, Greece, June 10–14, 2024. Information on the venue can be found at https://socg24.athenarc.gr/practical.html.

On Monday, June 10, 2024, there will be the celebration of the 40th installment of SoCG and the welcome reception.

Registration

Registration is now open. Online registration (with lower fees) is available until June 05, 2024:

https://socg24.athenarc.gr/register.html

Details

For more information, please visit the website

https://socg24.athenarc.gr/

or contact the organizers at socg-24@athenarc.gr
**********************************************************
*
* 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] Fully funded PhD-TA position in Algorithms for Complex Networks at Eindhoven University of Technology, Netherlands

Fully funded PhD-TA position in Algorithms for Complex Networks at Eindhoven University of Technology, Netherlands.

Deadline: June 16, 2024

As a PhD TA candidate you will develop new distributed algorithms for large networks and analyze these algorithms using probability theory and the theory of random graphs. In particular, you will study algorithms for computing the stationary distribution of random walks and policy evaluation. Random walks are used in network analysis for ranking vertices, community detection, and embedding of the vertices in multi-dimensional space for machine learning tasks. Policy evaluation is widely used in reinforcement learning, for instance, for training large language models.

The PhD TA position is for 5 years with 25% of your time spent on education.

The applicants are required to have MSc in mathematics or applied mathematics.

Eindhoven University of Technology offers excellent conditions of employment:

* Full-time employment for five years, with an intermediate evaluation (go/no-go) after nine months. You will spend 25% of your employment on teaching tasks.
* Salary and benefits (such as a pension scheme, paid pregnancy and maternity leave, partially paid parental leave) in accordance with the Collective Labour Agreement for Dutch Universities, scale P (min. €2,770 max. €3,539).
* A year-end bonus of 8.3% and annual vacation pay of 8%.
* High-quality training programs and other support to grow into a self-aware, autonomous scientific researcher. At TU/e we challenge you to take charge of your own learning process.
* An excellent technical infrastructure, on-campus children's day care and sports facilities.
* An allowance for commuting, working from home and internet costs.
* A Staff Immigration Team and a tax compensation scheme (the 30% facility) for international candidates.

See more detail on the website:
https://jobs.tue.nl/en/vacancy/phd-ta-on-algorithms-for-complex-networks-1079006.html

Prof.dr. Nelly Litvak
Department of Mathematics and Computer Science
Eindhoven University of Technology

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

[DMANET] Final Joint Call for Participation for NLS 2024, SLSS 2024, GandALF 2024

Please distribute.

Call for Participation:
Fifth Nordic Logic Summer School (NLS 2024)
Twelfth Scandinavian Logic Symposium (SLSS 2024)
Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2024)

Reykjavik University, Iceland

Event Dates:
NLS 2024: 10-13/6
SLSS 2024: 14-16/6
GandALF 2024: 19-21/6

Early registration deadline: May 31, 2024

Website:
https://scool24.github.io/

The Nordic Logic Summer School (NLS) and Scandinavian Logic Symposium (SLSS) are, respectively, the Summer School and the Symposium organized by the Scandinavian Logic Society. GandALF is the International Symposium on Games, Automata, Logics, and Formal Verification. This year, all three events will take place this June 2024 in Reykjavik, Iceland. NLS will take place from June 10 to 13, SLSS from June 14 to 16, and GandALF from June 19 to 21.

The three events are part of SCooL 2024, the First Reykjavik Summer of Cool Logic. In total, SCooL includes five lectures and seven invited talks on logic, games, automata, and formal verification, twenty contributed talks on logic as part of SLSS, and ten contributed talks as part of GandALF (details below and at the website).

We hope you will join us for an exciting, logical summer in Iceland, with bright nights, brighter discussions, and volcanic eruptions.

Please note that the early registration deadline expires soon.


NLS 2024 Call for Participation:
The intended audience for NLS is advanced master students, PhD-students, postdocs, and experienced researchers wishing to learn the state of the art in a particular subject. As usual, this year, we have an exciting lineup of five lecturers on a wide spectrum of topics.

Lectures:

Miika Hannula:
     Model-theoretic perspectives on logics of dependence and independence

Sandra Kiefer:
     Learning Properties on Graphs and Other Relational Structures

Greg Restall:
     Proof Theory for Classical, Constructive, Substructural and Modal Logics

Jandson Ribeiro:
      Belief Change: Foundations and Frontiers

Rineke Verbrugge:
     From Epistemic Logic to Social Cognition


For updated information about the summer school and to register, please follow the link:
https://scool24.github.io/NLS/


SLSS 2024 Call for Participation:
The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world. The meeting will include three invited lectures and 21 contributed talks, covering a broad range of topics in logic.

Invited Talks

Fausto Barbero:
      Causal models and their generalizations

Sara Negri:
      Second order well-behaved

Aybüke Özgün:
Imagination, Mereotopology, and Topic Expansion


GandALF 2024 Call for Participation:
The aim of GandALF 2024 is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. This year, we have four exciting invited talks and ten contributed talks.

Invited Talks

Bernd Finkbeiner:
      Hyperproperties: the exciting world beyond k-hypersafety

Kim Guldstrand Larsen:
      Shielded Reinforcement Learning for Safe and Optimal Cyber Physical Systems

Brigitte Pientka:
     Mechanizing Session-Types: Challenges and Lessons Learned

Azalea Raad:
     Bug Detection at Scale



**********************************************************
*
* 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] ALGOWIN 2024 - 2nd CFP

ALGOWIN 2024

20th International Symposium on Algorithmics of Wireless Networks

September 5-6 2024,

Royal Holloway, University of London in Egham, UK (as part of ALGO 2024)

Conference webpage: https://algo-conference.org/2024/algowin/

EasyChair link: https://easychair.org/conferences/?conf=algowin2024

==============
Important Dates
==============
Full Paper Submission: June 7, 2024 (AoE)
Notification to authors: August 1, 2024
Camera-ready submission: August 30, 2024
Conference dates: September 5-6, 2024

===== Scope =====

The 20th International Symposium on Algorithmics of Wireless Networks
(ALGOWIN, previously known as ALGOSENSORS) is an international
symposium dedicated to the algorithmic aspects of wireless networks.
It covers algorithmic issues arising in wireless networks of all types
of computational entities, mobile or static, including sensor
networks, sensor-actuator networks, and autonomous robots and drones.
The focus is on the design and analysis of algorithms, models of
computation, graph and network algorithms, and experimental analysis.

ALGOWIN 2024 will be held at Royal Holloway, University of London in
Egham, United Kingdom. It will be part of ALGO 2024, which also hosts
ESA, IPEC, ATMOS, ALGOCLOUD, WABI, and WAOA.

=============
Call for Papers
=============
Original research contributions are solicited related to diverse
algorithmic aspects of sensor networks, wireless networks, broadly
construed, as well as distributed robotics, including the theoretical,
experimental and application perspectives.

Topics of interest include, but are not limited to:

- Ad Hoc Networks
- Autonomous Mobile Robots
- Communication Protocols
- Complexity and Computability
- Computational Models
- Data Aggregation and Fusion
- Distributed Aspects of Group Search
- Dynamic Networks,
- Temporal Graphs,
- Energy Management, Power Saving Schemes
- Fault Tolerance and Dependability
- Game Theoretic Aspects
- Infrastructure Discovery
- Internet of Things
- Localization
- Medium Access Control
- Mobility and Dynamics
- Obstacle Avoidance
- Pattern Formation
- Performance Evaluation, Experimental Analysis
- Population Protocols, Swarm Computing
- Resource Efficiency
- RFID Algorithms
- Routing and Data Propagation
- Self-stabilization, Self-* Properties
- Sensor Networks
- Systems and Testbeds
- Time Synchronization
- Topology Control
- Tracking
- Unmanned Autonomous Entities
- Virtual Infrastructures

===========
Committees
===========
Program Committee

- Quentin Bramas, University of Strasbourg, France (chair)
- Arnaud Casteigts, University of Geneva, Switzerland (chair)
- Kitty Meeks, University of Glasgow, Scotland (chair)

- Eleni C. Akrida, Durham University
- Petra Berenbrink, University of Hamburg
- Binh-Minh Bui-Xuan, LIP6 (CNRS - SU UPMC)
- Christelle Caillouet, Université Côté d'Azur
- Monika Csikos, IRIF Université Paris Cité
- Fabien Dufoulon, Lancaster University
- Thomas Erlebach, Durham University
- Paola Flocchini, University of Ottawa
- Francesca Fossati, Sorbonne University
- Jie Gao, Rutgers University
- Oana Iova, INSA Lyon- Sayaka Kamei, Hiroshima University
- Sayaka Kamei, Hiroshima University
- Ralf Klasing, CNRS and University of Bordeaux
- Danny Krizanc, Wesleyan University
- Pierre Leone, University of Geneva
- Andrea Marino, Universita degli studi di Firenze
- Hendrik Molter, Ben-Gurion University of the Negev
- Jason Schoeters, University of Cambridge
- Ana Silva, Universidade Federal do Ceara
- George Skretas, Hasso Plattner Institute, University of Potsdam
- Paul Spirakis, University of Liverpool
- Yuichi Sudo, Hosei University

Steering Committee

- Sotiris Nikoletseas, U. of Patras and CTI, Greece (Chair)
- Jie Gao, Rutgers University, USA
- Magnus M. Halldorsson, Reykjavik U., Iceland
- Bhaskar Krishnamachari, U. of Southern California, USA
- P.R. Kumar, Texas A&M U., USA
- Jose Rolim, U. of Geneva
- Christian Scheideler, Paderborn University, Germany
- Paul Spirakis, U. of Liverpool, UK

===========
Proceedings
===========
The conference proceedings will be published in the Springer "Lecture Notes
in Computer Science" series after the conference (expected October 2024).

===========
Special Issue
===========
Selected papers will be invited to a special issue of the Theoretical Computer Science journal.

================
Paper Submission
================
Papers are to be submitted electronically using the EasyChair server. The
submissions must contain original results that have not already been
published and are not concurrently submitted to a journal or conference
with published proceedings. By submitting a paper, the authors acknowledge
that in case of acceptance at least one of the authors will register for
ALGO/ALGOWIN 2024 and present the paper.

Submissions must be in the form of a single pdf file prepared using the
LNCS latex templates and style files (available, together with Springer's
authors' guidelines, from
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).
Springer's proceedings LaTeX templates are also available on Overleaf (
https://www.overleaf.com/latex/templates/springer-lecture-notes-in-computer-science/kzwwpvhwnvfj#.WsdHOy5uZpg
).

Each submission should consist of the main part of the paper, not exceeding
12 pages (including the title page and excluding the references), plus an
optional clearly marked appendix (to be read at the discretion of the
program committee). Any figure pertaining to the main part of the paper
should be included therein (within the 12 page limit). The first page must
include an indication of whether the paper is eligible for the best student
paper award. Submissions must be anonymous, without any author names,
affiliations, or email addresses.

======================================
Instructions for Double-Blind Review
======================================

The reviewing process is double-blind, the authors' names must not be
included in the paper, and the writing of the manuscript should be
done in such a way to not de-anonymize authors (e.g., instead of, our
result [1], they should use, the result of [1]). We assume that
reviewers do not actively try to recognize the authors. Therefore,
authors are allowed to publish their results on pre-print services
before or at any point of the submission/reviewing process.
Non-anonymous submissions will be rejected.

=======
Awards
=======
Awards will be given to the best paper and the best student paper. The
awards are kindly sponsored by Springer. To be eligible for the best
student paper award, at least one of the paper authors must be a full-time
student at the time of submission, and the student(s) must have made a
significant contribution to the paper. The program committee may decline to
make these awards or may split them.

**********************************************************
*
* 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 or Integrated MSc and PhD fellowship in Algorithms

*PhD or Integrated MSc and PhD fellowship in Algorithms*

The Department of Computer Science at the University of Copenhagen (DIKU)
invites applications for PhD or Integrated Master and PhD positions in
Algorithms, tentatively commencing 1 September 2024 (the starting date is
negotiable).

*Description of the scientific environment*

The PhD students will be part of a world-class research environment in
theoretical computer science with a strong presence at top-tier conferences
like STOC, FOCS, and SODA, and also with publications in premier AI
conferences like AAAI, IJCAI, and NeurIPS. We are home to the Basic
Algorithms Research Copenhagen (BARC) centre <https://barc.ku.dk/> (
barc.ku.dk) joint with the IT University of Copenhagen, and have extensive
collaborations with the Technical University of Denmark (DTU) and with Lund
University on the Swedish side of the Oresund Bridge, as well as with our
many visitors.

We aim to attract top talent to an ambitious, creative, collaborative, and
fun environment. Using the power of mathematics, we strive to create
fundamental breakthroughs in algorithms and complexity theory. While our
focus in on theoretical research, we do have a track record of surprising
algorithmic discoveries leading to major industrial applications.

The University of Copenhagen was founded in 1479 and is the oldest and
largest university in Denmark. It is often ranked as the best university in
Scandinavia and consistently as one of the top places in Europe. Within
computer science, it is ranked 2nd in the European Union (post-Brexit) by
ShanghaiRanking.

The PhD positions are for a period of 3-5 years, depending on the current
education level of the applicant. All our openings are for fully funded,
employed positions, that come with an internationally competitive salary
and include travel funding. The starting date is negotiable, but the
default would be August-September 2024.

The application deadline for all positions is July 15, 2024. For more
information about the postdoc positions see
https://employment.ku.dk/faculty/?show=161826. Inquiries about the
positions can be made to Mikkel Abrahamsen (miab@di.ku.dk), Rasmus Pagh (
pagh@di.ku.dk), or Mikkel Thorup (mthorup@di.ku.dk).

**********************************************************
*
* 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 TU Dresden, Germany

We are looking for a PhD candidate (E 13 TV-L, 75%) for our project "Optimal Planning of Modular Production Networks and Sites for a Sustainable Process Industry" which is funded by the German Research Foundation (DFG). The position is at the Junior Professorship of Management Science, Faculty of Business and Economics of TU Dresden. The application deadline is June 11th, 2024.

Tasks:
- Development of mathematical optimization models and/or exact and heuristic solution procedures
- Application to problem settings in the context of modular production networks in the process industry
- Communication of research results at international conferences
- Preparation of scientific publications for peer-reviewed journals
- Support of project administration and the possibility to participate in teaching related to the project

Requirements:
- Excellent academic degree (Master's or equivalent) in the fields of Business Administration, Industrial Engineering, Computer Science, Mathematics, or similar
- Interest in engaging with research questions of Management Science and Operations Research within the framework of the project
- Experience in the development and implementation of mathematical optimization models from Bachelor and Master courses
- Skills in at least one programming language (e.g., Python, C, C++)
- Very good English skills and strong communication abilities

You can find the full job posting, including information on how to apply, under the following link:
https://www.verw.tu-dresden.de/StellAus/download.asp?file=06-2024%5CBecker_WIMI_050424_w24-137_w1.pdf

For further information, please contact Tristan Becker (msci@tu-dresden.de).
**********************************************************
*
* 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] ICSC CFP (Hybrid Conference Co-Sponsored by IEEE ): The Fourth Intelligent Cybersecurity Conference, 17–20 September, 2024 | Valencia, Spain.

[Apologies if you got multiple copies of this invitation]

The Fourth Intelligent Cybersecurity Conference (ICSC2024)

Hybrid Event

https://www.icsc-conference.org/2024/

17–20 September, 2024 | Valencia, Spain.

Technically Co-Sponsored by IEEE Spain Section

*ICSC 2024 CFP:*

In today's world, connected systems, social networks, and mobile
communications create a massive flow of data, which is prone to
cyberattacks. This needs fast and accurate detection of cyber-attacks.
Intelligent systems and Data analytics are important components when issues
pertaining to effective security solutions become the subject of
discussion. This is because there is an impending need for high volume and
high velocity data from different sources to detect anomalies as soon as
they are discovered. This will help reduce significantly the vulnerability
of the systems as well as improve their resilience to cyber Attacks. The
capability to process large volumes of information at real time through
utilization of tools for data analytics has many advantages vital for
analysis of cybersecurity systems. Moreover, the data collected from
sophisticated intelligent systems, cloud systems, networks, sensors,
computers, intrusion detection systems could be used to identify vital
information. This information could be used to detect how vulnerable the
systems are to risk factors, and so effective cyber security solutions can
be developed. In addition to that, the utilization of data analytics tools
in the cybersecurity field gives new insights through considering factors
such as zero-day attack detection, real time analysis, resource constrained
data processing among others.

The Intelligent Cybersecurity Conference (ICSC) addresses the use of
advanced intelligent systems in providing cybersecurity solutions in many
fields, and the challenges, approaches, and future directions. We invite
the submission of original papers on all topics related to Intelligent
Systems for Cybersecurity, with special interest in but not limited to:

- Intelligent systems for effective detection of cyber-attacks
- Advanced Intelligent systems and data analytics for Cloud/Edge systems
security
- Malware detection using intelligent systems Vulnerability assessment
- Intelligent systems for intrusion detection in Internet of Things
(IoT) systems
- Network forensics using intelligent systems and data analytics
- Data Analytics for privacy-by-design in smart health
- Datasets, benchmarks, and open-source packages
- Recourse efficient deep learning
- Adversarial Machine learning and Backdoor Attacks
- Blockchain Systems for Cyber Security
- Trustworthy AI Systems
- Intelligent Systems for Misinformation Detection

*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 ICSC Proceeding, and be
published by the IEEE Computer Society Conference Publishing Services and
be submitted to IEEE Xplore for inclusion.

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

*Important Dates:*

- *Paper submission deadline: June 15, 2024 (Extended) *
- Notification of acceptance: July 25, 2024
- Camera-ready Submission: August 5, 2024

*Contact:*

Please send any inquiry on ICSC to: <emergingtechnetwork@gmail.com>
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] *Deadline extension* Call for papers: special issue of Discrete Applied Mathematics (LAGOS 2023).

--- Due to several extension requests, the deadline has been updated to
June 30, 2024 ---

*** Call for Papers ***
Discrete Applied Mathematics
Special Issue: XII Latin-American Algorithms, Graphs, and Optimization
Symposium (LAGOS 2023)

Following the tradition of the Latin–American Algorithms, Graphs, and
Optimization Symposia (LAGOS), a special issue of Discrete Applied
Mathematics will be dedicated to LAGOS 2023, which took place in Huatulco,
Mexico, on September 18-22, 2023 (
https://www.matem-juriquilla.unam.mx/XII-Symposium-LAGOS-2023 ). All
interested researchers are invited to contribute to this special issue.

--- Manuscript submission information:

The topics should relate to the themes of the conference:

* Algorithms and Complexity: algorithms and computational complexity;
approximation algorithms; randomized algorithms; parameterized complexity.

* Operations Research and Mathematical Programming: combinatorial
optimization; integer programming; operations research; management science.

* Graph Theory: structural graph theory; graph algorithms; extremal graph
theory; spectral graph theory; probabilistic graph theory.

* Combinatorial Geometry: discrete geometry; convex geometry; polyhedral
combinatorics; computational geometry.

* Applications to real-world problems: mathematical programming,
combinatorial optimization, continuous optimization, heuristics, and
metaheuristics.

Submissions of contributions not presented at the symposium are also
welcome. If your contribution was presented at the symposium, the full
version article should differ substantially from the extended abstract
published in Procedia Computer Science (e.g., proofs of the results,
further results, etc., can be added). All articles will be thoroughly
refereed according to the high standards of Discrete Applied Mathematics.

The guide for authors can be found at:
https://www.elsevier.com/journals/discrete-applied-mathematics/0166-218x/guide-for-authors
.

Full papers must be submitted through the Elsevier Editorial Manager
System. Please see the Author Instructions on the Journal website if you
have not yet submitted a paper through this web based system. When
submitting your paper, be sure to specify that the paper is a contribution
for the special issue by selecting the article type LAGOS 2023.

*** Please note that it is expected that the Elsevier Editorial Manager
System will be ready to accept submissions to this special issue around
mid-December 2023 ***

DEADLINE: The deadline for submissions is June 30, 2024.

Accepted papers will be published online individually, before print
publication.

We are looking forward to receiving your contribution.

Guest editors:

Adriana Hansberg, Universidad Nacional Autónoma de México, Unidad
Juriquilla, Mexico
Amanda Montejano, Universidad Nacional Autónoma de México, Unidad
Juriquilla, Mexico
Jorge Ramírez-Alfonsín, Université de Montpellier, France
Gelasio Salazar, Universidad Autónoma de San Luis Potosí, Mexico
Maya Stein, Universidad de Chile, Chile

**********************************************************
*
* 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] 3-year PhD position in graph theory at Paderborn University

The Discrete Mathematics/Graph Theory group at Paderborn University has an opening for a three-year PhD position.

See https://www.uni-paderborn.de/fileadmin/zv/4-4/stellenangebote/Kennziffer6483_-_Englisch.pdf for details.

Best,

Eckhard Steffen
————————
Paderborn University
Department of Mathematics
Discrete Mathematics/Graph Theory
Warburger Strasse 100
33098 Paderborn, Germany
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Final call - PDADS 2024: The Fourth International Workshop on Parallel and Distributed Algorithms for Decision Sciences

Apologies if you received this email multiple times.

===============
CALL FOR PAPERS
===============
The Fourth International Workshop on Parallel and Distributed Algorithms for Decision Sciences (PDADS-2024)
Date: August 12, 2024
Location: Gotland, Sweden
URL: https://www.csm.ornl.gov/workshops/PDADS2024/index.html

PDADS will be co-hosted with the 53rd International Conference on Parallel Processing (ICPP 2024), August 12 - 15, 2024.

===============
IMPORTANT DATES
===============
* Full Paper Submission Deadline: June 2, 2024
* Author Notification: June 16, 2024
* Camera-Ready Copy: June 26, 2024
* Workshop: August 12, 2024

=================================================
TOPICS OF INTEREST & PAPER SUBMISSION INFORMATION
=================================================
PDADS 2024 will focus on R&D efforts in cross-cutting areas at the intersection of algorithms research, computational sciences, decision sciences and optimization. The workshop will discuss latest trends and identify technology gaps in high-performance decision sciences and combinatorial optimization technologies for extant and next-generation scientific, engineering and other applications. The workshop adopts an inclusive definition of the sciences that includes the social sciences, behavioral sciences or others.

Both regular papers as well as short position papers describing work-in-progress with innovative ideas related to the workshop topics are being solicited. Accepted papers will be published by the ACM International Conference Proceedings Series (ICPS), in conjunction with those of other ICPP workshops, in a volume entitled 53rd International Conference on Parallel Processing Workshops (ICPP 2024 Workshops). This volume will be available for download via the ACM Digital Library. For paper submission guidelines, visit: https://www.csm.ornl.gov/workshops/PDADS2024/submission.html.

Topics of interest include, but are not limited to:

* Novel AI applications for systems and decision sciences on parallel computing systems.
* Deep learning solutions to optimization problems, such as reinforcement learning for control, combinatorial optimization, and decision making.
* Generative AI approaches to scenario analysis for decision-making support
* Scalable data driven decision-making methods and algorithms powered by machine learning.
* Deep learning model deployment and performance evaluation in decision support environments.
* Decision support foundation models that leverage large language models (LLMs) or are trained from scratch.
* Optimization techniques in machine learning, such as high-performance first and higher order iterative optimization algorithms for minimizing loss and optimizing weight and bias tensors.
* Application-centric manuscripts involving optimizations for decision-making capabilities in systems such as logistics, transportation and urban planning, public health, manufacturing, energy (e.g., electric grids), digital twin systems (e.g., precision agriculture, smart cities, earth systems) operations management, finance and other areas are especially encouraged.
* High-performance algorithms for integer/mixed-integer programming, linear/nonlinear programming, stochastic programming, robust optimization, combinatorial optimization, feasibility problems (SAT, CP, etc.).
* High-performance heuristic and meta-heuristic algorithms.
* High-performance local and complete search methods.
* Learning approaches for optimization in parallel and distributed environments.
* Parallel and distributed approaches for parameter tuning, simulation-based optimization, and black box optimization.
* Parallel algorithm portfolios.
* Quantum optimization algorithms.
* Use of randomization techniques for scalable decision support systems.
* Application of decision support systems on novel computing platforms (shared/distributed memory, edge devices, cloud platforms, field programable gate arrays, GPU, TPU, quantum computers, etc.).
* Use of parallel and distributed computing for timely and/or higher quality decision support.
* Theoretical analysis of convergence and/or complexity of parallel optimization algorithms and decision support systems.
* High-performance deep learning solutions that harness various parallelisms in deep learning computing for scalable acceleration on GPU/TPU.

For additional queries, email: Sudip Seal <sealsk[at]ornl[dot]gov> or Yan Liu <yanliu[at]ornl[dot]gov>
======================================================================================================

**********************************************************
*
* 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] DSN 2024 Brisbane, Australia -- Call for participation

*******************************************
DSN 2024 Brisbane, Australia -- Call for participation
********************************************

The 54th Annual IEEE/IFIP International Conference
on Dependable Systems and Networks

Brisbane, Australia
June 24-27, 2024

https://dsn2024uq.github.io
---------------------------

On behalf of the Organizing Committee, we extend you
a warm welcome to the 54th Annual IEEE/IFIP
International Conference on Dependable Systems
and Networks (DSN 2024), organised by The University
of Queensland, Australia.

Over the years DSN has become a forum to present
the best world research in the fusion between
dependability and security research, understanding
the need to simultaneously fight against accidental
faults, intentional cyber-attacks, design errors,
and unexpected operating conditions.

We are looking forward to a great conference filled
with ideas from industry and academia.

********************************************
REGISTRATION
********************************************

Registration is open. Please visit this link:
https://dsn2024uq.github.io/registration.html

********************************************
VENUE
********************************************

DSN 2024 will be held in Brisbane, Queensland, Australia from 24 to 27 June 2024.
Brisbane, the capital city of the beautiful state of Queensland.
Brisbane is also a gateway to some of Australia's most renowned attractions.
Just a short drive away, you'll discover the breathtaking beauty of the
Gold Coast's golden beaches, or you can venture to the north to
explore the wonders of the Sunshine Coast.

********************************************
Events
********************************************
Events include;
- Research Track, Industry Track, Workshops, Doctoral Forum,
Posters, Artifacts, Tutorials and Disrupts.
- DSN 2024 Mentoring: https://dsn2024uq.github.io/mentoring.html
- Awards
- Banquet, etc.

Organizing Committee:
https://dsn2024uq.github.io/orgcomm.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] postdoc @ King's College London -- deadline approaching

## Postdoc position in Theoretical CS @ King's College London

A postdoctoral research position in theoretical computer science is
available at King's College London. The successful candidate will be
hosted by Hubie Chen and will be expected to work on topics related to the
themes of complexity, database theory, structural decomposition methods,
and logic. Research interest and experience in the following areas will be
valued: logic in computer science, database theory, finite model theory,
structural decomposition methods, term rewriting, and parameterized
complexity theory.

Key dates: the application deadline is June 6, 2024; it is hoped that the
successful applicant will start in or around October 2024, but there is
some flexibility concerning the start date. If the position is started in
October 2024, it can be held for 1.5+ years. The exact starting date and
duration can be set in a way that takes into account the successful
candidate's needs and schedule.

Informal enquiries and discussion are strongly encouraged prior to
application (e-mail contact: hubie.chen@kcl.ac.uk; please send a CV when
initiating correspondence). To apply, please see:

https://www.kcl.ac.uk/jobs/088046-post-doctoral-research-associate

**********************************************************
*
* 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 Participation: PODC/SPAA EMERALD workshop

*---------------------------------------------EMERALD*: Distributed
Computing with Emerging Hardware Technology
*June 21, 2024, Nantes, France*

Collocated with PODC and SPAA 2024

https://emerald-workshop.github.io/
------------------------------------------------------------
-----------------------------------
EMERALD aims at investigating how the utilization of future and emerging
hardware technology can influence (or add to) the foundations of concurrent
and distributed computing. The workshop hosts a series of invited talks
which will contribute to the better understanding of how such technology
could change what we know about concurrent and distributed algorithms and
models. The emphasis is on persistent memory computing, NUMA-aware
computing, distributed computing in systems with Remote Direct Memory
Accesses (RDMA), distributed and concurrent computing on top of
heterogeneous hardware, processing in memory (PIM), near-memory processing
(NMP), disaggregated/composable systems, and other topics.

EMERALD is proud to announce the *current list of speakers*:
1. *Naama Ben David*, Technion, Israel
2. *Gregory Chockler*, University of Surrey, UK
3. *Denisa-Andreea Constantinescu*, EPFL, Switzerland
4. *Panagiota Fatourou*, University of Crete and FORTH, Greece
5. *Wojciech Golab*, University of Waterloo, Canada
6. *Jim Larus*, EPFL, Switzerland
7. *Roberto Palmieri*, Lehigh University, US
8. *Joao Pedro Barreto*, University of Lisbon and INESC-ID, Portugal
9. *Erez Petrank*, Technion, Israel
10. *Paolo Romano*, University of Lisbon and INESC-ID, Portugal
11. *Eric Ruppert*, York University, Canada
12. *Samuel Thomas*, Brown University, US
13. *Gala Yadgar*, Technion, Israel

Through the collection of invited talks, EMERALD aspires to reveal
realistic and practical aspects that can positively influence theory
research, in whatever regards the choice of the problems to work on, the
right level of abstraction to study them, how to come up with realistic
models for computation, how to efficiently support additional desirable
features (persistence, NUMA-awareness, architecture-specific design) when
designing concurrent and distributed algorithms, while maintaining or
improving their performance characteristics, etc.

EMERALD is a full-day event. In addition to hosting lectures, it features
an open discussion session aiming at highlighting important problems in the
area for future research.

*Organizers*
1. *Iris Bahar*, Colorado School of Mines, USA, ribahar@mines.edu
2. *Panagiota Fatourou*, University of Crete and FORTH, Greece,
faturu@csd.uoc.gr
3. *Maurice Herlihy*, Brown University, USA, mph@cs.brown.edu
4. *Joao Pedro Barreto*, University of Lisbon and INESC-ID, Portugal,
joao.barreto@tecnico.ulisboa.pt
5. *Erez Petrank*, Technion, Israel, erez@cs.technion.ac.il

--
Regards,
Vitaly Aksenov on behalf of Panagiota Fatourou

**********************************************************
*
* 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] WAIFI 2024 - 3 days to REGISTER!

Dear colleagues,

(apologies for multiple postings)

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

The "International Workshop on the Arithmetic of Finite Fields (WAIFI) 2024", will be held in Ottawa, Canada, June 10-12, 2024.

Due to numerous requests, the DEADLINE for REGISTRATION has been extended to this Thursday May 30, 2024, at 23:59 AoE.
WAIFI 2024 registration page: https://payments.carleton.ca/math/2024-international-workshop-on-the-arithmetic-of-finite-fields-waifi-2024/
Please note that there will be NO OTHER EXTENSION.

The PROGRAM is now available on the workshop website http://www.waifi.org <http://www.waifi.org/>.

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

Kind regards,

José L. Imaña
Complutense University, Madrid, Spain
**********************************************************
*
* 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] IPEC 2024: 2nd call for Papers

The International Symposium on Parameterized and Exact Computation
(IPEC) is an annual conference covering all aspects of parameterized and
exact algorithms and complexity. Its 19th edition will be part of ALGO
2024, which also hosts ESA 2024 and other specialized conferences and
workshops.

IPEC 2024 invites papers presenting original research in the area of
parameterized and exact algorithms and complexity. Topics include but
are not limited to the following:
- new techniques for the design and analysis of parameterized and exact
algorithms;
- fixed-parameter tractability and kernelization results;
- parameterized complexity theory;
- parameterized (in)approximability results;
- relationships between parameterized complexity and traditional
complexity classifications;
- applications of parameterized and exact computation;
- engineering and experimentation of exact, parameterized, and
kernelization algorithms.

We plan to have an invited talk by (one of) the 2024 EATCS-IPEC Nerode
Prize winner(s),
and a tutorial on first-order model checking given by Szymon Toruńczyk.
In addition, IPEC also hosts the presentation of the results from PACE
2024 (the Parameterized Algorithms and Computational
Experiments Challenge). This year, the focus of PACE is the one-sided
crossing minimization problem. For more details on the PACE challenge,
see their website: https://pacechallenge.org/2024/

TIME AND PLACE

IPEC 2024 will take place September 4--6 in Royal Holloway, UK
It is part of ALGO 2024, which runs September 2--6.

IMPORTANT DATES

June 26 (23:59 AoE): Abstract submission (paper registration)
June 30 (23:59 AoE): Submission deadline
Notification: August 5

SUBMISSION GUIDELINES

As previous recent years, IPEC is using a lightweight double-blind model
for the reviewing process.
For more details on the format and submission link, see the conference
website.

COMMITTEE

Édouard Bonnet (co-chair)
Nick Brettell
David Eppstein
Piotr Faliszewski
Andreas Emil Feldmann
Jacob Focke
Panos Giannopoulos
Petr Hliněný
Lars Jaffke
Petteri Kaski
Eunjung Kim
Tuukka Korhonen
Stephan Kreutzer
Paloma T. Lima
Karolina Okrasa
Anthony Perez
Paweł Rzążewski (co-chair)
Ignasi Sau
Darren Strash
Ryan Williams

WEBSITE

For more details, see the conference website at
https://algo-conference.org/2024/ipec/ or contact the conference chairs.

**********************************************************
*
* 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] DMD 2024: Early registration deadline approaching

Dear colleagues,

This is a reminder that the deadline for early registration to the Discrete Math Days (July 3-5, Alcalá de Henares, Spain) is in a few days, on May 31, and that the registration fees will increase after that.

If you have not registered yet, you can do so following the instructions in https://dmd2024.web.uah.es/registration.html

The organizing committee.

PS: Apologies for multiple posting. If you have any comment, please write to dmd2024@uah.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] Call For Presentations HIGHLIGHTS 2024: Deadline 17 June

HIGHLIGHTS'24, Jewels of Automata Theory '24, (Bordeaux, France, 16-20
September 2024) and HCRW (21-27 September)

*HIGHLIGHTS'24* and *Jewels of Automata Theory '24* are jointly scheduled *from
September 16 to September 20, 2024* at the *University of Bordeaux, France*,
in *LaBRI*. They will be followed by the *Highlights Collaborative Research
Week (HCRW)*, from *September 21 to 27, 2024*.

*HIGHLIGHTS'24* is the twelfth in the series of international conferences
"Highlights of Logic, Games and Automata", aiming at integrating the
community working in algorithmic model theory, automata theory, databases,
games for logic and verification, logic and verification. Papers from these
areas are dispersed across many conferences, which makes them difficult to
follow. A visit to the HIGHLIGHTS conference should offer a wide picture of
the latest research in the field and a chance to meet everybody in the
community, not just those who happen to publish in one particular
proceedings volume. There are no publications.

Jewels of Automata Theory 2024 will survey a wide picture of research in
automata theory and related mathematical fields. It will consist of invited
lectures which describe significant progress over the past years, and will
be a meeting point for both young and senior researchers to learn and to
discuss about automata theory, its connections with mathematics and its
applications.

*HIGHLIGHTS'24* key features:

- HIGHLIGHTS is a conference without publications, where speakers give
short presentations of their best work.
- The 2024 edition is colocated with Jewels of Automata Theory a
conference featuring invited talks on mathematical aspects of automata
theory.
- A chat of the conference is available during the event, and throughout
the year.
- There is an early round of submissions and notifications to help with
travel planning.
- The *Highlights' Collaborative Research Week* (*HCRW*) offers means
for research collaborations/discussions between participants. HCRW is
scheduled after the conference.
- The *Highlights Extended Stay Support Scheme* (*HESSS*) helps
participants find collaborators and organise visits in the vicinity of
HIGHLIGHTS.
- Highlights has now an environmental chair, Antoine Amarilli, in charge
of assessing the carbon footprint of the event.

We encourage you to attend and present your best work - be it already
published or not - at *HIGHLIGHTS'24*.
SCOPE

Representative areas include, but are not restricted to:

- Algebraic models of computation
- Algorithmic model theory
- Automata theory
- Databases
- Games for logic and verification
- Logic
- Verification

IMPORTANT DATES AND INFORMATION

- Registration to the chat of the conference at
https://highlights-conference.org/2024/zulip (no need if you did it last
year)
- HIGHLIGHTS'24 webpage: https://highlights-conference.org/2024/
- Jewels of Automata Theory'24 webpage:
https://highlights-conference.org/2024/jewels
- HCRW page: https://highlights-conference.org/2024/hcrw
- HESSS page: https://highlights-conference.org/2024/hesss
- Submission page:
https://openreview.net/group?id=highlights-conference.org/Highlights/2024/Conference
- Registration page: TBA
- Early submission deadline: April 15, 2024
- Regular submission deadline: June 17, 2024
- Regular notification: June 28, 2024
- Conference: September 16-20, 2024.
- *Highlights' Collaborative Research Weak* (*HCRW*): September 21 - 27,
2024.

MODALITIES OF ATTENDANCE

*HIGHLIGHTS'24* is an event that will take place on-site (barring
unforeseen circumstances), and the preferred form of participation is in
person. Remote attendance via a video stream will also be offered, but with
limited possible interactions for these participants.

Submission to Highlights'24 is open to everyone, and attendance to the
conference is not a requirement. The selection procedure will not take into
account in-person attendance. Authors who do not intend to attend
Highlights'24 in-person must commit to this choice when submitting their
talk proposal. If accepted, authors of such talk proposals will have the
opportunity to share a prerecorded video of their talk, which will be made
available on the conference website.

Before coming from far away, please review how your trip and international
flights are contributing to climate change. We encourage you to take the
train as much as possible, possibly taking the opportunity for visiting
colleagues on the way and thus decomposing the travel into smaller pieces.

More generally, we encourage you to make the most of your stay. This means
extending your journey to the previous and/or following weeks for more
scientific activities in Bordeaux and around. Several initiatives are here
to help you in this task:

- You can participate in the *Highlights' Collaborative Research
Week* (*HCRW
<https://highlights-conference.org/2024/hcrw>, September 21-27*) in the
week after HIGHLIGHTS, in Bordeaux.
- You can use the *Highlights Extended Stay Support Scheme* (*HESSS
<https://highlights-conference.org/2024/hesss>*) for finding
collaborators and organising visits.

SUBMISSIONS AND GUIDELINES

Submissions should take the form of a short abstract describing the content
of the presentation and its interest. It should serve as a proposal for a
presentation. Hence, submissions should have a single author — the speaker.
They can concern any recently published, to be published, or ongoing work
of the speaker. We expect you to present your favourite result of the year,
so there should be at most one submission per speaker. The abstract should
list co-authors, if any. Optionally, an extended abstract of up to two
pages may be attached as a PDF file.

We encourage both young and senior researchers to present.

The *submission deadline is Monday, June 17*, with a *notification by June
28*.

Submissions will not lead to publications. There are no formal proceedings
and we encourage the presentation of work published or presented elsewhere.

The talk (which is short, around 10 minutes) can be doubled with a poster.
Further information about poster submissions will be provided.

*Submission page:*
https://openreview.net/group?id=highlights-conference.org/Highlights/2024/Conference

(Note that it is required to have an account with openreview.net to submit
an abstract.)
HIGHLIGHTS' COLLABORATIVE RESEARCH WEEK (HCRW)

*HIGHLIGHTS'24* will be followed by the *Highlights' Collaborative Research
Week* (*HCRW*), *from September 21 to 27 (including the weekend) at the
University of Bordeaux*.

Participants to HCRW are free to organise any scientific activity they
wish. Possibilities can be to

- meet someone in particular and work together,
- organise or attend a seminar/workshop/reading group,
- gather for solving open problems,
- solicit, offer and participate in a lecture.
Working spaces will be provided on site for these activities to take
place.

We encourage participants to offer activities in advance.

- HCRW webpage: https://highlights-conference.org/2024/hcrw
- If you intend to participate to HCRW, post it on the zulip stream.
- To offer or suggest activities, send your proposals to Théo Matricon:
theomatricon[at]gmail[dot]com

HIGHLIGHTS EXTENDED STAY SUPPORT SCHEME (HESSS)

The *HESSS* is an incentive for collaborations between participants of the
conference and researchers working in research groups reachable by train
from the conference location. The objective is to foster interactions with
low carbon footprint. The mechanism is as follows:

- Research groups willing to participate in the scheme are listed on the
webpage: https://highlights-conference.org/2024/hesss. These groups are
offering to fund collaborations between HIGHLIGHTS participants and their
members.
- The pair of a HIGHLIGHTS participant and a member of a listed research
group submit a proposal, which takes the form of an email containing names,
period of collaboration, and a sentence describing the planned activity. It
has to be sent to the *HESSS* contact person of the research unit
(better through zulip).
- The decision of acceptance is up to the research group. In particular,
it may be subject to scientific scope, number of requests, or e.g.,
favouring distant participants.
- The only strict rule is that the visit should be around HIGHLIGHTS,
and no airplane should be taken by the visitor to travel from HIGHLIGHTS to
the visit location.

INVITED TALKS Joint invited speaker

- Mikołaj Bojańczyk (University of Warsaw, Poland)

HIGHLIGHTS'24:

- Albert Atserias (Technical University of Catalonia, Spain)
- Pablo Barcelo (Universidad Católica de Chile)
- Laure Daviaud (University of East Anglia, UK)
- TBA

Jewels of Automata Theory'24

- Nathanaël Fijalkow (University of Bordeaux, France)
- Artur Jeż (University of Wrocław, Poland)
- Jarkko Kari (University of Turku, Finland)
- Barbara König (University Duisburg-Essen, Germany)
- Jérôme Leroux (University of Bordeaux, France)
- Anca Muscholl (University of Bordeaux, France)
- Karin Quaas (University of Leipzig, Germany)
- Daniel Smertnig (University of Ljubljana, Slovenia)
- Tatiana Starikovskaya (ENS Paris, France)
- Wolfgang Thomas (University of Aachen, Germany)
- Marc Zeitoun (University of Bordeaux, France)
- Georg Zetzsche (MPI-SWS Kaiserslautern, Germany)

COMMITTEES PROGRAM COMMITTEE HIGHLIGHTS'24

- C. Aiswarya (Chennai Mathematical Institute, India)
- Shaull Almagor (Technion, Israel)
- Christel Baier (TU Dresden, Germany)
- Azadeh Farzan (Univ. of Toronto, Canada)
- Sam van Gool (IRIF, France)
- Ichiro Hasuo (National Institute of Informatics, Japan)
- Bartek Klin (Univ. of Oxford, UK; chair)
- Barbara König (Univ. of Duisburg-Essen, Germany)
- Karoliina Lehtinen (LIS, Aix-Marseille Univ., France)
- Anthony Widjaja Lin (TU Kaiserslautern, Germany)
- Anca Muscholl (LaBRI, Univ. Bordeaux, France)
- Ana Sokolova (Univ. of Salzburg, Austria)
- Szymon Toruńczyk (Univ. of Warsaw, Poland)
- Sophie Pinchinat (IRISA Rennes, France)

ORGANISING COMMITTEE

- Sylvain Lombardy
- Corto Mascle
- Théo Matricon
- Rémi Morvan
- Vincent Penelle
- Pierre Vandenhove

SAFETOC COUNSELOR

- Rémi Morvan

STEERING COMMITTEE

- Antoine Amarilli (environmental chair)
- León Bohn (webmaster)
- Antonio Casares (publicity chair)
- Supratik Chakraborty
- Thomas Colcombet (chair)
- Sławek Lasota
- Sophie Tison

PROGRAM COMMITTEE Jewels of Automata Theory'24

- Manfred Droste(chair)
- Jorge Almeida
- Patricia Bouyer
- Véronique Bruyère
- Thomas Colcombet
- Laurent Doyen
- Dora Giammarresi
- Juhani Karhumäki
- Bartek Klin
- Markus Lohrey
- Sylvain Lombardy
- Damian Niwiński
- Jacques Sakarovitch
- Sylvain Schmitz
- Marinella Sciortino
- Jeffrey Shallit
- Alexandra Silva
- Benjamin Steinberg

**********************************************************
*
* 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] Sensing and Data Platforms: what is ahead of us (Special Session 11), IEEE MetroAgriFor Workshop

[Apologies if you receive multiple copies of this message]

Dear Researchers/Authors,
You are invited to submit your high-quality research findings to the
Special Session 11: "Sensing and Data Platforms: what is ahead of us" of
the 2024 IEEE International Workshop on Metrology for Agriculture and
Forestry (MetroAgriFor).

October 29-31, 2024 - Padua, Italy

Website: https://www.metroagrifor.org/special-session-11

Aims and Scope
The role of sensing, including in-situ, proximity and remote, is increasingly crucial for agriculture and forestry.
Huge investments have been made in this field - consider for instance satellite constellations for remote sensing, the thriving UAV sector, and the dawning sector of terrestrial rovers - and benefits are evident in several application areas.
The other side of the coin is represented by the data platforms used to collect, store, and process the huge amount of data coming from sensing platforms.
Such data platforms should, among others, provide interoperable data through open interfaces (APIs) to different classes of users, but such functionality has not yet reached its full potential.

In Europe, there have been several recent initiatives focused on enhancing data sharing and processing.
One key effort is the European Strategy for Data, which introduces the concept of a Common European Data Space and includes actions to deploy Agriculture and Green Deal sectorial data spaces.
Additionally, the Horizon Europe framework is providing funding for the establishment of European Partnerships that bring together the European Commission with private and/or public partners to address pressing challenges through collaborative research and innovation projects.
One such partnership, the European Partnership for Agriculture of Data, aims to support sustainable agriculture in the EU and improve policy monitoring and implementation by leveraging digital and data technologies for environmental observation.

The goal of this special session is to investigate the potential and the challenges of both sensing and data platforms, looking to future developments, and also considering economic and legal aspects to be carefully taken into consideration.

Contributions are expected to contribute to, but are not limited to, the following topics:

- sensing systems, both local and remote, and recent developments;
- state of the art of data platforms linked to sensing systems, standards, interoperability enablers, and sustainability of their business model;
- GEOSS Data Sharing and Management Principles, FAIR principles, and other interoperable solutions with the potential to further push the use of sensing data;
- economic and legal aspects that can fuel or limit the use of such systems.

Important dates
- Extended Abstract Submission: June 10, 2024
- Extended Abstract Notification: September 1, 2024
- Final Paper Submission: September 20, 2024

Submission Instruction
Authors should prepare an Extended Abstract (4-5 pages) that clearly
indicates the originality of the contribution and the relevance of the
work. The Extended Abstract should include the title of the paper, names
and affiliations of the authors, an abstract, keywords, an introduction
describing the nature of the problem and the state of the art in the field
of interest, a description of the contribution, the results achieved and
their applicability, conclusions, and references.
When the review process has been completed, authors receive a notification
of either acceptance or rejection of the submission. If the paper has been
accepted, the authors can prepare a final paper that incorporates the
reviewers' suggestions.
The format for the final paper is identical to the format for the extended
abstract except for the number of pages: the full paper has a required
minimum length of five (5) pages and a maximum of six (6) pages.

Special Session Organizers
- Manlio Bacco
Institute of Information Science and Technologies (ISTI), CNR, Italy
manlio.bacco@isti.cnr.it

- Federico Coro'
University of Perugia, Italy
federico.coro@unipg.it

- Paolo Mazzetti
Institute of Atmospheric Pollution Research - National Research Council, Italy
paolo.mazzetti@cnr.it

- Lorenzo Palazzetti
University of Perugia, Italy
lorenzo.palazzetti@unifi.it

- Cristina Domingo-Marimon
CREAF, Spain
cristina.domingo@uab.cat

- Margherita Di Leo
Arcadia SIT
Margherita.DI-LEO@ext.ec.europa.eu

Thank you for your consideration.

**********************************************************
*
* 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: Deadline Is Approaching (June 1st)] 1st IEEE LCN Special Track on Algorithmic Solutions for Drone- and Robot-based Networks (ASDRoNet) 2024

[Apologies if you receive multiple copies of this message]



**CALL FOR PAPERS**



Dear Researchers/Authors,



You are invited to submit your high-quality research findings to the 1st IEEE LCN Special Track on Algorithmic Solutions for Drone- and Robot-based Networks (ASDRoNet) 2024


Date: October 8-10, 2024


Location: Caen, Normandy, France

ASDRoNet co-located with IEEE LCN 2024



Website: https://asdronet2024.github.io/



Submission link: https://edas.info/index.php?c=32354



**SCOPE**

Drones have transformed into versatile tools with applications across agriculture, environmental monitoring, delivery, and surveillance, revolutionizing operations through real-time data collection and efficient task execution in diverse industries.
As technology continues to evolve, the integration of robots alongside drones further enhances their capabilities.
Robots can collaborate with drones to perform complex tasks and navigate challenging terrains, increasing efficiency and expanding the scope of applications.

However, challenges impede their optimal performance. Limited energy capacity restricts operational time, especially in extended or remote missions. Moreover, the integration of robots introduces additional complexities in coordination, communication, and task distribution between heterogeneous agents.
Such challenges can be solved based on a broad spectrum of algorithms, ranging from traditional combinatorial optimization methods to modern machine learning techniques.
Algorithms play a pivotal role in enhancing the efficiency and autonomy of drone and robot systems, enabling them to adapt to dynamic environments, optimize resource utilization, and make intelligent decisions in real-time.

For this Special Track, ASDRoNet 2024, we seek submissions of high-quality papers addressing both theoretical and practical aspects of drone and robot research.
Topics of interest include, but are not limited to, route planning, task allocation, resource management, scheduling, and network design for integrated drone and robot fleets. Furthermore, submissions are encouraged to delve into algorithmic advancements, computational complexity analyses, and real-world case studies that demonstrate the synergy between drones and robots in various applications.


**TOPICS OF INTEREST**

- Autonomous sensing

- Topology monitoring

- Remote sensing networks

- Communication protocols

- Modeling and analysis

- Precision agriculture

- Crops monitoring in agriculture

- Bugs monitoring in agriculture

- Environmental monitoring

- Autopilot and UAS autonomy

- Path planning and scheduling

- Parcel delivery

- Cellular networks

- Constrained and multi-objective problems

- Sensors localization

- Tracking techniques

- Cooperative control of multiple vehicles

- Cyber-security communications

- Optimal deployment strategies

- Test-beds and experimental results

- Energy-efficient communications

- Machine learning for communications



**IMPORTANT DATES**

Abstract Submission: M̶a̶y̶ ̶2̶5̶,̶ ̶2̶0̶2̶4̶̶ June 1, 2024

Paper Submission: June 1, 2024

Acceptance Notification: July 13, 2024

Camera Ready: TBD

Early Registration: TBD

**SPECIAL ISSUE**

Selected papers will be invited to the special issue Applications-Driven UAV Routing and Scheduling Algorithms for Autonomous Transportation Systems of ACM Journal on Autonomous Transportation Systems.




We look forward to seeing you at the 1st IEEE LCN Special Track on Algorithmic Solutions for Drone- and Robot-based Networks (ASDRoNet) 2024.



Sincerely,



Lorenzo Palazzetti

PhD Student

Computer Science

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

[DMANET] Bocconi Theory Day -- Call for participation

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

BOCCONI THEORY DAY -- Call for participation

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

Bocconi Theory Day is a 1-day event that brings together researchers in theoretical computer science, algorithms and optimization for a day of talks and discussions about recent trends in our fields.

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

DATE and VENUE:

May 31st 2024, Bocconi University (Room N04 Velodromo building)

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

SPEAKERS:

Christian Coester (Oxford)
Cynthia Dwork (Harvard)
Gianpaolo Oriolo (U. Tor Vergata)
Giulia Bernardini (U. Trieste)
Kanstantsin Pashkovich (U. Waterloo)
Manuel Aprile (U. Padova)
Nicola Prezza (U. Ca' Foscari Venezia)

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

LINK and REGISTRATION:

The event is free of charge for participants, but registration is required. Information on the event and registration link can be found here:

https://laurasanita.github.io/theoryday2024.html

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

The organizers,

Laura Sanità and Luca Trevisan
[La tua firma può scrivere un futuro. Aiuta gli studenti meritevoli a costruire il proprio. Dai il tuo 5x1000 alla Bocconi C.F. 80024610158] <https://giving.unibocconi.it/5x1000>

Please note that the above message is addressed only to individuals filing Italian income tax returns.
5x1000 is a percentage of Italian personal income tax that taxpayers can allocate to Universities, scientific research and non profit organizations.

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