Thursday, May 16, 2024

[DMANET] ACM GOODIT 2024 Conference - Deadlines Extended

Dear all,

Please consider sending your papers to the ACM GOODIT 2024 Conference. The deadline for full paper submission has been extended to May 31st 2024.

ACM GOODIT 2024 Conference Call for Papers
4-6 September 2024, Bremen, Germany
https://blogs.uni-bremen.de/goodit2024/


The ACM 4th International Conference on Information Technology for Social Good (GoodIT 2024) is a premier international forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, and concerns, as well as practical challenges encountered and solutions adopted in the fields of data and technology for addressing Social Good and the UN Sustainable Development Goals. We welcome contributions that delve into the nexus of technology,
data science, and social well-being, exploring how these domains interconnect and impact society.

Alongside the main track, the conference includes the Work-in-Progress and PhD Track. The Work-in-Progress Track is an excellent opportunity for practitioners and researchers to present early-stage work, offering a platform for sharing innovative ideas, receiving feedback, and fostering discussions and collaborations. The PhD Track is designed for
PhD students at different stages of their research. It provides a valuable opportunity for these students to present and refine their research under the guidance of experienced researchers. Additionally, the program will be enriched with several Special Tracks. The forthcoming Call for Papers will outline these tracks' details and specific topics.


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

* IT and Data Science for Social Good:
* Social Impact of Machine Learning Applications
* Data and algorithmic biases and potential societal risks
* Large language models (LLMs) and GenAI models impact on society
* Fairness, Accountability, and Transparency in Machine Learning
* Citizen Science
* IT for smart living, Health and social care
* Technology for Social Good:
* AI and Machine Learning for Social and Humanitarian response
* IoT Solutions for Sustainable Development
* Decentralized approaches to IT
* Digital Solutions for Cultural Heritage
* Game, entertainment, and multimedia applications
* IT for education
* Environmental Sustainability and Technology:
* Green Computing and Energy-Efficient Technologies
* Climate Change Modeling and Environmental Science
* Smart Cities and Sustainable Urban Development
* Sustainable Networking and Communication Systems
* Technology addressing the digital divide
* Ethics, Policy, and Governance in Tech for Social Good:
* Regulatory and Policy Frameworks for Ethical Tech
* Governance of AI and Autonomous Systems in Social Contexts
* Digital Rights and Freedom in the Age of Technology
* Data Privacy and Security in Social Applications


SUBMISSION GUIDELINES:
Submitted papers must be original works and must not have been previously published. All papers must clearly outline the research question, methodology, results, and implications for social good. The papers should follow the new ACM format

