Thursday, August 31, 2023

[DMANET] Machine Learning for Optimization Conference in Berlin

Dear colleagues,

The Thematic Einstein Semester Conference on "Mathematical Optimization for Machine Learning" will be held from September 13th to 15th at Zuse Institute Berlin. A few tickets are still available; register soon via e-mail to<>, stating your name, email, affiliation, and academic titles.

The conference fee, priced at €100, covers conference attendance, lunch, one dinner, and coffee breaks. Kindly indicate whether you plan to attend the summer school, the conference, or both. For further details and updates, please visit our conference homepage:

We look forward to your active participation and insightful contributions. Join us in Berlin as we delve into the exciting world of Mathematical Optimization for Machine Learning.

Best regards,

Timo Berthold, on behalf of the organizing committee

PD Dr. Timo Berthold • Software Engineering – Director • FICO
Fair Isaac Deutschland GmbH
Takustr. 7, 14195 Berlin, Germany
+49 30 841 85 425<>

[A close up of a sign Description automatically generated]

Register Court (Registergericht): Amtsgericht Darmstadt, HRB 105180
Managing Director (Geschäftsführer): Dean Sanderson

This email and any files transmitted with it are confidential, proprietary and intended solely for the individual or entity to whom they are addressed. If you have received this email in error please delete it immediately.
* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] Announcement: Innovations in Graph Theory

Dear colleagues,

We are excited to announce the launch of Innovations in Graph Theory, a
mathematical journal publishing high-quality research in graph theory and
its interactions with other areas. Topics include, but are not limited to:

-extremal graph theory,
-graph algorithms and complexity,
-hypergraphs and directed graphs,
-infinite graphs,
-probabilistic graph theory,
-structural graph theory,
-topological graph theory.

The journal is diamond open access, meaning there are no charges for
authors and no charges for readers.

Journal website:
Submission page:

We now welcome submissions!

The journal maintains a transparent single-blind refereeing protocol, which
is coordinated by the managing editors to ensure consistent and high
standards. Submissions are expected to contain novel and significant
contributions of genuine interest to the graph theory community, as
assessed by the editorial board:

Marthe Bonamy (CNRS, Université de Bordeaux, France)
Johannes Carmesin (University of Birmingham, UK)
Maria Chudnovsky (Princeton University, USA)
Louis Esperet (CNRS, Université Grenoble Alpes, France)
Fedor Fomin (University of Bergen, Norway)
Frédéric Havet (CNRS, Université Côte d'Azur, France)
Ross Kang (University of Amsterdam, The Netherlands), managing editor
Gwenaël Joret (Université Libre de Bruxelles, Belgium)
Tomáš Kaiser (University of West Bohemia, Czech Republic)
Peter Keevash (Oxford University, UK)
Dan Král' (Masaryk University, Czech Republic)
Kenta Ozeki (Yokohama National University, Japan)
Alex Scott (Oxford University, UK)
Jean-Sébastien Sereni (CNRS, Université de Strasbourg, France), managing
Sophie Spirkl (University of Waterloo, Canada), managing editor
Maya Stein (Universidad de Chile, Chile), managing editor

The establishment of the journal has been partially supported by a grant
from the Dutch Science Council (NWO), grant reference OCENW.M20.009.
Formally, the journal is controlled by a Dutch non-profit society,
"Stichting Innovations in Graph Theory", incorporated in 2023. The journal
is a full member of the diamond open access platform, Centre Mersenne,
which is supported by various parties of the French scientific community.


For general inquiries about the journal, please contact one of the managing

Kind regards,

Ross Kang (on behalf of the editorial board)

* Contributions to be spread via DMANET are submitted to
* 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.

Wednesday, August 30, 2023

[DMANET] Call for Papers - Fourth Workshop on Human-Centered Computational Sensing (HCCS’24) @ PerCom 2024 (second call)

Dear Colleagues,

We are pleased to invite you to participate in the Fourth Workshop on
Human-Centered Computational Sensing (HCCS'24)
<>, which will be co-located with
the 22nd IEEE International Conference on Pervasive Computing and
Communications (PerCom'24) <>in Biarritz, France, from
March 11-15, 2024.

The fourth edition of the Human-Centered Computational Sensing (HCCS'24)
Workshop at PerCom 2024 aims to advance and promote research about how
unobtrusive observations of human beings' cognitive, behavioral,
physiological, and contextual data are increasingly enabling new computing
experiences. The workshop will additionally stimulate dialog about the
implications of computational sensing for society. Traditionally, sensors
have been understood narrowly as physiological measurements often captured
with wearable devices. This workshop adopts a broader, human-focused view,
envisioning sensing as time-evolving measurable data directly linked to
individuals and, by extension, to their communities. With this
understanding, sensing involves human reactions and interactions observed
in spoken, written, or signed language, eye gaze, facial and bodily
expressions, social networks, geospatial patterns, and other such
human-generated data. Advances in multimodal human data acquisition and
fusion have the potential to significantly impact all areas of human life -
productivity, health and well-being, training and education, human-computer
interaction, accessibility, safety, and security, as well as gaming,
sports, and entertainment.

Relevant topics include but are not limited to::

- Novel methodologies for collecting and processing multimodal human
sensing data, including remote/online data collection
- Co-sensing of multiple individuals, groups, or communities
- Detection and analysis of human social interactions, behaviour and
- Localization and proximity-detection systems
- User acceptance, quality of experience, and social impact studies
- Accessibility of human sensing technologies
- New interventions acting on human-centered computational sensing
- Fusion of multifaceted, heterogeneous, and/or incommensurable human
sensing data
- Artificial intelligence and machine learning algorithms for
responsible behavioral analysis with human sensing data
- Interactive machine learning guided by humans, with sensing
- Edge and fog computing architectures for human sensing
- Applications of human-centered computational sensing
- Innovative Human-Computer Interactions based on sensing
- Innovative visualizations and representations of human sensing data
- Evaluation metrics and methodologies
- Experimental analysis with human sensing data from real-world
- Human-centered sensing for healthcare, industry, and social good
- Educational insights from teaching human sensing technologies
- Experiences and lessons learned from research projects focused on
human-centered computational sensing
- Privacy and ethical considerations for human-centered computational
- Design of human computation sensing promoting diversity.

*Organizers will consider the possibility of inviting authors of selected
papers accepted to HCCS'24 to submit an extended work to a Special Issue of
an international journal.*

---Submission and Registration:
Authors are invited to submit technical or theoretical papers for
presentation at the workshop, describing original, previously unpublished
work, which is not currently under review by another workshop, conference,
or journal. Papers should present novel perspectives within the general
scope of the workshop.
Accepted workshop papers will be included and indexed in the IEEE digital
libraries (Xplore).
Papers may be no more than 6 pages in length. Authors can purchase one
additional page for the camera-ready version. Papers in excess of the page
limits will not be considered for review or publication. All papers must be
typeset in double-column IEEE format using 10pt fonts on US letter paper,
with all fonts embedded. The IEEE LaTeX and Microsoft Word templates, as
well as related information, can be found at the IEEE website.

Submission must be made via EDAS using

It is a requirement that all the authors listed in the submitted paper are
also listed in EDAS. The author section of EDAS will be locked after the
workshop submission deadline to ensure that conflict-of-interest can be
properly enforced during the review process. If the list of authors differs
between the paper and EDAS, the paper may not be reviewed.
Each accepted workshop paper requires a full PerCom registration (no
registration is available for workshops only). Papers that are not
presented at the workshop will not be published in the proceedings.

---Important Dates:

- Paper submission deadline: November 17th, 2023 23:59 EST timezone
- Paper notification: January 8th, 2024
- Camera Ready Deadline: February 2nd, 2024
- Registration: same as main conference PerCom 24 papers (no
workshop-only registration)
- HCCS Workshop at PerCom 2024: To be announced (11 or 15 March 2024)

For more information, including the workshop's scope, submission
guidelines, and topics of
interest, please visit the workshop website
<> or find the attached Call for
Papers (CFP).

We look forward to your contributions and participation in HCCS'24. If you
have any questions, please do not hesitate to contact us.

Best regards,
Rochester Institute of Technology
Rochester, NY 14623
Tel: +1 718-208-0664

Content-Type: text/plain; charset="UTF-8"; name="cfp.txt"
Content-Disposition: attachment; filename="cfp.txt"
Content-Transfer-Encoding: base64
Content-ID: <f_llxxq0xt0>
X-Attachment-Id: f_llxxq0xt0

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] 2 Full Professor positions at FU Berlin (Sep 21)

Dear colleagues,

I would like to draw your attention to the current ads for
Full Professor (W3) in "Algebra and Geometry" and
Full Professor (W3) in "Geometry"
at the Free University Berlin. Applications are expected by 21.09.

How to apply:

You may find the detailed advertisement as well as further information on the application in the appointment portal at:
<> <> <>

<>Applications by post:
Freie Universität Berlin
Fachbereich Mathematik und Informatik
Fr. Üzel
Arnimallee 14
14195 Berlin

Best regards,
Christian Haase

Prof.Dr.Christian Haase Arnimallee 3 (Zi 036)
Mathematik D-14195 Berlin
Freie Universität Berlin Fon: +49 (0) 30 838-59184

* Contributions to be spread via DMANET are submitted to
* 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.

Tuesday, August 29, 2023

[DMANET] IEEE International Conference on Blockchain and Cryptocurrency(ICBC'24)

*IEEE International Conference on Blockchain and Cryptocurrency*
27–31 May 2024
Dublin, Ireland


IMPORTANT: ICBC 2024 uses a DOUBLE-BLIND review process with a REBUTTAL
period, please check the details below.

ICBC 2024 will be the 6th edition of the IEEE International Conference on
Blockchain and Cryptocurrency, sponsored by the IEEE Communications
Society. ICBC 2024 is seeking submissions of technical papers (both full
and short), posters and tutorial proposals in the areas related to
Blockchains and Cryptocurrencies, including but not limited to:

Distributed Consensus & Fault Tolerance Algorithms
Blockchain Platforms & Offchain Technologies
Distributed Database Technologies for Blockchain
Storage Solutions and Data Availability Verification
Blockchain Interoperability & Cross-chain Mechanisms
Performance, Scalability & Sustainability Issues
Transaction and Network Monitoring, Measurement, and Analysis
Simulation Tools
Blockchain-based Applications & Services
Decentralised App Development
Smart Contracts and Verification
Security, Privacy, Forensics
Token Economy
Regulations & Policies in Cryptocurrency
Novel Mechanisms for the Creation, Custody, and Exchange of Cryptoassets
Anonymity and Criminal Activities of Cryptocurrency
Managing the Risks of Cryptocurrency
Distributed Trust
Decentralised Internet Infrastructure
Decentralised Financial Services
Blockchain for Internet of Things/Cyber Physical Services
Blockchain and Machine Learning/Artificial Intelligence
Blockchain for Metaverse & Digital Twins


For papers incurring ethical issues, e.g. those involving human
participants, personal data, or security/privacy attacks, the Programme
Committee expects the ethical considerations to be discussed in the paper
and any required ethical approval from an institutional ethical committee
to have been in place before submission.

Authors are invited to submit original papers, written in English, that
have not been published or submitted for publication elsewhere. Technical
papers must be formatted using the IEEE 2-column format and not exceeding 8
pages for full papers, 4 pages for short papers, 2 pages for poster papers,
or 16 pages for systemisation of knowledge (SoK) papers (all excluding
references). The paper submission templates are available on IEEE
Manuscript Templates for Conference Proceedings. All papers must be
submitted through EDAS via the URL (to be released). Only PDF files will be
accepted for the review process.

All submitted papers will be peer-reviewed using a double-blind review
process with a rebuttal period. The paper should be anonymised, such that
all identifying information (either explicit or implied – for example,
names, affiliations, acknowledge and funding sources) should be removed
from the initial submission. The detailed schedule of the procedure is as

Authors of the best accepted papers will be invited to submit extended
versions of their papers to a fast-tracked, special issue of IEEE
Transactions on Network and Service Management.


Paper/Poster Submission Deadline: 3 Dec 2023
Reviews Released to Authors: 5 Feb 2024
Rebuttals Due: 12 Feb 2024
Acceptance Notification: 1 Mar 2024
Camera Ready: 15 Mar 2024

Demo Submission Deadline: 5 Feb 2024
Demo Acceptance Notification: 1 Mar 2024

Tutorial Submission Deadline: 5 Feb 2024
Tutorial Acceptance Notification: 1 Mar 2024


Sushmita Ruj

Faculty of Engineering Lead, IfCyber

Senior Lecturer

School of Computer Science and Engineering

University of New South Wales, Sydney

Kensington, NSW 2052


T: +61 2 9348 0960

"7. What we cannot speak about we must pass over in silence.": Ludwig
Wittgenstein, Tractatus Logico-Philosophicus

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] ILP 2023: call for late-breaking abstracts and recently published papers (1 Sept. 2023)

*** Apologies for cross-posting ***

32nd International Conference on Inductive Logic Programming (ILP 2023)

University of Bari "Aldo Moro", Bari, Italy, 13-15 November 2023.


There is still time to contribute papers in the following two

*Late-breaking abstracts*, briefly outlining novel ideas and proposals
that the authors would like to present at the conference. These could
include e.g. original work in progress without conclusive experimental
findings, or other relevant work, not yet ready for publication.
Submissions of late-breaking abstracts will be accepted/rejected on the
grounds of relevance. Accepted late-breaking abstracts will be published
on the conference website. Late-breaking abstracts must not exceed 4
pages, including references.

*Recently published papers* relevant to ILP, or papers recently accepted
for publication by a first-class conference such as ECML/PKDD, ICML,
KDD, ICDM, AAAI, IJCAI, etc. or journal such as MLJ, DMKD, JMLR etc.
These will be accepted/rejected on the grounds of relevance and quality
of the original publication venue. For papers of this category a link to
the original work will be published on the conference website. Authors
should submit the abstract and the PDF file of the original submission,
specifying in the abstract the original venue where the paper was
accepted in addition to the acceptance date. Authors submitting a
recently published paper should submit it through IJCLR's "Recently
Published Papers Track" option from the submission page.

Late-breaking abstracts and recently published papers will be assigned a
reduced slot for presentation at the conference.


We solicit submissions in all areas of learning in logic and
multi-relational data mining. Areas of interest include, but are not
limited to:

- Theory of ILP, foundations of logical & relational learning,
computational learning theory.
- Learning in various logical representations and formalisms, such
as logic programming & answer set programming, first-order &
higher-order logic, description logic & ontologies.
- Statistical relational learning, including structure/parameter
learning for probabilistic logic languages, relational probabilistic
graphical models, kernel-based methods, neural-symbolic learning.
- Meta-interpretive learning & predicate invention.
- Semi-supervised & unsupervised relational learning.
- Methods for scaling-up ILP, parallel & distributed relational
- Incremental & online relational learning, learning from data
- Applications of ILP.

Submissions will be handled by EasyChair. To submit a paper to ILP,
authors are invited to follow the submission link
( and select the ILP
track. For recently published papers please use the "Recently Published
Papers Track".

Submissions must be in Springer LNCS format, according to the Springer
LNCS author instructions. Already published papers should be submitted
in their original format and the authors should indicate the original
publication venue.

Riccardo Zese, PhD
Università di Ferrara
Via Luigi Borsari 46, I-44121, Ferrara, Italy
Tel.: +39 0532974802

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] Senior Researcher and Lecturer position in Graph Theory at University of Fribourg (Switzerland)

80% Senior Researcher and Lecturer position in Graph Theory open at the University of Fribourg (Switzerland) from Feb. 2024 on

An 80% Senior Researcher and Lecturer position will be open at the Department of Informatics at the University of Fribourg (Switzerland) within the Decision Support & Operations Research group. The position is available from February 2024 on.

The main tasks of the selected candidate will consist in doing research in the area of structural and algorithmic graph theory, publishing in recognized conferences/journals, supervising Master theses, collaborating with PhD students, attracting third party funding, and starting new international collaborations. Furthermore, he/she is supposed to teach 2 courses per year, one of which is the Graph Theory and Applications master course. The topic of the second course has to be defined together with the candidate but must be related to the domain of Operations Research.

The position is fully funded for a maximum of 5 years (no possible extension). Starting date is February 1st 2024, if possible. The University of Fribourg offers very competitive salaries (this position falls into class 25 of the salary scale of the Canton of Fribourg ; see and the candidate gets the opportunity to attend international conferences and to use our wide network of academic collaborations. Further information on our group:

The candidate must:

- have a PhD degree in Computer Science, Mathematics, or related domain;

- have a strong background in structural and algorithmic graph theory;

- if possible have a few years of postdoctoral experience;

- be able to supervise PhD students.

To apply, please send a complete CV, a motivation letter, and some references to Prof. Bernard Ries:<>. Formal evaluation of the applications will begin on September 25, 2023. Applications beyond that date might be considered.

Prof. Dr. Bernard Ries
Vice rector (International Relations, Digitalisation, Interdisciplinarity)<>

University of Fribourg - Department of Informatics
Decision Support & Operations Research Group<>
Bd. de Pérolles 90, 1700 Fribourg

Phone : +41 26 300 83 33 - Fax: +41 26 300 97 26
Personal homepage<>
[signature_2104049341]<> [A picture containing background pattern Description automatically generated] <>
* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] IOTSMS 2023 CFP: The 10th International Conference on Internet of Things: Systems, Management and Security, San Antonio, Texas , USA. October 23-25, 2023

[Apologies if you got multiple copies of this invitation]

The 10th International Conference on Internet of Things: Systems,
Management and Security (IOTSMS 2023)
San Antonio, Texas , USA. October 23-25, 2023

(Technically Co-sponsored by IEEE and IEEE Systems Council)

*IoTSMS 2023 CFP:*

The Internet of Things (IoT) technology offers unprecedented opportunities
to interconnect human beings as well as Machine-to-Machine (M2M), whereby
sensors and networks allow all 'things' to communicate directly with each
other to share vital information allowing us to have an instrumented
universe where accurate data is readily available to inform optimal
decision making. The IoT is about to enable a range of new capabilities and
services far beyond today's offerings. It will fundamentally change how
people go about their lives. According to Gartner, the number of objects
connected to the Internet is set to reach 3 billion by 2030. Cisco
estimates the number will be close to 30 billion objects by 2030. Others
believe the actual number will be even higher with the assumption that any
object with a simple microcontroller and on-off switch will be connected to
the Internet in the near future. The scale of the IoT is set to have major
economic, social and environmental impacts; the intersection of which forms
the future sustainable growth. The Internet of Things: Systems, Management
and Security (IoTSMS 2023) aims at soliciting original ideas on the broad
area of IoT including challenges and opportunities, concepts and
applications and future trends. The IoTSMS aims to facilitate discussions
among academics and IoT practitioners and make positive contributions to
the field. Authors are invited to submit original, unpublished manuscripts.
Submitted papers should be in accordance with IEEE format, and will be
reviewed by at least two expert reviewers in terms of relevance,
originality, contribution, correctness, and presentation.

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

* Emerging concepts of IoT Systems
* Architectures of IoT systems
* Machine-to-Machine Communication and IoT
* Modeling of IoT applications
* SDN and NFV support for IoT applications and Systems
* Fog and Edge support for IoT Applications
* 5G, 5GB and 6G support for IoT Applications
* IoT for Smart Cities
* Energy management in IoT
* Design methodologies for IoT
* Novel services and applications of IoT to facilitate environmental
* Green by Internet of Things
* IoT and Social benefits/impact
* IoT Economics and Business Models
* Emerging Internet of Things business models and process changes
* Communication systems and network architectures for the IoT
* IoT and Data Management
* Security and privacy of IoT
* Reliability of IoT
* Disaster recovery in IoT
* Applications of Internet of things
* Emerging applications and interaction paradigms for everyday citizens
* Big data and IoT
* Self-organizing IoT
* Cloud Computing and IoT
* IoT and sustainable Growth

*Submission Guidelines:*

Papers selected for presentation will appear in the IoTSMS Proceedings and
will be submitted to IEEE for inclusion. Papers can be up to 8 pages in
IEEE format, 10pt font using the IEEE 8.5" x 11" two-column format, single
space, A4 format. All papers should be in PDF format, and submitted
electronically at Paper Submission Link. A full paper must not exceed the
stated length (including all figures, tables and references). The
proceedings will be submitted for indexing to EI (Compendex), Scopus and
other indexing services like DBLP.

Submitted papers must present original unpublished research that is not
currently under review for any other conference or journal. Papers not
following these guidelines may be rejected without review. Also,
submissions received after the due date, exceeding length limit, or not
appropriately structured may also not be considered. Authors may contact
the Program Chair for further information or clarification.

*Important Dates:*

Submission Date: 31 August 2023 (Final and Firm)
Notification to Authors: 15 September 2023
Camera Ready and Registration: 30 September 2023

Please send any inquiry to the IoTSMS Team at:

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] Call for Paper Special Issue WEPA 2022: Discrete Applied mathematics

*Call for Papers*

/*Discrete Applied Mathematics*/

*Special Issue: WEPA 2022*

WEPA (Workshop on Enumeration Problems and Applications) is an
international workshop whose objective is to gather
researchers working in enumeration algorithms, including their
applications (in biology, data mining, logic, databases,
etc.). WEPA 2022, the fifth edition of the workshop, was held in
Clermont-Ferrand, France from November 22–25, 2022.

We cordially invite authors of WEPA 2022 as well as other researchers on
enumeration algorithms to
contribute to this special issue of /Discrete Applied Mathematics/.

Submissions should relate to the themes of WEPA, including but not
restricted to:

- Combinatorial enumeration

- Output-sensitive approaches algorithms

- Input-sensitive approaches

- Approximate enumeration and counting

- Enumeration in biology, datamining, logic, and database

Submissions of contributions not presented at the workshop are also
welcome. Contributions arising from papers given at
the conference should be substantially extended, and should cite the
conference paper where appropriate. All articles will be
thoroughly refereed according to the high standards of /Discrete Applied

*Guide for authors can be found at: *

Full papers must be submitted through the Elsevier Editorial Manager
(EM) system

https ://
When submitting your paper, be sure to specify that the paper is a
contribution for the special issue of *WEPA 2022*, so that your paper is
to the Guest Editors. Please see the Author Instructions on the site if
you have not yet submitted a paper through EM.

*DEADLINE: The deadline for submission is November 2, 2023*

Accepted papers will be published online individually, before print

We are looking forward to receiving your contribution.

The Guest Editors,

Vincent Limouzy, University Clermont Auvergne, Clermont-Ferrand, France

Arnaud Mary, Université Claude Bernard–Lyon 1, Villeurbanne, France

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] STACS 2024 : Second call for papers


The 41st International Symposium on Theoretical Aspects of Computer Science is planned to take place from 12th March to 14th March 2024 in Clermont-Ferrand, France.

For the second time, STACS 2024 will consist of two tracks, A and B, to facilitate the work of the program committee(s).

Track A focuses on algorithms, data structures and complexity.
Track B focuses on automata, logic, semantics, and theory of programming.

Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include:

Track A. Algorithms, Data Structures and Complexity
Design of parallel algorithms
Distributed algorithm
Approximation algorithms
Parameterised algorithms
Randomised algorithms
Analysis of algorithms
Combinatorics of data structures
Computational geometry
Algorithms for machine learning
Algorithmic game theory
Quantum algorithms
Computational and structural complexity theory
Parameterised complexity
Randomness in computation

Track B. Automata, Logic, Semantics and Theory of Programming
Automata theory
Games and multi-agent systems
Algebraic and categorical methods
Models of computation
Timed systems
Finite model theory
Database theory
Type systems
Program analysis
Specification and verification
Rewriting and deduction
Learning theory
Logical aspects of computability and complexity

** These lists are not exhaustive. In particular, both tracks also welcome submissions about current challenges.

Submission September 28, 2023 (11:59 PM AoE)
Rebuttal November 21-23, 2023
Acceptance December 13, 2023
Final version January 18, 2024
STACS 2024 March 12-14, 2024



Mamadou Moustapha Kanté, Co-Chair (Université Clermont Auvergne, France)
Daniel Lokshtanov, Co-Chair (University of California, Santa Barbara, USA)
Prabhanjan Ananth (University of California, Santa Barbara)
Edouard Bonnet (ENS Lyon)
Zongchen Chen (MIT)
Alex Conway (VMWare Research Lab)
Fabien Dufoulon (University of Houston)
Christoph Durr (CNRS, Université Paris Sorbonne)
Sebastian Forster (University of Salzburg)
Elena Grigorescu (Purdue University)
Jacob Holm (University of Copenhagen)
Tony Huynh (Sapienza Università di Roma)
Nutan Limaye (IT University of Copenhagen)
Or Meir (University of Haifa)
Florin Manea (University of Göttingen)
Benjamin Moseley (Carnegie Mellon University)
Alanta Newman (CNRS, Université Grenoble-Alpes)
Kim Thang Nguyen (Grenoble INP, Université Grenoble-Alpes)
Pan Peng (University of Science and Technology of China)
Stephen Piddock (Royal Holloway University of London)
Saket Saurabh (Institute of Mathematical Sciences, Chennai)
Sebastian Siebertz (University of Bremen)
Nodari Sitchinava (University of Hawai)
Sophie Spirkl (University of Waterloo)
Jie Xue (New York University of Shangai)
Hang Zhou (Ecole Polytechnique)


Olaf Beyersdorff, Co-Chair (Friedrich Schiller University of Jena)
Orna Kupferman, Co-Chair (The Hebrew University of Jerusalem)
Paul Bell (Keele University)
Ilario Bonacina (UPC Barcelona)
Andrea Calì (University of London, Birkbeck)
Joel Day (Loughborough University)
Hadar Frenkel (CISPA)
Manfred Kufleitner (University of Stuttgart)
Markus Lohrey (University of Siegen)
Sebastian Maneth (University of Bremen)
Paige Randall North (Utrecht University)
Henning Schnoor (University of Kiel)
Ana Sokolova (University of Salzburg)
Anthony Widjaja Lin (University of Kaiserslautern and Max-Planck Institute for Software Systems)

Submissions will be through EasyChair

Authors are invited to submit an extended abstract or full paper with at most 12-15 pages, excluding a title page, the references section and a possible appendix, to the appropriate track. The title page consists, for instance, of the title of the paper, the abstract, and keywords, but *no* author information. The first section of the paper should start on the next page, and the appendix, if any, should also start on the next page after the bibliography. The PCs reserve the right to reassign a paper to a different track. The usage of the LIPIcs style file is mandatory; no changes to font size, page geometry, etc. are permitted. Please refer to LIPIcs author instructions; Submissions not in the correct format or submitted after the deadline will not be considered.

The paper should contain a succinct statement of the issues and of their motivation, a summary of the main results, and a brief explanation of their significance, accessible to non-specialist readers. Proofs omitted due to space constraints should be put into an appendix, to be read by the program committee members at their discretion. An appendix consisting of a full version of the paper is encouraged. Simultaneous submission to other conferences with published proceedings or to journals is not allowed. PC members are excluded from submitting to their own track.

As in the previous years, STACS 2024 will employ a lightweight double-blind reviewing process: submissions should not reveal the identity of the authors in any way. The purpose of the double-blind reviewing is to help PC members and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important references should not be omitted or anonymised. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For example, authors may post drafts of their papers on the web, submit them to arXiv, and give talks on their research ideas.

Authors will be invited to give a list of persons with a Conflict of Interest (COI). A Conflict of Interest is limited to the following categories:

- Family member or close friend.
- Ph.D. advisor or advisee (no time limit), or postdoctoral or undergraduate mentor or mentee within the past five years.
- Person with the same affiliation.
- Involved in an alleged incident of harassment. (It is not required that the incident be reported.)
- Reviewer owes author a favour (e.g., recently requested a reference letter).
- Frequent or recent collaborator (within last 5 years) cannot objectively review your work.

If you are unsure about a conflict in which a reviewer may have positive bias towards your paper, we recommend erring on the side of not declaring it since PC members and sub-reviewers will be also asked if they feel that they can fairly evaluate your paper. If an author believes that they have a valid reason for a Conflict of Interest not listed above, then she or he can contact PC chairs. Falsely declared conflicts (i.e., do not satisfy one of the listed reasons) risk rejection without consideration of merit. When PC chairs have doubt about claimed Conflict of Interest, they may request that STACS advocates confidentially verify the conflict. If authors are uncertain, they are encouraged to email PC chairs or STACS advocates. Authors will be asked to declare conflicts with PC members during submission, but an author can contact PC chairs directly if she or he has a conflict with an individual who is likely to be asked to serve as a sub-reviewer for the paper.

There will be a rebuttal period for authors, see below for the dates. Authors will receive the reviews of their submissions (via EasyChair) and have three days to submit rebuttals (via EasyChair). These rebuttals become part of the PC discussions, but entail no specific responses.

At least one author of each accepted paper is expected to register at the conference. For authors who cannot present their paper in person a possibility for remote presentation will be offered.

Accepted papers will be published in the proceedings of the symposium. As usual, these proceedings will appear in the Leibniz International Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl ( This guarantees perennial, free and easy electronic access, while the authors retain the rights over their work. With their submission, authors consent to sign a license authorising the program committee chairs to organise the electronic publication of their paper, provided the paper is accepted.

The final camera-ready of each accepted paper should be formatted in accordance with the LIPIcs guidelines and taking reviewer comments into account. General instructions regarding the preparation of the camera-ready version and the style can be found at LIPIcs author instructions Notice that there is a limit of 15 pages for the main body of the final camera-ready, excluding the bibliography, the front page(s) (authors, affiliation, keywords, abstract, ...) and a brief appendix (of up to 5 pages) from this page limit. Any appendices to the initial submission were officially not under review and thus should not be included in the proceedings. In general, major new content can be added only if suggested by the reviewers. You are however more than welcome to have the proceedings paper link to an extended version published elsewhere (e.g., on arXiv) – the precise link to such an extended version may even be provided later, during author approval period (expected in February).

STACS 2024 intends to join Registering for STACS 2024 thus will likely require that you agree to follow the Code of Conduct described below.

STACS is committed to be a respectful forum for its participants, free from any violence, discrimination or harassment of any nature. All STACS attendees are expected to behave accordingly.

If you experience or witness violence, discrimination, harassment or other unethical behaviour at the conference, we encourage you to seek advice and remedy through one or more of the following options:

• Consult with the SafeToC advocates of STACS (to be named before the conference).
• Report to the conference chair, the PC chairs or the Steering Committee chair.
The chairs are entitled to remove registered participants from the conference (without refunding the conference fees) if they are deemed to pose an ethical risk to other participants. The conference chair may contact the local university committee dedicated to address violence, unethical behaviour or harassment of any kind. Besides having an appointment with the victim, this committee can assist with medical support and with taking legal action.


* Contributions to be spread via DMANET are submitted to
* 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.

Monday, August 28, 2023

[DMANET] Assistant Professor with a focus on pharmacogenomics and machine learning

The Department of Pharmacology, at the University of Alberta, is looking

an Assistant Professor (tenure-track) with a focus on pharmacogenomics and
machine learning.

Competition No. - A100149534 D1

Closing Date - Will remain open until filled.


The Department of Pharmacology in conjunction with the Alberta Machine
Intelligence Institute (Amii) at the University of Alberta invites
applications for a tenure track Assistant Professor with a research focus on
pharmacogenomics and machine learning.

The successful applicant will be expected to establish and maintain an
independent research program in discovery and/or applied pharmacogenomics
research. Neurological conditions are a priority but other disease areas
may be acceptable. The individual will also contribute to the Department's
teaching and

research supervision of undergraduate, graduate, and post-graduate

We are seeking applications from individuals with;


PhD in pharmacology, machine learning or related field

Demonstrated research strengths in the areas of basic mechanisms of drug
action, genetic and
epigenetic sequencing, functional genomic therapies (e.g., gene
editing), clinical applications
and/or public health issues

Strategic partnerships to support this position have been arranged
with the Alberta
Machine Intelligence <>Institute
<> (Amii),
Department of Psychiatry <>,
the Neuroscience and Mental Health Institute
and EPICORE Centre <>, Department of

The Alberta Machine Intelligence <>Institute
<> (Amii) is non-profit organization that supports
world-leading research in artificial intelligence and machine learning and
translates scientific advancement into industry adoption. Amii is one of 3
centres of excellence in the Pan-Canadian AI Strategy.

The University recognizes that career paths can be varied and may include
career interruptions. We encourage, but do not require, candidates to
provide any relevant information to

facilitate a fair assessment of academic record and productivity.

Department summary

The Department of Pharmacology
<> is a research-intensive
department focused on drug-receptor interactions and their downstream
signaling effects, and the application of this knowledge to individuals and
populations. Our primary strengths are in the areas of cancer drug
transporters, neurosciences, diabetes, and cardiovascular diseases. We are
also committed to excellence and innovation in pharmacology education and
have strong, and growing, undergraduate and graduate programs.

The FoMD comprises 21 departments, 7 Research Institutes, and 6 Core
facilities. Core facilities provide state-of-the-art research
infrastructure and expertise. (

Working for the University of Alberta

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

The University of Alberta is teeming with change makers, community
builders, and world shapers who lead with purpose each and every day. We
are home to more than 40,000 students in 200+ undergraduate and 500+
graduate programs, over 13,000 faculty and staff, more than 300,000
alumni worldwide
and have been recognized as one of Canada's Greenest Employers for over a

Your work will have a meaningful influence on a fascinating cross section
of people—from our students and stakeholders, to our renowned researchers
and innovators who are quite literally curing diseases, making discoveries
and generating solutions that make the world healthier, safer, stronger,
and more just.

How to Apply

Please click on the "Apply Online" link below and submit the following:


Cover letter

Curriculum vitae (CV), including a list of publications with links (as

References, the names and contact information for three (3) referees

Teaching dossier that includes a brief teaching philosophy (maximum 750
words) and evidence of teaching effectiveness (submit as an attachment
under "Statement of Teaching/Research Interests")


Research statement that outlines main areas of research and future plans
(maximum 750 words; submit under "Research Plan")

To assist the University in complying with mandatory reporting requirements
of the Immigration and Refugee Protection Act (R203(3)(e)), please include
the first digit of your Canadian Social Insurance Number in your
application. If you do not have a Canadian Social Insurance number, please
indicate this in your application.

The position will remain open until filled but review of the applications
will begin on September 22nd, 2023.

Apply Online by Clicking Here

All qualified candidates are encouraged to apply; however, Canadians and
permanent residents will be given priority. If suitable Canadian citizens
or permanent residents cannot be found, other individuals will be considered.
The University of Alberta is committed to an equitable, diverse, and
inclusive workforce. We welcome applications from all qualified persons.
We encourage women; First Nations, Métis and Inuit persons; members of
visible minority groups; persons with disabilities; persons of any sexual
orientation or gender identity and xpression; and all those who may
contribute to the further diversification of ideas and the University to

* Contributions to be spread via DMANET are submitted to
* 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.


The 22nd International Conference on Pervasive Computing and
Communications (PerCom 2024), March 2024
Biarritz, France

IEEE PerCom, now in its 22nd year, will be held in Biarritz, France in March 2024 as a physical event.

PerCom is the premier annual scholarly venue in pervasive computing and communications. Pervasive computing is constantly at the forefront of mobile systems research, and has found its way into many commercial applications due to tremendous advances in a broad spectrum of technologies and topics such as wireless networking, mobile and distributed computing, sensor systems, ambient intelligence, and smart devices.


PerCom 2024 solicits research contributions in all areas pertinent to pervasive computing and communications, , especially those that cross traditional research boundaries. In particular, PerCom targets contributions in:

* Advances in pervasive systems and infrastructures: middleware systems and services; data engineering for pervasive computing; cloud, fog and edge computing; integrations of smartphones in pervasive experiences; applications of device-to-device coordination.
* Theories, models, and algorithms: context modeling & reasoning; adaptive computing; activity & emotion recognition; programming paradigms; applied deep/federated/decentralized machine learning; causal learning; cognitive computing; complex networks; spatio-temporal modeling.
* Domain-specific challenges and novel applications: urban/mobile crowdsensing & intelligence; PerCom for healthcare and well-being; cyber-physical PerCom; smart homes and virtual assistants; mixed reality; sports analytics; crime prevention; pervasive nowcasting; urban robotics; pervasive AR/VR; smart vehicles; disaster sensing and management.
* Intersections of PerCom with: IoT and sensor systems; RFID; opportunistic networks; pervasive data science; cyber-physical systems; 3D networks; green networking.
* New techniques for user-level concerns: participatory and social sensing; trust, security, privacy, fairness, and ethics; user interface, interaction, and persuasion; online and offline social networking; human-machine collaboration.
* Technological innovations: architectures, protocols, and technologies for pervasive communications; energy-harvesting, self-powered, or battery-less systems; mobile and wearable systems; smart devices and environments; positioning, navigation, timing, and tracking technologies; and device-free human sensing.

Contributions can be analytical, empirical, technological, methodological, or a combination thereof. Papers reporting strong systems engineering contributions backed by solid and appropriate evaluations are strongly encouraged.

Contributions should be novel (those presenting only minor improvements over the state of the art will not be considered), should demonstrate a significant impact (i.e., they should address an outstanding problem), and should be rigorous.

Note that the impact of the contributions should be demonstrated in the context of pervasive computing and communications applications.


PerCom 2024 will follow a double-blind review process. As a result, authors must make a good-faith effort to anonymize their submissions. For detailed submission instructions, please check the website.

PerCom would not be PerCom without its community. For this reason, we are looking for ways to strengthen the community and encourage meaningful interactions.

To this end, all accepted papers must be presented in person by one of the authors, in addition to having an associated full registration. Failure to comply with this requirement will result in the exclusion of the paper from the final proceedings and from the IEEE Digital Library, and the paper will not be eligible for the Best Paper Award.


* Paper registration in EDAS: September 25, 2023
* Submission via EDAS: October 2, 2023
* Notification: December 21, 2023
* Camera Ready: February 2024 (exact date to be announced)


The best paper will receive the prestigious Mark Weiser Best Paper Award.

Selected papers will be invited to submit extended versions for a special issue of the Pervasive and Mobile Computing Journal.


* General Chairs

Philippe Lalanda, University of Grenoble, France
Claudio Bettini, University of Milan, Italy

* TPC Chair and Vice-Chairs

Chiara Boldrini, IIT-CNR, Italy
Sara Khalifa, CSIRO, Australia
Nirmalya Roy, University of Maryland Baltimore County, USA
Stephan Sigg, Aalto University, Finland

To contact the TPC chair and vice-chairs, please write to

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] The 10th International Conference on Social Networks Analysis, Management and Security(SNAMS-2023), Abu Dhabi, UAE. November 21-24, 2023.

The 10th International Conference on Social Networks Analysis, Management
and Security(SNAMS-2023)

Abu Dhabi, UAE. November 21-24, 2023.

*(Technically Co-Sponsored by IEEE UAE Section)*
*SNAMS 2023 CFP*

Social network analysis is concerned with the study of relationships
between social entities. The recent advances in internet technologies and
social media sites, such as Facebook, Twitter and LinkedIn, have created
outstanding opportunities for individuals to connect, communicate or
comment on issues or events of their interests. Social networks are dynamic
and evolving in nature; they also involve a huge number of users.
Frequently, the information related to a certain concept is distributed
among several servers. This brings numerous challenges to researchers,
particularly in the data mining and machine learning fields. The purpose of
the International Conference on Social Networks Analysis, Management and
Security(SNAMS-2023) is to provide a forum for researchers to present and
discuss their work which is related to social network analysis.

SNAMS 2023 aims to investigate the opportunities and in all aspects of
Social Networks. In addition, it seeks for novel contributions that help
mitigate SNAMS challenges. That is, the objective of SNAMS 2023 is to
provide the opportunity for students, scientists, engineers, and
researchers to discuss and exchange new ideas, novel results and experience
on all aspects of Social Networks. Researchers are encouraged to submit
original research contributions in all major areas, which include, but not
limited to:


Systems and algorithms for social search
Infrastructure support for social networks and systems
Dynamics and evolution patterns of large and complex networks
Social properties in systems design
Learnings from operational social networks
Data Collection
Big Data and Social Paradigms


Deep Learning and Knowledge Discovery.
Measurement and analysis of social and crowdsourcing systems
Benchmarking, modeling, performance and workload characterization
Modeling Social Networks and behavior
Management of social network data
Streaming algorithms for social data
Knowledge and innovation networks
Methods for social and media analysis
Models for network data
Network analysis in human and social sciences
Information propagation and assimilation in social networks
Data mining and machine learning in social systems


Novel social applications and systems
Transient OSNs (e.g. Snapchat)
Special purpose OSNs (e.g., Instagram, Vine)
Communities in social networks
Collaboration networks
New models of advertising and monetization in social networks
Mobile advertising on OSNs
Network visualization
Social networks and online education
Sentiment analysis on OSNs
Multilingual social networks
Social networks as agents of societal change


Privacy and security in social systems
Trust and reputations in social systems
Detection, analysis, prevention of spam, phishing, and misbehavior in
social systems

*Submission Types:*

Accepted types of submissions are including:
* Full papers (8 Pages),
* Short papers and PhD forum (6 Pages),
* Posters and demos (3 Pages).

All accepted papers will be published in the conference proceedings and
submitted to IEEE.
*Submissions Guidelines and Proceedings*

Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11"
two-column format (IEEE Templates
All papers should be in PDF format, and submitted electronically at Paper
Submission Link. A full paper must not exceed the stated length (including
all figures, tables and references). Submitted papers must present original
unpublished research that is not currently under review for any other
conference or journal. Papers not following these guidelines may be
rejected without review. Also submissions received after the due date,
exceeding length limit, or not appropriately structured may also not be
considered. Authors may contact the Program Chair for further information
or clarification.

All submissions are peer-reviewed by at least three reviewers. Accepted
papers will appear in the SNAMS Proceedings, and be submitted to IEEE for

Submitted papers must include original work, and must not be under
consideration for another conference or journal. Submission of regular
papers must not exceed 8 pages and must follow the IEEE paper format.
Please include up to 7 keywords, complete postal and e-mail address, and
fax and phone numbers of the corresponding author. Authors of accepted
papers are expected to present their work at the conference. Submitted
papers that are deemed of good quality but that could not be accepted as
regular papers will be accepted as short papers. Length of short papers
*Important Dates*

*Submission Date: 15 September 2023 *
Notification to Authors: 10 October 2023
Camera Ready and Registration: 20 October 2023

Please send any inquiry to the SNAMS Team at:

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] Call for Papers: Special Issue of OJMO on Robust, Stochastic, and Bilevel Optimization

Deadline Extended to 11/30/23!

The Open Journal of Mathematical Optimization (OJMO) has a call open
for papers for a special issue on Optimization at the Second Level.
The focus of this issue is on robust optimization, stochastic
optimization, and bilevel optimization. We are particularly interested
in papers exploring connections between these related classes of
optimization problem, as well as resulting new solution approaches.
The deadline for submission is November 30, 2023. The full call is

Christoph Buchheim, Ted Ralphs, and Shimrit Shtern, co-editors

Dr. Ted Ralphs
Professor, Industrial and Systems Engineering
Lehigh University
(610) 628-1280
ted 'at' lehigh 'dot' edu

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] VMCAI 2024: Extended Deadline September 7th

[We apologize for possible cross-posting]

25th International Conference on Verification, Model Checking, and Abstract
VMCAI 2024
January 15-16, 2024

* Call for Papers *
VMCAI 2024 is the 25th International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held on January 15-16, 2024, in London, UK, co-located with POPL 2024. VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

* Scope *
The program of VMCAI 2024 will consist of refereed research papers as well as invited talks. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques.

Topics include, but are not limited to:
- Program Verification
- Model Checking
- Abstract Interpretation
- Abstract Domains
- Program Synthesis
- Static Analysis
- Type Systems
- Deductive Methods
- Program Logics
- First-Order Theories
- Decision Procedures
- Interpolation
- Horn Clause Solving
- Program Certification
- Separation Logic
- Probabilistic Programming and Analysis
- Error Diagnosis
- Detection of Bugs and Security Vulnerabilities
- Program Transformations
- Hybrid and Cyber-physical Systems
- Concurrent and distributed Systems
- Analysis of numerical properties
- Analysis of smart contracts
- Analysis of neural networks
- Case Studies on all of the above topics

Submissions can address any programming paradigm, including concurrent,
constraint, functional, imperative, logic, and object-oriented programming.

* Important Dates AoE (UTC-12) *
September 7th, 2023 (extended) Paper submission
October 11th, 2023 Notification
October 31st, 2023 Camera-ready

Conference Submission Link

* Submissions *
Submissions are required to follow Springer's LNCS format. The page limit depends on the paper's category (see below). In each category, additional material beyond the page limit may be placed in a clearly marked appendix to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website:

All accepted papers will be published in Springer's Lecture Notes in Computer Science series. Submissions will undergo a single-blind review process. There will be three categories of papers: regular papers, tool papers, and case studies. Papers in each category have a different page limit and will be evaluated differently.

Regular papers clearly identify and justify an advance to the field of verification, abstract interpretation, or model checking. Where applicable, they are supported by experimental validation. Regular papers are restricted to 20 pages in LNCS format, not counting references.

Tool papers present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations and emphasize the design and implementation concerns, including software architecture and core data structures. A regular tool paper should give a clear account of the tool's functionality, discuss the tool's practical capabilities with reference to the type and size of problems it can handle, describe experience with realistic case studies, and, where applicable, provide a rigorous experimental evaluation. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool, preferably substantiated by data on enhancements in terms of resources and capabilities. Authors are strongly encouraged to make their tools publicly available and submit an artifact. Tool papers are restricted to 12 pages in LNCS format, not counting references.

Case studies are expected to describe the use of verification, model checking, and abstract interpretation techniques in new application domains or industrial settings. Papers in this category do not necessarily need to present original research results but are expected to contain novel applications of formal methods and techniques as well as an evaluation of these techniques in the chosen application domain. Such papers are encouraged to discuss the unique challenges of transferring research ideas to a real-world setting and reflect on any lessons learned from this technology transfer experience. Case study papers are restricted to 20 pages in LNCS format, not counting references. (Shorter case study papers are also welcome.)

* Artifacts *
VMCAI 2024 allows authors to submit an artifact along with a paper. Artifacts are any additional material that substantiates the claims made in the paper, and ideally makes them fully replicable. Artifacts of interest include (but are not limited to):
- Software, Tools, or Frameworks
- Data sets
- Test suites
- Machine checkable proofs
- Any combination of them
- Any other artifact described in the paper

Artifact submission is optional. However, we highly encourage all authors to also submit an artifact. A successfully evaluated artifact can increase your chance of being accepted since the evaluation result of your artifact is taken into account during the paper review. The artifact will be evaluated in parallel with the submission by the artifact evaluation committee (AEC). The AEC will read the paper and evaluate the artifact on the following criteria:
- consistency with and replicability of results in the paper,
- completeness,
- documentation, and
- ease of use.
More information will be available on the conference webpage:

* Organizing Committee *
Rayna Dimitrova, CISPA Helmholtz Center for Information Security
Ori Lahav, Tel Aviv University
Sebastian Wolff, New York University

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] ACG 2023: Advances in Computer Games - Final Notification


Final Call for Papers - ACG 2023



18th International Conference, Advances in Computer Games 2023

Virtual Event, November 28–30, 2023, free of charge


The Advances in Computer Games conference (ACG 2023) will be held online this year November 28-30 2023. ACG is an internationally renowned conference that publishes computer-based studies of games. Its history goes back to the inaugural event held in Edinburgh in 1975, making this the longest ongoing game AI conference.

Topics of interest include, but are not limited to:

- The current state of game-playing programs for classic and modern board games, card games, puzzles, virtual/casual/video games, etc.

- General game playing

- Artificial intelligence and machine learning for games

- Mathematical insights into games

- The history of computers in game-based research

- New theoretical developments in game-related research

- New and enhanced algorithms for search and knowledge acquisition

- Automated game design and evaluation

- Social aspects of computer games

- Scientific contributions produced by the study of games

- Cognitive research of how (and why) humans play games and puzzles

- Capture and analysis of game data



Papers must be written in English and can be up to 10 pages in length (including references). Further information can be found at and



- Submission due: September 11, 2023

- Notification due: October 23, 2023

- Final version due: November 10, 2023

- Conference: November 28-30, 2023

Program Co-Chairs


- Michael Hartisch, University of Siegen, Germany

- Chu-Hsuan Hsueh, Japan Advanced Institute of Science and Technology, Japan

Advisory Committee


- Cameron Browne, Maastricht University, The Netherlands

- Akihiro Kishimoto, IBM Research, Tokyo, Japan

- Jonathan Schaeffer, University of Alberta, Canada

Keynote Speakers


- Frank Lantz (Director of the NYU Game Center)

- Tristan Cazenave (Professor at Paris Dauphine University)

- Martin Mueller (Professor at University of Alberta)

- Hiroyuki Iida (Professor at Japan Advanced Institute of Science and Technology)



You can contact us via

* Contributions to be spread via DMANET are submitted to
* 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.

Sunday, August 27, 2023

[DMANET] Reachabilty Problems RP'2023: Call For Participation


Reachabilty Problems RP 2023: Call For Participation


17th International Conference on Reachability Problems (RP'23)

October 11-13 2023, Nice, FRANCE



The International Conference on Reachability Problems (RP) is
specifically aimed at gathering together scholars from diverse
disciplines and backgrounds interested in reachability problems that
appear in

* Algebraic structures
* Automata theory and formal languages
* Computational game theory
* Concurrency and distributed computation
* Decision procedures in computational models
* Graphs and dynamical networks
* Hybrid dynamical systems
* Logic and model checking
* Verification of finite and infinite-state systems




* Nathalie Aubrun (CNRS, Paris-Saclay, France)
* Zaitsev Dmitry (Odessa State Environmental University, Ukraine, and
Université Côte d'Azur, France)
* Jarkko Kari (University of Turku, Finland)
* Bruno Martin (University of Nice, France)
* Shinnosuke Seki (University of Electro-Communications, Japan)


* Complexity of Reachability Problems in Neural Networks.
Author: Adrian Wurm.
* Weakly synchronous systems with three machines are Turing powerful.
Authors: Cinzia Di Giusto, Davide Ferré, Etienne Lozes and Nicolas Nisse.
* On the Identity and Group Problems for Complex Heisenberg Matrices
Authors: Paul Bell, Reino Niskanen, Igor Potapov and Pavel Semukhin.
* Reachability analysis of a class of hybrid gene regulatory networks
Authors: Honglu Sun, Maxime Folschette and Morgan Magnin.
* Quantitative Reachability Stackelberg-Pareto Synthesis is NEXPTIME-Complete
Authors: Thomas Brihaye, Véronique Bruyère and Gaspard Reghem.
* Multi-Weighted Reachability Games
Authors: Thomas Brihaye and Aline Goeminne.
* On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions
Author: Eike Neumann.
* Adaptive Directions for Bernstein-based Polynomial Set Evolution
Authors: Alberto Casagrande and Carla Piazza.
* Introducing Divergence for Infinite Probabilistic Models
Authors: Alain Finkel, Serge Haddad and Lina Ye.
* A Framework for the Competitive Analysis of Model Predictive Controllers
Authors: Ramesh Krishnamurthy, Stijn Bellis, Guillermo Perez, Tim
Leys, Ritam Raha and Joachim Denil.
* Matching Patterns with Variables Under Simon's Congruence
Authors: Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea,
Dirk Nowotka, Stefan Siemer and Max Wiedenhöft.
* Hypermonitor: A Python Prototype for Hyper Predictive Runtime Verification
Authors: Angelo Ferrando and Giorgio Delzanno.
* Generalized ARRIVAL Problem for Rotor Walks in Path Multigraphs
Authors: David Auger, Pierre Coucheney, Loric Duhazé and Kossi Roland Etse.


* Sleptsov Nets are Turing-complete.
Authors: Dmitry Zaitsev and Bernard Berthomieu
* Reenterable colored Petri net model of Ebola virus dynamics
Authors: Dmitry Zaitsev, Tatiana Shmeleva
* On Computing Optimal Temporal Branchings
Authors: Daniela Bubboloni, Costanza Catalano, Andrea Marino and Ana Silva
* Discontinuous IVPs with unique solutions
Authors: Riccardo Gozzi and Olivier Bournez
* Geometry of Reachability Sets of Vector Addition Systems
Authors: Roland Guttenberg, Michael Raskin and Javier Esparza
* Semënov Arithmetic, Affine VASS, and String Constraints
Authors: Andrei Draghici, Christoph Haase and Florin Manea
* Multiplicity Problems on Algebraic Series and Context-Free Grammars
Authors: Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa
Shirmohammadi and James Worrell
* Linear Loop Synthesis for Polynomial Invariants
Authors: George Kenison, Laura Kovács and Anton Varonka
* Higher-Dimensional Automata Theory
Author: Uli Fahrenberg.
* Universality and Forall-Exactness of Cost Register Automata with Few Registers
Authors: Laure Daviaud and Andrew Ryzhikov
* History-determinism vs. simulation
Author: Karoliina Lehtinen
* Energy Büchi Problems
Authors: Sven Dziadek, Uli Fahrenberg and Philipp Schlehuber


RP 2023 Contact:

* Contributions to be spread via DMANET are submitted to
* 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.

[DMANET] Call for Papers: SCOPUS indexed - International Joint AI Conferences 2023 - Hybrid Event - Springer Publication

------------International Joint Conferences - Published by Springer
LNNS Series (Scopus)---------------
** ISDA 2023 - HIS 2023 - SoCPaR 2023 - IBICA 2023 - IAS 2023 -
NaBIC 2023 - WICT 2023 **

* Onsite and On the World Wide Web *

Publisher: Springer Verlag, LNNS Series
Indexed by: SCOPUS, DBLP, INSPEC, SCImago etc.

* Venue details and accommodation details are now published *
Onsite Venues: Olten, Switzerland; Porto, Portugal; Kaunas, Lithuania;
Kochi, India
Please visit: [1]

**Important Dates**
Paper submission due: September 30, 2023
Notification of paper acceptance: October 31, 2023
Registration and Final manuscript due: November 10, 2023

Conferences: December 11-15, 2023

-- 23rd International Conference on Intelligent Systems Design and
Applications (ISDA 2023)
Proceedings of ISDA'22: [2]
Submission link: [3]

-- 23rd International Conference on Hybrid Intelligent Systems (HIS
Proceedings of HIS'22: [4]
Submission link: [5]

-- 19th International Conference on Information Assurance and Security
(IAS 2023)
Proceedings of IAS'22: [4]
Submission link: [6]

-- 15th International Conference on Soft Computing and Pattern
Recognition (SoCPaR 2023) [7]
Proceedings of SoCPaR'22: [8]
Submission link: [9]

-- 15th World Congress on Nature and Biologically Inspired Computing
(NaBIC 2023)
Proceedings of NaBIC'22: [10]
Submission link: [11]

-- 14th International Conference on Innovations in Bio-Inspired
Computing and Applications (IBICA 2023)
Proceedings of IBICA'22: [12]
Submission link: [13]

-- 13th World Congress on Information and Communication Technologies
(WICT 2023)
Proceedings of WICT'22: [12]
Submission link: [14]

**Plenary Talks**
Speaker 1: Christine Zarges, Aberystwyth University, UK
Speaker 2: Theresa Schmiedel, University of Applied Sciences and Arts
Northwestern Switzerland, Basel, Switzerland
Speaker 3: Ke Feng, Singapore-ETH Centre, The National University of
Singapore, Singapore
Speaker 4: Stefka Fidanova, Bulgarian Academy of Sciences, Bulgaria
Speaker 5: Diego Oliva, Universidad de Guadalajara, Mexico
Speaker 6: Sebastian Ventura, University of Cordoba, Spain
Speaker 7: Ana Maria Madureira, Instituto Superior de Engenharia do
Porto, Portugal
Speaker 8: Nuno Bettencourt , Instituto Superior de Engenharia do Porto,
Speaker 9: Aboul Ella Hassanien, Cairo University, Egypt
Speaker 10: Milan Tuba, Singidunum University, Serbia
Speaker 11: Dalia Kriksciuniene, Vilnius University / Kaunas University
of Applied Sciences, Lithuania
Speaker 12: Kusum Deep, Indian Institute of Technology Roorkee, India

** About the International events **

Provides an international forum to share the latest research results,
ideas and experiences in intelligent systems design and applications;
soft computing; information assurance and security; nature-inspired
computing, pattern recognition; and information and communication
technologies by bringing together the leading communities in this
research space. These events are built on a solid history, through ISDA
to WICT, connecting young researchers with highly experienced peers to
forge connections, which can last for many years.

** Topics (not limited to) **

Intelligent Systems and Applications
Hybrid Intelligent Systems
Soft Computing and Pattern Recognition
Nature and Biologically Inspired Computing
Innovations in Bio-Inspired Computing and Applications
Information and Assurance Security
Innovations in Information and Communication Technologies
Wireless Networks
Data Mining
IoT, Cloud Computing
Software Engineering
Digital Learning

**Submission Guidelines**
Submission of paper should be made through the submission page from the
conference web page.
Please refer to the conference website for guidelines to prepare your

Paper format templates:

Note: If you would like to propose a special session, please email Dr.
Anu Bajaj <> with a CC to Ms. Mabrouka Salmi

**Technical Contact**
Dr. Ajith Abraham

* Contributions to be spread via DMANET are submitted to
* 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.