Theory Announcements

Monday, July 8, 2024

[DMANET] LAWCG 2024 - Last week for early subscription rates

Dear all,

Registration for LAWCG 2024 is open, but cheaper prices for *early
subscription end next Monday, July 15th*. See instructions on our website
<https://www.lawcg.mat.br/lawcg24/>.

Deadline for registration is September 30th, 23h59 (GMT-3).

Thanks for sharing this information with potentially interested colleagues
and students.

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

The 11th Latin-American Workshop on Cliques in Graphs (LAWCG 2024) will
take place in:

*Praia do Presídio, Aquiraz - Ceará, Brazil*

*October 20th to 23rd, 2024.*

https://www.lawcg.mat.br/lawcg24/

LAWCG is a venue meant to foster interaction among the Latin American Graph
Theory and Combinatorics community, whose research interests include
cliques, clique graphs, the behavior of cliques and other topics in Graph
Theory.

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

Important dates and information

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

Submissions ended: April 30, 2024

Early registration: until July 15, 2024

Registrations end: September 30, 2024

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

Special issue of Matemática Contemporânea

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

After the event, all interested researchers will be invited to submit an
extended abstract to Matemática Contemporânea, a journal of the Brazilian
Mathematical Society. The submitted papers will go through the normal
peer-review process.

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

Invited Speakers

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

Marina Esther Groshaus - Universidade Tecnológica Federal do Paraná, Brazil.

César Hernández Cruz - Universidad Nacional Autónoma de Mexico, Mexico.

Andrea Jiménez - Universidad de Valparaíso, Chile.

Nicolas Nisse - Inria d'université Côte d'Azur, France.

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

Programme Committee

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

Carlos Vinicius Lima, UFCA, Brazil

Ana Karolinna Maia, UFC, Brazil (Chair)

Amanda Montejano, UNAM, Mexico

Martin Safe, UNS, Argentina

Diana Sasaki, UERJ, Brazil

Silvia Tondato, UNLP, Argentina

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

Organizing Committee

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

Júlio Araújo, UFC, Brazil (Chair)

Fabricio Benevides, UFC, Brazil

Claudia Linhares Sales, UFC, Brazil

Ana Karolinna Maia, UFC, Brazil (Co-chair)

Rudini Sampaio, UFC, Brazil

Ana Shirley Silva, UFC, Brazil (Co-chair)

On the behalf of the organizing committee,

--
Júlio Araújo
*matematica.ufc.br/julio <http://matematica.ufc.br/pt/julio>*
**********************************************************
*
* 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] [Extended Deadline] BCCA 2024: Sixth International Conference on Blockchain Computing and Applications, Dubai, UAE [Special Track][Hybrid Conference]]

*T**he 6th International Conference on Blockchain Computing and
Applications* *(*BCCA 2024*)*

https://bcca-conference.org/

26–29 November 2024 – Dubai, UAE

*Hybrid Conference*

Blockchain is a revolutionary technology in decentralized systems that
enables secure decentralized transaction processing while ensuring data
privacy and authenticity. It is now playing a significant role in several
areas such the Internet of Things, supply-chain management, manufacturing,
cyber-physical systems, healthcare systems, and much more. Unlike
centralized transaction processing solutions, blockchain uses a distributed
ledger mechanism to record data transactions on multiple devices, this will
prevent data breach, identity theft, and a plethora of cyber-related
attacks, in essence, leading to a sustainability in data privacy and
security. This conference aims at to attract work of both researchers and
practitioners in the area of cyber-security to share and exchange their
experiences and research studies in both academia and industry in the field
of blockchain.

Researchers are encouraged to submit original research contributions in all
major areas, which include, but not limited to:

· *Track 01: Artificial Intelligence and Machine Learning*

· *Track 02: IoT and Cyber-Physical Systems*

· *Track 03: Big Data*

· *Track 04: Security and Privacy on the Blockchain*

· *Track 05: Metaverse and Digital Twin*

· *Track 06: IoT Network Security*

· *Track 07: Blockchain Research & Applications for Innovative
Networks and Services*

*Publication*

*IEEE is a technical sponsor of BCCA 2024*. All accepted papers in BCCA
2024 and the workshops co-located with it will be submitted to IEEEXplore,
dblp and Scopus for inclusion.

*Submission Guidelines*

There are three categories of submission in the Main track:

- *Long papers:* 7-8 pages.
- *Short papers:* 5-6 pages.
- *Poster papers (Undergrad):* 1-2 pages.

*Submission Link: *https://edas.info/N31868

*Special Track **Important dates*

- Paper submission deadline: June 20th July 20th, 2024 (Extended)
- Notification of paper acceptance: July 31st , 2024
- Submission of camera-ready papers due: August 10th, 2024

*Workshop Papers **Important dates**:*

- Submission Due: August 1st, 2024
- Notification: October 1st, 2024
- Camera-ready: October 20th,2024

*Organizing Committee*

*Honorary Chair*

- Marwan Al Zarouni, CEO of Dubai Blockchain Center (DBCC), Dubai

*General Co-Chair*

- Omar Alfandi, Zayed University, UAE

*Program Co-Chairs*

- Flavia Delicato, Fluminense Federal University, Brazil
- Qiang Ye, Dalhousie University, Canada
- Ouns Bouachir, ZU, UAE
- Sami Souihi, University of Paris-Est Créteil (UPEC), France

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

[DMANET] HIGHLIGHTS '24: Registration Deadline Extended to July 13

Dear all,

The registration deadline for HIGHLIGHTS 2024 and Jewels of Automata Theory
2024 has been extended to **July 13, 2024**. (See CfP below.)

*Registration page:*
https://framaforms.org/highlights-and-jewels-of-automata-theory-2024-1715936947
HIGHLIGHTS'24, JEWELS OF AUTOMATA THEORY '24, (Bordeaux, France, 16-20
September 2024) AND HCRW (21-27 September)

*HIGHLIGHTS'24* and *Jewels of Automata Theory '24* are jointly scheduled *from
September 16 to September 20, 2024* at the *University of Bordeaux, France*,
in *LaBRI*. They will be followed by the *Highlights Collaborative Research
Week (HCRW)*, from *September 21 to 27, 2024*.

*HIGHLIGHTS'24* is the twelfth in the series of international conferences
"Highlights of Logic, Games and Automata", aiming at integrating the
community working in algorithmic model theory, automata theory, databases,
games for logic and verification, logic and verification. Papers from these
areas are dispersed across many conferences, which makes them difficult to
follow. A visit to the HIGHLIGHTS conference should offer a wide picture of
the latest research in the field and a chance to meet everybody in the
community, not just those who happen to publish in one particular
proceedings volume. There are no publications.

Jewels of Automata Theory 2024 will survey a wide picture of research in
automata theory and related mathematical fields. It will consist of invited
lectures which describe significant progress over the past years, and will
be a meeting point for both young and senior researchers to learn and to
discuss about automata theory, its connections with mathematics and its
applications.

*HIGHLIGHTS'24* key features:

- HIGHLIGHTS is a conference without publications, where speakers give
short presentations of their best work.
- The 2024 edition is colocated with Jewels of Automata Theory a
conference featuring invited talks on mathematical aspects of automata
theory.
- A chat of the conference is available during the event, and throughout
the year.
- There is an early round of submissions and notifications to help with
travel planning.
- The *Highlights' Collaborative Research Week* (*HCRW*) offers means
for research collaborations/discussions between participants. HCRW is
scheduled after the conference.
- The *Highlights Extended Stay Support Scheme* (*HESSS*) helps
participants find collaborators and organise visits in the vicinity of
HIGHLIGHTS.
- Highlights has now an environmental chair, Antoine Amarilli, in charge
of assessing the carbon footprint of the event.

We encourage you to attend and present your best work - be it already
published or not - at *HIGHLIGHTS'24*.
SCOPE

Representative areas include, but are not restricted to:

- Algebraic models of computation
- Algorithmic model theory
- Automata theory
- Databases
- Games for logic and verification
- Logic
- Verification

IMPORTANT DATES AND INFORMATION

- Registration to the chat of the conference at
https://highlights-conference.org/2024/zulip (no need if you did it last
year)
- HIGHLIGHTS'24 webpage: https://highlights-conference.org/2024/
- Jewels of Automata Theory'24 webpage:
https://highlights-conference.org/2024/jewels
- HCRW page: https://highlights-conference.org/2024/hcrw
- HESSS page: https://highlights-conference.org/2024/hesss
- Submission page:
https://openreview.net/group?id=highlights-conference.org/Highlights/2024/Conference
- Registration page:
https://framaforms.org/highlights-and-jewels-of-automata-theory-2024-1715936947
- *Registration deadline (extended)*: July 13, 2024
- Early submission deadline: April 15, 2024
- Regular submission deadline: June 17, 2024
- Conference: September 16-20, 2024.
- *Highlights' Collaborative Research Weak* (*HCRW*): September 21 - 27,
2024.

MODALITIES OF ATTENDANCE

*HIGHLIGHTS'24* is an event that will take place on-site (barring
unforeseen circumstances), and the preferred form of participation is in
person. Remote attendance via a video stream will also be offered, but with
limited possible interactions for these participants.

Submission to Highlights'24 is open to everyone, and attendance to the
conference is not a requirement. The selection procedure will not take into
account in-person attendance. Authors who do not intend to attend
Highlights'24 in-person must commit to this choice when submitting their
talk proposal. If accepted, authors of such talk proposals will have the
opportunity to share a prerecorded video of their talk, which will be made
available on the conference website.

Before coming from far away, please review how your trip and international
flights are contributing to climate change. We encourage you to take the
train as much as possible, possibly taking the opportunity for visiting
colleagues on the way and thus decomposing the travel into smaller pieces.

More generally, we encourage you to make the most of your stay. This means
extending your journey to the previous and/or following weeks for more
scientific activities in Bordeaux and around. Several initiatives are here
to help you in this task:

- You can participate in the *Highlights' Collaborative Research
Week* (*HCRW
<https://highlights-conference.org/2024/hcrw>, September 21-27*) in the
week after HIGHLIGHTS, in Bordeaux.
- You can use the *Highlights Extended Stay Support Scheme* (*HESSS
<https://highlights-conference.org/2024/hesss>*) for finding
collaborators and organising visits.

REGISTRATION

Participants to HIGHLIGHTS'24 and Jewels of Automata Theory '24 must
register before Saturday*, July 13* by completing the form in the webpage
indicated below.

*Registration page*:
https://framaforms.org/highlights-and-jewels-of-automata-theory-2024-1715936947

The registration fee for on-site attendance is 85.25 EUR. Online attendance
is free, but registration is required.
HIGHLIGHTS COLLABORATIVE RESEARCH WEAK (HCRW)

*HIGHLIGHTS'24* will be followed by the *Highlights' Collaborative Research
Week* (*HCRW*), *from September 21 to 27 (including Saturday) at the
University of Bordeaux*.

Participants to HCRW are free to organise any scientific activity they
wish. Possibilities can be to

- meet someone in particular and work together,
- organise or attend a seminar/workshop/reading group,
- gather for solving open problems,
- solicit, offer and participate in a lecture.
Working spaces will be provided on site for these activities to take
place.

We encourage participants to offer activities in advance.

- HCRW webpage: https://highlights-conference.org/2024/hcrw
- If you intend to participate to HCRW, post it on the zulip stream.
- To offer or suggest activities, send your proposals to Théo Matricon:
theomatricon[at]gmail[dot]com

Confirmed workshops

- *Algebraic methods in automata theory.*
Possible topics include semigroups, decidability of classes of
languages, algebras, categories, monads, etc.
- TBA

HIGHLIGHTS EXTENDED STAY SUPPORT SCHEME (HESSS)

The *HESSS* is an incentive for collaborations between participants of the
conference and researchers working in research groups reachable by train
from the conference location. The objective is to foster interactions with
low carbon footprint. The mechanism is as follows:

- Research groups willing to participate in the scheme are listed on the
webpage: https://highlights-conference.org/2024/hesss. These groups are
offering to fund collaborations between HIGHLIGHTS participants and their
members.
- The pair of a HIGHLIGHTS participant and a member of a listed research
group submit a proposal, which takes the form of an email containing names,
period of collaboration, and a sentence describing the planned activity. It
has to be sent to the *HESSS* contact person of the research unit
(better through zulip).
- The decision of acceptance is up to the research group. In particular,
it may be subject to scientific scope, number of requests, or e.g.,
favouring distant participants.
- The only strict rule is that the visit should be around HIGHLIGHTS,
and no airplane should be taken by the visitor to travel from HIGHLIGHTS to
the visit location.

INVITED TALKS Joint invited speaker

- Mikołaj Bojańczyk (University of Warsaw, Poland)

HIGHLIGHTS'24:

- Albert Atserias (Technical University of Catalonia, Spain)
- Pablo Barcelo (Universidad Católica de Chile)
- Laure Daviaud (University of East Anglia, UK)

Jewels of Automata Theory'24

- Nathanaël Fijalkow (University of Bordeaux, France)
- Artur Jeż (University of Wrocław, Poland)
- Jarkko Kari (University of Turku, Finland)
- Barbara König (University Duisburg-Essen, Germany)
- Jérôme Leroux (University of Bordeaux, France)
- Anca Muscholl (University of Bordeaux, France)
- Karin Quaas (University of Leipzig, Germany)
- Daniel Smertnig (University of Ljubljana, Slovenia)
- Tatiana Starikovskaya (ENS Paris, France)
- Wolfgang Thomas (University of Aachen, Germany)
- Marc Zeitoun (University of Bordeaux, France)
- Georg Zetzsche (MPI-SWS Kaiserslautern, Germany)

COMMITTEES PROGRAM COMMITTEE HIGHLIGHTS'24

- C. Aiswarya (Chennai Mathematical Institute, India)
- Shaull Almagor (Technion, Israel)
- Christel Baier (TU Dresden, Germany)
- Azadeh Farzan (Univ. of Toronto, Canada)
- Sam van Gool (IRIF, France)
- Ichiro Hasuo (National Institute of Informatics, Japan)
- Bartek Klin (Univ. of Oxford, UK; chair)
- Barbara König (Univ. of Duisburg-Essen, Germany)
- Karoliina Lehtinen (LIS, Aix-Marseille Univ., France)
- Anthony Widjaja Lin (TU Kaiserslautern, Germany)
- Anca Muscholl (LaBRI, Univ. Bordeaux, France)
- Ana Sokolova (Univ. of Salzburg, Austria)
- Szymon Toruńczyk (Univ. of Warsaw, Poland)
- Sophie Pinchinat (IRISA Rennes, France)

ORGANISING COMMITTEE

- Sylvain Lombardy
- Corto Mascle
- Théo Matricon
- Rémi Morvan
- Vincent Penelle
- Pierre Vandenhove

SAFETOC COUNSELOR

- Rémi Morvan

STEERING COMMITTEE

- Antoine Amarilli (environmental chair)
- León Bohn (webmaster)
- Antonio Casares (publicity chair)
- Supratik Chakraborty
- Thomas Colcombet (chair)
- Sławek Lasota
- Sophie Tison

PROGRAM COMMITTEE Jewels of Automata Theory'24

- Manfred Droste(chair)
- Jorge Almeida
- Patricia Bouyer
- Véronique Bruyère
- Thomas Colcombet
- Laurent Doyen
- Dora Giammarresi
- Juhani Karhumäki
- Bartek Klin
- Markus Lohrey
- Sylvain Lombardy
- Damian Niwiński
- Jacques Sakarovitch
- Sylvain Schmitz
- Marinella Sciortino
- Jeffrey Shallit
- Alexandra Silva
- Benjamin Steinberg

[DMANET] FRICO 2024, 9-13 September 2024, Registration Deadline 14 July

Dear colleagues,

The 27th edition of the Workshop on Future Research in Combinatorial
Optimization (FRICO) will take place from September 9th to September
13th, 2024 at Otto von Guericke University in Magdeburg, Germany. More
information about FRICO 2024 can be found on our website:

https://frico2024.ovgu.de/

FRICO aims to network doctoral students from research areas in and
adjacent to combinatorial optimization, including:

* Discrete Mathematics and Combinatorics
* Approximation Algorithms
* (Mixed Integer) Linear and Non-Linear Optimization
* Applications of Combinatorial Optimization
* Scheduling
* Randomized Algorithms
* Online Optimization

Each participant will be assigned a slot for a 20-minute presentation or
a 5-minute elevator pitch talk. It is especially encouraged to present
ongoing research and open problems.

Thanks to our sponsors, FRICO does not have a conference fee. Moreover,
our sponsors will provide insights into applied optimization and career
prospects during the workshop.

The registration deadline is July 14th, 2024 (the end of this week!). In
case of any questions, please feel free to contact us at
frico2024@ovgu.de.

We hope to see you at FRICO 2024!

Best regards,

Sarah Feldmann, Kirill Kukharenko, Jannik Trappe, Ekin Ergen, Lennart
Kauther
**********************************************************
*
* 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] Royal Society Faraday Discovery Fellowships, leading to faculty position, Oxford

The Department of Computer Science at the University of Oxford is
encouraging
outstanding mid-career researchers (typically 10-20 years from PhD) to apply
for a Royal Society Faraday Discovery Fellowship
https://royalsociety.org/grants/faraday-discovery-fellowships/
to be held in our department. We expect to confirm, for selected applicants,
a permanent senior academic post upon success. In order to be considered for
departmental sponsorship, please send the following to
Padma Reddy padma.reddy@cs.ox.ac.uk and James Worrell
James.Worrell@cs.ox.ac.uk

· A CV

· A 3-page research research statement

· A publication list

· Letters from 3 referees (which should be sent directly from the
referee)

The deadline for submitting this information (including the references)
is 2 September.

--
Prof. Paul W. Goldberg, Dept of Computer Science, Oxford
Room 255, Wolfson Building
Office phone +44 (0)1865 610756

[DMANET] DLT 2024 - Final Call for Participation

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

** FINAL CALL FOR PARTICIPATION **

** Early Bird Registration is Open until 20.7.2024 **
** Deadline for Submitting Informal Presentation Approaching **
** Preliminary Programme on the Website **

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, 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 to to Mikołaj Bojańczyk.

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).