(https://authors.acm.org/proceedings/production-information/taps-production-workflow).

* Main Track and Special Tracks Full Paper Submission should be a maximum of 12 pages.
* Work-in-Progress papers should be a maximum of 8 pages.
* Ph.D. track papers should be a maximum of 5 pages.

The indicated paper length includes references, tables, and figures. Documents with a length disproportionate to their contribution will be rejected.

These submissions will undergo a single-blind peer review process involving three evaluations each. Accepted papers will be included in the ACM Digital Library. Each accepted paper must have at least one of its authors register for and physically present the work at the conference. Please consider that this is a condition to ensure the paper is included in the conference proceedings. For additional details, please check the "Submission of Papers" web page (https://blogs.uni-bremen.de/goodit2024/submission-of-papers/).


IMPORTANT DATES:
* Full Paper Submission Deadline: May 31st, 2024
* Notification of Paper Acceptance: July 8th, 2024
* Camera-Ready Submission: July 19th, 2024
* Conference Dates: 4-6 September 2024, Bremen, Germany


SUBMISSION PORTAL:
Please submit your papers through our online submission portal available at https://goodit2024.hotcrp.com/


CONTACT US:
For any inquiries regarding the call for papers, please contact pmanzoni@disca.upv.es
We look forward to your contributions and to seeing you at the ACM GOODIT 2024 Conference!
________________


ACM GOODIT 2024 Conference Committee


**********************************************************
*
* 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, May 15, 2024

[DMANET] CLAIO 2024: Extended deadline- May 26

===============================================================
*CALL FOR ABSTRACTS:*
22nd Latin-Iberoamerican Conference on Operations Research (CLAIO 2024)
12th Mexican Conference on Operations Research (CSMIO 2024)
October 28 – November 1, 2024, Guadalajara, Mexico
Conference webpage: http://www.smio.org/home-claio-2024.html
*Abstract submission:* http://www.smio.org/abstract-submission.html
*Extended deadline* - May 26, 2024
===============================================================

Dear colleagues,

We are delighted to invite researchers, academics, practitioners, and
students in any branch of operational research and its applications to
submit their abstracts. The languages of the conference are Spanish,
Portuguese and English. At least one author of every accepted abstract is
expected to register before the early registration deadline. No participant
can present more than one abstract at the conference. The accepted and
registered abstracts will be published in the conference proceedings.

VENUE:
Guadalajara is considered the city that best represents the heart of
Mexico. Its mix of culture and deeply rooted traditions make Mexico a
destination of international pride. The most representative icons of the
country, such as Tequila, Charreria, and Mariachi, have their origin in
this beautiful city.

PLENARY SPEAKERS:
Ana Paula Cabral Seixas Costa, Federal University of Pernambuco
Susana Mondschein, University of Chile
Thibaut Vidal, Polytechnique Montréal
Dylan Jones, University of Portsmouth (EURO Lecture)
Tava Olsen, The University of Melbourne (IFORS Lecture)
Roger Z. Rios, Autonomous University of Nuevo Leon (SMIO Lecture)

IMPORTANT DATES:
Registration system open - February 1, 2024
Abstract submission extended deadline - May 26 2024
Acceptance/rejection notification - June 15, 2024
Camera-ready abstract deadline - June 30, 2024
Early registration deadline - August 31, 2024

ABSTRACT SUBMISSION:
http://www.smio.org/abstract-submission.html

COMMITTEES:
Scientific committee chair: María Angélica Salazar Aguilar (UANL, Mexico)
Organizing committee chairs: Elías Olivares Benítez and Abraham Mendoza
Andrade (Universidad Panamericana, Mexico)

PUBLICATIONS:
Conference abstracts will be published in the Proceedings.
There will be a related post-conference special issue in Annals of
Operations Research (Springer).

CONTACT:
claio2024@up.edu.mx


--
M. Angélica Salazar Aguilar
President of the Scientific Committee

Elias Olivares Benitez / Abraham Mendoza Andrade
Chairs of the Organizing Committee

**********************************************************
*
* 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] Conference "Integral Structures in Geometry and Representation Theory" in Paderborn

Dear all,

This is to announce the conference
"Integral Structures in Geometry and Representation Theory"
as part of the newly established CRC-TRR 358 of Bielefeld University and
Paderborn University.

The conference will take place at Paderborn University (Germany), September
9-13 2024, and will consist of plenary talks in the mornings followed by
parallel sessions in the afternoon.

List of plenary speakers:
Pierre-Emmanuel Caprace (Leuven)
Emanuele Macrì (Orsay)
Gunter Malle (Kaiserslautern)
Yves Meyer (Paris-Saclay)
Amnon Neeman (Milan)
Hee Oh (Yale)
Alexander Polishchuk (Oregon)
Dipendra Prasad (Mumbai)
Maryna Viazovska (Lausanne)
Anna Wienhard (Heidelberg)
Efim Zelmanov (SUSTech)

Among the six parallel sessions, there will be a session on
"Experimental methods in algebra, geometry, and number theory"
whose speakers are:

Daniele Agostini (Universität Tübingen)
Marie-Charlotte Brandenburg (KTH Royal Institute of Technology)
Bettina Eick (Technischen Universität Braunschweig)
Giles Gardam (Universität Bonn)
Yang-Hui He (University of London)
Steffen Müller (University of Groningen)
Eamonn O'Brien (University of Auckland)
Anna-Laura Sattelberger (KTH Royal Institute of Technology)
Emre Sertöz (Leiden University)
Sara Veneziale (Imperial College London)
Nelly Villamizar (Swansea University)
Christian Wuthrich (University of Nottingham)


For further information (in particular registration, and topics and lists
of speakers for the other sessions), see the following:
https://trr358.math.uni-bielefeld.de/workshops/view/191#home

Best regards,
Ana Botero, Lukas Kühne, and Christopher Voll (on behalf of the 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] Huawei: Internship Opportunity for Master's & Ph.D. students

Hello,

We are pleased to announce a 6-months internship opportunity at the Huawei Research Center in Boulogne-Billancourt, France. This position is within the Operations Research (OR) team. The internship topic is "Optimization Solver for Telecommunication Network Problems."

We invite both Master's and Ph.D. students who are interested in pursuing an industry internship in combinatorial optimization.

Candidates must be highly motivated and have the following skills:

* Good operation research and continuous and combinatorial optimization skills

* Good mathematical background

* Good programming skills in C++ (required)

* Knowledge of networking is a plus but not necessary (IP, routing protocols like OSPF)

For further details, please feel free to reach out to me.

Best regards,
Youcef Magnouche

**********************************************************
*
* 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, May 14, 2024

[DMANET] [CFP] Special Issue on Information Storage, Compression and Prediction in Deep Neural Networks

[Apologies for multiple posts; please distribute to interested people!]

Dear colleagues,

We invite you to submit to the special issue on "Mathematical Understanding
of Information Storage, Compression and Prediction in Neural Networks"
(more details can be found here:
https://www.frontiersin.org/research-topics/59300).


*- The journal(s) -*

The special issue is hosted by (alternatively):
- Frontiers in Computational Neuroscience (Impact Factor - 3.2, CiteScore -
4.8), or
- Frontiers in Neuroinformatics (Impact Factor - 3.5, CiteScore - 5.3).


*- Research Topic -*

Regardless of their success, today, deep neural networks (NNs) are still
used as a "black box", meaning the inner workings or detailed explanations
of how they arrive at their output are not revealed. Currently, we still do
not have the mathematical tools to fully understand the formal properties
of these networks and their limitations. Improving our theoretical
understanding of NNs is particularly important today, as these tools are
being deployed in an increasing number of safety-critical scenarios,
necessitating constant scrutiny of their behavior.

The goal of the special issue is to investigate the mathematical frameworks
that enable a better understanding of how information is learned and
represented within a neural network, including the study of existing
approaches that go in this direction.


*- Call for Papers -*

We invite researchers to present manuscripts focusing on the mathematical
analysis of deep neural networks, including their information-theoretic
interpretation and their statistical limits. The areas relevant to this
special issue include, but are not limited to:

- Theory of Deep Feed-forward and Recurrent NNs
- Information-theoretic principles and interpretation of NNs
- The Information Bottleneck and deep learning
- Compression in Deep Neural Networks
- The analysis of pattern and memory storage in NNs
- Deep NNs for brain-inspired machine learning and biological modeling
- Statistical Physics of deep neural networks
- Dynamical Systems Modeling of NNs
- Neural Network Dynamics and Stability
- Generalization and Regularization in NNs
- Learning Theory and Neural Networks
- Mathematical Models of Learning and Plasticity
- Neural Network Interpretability and Explainability
- Energy-Based Models in Deep Learning
- Neural Network Compression, Pruning, Sparsity and Efficient Computing
- Mathematics of Self-Supervised Deep Learning
- Optimization Landscapes and Loss Surface Analysis
- Neural Network Generalization and Overparameterization
- Mathematical Theories of Transformers and Attention Mechanisms
- Theoretical Foundations of Transfer Learning and Domain Adaptation

Manuscript Submission Deadline: 27 October 2024.


*- Topic Editors -*

Giorgio Gosti, Italian National Research Council (CNR), Italy (
giorgio.gosti@cnr.it)
Nicola Catenacci Volpi, University of Hertfordshire, United Kingdom (
n.catenacci-volpi@herts.ac.uk)
Nilesh Goel, Birla Institute of Technology and Science, United Arab Emirates

*-----------------------------------*


Dr. Nicola Catenacci Volpi, PhD

Research Fellow in Information Theory for AI & Robotics

Adaptive Systems Research Group

The University of Hertfordshire

Department of Computer Science

College Lane

Hatfield, Hertfordshire AL10 9AB

United Kingdom

E-mail: n.catenacci-volpi@herts.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] BOCCONI THEORY DAY -- Call for participation

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

BOCCONI THEORY DAY -- Call for participation

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


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


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


DATE and VENUE:

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


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


SPEAKERS:

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


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


LINK and REGISTRATION:

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

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

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


The organizers,

Laura Sanità and Luca Trevisan

**********************************************************
*
* 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 - Call for Papers

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

[DMANET] Graph Drawing 2024: Second Call for Papers

Apologies in case you receive multiple copies of this announcement.

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


Second Call for Papers

GD 2024

32nd International Symposium on
Graph Drawing and Network Visualization

September 18–20, 2024 – Vienna, Austria
https://graphdrawing.github.io/gd2024/

Paper submission link

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

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

PDF version:
https://graphdrawing.github.io/gd2024/assets/pdfs/Call_for_Papers-2024.pdf
HTML version: https://graphdrawing.github.io/gd2024/pages/cfp/

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

IMPORTANT DATES

May 31: Abstract submission deadline
June 07: Paper submission deadline
July 20: Notification of paper acceptance
August 16: Poster submission deadline
August 31: Notification of poster acceptance
September 06: Final versions due
September 01: Contest submission deadline

September 18-20: Symposium

(all deadlines are understood to be 23:59 AoE)

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

Graph Drawing is concerned with the geometric representation of graphs
and constitutes the algorithmic core of Network Visualization. Graph
Drawing and Network Visualization are motivated by applications where it
is crucial to visually analyze and interact with relational datasets.
Examples of such application areas include data science, social
sciences, web computing, information systems, life sciences, geography,
business intelligence, information security, and software engineering.

GD has been the main annual event in this area for more than 30 years.
Its focus is on combinatorial and algorithmic aspects of graph drawing,
their practical evaluation, as well as the design of network
visualization systems and interfaces. Researchers and practitioners
working on any aspects of graph drawing and network visualization are
invited to contribute papers and posters and to participate in the
symposium as well as the graph drawing contest.

GD 2024 will be held in Vienna, Austria, on September 18-20, 2024 with a
reception on the evening of September 17. A pre-conference PhD school
will take place September 16-17, 2024. GD 2024 is designed to be held
on-site. It is expected that regular papers are presented on site by
one of the authors. To address the global challenges and as an offer for
authors who are unable to attend we allow for a limited number of remote
presentations in the form of preproduced videos.

The code of conduct for the GD conference can be found at
http://graphdrawing.org/codeOfConduct.html

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

PAPERS

We invite authors to submit papers describing original research of
theoretical or practical significance to graph drawing and network
visualization. To promote a balanced coverage of the field, GD has two
distinct tracks, and papers submitted to one track will not compete with
papers submitted to the other track. Regular papers must be submitted
explicitly to one of the two tracks. However, all program committee
members may review papers from either track.


TRACK 1: Combinatorial and algorithmic aspects
This track is mainly devoted to fundamental theoretical graph drawing
advances, such as combinatorial aspects and algorithm design. The range
of topics for this track includes (but is not limited to):
• Design and analysis of graph drawing algorithms
• Geometric and topological graph theory
• Computational topology of graphs on surfaces
• Graph representations
• Geometric algorithms and optimization


TRACK 2: Experimental, applied, and network visualization aspects
This track is mainly devoted to the practical aspects of graph drawing,
such as experimental evaluations of graph drawing related algorithms,
the development and/or evaluation of related libraries and tools, or
systems and interfaces in different application areas. The range of
topics for this track includes (but is not limited to):
• Engineering of graph drawing algorithms and network visualization systems
• Libraries, tools and systems in the context of graph drawing and
network visualization
• Interfaces and methods for interacting with graphs and networks
• Benchmarks and experimental studies in the context of graph drawing
and network visualization
• Cognitive studies on network visualization readability and user
interaction
• Visualization of networks in real world applications


Authors of accepted applied papers are encouraged to show a demo of
their software/system during the poster session.


SHORT PAPERS

In addition to the above two tracks, there will be a separate category
for short papers. Here we welcome smaller and less elaborate
contributions on relevant topics. Papers in this category will be
assigned a shorter time for presentation during the conference.


REMOTE PRESENTATION

For authors who cannot present their paper in person we offer the
possibility for remote presentation. Authors of accepted papers in this
category have to register for the conference. Papers in this category
are evaluated and selected by the program committee by applying the same
high standards as for the other tracks. In addition the authors have to
submit a recording of their presentation two weeks after the submission
of the paper. The remote submission chair can influence the score of
papers in this track based on the quality of the recording and even
reject submissions if the quality of the recording is inappropriate.
There is a limit of six remote presentations.


RULES FOR SUBMISSION

Results that have been previously published (or are scheduled for
publication) in another conference proceedings or journal, as well as
simultaneous submissions of results to other conferences with published
proceedings or journals are not permitted. Each paper or poster must be
presented at the conference by an author, otherwise the paper can be
excluded from publication in the proceedings.

ChatGPT and similar large language models may be used to improve the
paper's language, but its use should be mentioned as a footnote and the
authors remain responsible for the full paper. In particular, the
unattributed use of any such tools in the creation of the paper's
scientific content is forbidden.


SUBMISSION FORMAT

Submissions must be formatted in accordance with the LIPIcs proceedings
guidelines. Authors must use the LaTeX class file GD-lipics-v1.cls,
which is a wrapper around the standard LIPIcs class. The
GD-lipics-v1.cls class file and further instructions can be found on the
conference webpage. Submissions must not exceed 500 lines, (225 lines
for short contributions) excluding front matter (title, authors, and
affiliations), references, and a clearly marked appendix. The class
files provide line counting which should be accurate in most cases.
Authors should avoid substantial amounts of text in unnumbered lines.

To promote inclusion of figures in the submitted papers, submissions
will have a strict limit on the number of text lines. Regular papers may
have at most 500 lines, short papers 225 lines. We expect the main
content of the paper to typically fit within 12 pages excluding
references. For publishing purposes, the average length of final
versions is limited to 20 pages (including everything). The claims of
the paper should be fully substantiated. If this information does not
fit within the line limit, the authors should include it in a clearly
marked appendix, whose length is not constrained and which the reviewers
may read at their own discretion.


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

POSTERS & CONTEST

Submissions of posters on graph drawing, network visualization, and
related areas are solicited. The poster session will provide a forum for
the communication of late-breaking research results (which may also
appear elsewhere) to the GD community. Authors of posters should prepare
an abstract (up to 2 pages in LIPIcs style) that must be submitted
together with the poster itself.

Details about the traditional Graph Drawing Contest, which is held at
the conference, are provided at the web site
https://www.graphdrawing.org/gdcontest/contest2024


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

LIGHTWEIGHT DOUBLE-BLIND REVIEW PROCESS

The review process will be handled in a "lightweight double-blind mode".
This means that authors are not allowed to reveal their identity in the
submitted paper, but are free to disseminate draft versions of the paper
prior to the conference and to give talks on the topic as they normally
would. In particular, the submitted paper should not contain the
authors' names, affiliations, and email addresses. References to their
own related work are allowed, as long as the supporting text maintains
anonymity (e.g., using sentences in the third person).

Members of the Program Committee will not have the identity of the
authors of any paper revealed to them during the entire review process.
To handle conflicts of interest effectively, authors will be offered the
opportunity to declare conflicts of interest with PC members when they
submit their paper.

PAPER SUBMISSION, PROCEEDINGS, AND SPECIAL ISSUES

Papers should be submitted electronically via EasyChair at the web site
https://easychair.org/conferences/?conf=gd2024. The proceedings will be
published in the Leibniz International Proceedings in Informatics
(LIPIcs) series and are available open access.

Selected papers from both tracks will be invited for submission to a
special issue of the Journal of Graph Algorithms and Applications
(JGAA). The authors of two selected papers in Track 2 will be invited to
submit a substantially extended and enhanced version of their work to
IEEE Transactions on Visualization and Computer Graphics (TVCG). A
special TVCG papers session at the Graph Drawing conference will also
feature regular TVCG papers. Further details can be found at
https://www.computer.org/digital-library/journals/tvcg/tvcg-partners-with-conferences.


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

AWARDS

For each of the two tracks, the Program Committee of GD 2024 will bestow
a Best Paper Award. In addition, to recognize the effort of participants
to present their work and to prepare their posters in a clear and
elegant way, there will be a Best Presentation Award and a Best Poster
Award voted on by the GD 2024 attendees.


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

INVITED SPEAKERS

Otfried Cheong, SCALGO, Denmark
Monika Henzinger, Institute of Science and Technology Austria, Austria


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

PROGRAM COMMITTEE

Daniel Archambault, Newcastle University
David Auber, University of Bordeaux
Benjamin Bach, University of Edinburgh
Martin Balko, Charles University in Prague
Carla Binucci, University of Perugia
Giuseppe Di Battista, Third University of Rome
Vida Dujmovic, University of Ottawa
Tim Dwyer, Monash University
David Eppstein, University of California, Irvine
Stefan Felsner (co-chair), Technical University Berlin
Tom Freeman, Janssen Research and Development
Michael Hoffmann, ETH Zurich
Seok-Hee Hong, University of Sydney
Yifan Hu, Amazon
Tony Huang, University of Technology Sydney
Jonathan Klawitter, University of Auckland
Karsten Klein (co-chair), Konstanz University
Linda Kleist, Technische Universität Braunschweig
Boris Klemz, University of Würzburg
Maarten Löffler, Utrecht University
Maurizio Patrignani, Third University of Rome
Arnaud Sallaberry, University of Montpellier
Manfred Scheucher, Technical University Berlin
Alessandra Tappini, University of Perugia
Géza Tóth, Rényi Institute, Budapest
Torsten Ueckerdt (remote submission chair), KIT Karlsruhe
Birgit Vogtenhuber, Graz University of Technology
Hsiang-Yun Wu, St. Pölten University of Applied Sciences


ORGANIZING COMMITTEE

Doris Brazda, TU Wien, Austria
Thomas Depian, TU Wien, Austria
Alexander Dobler, TU Wien, Austria
Simon Dominik Fink, TU Wien, Austria
Robert Ganian (co-chair), TU Wien, Austria
Martin Nöllenburg (co-chair), TU Wien, Austria
Hsiang-Yun Wu, St. Pölten University of Applied Sciences


CONTEST COMMITTEE

Sara Di Bartolomeo, University of Konstanz, Germany
Fabian Klute (chair), UPC Barcelona, Spain
Wouter Meulemans, TU Eindhoven, Netherlands
Debajyoti Mondal, University of Saskatchewan, Canada
Jules Wulms, TU Eindhoven, Netherlands

**********************************************************
*
* 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] QUANTIFY '24

