Monday, April 15, 2024

[DMANET] Open-Topic tenure-track Assistant professor position at TU Graz University (Austria) in the Field of Expertise Information, Communication, and Computation (Deadline, end of April).

One open-Topic tenure-track Assistant professor position is available at
TU Graz University, Austria. The position is associated with the /Field
of Expertise Information, Communication, and Computation/ and hence open
to various areas, including (but not limited to):

    Algorithms and complexity
    Artificial intelligence and machine learning
    Data science, statistical data analysis and signal processing
    Embedded and distributed systems
    Human-computer interaction
    Mathematical foundations of information, communication and computing
    Microelectronics
    Modelling and simulation
    Security and safety and dependability
    Software, systems and control engineering
    Visual computing
    Wireless communications and networks


TU Graz is a leading technical university in Austria in a medium-sized
city with a very high quality of life, located at the south-eastern foot
of the Alps, offering plentiful recreation opportunities.


Deadline for application: 30th of April 2024. Hearings will be in the
week of 1.-05. of July 2024.

Apply here:
https://jobs.tugraz.at/en/jobs/db8904c4-e956-6e66-8d46-65e878c78ba7


**********************************************************
*
* 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 "Query-Directed Width Measures for Probabilistic Databases". More
information on the PhD subject and the context follows.

Please circulate this offer to potential candidates and colleagues who are
looking for PhD positions (and don't hesitate to contact us to ask any
questions if you are interested).

PhD topic.