** The full programme is available here: https://events.gwdg.de/event/576/program
** Note that one can still submit informal presentations for inclusion in the programme of DLT 2024.

** Special issue: 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 and Informal Presentations **

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

A list of hotel suggestions is available here: https://events.gwdg.de/event/576/page/123-hotel-suggestions

** 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] NCMA 2024 - Call for participation

** NCMA 2024: 12-13 August 2024, Göttingen, https://ncma2024.uni-goettingen.de/ **

** List of accepted papers is on the website **
** Preliminary scientific programme is on the website **
** Registration is open **

14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024)

August 12-13, 2024, Göttingen, Germany

Website: https://ncma2024.uni-goettingen.de/
NCMA workshop series website: https://www.cs.uni-potsdam.de/NCMA/

NCMA 2024 is the 14th edition in a series of events established in 2009. The workshop hosts a series of research talks presenting original contributions on classical and non-classical models of automata and applications and related subjects, including descriptional complexity of formal systems. Many models of automata and grammar-like structures are the natural objects of theoretical computer science. They are studied from different points of view in various areas, both as theoretical concepts and as formal models for applications. As such, the aim of the workshops on Non-Classical Models of Automata and Applications is to provide a forum for researchers who work on different aspects of classical and non-classical models of automata and grammars to exchange and develop novel ideas.

The list of accepted papers for NCMA 2024 is available here: https://events.gwdg.de/event/681/page/157-accepted-papers

