Theory Announcements

Friday, April 19, 2024

[DMANET] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FINAL CALL FOR PAPERS (April 24, 2024)

FINAL CALL FOR PAPERS KR 2024 (Deadline: April 24, 2024)
21st International Conference on
Principles of Knowledge Representation and Reasoning, KR 2024
November 2 - November 8, 2024, Hanoi, Vietnam

Deadline for submissions (final call) : 24 April 2024
Conference web site: www.kr.org/KR2024

-- Final Call for Papers --

Knowledge Representation and Reasoning (KR) is a well-established and
vibrant field of research within Artificial Intelligence. KR builds
on the fundamental thesis that knowledge can often be represented in
an explicit declarative form, suitable for processing by dedicated
symbolic reasoning engines. This enables the exploitation of knowledge
that would otherwise be implicit through semantically grounded
inference mechanisms. KR has contributed to the theory and practice of
various areas of AI, including agents, automated planning, robotics
and natural language processing, and to fields beyond AI, including
data management, semantic web, verification, software engineering,
computational biology, and cybersecurity.

The KR conference series is the leading forum for timely in-depth
presentation of progress in the theory and practice of the
representation and computational management of knowledge.

KR 2024 will consist of a number of tracks and events. It will include
a KR in the Wild, a Reasoning, Learning and Decision Making track and
a recently published research (RPR) track, tutorials, workshops,
competitions, and a doctoral Consortium. Details about all these
events and the corresponding calls can be found on the website
(www.kr.org/KR2024) .

We solicit papers presenting novel results on the principles of KR,
which clearly contribute to the formal foundations of the field, or
show the applicability of KR techniques to implemented or
implementable systems. We welcome papers from other areas that
demonstrate clear use of, or contributions to, the principles or
practice of KR. We also encourage "reports from the field" of
applications, experiments, developments, and tests. Further details
about the submission guidelines and the selection criteria can be
found on the website (www.kr.org/KR2024/submission.php) .

-- Important Dates --

• Submission of title and abstract: April 24, 2024
• Paper submission deadline: May 1, 2024
• Author response period: June 25 - July 1st
• Author notification: July 10, 2024
• Camera-ready papers: July 31, 2024
• Conference: November 2-8, 2024

-- Submission Guidelines --

Contributions may be regular papers (up to 9 pages) or short papers
(up to 4 pages), including abstract, figures, and appendices (if any)
but excluding references and acknowledgements.

Both full and short papers must describe original, previously
unpublished research and should not be simultaneously submitted
elsewhere. These restrictions do not apply to papers already accepted
in workshops with a limited audience and without archival proceedings,
or to papers available in public repositories (e.g., arXiv). Note
that extended abstracts of recently published works can be submitted
to the recently published research track, which has a separate call.

Papers must be written in English and formatted using the style files
provided in the submission page. Submissions are not anonymous (i.e.,
reviewing is single-blind) and must be submitted in PDF format.

The paper title, author names, contact details, and a brief abstract
must be submitted electronically through the conference system by the
abstract submission deadline. It will be possible to make minor edits
to the title and abstract until the full paper submission deadline.
Submissions with "placeholder" abstracts will be removed without
consideration.

Full papers must be submitted through the same site by the paper
submission deadline. The list of author names provided at submission
time is final. Authors may not be added to or removed from papers
after submission.

Authors may submit a separate PDF with additional information
supporting their claims (such as proof details, additional
experimental results, further details on experimental design, etc).
Such supplementary material should be submitted via the conference
management system. The paper must be self contained, as the
supplementary material will not be published. Reviewers will have the
option, but not the obligation, to consult the supplementary material.

-- Selection Process --

The program committee consists of PC members (reviewers) and Area
Chairs (ACs), who overview the reviewing and meta-reviewing process.
Selection criteria include the novelty and originality of ideas,
correctness, clarity, significance of results, potential impact and
quality of the presentation. Papers violating the format (e.g., by
decreasing margins or font sizes) or describing contributions that do
not significantly meet the topics of the conference will be desk
rejected by the program chairs, without any opportunity to submit
an author response. By submitting a paper, authors acknowledge that
they are aware of the possibility of receiving a summary rejection
notification.

Papers that are not desk rejected will be reviewed by a group of
PC members (PCs) and the reviewing process will be supervised by an
Area Chair (AC).

During the reviewing period, authors will have the opportunity to
respond to reviews by pointing out factual errors and answering
specific questions. Author responses should be concise, and are not
intended to create a dialogue between reviewers and authors. Author
responses will be visible to PCs and ACs. The program co-chairs will
make the final decisions and there are no appeals.

Accepted papers will be published in the KR 2024 proceedings. At least
one author of each accepted paper is required to participate in the
conference and present the work.

Prizes for best papers (the Ray Reiter Best Paper Prize and the Marco
Cadoli Best Student Paper Prize) may be awarded, and runners-up may be
mentioned. Top papers from KR 2024 will be invited to the
award-winning paper tracks of Artificial Intelligence (AIJ) and of the
Journal of Artificial Intelligence Research (JAIR). Thus, award
winners will have the possibility of choosing between AIJ and JAIR.

All submissions will be treated confidentially until the publication
date.

-- Topics of Interest --

Typical topics of interest include the following, but the list is not
exhaustive. The conference welcomes all topics concerned with the
explicit representation or management of knowledge, and with the
automated inference on the basis of such knowledge.

• Argumentation
• Belief revision and update, belief merging
• Common-sense reasoning
• Computational aspects of knowledge representation
• Concept formation, similarity-based and contextual reasoning
• Description logics
• Explanation finding, diagnosis, causal reasoning, abduction
• Geometric, spatial, and temporal reasoning
• Inconsistency- and exception-tolerant reasoning
• Knowledge acquisition
• Ontologies and reasoning in the semantic web
• Knowledge representation languages
• Knowledge compilation, automated reasoning, satisfiability and
model counting
• Logic programming, answer set programming
• Reasoning about preferences
• Reasoning in multi-agent systems
• Non-monotonic logics, default logics, conditional logics
• Qualitative reasoning, reasoning about physical systems
• Reasoning about plans, actions and change, action languages
• Reasoning about constraints and preferences
• Reasoning about knowledge, beliefs, and other mental attitudes
• Uncertainty, vagueness, many-valued and fuzzy logics

-- Submission Site --

Papers should be in English and must be submitted electronically to
the Main track of KR 2024.

The submission site will open on Thursday 15 February 2024.

Further details can be found via the conference web site:
www.kr.org/KR2024/dates.php