We are interested in designing algorithms for query evaluation over uncertain
data. The typical tasks are the following: given as input a query and a
probabilistic database, compute the probability that the data satisfies the
query, or compute provenance information that can help explain the query
results. The complexity of these problems has so far mostly been studied from
two different angles: the first one is to fix the query and to not restrict the
shape of the data, while the second one is to restrict to databases of a
certain shape (e.g., bounded treewidth), which allows for more queries to be
tractable. The goal of this PhD is to develop algorithms and techniques that
combine both approaches. More details can be found here:
https://a3nm.net/work/research/offers/thesis_proposal_query.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. It will be
supervised by Sylvain Salvati and co-supervised by Mikaël Monet and Antoine
Amarilli. Mikaël Monet (https://mikael-monet.net/) is an Inria full-time
researcher in LINKS working on theoretical aspects of uncertain data
management, knowledge compilation, and formal explainability. Antoine Amarilli
(https://a3nm.net/) is an associate professor at Télécom Paris and works on
database theory, knowledge compilation, and enumeration complexity. Sylvain
Salvati (https://pro.univ-lille.fr/sylvain-salvati) is a professor in LINKS
working on formal methods and programming languages.

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,

--
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] Postdoctoral position in Combinatorics, Logic, or Computational Complexity in Prague

The Institute of Computer Science of the Czech Academy of Sciences in
Prague has an opening for a postdoctoral position in Combinatorics,
Logic, or Computational Complexity.

The position is for 12 months, with possibility of extension. The
deadline is 31st of May 2024.

Full details of the opening can be found at
https://www.cs.cas.cz/job-offer/postdoctoral-fellowship-piguet-2024/cs

Best regards, Diana Piguet

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

[DMANET] [First CFP] CRiSIS 2024: The 19th International Conference on Risks and Security of Internet and Systems

Apologies if you receive multiple copies

19th International Conference on Risks and Security of Internet and Systems
(CRiSIS 2024)

November 26th - 28th, 2024

Aix-en-Provence, France

The 19th International Conference on Risks and Security of Internet and
Systems (CRiSIS) in 2024 continues its tradition of addressing critical
security challenges in Internet-connected applications, networks, and
systems. The indispensability of the Internet for information exchange among
diverse user groups and organizations has led to heightened risks around
security and privacy. This vulnerability is exacerbated by the
sophistication of online attacks, the proliferation of cybercrime, and the
readily available tools for attackers, who are increasingly motivated and
skilled.

The advent of complex technologies, including pervasive computing, mobile,
and wireless devices and networks, introduces new security challenges,
necessitating the deployment of advanced security mechanisms and techniques.
These advancements are crucial for protecting critical sectors such as
energy, transportation, health, defense, banking, critical infrastructures,
embedded systems and networks, avionics systems, and more, ensuring an
acceptable level of security assurance.

CRiSIS 2024 serves as an essential platform for stakeholders in computer and
network security from the industrial, academic, and governmental sectors to
convene, share insights, and showcase the latest developments in combating
Internet-related security threats, vulnerabilities, and the necessary
countermeasures to address them.

TOPICS

======

We target contributions from both academia and industrials on the following
topics, but not limited to:

- AI and machine learning-based security approaches

- Formal methods and logics-centered security approaches

- Analysis and management of risk

- Attacks and defenses

- Attack data acquisition and network monitoring

- Authorization, Authentication, and Identity Management

- Blockchain and Distributed Ledger Technologies

- Cryptography, biometrics, watermarking

- Dependability and fault tolerance of Internet applications

- Distributed systems security and safety

- Embedded system security and safety

- Empirical methods for security and risk evaluation

- Hardware-based security and physical security

- Intrusion detection and prevention systems

- Organizational, ethical, and legal issues

- Privacy protection and anonymization

- Risk-aware access and usage control

- Analysis and management of cyber crisis

- Security and risk assessment

- Security and risks metrics

- Security and dependability of operating systems

- Security and safety of critical infrastructures

- Security and privacy of peer-to-peer system

- Security and privacy of wireless networks

- Security in Cloud/Edge/Fog computing

- Security models and security policies

- Security of big data

- Security of industrial control systems

- Security of intelligent transportation systems

- Security of e-commerce, electronic voting, and database systems

- Security of new-generation networks

- Security of smart cities

- Security of smart grid

- Security of social networks

- Security of the IoT and IIoT

- Security of VoIP and multimedia

- Smartphone security and privacy

- Traceability, metrology and forensics

- Trust management

- Ubiquitous computing security

- Use of smart cards and personal devices for Internet applications

- Virtualization security

- Web and Web-service security

IMPORTANT DATES

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

Submission deadline: June 15th, 2024

Notification of acceptance: July 15th, 2024

Camera-ready paper due: October 15th, 2024

PAPER SUBMISSION

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

Submitted papers must not significantly overlap with papers already
published or those being concurrently submitted to a journal or conference
with proceedings. Papers should be written in English and submitted
electronically in PDF format.

Selected papers presented at the conference will be included in the
post-proceedings, to be published by Springer in the Lecture Notes in
Computer Science (LNCS) series. Authors are required to revise their papers
according to review comments before publication. Pre-proceedings will be
available at the time of the conference.

The maximum length for submissions is 16 pages for full papers and 6 pages
for short papers, following the LNCS formatting guidelines. We recommend the
use of LNCS Springer Overleaf Template
(https://www.overleaf.com/latex/templates/springer-lecture-notes-in-computer
-science/kzwwpvhwnvfj#.WtR5Hy5ua71
). Authors must upload their paper as PDF
file using the EasyChair

submission system: https://easychair.org/conferences/?conf=crisis2024

WEB SITE

========

https://crisis2024.univ-gustave-eiffel.fr

GENERAL CHAIRS

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

- Frédéric Cuppens, Polytechnique Montreal, Canada

- Nora Cuppens, Polytechnique Montreal, Canada

- Jean-Paul Mizzi, Université Gustave Eiffel, France

- David Garcia, CESI Lineact, France

PROGRAM COMMITTEE CHAIRS

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

- Simon Collart Dutilleul, Université Gustave Eiffel, France

- Samir Ouchani, CESI Lineact, France

PUBLICITY CHAIRS

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

- Slim Kallel, University of Sfax, Tunisia

ORGANIZING COMMITTE

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

- David Garcia, CESI Lineact, France

- Amine Mohammed Boudouaia, CESI Lineact, France

- Malika Benkhalifa, Ecole d'Ingénieurs CESI, France

- Philippe Bon, Gustave Eiffel University, France

- Seddik Reguieg, Gustave Eiffel University, France

- Valérie Osmont, Gustave Eiffel University, France

- Danielle Zennir, Gustave Eiffel University, France

- Danielle Zennir, Gustave Eiffel University, France

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

Dr. Samir Ouchani, Ing., PhD., HDR.

Research Director, CESI Lineact.

Aix-en-Provence, France.

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

Saturday, April 13, 2024

[DMANET] [CFP] IEEE CSR Workshop on Cyber Forensics& Advanced Threat Investigations in Emerging Technologies 2024

Dear Colleagues,

IEEE CSR Workshop on Cyber Forensics and Advanced Threat Investigations in
Emerging Technologies organizing committee is inviting you to submit your
research papers. The workshop will be held in Hybrid mode. The in-person
mode will held at Hilton London Tower Bridge, London, from 2 to 4 September
2024

Topics include (but not limited to):
-Forensics and threat investigations in P2P, cloud/edge, SDN/NFV, VPN, and
social networks
-Forensics and threat investigations in IoT, smart tech (car, home, city),
e/m-health
-Forensics and visualization of big data
-Tools and services for cyber forensics and threat investigations
-Attack detection, traceback, and attribution in emerging technologies
-Malware analysis and attribution
-Methods for reconstruction of digital evidence in emerging technologies
-Security and privacy in P2P, cloud/edge, SDN/NFV, VPN, and social networks
-Security and privacy in IoT, smart tech (car, home, city)
-Open source intelligence (OSINT)
-Dark Web Investigations
-Digital evidence extraction/analysis using AI/ML and data mining
-Data exfiltration from networked devices/services(e.g.cyber-physical
systems, IoT)
-Large-scale investigations and ML for the analysis of intelligence data
sets and logs

We also encourage contributions describing innovative work in the realm of
cybersecurity, cyber defense, and digital crimes.

Important Dates
Paper Submission Deadline: June 3, 2024 AOE
Authors Notifications: July 3, 2024 AOE
Camera Ready submission: July 14, 2024 AOE
Early registration deadline: July 20, 2024 AOE

Publication
The workshop's proceedings will be published by IEEE and will be included
in IEEE Xplore.

Workshop Awards
-Best Open-Source Tool Prize, which will be presented in a paper during our
workshop. The prize, valued at 300 euros, is being financed by one of our
collaborators from the industry.
-An additional industry collaborator is sponsoring the prestigious Best
Paper award, which includes a one-year free license to utilize renowned
digital forensics software.

This Workshop is Technically Supported by
-Association of Cyber Forensics and Threat Investigators
-Industrial Cybersecurity Center
-Institute for Systems and Technologies of Information, Control, and
Communication

To submit your manuscript, please follow the instructions at
https://www.acfti.org/news-events/ieee-csr-cfati-cfp-2024
For more information, please don't hesitate to contact the CFATI General
Chair Dr. Ahmed Elmesiry (a.elmesiry-at-londonmet.ac.uk)

To get more news about our events, please join our low-traffic announcement
group @ https://groups.google.com/g/acfti

We look forward to your submissions.
Regards,
Andrew Zayin Ph.D., CISSP, CISM, CRISC, CDPSE, PMP
ACFTI Secretariat

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

Friday, April 12, 2024

[DMANET] PSC 2024 - CFP

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

Prague Stringology Conference 2024

27th Prague Stringology Conference

http://www.stringology.org

Call for Papers

Prague, Czech Republic, August 26-28, 2024

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

PSC 2024 is the 27th Prague Stringology Conference. It is an international
conference focusing on stringology and related areas. It is organized
annually since 1996 by the Prague Stringology Club, a research group
in the Department of Theoretical Computer Science at the Faculty of
Information Technology of Czech Technical University in Prague. The
proceedings of recent conferences are indexed in Thomson Reuters,
Scopus and DBLP.

TOPICS:

Stringology is a part of algorithmic research that deals with the
processing of text strings. It has existed for at least thirty years
and developed into a respected subfield of its own. The last twenty
years have produced an explosion of new results. This progress is due
in part to the human genome effort, an area to which string algorithms
make important contributions. String processing extends into tree
processing that is called Arbology. The topics of the conference
include but are not limited to:

* algorithms for pattern matching in strings, images and trees
* data structures (automata, trees etc.) for pattern matching
in strings, images and trees
* coding and data compression
* bioinformatics
* information retrieval
* string processing algorithms in databases
* searching for regularities
* natural language processing


SUBMISSION:

Authors are cordially invited to submit their full papers (PDF format,
up to 15 pages, A4 page format) by May 16, 2024. The paper should start
with the title, each author's name, affiliation, and e-mail address,
and a one-paragraph summary of the results and ideas. The paper should
be submitted via submission server
(https://easychair.org/conferences/?conf=psc2024).
The paper title, authors, and abstract should be submitted by May 16,
2024. The full paper in PDF should be submitted by May 23, 2024.

For their final version the papers are required to be prepared using
the LaTeX style available at http://www.stringology.org/pscproc2
which has an interface compatible to the standard LNCS style.

IMPORTANT DATES:

* Submission of Abstracts: May 16, 2024
* Submission of Papers: May 23, 2024
* Notification of Acceptance: June 23, 2024
* Early Registration Due: July 14, 2024
* Final Version Due: July 14, 2024
* Conference: August 26-28, 2024

PROGRAM COMMITTEE:

* Amihood Amir, Bar-Ilan University, Israel, and Georgia Tech, USA
* Gabriela Andrejkova, Pavol Jozef Safarik University, Slovakia
* Simone Faro, University of Catania, Italy
* Frantisek Franek, McMaster University, Canada
* Jan Holub (chair), Czech Technical University in Prague, Czech Republic
* Shmuel Tomi Klein, Bar Ilan University, Israel
* Dominik Köppl (chair), Tokyo Medical and Dental University, Japan
* Thierry Lecroq, University of Rouen, France
* Robert Mercas, Loughborough University, UK
* Yuto Nakashima, Kyushu University, Japan
* Solon Pissis, CWI, The Netherlands
* William F. Smyth, McMaster University, Canada
* Bruce Watson, National Security Centre of Excellence, Canada
* Jan Žďárek, Czech Technical University in Prague, Czech Republic


ORGANIZING COMMITTEE:

* Dominika Draesslerova, Czech Technical University in Prague, Czech
Republic
* Ondřej Guth (chair), Czech Technical University in Prague, Czech
Republic
* Jan Holub (chair), Czech Technical University in Prague, Czech Republic
* Tomáš Pecka, Czech Technical University in Prague, Czech Republic
* Regina Smidova, Czech Technical University in Prague, Czech Republic
* Jan Travnicek, Czech Technical University in Prague, Czech Republic
* Jan Zdarek, Czech Technical University in Prague, Czech Republic


HISTORY:

PSC 2024 was preceded by Prague Stringology Workshops in 1996-2000 and
by Prague Stringology Conferences in 2001-2006, 2008-2021, 2023. Each year
proceedings are prepared for the conference. They are published by
Czech Technical University in Prague and are also available from the
PSC web pages. Selected papers from the later workshops were also
published in a special issue of the journal Kybernetika. Selected
papers from the 2002-2006, 2008 conferences were then published in the
Nordic Journal of Computing, Journal of Automata, Languages, and
Combinatorics, International Journal of Foundations in Computer
Science, and Discrete Applied Mathematics.

LOCATION & PUBLICATION:

PSC 2024 will be held at the Department of Theoretical Computer Science
the Czech Technical University in Prague on August 26-28, 2024.
(The precise location will be announced later.) The working
language is English. As usual, accepted papers will appear in
conference proceedings published by the Czech Technical University in
Prague and distributed at the conference. After further refereeing,
selected papers will then be published in an international journal.


---------------------------------------------------------------------------
We apologize if you have received multiple copies of this announcement.
**********************************************************
*
* 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] [Approaching Deadline] LPNMR 2024 - Call for Workshops

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

====================================================
LPNMR 2024 - Call for Workshops
17th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2024
====================================================


====================================================
AIMS AND SCOPE
====================================================

The 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) will be held in Dallas, Texas, USA.

The objective of the LPNMR workshop program is to stimulate the discussion and the exchange of ideas on topics related, but not limited, to declarative logic programming, non-monotonic reasoning, and knowledge representation. We aim at creating a forum where researchers from a broad spectrum of disciplines may interact and have an opportunity to promote collaboration and identify directions for joint future research. Accordingly, we solicit workshop proposals on theoretical and applied research topics.

Workshop proposals should explain and motivate the topic of the workshop, and discuss the format of presentation of the contributions. Workshops will likely be half-day or one-day in duration, but we may consider longer programs.

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

Workshop proposals submissions: April 19th, 2024
Workshop proposals notifications: April 29th, 2024
Workshop program: October 11th, 2024 (tentative date)

====================================================
SUBMISSION
====================================================

Proposal must be submitted via EasyChair: https://easychair.org/my/conference?conf=lpnmrws2024

Proposals should clearly specify the following:
Workshop title and acronym
A brief description, emphasizing why this workshop would appeal to audiences from LPNMR
A list of organizers with email addresses, web page URLs, and a short description of their experience in organizing events
A short description of the format of planned activities (talks, posters, panels, invited speakers if any, etc.)
The proposed duration (half day, one day, etc.)
A description of the history of the workshop (if any)
Expected number of participants


====================================================
CONTACT
====================================================

For any details on workshops, please contact the Workshop Chair:
Gerardo I. Simari (Universidad Nacional del Sur and CONICET, Argentina)
gis@cs.uns.edu.ar


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


**********************************************************
*
* 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] 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: June 2, 2024