All these accepted papers will be published in the proceedings volume, which will appear in the EPTCS-series. A journal special issue (in the Journal of Automata, Languages and Combinatorics, https://jalc.de/) is planned.

Alongside the regular programme of contributed talks (based on the accepted papers) the workshop will also host two invited talks (see below). The full programme can be accessed here: https://events.gwdg.de/event/681/program

** Venue **

The 14th edition of NCMA will be held at the historic University of Göttingen in Germany, August 12–13, 2024, collocated with the 28th International Conference on Developments in Language Theory (DLT 2024, https://dlt2024.uni-goettingen.de/ ).

It is hosted by the TCS research group of Florin Manea. For more information, see https://ncma2024.uni-goettingen.de/

For accommodation suggestions, see: https://events.gwdg.de/event/681/page/118-hotel-suggestions

** Important Dates and Registration **

NCMA 2024: 12-13 August 2024
For registration, please see https://events.gwdg.de/event/681/page/117-registration
Full Registration: 100 Euro
Student Registration: 80 Euro
The registration for NCMA 2024 will be open until 11.8.2024. Those interested in participating to DLT 2024, as well, are invited to register for both events here: https://events.gwdg.de/event/576/page/119-registration
Please note that the early bird registration for DLT 2024 ends on 20.7.2024.

** NCMA 2024 Invited Speakers **

Martin Kutrib (Gießen, Germany, unifying speaker with DLT 2024)
Robert Mercas (Loughborough, UK)

** Program Committee **

Marcella Anselmo (Salerno, Italy)
Péter Battyányi (Debrecen, Hungary)
Martin Berglund (Umeå, Sweden)
Erzsébet Csuhaj-Varjú (Budapest, Hungary)
Joel Day (Loughborough, UK)
Pamela Fleischmann (Kiel, Germany)
Tore Koß (Göttingen, Germany)
Zbyněk Křivka (Brno, Czech Republic)
Andreas Malcher (Gießen, Germany)
Florin Manea (Göttingen, Germany, chair)
Victor Mitrana (Madrid, Spain)
Giovanni Pighizzini (Milano, Italy, chair)
Dana Pardubska (Bratislava, Slovak Republic)
Luca Prigioniero (Loughborough, UK)
Stefan Siemer (Göttingen, Germany)
Bianca Truthe (Gießen, Germany)
Brink Van Der Merwe (Stellenbosch, South Africa)
Petra Wolf (Bordeaux, France)

** Sponsors (common with DLT 2024) **

The German Research Foundation (DFG).

[DMANET] Open Position in Theoretical Computer Science at the University Potsdam (Linda Kleist)

We are looking for new team members in the group of Theoretical Computer
Science at the University of Potsdam starting in the fall of 2024. The
starting date is negotiable.

Our group is interested in Algorithms and Complexity for problems involving
graphs and/or geometry. This includes but is not limited to computational
geometry, geometric graph theory, graph drawing and geometric optimization
problems.
We aim for a creative, collaborative, and fun environment where we strive to
create fundamental breakthroughs in algorithms and complexity theory.

The position is full-time, includes teaching (in German), and the salary is
in accordance with TVL-13.
What you should bring:
 - excellent master degree in computer science, mathematics, or a related
field,
- strong background in theoretical computer science, in particular in
algorithms, complexity and discrete mathematics,
- team spirit, and
- enthusiasm in teaching.

Please reach out to Linda Kleist (linda.kleist.1@uni-potsdam.de) to learn
more about these opportunities. For an application, send your CV and a brief
statement including your motivation and research interests before 28.07.24
(later applications may still be considered until the position is filled.)

[DMANET] CALL FOR PAPERS - 12th International Conference on Big-Data-Analytics in Astronomy, Science and Engineering (BASE)

CALL FOR PAPERS

12th International Conference on Big-Data-Analytics in Astronomy, Science
and Engineering (BASE)
November 26 - 28 , 2024
Hybrid conference happening jointly at:

University of Aizu, Japan
and
National Institute of Technology Delhi, India

Conference WWW site:
http://web-ext.u-aizu.ac.jp/labs/is-ds/BDA2024-Aizu.html

Introduction

The conference will focus on business data semantics and infrastructure for
information management and interchange. The BASE conference series attracts
research on data management and user interfaces for scientific computing
systems. These themes will be discussed in the context of research on
infrastructure facilities, robotics, IoT as well as human resource
development in science and engineering. The conference aims at promoting
research related to (this list is not exhaustive):

* Data sharing (application services)
* Software Engineering for Management of Voluminous Data
* Data Management for Big Data
* Information interchange and management systems for Data Centers
* Core technologies for scientific computing
* Managing client/middleware/server computing for shareable data
* NoSQL Databases
* New database query languages for sensor data Systems
* Knowledge Annotation and Visualization
* Cyber Physical System

In this context, particularly welcomed are contributions related to current
research activity on: (1) algorithms for collecting, analyzing, and
securing data for decision support; (2) integrating advanced technologies
for cloud services and dynamic workflow, and supply chain management; (3)
approaches and algorithms for automatic data center administration; (4)
architectures for simplifying access to, and querying of, diverse
information sources; as well as (5) all aspects of data management for,
broadly understood, Information Systems. Contributions that report
experimental work and results are strongly encouraged.

The 12th International Conference on Big-Data-Analytics in Astronomy,
Science and Engineering will publish its proceedings (indexed by Scopus) in
the Springer Lecture Notes in Computer Science (LNCS) series. Selected
manuscripts will be recommended for publication in "The International
Journal of Computational Science and Engineering (IJCSE)". This journal is
listed in Web of Science, and the UGC master list of journals in India.

Important Dates:
Paper Submission deadline: 31 July 2024
Confirmation to authors: 15 September 2024
Camera-ready manuscript: 25 September 2024
Conference dates: 26-28 November 2024

Paper Submission:
Authors can submit original full papers through the Microsoft conference
management tool (CMT) using the link given below:

https://cmt3.research.microsoft.com/BDAASE2024

The manuscripts (2500-4000 words, 10-15 pages (it is a guideline)) should
be submitted. Authors are invited to submit PDF files. Each paper should
contain an additional cover page in text form. It must include a short
extended abstract in free flow in text format, submitted with the paper by
planed submission deadline. The address and e-mail of the authors should be
included on the text cover page. The selected full papers will be included
for publication in the proceedings to be published after the conference.
(All Final submissions must be completed by the Camera ready deadline).
Authors are encouraged to include their ORCIDs in the proceedings. Authors
must use the Springer Author's Guidelines for the LNCS series.

Invited Guest Speakers: (Tentative list - to be confirmed and extended):
% Maria Ganzha, Warsaw University of Technology, Poland
% Y. Ishikawa, Nagoya University
% H. V. Jagadish, University of Michigan, US
% Marcin Paprzycki, Polish Academy of Sciences, Poland
% Milind Purohit, Okinawa Institute of Science and Technology, Japan
% Chandni Saxena, The Chinese University of Hong Kong, Hong Kong
% Srinath Srinivasa, IIIT Bangalore, India
% Naoki Yoshida, IPMU, Tokyo

Conference Organizers:

Steering Committee:
+ Hazur Saran, Indian Institute of Technology, Delhi, India
+ Divyakant Agrawal, University of California, USA
+ H. V. Jagadish, University of Michigan, USA
+ Prem Kalra, Indian Institute of Technology, Delhi, India
+ Nadia Berthouze, University College London, UK
+ Srinath Srinivasa, IIIT Bangalore, India
+ Punam Bedi, Delhi University, India

Chairs of the BASE Conference Series:
* Subhash Bhalla, IIT Delhi, India
* Shelly Sachdeva, NIT Delhi, India
* Yutaka Watanobe, University of Aizu, Japan

Programme Committee Members (tentative list):
+ Akhil Kumar, Pennsylvania State University, USA
+ Alexander Pasko, Bournemouth University, UK
+ Anuja Arora, JIIT Noida, India
+ Ashish Kumar Tripathi, Malaviya National Institute of Technology Jaipur,
India
+ Costin Badica, University of Craiova, Romania
+ Dinesh Chautani, DTU, India
+ D. Agrawal, University of California, USA
+ F. Andres, National Institute of Informatics, Japan
+ Harilaos Koumaras, NCSR Demokritos, Greece
+ Harsh Verma, NIT Jalandhar, India
+ Jens Herder, University of Applied Sciences Dusseldorf, Germany
+ Jianhua Ma, Hosei University, Tokyo, Japan
+ K. Myszkowski, Max-Planck-Institut fuer Informatik, Germany
+ Ignacio Lacalle Ubeda, Universitat Politecnica de Valencia, Spain
+ L. Capretz, Western University, Canada
+ Marek Bolanowski, Rzeszow University of Technology, Poland
+ Mark Sifer, University of Wollongong, Australia
+ Masahito Hirakawa, Shimane University, Japan
+ M. Capretz, Western University, Canada
+ Nadia Bianchi-Berthouze, University College London, UK
+ Neeraj Goel, IIT Ropar, India
+ Paolo Bottoni, University of Rome, Italy
+ Prabhat Manocha, IBM, India
+ Pratul Dublish, Microsoft Research, USA
+ Punam Bedi, Delhi University, India
+ Qun Jin, Waseda University, Japan
+ Richard Chbeir, Pau University, France
+ Richard C. Millham, Durban University of Technology, South Africa
+ Saroj Kaushik, IIT Delhi, India
+ Shivani Batra, Flexera, India
+ Siddhartha Asthana, AI Garage Mastercard, India
+ S. Selvakumar, IIIT, India
+ Stefka Fidanova, Bulgarian Academy of Sciences, Bulgaria
+ T. Nishida, Kyoto University, Japan
+ William I. Grosky, University of Michigan-Dearborn, USA

Conference venue:
The conference will take place in hybrid mode at the National Institute of
Technology Delhi, India, the University of Aizu, Japan and the IIT Delhi.

Accommodations:
Western Style Hotel, which rates from about 8000JPY (single) to 16000JPY
(twin) per night and Japanese Style Hotel (Ryokan) with Hot Spring, which
rates from 15000JPY (two persons/one Japanese style room, with breakfast)
to 20000JPY (two persons/one room, with breakfast and dinner) per night are
available in the near vicinity.

Inquiries:
Details of the submission process, can be obtained from one of the
organizers, or by sending mail to the conference email address:
base@nitdelhi.ac.in

Sunday, July 7, 2024

[DMANET] W1TTW2 Professorship in Databases and Information Systems at Ruhr University Bochum

Dear all,

The Ruhr University Bochum is currently offering a W1 professorship
(with tenure track to W2) in Databases and Information Systems with
application deadline August 15, 2024:

https://jobs.ruhr-uni-bochum.de/jobposting/762628d25bbd2251b42ae255f96ad77952f40a640

Applicants should have an excellent track record in research and
teaching in at least one of the following subfields:

- Database Engines and Systems
- Data Mining and Data Analytics
- Scalable data management and architectures
- Semi-structured data and semantic web
- Machine Learning, AI, and Databases

If you yourself are not interested, but know of excellent candidates who
might be, please forward this email and/or let me know.

Best wishes,
Thomas

--
Prof. Dr. Thomas Zeume
Logic and formal verification

Faculty of Computer Science
Ruhr University Bochum
Universitätsstraße 150
44801 Bochum

Phone: +49 (0)234 32-19609
Mail: thomas.zeume@rub.de
**********************************************************
*
* 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] Congressus Numerantium - Call for papers

Congressus Numerantium - Call for papers

Dear colleagues,
I am delighted to introduce Congressus Numerantium, an esteemed journal established in 1970. Over the years this journal has been dedicated to publishing conference proceedings in combinatorics and related areas, contributing to a total of 234 volumes. We are pleased to announce that from 2024 onwards we will adapt to a dual approach, aiming to publish both regular and conference papers in both print and online formats. As Editor-in-Chief of Congressus Numerantium, I would like to extend my warm invitation to you to consider submitting your research articles or survey papers to our journal. High quality papers in all areas of combinatorics are welcome. Conferences in combinatorics and related fields are welcome to publish special issues in Congressus Numerantium.

There is no article processing charge for publishing papers in Congressus Numerantium unless the author opts to make their work immediately available as open access. The full text of all papers will be freely available online two years after their publication, no matter whether the author chooses the open access service. In addition, all papers published in 2024 are freely available to the world under an open access license.

For more information about Congressus Numerantium, including the online submission portal, see

https://combinatorialpress.com/cn/

Should you have any inquiries regarding this call for papers, please do not hesitate to reach out to me or any other member of the Editorial Board. Your interest and contributions are much appreciated.

Best regards,

Sanming Zhou, The University of Melbourne
(on behalf of the Editorial Board of Congressus Numerantium)

Saturday, July 6, 2024

[DMANET] SAT 2024: Early bird registration ends in 9 days

===================================================
SAT 2024

International Conference on
Theory and Applications of Satisfiability Testing 2024

Second Call for Participation

Early bird registration deadline: July 15, 2024, 23:59 AoE
Register now!: https://satisfiability.org/SAT24/registration.php
===================================================

Important dates:

- SAT 2024 conference: August 21 - 24, 2024
- Workshops: August 20, 2024
- Indian SAT+SMT School: August 18 - 19, 2024

Place: Tata Consultancy Services (TCS), Sahyadri Park - 2, Hinjewadi,
Pune, India
Website: https://satisfiability.org/SAT24/

About the conference

SAT 2024 is the 27th edition of the International Conference on Theory
and Applications of
Satisfiability Testing (SAT). The scope of SAT 2024 includes all
aspects of the theory
and applications of propositional satisfiability, broadly construed.
This also includes
Boolean optimization, such as MaxSAT and Pseudo-Boolean (PB)
constraints, Quantified
Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), Model
Counting, and
Constraint Programming (CP) for problems with clear connections to Boolean-level
reasoning.