Call for Contributions

International Workshop on Quantification (QUANTIFY 2024)
======================================================

(co-located with the International Joint Conference on Automated Reasoning,
IJCAR 2024)

https://qbf24.pages.sai.jku.at/quantify/


================================
*** Important Dates *** (Extended)
===============================

* Round 1 (notification before early registration deadline)

Submission: May 15 for paper categories, May 25 for talk abstracts,
Notification: May 30


* Round 2 (notification after early registration deadline)

Submission: June 10 (talk abstracts only!)
Notification: June 15

* Workshop: July 1

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

*** Overview ***

Quantifiers play an important role in language extensions of many logics.
The use of quantifiers often allows for a more succinct encoding as it
would be possible without quantifiers. However, the introduction of
quantifiers affects the complexity of the extended formalism in general.
In consequence, theoretical results established for the quantifier-free
formalism may not directly be transferred to the quantified case. Further,
techniques successfully implemented in reasoning tools for quantifier-free
formulas cannot directly be lifted to a quantified version.

The goal of the Workshop on Quantification (QUANTIFY 2024) is
to bring together researchers who investigate the impact of
quantification from a theoretical as well as from a practical
point of view. Quantification is a topic in different research
areas, e.g., in SAT in terms of QBF, in CSP in terms of QCSP,
in SMT, ATP, Computer Algebra, etc.