KR Inc, not for profit Scientific Foundation, , Massachusetts, USA , ,

Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-H2W38DtNm4htMPVW2zwFTC3LYYcSW1_ty952xHyb1W2-BFsQ3ZZnpcW1BL36l2vK0FPW1Nn57T2sBz6XW3DVRcx3P2wPkW3GHkCy4mbqL7W2nFqvp30CbRtW1-ZfNl3ZCCzBW2FXKZX4fFGxwW2-bNzc1VfH3hW2YG3r12sT6B7W2ThYw232lggwW3M16-T3LNjBkW4tGwtC2TCfMLW41Rg5G30sJSkW3DZyxD2YG_cxW34fs1b3by9tdW36Cn9q3ZZQ_XW47C1DK32pcNvW4pHR501S3B3WW4ffWT_1_5f51W4tn-rk4tvqh9W3d8ynJ2MMMTtW34f24R32h0H1W3drvJZ41qJ5KW2xPLYF3_XqdXW3gtnht41XKM8W4pb_m33ZPFflW34mgT63j0HncW47QGl82zwfCZW49rvZX2Tt4f-W1Xvsbj3VZlp3W49Jcpc23jpNDW3gmYK42Wnl2yW1QzqlZ3XJRjDW3KcHf32nW7KRW2MSlqz23lVGgW2PC8l54kt4BTW2TyK0G49S5xCW3b52653_RTV7W3M4lh52qLfjYW3VQS8g2s-lWxW41zx-93R15njf1BL4BQ04&_hsenc=p2ANqtz-_IWJUxUUQP2tWKN5fvtgwewr6ffhV-eO8F7sht6Ft1kUNOkznXPcsSQ0-ebF1E5IxyWlOk4TsXNDZN2dL9PkOtpnIbHA&_hsmi=303400097 )

**********************************************************
*
* 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 18, 2024

[DMANET] CFP: 29th IEEE Pacific Rim International Conference on Dependable Computing (PRDC 2024) Osaka, Japan November 13-15, 2024

==============CALL FOR PAPERS=================
29th IEEE Pacific Rim International Conference on Dependable Computing (PRDC 2024)
Osaka, Japan
November 13-15, 2024
https://prdc.dependability.org/PRDC2024/

PRDC 2024 is the 29th event in a series of symposia started in 1989 devoted to dependable and fault-tolerant computing; it encompasses fundamental theoretical approaches, practical experimental projects, and commercial components and systems. This symposium is recognized as the main event in the Pacific Rim area, and it provides a forum for countries around the world to exchange ideas for improving the dependability of computing systems.

*** Topics of interest include (but not limited to) ***

- Software and hardware reliability, resilience, safety, security, testing, verification, and validation
- Dependability measurement, modeling, evaluation, and tools
- Self-healing, self-protecting, and fault-tolerant systems
- Architecture and system design for dependability
- Prognostics in Complex Systems
- Reliability analysis of Complex Systems
- Fault-tolerant algorithms and protocols
- Cloud computing resiliency, security and privacy
- Software defined networks architectures and protocols
- Dependability issues in computing systems (e.g. computer networks and communications, high performance computing, real-time systems, storage and databases systems, cyber-physical systems, socio-technical systems, and blockchain and smart contracts).
- Emerging technologies (autonomous systems including autonomous vehicles, human machine teaming, smart devices/Internet of Things)

*** Submission and Publication Information ***

Manuscripts should use the IEEE double-column format (https://www.ieee.org/conferences/publishing/templates.html) in 10 pages for full papers and 6 pages for short papers. The references are not included in the page limit. Regardless of full or short papers, the authors can choose either one of the following two submission categories: (i) Regular Research Papers and (ii) Practical Experience Reports.
Regular Research Papers should describe original research (not submitted or published elsewhere).
Practical Experience Reports should describe an experience or a case study, such as the design and deployment of a system or actual failure and recovery field data.

- All submissions must be made electronically (in PDF format) on the submission website. Please note that all submissions will undergo a double-blind review. Please ensure that you have removed any references that could lead to identifying the authors of the paper. Failure to do so may result in the rejection of the paper regardless of the paper's contributions. Papers will be reviewed internationally and selected based on their originality, significance, relevance, and clarity of presentation. All accepted papers will be published by the IEEE Computer Society Press (EI Indexed).
- The submission website: https://prdc24.hotcrp.com/

*** Paper Award ***

One outstanding paper will be selected to receive the Best Paper Award, and one outstanding paper first-authored by a student will receive the Best Student Paper Award. A few excellent papers will be recommended to have their extended versions submitted to an international journal. The name of the Journal will be announced later.

*** Important Dates ***

- Abstract submission: July 24th, 2024 (AoE)
- Paper submission: July 31st, 2024 (AoE)
- Author notification: August 31st, 2024 (AoE)
- Camera-ready version: September 13th, 2024 (AoE)

*** Program Committee Co-Chairs ***

Valerio Schiavoni, Universite de Neuchatel, Switzerland
Fumio Machida, University of Tsukuba, Japan

**********************************************************
*
* 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 Available In Computational Psychiatry at the University of Alberta

Postdoctoral Position In Computational Psychiatry
(Real-World Applications of AI and Machine Learning on Health Data)

The Department of Psychiatry at the University of Alberta in Edmonton is
recruiting two postdoctoral fellows in computational psychiatry focusing on
Real-World Applications of Artificial Intelligence (AI) and Machine
Learning (ML) on Health Data (e.g., claims, prescriptions, emergency
visits, hospitalization records, laboratory tests, clinical, behavioral and
cognitive assessments, surveys). The aim of the projects is to improve
health outcomes and facilitate evidence-based decision making about mental
and substance use disorders and other adverse outcomes (e.g., overdose) for
clinicians, health service providers and policymakers through translation
and implementation of AI and ML in the real world beyond research settings.

The successful applicants will participate and lead research that applies
advanced statistical, AI and ML techniques to large populational health
data of patients with mental and substance use disorders. Current and
potential projects include two main directions: 1) Individualized
prediction of mental and substance use disorders and overdoses and
associated health and economical outcomes in the population using health,
survey and biological data; 2) Implementation of ML models through
interactions with multiple stakeholders and people with living and lived
experiences. Applicants must possess a doctoral degree (PhD or MD/PhD) in
relevant disciplines, such as computer science, mathematics, neuroscience,
physics, psychiatry, psychology or statistics. Clinical or health research
experience and strong coding or analytical skills are required. Previous
experience in structured and/or unstructured large-scale health data, a
vision in future precision and personalized mental health, strong
scientific writing and communication skills and capability to work
collaboratively in an interdisciplinary team and dynamic environment are
desired.

The successful applicants will have the opportunity of supervised access to
several public and government/institution owned datasets, including large
(over 4 million people) de-identified health data from Alberta. In this
context, there are excellent opportunities for shared mentorship and
collaboration with several PIs in psychiatry and computing science,
including the Alberta machine intelligence institute (Amii). The successful
applicant will play a leadership role for several research projects in
computational psychiatry, develop and participate in preparation of
research grant proposals, assist in the supervision and training of other
personnel including technologists, graduate students, other lab members and
scientific collaborators. The successful applicant will also have the
opportunity to work directly with our partners in Ministries of Alberta
Government, Alberta Health Services (AHS) and Canadian Mental Health
Association Edmonton, as well as international partners. The ideal
applicant will exhibit a high level of motivation to pursue data-driven
research in mental disorders, to publish in excellent peer-reviewed
journals, and to seek prestigious fellowships and research awards, as
appropriate.