Paper Submission: June 15, 2024

Acceptance Notification: July 13, 2024

Camera Ready: TBD

Early Registration: TBD


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] Tenure-track position at Graz University of Technology (open topic)

Graz University of Technology invites applications for an open-topic
Tenure-Track Assistant Professorship in the area of Information,
Communication & Computing (f/m/d), including "Algorithms&Complexity".
Details can be found at

https://jobs.tugraz.at/en/jobs/ee617a4d-f8c4-a3e9-34c7-65c9dcd4ec58
**********************************************************
*
* 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

[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] [Call for Papers] IEEE Internet computing - Special issue on Serverless Computing

IEEE Internet computing - Special issue on Serverless Computing
Submissions Due: 8 May 2024
Publication date: November/December 2024
https://www.computer.org/digital-library/magazines/ic/cfp-serverless-computing ===============================================================

Serverless Computing is a form of cloud computing that allows programmers to develop, run, and scale their applications without having to worry about infrastructure provisioning and management. By breaking an application into small standalone functions, Serverless Computing can offer several advantages such as high elasticity, cost efficiency, and ease of deployment. Serverless Computing has received significant attention in the past few years and has been adopted for a wide range of applications and infrastructures. Yet, Serverless Computing brings challenges and new opportunities in many aspects such as system architectures, scheduling, data sharing, energy, privacy, and adoptions for Machine Learning (ML) applications, etc.

The objective of this special issue is to enable researchers and practitioners to share their research results in the area of Serverless Computing. We encourage novel and high-quality contributions related to all aspects of Serverless Computing. The topics of interest in this special issue include, but are not limited to:

- Programming frameworks for Serverless Computing
- Open datasets of Serverless workloads
- Serverless Computing in edge, fog, clouds and HPC systems
- Serverless Computing for AI & Machine Learning applications & AI/ML for Serverless systems
- Integrating Serverless and HPC applications
- Serverless computing for supporting large scale data analytics
- Stream data processing in Serverless environments
- Infrastructure optimizations for Serverless applications
- Performance modeling and evaluation of Serverless applications
- Benchmark Suites for Serverless Computing
- Scheduling and resource provisioning in Serverless Computing
- Data management in Serverless Computing
- Storage and network solutions for Serverless Computing
- Accelerators support for Serverless Computing
- Energy-efficiency issues in Serverless Computing
- Fault tolerance, reliability and resilience for Serverless Computing
- Security and privacy issues in Serverless Computing

Submission Guidelines
---------------------------------
Manuscripts must be unpublished and not considered elsewhere for publication. Please follow the IEEE Internet Computing magazine's submission guidelines for formatting and submission instructions. Each submission should not exceed 5000 words.