This workshop has the aim to provide an interdisciplinary forum
where researchers of various fields may exchange their experiences.

In particular, the following topics shall be considered at the workshop:

* Theoretical aspects of quantification.
* Practical aspects of quantification.
* Intersections between the different research communities
working on quantification.


*** Organizers ***

* Konstantin Korovin, University of Manchester, UK
* Martina Seidl, Johannes Kepler University Linz, Austria


*** Program Committee ***

Erika Abraham, RWTH Aachen University

Hubie Chen, King's College London

Pascal Fontaine, Université de Liège, Belgium

Alberto Griggio, Fondazione Bruno Kessler

Konstantin Korovin, University of Manchester, UK (co-chair)

Stephan Schulz, DHBW Stuttgart

Martina Seidl, Johannes Kepler University Linz, Austria (co-chair)

Friedrich Slivovsky, University of Liverpool

Geoff Sutcliffe, University of Miami


*** Submission ***

Submissions of extended abstracts, full papers, and tutorials are solicited
and will be managed via Easychair:


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

Submitted papers should be formatted in LNCS format.

We solicit three types of submissions:

* Talk abstracts (maximum two pages, excluding references)
describing already published results.
* Full papers (maximum 15 pages, excluding references) on novel,
unpublished work.
* Tutorial papers (maximum 15 pages, excluding references)
introducing a research field related to quantifiers.

The talk abstracts should include a relevant bibliography of related work
and an outline of the planned talk. For this category, we explicitly
advocate
talks which summarize the results of one or more already published papers.

Full papers should contain novel, unpublished work that qualifies to be
published in a special issue of a journal or formal workshop proceedings.

Tutorial papers shoul survey results already published, maybe in multiple
articles or presentations capturing the commonalities and differences
of various quantification approaches (perhaps even interdisciplinary).

Each submission will be assessed by the program committee and the workshop
organizers with respect to novelty, originality, and scope.

Submissions related to completed work as well as work in progress are
welcome.
Authors are encouraged to provide additional material such as source code
of
tools, experimental data, benchmarks and related publications in an
appendix
or a related webpage. The additional material will be considered at the
discretion of the reviewers.

Previously published work or extensions thereof may be submitted to the
workshop but that case has to be explicitly stated in the submitted paper.
This regulation also applies to work which is currently under review
elsewhere.


Authors of accepted abstracts and papers are expected to give a talk
at the workshop.


*** Plans for Publications ***

The outcomes of the discussions will be summarized in a workshop report,
which can be made publicly available as technical report (unless the
participants decide not to do so).

In case we get enough full and tutorial papers, we will organize a
special issue on quantificaton (e.g., in the Journal of Satisfiablity
(JSAT)
or formal workshop proceedings.

*** Contact ***

For any questions, contact <quantify24@easychair.org>.

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

Monday, May 13, 2024

[DMANET] Theoryfest, ACM STOC, and Avi Widgerson's Turing Award Lecture: June 23-28, 2024 in Vancouver: Rooms

Dear Colleagues,


The ACM STOC <http://acm-stoc.org/stoc2024/index.html> will be held at the Sheraton Wall in Vancouver, B.C., Canada this June 24-28, as part of Theoryfest.


A special highlight is the

<http://acm-stoc.org/stoc2024/turing.html>


Turing Award Lecture by Avi Wigderson

.


May 23 is the last day to book a hotel room there at the block rate. We would appreciate your booking directly through our website as we are responsible for using a certain number of rooms. A limited number of inexpensive SFU dorms are also available.

As well as 180 top papers in theoretical computer science, there will be:


Keynotes

* Michal Feldman, Tel-Aviv University
* Jakub Pachocki, Open AI
* Tim Roughgarden, Columbia University
*

Workshops

* Algorithmic Opportunities in the Modern LLM Revolution
* Length-Constrained Expanders<https://sites.google.com/view/stoc24-workshop-lc-expanders/home>
* Online Resource Allocation<https://sites.google.com/view/online-res-allocation-stoc24>
* Applications of Turán-type problems in Theoretical Computer Science<https://sites.google.com/view/stoc-2024-turan-in-tcs/>
* TCS for All<https://sigact.org/tcsforall/>
*

Jane Street's Estimathon contest


See you there,

Valerie

Member of the SIGACT executive board

**********************************************************
*
* 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] CFC: The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning

CALL FOR CONTRIBUTIONS

LANMR2024

The 16th Latin American Workshop on New Methods of Reasoning

Logic, Languages, Algorithms, New Methods of Reasoning

Oaxaca, México, September 6th. and 7th 2024

Colocated with the 7th World Congress of Paraconsistency

http://www.lanmr.unam.mx


LANMR 2024 is the sixteenth edition of the Latin American Workshop series
on Logic/Languages, Algorithms and New Methods of Reasoning organized by
Universidad Nacional Autónoma de México through Facultad de Ciencias
(DGAPA-PAPIIT IN101723) and Facultad de Ingeniería (DGAPA-PAPIIT IA104122).

The aim of this workshop is to bring together people from different fields
such as programming languages foundations, formal verification, philosophy
or artificial intelligence, around methods of reasoning and applications
involving logic. We call for extended abstracts. In particular you can
present work in progress or work that is recently published elsewhere.

Suggested topics include, but are not limited to the following


Logics (classical and non-classical): constructive, modal, epistemic,
temporal, paraconsistent, description, substructural, connexive, quantum,
algebraic, multi-valued, higher-order, lambda calculi and type theory, etc.

Methods: natural deduction and sequent calculi, tableaux, answer set
programming, model checking, equational reasoning, automated and
interactive theorem proving, SAT and SMT solving, etc..

Applications: mechanized proofs, formalized mathematics, declarative and
dependent-type programming, program synthesis and analysis, formal methods,
type systems, formal semantics of languages and systems, process calculi,
philosophical logic, philosophy of computing, AI-related applications, etc.


Important Dates

- Abstract submission: June 1st. 2024

- Notification of acceptance: June 21st. 2023

- Workshop: September 6th. and 7th. 2024

Submission Guidelines: extended abstracts written in English limited to 3
pages including footnotes and appendices (but not references). Abstracts
are to be prepared for anonymous review and should be submitted, using the
Easychair Latex Class, via EasyChair by june 1st. 2024 at
https://easychair.org/conferences/?conf=lanmr2024


The language of the workshop is English, authors of accepted contributions
will be required to give a 25 minutes in-person presentation.

Publication

A book of abstracts will be distributed previous to the meeting. Since work
in progress or that has been recently published elsewhere will be accepted,
there will not be proceedings in this workshop. However, depending on the
nature of contributions and on the interest of the participants, a
post-proceedings volume with full selected papers, which will be further
refereed, might be organized for publication in an open access journal.

Venue

LANMR 2024 will be an in-person only event co-located with the 7th World
Congress of Paraconsistency <https://sites.google.com/view/wcp7/home>. The
venue will be the Universidad Autónoma Benito Juárez de Oaxaca (UABJO), in
Oaxaca, México.


Program Committee

Pablo Barenbaum, Universidad de Buenos Aires, Argentina.