The stipend will be commensurate with the experience of the successful
candidate. The positions are available immediately and funding is
sufficient to support the initial position for at least two years.

Fluency in English is a requirement and for applicants who did not complete
training in an accredited English language institution, IELTS scores will
normally be required as evidence of proficiency.

The University of Alberta acknowledges that we are located on Treaty 6
territory, and respects the histories, languages and cultures of First
Nations, Metis, Inuit and all First Peoples of Canada, whose presence
continues to enrich our vibrant community.

The Faculty of Medicine & Dentistry at the University of Alberta is one of
Canada's premiere health-sciences institutes, and in recent years has
ranked among the top 50 medical schools in the Times Higher Education World
University Rankings. The University of Alberta is home to more than 40,000
students in 200+ undergraduate and 500+ graduate programs, over 13,000
faculty and staff, more than 300,000 alumni worldwide and have been
recognized as one of Canada's Greenest Employers for over a decade.

The University of Alberta is located in Edmonton, a vibrant metropolitan
area of 1.5M and the provincial capital for Alberta. This friendly city
offers a rich cultural life and diverse recreational opportunities. The
campus on which the Faculty of Medicine & Dentistry is located is adjacent
to the North Saskatchewan River with one of the largest municipal park
systems in North America. Edmonton is approximately 3.5 hours by car from
Jasper and from Banff in the Canadian Rockies.

To Apply:

Candidates should submit a cover letter, a statement of career goals,
research interests (e.g., preferred research direction) and vision for
research track if applicable; a complete CV (Canadian Common CV is
acceptable) including a summary of graduate thesis research and
post-doctoral research (if applicable), undergraduate and graduate
transcripts, and the names and contact information (address, phone number
and email address) of three referees to:

Dr. Bo Cao
Associate Professor, Canada Research Chair & Co-Director of Computational
Psychiatry Group
Department of Psychiatry, Faculty of Medicine & Dentistry
Adjunct Professor, Department of Computing Science, Faculty of Science
University of Alberta
Edmonton, Alberta T6G 2B7, Canada
Email address: bcao2@ualberta.ca
Webpage: https://www.ualberta.ca/medicine/about/people/Bo-Cao

We thank all applicants for their interest; however, only those individuals
selected for an interview will be contacted.

The University of Alberta is committed to an equitable, diverse, and
inclusive workforce. We welcome applications from all qualified persons. We
encourage women; First Nations, Métis and Inuit; members of visible
minority groups; persons with disabilities; persons of any sexual
orientation or gender identity and expression; and all those who may
contribute to the further diversification of ideas and the University to
apply.

[DMANET] Seeking Postdoctoral Fellow (PDF) in Machine Learning at the University of Alberta

Position Title: Postdoctoral Fellow (PDF) in Machine Learning
Duration: 2 years
Start Date: May 2024 (negotiable)
Research Group: The Greiner Lab, University of Alberta (Edmonton) & Amii
(the Alberta Machine Intelligence Institute)

Summary
We are looking for a talented, knowledgeable and ambitious candidate to
research several interesting medical-informatics tasks related to
epidemiology (population disease forecasting) and bio-chemical analysis, as
well as foundational topics, especially survival prediction and
counterfactual reasoning, towards effectively learning personalized
treatment effects.

Expectations
1. Participate in relevant research and direct several projects
2. Work with (and perhaps co-supervise) various students
3. Collaborate with many colleagues, in both machine learning and
medicine/healthcare
4. (Co)write high-impact scientific publications
5. Present your work at leading conferences
6. Develop tools that can be used by researchers and practitioners

Requirements
1. PhD in computing science or a related area, with a focus on machine
learning and statistics
2. Experience in Medical Informatics is a asset
3. Evidence of high-quality research, such as publications in relevant
top-tier venues
4. Effective communicator in English, both written and spoken

How to Apply
Please send the following information (preferably in a single PDF file) to
rgreiner+PDF2024@ualberta.ca, with subject "PDF Medical Informatics 2024"
1. A cover letter summarizing your past work and insights on this topic,
and perhaps specific future directions
2. Your curriculum vitae, including a list of publications
3. Contact information for (at least) two references

[DMANET] [CFP] Sensing and Data Platforms: what is ahead of us (Special Session 11), IEEE MetroAgriFor Workshop

[Apologies if you receive multiple copies of this message]

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

October 29-31, 2024 - Padua, Italy

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Thank you for your consideration.

