Wednesday, July 31, 2024

[DMANET] DC Online Resources (IFORS)

As our material progresses, this is just a reminder every now and then.
To access information regarding IFORS Developing Countries resources, its regular updates – and to submit your possible "free" (not copyright protected) material, you may occasionally visit the link:

http://ifors.org/developing_countries/index.php?title=Main_Page .

With this open online resources page we aim to provide a platform to make research and applications of OR widely accessible to the entire OR community including researchers, academicians and scholars in the Developing Countries (DCs).

For this purpose we invite scholarly contributions spanning across all areas and sectors ranging from arts and science, to communication and education.

The International Federation of Operational Research Societies (https://www.ifors.org) is a 65-year-old organization which is currently composed of 54 national societies. Regional Groups of are: ALIO (The Latin American Ibero Association on Operations Research), APORS (The Association of Asian-Pacific Operational Research Societies), EURO (The Association of European Operational Research Societies), NORAM (The Association of North American Operations Research Societies). conferences are held every three years. The conference 2023 was held very successfully in Santiago, Chile; the next exciting IFORS conference will be celebrated in 2026 in Vienna. Please visit the following link for details regarding the same: https://www.ifors2026.at/home/.

Thank you very much for your attention. We look forward to your enthusiastic participation and scholarly contributions.

**********************************************************
*
* 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] IEEE HONET 2024- Deadline extended until August 31' 2024 ( firm ! )

Due to multiple requests, we are pleased to announce that the Steering and Conference Committees agreed to extend the deadline for submission of the contributed papers, short invited papers, and students' poster papers until August 31' 2024 ( firm ! ).
Papers that have been submitted are already in the review process and will recieve decision notification on the original schedule.

CALL FOR PAPERS
2024 IEEE 21st International Conference on Smart Communities: Improving Quality of Life using AI, Robotics and IoT (HONET)
December 03-05, 2024
University of Doha for Science & Technology
Doha, Qatar
https://honet-ict.org

We are delighted to announce our keynote speakers:
- Dr. Gordon Cheng: Fellow IEEE, Professor and Coordinator Center of Competence Neuro-Engineering in ECE Department, Technical University Munich, Germany
- Dr. James Won-Ki Hong: Professor, Dept. of Computer Science and Engineering, Dir. Distributed Processing & Networks Management Lab, Pohang University of Science and Technology (POSTECH), Korea
- Dr. Mohammad Shahidehpour: Fellow IEEE, Bodine Chair Professor and Director, Galvin Center for Electricity Innovation, Illinois Institute of Technology

SPONSORS:
- University of Doha for Science & Technology, Doha, Qatar
- HONET-ICT cf. Center for Opto-electronics and Optical Communication, UNC Charlotte, Charlotte NC 28223, USA
- IEEE Qatar Section
- IEEE North Carolina Council

TOPICS OF INTEREST:
Authors are invited to submit R&D and concept papers presenting original research work related to the practice and theory related to the scope of HONET thematic areas. Related proposals for Workshops and Tutorials will be considered. All submissions must describe original and pertinent research, development, and future vision. The topics of interest include, but are not limited to the ones shown below.

These topics should be discussed in terms of research findings, concepts, state-of-the-art, standards, implementations, developments, field trials/experiments, educational goals, and new applications. Submitted or substantially similar papers must not be under review currently for any other publication.

1. AI & IoT
a. Enhancing the capabilities of Smart Communities using AI
b. Machine Learning models for Smart Cities (LSTM, Deep Learning, Transformers)
c. Realizing Smart Localities using IoT
2. Robotics
a. Robotics & Automation
b. Autonomous Vehicles and Charging Technologies
c. Computer Vision
3. Computer and Communication Networks and Network Security
a. Wireless Networks
b. Photonic Networks
c. 5G Communication and beyond
d. Software Defined Networks (SDN)
e. Network Security and Forensic Analysis
4. Energy and Power Technologies
a. Renewable Energy Sources
b. Smart-Grids and Robust Infrastructure
c. Smart Storage and Demand & Response
d. Micro Grid Analytics and Management
e. Smart Grid and Smart Cities
5. Photonics
a. LEDs, Lasers and Solar Cells and Panels
b. Packaging

STEERING COMMITTEE
M. Yasin Akhtar Raja, Senior Member IEEE, Optica and Fellow SPIE, Prof. Phys. & Optical Science,
Optoelectronics & Optical Communication, UNC Charlotte, NC, USA

Rachid Benlamri, Prof. & VP Academics, University of Doha for Science & Technology, Doha, Qatar

Glenn D. Boreman, Prof. and Chair Physics & Optical Science, Fellow IEEE, SPIE and Optica,
Dir. Center for Optoelectronics & Optical Communication, UNC Charlotte, USA

M. Iqbal Choudhary, Prof., Coordinator General COMSATS, Islamabad, Pakistan

GENERAL CHAIRS
Rachid Benlamri, Prof. & VP Academics, University of Doha for Science & Technology, Doha, Qatar

M. Yasin Akhtar Raja, Senior Member IEEE, Optica and Fellow SPIE, Prof. Physics & Optical Science,
Optoelectronics & Optical Communication, UNC Charlotte, NC, USA

CONFERENCE CHAIRS
Zakaria Maamar, Prof., University of Doha for Science & Technology, Doha, Qatar

Mohammad Ilyas, SMIEEE, Prof., Dept. EE & CS, College of Engineering and Computer Science, Florida Atlatic University, Boca Raton, Florida, USA


IMPORTANT DATES:
Full Len Papers Due: 31 Aug 2024
Short Papers Due: 31 Aug 2024
Acceptance Notification: from 31 Aug 2024
Camera Ready Due: 15 Sep 2024
Registration Deadline: 15 Sep 2024
Program Available: 01 Oct 2024


Accepted and presented papers will be published in the conference proceedings and submitted to IEEE Xplore as well as other Abstracting and Indexing (A&I) databases.

Visit https://honet-ict.org for more details and instructions on paper submission.
Instructions for paper submission: https://honet-ict.org/author-inst.html
Submit your paper: https://edas.info/N32390

IEEE HONET 2024
TPC 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] Deadline Extension to 01.09.2024: TISMIR Special Collection on Multi-Modal Music Information Retrieval

Dear list,

**we have been delighted with the response to this collection and due to numerous requests
for
additional time, we are extending the deadline for all submissions to the 1st of September to
allow a bit more time for teams to polish off their manuscripts and ensure high quality
submissions
for this collection.* *
*
Extended Deadline for Submissions*

**01.09.2024*
*

*Scope of the Special Collection*
Data related to and associated with music can be retrieved from a variety of sources or
modalities:
audio tracks; digital scores; lyrics; video clips and concert recordings; artist photos
and album covers;
expert annotations and reviews; listener social tags from the Internet; and so on.
Essentially, the ways
humans deal with music are very diverse: we listen to it, read reviews, ask friends for
recommendations, enjoy visual performances during concerts, dance and perform rituals, play
musical instruments, or rearrange scores.

As such, it is hardly surprising that we have discovered multi-modal data to be so
effective in a range
of technical tasks that model human experience and expertise. Former studies have already
confirmed that music classification scenarios may significantly benefit when several
modalities are
taken into account. Other works focused on cross-modal analysis, e.g., generating a
missing modality
from existing ones or aligning the information between different modalities.

The current upswing of disruptive artificial intelligence technologies, deep learning, and
big data
analytics is quickly changing the world we are living in, and inevitably impacts MIR
research as well.
Facilitating the ability to learn from very diverse data sources by means of these
powerful approaches
may not only bring the solutions to related applications to new levels of quality,
robustness, and
efficiency, but will also help to demonstrate and enhance the breadth and interconnected
nature of
music science research and the understanding of relationships between different kinds of
musical
data.

In this special collection, we invite papers on multi-modal systems in all their
diversity. We particularly
encourage under-explored repertoire, new connections between fields, and novel research areas.
Contributions consisting of pure algorithmic improvements, empirical studies, theoretical
discussions,
surveys, guidelines for future research, and introductions of new data sets are all
welcome, as the
special collection will not only address multi-modal MIR, but also cover multi-perspective
ideas,
developments, and opinions from diverse scientific communities.