SAT 2024 is the first time that SAT will take place in India. There
will be co-located
schools and workshops prior to the conference. The events are being
organized by TCS
Research and Indian Institute of Technology Bombay.

Keynote Speakers

- Martina Seidl, Johannes Kepler University, Austria
- Cesare Tinelli, University of Iowa, USA
- Moshe Y. Vardi, Rice University, USA

Awards

- A "Best Paper Award" and a "Best Student Paper Award" will be
announced during the conference.
- The "Fahiem Bacchus PhD Award in Satisfiability" will also be announced.
This new award established by the SAT Association distinguishes one
outstanding PhD thesis
from the past two years in the field of Satisfiability, broadly
construed. The award is
named after Fahiem Bacchus who made significant contributions to the
theory and practice
of SAT as well as to the SAT community and the SAT Association.

About the venue

The venue of SAT 2024 is Tata Consultancy Services (TCS), Sahyadri
Park - 2, Hinjewadi,
Pune. Surrounded by the rolling hills of the Sahyadri ranges on three
sides, this campus
is a scenic and well-equipped setting for hosting SAT 2024. The campus
has shared
conference rooms, breakout areas, training rooms and a 500-seater multi-purpose
auditorium.

Pune is the second largest city after Mumbai (erstwhile Bombay) in the state of
Maharashtra in western India. It is well-known for its salubrious
climate, rich culture, a
vibrant theatre and classical music scene, and its automotive and
information technology
industries. The city of Mumbai, with its associated tourist
attractions, is a 3-hour
pleasant drive from Pune.

Registration

The registrations for the conference, and the co-located schools and
workshops, are now
open.

- Early registration deadline: July 15, 2024, 23:59 AoE
- Registration link: https://satisfiability.org/SAT24/registration.php

Grants & Travel Support

Grants and travel support are available for student participants. The
details can be found
on the conference website: https://satisfiability.org/SAT24/registration.php.

Co-located Schools and Workshops

- Indian SAT+SMT school
+ Website: https://sat-smt.in/
+ Dates: Aug 18 - 19, 2024

- Pragmatics of SAT
+ Website: http://www.pragmaticsofssat.org/2024/
+ Dates: Aug 20, 2024

- International Workshop on Quantified Boolean Formulas and Beyond
+ Website: https://qbf24.pages.sai.jku.at/qbf/
+ Dates: Aug 20, 2024

- Workshop on Counting, Sampling, and Synthesis
+ Website: https://mccompetition.org
+ Dates: Aug 20, 2024

Competitions

Results of the 2024 editions of SAT competition, Pseudo-Boolean Solver
competition and
Model Counting competition will be announced at the conference.

[DMANET] APPROX/RANDOM 2024: Call for Participation

*Call for Participation: APPROX/RANDOM 2024*

The 28th International Conference on Randomization and Computation
(RANDOM 2024) and the 27th International Conference on Approximation
Algorithms for Combinatorial Optimization Problems (APPROX 2024) will be
held at the London School of Economics, in London, UK, August 28-30, 2024.

RANDOM focuses on applications of randomness to computational and
combinatorial problems, while APPROX focuses on approximation broadly,
including algorithms, hardness, mechanism design, and more.

To learn more about the conferences , including the accepted papers, visit:
RANDOM: https://randomconference.com/random-2024-home/
APPROX: https://approxconference.com/
The conferences will feature plenary talks by Anupam Gupta (NYU) and
Mark Jerrum (QMUL).

The website for the local arrangements for APPROX/RANDOM 2024, including
accommodation information, is
https://approxrandom2024.site/ .

The early registration deadline is 15th August 2024. The early
registration fee for speakers (at least one author of each paper must
register as such) is £170. The early registration fee for other
participants is £90. After 15th August, the registration fee will be
£250 for speakers, and £130 for non-speakers.

We look forward to seeing you in London at the end of August.

Best wishes,
Local Organisation Committee for APPROX/RANDOM 2024
Ahmad Abdi, Tugkan Batu, Sharat Ibrahimpur, Neil Olver (chair), Gregory
Sorkin
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Call for Papers - Scalable Computing in Cloud Infrastructure for Smart Networking Management and Cybersecurity

Call for Papers

Scalable Computing in Cloud Infrastructure for Smart Networking Management
and Cybersecurity
https://scpe.org/index.php/scpe/CFP_SI_SCCASNMC

Introduction

Scalable computing in cloud infrastructure is a critical component in
advancing smart networking management and bolstering cybersecurity
measures. The dynamic and ever-evolving nature of smart networking demands
a scalable architecture that can efficiently handle the increasing volume
and complexity of data traffic. Cloud infrastructure, with its elasticity
and on-demand resource allocation, provides a scalable solution to
accommodate the growing demands of smart networks. In the realm of smart
networking management, scalability ensures the seamless integration of new
devices, services, and applications into the network ecosystem. As the
number of connected devices continues to rise, a scalable cloud
infrastructure allows for the efficient deployment of additional computing
resources, ensuring that the network can adapt to fluctuations in demand
without compromising performance or reliability. This adaptability is
essential for optimizing the functionality of smart networks and
facilitating the rapid deployment of innovative services.