Veronica Borja Macías, Universidad Tecnológica de la Mixteca, México.

Raul Fervari, Universidad de Córdoba, Argentina.

David Fuenmayor, Universität Bamberg, Alemania.

Ana Claudia Golzio, Universidade Estadual de Campinas, Brasil

Susana Hahn Martín-Lunas, Universität Postdam, Alemania.

Alejandro Hernández Tello, Universidad Tecnológica de la Mixteca, México.

José de Jesús Lavalle, Benemérita Universidad Autónoma de Puebla, México.

Sandra M. López Velasco, Universidad de Valladolid, España.

Carlos Olarte, LIPN Université Sorbonne Paris Nord, Francia.

Alejandro Solares-Rojas, Universidad de Buenos Aires, Argentina.

Paula Teijeiro, Universidad de Buenos Aires, Argentina.

Joaquín Toranzo Calderón, Universidad Tecnológica Nacional, Buenos Aires,
Argentina

Fernando Velázquez Quesada, Universitetet i Bergen, Noruega.

Diego A. Velázquez Cervantes, Universidad Nacional Autónoma de México,
México


Organizing Committee

Everardo Bárcenas, Facultad de Ingeniería, Universidad Nacional

Autónoma de México, México

Lourdes González Huesca, Facultad de Ciencias, Universidad Nacional

Autónoma de México, México

Diego Medina Martínez, Facultad de Ingeniería, Universidad Nacional

Autónoma de México, México

Favio E. Miranda Perea, Facultad de Ciencias, Universidad Nacional

Autónoma de México, México

Miguel Pérez Gaspar, Departamento de Actuaría, Física y Matemáticas,
Universidad de las Américas Puebla and Universidad Digital del Estado de
México, México.

**********************************************************
*
* 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 CSF 2025 - Call for Papers

IEEE Computer Security Foundations Symposium (CSF) 2025
=======================================================

https://csf2025.ieee-security.org/

Call for Papers

The Computer Security Foundations Symposium (CSF) is an annual
conference for researchers in computer security. CSF seeks papers on
foundational aspects of computer security, such as formal security
models, relationships between security properties and defenses,
principled techniques and tools for design and rigorous analysis of
security mechanisms, as well as their application to practice. While CSF
welcomes submissions beyond the topics listed below, the main focus of
CSF is foundational security and privacy. Papers lacking foundational
aspects risk desk rejection without further evaluation of their merits;
contact the PC chairs when in doubt.

CSF was created in 1988 as a workshop of the IEEE Computer Society's
Technical Committee on Security and Privacy, in response to a 1986 essay
by Don Good entitled "The Foundations of Computer Security—We Need
Some." The meeting became a "symposium" in 2007, along with a policy for
open, increased attendance. Over the past two decades, many seminal
papers and techniques have been presented first at CSF. For more details
on the history of the symposium, visit CSF's home.

Proceedings will be published by the IEEE Computer Society Press and
will be available at the symposium. Some small number of papers will be
selected by the Program Committee as "Distinguished Papers".

Important Dates AoE (UTC-12h)
-----------------------------

Spring cycle paper submission May 28, 2024
Spring cycle author notification July 30, 2024
Fall cycle paper submission October 1, 2024
Fall cycle author notification December 3, 2024
Winter cycle paper submission February 4, 2025
Winter cycle author notification April 8, 2025

Topics
------

New results in security and privacy are welcome. We also encourage
challenge/vision papers, which may describe open questions and raise
fundamental concerns about security and privacy. Possible topics for all
papers include, but are not limited to:

access control
accountability
anonymity
attack models
authentication
blockchains and smart contracts
cloud security
cryptography
data provenance
data and system integrity
database security
decidability and complexity
decision theory
distributed systems security
electronic voting
embedded systems security
forensics
formal methods and verification
hardware-based security
information flow control
intrusion detection
language-based security
mobile security
network security
privacy
security and privacy aspects of machine learning
security and privacy for the Internet of Things
security architecture
security metrics
security policies
security protocols
software security
socio-technical security
trust management
usable security
web security

Full information, including paper formatting instructions, is available
online: https://csf2025.ieee-security.org/cfp.html
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [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: May 25, 2024

Paper Submission: June 1, 2024

Acceptance Notification: July 13, 2024

Camera Ready: TBD

Early Registration: TBD

**SPECIAL ISSUE**

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


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

Sincerely,

Lorenzo Palazzetti

PhD Student

Computer Science

University of Florence, Italy

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

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

[Apologies if you receive multiple copies of this message]

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

October 29-31, 2024 - Padua, Italy

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

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

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

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

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

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

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

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

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

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

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

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

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

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


Thank you for your consideration.

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

[DMANET] PhD-position (m/f/d, 4 years) in mathematical programming/business analytics at JKU Linz, Austria

The new Business Analytics group at the Johannes Kepler University Linz,
Austria, led by Markus Sinnl, is inviting applications for a 4-year
PhD-position. The research interests of the group include

* Theoretical and computational aspects of mixed integer (non-)linear
optimization
* Bilevel optimization
* Hybridization of optimization and artificial intelligence methods
* Multi-objective optimization
* Areas of Application: Business analytics, systems biology, social
network analysis, districting, facility location, network design, ...

Candidates interested in the position should have

* a Diploma/Master degree in Computer Science, Operations Research, Data
Science, Machine Learning, Industrial Engineering or a related field
* C++/Python/Java/Julia programming skills
* experience with mathematical optimization software like Gurobi or CPLEX
* experience in the implementation of optimization algorithms or machine
learning algorithms

Your job duties will include teaching of at least one course per
semester and willingness to co-supervise master and bachelor theses.

The position is full-time (40 hours/week) with a salary of 3.277,30 Euro
gross per month (14 times per year).

If you are interested in working in a young international research team
at one of the nicest campus universities in Austria, please apply online
at
https://karriere.jku.at/engage/jobexchange/showJobOfferDetail.do?jobOfferId=0cce88bc8bfc1054018eccf37355062a&j=&organizationUnitId=
At this link you can also find more detailed information about further
job duties and benefits offered by the JKU.

The application deadline is May 29th, 2024.

Please include the following information in your application

* motivation letter
* detailed CV
* certificates
* list of Master courses and grades
* Master thesis (if in another language than English, a three-page
abstract in English)

The Johannes Kepler University wishes to increase the proportion of
academic female faculty and, for this reason, especially welcomes
applications by qualified women. If applicants are equally qualified, a
woman will be given preference for this position. The university
welcomes applications from qualified applicants with disabilities. These
applications will be given special consideration.

If you have questions, please contact:

Univ. Prof. Markus Sinnl, PhD [he/him]
Professor of Business Analytics and Technology Transformation
Institute of Production and Logistics Management

JOHANNES KEPLER UNIVERSITY LINZ
Altenberger Straße 69
MZ 407
4040 Linz, Austria
P +43 732 2468 5600
markus.sinnl@jku.at
jku.at/batt

**********************************************************
*
* 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] DLT 2024 - Call for Participation and Informal Presentations

** DLT 2024: 12-16 August 2024, Göttingen, https://dlt2024.uni-goettingen.de/ **

** CALL FOR PARTICIPATION AND INFORMAL PRESENTATIONS**

** News: Informal presentations at DLT and initial plans for a special issue in Information and Computation.**
** News: Accepted papers. See the list on the website. **
** Registration is open. **

28th INTERNATIONAL CONFERENCE ON DEVELOPMENTS IN LANGUAGE THEORY (DLT 2024)

DLT is a yearly event organized to bring together members of the academic, research, and industrial community who have an interest in formal languages, automata theory, and related areas. This iteration of the DLT conference will be held in conjunction with the 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024) in Göttingen, Germany in August 2024.

