Theory Announcements

Sunday, April 7, 2024

[DMANET] GandALF 2024: 2nd Call for Papers and deadline extension

[apologies for cross-postings]

Please distribute.

Abstract submission deadline: 7 April 2024 16 April 2024

Paper submission deadline: 10 April 2024 19 April 2024

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

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

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

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

Automata Theory

Automated Deduction

Computational aspects of Game Theory

Concurrency and Distributed computation

Decision Procedures

Deductive, Compositional, and Abstraction Techniques for Verification

Finite Model Theory

First-order and Higher-order Logics

Formal Languages

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

Game Semantics

Games and Automata for Verification

Logical aspects of Computational Complexity

Logics of Programs

Modal and Temporal Logics

Model Checking

Models of Reactive and Real-Time Systems

Probabilistic Models (Markov Decision processes)

Program Analysis and Software Verification

Reinforcement Learning

Run-time Verification and Testing

Specification and Verification of Finite and Infinite-state Systems

Synthesis

Important Dates

Abstract submission deadline: 7 April 2024

Paper submission deadline: 10 April 2024

Acceptance notification: 10 May 2024

Camera-ready deadline: 10 June 2024

Conference dates: 19-21 June 2024

⚠ all deadlines are AoE

Publication

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

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

Submission

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

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

ASL sponsorship

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

Student Accommodation

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

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

Invited Speakers

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

* Bernd Finkbeiner (CISPA Helmholtz Center for Information Security)

* Kim G. Larsen (Aalborg University)

* Brigitte Pientka (McGill University)

* Azalea Raad (Imperial College London)

Program Committee

Co-chairs

Antonis Achilleos (Reykjavik University)

Andrian Francalanza (University of Malta)

Members

Parosh Aziz Abdulla (Uppsala University)

Valentina Castiglioni (Eindhoven University of Technology)

Aggeliki Chalki (Reykjavik University)

Laure Daviaud (University of East Anglia)

Dario Della Monica (Università degli Studi di Udine)

Giorgio Delzanno (Università degli Studi di Genova)

Léo Exibard (Université Gustave Eiffel)

Nicola Gigante (Free University of Bozen-Bolzano)

Julian Gutierrez (Monash University)

Jonas Kastberg Hinrichsen (Aarhus University)

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

Orna Kupferman (Hebrew University)

Martin Leucker (University of Luebeck)

Jakub Michaliszyn (University of Wroclaw)

Laura Nenzi (University of Trieste)

Paweł Parys (University of Warsaw)

Guillermo Perez (University of Antwerp)

Jakob Piribauer (TU Dresden)

Ocan Sankur (Univ Rennes, CNRS)

Felix Stutz (University of Luxembourg)

Patrick Totzke (University of Liverpool)

Tomoyuk Yamakami (University of Fukui)

Matteo Zavatteri (University of Padova)

Martin Zimmermann (Aalborg University)

Steering Committee

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

Javier Esparza – University of Munich (Germany)

Salvatore La Torre – University of Salerno (Italy)

Angelo Montanari – University of Udine (Italy)

Mimmo Parente – University of Salerno (Italy)

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

Martin Zimmermann – Aalborg University (Denmark)

Website

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

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

Saturday, April 6, 2024

[DMANET] CFP 2024 Intl Workshop on Quantum Data Science and Management @ VLDB

*************************************************************************
CALL FOR PAPERS
International Workshop on Quantum Data Science and Management (QDSM 2024)

In conjunction with VLDB 2024

August 29, 2024, Guangzhou, China (and hybrid)
Submission: May 5, 2024

Web: https://www.ifis.uni-luebeck.de/~groppe/qdsm
*************************************************************************

** Aims of the Workshop **

The field of quantum computing has experienced remarkable progress
after decades of research and development. Prototypes of quantum
computers already exist and have been made available to users through
cloud services (e.g., IBM Q experience, Google quantum AI, or Xanadu
quantum cloud). While fault-tolerant and large-scale quantum computers
are not available yet, the potential of this new technology is
undeniable. Quantum algorithms have the proven ability to either
outperform classical approaches for various tasks or are impossible to
be efficiently simulated by classical means under reasonable
complexity-theoretic assumptions. Even imperfect current-day
technology is speculated to exhibit computational advantages over
classical systems.

For most database researchers, quantum computing and quantum machine
learning are still new research fields. The goal of this workshop is
to bring together academic researchers and industry practitioners from
multiple disciplines (e.g., database, AI, software, physics, etc.) to
discuss the challenges, solutions, and applications of quantum
computing and quantum machine learning that have the potential to
advance the state of the art of data science and data management
technologies. Our purpose is to foster the interaction between
database researchers and more traditional quantum disciplines, as well
as industrial users. The workshop serves as a forum for the growing
quantum computing community to connect with database researchers to
discuss the wider questions and applications of how quantum resources
can benefit data science and data management tasks, and how quantum
software can support this endeavor.

We believe that many unsolved and interesting issues can be found at
boundaries and intersections between different fields and that there
are insufficient venues to publish such cross-disciplinary results. We
also believe that an important aspect of future quantum computing will
concern issues of handling data in one way or another. This workshop
will serve as a venue not only to discuss early, experimental results
in research, but also to feature a demonstration part with the
intention of providing attendees with first-hand experience in using
novel quantum computing techniques that go beyond the simple examples
offered by various web services. This will give researchers a
realistic intuition about quantum computing for data science and data
management tasks.

** Categories of Papers **

The workshop solicits papers of the following categories:
- Research Papers propose new approaches, theories or techniques
related to quantum data science and management including new data
structures, protocols and algorithms. They should make substantial
theoretical and empirical contributions to the research field.
- System Papers describe new systems and whole frameworks for
enabling quantum data science and management.
- Experiments and Analysis Papers focus on the experimental
evaluation of existing approaches including data structures and
algorithms for quantum data science and management and bring new
insights through the analysis of these experiments. Results of
Experiments and Analysis Papers can be, for example, showing the
benefits of well-known approaches in new settings and environments,
opening new research problems by demonstrating unexpected behavior or
phenomena, or comparing a set of traditional approaches in an
experimental survey.
- Application Papers report practical experiences on applications of
quantum data science and management. Application Papers might describe
how to apply quantum technologies to specific application domains.
- Vision Papers identify emerging new or future research issues and
directions and describe new research visions for quantum data science
and management. The new visions will potentially have significant
impacts on society.
- Demo Papers deal with innovative approaches and applications for
quantum data science and management. These papers describe a showcase
of the proposed approach/application. We are especially interested in
demonstrations having a WOW-effect.
The length of papers must be within 5 pages to 10 pages. Accepted
papers will be published in the CEUR Workshop proceedings
(CEUR-WS.org) and presented as oral presentations.

** Topics of Interest **

We are interested in all issues concerning quantum data science and
management such as the following:
- Quantum Computing for problems related to Data Science and Management
- Quantum Data Science
- Quantum Computing for Data Science
- Data Science for Quantum Computing
- Quantum Data Management
- Quantum Computing for Data Management
- Data Management for Quantum Computing
- Quantum Machine Learning
- Quantum Machine Learning Enabled Databases
- Quantum Data Management to Support Machine Learning
- New approaches to Quantum Machine Learning
- Applications for
- Quantum Data Science
- Quantum Data Management
- Quantum Machine Learning
- Quantum Algorithms with applications in Quantum Data Science and Management
- Quantum Software Tools for Quantum Data Science and Management
- Frameworks and APIs
- Programming Languages
- Optimizers of Quantum Programs and Circuits
- Quantum Cryptography and Security for Data Science and Management

** Workshop Chairs **

- Sven Groppe, University of Lubeck, Germany
- Jiaheng Lu, University of Helsinki, Finland
- Wolfgang Mauerer, Technical University of Applied Science Regensburg, Germany
- Le Gruenwald, University of Oklahoma, USA

** Publicity Chairs **

- Eleazar Leal, University of Minnesota Duluth, USA

** Proceedings Chairs **

- Valter Uotila, University of Helsinki, Finland

** Program Committee **

- Umut Calikyilmaz, University of Lubeck, Germany
- Maja Franz, OTH Regensburg, Germany
- Srinjoy Ganguly, Woxsen University, India
- Natacha Kuete Meli, University of Lubeck, Germany
- Nitin Nayak, University of Lubeck, Germany
- Jukka K. Nurminen, University of Helsinki, Finland
- IIya Safro, University of Delaware, USA
- Manuel Schonberger, OTH Regensburg, Germany
- Ghanshyam Singh, Malaviya National Institute of Technology Jaipur
(MNIT Jaipur), India
- Valter Uotila, University of Helsinki, Finland
- Sanjay Vishwakarma, IBM Quantum, IBM Research - Almaden, USA
- Zhengtong Yan, University of Helsinki, Finland