Moreover, scalable computing plays a pivotal role in enhancing
cybersecurity in smart networking environments. The ability to scale
resources dynamically allows for the implementation of robust security
measures, such as intrusion detection systems, firewalls, and encryption
protocols, without causing a degradation in network performance. As cyber
threats become increasingly sophisticated, a scalable cloud infrastructure
enables the quick deployment of security updates and patches to safeguard
against evolving vulnerabilities. However, challenges exist in achieving
seamless scalability in cloud-based smart networking and cybersecurity.
Ensuring interoperability across diverse devices and systems, as well as
addressing potential latency issues during scaling events, requires careful
consideration. Additionally, the effective management of data privacy and
compliance concerns remains crucial in the context of cloud-based
solutions. Scalable computing within cloud infrastructure is a cornerstone
for the efficient management of smart networks and the implementation of
robust cybersecurity measures. As the landscape of smart networking
continues to evolve, the scalability of cloud solutions will be
instrumental in meeting the demands of dynamic and secure digital
ecosystems. Efforts to address challenges and refine scalable cloud
architectures will undoubtedly shape the future of smart networking
management and cybersecurity. A special issue of this journal will combine
advanced cyberinfrastructure techniques and cloud infrastructure and smart
networking management to address the diverse needs and challenges that
cyberinfrastructure face today, as well as security threats. We invite both
academic and industrial authors to submit original manuscripts on advanced
cyberinfrastructure applications and security threats.
Recommended topics (but not limited to)

+ Scalable computing systems in cyber resilience for cyber security
+ Scalable computing in management of hardware and software resources of
cloud infrastructure for cybersecurity
+ Scalable computing in virtual networking and vulnerabilities for cloud
computing applications
+ Scalable computing in intelligent intrusion detection system of
malicious activities of cloud computing for cyberinfrastructure
+ Scalable computing in software defined internet of things for network
function virtualization and cyberinfrastructure
+ Scalable computing in multi factor authentication for cyber
infrastructure
+ Scalable computing in resilient and dependability management of
distributed environments for cyberinfrastructure
+ Scalable computing in middleware architecture for cyber attacks
detection of IoT ecosystem
+ Scalable computing in software defined network architecture for smart
grid resilience and service attacks
+ Scalable computing in cloud and IoT secure integration for cyber
infrastructure

Important dates
Submission deadline: 31 July, 2024
Authors notification: 31 October, 2024
Revision submission: 31 December, 2024

Submission guidelines

Original and unpublished works on any of the topics aforementioned or
related are welcome. The SCPE journal has a rigorous peer-reviewing process
and papers will be reviewed by at least two referees. All submitted papers
must be formatted according to the journal's instructions, which can be
found at the journal WWW site.

During submission please select a Special Issue that you want to submit to
and provide this information in the Comments for the Editor field.

Guest Editors

Lead: Francesco Flammini, Full Professor of Computer Science, School of
Innovation, Design and Engineering, Mälardalen University, Sweden, email:
francescoflammini@ieee.org

Theo Dimitrakos, Professor of Computer Science, School of Computing,
University of Kent, Canterbury, UK, email: t.dimitrakos@kent.ac.uk

Mehdi Sookhak, Assistant Professor of Computer Science Department of
Computing Sciences Texas A&M University-Corpus Christi, United States,
email: mehdi.sookhak@tamucc.edu

Amir Javadpour, Faculty of Information Technology and Electrical
Engineering University of Oulu, Oulu, Finland, email:
a.javadpour87@gmail.com

G. Nagarajan, Professor of Computer Science and Engineering, Sathyabama
Institute of Science and Technology, India, email:
gnagarajan.cse@sathyabama.ac.in

Friday, July 5, 2024

[DMANET] CFP: 29th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2024) Osaka, Japan

==============CALL FOR PAPERS=================
29th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2024)
Osaka, Japan
November 13-15, 2024

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

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

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

*** Submission and Publication Information ***

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

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

*** Paper Award ***

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

*** Important Dates ***

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

*** Program Committee Co-Chairs ***

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

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

[DMANET] SAT 2024: Early bird registration ends in 10 days

Apologies for cross-postings, if any. SAT 2024 early bird registration
ends in 10 days!

=======================================================================
SAT 2024

International Conference on
Theory and Applications of Satisfiability Testing 2024

       Second Call for Participation
           Early registration: July 15, 2024, 23:59 AoE
     Register now!: https://satisfiability.org/SAT24/registration.php
========================================================================

Important dates:

- SAT 2024 conference: August 21 - 24, 2024
- Workshops: August 20, 2024
- Indian SAT+SMT School: August 18 - 19, 2024

Place: Tata Consultancy Services (TCS), Sahyadri Park - 2, Hinjewadi,
Pune, India
Website: https://satisfiability.org/SAT24/

About the conference

SAT 2024 is the first time that SAT will take place in India. There will
be co-located
schools and workshops prior to the conference. The events are being
organized by TCS
Research and Indian Institute of Technology Bombay.

Keynote Speakers

- Martina Seidl, Johannes Kepler University, Austria
- Cesare Tinelli, University of Iowa, USA
- Moshe Y. Vardi, Rice University, USA

Awards

- A "Best Paper Award" and a "Best Student Paper Award" will be
announced during the conference.
- The "Fahiem Bacchus PhD Award in Satisfiability" will also be
announced.
This new award established by the SAT Association distinguishes one
outstanding PhD thesis
from the past two years in the field of Satisfiability, broadly
construed. The award is
named after Fahiem Bacchus who made significant contributions to the
theory and practice
of SAT as well as to the SAT community and the SAT Association.

About the venue

The venue of SAT 2024 is Tata Consultancy Services (TCS), Sahyadri Park
- 2, Hinjewadi,
Pune. Surrounded by the rolling hills of the Sahyadri ranges on three
sides, this campus
is a scenic and well-equipped setting for hosting SAT 2024. The campus
has shared
conference rooms, breakout areas, training rooms and a 500-seater
multi-purpose
auditorium.

Pune is the second largest city after Mumbai (erstwhile Bombay) in the
state of
Maharashtra in western India. It is well-known for its salubrious
climate, rich culture, a
vibrant theatre and classical music scene, and its automotive and
information technology
industries. The city of Mumbai, with its associated tourist attractions,
is a 3-hour
pleasant drive from Pune.

Registration

The registrations for the conference, and the co-located schools and
workshops, are now
open.

- Early registration deadline: July 15, 2024, 23:59 AoE
- Registration link: https://satisfiability.org/SAT24/registration.php

Grants & Travel Support

Grants and travel support are available for student participants. The
details can be found
on the conference website:
https://satisfiability.org/SAT24/registration.php.

Co-located Schools and Workshops

- Indian SAT+SMT school
+ Website: https://sat-smt.in/
+ Dates: Aug 18 - 19, 2024

- Pragmatics of SAT
+ Website: http://www.pragmaticsofssat.org/2024/
+ Dates: Aug 20, 2024

- International Workshop on Quantified Boolean Formulas and Beyond
+ Website: https://qbf24.pages.sai.jku.at/qbf/
+ Dates: Aug 20, 2024

- Workshop on Counting, Sampling, and Synthesis
+ Website: https://mccompetition.org
+ Dates: Aug 20, 2024

Competitions

Results of the 2024 editions of SAT competition, Pseudo-Boolean Solver
competition and
Model Counting competition will be announced at the conference.

[DMANET] CFP for SENA 2024, Workshop in Conjunction with IEEE BCCA 2024 | Submission Due: August 1, 2024

We apologize if you receive multiple copies of this CFPs.
We appreciate your help to contribute & forward this CFPs to your friends.

Call for Papers
The First International Workshop on
Secure Edge Networking and Applications (SENA)
In Conjunction with
IEEE Sixth International Conference on Blockchain Computing and Applications
(IEEE BCCA 2024)
26-29 November 2024 (Dubai, UAE)
https://bcca-conference.org/2024/Workshops/SENA2024.php

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

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

* IoT-based secure edge networking for real-time communication systems
* Real-time communication protocols for secure edge networking
* Resource management and network optimization for secure edge network
* Secure edge networking and industrial IoT applications
* Digital twin (DT)-enabled secure edge networking
* Real-world Digital Twin (DT) simulations, prototypes, and testbed demonstrations for secure edge networks
* Attack detections/defences for secure edge networking
* Blockchain-driven secure edge networking
* Energy efficient secure edge networking
* Federated learning-based secure edge networking
* Modeling and performance analysis of secure edge networking
* Software-defined network (SDN) controlled secure edge networking
* AI as a service (AIaaS) for secure edge networking
* Wireless communications for cyber-physical edge network applications
* New security and privacy concepts within edge network applications
* LLMs in secure edge network
* Trustworthy secure edge network applications
* Secure edge network applications for smart cities
* AI-driven applications for secure edge networks
* Autonomous and context-aware secure edge networks
* Self-organizing secure edge networks and applications
* Sustainable AI-based secure edge network
* Secure edge network design for enhanced Mobile Broadband (eMBB), massive Machine Type Communications (mMTC), and Ultra Reliable Low Latency Communications (URLLC) applications