Alongside the regular programme of contributed talks and social events, there will also be four invited talks, a mentoring workshop, highlights talks (listed now on the site), and an evening lecture on linguistics by Anke Holler (Göttingen). The conference will also see the 2024 Salomaa Prize (https://math.utu.fi/salomaaprize/) awarded.

** NEW: This year, DLT 2024 will host also a session of informal presentations on work in progress or papers published in the proceedings of other conferences or in journals (on the topics of the conference).
** Very important: full versions of selected contributed talks and informal presentations will be invited to a special issue of the journal Information and Computation, to be published after the conference.

** Important Dates **

Informal Presentations:
Deadline for informal presentation submission: 12 July 2024 (23:59 AOE, firm)
Please submit your abstract according to the guidelines below. Notification is within 5 days from submission.

Registration:
The registration is open here: https://express.converia.de/frontend/index.php?sub=1519
Full Registration: 270 Euro (early bird); 350 Euro (late)
Student Registration: 150 Euro (early bird); 200 Euro (late)
Early bird: Until 20.7.2024.

** Invited Speakers **

Laura Ciobanu (Edinburgh, UK)
Sandra Kiefer (Oxford, UK)
Pawel Gawrychowski (Wroclaw, Poland)
Martin Kutrib (Gießen, Germany)

** Accepted Papers **

See https://dlt2024.uni-goettingen.de/

** Program Committee **

Marie-Pierre Béal, Joel Day (chair), Dora Giammarresi, Yo-Sub Han, Mika Hirvensalo, Markus Holzer, Tomohiro I, Zsuzsanna Liptak, Florin Manea (chair), Sebastian Maneth, Ian McQuillan, Robert Mercas, Cyril Nicaud, Svetlana Puzynina, Daniel Reidenbach, Arseny Shur, Manon Stipulanti, Bianca Truthe, Mikhail Volkov, Markus Whiteland, Georg Zetzsche.

** Venue **

The conference will be held at the historic University of Göttingen in Germany, hosted by the TCS research group of Florin Manea. For more information, see https://dlt2024.uni-goettingen.de/.

** Submission Guidelines For Informal Presentations **

Authors are invited to submit abstracts presenting work in progress or results published in journals or the proceedings of other conferences.

Please submit an abstract of your presentation (maximum 2 pages, clearly indicating if your paper was published somewhere else) here:
https://easychair.org/conferences/?conf=dlt2024
The abstract will be evaluated upon submission and the authors will be notified within 5 days from submission.

In general, the informal presentations are expected to deal with topics related to automata and formal languages theory. A more detailed list of topics can be found on https://dlt2024.uni-goettingen.de/

** Sponsors **

The German Research Foundation (DFG).
**********************************************************
*
* 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] Extended Submission Deadline: May 18, 2024 | ICS-CSR 2024 Symposium co-organized with ARES 2024, Vienna | Austria

We apologize if you receive multiple copies of this CFPs.
We appreciate your help to contribute & forward this CFPs to your friends.
You are cordially invited to submit your latest research results to the ICS-CSR 2024 Symposium.

CALL FOR PAPERS
7th International Symposium for Industrial Control System & SCADA Cyber Security Research co-organized with
the 19th International Conference on Availability, Reliability and Security (ARES 2024),
August 1st 2024 | University of Vienna, Vienna, Austria
Symposium Website: https://sites.google.com/view/ics-csr/
Conference Website: https://www.ares-conference.eu/

SUBMISSION DEADLINE: May 12, 2024 May 18, 2024 [Extended]
SUBMISSION LINK: https://easychair.org/conferences/?conf=ares2024

The 7th International Symposium for ICS & SCADA Cyber Security brings together researchers with an interest in the security of industrial control systems in the light of their increasing exposure to cyber-space. The topics of interests are broad, ranging from security for hardware/firmware used in industrial control systems, to system aspects of ICS such as secure architectures and vulnerability screening to the human aspects of cyber security such as behaviour modelling and training. ICS-CSR is a research conference aimed at high quality academic research in any of the specified themes and topics of interest. We welcome original contributions that present innovative ideas, proof of concepts, use cases, and results from a variety of domains with a wish to enhance the security of infrastructure.
Proceedings of the ICS-CSR are hosted by the ACM (ACM ICPS).
ICS-CSR is welcoming contributions that have a direct application or relevance to security aspects of Distributed Control Systems (DCS), Supervisory Control and Data Acquisition Systems (SCADA), Industrial Control Systems (ICS), Operational Technology (OT), Cyber Physical Systems (CPS), Industrial Internet of Things (IIoT), Smart City, or Industry 4.0.
This list of topics is not meant to be exhaustive; ICS-CSR is interested in all aspects of computer security relating to ICS. Papers without a clear application to SCADA, Embedded Systems or Industrial Control, however, will be considered out of scope and may be rejected without full review.

* Hardware Security Solutions
* Encryption, Authentication, Availability Assurance
* Resilient Systems
* Application Security
* Secure Firmware
* Communication Systems
* Timing Vulnerabilities in RT-Control Systems
* Security Implications of Feature Interactions
* Post-quantum cryptography
* System Security
* Security Architectures
* Safety-Security Interactions
* Intrusion Detection
* Security Monitoring
* Malware Analysis
* Cyber Security Engineering
* Vulnerability Assessment/Screening
* Secure Communication Protocols
* Metrics
* Anonymity
* Language-based Security
* Network Security
* Patching and MaintenanceBehavioral modeling;
* Digital Forensics and Response
* Hardware Forensics
* Incident Response
* Live Forensics
* Accountability
* Forensic Readiness
* Security Management
* Risk Management
* Security Metrics
* Governance and Policy
* Business Continuity
* Critical Infrastructure Protection
* Human Factors Security
* Awareness and Training
* Behavioural Modelling
* Threat Profiling

SUBMISSION GUIDELINES:
The submission guidelines valid for the workshop are the same as for the ARES conference. They can be found at https://www.ares-conference.eu/submission-guidelines
Submission Link: https://easychair.org/conferences/?conf=ares2024
Choose Track: ICS-CSR 2024
Important Deadlines (All deadlines are 23:59 CET)
Paper Submission Due: May 12, 2024 May 18, 2024 [Extended]
Acceptance Notification: June 03, 2024
Proceedings version: June 18, 2024
ORGANIZING COMMITTEE
Workshop Chairs
- Angela Smith, Airbus
-Helge Janicke. Edith Cowan University
-Thomas Brandstetter, Limes Security/ FHSTP, Austria
-Richard Smith, De Montfort University
-Leandros Maglaras, Edinburgh Napier University

Publicity Chairs
-Kitty Kioskli, trustulio, NL
-Yagmur Yigit, Edinburgh Napier University, UK

Technical Program Committee
-Nestoras Chouliaras, University of West Attica, Greece
-Christos Chrysoulas, Edinburgh Napier University, UK
-Tiago Cruz, University of Coimbra, Portugal
-Kubra Duran, Edinburgh Napier University, UK
-Vasileios Gkioulos, Norwegian University of Science and Technology, NO
-Simon Parkinson, University of Huddersfield, UK
-Iqbal H. Sarker, Edith Cowan University, AUS

Regards,
Yagmur Yigit
PhD Student, Edinburgh Napier University


This message and its attachment(s) are intended for the addressee(s) only and should not be read, copied, disclosed, forwarded or relied upon by any person other than the intended addressee(s) without the permission of the sender. If you are not the intended addressee you must not take any action based on this message and its attachment(s) nor must you copy or show them to anyone. Please respond to the sender and ensure that this message and its attachment(s) are deleted.

It is your responsibility to ensure that this message and its attachment(s) are scanned for viruses or other defects. Edinburgh Napier University does not accept liability for any loss or damage which may result from this message or its attachment(s), or for errors or omissions arising after it was sent. Email is not a secure medium. Emails entering Edinburgh Napier University's system are subject to routine monitoring and filtering by Edinburgh Napier University.

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373