*Sample Possible Topics*
● State-of-the-art music classification or regression systems which are based on several
modalities
● Deeper analysis of correlation between distinct modalities and features derived from them
● Presentation of new multi-modal data sets, including the possibility of formal analysis and
theoretical discussion of practices for constructing better data sets in future
● Cross-modal analysis, e.g., with the goal of predicting a modality from another one
● Creative and generative AI systems which produce multiple modalities
● Explicit analysis of individual drawbacks and advantages of modalities for specific MIR
tasks
● Approaches for training set selection and augmentation techniques for multi-modal classifier
systems
● Applying transfer learning, large language models, and neural architecture search to
multi-modal contexts
● Multi-modal perception, cognition, or neuroscience research
● Multi-objective evaluation of multi-modal MIR systems, e.g., not only focusing on the
quality,
but also on robustness, interpretability, or reduction of the environmental impact during the
training of deep neural networks

*Guest Editors*
● Igor Vatolkin (lead) - Akademischer Rat (Assistant Professor) at the Department of Computer
Science, RWTH Aachen University, Germany
● Mark Gotham - Assistant professor at the Department of Computer Science, Durham
University, UK
● Xiao Hu - Associated professor at the University of Hong Kong
● Cory McKay - Professor of music and humanities at Marianopolis College, Canada
● Rui Pedro Paiva - Professor at the Department of Informatics Engineering of the
University of
Coimbra, Portugal

*Submission Guidelines*
Please, submit through https://transactions.ismir.net, and note in your cover letter that
your paper is
intended to be part of this Special Collection on Multi-Modal MIR.
Submissions should adhere to formatting guidelines of the TISMIR journal:
https://transactions.ismir.net/about/submissions/. Specifically, articles must not be
longer than
8,000 words in length, including referencing, citation and notes.

Please also note that if the paper extends or combines the authors' previously published
research, it
is expected that there is a significant novel contribution in the submission (as a rule of
thumb, we
would expect at least 50% of the underlying work - the ideas, concepts, methods, results,
analysis and
discussion - to be new).

In case you are considering submitting to this special issue, it would greatly help our
planning if you
let us know by replying to igor.vatolkin@rwth-aachen.de.

Kind regards,
Igor Vatolkin
on behalf of the TISMIR editorial board and the guest editors

--
Dr. Igor Vatolkin
Akademischer Rat
Department of Computer Science
Chair for AI Methodology (AIM)
RWTH Aachen University
Theaterstrasse 35-39, 52062 Aachen
Mail:igor.vatolkin@rwth-aachen.de
Skype: igor.vatolkin
https://www.aim.rwth-aachen.de
https://sig-ma.de
https://de.linkedin.com/in/igor-vatolkin-881aa78
https://scholar.google.de/citations?user=p3LkVhcAAAAJ
https://ls11-www.cs.tu-dortmund.de/staff/vatolkin

**********************************************************
*
* 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] Two Ph.D. Positions on High-Performance * Optimization @Pisa

The Doctorate School in Computer Science at The University of Pisa is happy to announce the opening of two fully-funded three-years Ph.D. positions (extension to a fourth year if necessary can be considered) on

High-Performance Energy Optimization for Renewable Energy Communities

High-Performance Public Transport Optimization

The positions arise in the context of long-standing research lines. In particular, the first is related with the Italian PNNR "Network 4 Energy Sustainable Transition – NEST", the PRIN project "Large-scale optimization for sustainable and resilient energy systems", and the RESILIENT CET Partnership

https://www.destec.unipi.it/progetti-di-ricerca/progetto-resilient-energy-system-infrastructure-layouts-industry-e-fuels-and

(among others) for the study of optimization of energy systems at all scales, from Renewable Energy Communities to the European level. The second is rather in collaboration with M.A.I.O.R. S.r.L,

https://www.maior.it

an ante-litteram spin-off of the Department of Computer Science of the University of Pisa since over 30 years a leading company in Decision Support Systems for Public Transport companies and regulators, with customers in over 100 cities in Europe, North America, the Middle East, Oceania, South America, and Asia.

Both positions will strive to push the current boundaries of optimization approaches using the innovative C++ software framework SMS++

https://gitlab.com/smspp/smspp-project

to develop sophisticated algorithms for large-scale, hard optimization problems. Significant methodological research in fields like decomposition approaches, parallel search, and others (depending on the tastes and inclinations of the students) will have to be conjoined with dedication to significant practical applications and implementation of efficient, well-designed, well-documented, well-tested open-source software.

Details of the call, and about how to apply, can be found at

https://dottorato.unipi.it/index.php/en/application-process-for-the-academic-year-2024-2025/item/874.html

Scroll at the end of the page, click on the "Annexes" link, and search for

INFO05_C INFO06_C

Admission is conditioned on obtaining a Master Degree in any scientific subject by October 31, 2024.

Deadline for the application is August, 22 2024@13:00 (CET).

Potentially interested candidates are very welcome to direct any question to Antonio Frangioni (frangio@di.unipi.it).


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

[DMANET] tenure-track associate professor position in Operations Research at the Department of Computer Science of the University of Pisa

The Department of Computer Science of the University of Pisa is happy to announce the opening of a tenure-track associate professor position (RTT) in Operations Research. It is a 6-years fixed-term contract, including teaching duties, that becomes permanent upon condition of acquiring the Italian National Habilitation as Associate Professor within the period. Italian language is not strictly required (teaching duties in English are possible), but since this is in prospect a permanent position it should be acquired in the mid-term.

The position arises in the context of the Operations Research group at the Department, counting five permanent professors and three fixed-term ones, with varied research interests in methodologies such as discrete and nonlinear optimization, game theory, and variational problems, pursuing applications in various domains such as energy, logistics, telecommunications, and healthcare, and actively collaborating with colleagues in numerical analysis, algorithmics, parallel computing, machine learning, and others.

More information is available at

https://commalab.di.unipi.it

Researchers working in all areas of Operations Research are welcome to apply.

Full details on the application procedure can be found at

https://bandi.unipi.it/public/Bandi/Detail/3745280f-4e52-4bfa-ac33-489000cfc817

Deadline for the application is August, 29@13:00, Italian time. Feel free to contact any Operations Research professor of the Department for further information.


**********************************************************
*
* 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] ASPOCP 2024@ICLP- EXTENDED DEADLINE

Please note the extended deadline for ASPOCP 2024

[Apologies for cross-posting]


=======================================================================
*EXTENDED SUBMISSION DEADLINE*

*IMPORTANT DATES*

** Abstract submission deadline:*08 August 2024* **
**  Paper submission deadline:*15 August 2024* **
** Notification:*10 September 2024* **
======================================================================


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

                                  CALL FOR PAPERS
ASPOCP2024
        17th Workshop on Answer Set Programming and Other Computing
Paradigms
https://sites.google.com/unical.it/aspocp2024/

                               October 12 or October 13


      Affiliated with ICLP 2024, 40th International Conference on Logic
Programming
https://www.iclp24.utdallas.edu/
                                  October 11 - 17, 2024


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

AIMS AND SCOPE

 Since its introduction in the late 1980s, Answer Set Programming (ASP)
has been widely applied to various knowledge-intensive tasks and
combinatorial search problems.ASPwas found to be closely related to SAT,
which led to a new method of computing answer sets using SAT solvers and
techniques adapted from SAT. This has been a much studied relationship,
and is currently extended towards satisfiability modulo theories (SMT).
The relationship ofASPto other computing paradigms, such as constraint
satisfaction, quantified Boolean formulas (QBF), Constraint Logic
Programming (CLP), first-order logic (FOL), and FO(ID) is also the
subject of active research. Consequently, new methods of computing
answer sets are being developed based on relationships to these formalisms.

 Furthermore, the practical applications ofASPalso foster work on
multi-paradigm problem-solving, and in particular language and solver
integration. The most prominent examples in this area currently are the
integration ofASPwith description logics (in the realm of the Semantic
Web) and constraint satisfaction (which recently led to the Constraint
Answer Set Programming (CASP) research direction).

 A large body of general results regardingASPis available and several
efficientASPsolvers have been implemented. However, there are still
significant challenges in applyingASPto real life applications, and more
interest in relatingASPto other computing paradigms is emerging. This
 workshop will provide opportunities for researchers to identify these
challenges and to exchange ideas for overcoming them.