For more details and submission instructions, please visit the IEEE Internet Computing's website (https://www.computer.org/csdl/magazine/ic ).

Questions?
Contact the guest editors at ic6-2024@computer.org .

Special Issue Editors:
-------------------------------
- Olivier Beaumont, Inria Research Centre Bordeaux South West France, Talence, France
- Xiaowen Chu, The Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China
- Shadi Ibrahim, Inria centre at Rennes University, Rennes, France
- Tania Lorido-Botran, Roblox, USA
- Omer Rana, Cardiff University, 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] OR 2024 - Discrete and Combinatorial Optimization Stream

The OR 2024 conference (https://or2024.de/) is taking place in Munich,
from September 4 to 6, 2024, at the downtown campus of the Technical
University of Munich. This year, the conference is jointly organized by
the German, Austrian and Swiss societies of Operations Research
GOR/ÖGOR/SVOR/ASRO.

We are organizing the "Discrete and Combinatorial Optimization" stream
and are inviting to give talks.

Abstracts can be submitted at
https://or2024.de/index.php/abstract-submission/
until April 30, 2024 (max. 280 words).

There also will be a proceedings volume. Details will be presented at
the above webpage in June.

If you are interested in organizing an invited session, please contact us.

Important dates:

- Abstract submission deadline: Sunday, April 30, 2024
- Early registration deadline: May 30, 2024
- Presenting author registration deadline: June 30, 2024

Best regards

Arie Koster
Bernard Ries
Marc Pfetsch
Ulrich Pferschy

--
Prof. Dr. Arie M.C.A. Koster
Professor for Discrete Optimization

RWTH Aachen University
Pontdriesch 10-12, room 306 (2.0G), D-52062 Aachen
T: +49 (0)241 80-94995 (Secretary) -94524 (Direct) - F: +49 (0)241 80-92136
email <mailto:koster@math2.rwth-aachen.de> | www
<http://www.math2.rwth-aachen.de/koster/> | Google scholar
<https://scholar.google.com/citations?user=AAsK4wwAAAAJ&hl=en> | twitter
<https://twitter.com/ArieMCAKoster> | LinkedIn
<https://www.linkedin.com/in/ariekoster/>
**********************************************************
*
* 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] [Cryptography] Special Issue "Feature Papers in Hardware Security II"