** Important Dates **

Submission: May 5, 2024
Notification: June 30, 2024
Workshop: August 29, 2024

** Submission **

Authors are invited to submit original, unpublished research papers
that are not being considered for publication in any other forum.

Manuscripts should be formatted using the camera-ready templates in
the CEUR Workshop Proceedings (CEUR-WS.org) double-column format. The
length of papers must be within 5 pages to 10 pages.

Accepted papers will be published online in the CEUR Workshop
proceedings (CEUR-WS.org).

We describe manuscript preparation and submission procedure at
https://www.ifis.uni-luebeck.de/~groppe/qdsm/submit

--
Eleazar Leal, Ph.D.
Associate Professor
Dept. of Computer Science | University of Minnesota Duluth
Heller Hall 331
1114 Kirby Drive
Duluth, MN 55812
Tel: (218) 726-8452 | Fax: (218) 726-8240

**********************************************************
*
* 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] Second Joint CFP NLS and SLSS 2024 and extension

[apologies for cross-posting]

Please distribute

Call for Participation – Fifth Nordic Logic Summer School (NLS 2024)

Call for Abstracts and extension – Twelfth Scandinavian Logic Symposium (SLSS 2024)

Reykjavik University, Iceland

Event Dates:

NLS 2024: 10-13/6

SLSS 2024: 14-16/6

SLSS extended abstract submission deadline: April 12

Website:

https://scool24.github.io/

deadline for students to apply for accommodation: May 15

https://scool24.github.io/student_accommodation/

The Nordic Logic Summer School (NLS) and Scandinavian Logic Symposium (SLSS) are, respectively, the Summer School and the Symposium organized by the Scandinavian Logic Society. This year, both events will take place this June 2024 in Reykjavik, Iceland. NLS will take place from June 10 to 13, and SLSS from June 14 to 16.

NLS 2024 Call for Participation:

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

Lecturers:

Jandson Ribeiro (Philosophical logic)

Sandra Kiefer (Learning and logic)

Miika Hannula (Model theory)

Greg Restall (Proof theory)

Rineke Verbrugge (Logic, CS and AI)

For updated information about the summer school and to register, please follow the link:

https://scool24.github.io/NLS/

SLSS 2024 Call for Abstracts:

The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.

[DMANET] DeepLearn 2024: early registration May 8

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

11th INTERNATIONAL SCHOOL ON DEEP LEARNING
(and the Future of Artificial Intelligence)

DeepLearn 2024

Porto =E2=80=93 Maia, Portugal

July 15-19, 2024

https://deeplearn.irdta.eu/2024/

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

Co-organized by:

University of Maia

Institute for Research Development, Training and Advice =E2=80=93 IRDTA
Brussels/London

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

Early registration: May 8, 2024

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

SCOPE:

DeepLearn 2024 will be a research training event with a global scope aiming=
at updating participants on the most recent advances in the critical and f=
ast developing area of deep learning. Previous events were held in Bilbao, =
Genova, Warsaw, Las Palmas de Gran Canaria, Guimar=C3=A3es, Las Palmas de G=
ran Canaria, Lule=C3=A5, Bournemouth, Bari and Las Palmas de Gran Canaria.

Deep learning is a branch of artificial intelligence covering a spectrum of=
current frontier research and industrial innovation that provides more eff=
icient algorithms to deal with large-scale data in a huge variety of enviro=
nments: computer vision, neurosciences, speech recognition, language proces=
sing, human-computer interaction, drug discovery, health informatics, medic=
al image analysis, recommender systems, advertising, fraud detection, robot=
ics, games, finance, biotechnology, physics experiments, biometrics, commun=
ications, climate sciences, geographic information systems, signal processi=
ng, genomics, materials design, video technology, social systems, etc. etc.

The field is also raising a number of relevant questions about robustness o=
f the algorithms, explainability, transparency, and important ethical conce=
rns at the frontier of current knowledge that deserve careful multidiscipli=
nary discussion.

Most deep learning subareas will be displayed, and main challenges identifi=
ed through 16 four-hour and a half courses, 2 keynote lectures, 1 round tab=
le and a few hackathon-type competitions among students, which will tackle =
the most active and promising topics. Renowned academics and industry pione=
ers will lecture and share their views with the audience. The organizers ar=
e convinced that outstanding speakers will attract the brightest and most m=
otivated students. Face to face interaction and networking will be main ing=
redients of the event. It will be also possible to fully participate in viv=
o remotely.

ADDRESSED TO:

Graduate students, postgraduate students and industry practitioners will be=
typical profiles of participants. However, there are no formal pre-requisi=
tes for attendance in terms of academic degrees, so people less or more adv=
anced in their career will be welcome as well.

Since there will be a variety of levels, specific knowledge background may =
be assumed for some of the courses.

Overall, DeepLearn 2024 is addressed to students, researchers and practitio=
ners who want to keep themselves updated about recent developments and futu=
re trends. All will surely find it fruitful to listen to and discuss with m=
ajor researchers, industry leaders and innovators.

VENUE:

DeepLearn 2024 will take place in Porto, the second largest city in Portuga=
l, recognized by UNESCO in 1996 as a World Heritage Site. The venue will be=
:

University of Maia
Avenida Carlos de Oliveira Campos - Cast=C3=AAlo da Maia
4475-690 Maia
Porto, Portugal

https://www.umaia.pt/en

STRUCTURE:

3 courses will run in parallel during the whole event. Participants will be=
able to freely choose the courses they wish to attend as well as to move f=
rom one to another.

All lectures will be videorecorded. Participants will be able to watch them=
again for 45 days after the event.

An open session will give participants the opportunity to present their own=
work in progress in 5 minutes. Also companies will be able to present thei=
r technical developments for 10 minutes.

This year=E2=80=99s edition of the school will schedule hands-on activities=
including mini-hackathons, where participants will work in teams to tackle=
several machine learning challenges.

Full live online participation will be possible. The organizers highlight, =
however, the importance of face to face interaction and networking in this =
kind of research training event.

KEYNOTE SPEAKERS:

Jiawei Han (University of Illinois Urbana-Champaign), How Can Large Languag=
e Models Contribute to Effective Text Mining?

Katia Sycara (Carnegie Mellon University), Effective Multi Agent Teaming

PROFESSORS AND COURSES:

Luca Benini (Swiss Federal Institute of Technology Zurich), [intermediate/a=
dvanced] Open Hardware Platforms for Edge Machine Learning

Gustau Camps-Valls (University of Val=C3=A8ncia), [intermediate] AI for Ear=
th, Climate, and Sustainability

Nitesh Chawla (University of Notre Dame), [introductory/intermediate] Intro=
duction to Representation Learning on Graphs

Daniel Cremers (Technical University of Munich), [introductory/advanced] De=
ep Networks for 3D Computer Vision

Peng Cui (Tsinghua University), [intermediate/advanced] Stable Learning for=
Out-of-Distribution Generalization: Invariance, Causality and Heterogeneit=
y

Sergei V. Gleyzer (University of Alabama), [introductory/intermediate] Mach=
ine Learning Fundamentals and Their Applications to Very Large Scientific D=
ata: Rare Signal and Feature Extraction, End-to-End Deep Learning, Uncertai=
nty Estimation and Realtime Machine Learning Applications in Software and H=
ardware

Yulan He (King=E2=80=99s College London), [introductory/intermediate] Machi=
ne Reading Comprehension with Large Language Models

Frank Hutter (University of Freiburg), [intermediate/advanced] AutoML

George Karypis (University of Minnesota), [intermediate/advanced] Optimizin=
g LLM Inference

Hermann Ney (RWTH Aachen University / AppTek), [intermediate/advanced] Mach=
ine Learning and Deep Learning for Speech & Language Technology: A Probabil=
istic Perspective

Massimiliano Pontil (Italian Institute of Technology), [intermediate/advanc=
ed] Operator Learning for Dynamical Systems

Elisa Ricci (University of Trento), [intermediate] Continual and Adaptive L=
earning in Computer Vision

Wojciech Samek (Fraunhofer Heinrich Hertz Institute / Technical University =
of Berlin), [introductory/intermediate] From Feature Attributions to Next-G=
eneration Explainable AI

Xinghua Mindy Shi (Temple University), [introductory/intermediate] Trustwor=
thy Machine Learning for Human Health and Medicine