TOPICS

 Topics of interests include (but are not limited to):
 -ASPand classical logic formalisms (SAT/FOL/QBF/SMT/DL).
 -ASPand constraint programming.
 -ASPand other logic programming paradigms, e.g., FO(ID).
 -ASPand other nonmonotonic languages, e.g., action languages.
 -ASPand external means of computation.
 -ASPand probabilistic reasoning.
 -ASPand knowledge compilation.
 -ASPand machine learning.
 - New methods of computing answer sets using algorithms or systems of
other paradigms.
 - Language extensions toASP.
 -ASPand multi-agent systems.
 -ASPand multi-context systems.
 - Modularity andASP.
 -ASPand argumentation.
 - Multi-paradigm problem solving involvingASP.
 - Evaluation and comparison ofASPto other paradigms.
 -ASPand related paradigms in applications.
 - HybridizingASPwith procedural approaches.
 - Enhanced grounding or beyond grounding.


SUBMISSIONS

 The workshop invites two types of submissions:
  - original papers describing original research.
  - non-original paper already published on formal proceedings or journals.
 Original papers must not exceed 13 pages (excluding references) and
must be formatted using the 1-column CEURART style availablehere
<https://drive.google.com/file/d/15jC34VXDf8GUMMpobnvaAaX0R4RSQ18v/view?usp=share_link>.
 A ready-to-clone overleaf project containing a 1-column CEURART style
is availablehere <https://www.overleaf.com/read/cqxqwrgjccwk#deb4a7>.

 Authors are requested to clearly specify whether their submission is
original or not with a footnote on the first page.
 Authors are invited to submit their manuscripts in PDF via the
EasyChair system at the
link:https://easychair.org/my/conference?conf=aspocp2024 .

 IMPORTANT DATES

  Abstract submission deadline:                              08 August 2024
  Paper submission deadline:                                 15 August 2024
  Notification:                                              10
September 2024


PROCEEDINGS

 Authors of all accepted original contributions can opt to publish
their work in formal proceedings.
 Accepted non-original contributions will be given visibility on the
conference web site including a link to the original publication, if
already published.

 A selection of extended and revised versions of accepted papers could
appear in a special issue.
 Extended versions of accepted non-original contributions, if not
published in a journal yet, might be included in the issue.


WORKSHOP CO-CHAIRS

 Francesco Pacenza, Department of Mathematics and Computer Science,
University of Calabria, Italy
 Zeynep G. Saribatur, Institute of Logic and Computation, TU Wien, Austria


PROGRAM COMMITTEE

Mario Alviano, University of Calabria Marcello Balduccini, Saint
Joseph's University Pedro Cabalar, University of Corunna Francesco
Cauteruccio, University of Salerno Stefania Costantini, University of
L'Aquila Carmine Dodaro, University of Calabria Stefan Ellmauthaler, TU
Dresden Esra Erdem, Sabanci University Wolfgang Faber, University of
Klagenfurt Cristina Feier Johannes K. Fichte, Linköping University
Martin Gebser, University of Klagenfurt Tobias Geibinger, TU Wien Markus
Hecher, Massachusetts Institute of Technology Giovambattista Ianni,
University of Calabria Daniela Inclezan, Miami University Tomi Janhunen,
Tampere University Vladimir Lifschitz, The University of Texas at Austin
Marco Maratea, University of Calabria Tran Cao Son, New Mexico State
University Alice Tarzariol, University of Klagenfurt Johannes P.
Wallner, TU Graz Stefan Woltran, TU Wien Jia-Huai You, University of
Alberta Jessica Zangari, University of Calabria

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

Tuesday, July 30, 2024

[DMANET] Autumn school on Probability in Computer Science (PICS)

Autumn school on Probability in Computer Science (PICS)
=======================================================
The 5th PhD School on Foundations of Programming and Software Systems Copenhagen, October 14–18, 2024

Program and registration:
https://etaps.org/about/fopss-schools/2024/

PICS is the 5th school in the series of Foundations of Programming and
Software Systems schools, an initiative of ACM SIGLOG, ACM SIGPLAN,
the European Association on Theoretical Computer Science, and ETAPS
(European Conference on Theory and Practice of Software Systems). PICS
is not an ordinary PhD school. It crosses many disciplines, asking
speakers from diverse research areas to deliver their favorite stories
battle on use of probability in computer science. We have outstanding
lecturers from different areas of computing such as security, AI,
randomized algorithms, probabilistic databases, and so forth.

We invite attendees primarily from Computer Science and Mathematics,
mostly PhD students, and exceptional MSc students from research-based
programs.

SPEAKERS
========

* Alexandra Silva, Cornell University

* Antonio Vergari, University of Edinburgh
Probabilistic circuits: from tractable probabilistic inference to
reliable neuro-symbolic AI

* Dan Suciu, University of Washington
Information Theory for Relational Query Processing

* Joseph Halpern, Cornell University
Causality, Explanation, and Harm

* Mikkel Thorup, University of Copenhagen
Hashing in Probabilistic Algorithms

* Philipp Hennig, University of Tübingen
Probabilistic Numerics — Computation as Inference

* Ivan Damgård, Aarhus University
On the many crucial roles played by randomness in cryptography

* Marta Kwiatkowska, University of Oxford
Probabilistic verification for neural networks

The school will take place in the IT University in Copenhagen,
Denmark. This location is in the vicinity of the international airport
of Copenhagen and to Copenhagen Central Railway station, close to the
beautiful city centre. The IT University building boasts world famous
architecture by Henning Larsen Architects.

==============================================
Early registration deadline: September 1, 2024
==============================================

Student registration rate: 2350 DKK
(ca. 320 EUR for 5 days incl. access to venue, catering, and social events).

A small number of registration waivers are available for students from
underfunded countries and environments. The participants from overseas
will be offered the opportunity to use the ETAPS association extended
stay program.

Organizers:

* Joost Pieter Katoen (RWTH Aachen)
* Andrzej WÄ…sowski (ITU Copenhagen)
* Raul Pardo (ITU Copenhagen)

Contact: pics2024@itu.dk

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

[DMANET] Real-Time Intelligent Systems 2024

Sixth International Conference on Real-Time Intelligent Systems (RTIS 2024)
Tien Giang University
My Tho (near Ho-chi-Minh)
Vietnam
October 17-19, 2024
www.socio.org.uk/rtis
Springer Lecture Notes in Networks and Systems (LNNS)

The International Conference on Real-time Intelligent Systems (RTIS) has traveled from Beijing, China (2016), to Ho-Chi-Min, Vietnam. The sixth edition will take place at Tien Giang University.

Over the last few years, real-time intelligent computing has radically transformed the human lifestyle. Research on real-time intelligent systems is multi-disciplinary, exploiting concepts from diverse areas such as big data processing, computational intelligence, location-based services, recommendation systems, and multimedia processing. In today's highly dynamic environment, analysing data in real-time is necessary to understand how systems process data, reason the outputs, and anticipate trends in intelligent computing. To this end, this conference will serve as a platform to manifest the ongoing research in the field. Thus, RTIS welcomes theoretically grounded, methodologically sound papers that address aspects related to topics, such as:

Artificial Intelligence and Data mining
Streaming data, streaming engines
Trace-based intelligent real-time services
Adaptive vision algorithms
Location-based services
Intelligent Robotic Systems
Collaborative Intelligence

Data capture in real-time
Data quality and cleansing
Intelligent Data Analysis
Intelligent Database Systems
Knowledge representation and reasoning
Intelligent information fusion
Large Language Models, cognitive methods, sequential inference, data mining, pattern/behavioral analysis,
Big Data systems and applications for high-velocity data
Intelligent Information Systems
Privacy and security in Intelligence
Software Engineering Solutions

Intelligent Soft Computing
Real-time multiprocessor systems
Internet of Things
Architectures for Intelligence
Real-time distributed coding
Smart services and platforms
Real-time modelling user information needs
Wireless Communication

Real-time intelligent communication
Real-time intelligent network solutions
Mobile Smart Systems
Broadband Intelligence
Cloud Computing and Intelligence
Collaborative Intelligence
Analysis in domains such as energy, sensors

Decision support systems in real-time
Multi-agent Intelligent Systems
Multilingual information access
Recommendation systems
Real-time intelligent alert systems
Real-time remote access systems
Intelligent Transportation Systems

Autonomous systems (incl. autonomous vehicles and drones)
Distributed systems
Cloud/edge computing/fusion
Defence/security, robotics, aerospace, intelligent transportation
Mining/Manufacturing
Environmental monitoring