[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

**SPECIAL ISSUE**

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

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

Sincerely,

Lorenzo Palazzetti

PhD Student

Computer Science

University of Florence, Italy

[DMANET] [WiL] Women in Logic 2024 -- Final call for papers

Apologies for cross posting
--> Please feel free to forward this e-mail to interested persons! <--

Are you a woman working in logic?
Please join us on July 9, 2024 at WiL, give a talk, and enjoy a day with
Women in Logic!

Please submit an abstract of 1-2 pages by April 30, 2024 (AoE), via
EasyChair.

-----------------------------------------------------------------------------------------------------
Call for Contributions
WiL 2024: 8th Women in Logic Workshop
July 9, 2024
Co-located with LICS/ICALP/FSCD 2024
https://sites.google.com/view/wil24
-----------------------------------------------------------------------------------------------------
Women in Logic 2024 is a satellite event of the 9th International
Conference on Formal Structures for Computation and Deduction (FSCD 2024)
to be held in Tallinn, Estonia, from July 10 to July 13, 2024.

The Women in Logic workshop (WiL) provides an opportunity to increase
awareness of the valuable contributions made by women in the area of logic
in computer science. Its main purpose is to promote the excellent research
done by women, with the ultimate goal of increasing their visibility and
representation in the community. Our aim is to:

* provide a platform for women researchers to share their work and
achievements;
* increase the feelings of community and belonging, especially among junior
faculty, post-docs and students through positive interactions with peers
and more established faculty;
* establish new connections and collaborations;
* foster a welcoming culture of mutual support and growth within the logic
research community.

We believe these aspects will benefit women working in logic and computer
science, particularly early-career researchers.

Previous versions of Women in Logic (Reykjavík 2017, Oxford 2018, Vancouver
2019, Paris 2020, Rome 2021, Haifa 2022, Rome 2023) were very successful in
showcasing women's work and as catalysts for a recognition of the need for
change in the community.

Topics of interest include but are not limited to: automata theory,
automated deduction, categorical models and logics, concurrency and
distributed computation, constraint programming, constructive mathematics,
database theory, decision procedures, description logics, domain theory,
finite model theory, formal aspects of program analysis, formal methods,
foundations of computability, games and logic, higher-order logic, lambda
and combinatory calculi, linear logic, logic in artificial intelligence,
logic programming, logical aspects of bioinformatics, logical aspects of
computational complexity, logical aspects of quantum computation, logical
frameworks, logics of programs, modal and temporal logics, model checking,
probabilistic systems, process calculi, programming language semantics,
proof theory, real-time systems, reasoning about security and privacy,
rewriting, type systems and type theory, and verification.

INVITED SPEAKERS
* TBA

IMPORTANT DATES
* Abstract submission deadline: April 30, 2024
* Notification: May 13, 2024
* Easrly registration: May 17, 2024
* Contribution for Informal Proceedings: June 25, 2024
* Workshop: July 9, 2024

SUBMISSIONS
Abstracts should be written in English (1-2 pages), and prepared using the
Easychair style (https://easychair.org/publications/for_authors). The
abstracts should be uploaded to the WiL 2024 Easychair page
https://easychair.org/my/conference?conf=wil2024

as a PDF file before the submission deadline on April 30, 2024, anywhere on
Earth.

ORGANIZING AND PROGRAM COMMITTEE
* Suguman Bansal (Georgia Institute of Technology)
* Agata Ciabattoni (Vienna University of Technology)
* Lourdes Del Carmen González Huesca (Universidad Nacional Autónoma de
México)
* Amy Felty (University of Ottawa)
* Maria Keet (University of Cape Town)
* Delia Kesner (Université Paris Cité)
* Daniele Nantes (Co-chair, University of Brasília/Imperial College)
* Thaynara Arielly de Lima (Federal University of Goiás)
* Valeria de Paiva (Topos Institute)
* Catuscia Palamidessi (INRIA)
* Elaine Pimentel (Co-chair, UCL)
* Tephilla Prince (Co-chair, IIT Dharwad)
* Krishna S. (IIT Bombay)

GRANTS
A limited number of travel grants is available for students/young
researchers who would not otherwise have resources to attend WiL, and whose
attendance would benefit both the applicant and the event. We expect to be
able to help with registration/local/travel expenses. Applicants should
note that grants are limited, and that costs in excess of the grant will
not be reimbursed.

Grants will be awarded to (co-)authors of accepted papers, based on the
grant committee's assessment of the applicant's genuine financial need, the
potential benefit to the applicant's education and research, and the
potential benefit to WiL.

Applications should be sent by May 14th 2024 via the form:

https://forms.gle/UZkgGz53X6CYy2Tg6

The award notification date is May 15th, 2024.

The grants will be presented at the conferences; in case a grantee does not
attend, the chairs may transfer the grant to another student or give no
award.

The grants are kindly offered by ACM SIGLOG and Jane Street.

[DMANET] 2024 LSE ESRC Postdoctoral Fellows

2024 LSE ESRC Postdoctoral Fellows

The LSE Mathematics Department is inviting applications for the "Advanced quantitative methods" pathway of the 2024 LSE ESRC Postdoctoral Fellows. Candidates are expected to have research interests in Combinatorics, Financial Mathematics, Game Theory, or Operations Research and need to have (near-)completed their PhD in the UK. Details of the scheme can be found at

https://info.lse.ac.uk/current-students/phd-academy/esrc-doctoral-training-partnership/postdoctoral-fellowships

The application deadline is 16th May 2024.

Before applying, prospective applicants should contact a suitable research mentor among the department's academic faculty (see https://www.lse.ac.uk/Mathematics/people) with the departmental research manager (Dr Emily Jackson, E.Jackson2@lse.ac.uk<mailto:E.Jackson2@lse.ac.uk>) in Cc.

[DMANET] ALGOWIN 2024 - Call for papers

ALGOWIN 2024

20th International Symposium on Algorithmics of Wireless Networks

September 5-6 2024,

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

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

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

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

===== Scope =====

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

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

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

Topics of interest include, but are not limited to:

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

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

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

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

Steering Committee

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

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

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

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

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

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

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

[DMANET] Dutch Intercity Seminar on Optimization

Dear colleagues,

This is the second call for participation in the

Intercity Seminar of the Dutch Seminar on Optimization,

to be held on

May 23, 2024, at the Vrije Universiteit Amsterdam.

The Dutch Seminar on Optimization takes place once a month online, and this
is its first in-person event of 2024. It aims to bring together researchers
from the Netherlands and beyond, who are interested in optimization in a
broad sense. It has a focus on the theoretical foundations of discrete and
continuous optimization. This event provides an opportunity to foster
collaboration, present research and exchange ideas in an informal and
relaxed atmosphere.

Invited speakers are

Georgina Hall, INSEAD, Paris,

and

Alexandra Lassota, Eindhoven University of Technology.

Georgina Hall will give a talk about Polynomial Optimization Techniques for
Machine Learning and Supply Chain Management, and Alexandra Lassota will
talk about A convoluted situation: fine-grained algorithms and complexity
through the lens of min-plus convolution. You can find the full abstracts
on the website.

The website of the workshop is available at
https://vu.nl/en/events/2024/dutch-intercity-seminar-on-optimization. There
you will find all available information and a registration form to
participate. Registration is free and not necessary to participate, but
appreciated for catering purposes. There is also the possibility to
register a lightning talk and the possibility to join an optional dinner,
in which case we ask you to register at or before May 12.

We hope to see you in Amsterdam!
Tim Oosterwijk and Leen Stougie

[DMANET] IEEE CSF 2024 Workshop on Security, Privacy and Information Theory, Protect-IT'24 - Call for Papers (deadline May 4, 2024)

IEEE CSF 2024 Workshop on Security, Privacy and Information Theory,
Protect-IT'24 is now accepting submissions.

The workshop will be held in parallel with IEEE CSF 2024 in Enschede,
Netherlands on July 8, 2024. For further details on the workshop and
submissions please kindly refer to the workshop webpage or to the
summary below.

https://protectitworkshop.github.io/protectit-workshop.github.io/

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

Protect-IT targets to attract studies on security and privacy for
machine learning (ML) from an information-theoretic standpoint. Accuracy
and efficiency of ML systems are ensured by employing large datasets
which usually contain highly sensitive/personal information. This strong
dependence on personal information jeopardizes the privacy and security
of innocent Internet users who are contributing, knowingly or not, to
these online statistical datasets. Protect-IT aims to bring the typical
attendees of CSF, who have expertise on the theory of cryptography and
(algorithmic) fairness together with researchers on information theory
to study, develop, and evaluate privacy, security, and fairness attacks
against ML along with defense strategies to counter them.
We put information theory at the heart of this endeavor and call for
contributions grounded in information-theoretic concepts and principles,
aiming to enrich preliminary research efforts and to achieve widespread
adoption.

We will have two invited sessions that will be held by Josep
Domingo-Ferrer from University of Rovira i Virgili and Jan Ramon from
INRIA, Lille. The workshop is currently planned as a full day event.

**SUBMISSION INSTRUCTIONS**

We welcome two types of submissions: extended abstracts and posters.
Extended abstracts must be at most 4 pages long excluding references and
adhere to the *CSF* *format*. We encourage submissions of work that is
new to the community of data privacy, security and information theory in
addition to submissions which are currently under review elsewhere or
recently published in privacy and security venues. The workshop will
*not* have formal proceedings, but authors of accepted abstracts can
choose to publish their work on the workshop's webpage or to provide a
link to arXiv.

**POSTER INSTRUCTIONS**
All accepted papers have a slot at the poster session. Please print your
poster on size up to A0 (841 × 1189 mm) and bring it to the conference.

Submission deadline: May 04, 2024, 23:59 (Anywhere on Earth)
Notification of acceptance: June 04, 2024

More information may be found in the attached CFP flyer as well as on
the workshop's webpage.

Best regards,

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

[DMANET] VCLA International Student Awards - Call for Nominations

The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:

- Outstanding Master Thesis Award*
- Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)*

*The degree must have been awarded between January 1st, 2023 and December 31st, 2023 (inclusive).

----------------------------------
The main areas of interest are:
----------------------------------
- Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics).
- Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms.
- Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning).
- Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.