We are sharing with you that the special issue "Feature Papers in
Hardware Security II" in /Cryptography/
(https://www.mdpi.com/journal/cryptography)
just closed, there are 19 papers published online, which are free to
access and can be downloaded here:

https://www.mdpi.com/journal/cryptography/special_issues/Hardware_Security_2022

Some selected papers:

1. FPGA-Based PUF Designs: A Comprehensive Review and Comparative Analysis
https://www.mdpi.com/2410-387X/7/4/55

2. A Memory Hierarchy Protected against Side-Channel Attacks
https://www.mdpi.com/2410-387X/6/2/19

3. Hardware Limitations of Lightweight Cryptographic Designs for IoT in
Healthcare
https://www.mdpi.com/2410-387X/6/3/45

4. A Novel FPGA Implementation of the NAND-PUF with Minimal Resource
Usage and High Reliability
https://www.mdpi.com/2410-387X/7/2/18

5. Garbled Circuits Reimagined: Logic Synthesis Unleashes Efficient
Secure Computation
https://www.mdpi.com/2410-387X/7/4/61

It would be highly appreciated if you could share the information to
your colleagues, friends and any scholars you know in this field.

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

News: Cryptography Receives Its First Impact Factor of 1.6
https://www.mdpi.com/about/announcements/6138

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

[DMANET] SAIV 2024 - Final Call for Papers

SAIV 2024: 7th International Symposium on AI Verification
July 22-23, Montreal, Canada, co-located with CAV 2024
https://www.aiverification.org/

=== EXTENDED DEADLINES (all dates are AoE) ===

April 18, 2024 - Paper Submission
May 13, 2024 - Notification

=== SAIV ===

The 7th International Symposium on AI Verification (SAIV 2024) solicits
novel theoretical and algorithmic contributions, innovative
applications, and empirical evaluation in the intersection of AI and
formal methods. SAIV is a continuation of FoMLAS and WOLVERINE and aims
to serve as an interactive platform for idea exchange and
cross-pollination between AI and formal methods.

SAIV 2024 will host the 5th International Verification of Neural
Networks Competition (VNN-COMP 2024). For additional information, see
https://sites.google.com/view/vnn2024.

The scope of SAIV is the intersection of AI and formal verification, and
spans across multiple areas in the "formal methods for AI" and "AI for
formal methods". This includes, but is not limited to:

- Safety specifications for systems with learning components
- Symbolic analysis of cyber-physical systems with AI components
- Formal verification of neural networks
- Testing approaches for systems with AI components
- Formal approaches to explainable AI
- AI and machine learning for program synthesis and control synthesis
- AI and machine learning for automated reasoning and theorem-proving
- Statistical approaches to falsification and verification

=== KEYNOTE ===

Clark Barrett (Stanford University)

=== PAPER SUBMISSION ===

Three categories of submissions are invited:

1. Original papers: describe original research and sufficient detail to
assess the merits and relevance of the submission. For papers reporting
experimental results, authors are strongly encouraged to make their data
available.

2. Presentation-only papers: describe work recently published or
submitted. We see this as a way to provide additional access to
important developments that the SAIV attendees may be unaware of.

3. Extended abstracts: describe preliminary work in progress. These
reports may range in length from very short to full papers, and will be
judged based on the expected level of interest for the community.

Papers will be published in Springer's LNCS.

=== PROGRAM CHAIRS ===

Guy Avni (University of Haifa)
Mirco Giacobbe (University of Birmingham)
Taylor T. Johnson (Vanderbilt University)
Guy Katz (Hebrew University of Jerusalem)
Anna Lukina (Delft University of Technology)
Nina Narodytska (VMware Research)
Christian Schilling (Aalborg University)

=== PROGRAM COMMITTEE ===

Alessandro Abate (University of Oxford)
Guy Amir (Hebrew University of Jerusalem)
Guy Avni (University of Haifa)
Stanley Bak (Stony Brook University)
Clark Barrett (Stanford University)
Roderick Bloem (Graz University of Technology)
Chih-Hong Cheng (Fraunhofer IKS and Technical University of Munich)
Dana Drachsler Cohen (Technion)
Mirco Giacobbe (University of Birmingham)
Thomas Henzinger (Institute of Science and Technology Austria)
Omri Isac (Hebrew University of Jerusalem)
Suman Jana (Columbia University)
Taylor T. Johnson (Vanderbilt University)
Guy Katz (Hebrew University of Jerusalem)
Ekaterina Komendantskaya (Heriot-Watt University)
Martin Lange (University of Kassel)
Linyi Li (University of Illinois at Urbana-Champaign)
Alessio Lomuscio (Imperial College London)
Anna Lukina (Delft University of Technology)
Ravi Mangal (Carnegie Mellon University)
Nina Narodytska (VMware Research)
Daniel Neider (Technical University of Dortmund)
Corina Pasareanu (Carnegie Mellon University, NASA, KBR)
Guillermo Perez (University of Antwerp)
Luca Pulina (University of Sassari)
Christian Schilling (Aalborg University)
Gagandeep Singh (UIUC and VMware Research)
Paulius Stankaitis (Newcastle University)
Armando Tacchella (Università di Genova)
Hoang Dung Tran (University of Nebraska-Lincoln)
Abhinav Verma (Pennsylvania State University)
Haoze Wu (Stanford University)
Kaidi Xu (Drexel University)
Zhen Zhang (Utah State University)
Yuhao Zhang (University of Wisconsin-Madison)
Min Zhang (East China Normal University)
Shufang Zhu (University of Oxford)
**********************************************************
*
* 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 abstracts - ECCO XXXVII CONFERENCE 2024 - deadline extended till 18 April 2024

Extended deadline for abstract submission


6-8 June 2024, KU Leuven-Ghent, Belgium





https://ecco2024.euro-online.org/





The 37th Conference of the European Chapter on Combinatorial Optimization will be held in Ghent (Belgium) from 6 till 8 June 2024. The conference will be hosted at KU Leuven's campus in Ghent, at a 10-minute walk from Ghent's historical city center.



AIMS

The ECCO annual meetings aim to bring together researchers in Combinatorial Optimization to present their work, share experiences, and discuss recent advances in theory and applications.


CALL FOR ABSTRACTS

We invite all researchers, practitioners, and students interested in the following subject areas to submit an abstract:


* theory and applications of combinatorial optimization
* optimal solution methods, approximation algorithms and heuristics for combinatorial optimization problems
* integer programming, global optimization, stochastic integer programming, multi-objective programming, graph theory and network flows
* application domains include, but are not limited to, logistics and supply chain optimization, manufacturing, energy production and distribution, land consolidation, telecommunications, bioinformatics, finance, discrete tomography, discrete and hybrid dynamical systems.



IMPORTANT DATES



Deadline for abstract submission 18 April 2024

Notification of acceptance 22 April 2024

Deadline for early registration 10 May 2024

Deadline for late registration 25 May 2024



ECCO Conference 2024 6-8 June 2024





ABSTRACT SUBMISSION


EURO Abstract Submission System (https://www.euro-online.org/conf/ecco2024/)


If you have a EURO account, for example from participating to EURO or IFORS conferences, you will be able to login using your credentials. If you do not yet have a EURO login account, please create one<https://www.euro-online.org/web/accounts/register/>.

Abstracts must be written in English and contain no more than 1,500 characters in plain text format (no formulas are allowed).
Please note that the submission MUST be done by the person who will present the paper and will be shown as first author.

For each submitted paper, ONE unique registration must be submitted (e.g., for two submitted papers, two separate registrations must be submitted).





SOCIAL EVENTS



Conference Dinner: Friday 7 June at Pakhuis.

Optional Excursion 1: Visit city centre Ghent - Saturday, May 13.



PUBLICATIONS



Book of Abstracts

Special Issue

A special issue of the Journal of Combinatorial Optimization<https://www.springer.com/journal/10878/> will be devoted in papers presented in the conference. All articles will be refereed according to the high standards of the journal. Details of the process will be given during the conference.



COMMITTEES



Program committee

* Jacek Blazewicz<http://www.cs.put.poznan.pl/jblazewicz/>, Pozna�� University of Technology
* Bo Chen<https://www.wbs.ac.uk/about/person/bo-chen>, University of Warwick
* Van-Dat Cung<http://www.g-scop.grenoble-inp.fr/fr/laboratoire/cung-van-dat>, Université Grenoble Alpes
* Alain Hertz<https://www.gerad.ca/~alainh/>, Polytechnique Montréal
* Silvano Martello<http://www.or.deis.unibo.it/staff_pages/martello/cvitae.html>, Università di Bologna
* Greet Vanden Berghe (chair), KU Leuven
* Paolo Toth<https://www.unibo.it/sitoweb/paolo.toth>, Università di Bologna
* Tony Wauters (co-chair), KU Leuven

Organizing committee

* Greet Vanden Berghe (chair), KU Leuven
* Tony Wauters (co-chair), KU Leuven
* Jeroen Gardeyn, KU Leuven
* Pieter Smet, KU Leuven


CONTACT

Greet Vanden Berghe

Tel: +32 9 2658703
email: greet.vandenberghe@cs.kuleuven.be

[DMANET] Assistant professor in Computer Science, specialization Algorithms and Data Analysis, KTH Royal Institute of Technology, Sweden

KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science has a vacancy for one Assistant Professor with specialisation in Algorithms and Data Analysis. The position will be funded by Wallenberg AI, Autonomous Systems and Software Program (WASP), Sweden's largest individual research program.

KTH is one of Europe's leading technical and engineering universities. We are Sweden's largest technical research and learning institution and home to students, researchers and faculty from around the world.

Applications must be made online through the KTH job portal. Full position details, including how to apply online can be found at

https://kth.varbi.com/en/what:job/jobID:708418/

The deadline for online applications is 03.May.2024

Job reference number: VL-2024-0029

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

Thursday, April 11, 2024

[DMANET] CFP HIGHLIGHTS 2024 - Early Submission Deadline: April 15

The conference HIGHLIGHTS'24 organises an early round of submissions to
help to plan travels. The deadline for early submissions is *April 15th*.
Guidelines for submissions are included below.

By submitting before this first deadline, you will profit from an early
notification by April 26th. *Regular submissions will be open until June
17th*.
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
- Early notification: April 26, 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.

[EARLY] 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 *early round of submissions is open until Monday, April 15*. By
submitting before this deadline, you will profit from an *early
notification by April 26* which may help you in organising your journey.
The *regular 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.)
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, 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)

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. It is up to you to decide what this week should be. 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 register and 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 suggest or solicit activities: post your proposals on the
dedicated zulip stream.

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/will be
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.
- Research groups interested in participating in the program should
contact Thomas Colcombet (through Zulip).

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

- Vincent Penelle
- Rémi Morvan
- Corto Mascle
- Théo Matricon
- 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] IPEC 2024: 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] AAMAS 2024: Early Registration Ends Today (April 11, 2024)

Dear all,

We cordially invite you to attend the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024) to be held in Auckland, New Zealand, on May 6-10, 2024.

Early registration ends on April 11, 2024:
https://www.aamas2024-conference.auckland.ac.nz/registration/

We look forward to seeing you in Auckland!

Best wishes,
Reyhan Aydogan and Andrei Ciortea
Publicity Chairs
On behalf of the AAMAS 2024 Organizing Committee