Critical Real-time Applications

Real-time noise removal systems
Event-driven analytics
Intelligent Fuzzy Systems
Machine translation in real-time
OLAP for real-time decision support
Crowdsourcing and crowd intelligence

Submission, proceedings

Papers must be submitted online through OpenConf. Author instructions and LaTex2e (preferred) and Word macro files are available on the submission page. Submitted papers should be at most 14 pages (long papers) and 8 pages (short ones), including figures, tables and references (in the Springer template). Authors of accepted papers are required to transfer their copyrights. For a paper to appear in the proceedings, at least one of the authors MUST register for the conference by the camera-ready submission deadline with a full registration.
Springer's Lecture Notes in Networks and Systems (LNNS) (https://www.springer.com/series/15179) will publish the accepted papers and be indexed in SCOPUS, EI Compendex, INSPEC, WTI Frankfurt eG, zbMATH, and SCImago.
All the papers published in the series are submitted for consideration in the Web of Science.

Important Dates

Submission of papers: August 05, 2024
Notification: September 01, 2024
Camera-ready: October 01, 2024
Registration: October 01, 2024
Conference Dates: October 17-19, 2024

Honorary Chair
Vo Ngoc Ha, Tien Giang University, Vietnam

General Chairs
Le Minh Tung, Tien Giang University, Vietnam
Martín LÓPEZ-NORES, University of Vigo, Spain

Program Chairs
Nguyen Hoang Vu, Tien Giang University, Vietnam
Pit Pichappan, Digital Information Research Labs, India & UK
Dion Goh Hoe Lian, Nanyang Technological University, Singapore

Co-Program Chairs
Duong Van Hieu, Tien Giang University, Vietnam
Ricardo Rodriguez-Jorge, Technological Centre Ceit, Spain
Pavel Losket, Zhejiang University-University of Illinois at Urbana Champaign Institute, China

Organizing Chair
Cao Nguyen Thi, Tien Giang University, Vietnam

Publicity Chair
Beniysa Mohsin, LTI laboratory, Abdelmalek Essaâdi University, Morocco

Paper submission at https://socio.org.uk/rtis/paper-submission/

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

Monday, July 29, 2024

[DMANET] New graduate textbook: Graph Coloring Methods

My graduate textbook, Graph Coloring Methods, is available as a free pdf at:

graphcoloringmethods.com

Each chapter studies a single method, and presents numerous examples
applying that method, generally in order of increasing difficulty. The
book is designed to be suitable for a topics course in graph coloring,
as well as self-study. The chapters are listed below.

1. Greedy Coloring
2. Gadgets: Constructions for Lower Bounds
3. Recoloring
4. Vertex Identification: Coloring Planar Graphs
5. The Kernel Method
6. Deletion and Contraction: Nowhere-Zero Flows
7. Rosenfeld Counting
8. The Combinatorial Nullstellensatz
9. The Activation Strategy
10. The Vertex Shuffle
11. Precoloring Extension
12. The Potential Method
A. The Rest of the Story

Daniel Cranston
**********************************************************
*
* 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] FSEN 2025 - 2nd Call for Papers

SECOND CALL FOR PAPERS

Eleventh International Conference on

Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25)

https://conf.researchr.org/home/fsen-2025

Västerås, Sweden

7,8 April 2025

######################################################################

-- About FSEN --

Fundamentals of Software Engineering (FSEN) is an international conference
that aims to bring together researchers, engineers, developers, and
practitioners
from academia and industry to present and discuss their research work in
the area
of formal methods for software engineering. Additionally, this
conference seeks to
facilitate the transfer of experience, adaptation of methods, and where
possible,
foster collaboration among different groups. The topics of interest
cover all aspects
of formal methods, especially those related to advancing the application
of formal methods
in the software industry and promoting their integration with practical
engineering
techniques. Following the success of the previous FSEN editions, the
next edition
of the FSEN conference will take place in Västerås, Sweden, April 7-8, 2025.

-- Important Dates --

Abstract Submission: October 7, 2024 (AoE)

Paper Submission: October 14, 2024 (AoE)

Notification: December 2, 2024

Final Camera-ready Submission: January 13, 2025 (AoE)

Conference: April 7-8, 2025

-- Keynote Speakers (confirmed) --

Işıl Dillig, University of Texas at Austin

Alexander Serebrenik, Eindhoven University of Technology

Marielle Stoelinga, University of Twente and Radboud University, Nijmegen

-- Topics of Interest --

The topics of this conference include, but are not restricted to, the
following:

* Models of programs and software systems

* Software specification, validation, and verification

* Software testing

* Software architectures and their description languages

* Object, actor and multi-agent systems

* Coordination, feature interaction and software product lines

* Integration of formal and informal methods

* Integration of different formal methods

* Component-based and service-oriented software systems

* Collective, self-adaptive and cyber-physical software systems

* Model checking and theorem proving

* Quantitative formal methods

* Software and hardware verification

* CASE tools and tool integration

* Industrial applications

-- Paper Submission --

Authors are invited to submit full papers (up to 15 pages including
references) describing
original research, applications and tools; or short papers (up to 6
pages including references)
describing ongoing research or new ideas that have not yet been fully
validated. Both categories
of papers must be submitted electronically in PDF using the online
submission process via the
Easychair conference system at the following link:
https://www.easychair.org/conferences/?conf=fsen2025 .

Contributions must be written in English, should be formatted according
to the Springer LNCS style
(LaTeX2e Proceedings Templates) that can be found at the following link
(http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)
and not exceed the page limit for the category (including figures and
references).

Each submission will be thoroughly reviewed by at least three reviewers
considering scientific originality,
significance, relevance to the FSEN conference, technical soundness,
clarity, self-containedness and
discussion of appropriate related work.

The reviewers will be asked to rate the submissions and evaluate whether
they can be accepted as:

1) Full paper for the LNCS proceedings

2) Short paper for the LNCS proceedings

3) Poster (not included in the proceedings)

Papers accepted in the first 2 categories will be invited for
presentation at the conference.
Posters will be illustrated by the authors in separate poster sessions.

Submissions are required to report on original, unpublished work and
should not be submitted
simultaneously for publication elsewhere
(cf. IFIP's Author Code of Conduct, see http://www.ifip.org/
under Publications/Links).


-- Proceedings and Special Issue --

The post-proceedings of FSEN'25 will be published by Springer in the
LNCS series.
Following the tradition of FSEN, we plan to have a special issue of the
Science of Computer Programming journal devoted to FSEN'25. After the
conference
a selection of papers will be invited for this special issue. The
invited papers
should be revised and extended and will undergo a new round of review by an
international program committee. Please see the websites of previous
editions of
FSEN for more information on post-proceedings and special issues related
to those editions.

-- General Chair --

Marjan Sirjani, Malardalen University, Sweden

-- Program Chairs --

Georgiana Caltais - University of Twente, Netherlands
Hossein Hojjat - Tehran Institute for Advanced Studies, Iran

-- Publicity Chair --

Petra van den Bos, University of Twente, The Netherlands


-- Steering Committee --

Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands

Christel Baier - University of Dresden, Germany

Mieke Massink, CNR-ISTI Pisa, Italy

Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran

Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran

Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University,
Iceland (Chair)

Carolyn Talcott - SRI International, USA

Martin Wirsing - LMU Munich, Germany

-- Program Committee --

See website: https://conf.researchr.org/home/fsen-2025


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

Saturday, July 27, 2024

[DMANET] University of Copenhagen professorships at all levels within all areas of computer science

The Department of Computer Science at the University of Copenhagen
(DIKU) invites applications from professors at all levels within all
areas of computer science to join our department! Needless to say, the
Algorithms and Complexity Section would particularly welcome strong
applicants in algorithms, complexity theory, and automated reasoning to
strengthen and expand our world-leading research environment.