General Chairs:

* Müge Erel-Özçevik, Manisa Celal Bayar University, Turkey (muge.ozcevik@cbu.edu.tr<mailto:muge.ozcevik@cbu.edu.tr>)
* Elif Bozkaya-Aras, National Defence University Turkish Naval Academy, Turkey (ebozkaya@dho.msu.edu.tr<mailto:ebozkaya@dho.msu.edu.tr>)
Honorary Chair:

* Berk Canberk, Edinburgh Napier University (b.canberk@napier.ac.uk<mailto:b.canberk@napier.ac.uk>)
Industrial Chair:

* Gökhan Yurdakul, GM of BTS Group (yurdakulg@btsgroup.com<mailto:yurdakulg@btsgroup.com>)
Technical Program Chairs

* Tuğçe Bilen, İstanbul Technical University (bilent@itu.edu.tr<mailto:bilent@itu.edu.tr>)
* Gökhan Seçinti, İstanbul Technical University (secinti@itu.edu.tr<mailto:secinti@itu.edu.tr>)
* Engin Zeydan, Centre Tecnologic de Telecomunicacions de Catalunya (CTTC) (engin.zeydan@ieee.org<mailto:engin.zeydan@ieee.org>)
* Yusuf Özçevik, Manisa Celal Bayar University (yusuf.ozcevik@cbu.edu.tr<mailto:yusuf.ozcevik@cbu.edu.tr>)
* Abdullah Aydeğer, Florida Tech, (aaydeger@fit.edu<mailto:aaydeger@fit.edu>)
Publicity Chairs

* Kübra Duran, Edinburgh Napier University (kubra.duran@napier.ac.uk<mailto:kubra.duran@napier.ac.uk>)
* Yağmur Yiğit, Edinburgh Napier University (yagmur.yigit@napier.ac.uk<mailto:yagmur.yigit@napier.ac.uk>)
* Burcu Bolat, National Defence University Turkish Naval Academy, Turkey (bolat.b@dho.msu.edu.tr<mailto:bolat.b@dho.msu.edu.tr>)
* Elif Ak, Istanbul Technical University, Turkey (akeli@itu.edu.tr<mailto:akeli@itu.edu.tr>)
Important Dates:
Submission Due: August 1, 2024
Notification: October 1, 2024
Camera Ready: October 20, 2024

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

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.

Thursday, July 4, 2024

[DMANET] Zoom Details: ICALP 2024 Satellite Workshop: Algorithmic Aspects of Temporal Graphs VII

*******************************
ICALP 2024 Satellite Workshop

"Algorithmic Aspects of Temporal Graphs VII"

Tallinn, Estonia, Sunday 7 July 2024.

Website (incl. workshop schedule):
https://mertzios.net/Workshops/ICALP-24-Satellite/Temporal-Graphs-ICALP-2024.html

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

The workshop will also be streamed on Zoom at the *following link:*
https://durhamuniversity.zoom.us/j/93457538321?pwd=aDFNOVpoRm0ySlJJRFlrU0phUnZGUT09
<https://durhamuniversity.zoom.us/j/93457538321>

Meeting ID: 934 5753 8321
Passcode: 685674

We are looking forward to seeing you there!
*******************************

Presentations are given by invitation only. Everyone is welcome to register
and attend!

*Speakers:*
Laurent Viennot (INRIA, France)
John Sylvester (University of Liverpool, UK)
Jessica Enright (University of Glasgow, UK)
Thomas Erlebach (Durham University, UK)
Nils Morawietz (University of Jena, Germany)
Andrea Marino (University of Florence, Italy)
Hendrik Molter (Ben-Gurion University of the Negev, Israel)
Lutz Oettershagen (KTH Royal Institute of Technology, Sweden)
George Skretas (Hasso Plattner Institute, Potsdam, Germany)
Dibyayan Chakraborty (University of Leeds, UK)
Antonio Fernandez Anta (IMDEA Networks Institute, Madrid, Spain)

To attend in-person, register for the workshops day of ICALP 2024 at
https://fienta.com/icalp-lics-fscd2024

Organizers:
George B. Mertzios (Durham University)
Paul G. Spirakis (University of Liverpool)
Eleni C. Akrida (Durham University)
Viktor Zamaraev (University of Liverpool)

--
Dr. George B. Mertzios
Associate Professor in Computer Science
Department of Computer Science
Durham University, UK
Tel: +44 (0) 191 33 42 429
Email: george.mertzios@durham.ac.ukhttps://mertzios.net/

[DMANET] Call for Abstracts: August 7, 2024 ("30th birthday of estimation-of-distribution algorithms" Workshop within PPSN-2024)

Dear colleagues,

As part of the 18th International Conference on Parallel Problem Solving
>From Nature (PPSN 2024), a prime international conference on
evolutionary and other randomized search heuristics, we are organizing
an informal workshop to celebrate the 30th birthday of
estimation-of-distribution algorithms (EDAs), defined here as the 30th
anniversary of the definition of the population-based incremental
learning (PBIL) algorithm in 1994.

We invite researchers and practitioners in the area of
estimation-of-distribution algorithms to contribute a short talk to this
workshop, covering current or recent own research, discussing important
classic results and their impact on the field today, or proposing novel
research directions. If you would like to give such a talk, please send
us a short abstract by August 7, 2024. For details on the submission
process and more information on the workshop, please consult the
workshop page at

https://30yearsofedas.github.io/index.html

All the best,

Concha Bielza, Universidad Politécnica de Madrid
Benjamin Doerr, LIX, École Polytechnique
John McCall, Robert Gordon University
Weijie Zheng, Harbin Institute of Technology, Shenzhen

[DMANET] [Deadline Extended] Call for Participate in GENZERO Workshop

*GENZERO Workshop: Redefining Autonomous System Security*
*Date: November 12-13, 2024*
*Location: Abu Dhabi, UAE*
https://genzero.tii.ae
------------------------------

We are thrilled to invite you to the GENZERO workshop, which will focus on
enhancing autonomous systems' security, resilience, and operational safety
through innovative uses of Generative AI (GenAI) and large language models
(LLMs). Over two years, we offer *up to $1 million in funding for the five
pivotal challenges*.

*Challenges Overview:*

1. *Resilient Edge AI for Hierarchical Drone Swarms:* Enhance real-time
AI on edge devices with a focus on security and adaptability.
2. *Swarm-Level Threat Intelligence and Response System:* Develop an
AI-driven system for proactive threat detection and response.
3. *Adaptive Learning for Evolving Drone Operations:* Create a system
for continual learning, allowing drones to adapt to new threats and
environments.
4. *Enhanced Communication and Active Protection Framework:* Establish a
robust communication framework to protect against cyber threats.
5. *Human-Swarm Collaboration Interface:* Develop an interface to
enhance human oversight and collaboration with drone swarms.

*Important Dates:*

- *Submission Deadline:* August 8, 2024
- *Acceptance Notification:* September 9, 2024
- *Camera Ready Submission:* October 14, 2024
- *Registration Deadline:* September 12, 2024
- *Workshop Dates:* November 12-13, 2024

*Submission Guidelines:*

Submit your poster abstracts via EasyChair
<https://easychair.org/conferences/?conf=genzero24>. Presenters must
prepare a digital poster for display during the workshop.

*Additional Support:*

Our organization proudly sponsors accommodation and offers up to $1,500 in
student travel support.