BSL users can contact us via contactSCOTLAND-BSL, the on-line British Sign Language interpreting service. Find out more on the contactSCOTLAND website.

**********************************************************
*
* 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] University of Sheffield: Lecturer/Senior Lecturer in Algorithms

To apply, fill in the application form and upload your CV here:
https://www.jobs.ac.uk/job/DHG612/lecturer-senior-lecturer-in-algorithms

This is an exciting opportunity for a Lecturer or Senior Lecturer in
Algorithms at the University of Sheffield, an internationally renowned
institution. Working in the Department of Computer Science, you will join
our Foundations of Computation (FOX) Group led by Professor Georg Struth.
Its research topics range from the theoretical mathematical foundations
that underpin computer science to their applications in real world
contexts. The role of Lecturer is equivalent to Assistant Professor; that
of a Senior Lecturer to Associate Professor.

The FOX is one of the largest and most diverse research groups of its type
in the UK. We are therefore seeking to appoint a Lecturer or Senior
Lecturer to strengthen and/or complement our work in the design and
analysis of algorithms and complexity theory, with specialist expertise in
an area including, but not limited to:

*Computational complexity*

- Communication, query, circuit, algebraic and proof complexity,
- Coding theory,
- Fine-grained complexity,
- Quantum computing and quantum information theory.

*Algorithm design and analysis*

- Randomised algorithms,
- Approximation algorithms,
- Parameterized complexity and fixed-parameter tractability,
- Data structures,
- Streaming algorithms and sublinear-time algorithms,
- Online algorithms, learning augmented algorithms,
- Combinatorial optimisation,
- Mathematical optimization and linear programming,
- Distributed computing.

*Algorithms for artificial intelligence*

- Theoretical foundations of algorithms for AI,
- Theory of bio-inspired optimisation algorithms and evolutionary
computation,
- Randomised search heuristics,
- Automated algorithm selection, generation, and configuration
(parameter tuning).

*Algorithmic game theory*

- Mechanism design and combinatorial auctions.

You will hold a PhD in computer science or a related area, and you will be
able to conduct research to the highest standards. You will secure research
funding, publish in high impact journals and conferences, supervise
research students, and manage research projects. As a teacher, you will
play a key role in maintaining our reputation for high-quality teaching by
designing, delivering, and assessing undergraduate and postgraduate-level
courses in computer science. We seek candidates who will be able to make a
distinctive individual contribution to our algorithms research portfolio.

We're one of the best not-for-profit organisations to work for in the UK.
The University's Total Reward Package includes a competitive salary, a
generous Pension Scheme and annual leave entitlement, as well as access to
a range of learning and development courses to support your personal and
professional development.

We build teams of people from different heritages and lifestyles from
across the world, whose talent and contributions complement each other to
greatest effect. We believe diversity in all its forms delivers greater
impact through research, teaching, and student experience.

To find out what makes the University of Sheffield a remarkable place to
work, watch this short film: youtube.com/watch?v=7LblLk18zmo, and follow
@sheffielduni <https://twitter.com/sheffielduni> and @UniOfSheffJobs
<https://twitter.com/uniofsheffjobs> on Twitter for more 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] Conference MOG 2024 - Mathematics of Gas Transport and Energy

We are pleased to announce the fourth edition of the international
conference

„Mathematics of Gas Transport and Energy MOG 2024"

on October, the 10th and 11th, 2024, in Regensburg, Germany.

The two-day conference aims at connecting leading experts in applied
mathematics with leading stakeholders from the industry and the public
sector that are concerned with the transition of the energy system. It
aims at stimulating fruitful discussions between academic partners and
representatives from other sectors on today´s broad challenges in the
energy sector, taking into account the transition from natural gas to
hydrogen networks, its coupling with electricity, and related topics.

More information and registration (until 15 July 2024) is available
under https://www.trr154.fau.de/mog2024/.