DIKU hosts the Basic Algorithms Research Copenhagen centre (BARC,
https://barc.ku.dk/) joint with the IT University of Copenhagen (ITU),
and we also have extensive collaborations with the Technical University
of Denmark (DTU) and with Lund University on the Swedish side of the
Oresund Bridge, as well as with our many visitors. We aim to attract top
talent from around the world to an ambitious, creative, collaborative,
and fun environment. Using the power of mathematics, we strive to create
fundamental breakthroughs in algorithms and complexity theory. While the
focus in on foundational research, we do have a track record of
surprising algorithmic discoveries leading to major industrial applications.

The application deadline is September 1, 2024. See
https://di.ku.dk/english/about/vacancies/tenure-track-assistant-associate-or-full-professor-in-computer-science/
for more information including instructions how to apply. Please do not
hesitate to contact Mikkel Thorup at mthorup@di.ku.dk or Jakob Nordström
at jn@di.ku.dk if you are interested in learning more about this or
other opportunities to join one of the most exciting and dynamic
environments in foundational computer science in Europe!
**********************************************************
*
* 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, July 26, 2024

[DMANET] [CP 2024] - Call for Participation

Call for Participation

Thirtieth International Conference on Principles and Practice of Constraint Programming (CP 2024) September 02-06, 2024, Girona, Catalonia.

CP is the premier international event for presenting research in all aspects of computing with constraints, including, but not restricted to: theory, algorithms, environments, languages, models, systems, and applications. CP 2024<https://cp2024.a4cp.org/index.html> will be held in-person in Girona at the University of Girona (Old Quarter Campus)<https://cp2024.a4cp.org/venue.html>, September 02-06, 2024.

The CP 2024 program will include presentations of high-quality scientific papers on constraints technology. In addition to the main conference program, CP 2024 will feature 3 specialised tracks covering important topics in Constraints:

* Applications
* CP and Machine Learning
* CP and Quantum Computing

Preliminary Schedule

You can find a detailed preliminary schedule here:

Monday 2nd September: Workshops, Doctoral Program, Doctoral Program dinner, ConfWS 2024 dinner.
Tuesday 3rd September: Opening, invited talk, tutorial, regular sessions, ConfWS 2024 (only morning), Girona walking tour, welcome reception.
Wednesday 4th September: Tutorial, regular sessions, SPC dinner.
Thursday 5th September: Invited talk, tutorial, competition results, awards, DEI event, regular sessions, ACP general assembly, excursion to Ruins of Empúries, conference banquet.
Friday 6th September: Regular sessions, closing.

For more information, please check out the list of accepted papers<https://cp2024.a4cp.org/accepted_papers.html>. The detailed program will be announced soon.
Please also check our website for more information on the workshops<https://cp2024.a4cp.org/workshops.html>, tutorials<https://cp2024.a4cp.org/tutorials.html> and invited talks<https://cp2024.a4cp.org/invited-talks.html>.

Workshops

* 26th International Workshop on Configuration (ConfWS 2024)<https://confws.github.io/>. Organisers: Elise Vareilles, Chiara Grosso, José Miguel Horcas, Alexander Felfering, Irene Campo Gay (web chair).
* 23rd Workshop on Constraint Modelling and Reformulation (ModRef 2024)<https://modref.github.io/ModRef2024.html>. Organisers: Nysret Musliu, Hélène Verhaeghe.
* 7th Workshop on Progress Towards the Holy Grail (PTHG-24)<https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-24-the-seventh-workshop-on-progress-towards-the-holy-grail/>. Organiser: Eugene Freuder.
* 1st Workshop on Discrete Optimization with Soft Constraints (Soft 2024)<https://genoweb.toulouse.inrae.fr/~degivry/soft2024/index.html>. Organisers: Simon de Givry, Javier Larrosa.
* Doctoral Program<https://cp2024.a4cp.org/dp_cfp.html>.

Tutorials

* Modeling and Solving Combinatorial Optimization Problems with Domain-Independent Dynamic Programming by J. Christopher Beck and Ryo Kuroiwa.
* Constraint Programming with JuMP by Benoît Legat.
* Constraint Acquisition - A Tutorial on Learning Constraint Models by Dimos Tsouros.

Invited Talks

* Ian P. Gent (University of St Andrews) - Solving Patience and Solitaire Games with Good Old Fashioned AI
* Francesca Rossi (IBM) - Thinking fast and slow in AI: A cognitive architecture to augment both AI and human reasoning

Registration

The registration costs are as follows:

* Workshop only (2 September): 205€
* ConfWS only on-site (2 and 3 September): 275€
* ConfWS only online (2 and 3 September): 175€
* Conference and Workshop, Student: 495€
* Conference and ConfWS, Student: 565€
* Conference and Workshop, Regular: 850€
* Conference and ConfWS, Regular: 925€


Please go to our registration page<https://cp2024.a4cp.org/registration.html> to register for CP 2024.

Sponsors

CP 2024 appreciates the generous support of our sponsors.

Gold sponsors:

* Association for Constraint Programming (ACP)<https://www.a4cp.org/>
* Artificial Intelligence Journal (AIJ)<https://www.sciencedirect.com/journal/artificial-intelligence>
* ScheduleOpt<https://www.scheduleopt.com/>
* Universitat de Girona<https://www.udg.edu/en/>
* Generalitat de Catalunya<https://web.gencat.cat/en/inici/index.html>
* Diputació de Girona<https://www.ddgi.cat/web/>

Silver sponsors:

* Mitsubishi Electric Research Laboratories (MERL)<https://www.merl.com/>
* IBM<https://www.ibm.com/>

Bronze sponsors:

* Google<https://www.google.com/>

Other sponsors:

* The Optimization Firm<https://www.minlp.com/>
* Huawei<https://www.huawei.com/>
* Cosling<https://www.cosling.com/>
* Potassco Solutiona<https://potassco.org/>
* Ajuntament de Girona<https://web.girona.cat/>
* European Association for Artificial Intelligence<https://www.eurai.org/>
* Patronat Politècnica UdG<https://patronateps.udg.edu/>
* Càtedra d'Informació i Computació de la UdG<https://www.udg.edu/en/catedres/informacio-i-computacio>
* Càtedra Lluís A. Santaló d'Aplicacions de la Matemàtica de la UdG<https://www.udg.edu/en/catedres/Lluis-Santalo>

Organizing Committee


Conference Chairs: Miquel Bofill (Universitat de Girona), Mateu Villaret (Universitat de Girona)

Program Chair: Paul Shaw (IBM)

Workshop Chair: Carlos Ansótegui (Universitat de Lleida)

Tutorials Chair: Pierre Schaus (UCLouvain)

Doctoral Program Chair: Edward Lam (Monash University)

Publicity & Website Chair: Jordi Coll (Universitat de Girona)

DEI Chairs: Özgür Akgün (University of St Andrews), María Andreína Francisco Rodríguez (Uppsala University)

Special Track Chairs

* CP Applications Track: Louis-Martin Rousseau (École Polytechnique de Montréal)
* CP & Machine Learning Track: Quentin Cappart (École Polytechnique de Montréal)
* CP & Quantum Computing Track: Philippe Codognet (CNRS / Sorbonne University / University of Tokyo)

Senior Program Committee and Program Committee<https://cp2024.a4cp.org/committees.html>

For regular updates and the latest news, follow us on Twitter @cp_conf<https://twitter.com/cp_conf>, or on Mastodon at @cp_conf@mastodon.acm.org<https://mastodon.acm.org/@cp_conf>.
**********************************************************
*
* 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] W3 Full Professor Position in Software Engineering in Heidelberg

Dear colleagues, please share the following with people who may be
interested:

We currently have an opening for a W3 Full Professor position in
Software Engineering in Heidelberg! We are looking for exceptional
candidates for a position in Computer Science with a special emphasis on
Software Engineering (SE). This includes a research focus on areas such
as secure SE, development of dependable software and software for data
science, as well as SE for AI. The research interests of a successful
applicant should complement the existing research groups in Computer
Science. Applicants should have an excellent research record and
experience in application-oriented research.

Deadline for the applications is the 16th September.
For more information, see
https://adb.zuv.uni-heidelberg.de/info/INFO_FDB$.startup?MODUL=LS&M1=1&M2=0&M3=0&PRO=35649

Thank you

Christian Schulz
**********************************************************
*
* 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, July 25, 2024

[DMANET] Call for Contributions: Special Issue of Algorithms for IWOCA 2024

***************Call for Contributions****************