======================
CALL FOR PARTICIPATION
======================

AAMAS 2024 – The 23rd Int. Conf. on Autonomous Agents and Multiagent Systems

Date: 6-10 May 2024
Location: Auckland, New Zealand
Web site: https://www.aamas2024-conference.auckland.ac.nz/

Registration: https://www.aamas2024-conference.auckland.ac.nz/registration/
Early Registration: April 11, 2024


AAMAS is the largest and most influential conference in the area of agents and multiagent systems. The aim of the conference is to bring together researchers and practitioners in all areas of agent technology and to provide a single, high-profile, internationally renowned forum for research in the theory and practice of autonomous agents and multiagent systems. AAMAS is the flagship conference of the non-profit International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

== Program ==

This year AAMAS features keynotes by Prof. Ann Nowé, Prof. Liz Sonenberg, and Prof. Michael Winikoff. In addition, the program will feature talks of winners of the ACM SIGAI / AAMAS Autonomous Agents Award (Prof. Catholijn M. Jonker) and the Victor Lesser Distinguished Dissertation Award (Dr. Niclas Boehmer).

The list of accepted papers is available here:
https://www.aamas2024-conference.auckland.ac.nz/accepted/papers/

The program includes an exciting set of workshops, tutorials, competitions, and doctoral consortium.
- Program overview: https://www.aamas2024-conference.auckland.ac.nz/program/program-overview/
- Keynote talks:
https://www.aamas2024-conference.auckland.ac.nz/program/keynote-speakers/
- ACM SIGAI / AAMAS Autonomous Agents Award: https://www.aamas2024-conference.auckland.ac.nz/awards/acm-sigai-autonomous-agents-research-award/
- Victor Lesser Distinguished Dissertation Award: https://www.aamas2024-conference.auckland.ac.nz/awards/victor-lesser-distinguished-dissertation-award/
- Accepted workshops: https://www.aamas2024-conference.auckland.ac.nz/accepted/accepted-workshops/
- Accepted tutorials:
https://www.aamas2024-conference.auckland.ac.nz/accepted/tutorials/
- Accepted competitions: https://www.aamas2024-conference.auckland.ac.nz/accepted/accepted-competitions/

== Visa, Travel, and Accommodation Information ==

Visa information — please note the information for non-visa waiver countries and territories, the recommendation is to allow for a minimum of 4 weeks for the visa application process:
https://www.aamas2024-conference.auckland.ac.nz/attending/visa-information/

Travel information:
https://www.aamas2024-conference.auckland.ac.nz/attending/travel-information/

Accommodation information:
https://www.aamas2024-conference.auckland.ac.nz/attending/accommodation/

Please book accommodation as soon as possible to get the best rates.

**********************************************************
*
* 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] DisCoTec 2024 Joint Call for Participation

[Apologies for multiple postings]

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

Joint Call for Participation

19th International Federated Conference on Distributed Computing Techniques

DisCoTec 2024

Groningen, The Netherlands, June 17-21, 2024

https://www.discotec.org/2024/

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

DisCoTec is one of the major events sponsored by the International
Federation for Information Processing (IFIP) and the European Association
for Programming Languages and Systems (EAPLS).

DisCoTec 2024 will take place in Groningen, The Netherlands, between June
17-21, 2024, hosted by the University of Groningen.

* Registration *

Detailed information about registration can be found at
https://www.discotec.org/2024/registration.

Deadlines (23:59 CEST):

- Early registration: May 22, 2024.

- Late registration: June 12, 2024.

* Keynote Speakers *

- Marieke Huisman (University of Twente, NL)
VerCors: Inclusive Software Verification

- Laura Kovács (Vienna University of Technology, AT)
Automated Reasoning in BlockChain Security

- Paulo Veríssimo (KAUST, SA)
Platform Resilience? Beware of Threats from the "basement"

See https://www.discotec.org/2024/invited for further details.

* Main Conferences (June 18 - June 20) *