The conference is organized by the German Collaborative Research Center
TRR154 („Mathematical Modelling, Simulation and Optimization using the
Example of Gas Networks") funded by the German Science foundation, see
https://www.trr154.fau.de/trr-154-en/

Regensburg is located at the Danube's northernmost point, in between the
Gäuboden region and the two low mountain ranges Fränkische Jura and
Bayerischer Wald. The international airports Nuremberg and Munich are
only a 60 minute drive away. Due to its unique status as "the only
authentically preserved large medieval city in Germany" the Old Town
Regensburg with Stadtamhof" was inscribed as a UNESCO World Heritage
Site in 2006.

For earlier editions of the conference, see
https://mog2.zib.de/index.html and
https://www.trr154.fau.de/trends-in-mathematical-modelling-simulation-and-optimisation/
(organized together with the Marie-Curie ITN MINOA and the ADA Lovelace
Center)

--
Dr. Kevin-Martin Aigner
Friedrich-Alexander-Universität Erlangen-Nürnberg
Department of Data Science
Cauerstraße 11, D-91058 Erlangen, Germany
Phone: +49 9131/85-67181
https://www.datascience.nat.fau.eu/research/groups/ouda/members/kevin-martin-aigner/

**********************************************************
*
* 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, May 12, 2024

[DMANET] CALL FOR FAST ABSTRACT PAPERS: 29th IEEE PRDC 2024

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

Fast Abstracts are lightly-reviewed manuscripts 2 pages in IEEE double-column format (excluding references and appendices) describing unpublished, in-progress, novel work, opinions or ideas.

- Software and hardware reliability, resilience, safety, security, testing, verification, and validation.
- Self-healing, self-protecting, and fault-tolerant systems.
- Architecture and system design for dependability
- 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 (artificial intelligence (e.g., deep learning, large language models), autonomous systems including autonomous vehicles, human machine teaming, smart devices/Internet of Things)


*** Submission Guidelines ***

Fast Abstracts should be 2 pages in length, must be formatted using IEEE double-column format(https://www.ieee.org/conferences_events/conferences/publishing/templates.html)
The submitted Fast Abstracts must be in pdf format and completely ready for printing. Please note that all submissions will undergo a double-blind review.

To upload your paper, please use the following site.
https://easychair.org/conferences/?conf=prdc2024

For any technical issues faced during submission, please contact Jin Hong (jin.hong@uwa.edu.au), University of Western Australia, Australia.

*** Selection and Notification ***

Submissions will be lightly-reviewed primarily on the basis of relevance to PRDC, but also on their capacity to stimulate and intrigue the reader.
An author of an accepted contribution will deliver a short talk (five to ten minutes) in the Fast Abstracts track at the conference.
All accepted papers will be published by the IEEE Computer Society Press (EI Indexed). Submission of a contribution to the track indicates agreement to have one
author present the work, if accepted, at the conference. All accepted fast abstracts will be published by IEEE Computer Society Press.

*** Important Dates (Anywhere on Earth, Extended) ***

- 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)
- Conference: 13 - 15 November 2024


*** Fast Abstracts Track Co-Chairs ***
Masayuki Arai, Nihon University, Japan
Jin Hong, University of Western Australia, Australia

**********************************************************
*
* 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 CSF 2024 - Second Call for Participation and Update

****************************************************************************
IEEE CSF 2024 - Update
****************************************************************************

The list of accepted papers is online

https://csf2024.ieee-security.org/accepted.html

and the program will include two excellent keynote speakers:

- John Mitchell, Stanford
- Peter Müller, ETH Zurich

https://csf2024.ieee-security.org/index.html

*****************************************************************************
CSF 2024 - Call for Participation

37th IEEE Computer Security Foundations Symposium

July 8-12, 2024

*** Early registration deadline: June 14, 2024 ***

University of Twente
Enschede, The Netherlands

https://csf2024.ieee-security.org
*****************************************************************************

Registrations are now open for CSF 2024, 37th IEEE Computer Security
Foundations Symposium, which will take place between July 8-12 2024 at
the U Parkhotel, located in the campus of the University of Twente in
the Netherlands.

The Computer Security Foundations Symposium (CSF) is an annual
conference for researchers in computer security, to examine current
theories of security, the formal models that provide a context for those
theories, and techniques for verifying security. It was created in 1988
as a workshop of the IEEE Computer Society's Technical Committee on
Security and Privacy, in response to a 1986 essay by Don Good entitled
"The Foundations of Computer Security—We Need Some." The meeting became
a "symposium" in 2007, along with a policy for open, increased
attendance. Over the past two decades, many seminal papers and
techniques have been presented first at CSF. For more details on the
history of the symposium, visit CSF's home.

The program includes papers, panels, and a poster session. Topics of
interest include access control, information flow, covert channels,
cryptographic protocols, database security, language-based security,
authorization and trust, verification techniques, integrity and
availability models, and broad discussions concerning the role of formal
methods in computer security and the nature of foundational research in
this area.


REGISTRATION INSTRUCTIONS AND DEADLINES

See https://csf2024.ieee-security.org/registration.html for the
registration instructions and fees.

Registration link: https://www.aanmelder.nl/155183/registration

*** The early registration deadline is: June 14, 2024 ***


LOCATION

The conference will be held at the U Parkhotel, located in the campus of
the University of Twente, Enschede, The Netherlands.

See https://csf2024.ieee-security.org/venue.html for further information
on how to reach the conference venue.


ACCOMMODATION

Rooms have been reserved at the following hotels:

- U Parkhotel (the conference venue)
- Intercity Hotel (located in the city center of Enschede)

Further information on room rates and how to book them are available at:

https://csf2024.ieee-security.org/accommodation.html


KEYNOTE SPEAKERS

- TBA


ACCEPTED PAPERS

The list of accepted papers is available here:

https://csf2024.ieee-security.org/accepted.html


GENERAL CHAIRS

- Kaitai Liang, TU Delft, The Netherlands
- Luca Mariot, University of Twente, The Netherlands


PROGRAM CHAIRS

- Toby Murray, University of Melbourne, Australia
- Tamara Rezk, INRIA, France


STEERING COMMITTEE

- Toby Murray (PCC 2024-25)
- Tamara Rezk (PCC 2023-24)
- Stefano Calzavara (PCC 2022-23)
- David Naumann (PCC 2021-22)
- Ralf Kuesters (PCC 2020-21, Publicity Chair)
- Kaitai Liang (GC 2024)
- Luca Mariot (GC 2024)
- Ante Đerek (GC 2021-23)
- Tajana Ban Kirigin (GC 2021-23)
- Marco Guarnieri (Publication Chair)
- Luca Viganò (Finance Chair)
- TCSP Chair/TCSP Vice Chair
- Andrei Sabelfeld (member at large)
- Limin Jia (member at large)
- Catalin Hritcu (member at large)
- Matteo Maffei (SC chair)


PROGRAM COMMITTEE

- Mário Alvim (UFMG - Universidade Federal de Minas Gerais)
- Timos Antonopoulos (Yale University)
- Arthur Azevedo de Amorim (Rochester Institute of Technology)
- Musard Balliu (KTH Royal Institute of Technology)
- Tajana Ban Kirigin (Faculty of Mathematics, University of Rijeka)
- Sébastien Bardin (CEA LIST, Université Paris-Saclay)
- Lennart Beringer (Princeton University)
- Abhishek Bichhawat (IIT Gandhinagar)
- Roberto Blanco (Max Planck Institute for Security and Privacy)
- Yinzhi Cao (Johns Hopkins University)
- Cas Cremers (CISPA Helmholtz Center for Information Security)
- Mads Dam (KTH)
- Lesly-Ann Daniel (KU Leuven)
- Stéphanie Delaune (Univ Rennes, CNRS, IRISA, France)
- Ante Derek (University of Zagreb, Faculty of Electrical Engineering
and Computing)
- Dominique Devriese (KU Leuven)
- Ni Ding (University of Melbourne)
- Dominic Duggan (Stevens Institute of Technology)
- Michael Emmi (Amazon Web Services)
- Matt Fredrikson (Carnegie Mellon University)
- Klaus v. Gleissenthall (VU Amsterdam )
- Benjamin Gregoire (INRIA)
- Chris Hawblitzel (Microsoft Research)
- Jana Hofmann (Microsoft Azure Research)
- Catalin Hritcu (MPI-SP)
- Justin Hsu (Cornell University)
- Marieke Huisman (University of Twente)
- Elisavet Kozyri (UiT The Arctic University of Norway)
- Robert Künnemann (CISPA Helmholtz Center for Information Security)
- Steve Kremer (Inria Nancy)
- Peeter Laud (Cybernetica AS)
- Flaminia Luccio (University Ca' Foscari, Venice, Italy)
- Ning Luo (Northwestern University)
- Sergio Maffeis (Department of Computing, Imperial College London)
- Pasquale Malacaria (Queen Mary University of London)
- Piotr Mardziel (Independent)
- Andrea Marin (University Ca' Foscari of Venice)
- Sjouke Mauw (Sjouke Mauw)
- Catherine Meadows (NRL)
- Scott Moore (Galois, Inc.)
- Carroll Morgan (UNSW and Trustworthy Systems)
- Greg Morrisett (Cornell Tech)
- Sebastian Mödersheim (DTU - Technical University of Denmark)
- Johannes Müller (University of Luxembourg)
- Sabine Oechsner (VU Amsterdam)
- Corina Pasareanu (NASA Ames, KBR, Carnegie Mellon University (CyLab))
- Marco Patrignani (University of Trento)
- Frank Pfenning (Carnegie Mellon University)
- Andrei Popescu (University of Sheffield. UK)
- Jonathan Protzenko (Microsoft Research)
- Aseem Rastogi (Microsoft Research)
- Xavier Rival (INRIA)
- Peter Y A Ryan (University of Luxembourg)
- Ralf Sasse (ETH Zurich)
- Clara Schneidewind (MPI-SP)
- Dominique Schröder (Friedrich-Alexander University Erlangen-Nürnberg)
- Alley Stoughton (Boston University)
- Nikhil Swamy (Microsoft Research)
- Tachio Terauchi (Waseda University)
- Mayank Varia (Boston University)
- Kirsten Winter (Defence Science and Technology Group, Australia and
The University of Queensland, Australia)


TEST-OF-TIME AWARDS COMMITTEE

- Catalin Hritcu (MPI-SP, Bochum, Germany) – Outgoing ToT Awards Chair
- David A. Naumann (Stevens Institute of Technology, USA) – Incoming ToT
Awards Chair
- David A. Basin (ETH Zürich, Switzerland)
- Bruno Blanchet (Inria Paris, France)
- Véronique Cortier (CNRS, Nancy, France)
- Limin Jia (CMU, USA)
- Heiko Mantel (TU Darmstadt, Germany)
- Frank Piessens (KU Leuven, Belgium)
- David Sands (Chalmers University, Gothenburg, Sweden)

ORGANIZING COMMITTEE

- Toby Murray, University of Melbourne, Australia (program chair)
- Tamara Rezk, INRIA, France (program chair)
- Kaitai Liang, TU Delft, The Netherlands (general chair)
- Luca Mariot, University of Twente, The Netherlands (general chair)
- Luca Viganò, King's College London, UK (financial chair)
- Marco Guarnieri, IMDEA Software Institute, Spain (publication chair)
- Ralf Küsters, University of Stuttgart, Germany (publicity chair)
- Musard Balliu, KTH Royal Institute of Technology, Sweden (workshop chair)
- Marina Krcek, TU Delft, The Netherlands (web chair)
- Marc Damie, University of Twente, The Netherlands (local organizer)
- Matteo Grella, University of Twente, The Netherlands (local organizer)
- Stefano Simonetto, University of Twente, The Netherlands (local organizer)


CONTACT

- Kaitai Liang (kaitai.liang@tudelft.nl)
- Luca Mariot (l.mariot@utwente.nl)


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