Dear Colleagues,
I want to bring to your attention that the Algorithms Special Issue
(https://www.mdpi.com/journal/algorithms/special_issues/937I2DDIK1),
dedicated to IWOCA 2024, is now open for submissions.

Papers not presented at the Workshop ****are welcome,***
provided that their topics relate to the themes of the conference, which
include:

* Ad hoc, dynamic, and evolving networks
* Algorithms and data structures
* Algorithms on strings and graphs
* Algorithms for big data and network analytics
* Algorithmic game theory
* Approximation algorithms
* Circuits and boolean functions
* Combinatorial generation, enumeration, and counting
* Combinatorial optimization
* Complexity theory
* Combinatorics of words
* Computational algebra and geometry
* Computational biology
* Cryptography and information security
* Distributed and parallel algorithms
* Experimental evaluation of algorithms
* Fine-grained complexity
* Foundations of cloud computing
* Graph algorithms for social network analysis
* Graph drawing and labeling
* Graph theory and combinatorics
* Mobile agents
* New paradigms of computation
* Online algorithms
* Parameterized and exact algorithms
* Probabilistic and randomized algorithms
* Scheduling
* Streaming algorithms

All articles will be thoroughly reviewed according to the Algorithms
standards.
Manuscripts should be submitted online at
https://www.mdpi.com/journal/algorithms/special_issues/937I2DDIK1

All submissions that pass pre-check will be peer-reviewed.
Accepted papers will be published continuously in the journal
(as soon as they are accepted) and they will be listed together on the
special issue website.

DEADLINE: Manuscripts can be submitted until December 1st, 2024.

We look forward to receiving your contribution.

**********************************************************
*
* 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] ICDCN 2025 - Deadline Extension and Final Call for Regular Papers

(Apologies if you receive multiple copies)


*===================================*

*ICDCN 2025 - DEADLINE EXTENSION AND FINAL CALL FOR REGULAR PAPERS *

*===================================*


** New paper submission deadline: August 16, 2024 **


ICDCN 2025 (iith.ac.in) <https://cse.iith.ac.in/icdcn-2025/>

*4TH-7TH JANUARY 2025, **Indian Institute of Technology Hyderabad (IITH)**,
INDIA*


The International Conference on Distributed Computing and Networking
(ICDCN) is a premier international conference dedicated to addressing
advances in Distributed Computing and Communication Networks. The 26th
edition of ICDCN will be held at the Indian Institute of Technology
Hyderabad (IITH), India, from January 4th to 7th, 2025. The highly
selective technical program will consist of refereed papers, workshops,
tutorials, posters, demos, and a doctoral symposium.

*===================================*

*Important Dates*

*===================================*

(All the deadlines are in AoE)

● Paper submission: July 25, 2024, August 16, 2024 (extended deadline)

● Notifications: September 27, 2024

● Camera-ready Papers Deadline: October 30, 2024


*===================================*

*Scope*

*===================================*

Papers describing original research work and practical
experiences/experimental results are solicited on topics that include, but
are not limited to, the following.

● Distributed Computing Topics of Interest

○ Biological Distributed Algorithms and Systems

○ Cloud Computing and Big Data Processing

○ Concurrency, Synchronization, and Persistence

○ Distributed Algorithms: Design, Analysis, and Complexity

○ Distributed Computing Aspects of Blockchains

○ Distributed Graph Algorithms

○ Distributed Embedded Systems

○ Distributed Operating Systems, Storage and Database Systems

○ Distributed Quantum Computing

○ Edge Computing and Mobile Offloading

○ Fault-tolerance, Reliability, and Availability of Distributed Systems

○ Formal Methods for Distributed Systems

○ High performance Computing and Grid Computing

○ Machine Learning in Distributed Computing and Networking

○ Pervasive and Mobile Computing

○ Scalable Distributed Systems

○ Secure Multi-Party Computation

○ Security, Privacy and Game Theory in Distributed Computing and
Networking

○ Self-organization, Self-stabilization, and Autonomic Computing

○ Social Networks

● Networks Topics of Interest

○ AI in Communication and Computer Networks

○ Backscatter and Ultra-low Power Networks

○ Challenging Network Environments

○ Cognitive Networking

○ D2D, Sensor, PAN and Mesh Networks

○ Mobile Wireless Networks (5G/6G)

○ Digital Continuum

○ Edge and Fog Networking

○ Emerging Topics in Networks

○ Energy-efficient Networking

○ Information-centric and Content-based Networking

○ Intent-based Networking and Zero-configuration Networks

○ Interdisciplinary Approaches in Networking

○ Internet of Things and Cyber-Physical Systems

○ Internetworking Protocols & Internet Applications

○ Network Function Virtualization and Software Defined Networking

○ Networking and Computing for Sustainability, Society, and Development

○ Next-generation Networks and Services

○ Pervasive Networking and Sensing

○ Pricing and Network Economics

○ Public Safety Computing Systems

○ Quantum Network Protocols

○ Security, Privacy, Trust, and Game Theory in Networking

○ AI for Network Security

○ Social Networks

○ UAV Networks and Mobile Robots

○ Vehicular Networks, Smart Grids and Smart City Applications

*===================================*

*Proceedings*

*===================================*

The proceedings of ICDCN 2025 along with all the satellite events (posters,
demo, workshops, etc.) will be published by The ACM International
Conference Proceeding Series (ICPS), which is indexed by ACM, DBLP, Scopus,
and other indexing bodies. The proceedings will be available through the
ACM digital library.


Important note to authors about the new ACM open access publishing model ACM
has introduced a new open access publishing model for the International
Conference Proceedings Series (ICPS). Authors based at institutions that
are not yet part of the ACM Open program
<https://libraries.acm.org/acmopen/open-participants> (
https://libraries.acm.org/acmopen/open-participants) and do not qualify for
a waiver will be required to pay an article processing charge (APC) to
publish their ICPS article in the ACM Digital Library. To determine whether
or not an APC will be applicable to your article, please follow the
detailed guidance here:
https://www.acm.org/publications/icps/author-guidance.

Further information may be found on the ACM website, as follows: Full
details of the new ICPS publishing model:
https://www.acm.org/publications/icps/faq Full details of the ACM Open
program: https://www.acm.org/publications/openaccess

Please direct all questions about the new model to icps-info@acm.org.

*===================================*

*Special Issue*

*===================================*

Extended versions of selected papers will be invited for fast-track
publications in the Theoretical Computer Science (TCS) Journal or in
Elsevier's Pervasive and Mobile Computing (PMC) Journal.


*===================================*

*Best Paper Award*

*===================================*

The conference will assign a Best Paper Award

*===================================*

*Submission Instructions*

*===================================*

● All submissions must use the official LaTeX ACM article template
acmart.cls, version of 1.80 or greater, using the following documentclass
instruction: \documentclass[sigconf,authordraft]{acmart}.

● Regular Papers should not exceed 10 pages double-column including
figures, tables, and references in standard ACM format. Regular papers may
include a clearly marked Appendix with all the additional details required
to validate the results (including technical proofs and experimental
results that did not fit into the first 10 pages).

● Short Papers must not exceed 5 pages double-column including figures,
tables, and references in standard ACM format.

At least one author of each accepted paper must register for the conference
and present the paper. All papers must be submitted through the EasyChair
portal.

The use of generative AI software tools is permitted subject to the
following requirements:


- The AI systems have not been used to plagiarize, misrepresent, or
falsify content.
- The resulting work, in its entirety, accurately represents the
authors' original research and novel intellectual contributions, and is
not primarily the result of the AI tool's generative capabilities.
- The authors accept full responsibility for the veracity and
correctness of all material in their work, including any content generated
by AI tools.

Note that all submissions will be checked using suitable AI content
detectors

*===================================*

*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 anywhere in the submission. 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. Use the third person to refer to the author's
previous work, e.g., replace "as we have shown before" with "as shown
before in [X]."

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. Authors with further questions on
double-blind reviewing are encouraged to contact the PC Co-Chairs by email
at icdcn2025-tpc-chairs@iit.cnr.it.

*===================================*

*Conflict of Interest*

*===================================*

Indications of conflicts of interest will be required in the submission
form. A conflict of interest is limited to the following:

● A family member or close friend.

● A Ph.D. advisor or advisee (no time limit), or a postdoctoral or
undergraduate mentor or mentee within the past five years.

● A person with the same affiliation.

● A person involved in an alleged incident of harassment. (It is not
required that the incident be reported.)

● Frequent collaborators, or collaborators who have jointly published
papers within the last two years.

If you feel that you have a valid reason for a conflict of interest not
listed above, contact the PC Co-Chairs.


*===================================*

*About IIT Hyderabad*