[DMANET] CFP: 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2024)

*** We apologize for possible cross posting ***

*********** CALL FOR PAPERS ***********

OVERLAY 2024

28th - 29th November, 2024

Bolzano, Italy

https://overlay.uniud.it/workshop/2024

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

The increasing adoption of Artificial Intelligence techniques in
safety-critical systems, employed in real world scenarios, requires the
design of reliable, robust, and verifiable methodologies. Artificial
Intelligence systems employed in such applications need to provide formal
guarantees about their safety, increasing the need for a close interaction
between the Artificial Intelligence and Formal Methods scientific
communities, and possibly leading to the proposal of novel neurosymbolic
approaches.

To witness this increasing need, tools and methodologies integrating Formal
Methods and Artificial Intelligence, and more broadly symbolic and
sub-symbolic solutions, are getting more and more attention, especially
considering the wide-range and pervasive applications of machine and deep
learning models.

The workshop is the main official initiative supported by the OVERLAY
group. The event aims at establishing a stable, long-term scientific forum
on relevant topics connected to the relationships between Artificial
Intelligence and Formal Methods, by providing a stimulating environment
where researchers can discuss opportunities and challenges at the border of
the two areas.

Important goals of the workshop are (i) to encourage the ongoing
interaction between the formal methods and artificial intelligence
communities, (ii) to identify innovative tools and methodologies, and (iii)
to elicit a discussion on open issues and new challenges.

This year's edition will be held on November 28th and 29th, 2024, in
Bolzano, Italy.

*** Invited speaker ***

Andrea Micheli, Fondazione Bruno Kessler, Trento, Italy

*** Call for contributions ***

We accept extended abstracts (5 pages + references) focusing on the
interaction between Artificial Intelligence and Formal Methods and on the
issue of symbolic/sub-symbolic integration. Invited talks will complement
the presentations of contributed papers.

Topics of interest include (but are not limited to):

automata theory

automated reasoning

automated planning and scheduling

controller synthesis

formal specification languages

formal verification

game theory

hybrid and discrete systems

logics in computer science

neuro-symbolic approaches

logics for neural networks

neural networks for logic

reactive synthesis

runtime verification and monitoring

satisfiability modulo theories and theorem proving

specification and verification of machine/deep learning systems

tools and applications

Contributed papers can present recent results at the border of the two
fields, new research directions, challenges and perspectives. Presentation
of results recently published in other scientific journals or conferences
is also welcome.

We plan to include all papers in the Proceedings of the event, published at
CEUR Workshop Proceedings. CEUR WS proceedings are archival proceedings
indexed by DBLP and Scopus.

Submitted papers should not exceed five (5) pages plus references. Authors
are asked to use the Overlay-specific CEURART LaTeX style, available on the
website. Authors of accepted papers will have the possibility to extend
their submissions for the final camera-ready version to eight (8) pages
plus references.

Submissions must be in PDF format and will be handled via the EasyChair
Conference system at the following address:
https://easychair.org/my/conference?conf=overlay2024.

*** Registration and participation fees ***

OVERLAY 2024 participation is subject to registration but is free of charge.

*** Venue ***

The workshop will take place at the Free University of Bozen-Bolzano, in
the main building in Piazza Università 1, just in the middle of the
wonderful historical city center.

*** Important dates ***

- Paper submission: September 16th, 2024

- Acceptance notification: October 16th, 2024

- Camera-ready submission: November 1st, 2024

- Workshop: November 28th, 29th, 2024

*** Program Committee Chairs ***

Daniele Porello - University of Genova, Italy

Cosimo Vinci - University of Salento, Italy

Matteo Zavatteri - University of Padova, Italy

*** Local Organization ***

Nicola Gigante - Free University of Bozen-Bolzano, Italy

*** Contacts ***

For more information email overlay2024@easychair.org

[DMANET] SSDBM 2024: Call For Participation - Rennes 10-12 July 2024

CALL FOR PARTICIPATION : SSDBM 2024
============================================================================================
36th International Conference on Scientific and Statistical Database Management
July 10 –12, 2024
Rennes, France

https://ssdbm.org/2024/ <https://ssdbm.org/2024/>
============================================================================================

The Organizing Committee of SSDBM, the International Conference on Scientific and Statistical Database Management, is delighted to invite everyone to participate in the SSDBM 2024 conference, which will be held in Rennes, France from July 10 to July 12, 2024.

The SSDBM international conference brings together scientific domain experts, database researchers, practitioners, and developers for the presentation and exchange of current research results on concepts, tools, and techniques for scientific and statistical database applications. The 36th SSDBM will provide a forum for original research contributions and practical system design, implementation and evaluation. The conference program typically consists of a single track to facilitate discussion, and contains presentations of invited talks, panel sessions, and demonstrations of research prototypes and industrial systems.

Conference Highlights
------------------------------
- 19 papers/presentations
- 4 keynote speakers
- 1 poster session
The full program is available at: https://ssdbm.org/2024/program <https://ssdbm.org/2024/program>

Keynote Speakers
-------------------------
Angela Bonifati (Lyon 1 University, France)
Pierre Hellier (University of Rennes, France)
Patrick Valduriez (Inria, University of Montpellier, CNRS & LIRMM, France)
John Wu (Lawrence Berkeley National Laboratory, USA)

More details can be found here: https://ssdbm.org/2024/keynotes <https://ssdbm.org/2024/keynotes>

Registration
------------------
Details about the registration can be found here: https://ssdbm.org/2024/register <https://ssdbm.org/2024/register>

Theory Announcements

Monday, July 8, 2024

[DMANET] LAWCG 2024 - Last week for early subscription rates

[DMANET] [Extended Deadline] BCCA 2024: Sixth International Conference on Blockchain Computing and Applications, Dubai, UAE [Special Track][Hybrid Conference]]

[DMANET] HIGHLIGHTS '24: Registration Deadline Extended to July 13

[DMANET] FRICO 2024, 9-13 September 2024, Registration Deadline 14 July

[DMANET] Royal Society Faraday Discovery Fellowships, leading to faculty position, Oxford

[DMANET] DLT 2024 - Final Call for Participation

[DMANET] NCMA 2024 - Call for participation

[DMANET] Open Position in Theoretical Computer Science at the University Potsdam (Linda Kleist)

[DMANET] CALL FOR PAPERS - 12th International Conference on Big-Data-Analytics in Astronomy, Science and Engineering (BASE)

Sunday, July 7, 2024

[DMANET] W1TTW2 Professorship in Databases and Information Systems at Ruhr University Bochum

[DMANET] Congressus Numerantium - Call for papers

Saturday, July 6, 2024

[DMANET] SAT 2024: Early bird registration ends in 9 days

[DMANET] APPROX/RANDOM 2024: Call for Participation

[DMANET] Call for Papers - Scalable Computing in Cloud Infrastructure for Smart Networking Management and Cybersecurity

Friday, July 5, 2024

[DMANET] CFP: 29th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2024) Osaka, Japan

[DMANET] SAT 2024: Early bird registration ends in 10 days

[DMANET] CFP for SENA 2024, Workshop in Conjunction with IEEE BCCA 2024 | Submission Due: August 1, 2024

Thursday, July 4, 2024

[DMANET] Zoom Details: ICALP 2024 Satellite Workshop: Algorithmic Aspects of Temporal Graphs VII

[DMANET] Call for Abstracts: August 7, 2024 ("30th birthday of estimation-of-distribution algorithms" Workshop within PPSN-2024)

[DMANET] [Deadline Extended] Call for Participate in GENZERO Workshop

[DMANET] CFP: 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2024)

[DMANET] SSDBM 2024: Call For Participation - Rennes 10-12 July 2024

Mailing Lists

Search This Blog

Blog Archive

Monday, July 8, 2024

Sunday, July 7, 2024

Saturday, July 6, 2024

Friday, July 5, 2024

Thursday, July 4, 2024

Mailing Lists

Subscribe To

Search This Blog

Blog Archive