Michalis Vazirgiannis (=C3=89cole Polytechnique), [intermediate/advanced] G=
raph Machine Learning and Multimodal Graph Generative AI

James Zou (Stanford University), [introductory/intermediate] Large Language=
Models and Biomedical Applications

OPEN SESSION:

An open session will collect 5-minute voluntary presentations of work in pr=
ogress by participants.

They should submit a half-page abstract containing the title, authors, and =
summary of the research to david@irdta.eu by July 7, 2024.

INDUSTRIAL SESSION:

A session will be devoted to 10-minute demonstrations of practical applicat=
ions of deep learning in industry.

Companies interested in contributing are welcome to submit a 1-page abstrac=
t containing the program of the demonstration and the logistics needed. Peo=
ple in charge of the demonstration must register for the event.

Expressions of interest have to be submitted to david@irdta.eu by July 7, 2=
024.

HACKATHONS:

Hackathons will take place, where participants will work in teams to tackle=
several machine learning challenges. They will be coordinated by Professor=
Sergei V. Gleyzer. The challenges will be released 2 weeks before the begi=
nning of the school. A jury will judge the submissions and the winners of e=
ach challenge will be announced on the final day. The winning teams will re=
ceive a small prize and the runners-up will get a certificate.

EMPLOYERS:

Organizations searching for personnel well skilled in deep learning will be=
provided a space for one-to-one contacts.

It is recommended to produce a 1-page .pdf leaflet with a brief description=
of the organization and the profiles looked for to be circulated among the=
participants prior to the event. People in charge of the search must regis=
ter for the event.

Expressions of interest have to be submitted to david@irdta.eu by July 7, 2=
024.

SPONSORS:

Companies/institutions/organizations willing to be sponsors of the event ca=
n download the sponsorship leaflet from

https://deeplearn.irdta.eu/2024/sponsoring/

ORGANIZING COMMITTEE:

Jos=C3=A9 Paulo Marques dos Santos (Maia, local chair)
Carlos Mart=C3=ADn-Vide (Tarragona, program chair)
Sara Morales (Brussels)
Jos=C3=A9 Lu=C3=ADs Reis (Maia)
Lu=C3=ADs Paulo Reis (Porto)
David Silva (London, organization chair)

REGISTRATION:

It has to be done at

https://deeplearn.irdta.eu/2024/registration/

The selection of 8 courses requested in the registration template is only t=
entative and non-binding. For logistical reasons, it will be helpful to hav=
e an estimation of the respective demand for each course.

Since the capacity of the venue is limited, registration requests will be p=
rocessed on a first come first served basis. The registration period will b=
e closed and the on-line registration tool disabled when the capacity of th=
e venue will have got exhausted. It is highly recommended to register prior=
to the event.

FEES:

Fees comprise access to all program activities and lunches.

There are several early registration deadlines. Fees depend on the registra=
tion deadline.

The fees for on site and for online participation are the same.

ACCOMMODATION:

Accommodation suggestions are available at

https://deeplearn.irdta.eu/2024/accommodation/

CERTIFICATE:

A certificate of successful participation in the event will be delivered in=
dicating the number of hours of lectures. This should be sufficient for tho=
se participants who plan to request ECTS recognition from their home univer=
sity.

QUESTIONS AND FURTHER INFORMATION:

david@irdta.eu

ACKNOWLEDGMENTS:

Universidade da Maia

Universidade do Porto

Universitat Rovira i Virgili

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

Friday, April 5, 2024

[DMANET] DIAGRAMS 2024| Second Call for Graduate Symposium

*** Second call for Graduate Symposium: Diagrams 2024 ***

14th International Conference on the Theory and Application of Diagrams

September 27 – October 1, 2024

University of Münster, Germany

www.diagrams-conference.org/2024

*** Highlights ***

- Graduate Symposium

- Participation cost support for eligible students

- Three Tracks: Main, Philosophy, and Psychology and Education

- Best Paper and Best Student Paper awards

- Keynote speakers: Mateja Jamnik, Catarina Dutilh Novaes and Barbara
Tversky

- Graduate Symposium submission deadline May 31, 2024.

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

The Diagrams conference provides a united forum for all researchers with an
interest in the study of diagrams. The conference fosters
multi-disciplinarity and allows researchers from areas such as computer
science, mathematics, psychology, philosophy, history (of science, art,
etc.), education research, and more to meet and share their perspectives on
the theory and application of diagrams.

The goal of the Diagrams 2024 Graduate Symposium is twofold. Firstly, the
Symposium will provide senior graduate students and recent Masters and
Doctoral graduates with the opportunity to present their research.
Established researchers will provide feedback and comments on each of the
presentations. Secondly, the Symposium will provide students with an
opportunity to network with each other as future colleagues.

In previous Diagrams Graduate Symposiums, lively and useful discussions
have enabled students to receive suggestions about their on-going research
and allowed more experienced participants to hear some fresh ideas and view
some of the new trends in the field.

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

Submission Requirements

Submissions that focus on any aspect of diagrams research are welcome.
Topics of interest are the same as those given in the calls for papers for
the three conference tracks.

Students who wish to present their work at the symposium must submit a
3-page report describing:

– their thesis topic,
– the approach being taken,
– the work that has been completed,
– the expected contributions of the research, and
– any necessary acknowledgements (for example, supervision team and source
funding.

Students should be the sole author of their submission and the supervisor
names should be included in the acknowledgements section. The report must
be submitted in Springer LNCS format. More details can be found at:
https://diagrams-2024.diagrams-conference.org/calls/graduate-symposium/

Supervisor Support

Students who submit to the graduate symposium must ask their main or lead
supervisor to submit a short supporting statement, by email to Leonie
Bosveld, l.m.bosveld [at] rug.nl

The supporting statement should confirm that the supervisor supports the
student's participation in the symposium and briefly explain why the
student will benefit. It is the student's responsibility to ensure that
their supervisor submits the supporting statement

Participation Support Costs

Participants may request fundings. Eligibility requirements:

Student needs to be studying at a US institution
-

Student needs to actively participate in the grad symposium (e.g. they
can give a talk during the main conference, but they would still have to
attend the grad symposium event and participate in any mentoring)

--
*Publicity Chair, Diagrams Conference 2024*
Giulia Ferrari, PhD
Mathematics Education
University of Torino

[DMANET] Open postdoc position in Optimization at KTH

Dear colleagues,

We have an open postdoc position at KTH Royal Institute of Technology in Optimization and Systems Theory.

The project focuses on developing optimization methods and algorithms for applications in process optimization. In the project we will also be working with some industrial applications in collaboration with the company LKAB.

The position is at the Department of Mathematics in the Division of Optimization and Systems Theory. Assistant Professor Jan Kronqvist leads the project.

More information is available on <https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:508572/type:job/where:4/apply:1> https://www.kth.se/lediga-jobb/713537?l=en, and applications must be submitted in the online system.

Best regards,

Jan Kronqvist,

Assistant Professor,

Optimization and Systems Theory,

Department of Mathematics,

KTH Royal Institute of Technology,

jankr@kth.se<mailto:jankr@kth.se>

[DMANET] WALCOM 2025 Call For Papers

Dear friends,

We will hold WALCOM 2025 in Chengdu, China.
Here is the CFP for the conference.
Please submit your papers to our conference.
Thank you!

PC Co-Chairs
Shin-ichi Nakano (Gunma University, Japan)
Mingyu Xiao (University of Electronic Science and Technology of China,
China)

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

Call for Papers
WALCOM 2025
The 19th International Conference and Workshops on Algorithms and
Computation
Feburary 28 - March 2, 2025
Chengdu, China
The website of WALCOM 2025: https://tcsuestc.com/walcom2025/
The submission link: https://easychair.org/conferences/?conf=walcom2025

The 19th International Conference and Workshop on Algorithms and
Computation (WALCOM 2025) is intended to provide an international forum for
researchers working in the areas of algorithms and computation. It will be
held during Feburary 28 - March 2, 2025 at Chengdu, China.

Important Dates
Submission: September 22, 2024, 23:59 AoE
Notification: November 8, 2024
Camera-ready: November 20, 2024
Conference: Feburary 28 - March 2, 2025
AoE: Anywhere on Earth time, UTC -12 hours

Invited Speakers
Venkatesan Guruswami (University of California, Berkeley)
Ken-ichi Kawarabayashi (National Institute of Informatics, Japan)
Daniel Lokshtanov (University of California, Santa Barbara)

Submission Guidelines
Authors are invited to submit papers describing original research of
theoretical or practical significance to algorithms and computation and
must not simultaneously submit it to another journal or conference. Papers
should not exceed 14 pages (including references, but excluding the
optional appendix) in LNCS style. It can be downloaded from LNCS conference
proceedings guidelines. If the authors feel that more details are essential
to substantiate the main claim of the paper, they may include a clearly
marked appendix that will be read at the discretion of the Program
Committee.
Papers submitted for review should represent original, previously
unpublished work and surveys of important results. At the time the paper is
submitted to WALCOM 2025, and for the entire review period, the paper (or
essentially the same paper) should not be under review by any other
conference with published proceedings or by a scientific journal. At least
one author of each accepted paper will be expected to attend the conference
and present the paper onsite.
Only electronic submissions via Easychair will be allowed. The submission
link: https://easychair.org/conferences/?conf=walcom2025

List of Topics
The range of topics within the scope of WALCOM includes but is not limited
to:
Approximation Algorithms
Algorithmic Graph Theory and Combinatorics
Algorithmic and Combinatorial Aspects of Logic
Combinatorial Algorithms
Combinatorial Optimization
Combinatorial Reconfiguration
Computational Biology
Computational Complexity
Computational Geometry
Discrete Geometry
Data Structures
Experimental Algorithm Methodologies
Graph Algorithms
Graph Drawing
Parallel and Distributed Algorithms
Parameterized Algorithms
Parameterized Complexity
Network Optimization
Online Algorithms
Randomized Algorithms
String Algorithms

PC Committee
Reyan Ahmed (University of Arizona, US)
Kristóf Bérczi (ELTE, Hungary)
Sang Won Bae (Kyonggi University, Korea)
Zhipeng Cai (Georgia State University, US)
Marek Chrobak (University of California, Riverside, US)
Gautam K. Das (Indian Institute of Technology Guwahati, India)
Petr Golovach (University of Bergen, Norway)
Christian Komusiewicz (Friedrich Schiller University Jena, Germany)
Bo Li (The Hong Kong Polytechnic University, Hong Kong)
Yi Li (Nanyang Technological University, Singapore)
Chun-Cheng Lin (National Yang Ming Chiao Tung University, Taiwan)
Giuseppe Liotta (University of Perugia, Italy)
Debajyoti Mondal (University of Saskatchewan, Canada)
Krishnendu Mukhopadhyaya (Indian Statistical Institute, India)
Rahnuma Islam Nishat (Brock University, Canada)
Shin-ichi Nakano (PC Co-Chair) (Gunma University, Japan)
Subhas C. Nandy (Indian Statistical Institute, India)
Yoshio Okamoto (University of Electro-Communications, Japan)
Maurizio Patrignani (Universita Roma Tre, Italy)
Pan Peng (University of Science and Technology of China, China)
Md. Saidur Rahman (Bangladesh University of Engineering and Technology,
Bangladesh)
Adele A. Rescigno (University of Salerno, Italy)
Toshiki Saitoh (Kyushu Institute of Technology, Japan)
Frank Stephan (National University of Singapore, Singapore)
Darren Strash (Hamilton College, US)
Ryuhei Uehara (Japan Advanced Institute of Science and Technology, Japan)
Chao Xu (University of Electronic Science and Technology of China, China)
Mingyu Xiao (PC Co-Chair) (University of Electronic Science and Technology
of China, China)
Katsuhisa Yamanaka (Iwate University, Japan)
Meirav Zehavi (Ben-Gurion University, Israel)
Chihao Zhang (Shanghai Jiao Tong University, China)
Jialin Zhang (Institute of Computing Technology, Chinese Academy of
Sciences, China)

Publication
The proceedings of the conference will be published by Springer-Verlag in
the Lecture Notes in Computer Science (LNCS) series, and will be available
for distribution at the conference. Selected high quality papers will be
invited for submission to some prestigious journals. Submissions will
undergo a standard peer review process according to the usual editorial
standards of the journals.

Contact
Email: walcom2025[at]gmail.com

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

[DMANET] Call for Participation: Announcing New DFIR 6, 7 & 8 Streams

Dear All,

The Association of Cyber Forensics and Threat Investigators invites you to
join our next webinars:

"DFIR Stream 0x6" on Tuesday, April 16 · 4:00 – 5:00 pm (GMT+00:00) UK Time
Title: Operationalizing Machine Learning for Networks,
by Shinan Liu, University of Chicago.
Register@ https://www.acfti.org/news-events/dfir-stream-0x6

"DFIR Stream 0x7" on Tuesday, May 7. 1:30 – 2:30 pm (GMT+00:00) UK Time
Title: Malware Detection in Memory Forensics: Open Challenges and Issues,
by Dr. Ricardo J. Rodríguez, University of Zaragoza.
Register@ https://www.acfti.org/news-events/dfir-stream-0x7

"DFIR Stream 0x8" on Monday, May 13 · 4:00 – 5:00 pm (GMT+00:00) UK Time
Title: Low-Level Hardware Information Assisted Approach Towards System
Security,
by Dr. Chen Liu, Clarkson University.
Register@ https://www.acfti.org/news-events/dfir-stream-0x8

======Housekeeping Notes======

- Note that this event is online only. Hence, You must register to receive
a link to connect. Due to limited availability, we kindly ask you to
register as soon as possible to ensure your participation in the webinar of
your choice.

- For Students, A certificate of successful participation in the event will
be delivered upon request for free (after verifying attendance), indicating
the number of hours of the seminar (please make sure that you add the
correct name in the registration form). This should be sufficient for those
participants who plan to request ECTS recognition from their home
university.

Join Us & stay tuned! #CyberSecurity #MemoryForensics #MachineLearning
#AnomalyDetection

Finally, I would like to remind you that the call for speakers is currently
open on the dedicated DFIR stream website,
https://dfir.stream/call-for-guest-speakers

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

This event is brought to you by CFTIRC (Cyber Forensics & Threat
Investigations Research Community).

Best regards,
Andrew Zayin Ph.D., CISSP, CISM, CRISC, CDPSE, PMP
ACFTI Secretariat

[DMANET] Announcement of 1st CFP for ATMOS 2024...

============================================================================================================
ATMOS 2024: 24th Symposium on Algorithmic Approaches for Transportation
Modelling, Optimization, and Systems
Royal Holloway, University of London in Egham
London, UK, September 5-6, 2024
Conference website: https://algo-conference.org/2024/atmos/
Submission link: https://easychair.org/conferences/?conf=atmos2024
============================================================================================================

SCOPE

The 24th Symposium on Algorithmic Approaches for Transportation
Modelling, Optimization, and Systems (ATMOS 2024) will be part of ALGO
2024 (https://algo-conference.org/2024/), which will take place at the
Royal Holloway, University of London in Egham, United Kingdom. ATMOS is
scheduled on 5-6 September 2024.

Since 2000, ATMOS brings together researchers and practitioners who are
interested in all aspects of algorithmic methods and models for
transport optimization. The symposium provides a forum for the exchange
and dissemination of new ideas and techniques. The aim of making
transportation better gives rise to very complex and large-scale
optimization problems requiring innovative solution techniques and ideas
from algorithms, mathematical optimization, theoretical computer
science, and operations research.

INVITED SPEAKER

To be announced later...

IMPORTANT DATES

Submission deadline: Sunday June 30, 2024 (AoE)
Notification to authors: July 31, 2024
Camera ready submission: August 7, 2024
Symposium: September 5-6, 2024

TOPICS

The symposium welcomes but is not limited to papers addressing the
following topics:

* Congestion Modelling and Reduction
* Crew and Duty Scheduling
* Demand Forecasting
* Delay Management
* Design of Pricing Systems
* Electromobility
* Infrastructure Planning
* Intelligent Transportation Systems
* Models for User Behaviour
* Line Planning
* Mobile Applications for Transport
* Mobility-as-a-Service
* Multi-modal Transport Optimization
* Routing and Platform Assignment
* Route Planning in Road and Public Transit Networks
* Rostering
* Timetable Generation
* Tourist Tour Planning
* Traffic Guidance
* Vehicle Routing
* Vehicle Scheduling

The symposium welcomes but is not limited to papers applying and
advancing the following techniques: Algorithmic Game Theory,
Approximation Algorithms, Combinatorial Optimization, Graph and Network
Algorithms, Heuristics and Meta-heuristics, Mathematical Programming,
Methods for the Integration of Planning Stages, Online and Real-time
Algorithms, Simulation Tools, Stochastic and Robust Optimization.

SUBMISSIONS

Authors are invited to submit high-quality manuscripts reporting
original unpublished research in the topics related to the symposium.
Simultaneous submission to other journals or conferences with published
proceedings is not allowed. By submitting a paper the authors
acknowledge that, in case of acceptance, at least one of the authors
will register at ALGO/ATMOS 2024, attend the conference on-site, and
present the paper.

Submissions must be in the form of a single PDF file prepared using the
LaTeX OASIcs style file
(https://www.dagstuhl.de/en/publishing/series/details/oasics) and must
be submitted electronically via the EasyChair submission system
(https://easychair.org/conferences/?conf=atmos2024).

ATMOS 2024 accepts two types of submissions, both of which will be
reviewed with the same quality standards by the Program Committee.

(a) REGULAR PAPER SUBMISSIONS: A regular paper submission should clearly
motivate the importance of the problem being addressed, discuss prior
work and its relationship to the paper, explicitly and precisely state
its key contributions, and outline the key technical ideas and methods
used to achieve the main results. A regular paper submission should not
exceed 12 pages including title page and abstract, but excluding
references and an optional appendix. Authors should include all
necessary details in their submission so that the Program Committee can
judge the correctness, importance and originality of their work. Any
material (e.g., proofs or experimental results) omitted (from the main
part of 12 pages) due to space limitations can be put into the optional
appendix, which will be read at the Program Committee's discretion.
Regular papers will be allotted up to 20 pages in the proceedings.

(b) SHORT PAPER SUBMISSIONS: A short paper submission may present
preliminary results or work-in-progress on a specific topic. Authors
should clearly motivate the importance of the problem being addressed,
discuss prior work and its relationship to the paper, explicitly and
precisely state the paper's key contributions, and outline the key
technical ideas and methods used to achieve the main claims. A short
paper submission should have at least 4 and at most 6 pages. Authors
should provide sufficient details in their submission so that the
Program Committee can judge the correctness, importance and originality
of their work. Short papers will be allotted upto 6 pages in the
proceedings.

PROCEEDINGS

The proceedings will be published on the Dagstuhl Open Access Seriesin
Informatics (OASIcs) publication service.

PROGRAM COMMITTEE

Paul Bouman (co-chair), Erasmus University Rotterdam, Netherlands
David Coudert, INRIA and Université Cốté d'Azur, France
Mattia D'Emidio, University of L'Aquila, Italy
Julian Dibbelt, Apple, USA
Twan Dollevoet, Erasmus University Rotterdam, The Netherlands
Daniele Frigioni, University of Aquila, Italy
Loukas Georgiadis, University of Ioannina, Greece
Marc Goerigk, University of Passau, Germany
Andrew Goldberg, Amazon, USA
Vera Grafe, TU Kaiserslautern, Germany
Irene Heinrich, TU Kaiserslautern, Germany
Spyros Kontogiannis (co-chair), University of Patras, Greece
Jesper Larsen, Technical Universtity of Denmark, Denmark
Niels Lindner, Zuse Institute Berlin, Germany
Philine Schiewe, Aalto University, Finland
Sabine Storandt, University of Konstanz, Germany
Rolf van Lieshout, Eindhoven University of Technology, The Netherlands

STEERING COMMITTEE

Alberto Marchetti-Spaccamela, Sapienza Università di Roma, Italy
Marie Schmidt, Universität Würzburg, Germany
Anita Schöbel, University of Kaiserslautern-Landau, Germany
Christos Zaroliagis, University of Patras, Greece (Chair)

CONTACT

All questions about submissions should be emailed to the PC co-chairs:

* Paul Bouman: bouman _A T_ ese.eur.nl
* Spyros Kontogiannis: spyridon.kontogiannis _A T_ upatras.gr

--
===========================================================
Spyros KONTOGIANNIS
Associate Professor
Computer Engineering & Informatics Department (CEID)
University of Patras, 26504 Rion, GREECE
-----------------------------------------------------------
URL:https://www.ceid.upatras.gr/webpages/faculty/kontog/
VOICE: +302610996957
EMAIL:spyridon.kontogiannis@upatras.gr
===========================================================

[DMANET] 5th Combinatorial Reconfiguration Workshop -- Call for Presentations

CALL FOR PRESENTATIONS
=======================================================
The 5th Combinatorial Reconfiguration Workshop

October 7-11, 2024
Nishijin Plaza, Kyushu University, Japan

Submission deadline: July 7, 23:59 (AoE)
=======================================================

* Aim and Scope
Combinatorial Reconfiguration studies reachability and related questions
over combinatorial structures. (See, e.g., a survey at
https://doi.org/10.3390/a11040052 ) These types of questions arise in
many areas of computer science, mathematics, and related fields. In
addition to presenting the latest research findings related to
combinatorial reconfiguration, a major feature of this workshop is to
allocate ample time for participants to engage in working sessions
tackling open problems. Our previous workshops have each resulted in new
collaborations, many stemming from open problem sessions during which
researchers have a chance to meet and work together for the first time.

* Call for Presentations
We are seeking participants interested in presenting in one or more of
the following types of sessions:
- Contributed talks
- Mentoring sessions
- Open problem sessions

All topics relating to any aspect or application of combinatorial
reconfiguration are welcome, including both published and unpublished
work. Presentations of ongoing work and open problems are encouraged.

Mentoring sessions are designed for newcomers to the area to obtain
feedback from more senior members in the community, including on work in
progress.

Open problem sessions will be used as the starting point for working
sessions during the workshop, allowing for new collaborations to be
formed. We will accommodate new open problem presentations suggested
during the workshop if time permits; submitting open problems by the
submission deadline will ensure a reserved time slot.

Please feel free to propose more than one type of presentation. For each
proposed presentation, please provide a title and a single paragraph
explaining what will be discussed, via the Google form below. If you are
submitting more than one proposal, use the Google form once for each
proposal. There will be no formal refereeing process; however, the
Program Committee reserves the right to reject contributions that are
substantially off-topic.

https://forms.gle/satzTguSbj9FjDTcA

We anticipate that the length of presentations will be approximately
20-30 minutes (or less at the request of the presenter); however, exact
times will be determined only when we know how many presentations have
been accepted.

* Important Dates:
- Submission deadline: July 7, 23:59 (AoE)
- Notification: July 19

* Invited Speakers:
- Jean Cardinal (Université libre de Bruxelles, Belgium)
- Naoto Ohsaka (CyberAgent, Inc., Japan)

* Program Committee:
- Nicolas Bousquet (CNRS, Université Claude Bernard Lyon 1, France)
- Takehiro Ito (Tohoku University, Japan), Chair
- Naomi Nishimura (University of Waterloo, Canada)
- Akira Suzuki (Tohoku University, Japan)

* Organizing Committee:
- Takehiro Ito (Tohoku University, Japan), Chair
- Naoyuki Kamiyama (Kyushu University, Japan)
- Akira Suzuki (Tohoku University, Japan)

* Contact
Please send any questions to reconf.workshop2024@grp.tohoku.ac.jp

* Support
- Institute of Mathematics for Industry, Joint Usage/Research Center in
Kyushu University (Reference No. 2024a037)
- JSPS Grant-in-Aid for Scientific Research (Grant No. JP24H00686)

Thursday, April 4, 2024

[DMANET] [1st Deadline Extended] SSS 2024 - Call for Papers

Dear Colleagues,

The first round deadline of the 26th International Symposium on
Stabilization, Safety, and Security of Distributed Systems (SSS) was
extended to April 14, 2024. Although SSS 2024 has two submission
deadlines, we highly encourage you to submit your manuscript to the
first one because you can submit the manuscript to the conference
again after revision following review comments.

=========================================================
SSS 2024 Call for Papers (ver. 2)
=========================================================
26th International Symposium on Stabilization, Safety, and Security of
Distributed Systems
October 20-22, 2024
Nagoya, Japan
https://sss2024.github.io
=========================================================
[Important Dates]
1st Paper Submission Deadline: April 7, 2024 -> April 14, 2024
1st Acceptance Notification: May 13, 2024 -> May 20, 2024
1st Camera-Ready Copy Due: May 23, 2024 -> May 30, 2024

2nd Paper Submission Deadline: July 4, 2024 (11:59 PM AoE)
2nd Acceptance Notification: August 16, 2024
2nd Camera-Ready Copy Due: August 26, 2024
=========================================================

The 26th International Symposium on Stabilization, Safety, and
Security of Distributed Systems (SSS 2024) will be held at Nagoya
International Center, Aichi, Japan on October 20-22, 2024.

SSS is an international forum for researchers and practitioners in the
design and development of distributed systems with a focus on systems
that are able to provide guarantees on their structure, performance,
and/or security in the face of an adverse operational environment. The
symposium encourages submissions of original contributions on
fundamental research and practical applications concerning topics in
the four symposium tracks:

Track A. Self-Stabilizing and/or Dynamic Systems: Theory and Practice
- Self-stabilizing systems
- Self-stabilizing protocols and algorithms
- Practically-stabilizing systems
- Variants of self-stabilization
- Topological stabilization
- Autonomic Computing
- Stabilization and self-* properties in hardware, software, and
middleware design
- Self-stabilizing software-defined infrastructure
- Dynamic networks, time-varying graphs, evolving graphs

Track B. Distributed and Concurrent Computing: Foundations,
Fault-Tolerance and Scalability
- Distributed, concurrent, and fault-tolerant algorithms
- Synchronization protocols
- Shared and transactional memory
- Graph-theoretic concepts for communication networks
- Formal methods, validation, verification, and synthesis
- Social networks
- Game-theory and economical aspects of distributed computing
- Randomization in distributed computing
- High-performance, cluster, cloud and grid computing
- Network security and privacy
- Blockchain technologies and cryptocurrencies
- Applied cryptography

Track C. Cryptography and Security
- Cryptographic designs, implementation analysis, and construction methods
- Secure multi-party computation and cryptographic distributed protocols
- Privacy-enhancing technologies and anonymity
- Post-quantum and information theoretic cryptography and security
- Secure software and secure programming methodologies
- Formal methods, semantics and verification of secure systems
- Fault tolerance, reliability, availability of distributed secure systems
- Game-theoretic approaches to secure computing
- Communication and internet: security, authentication and identification
- Cybersecurity for hardware components, mobile, cyber-physical
systems, and internet of things
- Cybersecurity of corporations (applications, end points, and cloud)
- Security and privacy for web applications
- Security of edge and fog computing
- Cryptocurrency and Blockchains

Track D. Moving and Computing
- Mobile agents
- Autonomous mobile robots
- Mobile sensor networks
- Mobile ad-hoc networks
- Population protocols
- Nature-inspired computing
- Programmable particles, nanoscale robots, biological systems, and
related new models

[New Conference Model]
We experiment with a new conference model. There will be TWO
deadlines. The review process for these two deadlines will not overlap
to allow papers rejected during the first review phase to be reworked,
corrected, and enhanced before being resubmitted on the second review
round, if wished by the authors. Papers may be submitted at only one
deadline. Of course, accepted papers of the first review round are
definitely accepted and should not be submitted to the second round.
In case of resubmission, reviews from the first phase will be
transmitted to the reviewers of the second phase.

[Paper Submission]
Papers are to be submitted electronically through EasyChair:
https://easychair.org/conferences/?conf=sss2024
All submissions must conform to the formatting instructions of
Springer LNCS series (see
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).
Each submission must be an original work written in English, in PDF
format.

[Double-blind Review]
All submissions must be anonymous. We use a somewhat relaxed
implementation of double-blind peer review: you are free to
disseminate your work through arXiv and other online repositories and
give presentations on your work as usual. However, please make sure
you do not mention your own name or affiliation in the submission, and
please do not include obvious references in the text that reveal your
identity. A reviewer who has not previously seen the paper should be
able to read it without accidentally learning the identities of the
authors. Please feel free to ask the general co-chairs if you have any
questions about the double-blind policy of SSS 2024.

[Submissions]
There are two types of submissions: regular papers and brief announcements.
- A regular submission must not exceed 15 pages (including the title,
abstract, figures, and references).
- A brief announcement submission must not exceed 5 pages and should
not include any appendix.

Additional necessary details for an expert to verify the main claims
of the submission may be included in a clearly marked appendix if
extra space is needed.

Any submission deviating from these guidelines will be rejected
without consideration of its merits. It is recommended that a regular
submission begins with a succinct statement of the problem being
addressed, a summary of the main results or conclusions, a brief
explanation of their significance, a brief statement of the key ideas,
and a comparison with related work, all tailored to a non-specialist.
Technical development of the work, directed to the specialist, should
follow. Papers outside of the conference scope will be rejected
without review. For the second round only, if requested by the authors
on the cover page, a regular submission that is not selected for a
regular presentation will also be considered for the brief
announcement format. This will not affect consideration of the paper
for a regular presentation.

[Publication]
Regular papers and brief announcements will be included in the
conference proceedings. Conference proceedings will be published by
Springer in the LNCS conference series.

[Special Issue]
Extended and revised versions of selected papers will be considered
for a special issue of Theoretical Computer Science (TCS,
https://www.sciencedirect.com/journal/theoretical-computer-science).

[Paper Award]
Prizes will be given to the best regular paper and best student
regular paper. A regular paper is eligible for the best student paper
if at least one of its authors is a full-time student at submission
time. Authors should clearly indicate whether their submission is
eligible to be considered for the best student paper award (e.g.,
using a \thanks in the title). The PC may decline to confer awards or
may split awards.

For the latest information, please visit the website: https://sss2024.github.io/

[Organization]
General Co-Chairs
Toshimitsu Masuzawa, Osaka University, Japan
Yoshiaki Katayama, Nagoya Institute of Technology, Japan
Hirotsugu Kakugawa, Ryukoku University, Japan
Organizing Chair
Yonghwan Kim, Nagoya Institute of Technology, Japan
Publicity & Proceedings Chair
Junya Nakamura, Toyohashi University of Technology, Japan
Treasurer
Hirotsugu Kakugawa, Ryukoku University, Japan
Track Co-Chairs
Arnaud Casteigts, University of Geneva, Switzerland (Track A co-chair)
Sayaka Kamei, Hiroshima University, Japan (Track A co-chair)
Andrea Richa, Arizona State University, USA (Track B co-chair)
Fukuhito Ooshita, Fukui University of Technology, Japan (Track B co-chair)
Pascal Felber, Universite de Neuchatel, Switzerland (Track C co-chair)
Quentin Bramas, University of Strasbourg, France (Track C co-chair)
Konstantinos Georgiou, Toronto Metropolitan University, Canada (Track
D co-chair)
Masahiro Shibata, Kyushu Institute of Technology, Japan (Track D co-chair)
Steering Committee
Anish Arora, Ohio State University, USA
Shlomi Dolev, Ben-Gurion University of the Negev, Israel
Sandeep Kulkarni, Michigan State University, USA
Toshimitsu Masuzawa, Osaka University, Japan
Franck Petit, Sorbonne Université, France
Sébastien Tixeuil, (Chair) Sorbonne Université, France
Elad Michael Schiller, Chalmers University of Technology, Sweden
Advisory Committee
Sukumar Ghosh, University of Iowa, USA
Mohamed Gouda, University of Texas at Austin, USA
Ted Herman, University of Iowa, USA

--
Junya Nakamura junya.nakamura@ieee.org
Information and Media Center, Toyohashi University of Technology

[DMANET] ISSAC 2024: Final call for Software Presentations, Second Call for Short Communications

----------------------------------------------------------------------
SECOND CALL FOR SHORT COMMUNICATIONS

FINAL CALL FOR SOFTWARE PRESENTATIONS

ISSAC 2024
International Symposium on Symbolic and Algebraic Computation
July 16-19, 2024
Raleigh, NC, USA
https://www.issac-conference.org/2024/

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

The International Symposium on Symbolic and Algebraic Computation is
the premier
conference for research in symbolic computation and computer algebra.
ISSAC 2024
will be the 49th meeting in the series, which started in 1966 and has been held
annually since 1981. The conference presents a range of invited talks,
tutorials,
short communications (posters), software demonstrations, and vendor exhibits
with a centerpiece of contributed research papers.

ISSAC 2024 will be held on July 16-19 2024 at Raleigh, NC, USA.

The short communications session at ISSAC is a venue to announce early research
results or ongoing projects that might not yet be complete. Short
communications
reporting on recent work published, accepted, or submitted elsewhere are also
welcome (with original publications clearly referenced). The short
communication
submission will be in the form of an extended
abstract (see details below).
At the conference, short communications will be presented in the form
of a poster
session. Authors are encouraged to create their posters on a single
large A0 sheet.

The software presentations session at ISSAC are opportunities to demonstrate
and communicate about new implementations of algorithms in symbolic and
algebraic computation. Of relevance are presentations for new software,
new packages, or new developments that present some originality or improved
performance compared to the state of the art.

Authors are invited to submit an extended abstract in PDF format of no
more than
4 pages. The abstracts will be reviewed by the short communications
and software
committees and relevant experts when needed. The review criteria are content,
originality, style, and relevance. The accepted short communication
and software
abstracts will be printed and distributed at the conference as well as
published
in an upcoming issue of the ACM SIGSAM Communications in Computer Algebra.

Important Dates
---------------

Software presentations:
Submission software presentation: April 16th, 2024, 23:59
(anywhere on Earth)
Notification of acceptance/rejection: May 7th, 2024
Final version (.tex) due: June 11th, 2024

Short Communications:
Abstract submission (.pdf) May 14th, 2024, 23:59
(anywhere on Earth)
Notification of acceptance/rejection May 24th, 2024
Final version (.tex) due June 11th, 2024

Submissions
-----------

The abstract should have no more than 4 pages using the SIGSAM LaTeX
style and the
CCA templates which are available here:https://www.sigsam.org/cca/

Authors of accepted contributions are expected to present their work
at the symposium.

Short Communications:
Please submit via EasyChair at:
https://easychair.org/conferences/?conf=issac24posters

Software presentations:
Please submit via EasyChair at:
https://easychair.org/conferences/?conf=issac24software

Topics
------

All areas of computer algebra and symbolic mathematical computation
are of interest. These include, but are not limited to:

Algorithmic aspects:

* Exact and symbolic linear, polynomial and differential algebra
* Symbolic-numeric, homotopy, perturbation and series methods
* Computational algebraic geometry, polynomial and semialgebraic optimization
* Computational group theory and number theory, quantifier elimination and logic
* Computer arithmetic
* Summation, recurrence equations, integration, solution of ODEs & PDEs
* Symbolic methods in other areas of pure and applied mathematics
* Complexity of algebraic algorithms and algebraic complexity

Software aspects:

* Design of symbolic computation packages and systems
* Language design and type systems for symbolic computation
* Data representation
* Considerations for modern hardware
* Algorithm implementation and performance tuning
* Mathematical user interfaces
* Use with systems such as digital libraries, courseware, simulation
and optimization, automated theorem-proving, computer-aided design,
and automatic differentiation

Application aspects:

* Applications that stretch the current limits of computer algebra
algorithms or systems, use computer algebra in new areas or new ways,
or apply it in situations with broad impact.

Invited Speakers
----------------

Elizabeth Gross, University of Hawai`i at MÄ noa, USA
Erich L. Kaltofen, North Carolina State University and Duke University, USA
Daniel S. Roche, United States Naval Academy, USA

Tutorial Speakers
-----------------

Diego Cifuentes, Georgia Tech, USA
Hoon Hong, North Carolina State University, USA
Evelyne Hubert, NRIA MÃ©diterranÃ©e, France

Conference Organization
-----------------------

General Chair:
Jonathan Hauenstein, University of Notre Dame, USA

Short Communications Committee
------------------------------

Marianne Akian, INRIA Saclay Île-de-France and CMAP, France
Michael Burr, Clemson University, USA
Margaret Regan (Chair), College of the Holy Cross, USA
AmirHosein Sadeghimanesh, Coventry University, UK
Hal Schenck, Auburn University, USA

Software Presentation Committee
-------------------------------

Silviana Amethyst (Chair), University of Wisconsin Eau Claire, USA
Paul Breiding, University of Osnabrück, Germany
Jeroen Hanselman, Technical University of Kaiserslautern, Germany
Kisun Lee, Clemson University, USA

[DMANET] SAGT 2024: Call for Papers

Dear colleagues,

The 17th International Symposium on Algorithmic Game Theory (SAGT) will be held at Centrum Wiskunde & Informatica (CWI) in Amsterdam, The Netherlands, September 3-6, 2024.

Foundational work is solicited on topics including but not limited to:

- Solution Concepts in Game Theory
- Efficiency of Equilibria and Price of Anarchy
- Computational Aspects of Equilibria
- Learning and Dynamics in Games
- Game-Theoretic Aspects of Networks
- Auction Design and Analysis
- Algorithmic Contract Design
- Mechanism Design and Pricing
- Internet Economics and Computational Advertising
- Reputation, Recommendation and Trust Systems
- Economic Aspects of Distributed Computing
- Blockchain and Cryptocurrencies
- Decision Theory and Information Design
- Computational Social Choice and Fair Division
- Market Design and Matching Markets
- Cooperative Game Theory

There will be a SAGT 2024 Best Paper Award, accompanied by a prize of 1000 Euro offered by Springer.

SUBMISSION SERVER AND DEADLINE

Paper submissions will be handled through EasyChair. Please use the following link to submit your paper:

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

Submission Deadline: May 21, 2024, 23:59 AoE (extended)

The expectation is that at least one of the authors of each accepted paper will attend SAGT and give a presentation for the work.

SUBMISSION GUIDELINES

Submissions may be up to 18 pages long (excluding title page and references) in single-column format, using at least 11-point fonts, single-spacing between lines, and at least 1-inch margins all around. In addition, an appendix may be included at the end of the paper and will be read at the discretion of the reviewers.

The symposium proceedings will be published by Springer in its LNCS/ARCoSS series. Accepted papers will be allocated at most 18 pages in the proceedings. We recommend that authors use the LNCS format (provided as part of Springer's LaTeX2e package) to prepare their submission, but this is not a requirement for the submission. To accommodate the publishing traditions of different fields, authors of accepted papers can choose to publish a one-page abstract of their paper in the proceedings.

SPECIAL ISSUE

SAGT 2024 will extend invitations to a selection of accepted papers for publication in a dedicated special issue of the ACM Transactions on Economics and Computation (TEAC) (details will be communicated in due course).

Further details on the call for papers, including the program committee members, tutorials and invited speakers can be found on the SAGT 2024 website at https://www.cwi.nl/en/sagt-2024/.

If you have any questions, please feel free to contact us: sagt2024@easychair.org

Best regards,
Guido Schäfer and Carmine Ventre
SAGT 2024 PC Co-Chairs

[DMANET] Postdoc position, Dublin: green fleet serving last mile operations

*Apply on https://www.ucd.ie/workatucd/jobs/
with job reference 017179. Deadline 16th April 2024.*

This postdoctoral position at University College Dublin supervised by Assoc
Prof Paula Carroll is in the NexSys project, an All Island of Ireland
Science Foundation of Ireland Strategic Partnership Programme focussed on
the transition to a net zero carbon energy system, see
https://www.nexsys-energy.ie/. This postdoc position is in the NexSys
Transport strand and aims to demonstrate innovative optimisation algorithms
and technologies to achieve #netzero in the transport sector through a
green fleet serving last mile operations.

We are looking for a researcher with expertise in operations research,
business analytics, data or computer science, engineering, or similar
quantitative discipline to join our team.

This is an academic research role, where you will conduct a specified
programme of research supported by research training and development under
the supervision and direction of Principal Investigator Assoc. Prof. Paula
Carroll.

*Responsibilities*

The successful candidate will: 1) define green transport and last mile
logistics business models; 2) create appropriate optimisation algorithms
and/or decision support solutions using approaches such as Mixed Integer
linear Programming, Metaheuristics and/or statistical or machine learning
to support last mile minimum energy (or emissions) vehicle routing; 3)
assess the energy requirements and environmental impact of recommended
solutions; 4) work with interdisciplinary researchers in the NexSys
transport strand to test and evaluate the energy and environmental impact
of their vehicle routing solutions.

*Qualifications*

PhD in Operations Research, Business Analytics, Data or Computer Science,
Engineering, or similar quantitative discipline • Experience in applying
statistical or machine learning techniques to data rich problems • A
demonstrated commitment to research and publications

*Full Details and Application Process*

Find the full job description (Job Reference 017179), and apply online at
https://www.ucd.ie/workatucd/jobs/

regards,
Paula
______________________________________________________
Assoc Prof Paula Carroll,
Chair: EURO WISDOM Forum <https://www.euro-online.org/web/pages/1654/wisdom>

Coordinator: SEC-OREA <http://secorea.eu>
Member: UCD Energy Institute | UCD Earth Institute
Management Information Systems Dept.
Q250, College of Business, Belfield, UCD, Dublin 4, D04 V1W8
Tel. No. 00 353 1 716 4776
https://people.ucd.ie/paula.carroll
http://www.ucd.ie/dataprotection/policy.htm

*Recent Publications*

*Carroll, P., *Singh B., and Mangina, E., 2024. Uncovering gender
dimensions in energy policy using Natural Language Processing
<https://www.sciencedirect.com/science/article/pii/S1364032124000042>.
*Renewable
and Sustainable Energy Reviews, *193, p. 114281.
DOI:10.1016/j.rser.2024.114281

Fitzpatrick, J., Ajwani, D. and *Carroll, P.*, 2023. Learning to prune
electric vehicle routing problems
<https://link.springer.com/chapter/10.1007/978-3-031-44505-7_26>. In
International Conference on Learning and Intelligent Optimization (pp.
378-392). Cham: Springer International Publishing.
DOI: 10.1007/978-3-031-44505-7_26
*Carroll, P.*, 2023. Analytics Modules for Business Students
<https://link.springer.com/article/10.1007/s43069-023-00216-5>. *Operations
Research Forum* 4(2), p. 41. DOI:10.1007/s43069-023-00216-5

[DMANET] IGAFIT HALG 2024 - deadline for short presentations extended to Apr 11

9th IGAFIT Highlights of Algorithms conference (HALG 2024)
Warsaw, June 3-June 5, 2024
https://highlightsofalgorithms.org/

The Highlights of Algorithms conference is a forum for presenting the highlights of recent developments in algorithms and for discussing potential further advances in this area. The conference will provide a broad picture of the latest research in algorithms through a series of invited talks, as well as the possibility for all researchers and students to present their recent results through a series of short talks and poster presentations. Attending the Highlights of Algorithms conference will also be an opportunity for networking and meeting leading researchers in algorithms.
-------------------------------------------------------------------

Call For Submissions of Contributed Presentations

The IGAFIT HALG 2024 conference seeks submissions for contributed presentations. Each presentation is expected to consist of a short talk followed by a question and answer session. There will be no conference proceedings, hence presenting work already published or accepted at a different venue or journal (or to be submitted there) is welcome.

Please submit the paper by registering in the link: https://systemcoffee.pl/?lang=en&go2rej=1&kid=1536
Please choose: Participant category = "participant with abstract". No payment should be made at this time.
After registration, you can login through the link: https://systemcoffee.pl/?lang=en&go2logPanel=1&kid=1536

The abstract should include (when relevant) information where the results have been published/accepted (e.g., conference), and where they are publicly available (e.g., ArXiv). All submissions will be reviewed by the program committee, giving priority to work accepted or published in 2023 or later.

Submissions deadline: April 11th, 2024, 23:00 GMT.
Acceptance/rejection notifications for contributed presentations: April 30th, 2024.

-------------------------------------------------------------------
Invited Speakers

Survey Speakers:

Shiri Chechik (Tel-Aviv University, Israel)
Paul Duetting (Google Switzerland)
Bernhard Haeupler (CMU and ETH)
Sam Hopkins (MIT)
Kurt Mehlhorn (MPI)
Ronitt Rubinfeld (MIT)

Invited Talks:

Soheil Behnezhad (Northeastern University): Dynamic Algorithms for Maximum Matching Size
Naama Ben-David (Technion): The FIDS Theorems: Tensions between Multinode and Multicore Performance in Transactional Systems
Christian Coester (University of Oxford): The Randomized k-Server Conjecture is False!
Andrés Cristi (University of Chile). A Constant Factor Prophet Inequality for Online Combinatorial Auctions
Gary Hoppenworth (University of Michigan): Folklore Sampling is Optimal for Exact Hopsets: Confirming the $\sqrt{n}$ Barrier
Shang-En Huang (Boston College): Byzantine Agreement with Optimal Resilience via Statistical Fraud Detection
Sanjeev Khanna (University of Pennsylvania): A Faster Combinatorial Algorithm for Maximum Bipartite Matching
Tomasz Kociumaka (Max Planck Institute for Informatics): Weighted Edit Distance Computation: Strings, Trees and Dyck
Tuukka Korhonen (University of Bergen): Dynamic treewidth
Annamária Kovács (Goethe University Frankfurt): A Proof of the Nisan-Ronen Conjecture
William Kuszmaul (Harvard University): Tiny Pointers
Kasper Green Larsen (Aarhus University): Bagging is an Optimal PAC Learner
Jason Li (CMU): Deterministic Near-Linear Time Minimum Cut in Weighted Graphs
Chris Schwiegelshohn (Aarhus University): Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation
Cameron Seth (University of Waterloo): Testing Graph Properties with the Container Method
David Wajc (Technion): Dynamic Matching with Better-than-2 Approximation in Polylogarithmic Update Time

[DMANET] CFP Computational optimization

Call for Papers

17th International Thematic Track/Workshop on Computational Optimization
(CO23)
Belgrade, Serbia, September 08-11, 2024

organized in the framework of CONFERENCE ON COMPUTER SCIENCE AND
INFORMATION SYSTEMS
FedCSIS - 2024

IEEE CS is a technical co-sponsor of FedCSIS 2024

https://2024.fedcsis.org/thematic/co
===============================

We invite original contributions related to both theoretical and practical
aspects of optimization methods. The list of topics includes, but is not
limited to:

* combinatorial and continuous global optimization
* unconstrained and constrained optimization
* multiobjective and robust optimization
* optimization in dynamic and/or noisy environments
* optimization on graphs
* large-scale optimization, in parallel and distributed computational
environments
* meta-heuristics for optimization, nature-inspired approaches and any
other derivative-free methods
* exact/heuristic hybrid methods, involving natural computing techniques
and other global and local optimization methods
*numerical and heuristic methods for modeling

The applications of interest are included in the list below, but are not
limited to:

* classical operational research problems (knapsack, traveling salesman,
etc)
* computational biology and distance geometry
* data mining and knowledge discovery
* human motion simulations; crowd simulations
* industrial applications
* optimization in statistics, econometrics, finance, physics, chemistry,
biology, medicine, and engineering.
*environment modeling and optimization
===============================

Best paper award

The best CO24 paper will be awarded during the social dinner of FedCSIS2024.
The best paper will be selected by CO24 co-Chairs by taking into
consideration the scores suggested by the reviewers, as well as the quality
of the given oral presentation.

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

Submission and Publication

* Authors should submit draft papers in PDF format.
* The total length of a paper should not exceed 12 pages for regular paper
and 6 pages for short papers (IEEE style). IEEE style templates are
available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their scientific
merit and relevance to the trakc.
* Accepted and presented papers will be published in the Conference
Proceedings and included in the IEEE Xplore database and submitted for
different indexations (Communication and Position papers will only appear
in the conference proceedings).
* Extended versions of selected papers presented at CO24 will be published
in edited book of the series "Studies of Computational Intelligence",
Springer with SJR 237.

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

Important dates:

+ Paper submission (strict deadline): May 14, 2024, 23:59:59 pm HST (there
will be no extension)
+ Position paper submission: June 02, 2024
+ Author notification: June 18, 2024
+ Final paper submission and registration: July 9, 2024
+ Conference date: September 8-11, 2024

===============================================================================
Organizing Committee

Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Antonio Mucherino, IRISA, University of Rennes 1, France
Daniela Zaharie, West University of Timisoara, Romania

If you have any question do not hesitate to send an email to :
wco@fedcsis.org

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

--
Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642

Theory Announcements

Sunday, April 7, 2024

[DMANET] GandALF 2024: 2nd Call for Papers and deadline extension

Saturday, April 6, 2024

[DMANET] CFP 2024 Intl Workshop on Quantum Data Science and Management @ VLDB

[DMANET] Second Joint CFP NLS and SLSS 2024 and extension

[DMANET] DeepLearn 2024: early registration May 8

Friday, April 5, 2024

[DMANET] DIAGRAMS 2024| Second Call for Graduate Symposium

[DMANET] Open postdoc position in Optimization at KTH

[DMANET] WALCOM 2025 Call For Papers

[DMANET] Call for Participation: Announcing New DFIR 6, 7 & 8 Streams

[DMANET] Announcement of 1st CFP for ATMOS 2024...

[DMANET] 5th Combinatorial Reconfiguration Workshop -- Call for Presentations

Thursday, April 4, 2024

[DMANET] [1st Deadline Extended] SSS 2024 - Call for Papers

[DMANET] ISSAC 2024: Final call for Software Presentations, Second Call for Short Communications

[DMANET] SAGT 2024: Call for Papers

[DMANET] Postdoc position, Dublin: green fleet serving last mile operations

[DMANET] IGAFIT HALG 2024 - deadline for short presentations extended to Apr 11

[DMANET] CFP Computational optimization

Mailing Lists

Search This Blog

Blog Archive

Sunday, April 7, 2024

Saturday, April 6, 2024

Friday, April 5, 2024

Thursday, April 4, 2024

Mailing Lists

Subscribe To

Search This Blog

Blog Archive