*===================================*

Indian Institute of Technology Hyderabad (www.iith.ac.in) is a premier
institute of science and technology established in 2008. IITH has been
consistently ranked in the top 10 institutes in India for Engineering
according to NIRF (India's Educational Institutions ranking system), making
it one of the reputed Institutes for science and technology.

------
Best Regards,
Fabien Dufoulon

Publicity Co-Chair, ICDCN 2025

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

[DMANET] CFP for SENA 2024, Workshop in Conjunction with IEEE BCCA 2024

*Call for Papers*

The First International Workshop on

*Secure Edge Networking and Applications (SENA)*

*In Conjunction with*

*IEEE Sixth International Conference on Blockchain Computing and
Applications*

*(IEEE BCCA 2024)*

26-29 November 2024 (Dubai, UAE)

https://bcca-conference.org/2024/Workshops/SENA2024.php


Edge networking plays a significant role in shaping the future of Internet
of Things (IoT) networks by processing high volumes of data at the network
edge and meeting the desired latency demand. Although edge computing is
regarded as a promising technology for these features as well as its
decentralization and supportive functionalities, there is a need to develop
systems to protect data security and privacy since users can face the risk
of data leakage when they offload data to the edge/cloud server. Secure
edge networking is continuously becoming a top strategic technology that
connects the physical and blockchain-secured worlds, assisted by
next-generation networks. Moreover, Artificial Intelligence (AI) and
Digital Twin (DT) driven secure edge-network can deliver seamless analysis,
monitoring, and predictions when it is used together with next-generation
mobile communications (5G/6G), Internet of Things (IoT), Software-Defined
Networking (SDN), Federated Learning (FL), distributed computing, and
intelligent smart city applications.


The workshop will invite authors to submit papers presenting new research
related to all aspects of secure edge networks and applications. Topics of
interest include, but are not limited to:

● IoT-based secure edge networking for real-time communication systems

● Real-time communication protocols for secure edge networking

● Resource management and network optimization for secure edge network

● Secure edge networking and industrial IoT applications

● Digital twin (DT)-enabled secure edge networking

● Real-world Digital Twin (DT) simulations, prototypes, and testbed
demonstrations for secure edge networks

● Attack detections/defences for secure edge networking

● Blockchain-driven secure edge networking

● Energy efficient secure edge networking

● Federated learning-based secure edge networking

● Modeling and performance analysis of secure edge networking

● Software-defined network (SDN) controlled secure edge networking

● AI as a service (AIaaS) for secure edge networking

● Wireless communications for cyber-physical edge network applications

● New security and privacy concepts within edge network applications

● LLMs in secure edge network

● Trustworthy secure edge network applications

● Secure edge network applications for smart cities

● AI-driven applications for secure edge networks

● Autonomous and context-aware secure edge networks

● Self-organizing secure edge networks and applications

● Sustainable AI-based secure edge network

● Secure edge network design for enhanced Mobile Broadband (eMBB),
massive Machine Type Communications (mMTC), and Ultra Reliable Low Latency
Communications (URLLC) applications

*General Chairs:*

· Müge Erel-Özçevik, Manisa Celal Bayar University, Turkey
(muge.ozcevik@cbu.edu.tr)

· Elif Bozkaya-Aras, National Defence University Turkish Naval
Academy, Turkey (ebozkaya@dho.msu.edu.tr)

*Honorary Chair:*

· Berk Canberk, Edinburgh Napier University (B.Canberk@napier.ac.uk)

*Industrial Chair:*

· Gökhan Yurdakul, GM of BTS Group (yurdakulg@btsgroup.com)

*Technical Program Chairs*

· TuÄŸçe Bilen, Ä°stanbul Technical University (bilent@itu.edu.tr)

· Gökhan Seçinti, Ä°stanbul Technical University (secinti@itu.edu.tr)

· Engin Zeydan, Centre Tecnologic de Telecomunicacions de Catalunya
(CTTC) (engin.zeydan@ieee.org)

· Yusuf Özçevik, Manisa Celal Bayar University (
yusuf.ozcevik@cbu.edu.tr)

· Abdullah AydeÄŸer, Florida Tech, (aaydeger@fit.edu)

*Publicity Chairs*

· Kübra Duran, Edinburgh Napier University (kubra.duran@napier.ac.uk
)

· YaÄŸmur YiÄŸit, Edinburgh Napier University (
yagmur.yigit@napier.ac.uk)

· Burcu Bolat, National Defence University Turkish Naval Academy,
Turkey (bolat.b@dho.msu.edu.tr)

· Elif Ak, Istanbul Technical University, Turkey (akeli@itu.edu.tr)

· Ismail Darwish, The University of Edinburgh (
ismail.a.darwish@gmail.com)

*Important Dates:*

*Submission Due:* August 1, 2024

*Notification:* October 1, 2024

*Camera Ready:* October 20, 2024

*Submission:*
Prospective authors are invited to submit a long paper (7-8 pages), short
paper (5-6 pages) and poster (1-2 pages) including results, figures, and
references in the standard IEEE two-column conference format. Papers should
be submitted via the submission link: https://edas.info/N32442
[image: beacon]

**********************************************************
*
* 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, July 24, 2024

[DMANET] Second Announcement: Kolkom 2024 in Heidelberg

The 41st Colloquium on Combinatorics in held in Heidelberg on 11th and
12th October 2024.

Conference webpage: https://web.ifi.uni-heidelberg.de/kolkom24

Confirmed invited plenary speakers:
Julia Böttcher, LSE
Zdenek Dvorak, Charles University Prague
Torsten Mütze, University of Kassel
Konstantinos Panagiotou, LMU Munich

We welcome contributed 20 minutes talks. Abstract submission deadline:
24th September 2024

Early registration deadline 8th September 2024
Registration deadline: 22nd September 2024

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

Tuesday, July 23, 2024

[DMANET] PhD position at ESCP Business School

The candidate is supposed to work on one of the three topics upon mutual
agreement: sustainable supply chain management, digital platforms, and
artificial intelligence methods and applications. You may find more details
here:

https://www.wiwi-online.de/Karrierecenter/Stellenangebote/43206

**********************************************************
*
* 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 Track Accessible Devices and Technologies (ADT '25) - ACM SAC 2025

Track on Accessible Devices and Technologies (ADT '25)


Sicily, Italy, March 31 – April 4, 2025


Part of the 40thACM/SIGAPP Symposium on Applied Computing (SAC '25)


https://sites.google.com/view/adt-sac-2025

https://www.sigapp.org/sac/sac2025/


Theme and Scope

Modern devices and technologies can represent a digital barrier for
users with disabilities, but they can be exploited to become enabling
tools for them. Accessibility of devices and technologies is a critical
topic to allow inclusion of all users, especially due to the European
laws that impose accessibility for new products and the definition of an
updated version of WCAG (Web Accessibility Guidelines). This track
invites scientists, engineers, and decision-makers from government,
industry, and academia to present technical papers on their research and
development results in areas of accessibility.

This track can interest many researchers since it would give the chance
to face a wide range of topics, i.e., web or mobile technologies, with
different points of view, taking into account specific technological
constraints and digital barriers. It is well-known that the so-called
"curb cut effect" can be applied to any technological and digital
context (in terms of devices, content, and services): technologies that
were originally meant to benefit people with disabilities can help any
other users. Moreover, the history and the evolution of several
technologies have been influenced and/or motivated by the special needs
of people with disabilities.


We welcome submission on a wide range of topics, including but not
limited to:

*

Accessible devices/assistive technologies: assistive technologies
refer to all the assistive, adaptive, and rehabilitative devices for
people with disabilities that enable users to perform tasks they
were formerly unable to accomplish. On the one hand, the widespread
diffusion of new devices and technologies stimulates researchers to
find and apply new solutions to make them accessible to anyone. On
the other hand, experiences in accessibility-related fields have
been exploited and have provided benefits to users equipped with
non-conventional devices when they emerged in the market.

*

Accessible solutions for e-learning, e-commerce, e-banking, etc:
e-services and content often require specific technologies, being
bounded by specific constraints when accessed by people with
disabilities equipped with assistive technologies. Specific
interaction modalities may affect interactive service access, while
richness and quantity of content may affect the users' ability to
process information.

*

Accessible content: e-books, accessible TV, accessible broadcasting,
etc.

*

Accessibility of games.

*

AI for Accessibility: AI can be exploited both for personalization
(i.e., integrating AI-based personalization to support specific and
special needs) and "enabler" (i.e., exploiting LLM to support the
creation of accessible applications).


Submission Guidelines

We would like to invite authors to submit papers on research on the
Accessibility area, with particular emphasis on assessing the current
state of the art and identifying future directions. Original papers
addressing any of the listed topics of interest (or related topics) will
be considered. Each submitted paper will be fully refereed and undergo a
double-blind review process by at least three referees. Accepted papers
will be included in the ACM SAC 2025 proceedings and published in the
ACM digital library, being indexed by Thomson ISI Web of Knowledge and
Scopus.

The track accepts full papers (max 8 pages), posters (max 2 pages), and
SRC abstracts (max 2 pages). Submissions should be properly anonymized
to facilitate blind reviewing. Papers that will receive high reviews
(that is acceptable by reviewer standard) but will not be accepted due
to space limitations can be invited for poster session. Authors of
accepted papers must be prepared to sign a copyright statement and must
pay the registration fee and guarantee that their paper will be
presented at the conference. No-show of scheduled papers will result in
excluding the papers from the ACM Digital Library.

See the track website https://sites.google.com/view/adt-sac-2025
for more details.

Important Dates

*

September 20, 2024, 11:59 PM (UTC+0.00): Submission of regular
papers and SRC research abstracts

*

October 30, 2024: Notification of papers, posters, and SRC research
abstracts

*

November 29, 2024: Camera-ready copies of accepted papers

*

December 6, 2024: Authors registration due


Organization

*

Ombretta Gaggi, University of Padua

*

Silvia Mirri, University of Bologna

*

Mike Paciello, AudioEye, WebABLE

*

Catia Prandi, University of Bologna


Submission Portal

Please submit your contribution through our online submission portal
available at https://www.sigapp.org/sac/sac2025/submission.php
(regular papers) and
https://www.sigapp.org/sac/sac2025/submission_src.php
(SRC abstracts).


Contact us

For any inquires regarding the call for papers, please contact
gaggi@math.unipd.it .

We look forward to your contributions and to seeing you at the ACM SAC
2025 Conference!


**********************************************************
*
* 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 Research Associate position at Durham University

A 3-year Postdoctoral Research Associate position in Graph Theory, funded by The Leverhulme Trust, is available in the Algorithms & Complexity Group (http://community.dur.ac.uk/algorithms.complexity/) at the Department of Computer Science of Durham University. The purpose of the role is to contribute to the project:

Algorithmic Meta-classifications for Graph Containment,

working with Matthew Johnson, Barnaby Martin and Daniel Paulusma from Durham University and Vadim Lozin from the University of Warwick.

See https://durham.taleo.net/careersection/du_ext/jobdetail.ftl?job=24001339&tz=GMT%2B01%3A00&tzname=Europe%2FLondon for further details. The closing date is 14 August 2024.

For enquiries, please contact Daniel Paulusma at daniel.paulusma@durham.ac.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] [Cryptography] Emerging Trends in Blockchain and Its Applications - Call for Paper

The journal /Cryptography/ (https://www.mdpi.com/journal/Cryptography)
is pleased to announce a new Special Issue entitled "Emerging Trends in
Blockchain and Its Applications".

Prof. Dr. Joseph K. Liu (from Monash University) is serving as Guest
Editor for this issue. The submission deadline is 10 April 2025 and
papers may be submitted immediately or at any point till the date, as
papers will be published on an ongoing basis.

For more information on this Special Issue and submission guidelines,
please visit the following page:

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

The following topics are possible, but not limited to:

Security and privacy enhancements;
Cryptographic Techniques for Blockchain;
Zero-knowledge proofs;
Secure multi-party computation;
Cryptographic primitives and protocols;
Post-quantum cryptography in Blockchain;
Blockchain and Internet of Things (IoT);
Security and privacy in Blockchain–IoT ecosystems;
Decentralized identity and access management for IoT.

Cryptography is a scientific peer-reviewed open access journal of
cryptography published quarterly online by MDPI. It is covered by Scopus
(Elsevier), Emerging Sources Citation Index (ESCI-Web of Science), etc.
It received an Impact Factor for 2023 of 1.8 (ranking in Q2 in "Computer
Science, Theory & Methods"), and a CiteScore of 3.8 (ranking in Q1 in
"Applied Mathematics").

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

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

Recommended Papers:
Divisions and Square Roots with Tight Error Analysis from Newton-Raphson
Iteration in Secure Fixed-Point Arithmetic
https://www.mdpi.com/2410-387X/7/3/43

Matrix Encryption Walks for Lightweight Cryptography
https://www.mdpi.com/2410-387X/7/3/41

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

Monday, July 22, 2024

[DMANET] [ECAI-2024] Call for Participation: 27th European Conference on Artificial Intelligence

Registration for ECAI-2024, the 27th European Conference on Artificial
Intelligence, is now open. The early registration period will end on
Monday, 19 August 2024.

https://www.ecai2024.eu/registration

Please join us during 19-24 October 2024 in Santiago de Compostela to
mark the 50th anniversary since the first AI conference was held in
Europe back in 1974.

We are looking forward to an exciting programme with some 600 accepted
papers across all areas of AI, as well as lots of special events,
including invited talks, panel sessions, satellite workshops, tutorials,
and more.


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

Sunday, July 21, 2024

[DMANET] PhD opening in TCS and/or combinatorial optimization in Lund

The Department of Computer Science at Lund University invites
applications for a PhD position in theoretical computer science and/or
combinatorial optimization.

The PhD student will be working in the /Mathematical Insights into
Algorithms for Optimization (MIAO)/ group headed by Jakob Nordstrom
(www.jakobnordstrom.se), which is active at both the University of
Copenhagen and Lund University on either side of the Oresund Bridge. We
are closely affiliated with the Basic Algorithms Research Copenhagen
(BARC) centre, and are part of a world-leading environment in algorithms
and complexity theory encompassing also the IT University of Copenhagen
and the Technical University of Denmark (DTU). We aim to attract top
talent from around the world to an ambitious, creative, collaborative,
and fun environment. Using the power of mathematics, we strive to create
fundamental breakthroughs in algorithms and complexity theory. While the
focus in on foundational research, we do have a track record of
surprising algorithmic discoveries leading to major industrial applications.

The MIAO research group has a unique profile in that we are doing
cutting-edge research both on the mathematical foundations of efficient
computation and on state-of-the-art practical algorithms for real-world
problems. This creates a very special environment, where we do not only
conduct in-depth research on different theoretical and applied topics,
but where different lines of research cross-fertilise each other and
unexpected and exciting synergies often arise. Much of the activities of
the group revolve around powerful algorithmic paradigms such as, e.g.,
Boolean satisfiability (SAT) solving, Groebner basis computations,
integer linear programming, and constraint programming. This leads to
classical questions in computational complexity theory—though often with
new, fascinating twists—but also involves work on devising clever
algorithms that can exploit the power of such paradigms in practice.

Our most recent new line of research is on how to verify the correctness
of state-of-the-art algorithms for combinatorial optimization. Such
algorithms are often highly complex, and even mature commercial solvers
are known to sometimes produce wrong results. Our work on designing a
new generation of /certifying/ combinatorial solvers, which output not
only an answer but also a machine-verifiable mathematical proof that
this answer is correct, has already received several international
awards, but many more exciting problems are still waiting to be solved!

With this call, we are mainly looking for a mathematically gifted PhD
student with excellent programming skills to continue our
ground-breaking work on certifying algorithms. There is some flexibility
as to what kind of research PhD students in the group pursue, though,
and all candidates are welcome, both those who want to go deep into
either theory or practice and those who are inspired by the challenge of
bridging the gap between the two.

This is a four-year full-time employed position, but PhD positions
usually (though not necessarily) include 20% teaching, in which case
they are prolonged for one more year. The starting date is negotiable,
but should ideally be during the autumn of 2024 or in early 2025. All
positions in the research group are fully funded, employed positions
(including travel money) that come with an internationally competitive
salary.

The application deadline is September 6, 2024. Please see
https://jakobnordstrom.se/openings/PhD-Lund-240906.html for more
information and instructions how to apply. Informal enquiries are
welcome and may be sent to jakob.nordstrom@cs.lth.se.

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