- COORDINATION 2024 (https://www.discotec.org/2024/coordination)
26th International Conference on Coordination Models and Languages

PC Chairs: Ilaria Castellani (INRIA Sophia Antipolis, France) and
Francesco Tiezzi (University of Florence, Italy)

- DAIS 2024 (https://www.discotec.org/2024/dais)
24th International Conference on Distributed Applications and
Interoperable Systems

PC Chairs: Rolando Martins (University of Porto, Portugal) and Mennan
Selimi (South East European University, North Macedonia)

- FORTE 2024 (https://www.discotec.org/2024/forte)
44th International Conference on Formal Techniques for Distributed
Objects, Components, and Systems

PC Chairs: Valentina Castiglioni (Eindhoven University of Technology, The
Netherlands) and Adrian Francalanza (University of Malta, Malta)

* Accepted Papers *

See https://www.discotec.org/2024/accepted-papers
<http://www.discotec.org/2024/accepted-papers> for details.

* Satellite Events (June 17 and June 21) *

- DiDiT 2024 (https://distributeddigitaltwins.github.io/2024/)
1st International Workshop on Distributed Digital Twins

- ICE 2024 (https://www.discotec.org/2024/ice)

17th Interaction and Concurrency Experience

- PLNL 2024 (https://conf.researchr.org/home/plnl-2024)

4th VERSEN Workshop on Programming Languages in The Netherlands

To receive live, up-to-date information, follow us on X @DisCoTecConf (
https://twitter.com/DisCoTecConf).

**********************************************************
*
* 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 CFP: Surveys in Algorithm Analysis and Complexity Theory, Part II

FINAL CALL FOR PAPERS:
"Surveys in Algorithm Analysis and Complexity Theory, Part II" -- A special
issue of Algorithms (ISSN 1999-4893)

Part II of our special issue of surveys in theoretical computer science
will be
open for submissions until June 15.
Here is the link:
https://www.mdpi.com/journal/algorithms/special_issues/SP3XYE05P2

As before, we invite original articles summarizing recent breakthroughs
and/or
describing the state of the art in any currently active research area
related
to algorithms, data structures, or computational complexity.
Articles should be well structured, and each article should focus on a
clearly
defined topic.
In addition, sufficient background, definitions, and figures should be
provided
to ensure that the text will be accessible to anyone interested in
theoretical
computer science.
Implementation-based surveys that compare the practical performance of
various
algorithms for a particular computational problem are also invited.
Moreover, we would like to encourage final-year or recently graduated Ph.D.
students to submit surveys based on the introductory chapters of their
theses/dissertations.

For some examples of the type of surveys and the quality we are looking for,
please refer to Part I of the special issue at:

https://www.mdpi.com/journal/algorithms/special_issues/survey_algorithm_complexity

Guest Editor:
Dr. Jesper Jansson, Kyoto University, Japan

Keywords:
* algorithm analysis
* modern data structures
* computational complexity
* fixed-parameter tractability
* approximation algorithms
* lower bounds
* bioinformatics algorithms
* computational geometry
* parallel and distributed computing
* quantum computing

Submission information:
Submitted manuscripts should not have been published previously nor be under
consideration for publication elsewhere.
All submissions will be thoroughly refereed through a peer-review process.
Manuscripts should be submitted online after registering and logging in.
Accepted articles will be published continuously in the journal (as soon as
accepted) and will be listed together on the special issue website.
A guide for authors and other information related to the submission of
manuscripts is available on the "Instructions for Authors"-page.
The article processing charges for publication in this open-access journal
are
also listed on the journal's webpage.

Deadline:
The deadline for manuscript submissions is 2024-06-15.

About the journal:
Algorithms (ISSN 1999-4893; CODEN: ALGOCH) is an open-access journal of
computer science, computational mathematics, artificial intelligence,
automation and control systems, theory, methods and interdisciplinary
applications, data and information systems, and software engineering.
It is published online monthly by MDPI.

Journal webpage:
https://www.mdpi.com/journal/algorithms

Special issue main webpage:
https://www.mdpi.com/journal/algorithms/special_issues/SP3XYE05P2

Instructions for authors:
https://www.mdpi.com/journal/algorithms/instructions

Submission:
https://susy.mdpi.com/user/manuscripts/upload/?journal=algorithms

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

Wednesday, April 10, 2024

[DMANET] FLLM2024 CFP (Co-Sponsored by IEEE): The 2nd International Conference on Foundation and Large Language Models , 26-29 November, 2024 | Dubai, UAE

[Apologies if you got multiple copies of this invitation]

The 2nd International Conference on Foundation and Large Language Models
(FLLM2024)

https://fllm2024.fllm-conference.org/index.php

26-29 November, 2024 | Dubai, UAE

Technically Co-Sponsored by IEEE UAE Section

*FLLM 2024 CFP:*

With the emergence of foundation models (FMs) and Large Language Models
(LLMs) that are trained on large amounts of data at scale and adaptable to
a wide range of downstream applications, Artificial intelligence is
experiencing a paradigm revolution. BERT, T5, ChatGPT, GPT-4, Falcon 180B,
Codex, DALL-E, Whisper, and CLIP are now the foundation for new
applications ranging from computer vision to protein sequence study and
from speech recognition to coding. Earlier models had a reputation of
starting from scratch with each new challenge. The capacity to experiment
with, examine, and comprehend the capabilities and potentials of
next-generation FMs is critical to undertaking this research and guiding
its path. Nevertheless, these models are currently inaccessible as the
resources required to train these models are highly concentrated in
industry, and even the assets (data, code) required to replicate their
training are frequently not released due to their demand in the real-time
industry. At the moment, mostly large tech companies such as OpenAI,
Google, Facebook, and Baidu can afford to construct FMs and LLMS. Despite
the expected widely publicized use of FMs and LLMS, we still lack a
comprehensive knowledge of how they operate, why they underperform, and
what they are even capable of because of their emerging global qualities.
To deal with these problems, we believe that much critical research on FMs
and LLMS would necessitate extensive multidisciplinary collaboration, given
their essentially social and technical structure.

The International Conference on Foundation and Large Language Models (FLLM)
addresses the architectures, applications, challenges, approaches, and
future directions. We invite the submission of original papers on all
topics related to FLLMs, with special interest in but not limited to:

- *Architectures and Systems*
- Transformers and Attention
- Bidirectional Encoding
- Autoregressive Models
- Massive GPU Systems
- Prompt Engineering
- Multimodal LLMs
- Fine-tuning
- *Challenges*
- Hallucination
- Cost of Creation and Training
- Energy and Sustainability Issues
- Integration
- Safety and Trustworthiness
- Interpretability
- Fairness
- Social Impact
- * Future Directions*
- Generative AI
- Explainability and EXplainable AI
- Retrieval Augmented Generation (RAG)
- Federated Learning for FLLM
- Large Language Models Fine-Tuning on Graphs
- Data Augmentation
- * Natural Language Processing Applications*
- Generation
- Summarization
- Rewrite
- Search
- Question Answering
- Language Comprehension and Complex Reasoning
- Clustering and Classification
- * Applications*
- Natural Language Processing
- Communication Systems
- Security and Privacy
- Image Processing and Computer Vision
- Life Sciences
- Financial Systems

*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 FLLM 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.

*Important Dates:*

- *Paper submission deadline: June 30, 2024*
- Notification of acceptance: September 15, 2024
- Camera-ready Submission: October 10, 2024

*Contact:*

Please send any inquiry on FLLM to: <emergingtechnetwork@gmail.com>
info@fllm-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] ESA 2024: Call for Papers

32nd Annual European Symposium on Algorithms (ESA 2024)

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

The European Symposium on Algorithms (ESA) is one of the premier
conferences on algorithms and is a part of ALGO 2024, to be held at
Royal Holloway, University of London in Egham, United Kingdom.

IMPORTANT DATES: (all tracks)

- Paper submission deadline: 22 April, 23:59 AoE
(https://easychair.org/conferences/?conf=esa20240)
- Notification: 23 June
- Camera ready: 30 June
- Conference: 2-4 September

CALL FOR PAPERS:

The symposium seeks original algorithmic contributions for problems with
relevant theoretical and/or practical applications. Papers with a strong
emphasis on the theoretical analysis of algorithms should be submitted
to Track A, while papers reporting on the results of extensive
experimental evaluations and/or providing original contributions to the
engineering of algorithms for practical applications should be submitted
to Track B. Submissions that prove or explain results, possibly already
known, in a particularly clear, simple or elegant way should be
submitted to Track S. There will be a Best Student Paper Award as well
as a Best Paper Award, both sponsored by EATCS. In order for a paper to
be considered for the Best Student Paper Award, all of its authors are
required to be students at the time of submission.

PAPER SUBMISSION AND PROCEEDINGS:

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

SUBMISSION GUIDELINES:

Authors are invited to submit an extended abstract or full paper of at
most 12 pages excluding the title page (consisting of title and
abstract), references, and an optional appendix. We recommend, but do
not strictly require, making your initial submission adhere to LIPIcs
publication guidelines. If not using LIPIcs style, the submission should
be typeset using a 10-point or larger font in a single-column format
with ample spacing throughout and 2cm margins all around on A4-size
paper. Proofs omitted due to space constraints must be placed in an
appendix. This appendix can even comprise an entire full version of the
paper. The appendix will be read by the program committee members at
their discretion. In particular, appendices of accepted papers are not
going to be published in the proceedings. The main part of the
submission should therefore contain a clear technical presentation of
the merits of the paper, including a discussion of the paper's
importance within the context of prior work and a description of the key
technical and conceptual ideas used to achieve its main claims. These
guidelines are strict: submissions deviating significantly from these
guidelines risk being rejected without consideration of their merits.
Papers should be submitted electronically via the EasyChair submission
system. Results previously published (or scheduled for publication) in
another conference proceedings or journal will not be accepted at ESA.
Simultaneous submission to other conferences with published proceedings,
journals, or to multiple tracks of ESA 2024, is also not permitted. By
submitting a paper the authors acknowledge that in case of acceptance,
at least one of the authors must register at ALGO 2024, attend the
conference on-site and present the paper. Papers with no author
fulfilling this requirement may risk being removed from the final
conference proceedings (unless there are extenuating circumstances).

DOUBLE-BLIND REVIEWING:

The conference will employ a lightweight double-blind reviewing process.
Submissions should not reveal the identity of the authors in any way. In
particular, authors' names, affiliations, and email addresses should not
appear at the beginning or in the body of the submission. Authors should
ensure that any references to their own related work is in the third
person (e.g., not "We build on our previous work ..." but rather "We
build on the work of ..."). The purpose of the double-blind reviewing is
to help PC members and external reviewers come to an initial judgement
about the paper without bias, not to make it impossible for them to
discover the authors if they were to try. Nothing should be done in the
name of anonymity that weakens the submission or makes the job of
reviewing the paper more difficult. In particular, important references
should not be omitted or anonymized. In addition, authors should feel
free to disseminate their ideas or draft versions of their paper as they
normally would. For example, authors may post drafts of their papers on
the web, submit them to arXiv, and give talks on their research ideas.
In case there exist publicly available versions of the submission
online, the authors might mention this in their submission (without
providing references/links), and briefly explain the differences if any.
Alternatively, they might communicate the details to the chairs, who
will keep them confidential unless revealing them to the PC is needed
for a fair judgement. Authors with further questions on double-blind
reviewing are encouraged to contact the PC chairs.

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

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

PC SUBMISSIONS:

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

TOPICS:

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

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

INVITED SPEAKERS:

- Vincent Cohen-Addad, Google Research, France
- Eva Rotenberg, Technical University of Denmark

PC CHAIRS:

- Timothy Chan, University of Illinois at Urbana-Champaign (Track A)
- Johannes Fischer, TU Dortmund University (Track B)
- John Iacono, Université libre de Bruxelles (Track S)

PC MEMBERS (TRACK A):

- Josh Alman, Columbia University
- Sayan Bhattacharya, University of Warwick
- Andreas Björklund, IT University of Copenhagen
- Gerth Stølting Brodal, Aarhus University
- Jean Cardinal, Université libre de Bruxelles
- Timothy Chan (chair), University of Illinois at Urbana-Champaign
- Yi-Jun Chang, National University of Singapore
- Panagiotis Charalampopoulos, Birkbeck, University of London
- Li Chen, Carnegie Mellon University
- Vida Dujmović, University of Ottawa
- Moran Feldman, University of Haifa
- Jeremy Fineman, Georgetown University
- Nick Fischer, Weizmann Institute
- Emily Fox, University of Texas at Dallas
- Loukas Georgiadis, University of Ioannina
- Petr Golovach, University of Bergen
- Nick Gravin, Shanghai University of Finance and Economics
- Elena Grigorescu, Purdue University
- Thekla Hamm, Utrecht University
- Bart M. P. Jansen, Eindhoven University of Technology
- Adam Karczmarz, University of Warsaw and IDEAS NCBR
- Ken-ichi Kawarabayashi, National Institute of Informatics, Japan
- Laura Vargas Koch, University of Bonn
- László Kozma, Freie Universität Berlin
- Bundit Laekhanukit, Shanghai University of Finance and Economics
- Alexandra Lassota, Eindhoven University of Technology
- Hung Le, University of Massachusetts, Amherst
- Moshe Lewenstein, Bar-Ilan University
- Nikhil Mande, University of Liverpool
- Tillmann Miltzow, Utrecht University
- Matthias Mnich, Hamburg University of Technology
- Yakov Nekrich, Michigan Technological University
- Mohammad Salavatipour, University of Alberta
- Laura Sanità, Bocconi University
- Saket Saurabh, Institute of Mathematical Sciences, Chennai
- Roohani Sharma, Max-Planck Institute for Informatics
- Anastasios Sidiropoulos, University of Illinois at Chicago
- Makrand Sinha, University of Illinois at Urbana-Champaign
- Seeun William Umboh, The University of Melbourne
- Pavel Veselý, Charles University
- Adrian Vladu, CNRS & IRIF, Université Paris Cité
- Erik Waingarten, University of Pennsylvania
- Yinzhan Xu, Massachusetts Institute of Technology
- Yuichi Yoshida, National Institute of Informatics, Japan
- Samson Zhou, Texas A&M University
- Goran Žužić, Google Research, Zürich

PC MEMBERS (TRACK B):

- Carola Doerr, CNRS and Sorbonne University
- Jonas Ellert, École Normale Supérieure Paris
- Johannes Fischer (chair), TU Dortmund University
- Yan Gu, University of California at Riverside
- Akshay Gupte, University of Edinburgh
- Sharat Ibrahimpur, London School of Economics
- Stephen Kobourov, University of Arizona
- Dominik Köppl, University of Yamanashi
- Florian Kurpicz, Karlsruhe Institute of Technology
- Zsuzsanna Liptak, University of Verona
- Quanquan Liu, Yale University
- Ulrich Meyer, Goethe University Frankfurt
- André Nusser, Inria Center at Université Côte d'Azur
- Valentin Polishchuk, Linköping University
- Rajeev Raman, University of Leicester
- Leena Salmela, University of Helsinki
- Lena Schlipf, University of Tübingen
- Christiane Schmidt, Linköping University
- Bob Sedgewick, Princeton University
- Darren Strash, Hamilton College

PC MEMBERS (TRACK S):

- Philip Bille, Technical University of Denmark
- Greg Bodwin, University of Michigan
- Yixin Cao, Hong Kong Polytechnic University
- Talya Eden, Bar-Ilan University
- Fabrizio Frati, Università degli Studi Roma Tre
- Maximilian Probst Gutenberg, Eidgenössische Technische Hochschule Zürich
- Torben Hagerup, Universität Augsburg
- John Iacono (chair), Université libre de Bruxelles
- Katharina Klost, Freie Universität Berlin
- Sixue Cliff Liu, Carnegie Mellon University
- Pat Morin, Carleton University
- Christopher Musco, New York University
- Alantha Newman, Université Grenoble Alpes
- Eric Price, The University of Texas at Austin
- Jakub Radoszewski, University of Warsaw and Samsung R&D Warsaw
- Bettina Speckmann, Technische Universiteit Eindhoven
- Sebastian Wild, University of Liverpool
- David P. Williamson, Cornell University

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