----------------------------------
Awards
----------------------------------
- The Outstanding Master Thesis Award: 1200 EUR.
- The Outstanding Undergraduate Thesis Award: 800 EUR.
- The winners will be invited to present their work at an award ceremony in Vienna, if the situation allows.

----------------------------------
Eligibility
----------------------------------
- The degree must have been awarded between January 1st, 2023 and December 31st, 2023 (inclusive).
- Students who obtained their degree at TU Wien are not eligible.

----------------------------------
Nomination Requirements
----------------------------------
Nominations must include:
- A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university.
- An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest.
- The CV of the nominated person, including publication list (if applicable).
- An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to award (AT) logic-cs.at.
- The full thesis.

All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work.

----------------------------------
Instructions for submitting self-nominations
----------------------------------
- Nominations should be submitted electronically by the applicants using the following link to EasyChair: https://easychair.org/conferences/?conf=vclaawards2024.
- Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis.
- The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to award (AT) logic-cs DOT at.
- The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords.
- The nominated student must be listed as the only author in the submission form.

----------------------------------
Important dates
----------------------------------
- Submission deadline: May 31st, 2024 (anywhere on Earth)
- Notification of decision: After August 31st, 2024

----------------------------------
Contact
----------------------------------
Please send all inquiries to award@logic-cs.at<mailto:award@logic-cs.at>.

----------------------------------
VCLA Award Committee 2024
----------------------------------
Shqiponja Ahmetaj and Anela Lolic will be co-chairing this year's edition of the VCLA International Student Awards. The remaining members of the committee will be announced in due time.

----------------------------------
Website with information on the award and the previous awardees
----------------------------------

https://www.vcla.at/2024/04/call-for-nominations-vcla-international-student-awards-2024/

Andrea Hackl, MA
Project Manager
Vienna Center for Logic and Algorithms

Technische Universität Wien
Favoritenstraße 9-11, Stiege 3, 3. Stock, 1040 Wien
andrea.hackl@tuwien.ac.at<mailto:andrea.hackl@tuwien.ac.at>
www.vcla.at<http://www.vcla.at/>

[DMANET] WG 2024: Call for Participation

==============================
WG 2024 CALL FOR PARTICIPATION
==============================
WG 2024
Špik, Alpine Resort, Gozd Martuljek, Slovenia
June 19-21, 2024
https://wg2024.famnit.upr.si/

WG 2024 is the 50th International Workshop on Graph-Theoretic Concepts
in Computer Science that aims to connect theory and applications by
demonstrating how graph-theoretic concepts can be applied in various
areas of computer science.

PLENARY SPEAKERS
=================
Hans L. Bodlaender (Utrecht University) (WG 2024 Test of Time Award,
joint with John R. Gilbert, Ton Kloks, and Hjálmtyr Hafsteinsson)
Shiri Chechik (Tel-Aviv University)
Michał Pilipczuk (University of Warsaw)

CONTRIBUTED TALKS
==================
WG 2024 features 31 high quality contributions, on topics from a wide
range of aspects of graph theory related to computer science.
For the list of accepted papers, see:
https://wg2024.famnit.upr.si/page/264-accepted-papers

ORGANIZED BY
=================
- The Mathematics Departments of the Faculty of Mathematics, Natural
Sciences and Information Technologies and Andrej Marušič Institute,
University of Primorska,
- Slovenian Discrete and Applied Mathematics Society, and
- Institute of Mathematics, Physics and Mechanics, Ljubljana.

For questions please contact the organizers at wg2024@famnit.upr.si.

REGISTRATION
=================
Registration is now open (see
https://wg2024.famnit.upr.si/page/259-registration)
Early registration deadline: May 10, 2024
Deadline for registration: May 31, 2024

ACCOMMODATION
=================
Participants are encouraged to book a room in Špik, Alpine Resort, which
is also the conference venue.
Discounted rates are available for conference participants. For more
information, see
https://wg2024.famnit.upr.si/page/261-accommodation

SPONSORS
=================
The conference has received support from the European Mathematical
Society and Springer.

Wednesday, April 17, 2024

[DMANET] Highlights of Parallel Computing (HOPC) Call for Papers (Nantes, France)

Dear colleagues,

We have extended the deadline for HOPC to April 25th (to be after the PODC
notification). If you are planning to attend SPAA/PODC this year, please
consider submitting your recent published work as an abstract to HOPC!

Best,
Laxman and Yihan

Call for Papers: HOPC'24

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

Highlights of Parallel Computing

Nantes, France. June 17-21, 2024

to be held in conjunction with ACM Symposium on Parallelism in Algorithms
and Architectures (SPAA'24) <https://spaa.acm.org/>

also co-located with ACM Symposium on Principles of Distributed Computing
(PODC'24) <https://www.podc.org/>

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

The Highlights of Parallel Computing (HOPC) is a workshop that will be
co-located with SPAA'24 (also co-located with PODC). In HOPC, participants
will present talks on recent papers on parallel computing (both theory and
practice) that did not appear at SPAA to the SPAA community. This will be
an opportunity for the SPAA community to interact with researchers
interested in parallelism who (perhaps) do not usually submit their work to
SPAA, and vice versa.

Although SPAA is a conference focusing on theory, historically it has also
placed a strong emphasis on research which combines theory and practice.
This workshop aims to provide a unique platform for both theoreticians and
practitioners to discuss how to implement practically-efficient parallel
algorithms based on theoretical results, as well as to understand what
theory is needed in practical large-scale applications.

The scope of HOPC consists of any work on parallel computing that was
accepted to a publication venue up to 3 years before the date of this
conference (i.e., June 2021 onward). For more information, please see the
Call For Papers page at https://ucrparlay.github.io/hopc24/cfp/

Submission Guidelines

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

Papers must be submitted in the form of a 2-page (maximum) abstract,
including bibliography. The review process is single-blind. The authors
need to specify their names, affiliations, as well as the original
conference version of this paper on the first page.

We recommend the authors use the ACM template in "sigconf" format (i.e.,
the same as the SPAA conference papers). This is a single-spaced
double-column format for US-letter paper, with a 9-point font size.
Submissions must be in PDF format.

An accepted paper will be invited to a poster presentation at the reception
of the SPAA conference. Selected papers will give oral presentations before
or during SPAA.

Important Deadlines (AOE ) and Dates

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

Submission Deadline: *April 25*

Author Notification: May 18

Camera-ready: June 1st

Poster Presentation: June 17 (SPAA Reception)

Oral Presentation: TBD

Submission Link

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

Please visit this link: https://easychair.org/my/conference?conf=hopc24 to
make paper submissions.

Contact

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

If you have any questions, please feel free to contact the HOPC 2023
Program Committee Co-Chairs: Laxman Dhulipala
<https://www.cs.umd.edu/~laxman/> (laxman@umd.edu, University of Maryland,
College Park) and Yihan Sun <https://www.cs.ucr.edu/~yihans/> (
yihans@cs.ucr.edu, University of California, Riverside).

[DMANET] [CP 2024] - Call for Doctoral Program Submissions

Call for Doctoral Program Submissions

The Doctoral Program (DP) of the CP conference is seeking submissions
from research students (new and past participants) conducting research
in constraint programming and related areas. The DP aims to provide an
informal environment for students to discuss ongoing work and to network
with experienced researchers. The DP is a full-day event that includes
short presentations of student papers, discussions with senior
researchers, poster presentations, networking activities and a social
dinner. Participation requires a paper submission to the DP, reviewing
of other submissions at the DP and attendance in person.

Paper Submission

Papers must be primarily the work of the student and can be work in
progress, completed work or recently published work. Students whose work
has been accepted in the main conference can submit a two-page extended
abstract summarising the key findings. Otherwise, students must submit
an original paper of up to 8 pages describing completed or ongoing
research or a summary of their research/PhD topic. Submissions can
include up to one additional page of references.

The submission form must clearly specify the student as the first author
and list all advisors and co-authors. Papers must follow the LIPIcs
guidelines <https://submission.dagstuhl.de/series/details/5#author> of
the main conference, be in PDF format and not include author information
in the text or metadata. As the DP aims to develop academic maturity of
young CP researchers, all reasonable submissions will be accepted.

Accepted papers will be made available online but not published in
formal printed proceedings. This allows the submitted work to be reused
and/or extended for submission to other conferences and journals.

Accommodation

A limited number of rooms at the Monastery of Saint Daniel Guesthouse
<https://www.santdaniel.com/ca/hostatgeria/> have been put aside for
students. Any student attending the DP or the main conference can
reserve a room regardless of paper acceptance. These rooms are not paid
by us and students will need to pay themselves.

We can accommodate 26 people in 10 double/twin rooms and 6 individual
rooms from 1st to 6th September. These rooms cost €52 per night per
person, including breakfast. Contact the DP chair to make a reservation.
Girona is expected to have a large number of visitors during the peak
summer period, so please organise your accommodation as soon as possible.

Financial Support

Our sponsors have kindly contributed financial support to cover
conference registration, accommodation and dinner costs for a limited
number of students. Financial support is granted on a case-by-case basis
depending on the needs of the young researcher

To apply, provide a summary of the request (max 0.5 page) and a letter
of recommendation from the student's main advisor (max 1 page). Submit
these by email to the DP Chair. Please also indicate whether the student
has benefitted from similar financial support in the past.

Schedule

The following activities will take place at the DP.

Peer Review Training

Every participant is required to review 1-2 DP papers. The aim is to
develop an ability to draw on an individual's expertise to critique
scientific work.

Peer Review Case Study

After paper acceptance, students may volunteer their paper and reviews
for a case study in a workshop format. The group will discuss the
criticisms of the paper and write a succinct rebuttal in an informal
environment.

Mentoring

A mentoring session is under planning. During the Doctoral Program, each
participant may be paired with a mentor from the community, who is
either a professor or a post-doctoral researcher. The mentor will attend
the student's presentation and view their poster, providing constructive
feedback. This activity is intended to provide individualised advice to
students from someone outside their immediate institution.

Presentations and Poster Session

Every student is expected to deliver a short presentation of their work,
followed by a question and answer session. In the case where a student's
paper has been accepted in the conference, they will deliver a brief
lightning talk aimed at motivating the audience to attend their full
presentation.

All students should also aim to bring a poster in A0 format, which will
be presented during the coffee breaks of the conference. The primary
objective of the poster session is to encourage discussion and
international collaboration with unfamiliar researchers.

Invited Talks

Recent and past graduates of the CP community will reflect on their time
in academia and industry. These talks aim to motivate students in
diverse areas of constraint programming and to provide an opportunity to
seek guidance about different career pathways.

Social Dinner

A free dinner is organised in the evening of the DP at La Taverna del
Foment. The dinner will be open to all students and invited speakers of
the DP.

Diversity and Inclusion

The participants of the DP are encouraged to participate in the
diversity and inclusion surveys organised by the conference.

Important Dates (Subject to Change)

* Submissions open: 20/06
* Deadline for submissions and financial support requests: 30/06
* Deadline for student reviews: 12/07
* Outcome notification: 15/07
* Camera ready paper: 16/08
* DP event: 02/09

DP Chair

Edward Lam.
ed-lam.com <http://www.ed-lam.com>
edward.lam@monash.edu

*Check for updates at: *https://cp2024.a4cp.org

[DMANET] [CP 2024] - Call for Tutorial Proposals

*Call for Tutorial Proposals*

30th International Conference on Principles and Practice of Constraint
Programming (CP2024), September 2-6, 2024, Girona, Spain.

The CP conference is the premier annual international conference on
constraint programming. It is concerned with all aspects of computing
with constraints, including but not limited to algorithms, environments,
languages, models, systems, theory, and applications such as decision
making, resource allocation, configuration, planning, and scheduling,
vehicle routing, data-science.

We invite proposals for tutorials to be held at CP2024. Tutorials will
be scheduled during the conference, which will take place from September
2 to 6, 2024.

The Tutorial Program is intended to disseminate information to
conference attendees on recently emerging topics and trends, provide
surveys of complementary techniques to those commonly studied at CP, and
inform industrial practitioners on the state-of-the-art within the
field. Tutorials will be given by experts in the subject matter.

Tutorial proposals should be emailed to the tutorial chair Pierre
Schaus. Notifications will be provided within 2 weeks. A tutorial
proposal, which should not exceed two pages overall, should include:

* Title
* Presenter/organizer name(s) and affiliations
* Abstract (less than 300 words)
* Motivation (suitability for the CP audience)
* Presenter/organizer biography (or link to webpage) and connection to
the tutorial topic.

*Proposals deadline:* 01/07

For further inquiries or to submit your proposal please contact the
tutorial chair : Pierre Schaus pierre.schaus@uclouvain.be

[DMANET] 1-year postdoctoral position on algorithm, computational complexity, and combinatorics in low-dimensional topology/quantum topology - INRIA, France

Dear colleagues,

we are opening a 1-year postdoctoral position at INRIA on algorithms,
computational complexity, and combinatorics in low-dimensional topology
and/or quantum topology.

Please, consult:

https://recrutement.inria.fr/public/classic/fr/offres/2024-07483

for details on the offer and a platform to apply.

Applications will be assessed on a rolling basis until the position is
filled, beginning April 29th, 2024.

The starting date is flexible, but not later than October 1st, 2024.

Please forward this to any potential candidate. If there is any
question, feel free to contact me (clement.maria@inria.fr).

Best regards,
Clément Maria
www-sop.inria.fr/members/Clement.Maria/

[DMANET] DIMACS Workshop on Modeling Randomness in Neural Network Training: Mathematical, Statistical, and Numerical Guarantees

***************************************************************
DIMACS Workshop on Modeling Randomness in Neural Network Training: Mathematical, Statistical, and Numerical Guarantees

June 5 - 7, 2024
DIMACS Center, Busch Campus, Rutgers University
Organizers:
Tony Chiang, University of Washington & Pacific Northwest National Lab
Ioana Dumitriu, University of California, San Diego
Anand Sarwate, Rutgers University

*********************************************************************
Workshop Announcement:

Neural networks (NNs) are at the heart of modern machine learning and artificial intelligence (ML/AI) systems. The rapid development of these technologies has led to adoption across a variety of domains, particularly in speech processing, computer vision, and natural language processing. At the same time, the theoretical underpinnings of these statistical models are not yet fully understood. The question of how and why neural networks "work" can be approached from a variety of mathematical perspectives. One of the most promising mathematical tools for analysis of neural networks is random matrix theory, a field whose relevance and applicability to modeling, understanding, and characterizing a vast array of science and technology problems is growing every day. From principle component analysis and random growth processes to particle interactions and community detection in large networks, random matrices are now used to investigate and explain high-dimensional phenomena like concentration (the so-called "blessing of dimensionality" as opposed to the "curse of dimensionality"). Recent results in universality allow for use of more complex, non-Gaussian models, sometimes even allowing for limited dependencies. This begs the question: what can random matrix theory tell us about neural networks, modern machine learning, and AI?

The overarching goal of the workshop is to create bridges between different mathematical and computational communities by bringing together researchers with a diverse set of perspectives on neural networks. Topics of interest include:

* understanding matrix-valued random processes that arise during NN training,
* modeling/measuring uncertainty and designing estimators for training processes,
* applications to these designs within optimization algorithms.

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

Call for Participation:

The workshop will feature a poster session and there may be limited funds available to support travel by those whose attendance is contingent on support. To register to attend the workshop or for information on applying for support and submitting a poster, please visit the workshop's webpage.

*********************************************************************
Workshop web site (including registration, lodging and parking):
http://dimacs.rutgers.edu/events/details?eID=2772

[DMANET] IWOCA 2024: Call for Participation

*********************************
Call for Participation

IWOCA 2024: 35th International Workshop on Combinatorial Algorithms

1-3 July, 2024 - Ischia, Italy
http://iwoca2024.di.unisa.it/

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

IWOCA 2024 will take place on the beautiful island of Ischia, Italy,
http://iwoca2024.di.unisa.it/venue.html

from July 1st to July 3d, 2024.

* Registration *

Detailed information about registration can be found at
http://iwoca2024.di.unisa.it/registration.html

Deadlines:

- Early registration: May 3d, 2024.

- Late registration: June 17th, 2024.

* Accommodation *
Detailed information about the accommodation can be found at
http://iwoca2024.di.unisa.it/accomodation.html

* Keynote Speakers *

- Ralf Klasing
CNRS and University of Bordeaux, France

- Lucia Moura
University of Ottawa, Canada

- Nadia Pisanti
University of Pisa, Italy

See http://iwoca2024.di.unisa.it/invited.html for further details.

* Accepted Papers *

See http://iwoca2024.di.unisa.it/accepted.html for details.

*Organizers*

Roberto Bruno, University of Salerno, Italy
Gennaro Cordasco, University of Campania "L. Vanvitelli", Italy
Luisa Gargano, University of Salerno, Italy
Adele Rescigno, University of Salerno, Italy
Ugo Vaccaro, University of Salerno, Italy

[DMANET] LMW@LICS and ICALP '24 - Call for participation and scholarship applications

LOGIC MENTORING WORKSHOP
Tallinn, Estonia
Sunday 9 July 2024

https://logic-mentoring-workshop.github.io/lics24/

Colocated with LICS and ICALP 2024

CALL FOR PARTICIPATION AND SCHOLARSHIP APPLICATIONS

The 11th Logic Mentoring Workshop (LMW) invites participation from
students (undergraduate, master's and PhD), in all areas of logic for
scholarships to attend the Logic in Computer Science (LICS) conference
and the International Colloquium on Automata, Languages and Programming
(ICALP) this year. Attending a conference such as ICALP and LICS can be
a transformative experience. It exposes participants to cutting-edge
research and can open up new research avenues and collaboration
opportunities. Some scholarships will be generously funded by our
sponsors (see below) and cover registration to ICALP or LICS, as well as
the workshop, and possibly travel and accommodation. Due to the generous
funding of the NSF, we will be able to fund several US students
completely. Women and members of minority groups are especially
encouraged to apply.

The LMW will focus on the technical and practical aspects of a career in
logic research, including talks and a panel session from leaders in the
subject. LMW'24 builds on a long tradition of LMW workshops held at LICS
and CSL every year.

SCHOLARSHIP APPLICATIONS

Applications should be made via the online form:

https://lipn.univ-paris13.fr/limesurvey/index.php/886399?lang=en

The deadline for applications is *7 May 2024* AoE (anywhere on earth).
Notification will be made before May 10th. This deadline is to allow
students to register within the limit of early-bird registration which
ends on 17 May.

WORKSHOP REGISTRATION

Registration will be done via the main conference site. See the
ICALP/LICS/FSCD page : https://compose.ioc.ee/icalp2024/#registration

SPEAKERS : TBA

Following the tradition, the Logic Mentoring Workshop will invite senior
and junior researchers to teach about soft skills and career management
after a PhD in Logic, as well as to give scientific talks.

ORGANISING COMMITTEE

Davide Catta (Università di Napoli)
Marie Kerjean (CNRS)
Nadia Labai (Amazon)
Niels Voorneveld (Cybernetica)

SPONSORS
National Science Foundation (NSF)
Jane Street
ACM Special Interest Group on Logic and Computation (SIGLOG)

[DMANET] PhD and postdoc positions at Ben-Gurion University, Israel

Dear colleagues,

There is an open call for PhD and postdoc positions in Theoretical Computer
Science (Computational Complexity, Proof Complexity, Error Correcting
Codes, Communication complexity, and Information Theory) at Ben-Gurion
University, Israel. More details are here
https://www.cs.bgu.ac.il/~klim/Links/Call.html

The (soft) application deadline is May 10, 2024. You are welcome to ask me
any questions.

I would appreciate it if you share this information with someone interested.

Best regards,
Dmitry.

<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
Никаких
вирусов.www.avast.com
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
<#m_5932823768071019350_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

[DMANET] GandALF 2024: Last Call for Papers

[apologies for cross-postings]

Please distribute.

Paper submission deadline: 10 April 2024 19 April 2024

Application for student accommodation: 15 May 2024

Application for ASL student funding: 19 March 2024 (expired)

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

The Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 24) will be held in Reykjavik (Iceland) on June 19-21, 2024. This year, GandALF is part of the Reykjavik Summer of Cool Logic 2024 (SCooL 2024) and is co-located with the Twelfth Scandinavian Logic Symposium (SLSS 2024) and the Fifth Nordic Logic Summer School (NLS 2024).

The aim of GandALF 2024 is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following:

Automata Theory

Automated Deduction

Computational aspects of Game Theory

Concurrency and Distributed computation

Decision Procedures

Deductive, Compositional, and Abstraction Techniques for Verification

Finite Model Theory

First-order and Higher-order Logics

Formal Languages

Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems

Game Semantics

Games and Automata for Verification

Logical aspects of Computational Complexity

Logics of Programs

Modal and Temporal Logics

Model Checking

Models of Reactive and Real-Time Systems

Probabilistic Models (Markov Decision processes)

Program Analysis and Software Verification

Reinforcement Learning

Run-time Verification and Testing

Specification and Verification of Finite and Infinite-state Systems

Synthesis

Important Dates

Paper submission deadline (extended): 19 April 2024 (this Friday!)

Acceptance notification: 10 May 2024

Camera-ready deadline: 10 June 2024

Conference dates: 19-21 June 2024

⚠ all deadlines are AoE

Publication

The proceedings will be published by Electronic Proceedings in Theoretical Computer Science (https://cgi.cse.unsw.edu.au/~eptcs/). Authors of selected papers will be invited to submit a revised version of their work to a special issue of the high-quality, open-access journal Logical Methods in Computer Science.

The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021, 2022, and 2023).

Submission

Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) typeset using EPTCS format (please use the LaTeX style provided at https://style.eptcs.org/), be unpublished, and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via easychair at the following address:

https://easychair.org/conferences/?conf=gandalf23

ASL sponsorship

GandALF 2024, as part of SCooL 2024, is sponsored by the Association for Symbolic Logic (https://aslonline.org/), which means that tudents that are ASL members may apply for ASL travel support for any or all events in the context of SCooL 2024. Applications and recommendations for any of the events must be received before the 19th of March. No late applications will be accepted. Decisions will be communicated before the 19th of April.

Student Accommodation

Students attending SCooL 2024 can apply for shared accommodation close to Reykjavik University. However, please note that accommodation availability is limited, and priority will be granted to those attending multiple events. The application deadline is May 15, 2024, but interested students are encouraged to apply as soon as possible.

To apply for a spot and for more information, please visit https://scool24.github.io/student_accommodation/

Invited Speakers

GandALF 2024 will feature four invited talks, which will be delivered by

* Bernd Finkbeiner (CISPA Helmholtz Center for Information Security)

* Kim G. Larsen (Aalborg University)

* Brigitte Pientka (McGill University)

* Azalea Raad (Imperial College London)

Program Committee

Co-chairs

Antonis Achilleos (Reykjavik University)

Andrian Francalanza (University of Malta)

Members

Parosh Aziz Abdulla (Uppsala University)

Valentina Castiglioni (Eindhoven University of Technology)

Aggeliki Chalki (Reykjavik University)

Laure Daviaud (University of East Anglia)

Dario Della Monica (Università degli Studi di Udine)

Giorgio Delzanno (Università degli Studi di Genova)

Léo Exibard (Université Gustave Eiffel)

Nicola Gigante (Free University of Bozen-Bolzano)

Julian Gutierrez (Monash University)

Jonas Kastberg Hinrichsen (Aarhus University)

Ryan Kavanagh (Université du Québec à Montréal)

Orna Kupferman (Hebrew University)

Martin Leucker (University of Luebeck)

Jakub Michaliszyn (University of Wroclaw)

Laura Nenzi (University of Trieste)

Paweł Parys (University of Warsaw)

Guillermo Perez (University of Antwerp)

Jakob Piribauer (TU Dresden)

Ocan Sankur (Univ Rennes, CNRS)

Felix Stutz (University of Luxembourg)

Patrick Totzke (University of Liverpool)

Tomoyuk Yamakami (University of Fukui)

Matteo Zavatteri (University of Padova)

Martin Zimmermann (Aalborg University)

Steering Committee

Luca Aceto – Reykjavik University (Iceland) and Gran Sasso Science Institute (Italy)

Javier Esparza – University of Munich (Germany)

Salvatore La Torre – University of Salerno (Italy)

Angelo Montanari – University of Udine (Italy)

Mimmo Parente – University of Salerno (Italy)

Jean-François Raskin – Université libre de Bruxelles (Belgium)

Martin Zimmermann – Aalborg University (Denmark)

Website

https://scool24.github.io/GandALF/
**********************************************************
*
* 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/
*
**********************************************************

Theory Announcements

Friday, April 19, 2024

[DMANET] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FINAL CALL FOR PAPERS (April 24, 2024)

Thursday, April 18, 2024

[DMANET] CFP: 29th IEEE Pacific Rim International Conference on Dependable Computing (PRDC 2024) Osaka, Japan November 13-15, 2024

[DMANET] Postdoctoral Position Available In Computational Psychiatry at the University of Alberta

[DMANET] Seeking Postdoctoral Fellow (PDF) in Machine Learning at the University of Alberta

[DMANET] [CFP] Sensing and Data Platforms: what is ahead of us (Special Session 11), IEEE MetroAgriFor Workshop

[DMANET] [CFP] 1st IEEE LCN Special Track on Algorithmic Solutions for Drone- and Robot-based Networks (ASDRoNet) 2024

[DMANET] [WiL] Women in Logic 2024 -- Final call for papers

[DMANET] 2024 LSE ESRC Postdoctoral Fellows

[DMANET] ALGOWIN 2024 - Call for papers

[DMANET] Dutch Intercity Seminar on Optimization

[DMANET] IEEE CSF 2024 Workshop on Security, Privacy and Information Theory, Protect-IT'24 - Call for Papers (deadline May 4, 2024)

[DMANET] VCLA International Student Awards - Call for Nominations

[DMANET] WG 2024: Call for Participation

Wednesday, April 17, 2024

[DMANET] Highlights of Parallel Computing (HOPC) Call for Papers (Nantes, France)

[DMANET] [CP 2024] - Call for Doctoral Program Submissions

[DMANET] [CP 2024] - Call for Tutorial Proposals

[DMANET] 1-year postdoctoral position on algorithm, computational complexity, and combinatorics in low-dimensional topology/quantum topology - INRIA, France

[DMANET] DIMACS Workshop on Modeling Randomness in Neural Network Training: Mathematical, Statistical, and Numerical Guarantees

[DMANET] IWOCA 2024: Call for Participation

[DMANET] LMW@LICS and ICALP '24 - Call for participation and scholarship applications

[DMANET] PhD and postdoc positions at Ben-Gurion University, Israel

[DMANET] GandALF 2024: Last Call for Papers

Mailing Lists

Search This Blog

Blog Archive

Theory Announcements

Friday, April 19, 2024

Thursday, April 18, 2024

Wednesday, April 17, 2024

Mailing Lists

Subscribe To

Search This Blog

Blog Archive