Monday, January 31, 2022

[DMANET] Extended (FIRM) deadline Feb 7, IEEE DCOSS 2022 (Los Angeles/Hybrid)

*The 18th Annual International Conference on Distributed Computing in
Sensor Systems (DCOSS'22)**Los Angeles, California, USA -- May 30 - June
1, 2022

* The DCOSS series of events are technically co-sponsored by IEEE and
Proceedings are published by IEEE Xplore.


COVID-19 Planning

DCOSS 2022 is monitoring the COVID-19 pandemic evolution and a hybrid
attendance format may be considered, if needed; in case of a hybrid format,
every paper accepted for DCOSS 2022 (presented in person or virtually) will
be published in the IEEE proceedings.


DCOSS 2022 is the 18th International Conference on Distributed Computing in
Sensor Systems to be held in Marina Del Rey, LA, California, USA on May
30-June 1, 2022, and is technically co-sponsored by IEEE Computer Society
and by the IEEE Technical Committee on Parallel Processing (TCPP).

In the last few years, we have witnessed a significant growth in the use of
IoT and distributed sensor systems in a number of application areas,
ranging from smart transport, energy and buildings, to factory automation,
smart healthcare and environmental monitoring. In order for smart sensor
systems to truly become useful and pervasive, we need to address a number
of research challenges, including the tight integration of sensing and
machine intelligence, reliable and efficient networking, interoperability
and scalability, the need for dependable autonomy, interaction with humans,
and important aspects of security, privacy and trust. DCOSS focuses on
issues arising in the entire IoT and networked sensor systems stack,
covering aspects of high-level abstractions, models and languages, novel
algorithms and applications, system design approaches and architectures, as
well as tools for simulated and real deployments. Potential authors are
invited to submit original unpublished manuscripts that demonstrate recent
advances in both theoretical and experimental research.

Topics of interest include, but are not limited to, the following:

● Artificial Intelligence for IoT

● Machine learning and data mining for IoT and sensor systems

● Smart healthcare to combat epidemics (including COVID-19)

● Edge and fog computing: distributed computing models from sensor to

● Energy harvesting models and optimization

● Machine intelligence in distributed sensor systems and real time

● Communication and networking primitives / protocols for wireless
embedded systems / cross-technology communication schemes

● Autonomy: closing the loop between sensing and actuation

● Time and location management

● Task allocation, reprogramming, and reconfiguration

● Robustness, resilience, and dependability

● Security and privacy issues

● Approaches, tools, and experience of deployment and operation

● Performance analysis: complexity, correctness, scalability

● Mobile and human-centered sensing

● Interoperability, heterogeneity and scalability

● Social sensing and crowd sensing and techniques, applications, and

● Complex systems comprising wearable, robotic and/or fixed sensor

● Novel and compelling applications

● IoT systems for emerging and developing economies

● Green and environmentally-friendly IoT (low-power, harvesting,
energy management)

● Design and implementation of real-world applications and systems

● Measurement studies and deployment experiences

Authors are invited to submit original unpublished manuscripts that
demonstrate current research on distributed sensor systems related to the
aforementioned topics of interest. Please use the US letter size (8.5 X 11
in) standard IEEE conference LaTeX format or Microsoft Word template
available on:

All submissions should be written in English and have a maximum of eight
(8) printed pages including figures and references. Note that DCOSS does
not follow the double-blind review policy, i.e., the names and affiliations
of all the authors must be present in the submitted manuscript.

*** Special Issue and Best Paper Awards ***

DCOSS 2022 will announce a best paper award as well as a best poster/demo

A Special Issue of the Computer Networks (COMNET) Journal will include
selected best papers from DCOSS 2022.

*** Important dates ***

- Paper Submission Deadline (*FIRM*): Feb 07, 2022 (AoE)

- Acceptance Notification: March 15, 2022

- Camera Ready Deadline: April 8, 2022

- Conference: May 30 - June 1, 2022

*** Organizing Committee ***

- Technical Program Committee Co-Chairs:

Carlo Alberto Boano (Graz University of Technology)
Dimitrios Koutsonikolas (Northeastern University)
Dong Wang (University of Illinois at Urbana-Champaign)

- General Chair:

Sotiris Nikoletseas (University of Patras and CTI)

- Workshops Chairs

Enrico Natalizio <>(University of
Lorraine, France)

Simone Silvestri (University of Kentucky, USA)

- Poster & Demo Chairs

Karin Anna Hummel (JKU Linz, Austria)

Eirini Eleni Tsiropoulou (University of New Mexico, USA)

- Proceedings Chair

Marios Angelopoulos (Bournemouth University, UK)

- Publicity Chairs

Eirini Eleni Tsiropoulou (University of New Mexico, USA)

Lei Shu (Nanjing Agricultural University & University of Lincoln, China/UK)

Tamoghna Ojha (IIT-CNR, Italy)

Please visit the DCOSS'22 website at for more information.

* 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 PhD vacancies, University of Groningen, Probability Theory and Combinatorics

The probability group at the University of Groningen - Netherlands
invites applications for two PhD positions in probability theory
and/or combinatorics.
Positions are for 4 years. The usual date is September 2022, but
earlier or later starting dates are possible as well. The hired
students will be supervised by Tobias Müller and Gilles Bonnet. The
specific content of the thesis is somewhat flexible and can be agreed
upon with the supervisor.

The candidates for the PhD positions should have a master's degree (or
should be close to obtaining a master's degree) in mathematics, with a
background in at least one of the following fields: Probability
Theory, Discrete and Convex Geometry, Combinatorics.

Send an email to and with the
subject "Application for Ph.D. position".
Application should include:
- letter of motivation
- CV (including contact information for at least two academic references)
- transcripts from your Bachelor's and Master's degree.
- application deadline : 21 Februari 2022 at 23.59.
(We expect to conduct interviews soon thereafter)

Gilles Bonnet
Assistant professor
Probability & Statistics group of the Bernoulli institut
Faculty of Science and Engineering
University of Groningen, Netherlands

* 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] CfP: AMAI Special Issue on Symbolic Computation in Software Science

Call for submissions

Annals of Mathematics and Artificial Intelligence
Special Issue on on Symbolic Computation in Software Science --
In the Era of Computational and Artificial Intelligence

In 2020, Annals of Mathematics and Artificial Intelligence (AMAI)
celebrated its 30th anniversary. Over the years, the journal has
promoted better understanding of the application of quantitative,
combinatorial, logical, algebraic and algorithmic methods to artificial
intelligence areas as diverse as decision support, automated deduction,
reasoning, knowledge-based systems, machine learning, computer vision,
robotics and planning. AMAI special issues are intended to be
collections of original research papers reflecting the intersection of
mathematics and a focussed discipline demonstrating how each has
contributed greatly to the other. A further goal of the journal is to
close the gaps between the fields even further. Papers should report on
current research in the appropriate areas, as well as more retrospective
papers in which progress has been ongoing over a period of time.

The purpose of this special issue of AMAI is to promote research on
theoretical and practical aspects of symbolic computation in software
science, combined with recent artificial intelligence techniques.
Symbolic Computation is the science of computing with symbolic objects
(terms, formulae, programs, representations of algebraic objects etc.).
Powerful algorithms have been developed during the past decades for the
major subareas of symbolic computation: computer algebra and
computational logic. These algorithms and methods are successfully
applied in various fields, including software science, which covers a
broad range of topics about software construction and analysis.
Meanwhile, artificial intelligence methods and machine learning
algorithms are widely used nowadays in various domains and, in
particular, combined with symbolic computation. Several approaches mix
artificial intelligence and symbolic methods and tools deployed over
large corpora to create what is known as cognitive systems. Cognitive
computing focuses on building systems which interact with humans
naturally by reasoning, aiming at learning at scale.

The special issue is related to the topics of the The 9th International
Symposium on Symbolic Computation in Software Science - SCSS 2021.
Participants of the symposium, as well as other authors are invited to
submit contributions.

This special issue focuses on advanced results on the topics that
include, but are not limited to, the following:

- software science-relevant applications of
* automated reasoning, knowledge reasoning, common-sense
reasoning, reasoning in science
* combinations of linguistic/learning-based and semantic/reasoning
* algebras, co-algebras, categories, proof theory, model theory
* artificial intelligence and machine learning methods
- algorithm (program) analysis, synthesis, verification
- extraction of specifications from algorithms (programs)
- algorithm (program) transformation
- formal methods for network and system security
- programming models
- formalization and computerization of knowledge; large-scale computer
understanding of mathematics and science
- alignment and joint processing of formal, semi-formal, and informal
- formal verification of artificial intelligence and machine learning
algorithms, explainable artificial intelligence, symbolic artificial
- cognitive computing, cognitive vision, perception systems and
artificial reasoners for robotics
- computational origami

This special issue welcomes original high-quality contributions that
have been neither published in nor simultaneously submitted to any
journals or refereed conferences. Submissions will be peer-reviewed
using the standard refereeing procedure of the Annals of Mathematics and
Artificial Intelligence.

Submitted papers must be in English, prepared in LaTeX according to the
guidelines of the journal:

PDF versions of papers should be uploaded at the submission page

by May 23, 2022.

Please choose S710: SCSS - Symbolic Computation in Software Science when
you will be selecting the article type.

Adel Bouhoula (Arabian Gulf University, Bahrain)
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Tetsuo Ida (University of Tsukuba, Japan)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)

* 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] Open position (tenure track assistant professor) in Complexity Science for Societal Good at TU Wien

The Faculty of Informatics at TU Wien in collaboration with the Complexity Science Hub Vienna seeks to fill the tenure-track assistant professorship "Complexity Science for Societal Good". Topics of interest include:

• Data models for big data management
• Workflows for big data analysis
• Methods of Artificial Intelligence
• Network science
• Social network analysis
• Big data analytics
• Data mining
• Statistical models
• Statistical data analysis
• Data fusion
• Experiment design and evaluation
• Visualization
• Privacy-aware analytics

The application deadline is March 31, 2022. For all further information about the position visit: and

* 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] [Scheduling seminar] Yindong Shen (AIA Huazhong Uni) | February 2| Public transit planning and scheduling based on AVL data in China

Dear scheduling researcher,

We are delighted to announce the talk given by Yindong Shen (AIA
Huazhong Uni).
The title is "Public transit planning and scheduling based on AVL data
in China".
The seminar will take place on Zoom on Wednesday, February 2 at 14:00 UTC.

Join Zoom Meeting
Meeting ID: 939 9929 3735
Passcode: 992845

You can follow the seminar online or offline on our Youtube channel as well:

The abstract follows.
The public transit operations planning process commonly includes the
following activities: network route design, service planning (frequency
setting and timetabling) and scheduling (vehicle scheduling, crew
scheduling and rostering). However, network route design is generally
the only one widely recognized, whilst service planning and scheduling
are often ignored in China. This leads to the lack of elaborate
timetables and schedules, hence, transit operation is often in disorder
with high operating costs. To raise the service level and the
utilization of resources, an applied study for three cities in China has
been conducted, focusing on the enhancement of the recognition and
execution of public transit planning and scheduling. A comprehensive
framework of public transit planning is first proposed, which is
composed of three traditional Chinese items (i.e. network route design,
land use for depots, and deployment of vehicles) and the following newly
added items: intelligent public transit system (iPTS) planning, service
planning, and scheduling. This is pioneering work in China, during which
an iPTS plan is conceived and a new vehicle scheduling approach based on
AVL data is developed. Experiments during actual projects show that
vehicle schedules with high on-time probability and low cost were
compiled, while the essential input parameters such as headways and trip
times were set automatically. It is anticipated that the research fruits
and practical experiences obtained would be of great benefit in
improving service and management levels and resource use in public
transport in China and some other developing countries.

The next talk in our series will be given by:
Kangbok Lee (POSTECH)| February 16| Scheduling Heuristics for
Steelmaking Continuous Casting Processes

For more details, please visit

With kind regards

Zdenek, Mike and Guohua

Zdenek Hanzalek
Industrial Informatics Department,
Czech Institute of Informatics, Robotics and Cybernetics,
Czech Technical University in Prague,
Jugoslavskych partyzanu 1580/3, 160 00 Prague 6, Czech Republic

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

[Apologies in case of multiple posting]


Aim and Scope:
NETYS aims to bring together researchers and engineers from both the theory
and practice of distributed and networked systems. The scope of the
conference covers all aspects related to the design and the development of
these systems, including, but not restricted to, concurrent and distributed
algorithms, parallel/concurrent/distributed programming, multi-core
architectures, distributed databases, cloud systems, networks, security,
formal verification, etc.

NETYS will provide a forum to report on best practices and novel
algorithms, results and techniques on networked systems. Original research
contributions and experience papers on the principles, design,
implementation, modeling, analysis, verification, and application of
networked systems are solicited.

Topics of interest include (but are not limited to):
- Cloud systems and data centers
- Parallel/concurrent/distributed algorithms and programming
- Cyber-physical systems
- Distributed databases, embedded and operating systems
- Distributed ledgers and blockchain technologies
- Event-based systems
- Formal verification
- Internet of Things, 5G, URLLC
- Mobile, wireless, ad-hoc and sensor networks
- Game Theory, Mechanisms design
- Overlay and peer-to-peer infrastructures
- Decentralized Artificial Intelligence/Machine Learning
- Multi-core architectures and multithreaded applications
- Security and privacy
- Self-stabilizing, self-organizing, and autonomic systems
- Social networks
- Static and dynamic analysis and testing
- Collaborative intelligent systems

Important dates:
March 5th, 2022: Abstract submission deadline
March 12th, 2022: Paper submission deadline
April 26th, 2022: Accept/Reject notification
May 3rd, 2022: Camera ready copy due
May 16th, 2022: Tutorials
May 17th-19th, 2022: Conference

Springer's Lecture Notes in Computer Science series will publish the
proceedings of the conference ( It is required that
each accepted paper be presented at the conference by one of its authors.
Awards will be given to the best paper and the best student paper.

PC chairs: Mira Mezini <> and
Mohammed-Amine KOULALI <>

Best regards,

PhD. Mohammed-Amine KOULALI
Ecole Nationale des Sciences Appliquées Oujda
Email: m.koulali[at]ump[dot]ac[dot]ma

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

Saturday, January 29, 2022

[DMANET] [CfP] International workshop on "Fine Art Pattern Extraction and Recognition (FAPER 2022)" at ICIAP 2021 !!! DEADLINE UPDATED !!!

                     Call for Papers -- FAPER 2022

            ---===== Apologies for cross-postings =====---
           Please distribute this call to interested parties

 International Workshop on Fine Art Pattern Extraction and Recognition
                          F A P E R   2 0 2 2

        in conjunction with the 21st International Conference on
               Image Analysis and Processing (ICIAP 2021)
                     Lecce, Italy, MAY 23-27, 2022

            >>> <<<
        !UPDATED! Submission deadline: March 15, 2022 !UPDATED!
-> Submission link: <-

              [[[ both virtual and in presence event ]]]

=== Aim & Scope ===

Cultural heritage, especially fine arts, plays an invaluable role in the
cultural, historical and economic growth of our societies. Fine arts are
primarily developed for aesthetic purposes and are mainly expressed
through painting, sculpture and architecture. In recent years, thanks to
technological improvements and drastic cost reductions, a large-scale
digitization effort has been made, which has led to an increasing
availability of large digitized fine art collections. This availability,
coupled with recent advances in pattern recognition and computer vision,
has disclosed new opportunities, especially for researchers in these
fields, to assist the art community with automatic tools to further
analyze and understand fine arts. Among other benefits, a deeper
understanding of fine arts has the potential to make them more
accessible to a wider population, both in terms of fruition and
creation, thus supporting the spread of culture.

Following the success of the first edition, organized in conjunction
with ICPR 2020, the aim of the workshop is to provide an international
forum for those wishing to present advancements in the state-of-the-art,
innovative research, ongoing projects, and academic and industrial
reports on the application of visual pattern extraction and recognition
for a better understanding and fruition of fine arts. The workshop
solicits contributions from diverse areas such as pattern recognition,
computer vision, artificial intelligence and image processing.

=== Topics ===

Topics of interest include, but are not limited to:
- Application of machine learning and deep learning to cultural heritage
and digital humanities
- Computer vision and multimedia data processing for fine arts
- Generative adversarial networks for artistic data
- Augmented and virtual reality for cultural heritage
- 3D reconstruction of historical artifacts
- Point cloud segmentation and classification for cultural heritage
- Historical document analysis
- Content-based retrieval in the art domain
- Speech, audio and music analysis from historical archives
- Digitally enriched museum visits
- Smart interactive experiences in cultural sites
- Projects, products or prototypes for cultural heritage restoration,
preservation and fruition
- Visual question answering and artwork captioning
- Art history and computer vision

=== Invited speaker ===

Eva Cetinic (Digital Visual Studies, University of Zurich, Switzerland)
- "Beyond Similarity: From Stylistic Concepts to Computational Metrics"

Dr. Eva Cetinic is currently working as a postdoctoral fellow at the
Center for Digital Visual Studies at the University of Zurich. She
previously worked as a postdoc in Digital Humanities and Machine
Learning at the Department of Computer Science, Durham University, and
as a postdoctoral researcher and professional associate at the Ruđer
Boškovic Institute in Zagreb. She obtained her Ph.D. in Computer science
from the Faculty of Electrical Engineering and Computing, University of
Zagreb in 2019 with the thesis titled "Computational detection of
stylistic properties of paintings based on high-level image feature
analysis". Besides being generally interested in the interdisciplinary
field of digital humanities, her specific interests focus on studying
new research methodologies rooted in the intersection of artificial
intelligence and art history. Particularly, she is interested in
exploring deep learning techniques for computational image understanding
and multi-modal reasoning in the context of visual art.

=== Workshop modality ===

The workshop will be held in a hybrid form, both virtual and in presence
participation will be allowed.

=== Submission guidelines ===

Accepted manuscripts will be included in the ICIAP 2021 proceedings,
which will be published by Springer as Lecture Notes in Computer Science
series (LNCS). Authors of selected papers will be invited to extend and
improve their contributions for a Special Issue on IET Image Processing.

Please follow the guidelines provided by Springer when preparing your
contribution. The maximum number of pages is 10 + 2 pages for
references. Each contribution will be reviewed on the basis of
originality, significance, clarity, soundness, relevance and technical

Once accepted, the presence of at least one author at the event and the
oral presentation of the paper are expected.

Please submit your manuscript through EasyChair:

=== Important Dates ===

- Workshop submission deadline: March 15, 2022
- Author notification: April 1, 2022
- Camera-ready submission and registration: April 15, 2022
- Workshop day: May 23-24, 2022

=== Organizing committee ===

Gennaro Vessio (University of Bari, Italy)
Giovanna Castellano (University of Bari, Italy)
Fabio Bellavia (University of Palermo, Italy)
Sinem Aslan (University of Venice, Italy | Ege University, Turkey)

=== Venue ===

The workshop will be hosted at Convitto Palmieri, which is located in
Piazzetta di Giosue' Carducci, Lecce, Italy



* 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] Second call for papers --- EURO 2022 Espoo, Finland - 32nd European Conference on Operational Research

EURO 2022

32 nd European Conference on Operational Research (EURO 32 nd ),

Espoo, Finland, July 3-6, 2022,

[ | ]

Twitter: @k_conference




We have the great pleasure of inviting you to take part in the 32 nd EURO Conference to be organized in Espoo, Finland on 3-6 July, 2022.

The Scientific and Organization Committees, chaired by Dolores Romero Morales and Antti Punkka, along with Juuso Liesiö and Eeva Vilkkumaa, are preparing a conference to remember.

EURO 32 nd Conference will be an excellent opportunity for the OR community to get together again in a pleasant atmosphere, and we are looking forward to meeting you in Espoo this summer!



The scientific program will include outstanding plenary, keynote and tutorial talks. In addition, this year we will have a special round table session dedicated to the three EURO Forums: WISDOM, EUROYoung, and The Practitioners' Forum.

PLENARY Speakers:

Andrea Lodi (Cornell University, USA) - IFORS Distinguished Lecturer

Marja-Liisa Siikonen (MLS Lift Consulting Ltd, Finland)

Christina Pagel (University College London, UK)

KEYNOTE Speakers:

Fran Ackermann (Curtin University, Australia)

Jacek Gondzio (University of Edinburgh, UK)

Emilio Carrizosa ( Universidad de Sevilla, Spain)

Martin Schmidt (Trier University, Germany)

Athanasios Yannacopoulos (Athens University of Economics and Business, Greece)

Krzysztof Burnecki ( Wroclaw University of Science and Technology, Poland)

Burcu Balçık ( Özyeğin University, Turkey)

Antonio Conejo (Ohio State University, USA)

Claudia Archetti ( ESSEC Business School , France) – EUROYoung invited Keynote

James Cochran (University of Alabama, USA)

Grit Walther ( RWTH Aachen University, Germany)

Daniel Kuhn ( Ecole Polytechnique Fédérale de Lausanne, EPFL, Switzerland)

Please follow the Conference website [ file:///C:/Users/apunkka/Dropbox%20(Aalto)/EURO2022/markkinointimatskua/ | ] for more detailed information



Researchers, academics, practitioners, and students interested in any branch of Operational Research, mathematical modelling or economic analysis are invited to submit abstracts or organize sessions.

Invited and contributed papers will be organized in parallel sessions. In general, sessions are part of the Conference streams, and streams are grouped in different areas. The list of areas and streams is available at [ file:///C:/Users/apunkka/Dropbox%20(Aalto)/EURO2022/markkinointimatskua/ | ] .

No participant can present more than one paper at the Conference.

Abstract submission system is available online, via the Conference website [ file:///C:/Users/apunkka/Dropbox%20(Aalto)/EURO2022/markkinointimatskua/ | ] .

Abstracts: max. 1500 characters; submission deadline: March 4, 2022 .

Researchers who wish to organize a stream or an invited session or contribute with a paper within an invited session should contact a Programme Committee member of the corresponding area, [ | ] .




Abstract submission deadline: Friday, March 4, 2022


Early registration deadline: Friday, March 25, 2022

Author registration deadline: Friday, April 8, 2022



Regular: €385.00 (early); €513.00 (late),

Student/Retired: €210.00 (early); €280.00 (late),

Accompanying persons: €129.00.

The regular/student/retired registration fee includes:

Admission to all sessions and the exhibition

Conference materials

Tea, coffee and buffet lunches throughout the conference

Admission to the Welcome Reception on Sunday and to the Farewell Party on Wednesday

A four-day pass for public transport

The registration fee for an accompanying person covers the same except the admission to sessions and conference materials.

Please note that the Conference Gala Dinner on Tuesday is not included in the registration fee.



Parties interested in having a booth or exhibition area during the Conference are kindly requested to contact the EURO 2022 Conference Secretariat (Gráinne McQuaid, Senior Project Manager: ).

We look forward to welcoming you to our great conference in Espoo!

Dolores Romero Morales

Antti Punkka , Juuso Liesiö, Eeva Vilkkumaa

For any further information, contact the EURO 2022 CONFERENCE SECRETARIAT:

c/o Abbey Conference & Events


· Phone: (+353) 1 648 6130

· Email: [ | ]


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

Friday, January 28, 2022

[DMANET] MedComNet 2022 - Call for Papers - Deadline 16 February 2022

MedComNet 2022 - Call for Papers

20th Mediterranean Communication and Computer Networking Conference
1-3 June 2022, King Evelthon Resort, Paphos, Cyprus

MedComNet 2022 continues the tradition of the MedHocNet conference series
that started in Sardinia in 2002 and was held annually in beautiful
locations on the shores of the Mediterranean.
MedComNet is a forum for the presentation of new research results in the
broad area of wired and wireless communication and computer networking. All
aspects of the networking research area are welcome.

MedComNet has requested the Technical Co-Sponsorship of the IEEE, and
accepted papers will be submitted for inclusion into IEEE Xplore. Extended
versions of the best papers presented at the conference will be considered,
by invitation and upon additional review, for publication in Elsevier
Computer Communications journal. The best paper in the conference will be
awarded the Mario Gerla Best Paper Award, which is associated with a 1000
euro prize.

Topics include but are not limited to:
- Wireless networks
- Cellular networks including 5G and 6G
- Network coding for 5G
- Vehicular networks
- Dynamic spectrum sharing
- Interference management and mitigation
- Medium access control
- MIMO-based networking
- mmWave, THz, VLC networking
- Mobile sensing and applications
- Mobility management and models
- Innovative Internet architectures
- Internet of Things / Cyber-physical systems
- Secure and intelligent Internet of Things
- Routing and multicast
- Software-defined Networking and Radio
- Optical networks
- Overlay and peer-to-peer networks
- Age of Information
- Energy efficiency in networks
- Machine Learning and AI for networks
- Edge, fog and cloud computing
- Edge AI, Network for AI
- Localization and location-based services
- Integrated sensing and communication
- Multimedia networking
- Network economics and pricing
- Network management
- Network measurement and analysis
- Network security and privacy
- Network virtualization
- Satellite networks

Important information
Paper submission deadline: Feb. 16, 2022
Acceptance notification: April 04, 2022
Registration (authors and early birds): May 06, 2022
Camera Ready Papers due: May 06, 2022
Conference: June 1-3, 2022

Instructions for authors:
Authors are invited to submit original unpublished manuscripts that
demonstrate current research related to the aforementioned topics of
All paper submissions must be written in English and must be formatted in
standard IEEE 2-column format. Only Adobe PDF files will be accepted for
the review process. The mandatory IEEE template in Microsoft Word and LaTeX
format can be found at All
submissions must be made electronically through EDAS at

We will consider two different categories of papers:
Full papers should describe novel research contributions and are limited in
length to ten (10) printed pages (10-point font) including figures, tables,
and references. Papers exceeding ten (10) pages will not be accepted at
EDAS, nor reviewed at all.
Short papers should be more visionary in nature and may report on work in
progress without finished results. They are meant to present novel
perspectives, so as to foster discussion about innovative directions and
new points of view. They are limited to at most four (4) pages including
figures, tables, and references, but might in many cases be even shorter.
Accepted short papers will be included in the proceedings and they will be
given (a shorter) time for oral presentation at the conference.
For more information, please see:

No-show policy
Submission to the conference implies willingness to present. No-shows will
be excluded from the proceedings. No-show papers are defined as papers
submitted by authors who subsequently did not present the paper in-person
at the technical meeting (given the current situation, remote presentations
will be allowed). Presentations by proxies are not allowed. No refund of
the paid fees can be claimed by the no-show author. Exceptions to this
policy can only be made by the Technical Program Chairs and only if there
is evidence that the no-show occurred because of unanticipated events
beyond the control of the authors, and every option available to the
authors to present the paper was exhausted.

Organizing Committee
General Chairs
Carla Fabiana Chiasserini, Politecnico di Torino, Italy
Vasos Vassiliou, University of Cyprus and CYENS Research Center, Cyprus

General vice-Chair
George Ellinas, University of Cyprus, KIOS Research Center, Cyprus

TPC Chairs
Antonella Molinaro, Universitΰ Meditterranea di Reggio Calabria, Italy
Panayiotis Kolios, University of Cyprus, KIOS Research Center, Cyprus

Keynote and Panel Chairs
Panos Sarigiannides, University of Western Macedonia, Greece
Antonio J. Jara, HOP Ubiquitous, Spain

Publicity Chairs
Christian Vitale, University of Cyprus, KIOS Research Center, Cyprus
Ala' Khalifeh, German Jordanian University

Publication Chair
Chrysostomos Chrysostomou, Frederick University, Cyprus

Web Chairs
Michele Segata, Free University of Bolzano, Italy
Christiana Ioannou, University of Cyprus, Cyprus

Steering Committee
Marco Ajmone Marsan, Politecnico di Torino, Italy (Chair)
Ian F. Akyildiz, Georgia Institute of Technology, USA
Edmundo De Souza e Silva, Federal University of Rio de Janeiro, Brazil
Luigi Fratta, Politecnico di Milano, Italy
Farouk Kamoun, ENSI, Tunisia
Giovanni Pau, University of Bologna, Italy
Guy Pujolle, Sorbonne Universitι, France
Vasos Vassiliou, University of Cyprus, Cyprus

* 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] Presburger Award for Young Scientists 2022 - Call for Nominations - Deadline: 15 February 2022

Presburger Award for Young Scientists 2022 - Call for Nominations - Deadline: 15 February 2022

The Presburger Award recognises outstanding contributions by a young scientist in theoretical computer science, documented by a published paper or a series of published papers. It is named after Mojzesz Presburger who accomplished his ground-breaking work on decidability of the theory of addition (known today as Presburger arithmetic) as a student in 1929. The award is conferred annually by the European Association for Theoretical Computer Science (EATCS) at the International Colloquium on Automata, Languages, and Programming (ICALP).

Nominated scientists can be at most 35 years old on January 1st of the year of the award. Thus, for the 2022 award, the nominee should be born in 1986 or later. Nominations for the Presburger Award can be submitted by any member or group of members of the theoretical computer science community, but not by the nominee themselves nor the advisors for their master's thesis or doctoral dissertation.

The Presburger Award committee for 2022 consists of Meena Mahajan (The Institute of Mathematical Sciences, Chennai, chair), Mikołaj Bojanczyk (University of Warsaw) and Uriel Feige (The Weizmann Institute, Israel). Nominations, consisting of a two page justification and (links to) the relevant publications, as well as additional supporting letters, should be sent by e-mail to:

The subject line of every nomination should start with Presburger Award 2022, and the message must be received before February 15th, 2022.

The award includes an amount of 1000 Euro and an invitation to ICALP 2022 for a lecture.

Previous Winners:
Mikołaj Bojanczyk, 2010
Patricia Bouyer-Decitre, 2011
Venkatesan Guruswami and Mihai Patrascu, 2012
Erik Demaine, 2013
David Woodruff, 2014
Xi Chen, 2015
Mark Braverman, 2016
Alexandra Silva, 2017
Aleksander Madry, 2018
Karl Bringmann and Kasper Green Larsen, 2019
Dmitriy Zhuk, 2020
Shayan Oveis Gharan, 2021

Official website:

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

Thursday, January 27, 2022

[DMANET] CPM 2022 - Final Call for Papers

Submission deadline extended to February 5, 2022.

(Apologies for multiple copies.)


The 33rd Annual Symposium on Combinatorial Pattern Matching (CPM 2022)
will be held in Prague, Czech Republic, June 27-29, 2022.



Papers on original research unpublished elsewhere in all areas related
to combinatorial pattern matching and its applications are welcome.

The proceedings will be published by LIPIcs (of Dagstuhl).


Papers are solicited on, but not limited to, the following topics:
Bioinformatics and computational biology
Coding and data compression
Combinatorics on words
Data mining
Information retrieval
Natural language processing
Pattern discovery
String algorithms
String processing in databases
Symbolic computing
Text searching and indexing


Takehiro Ito (Tohoku University, Japan)
Invitation to Combinatorial Reconfiguration

Jeffrey Shallit (University of Waterloo, Canada)
Using automata and a decision procedure to prove results in pattern matching

Sharma V. Thankachan (University of Central Florida, USA)
Compact Text Indexing for Advanced Pattern Matching Problems:
Parameterized, Order-isomorphic, 2D, etc.


Saturday, February 5, 2022, anywhere on Earth


Submission is through the EasyChair conference system:


The authors should submit an extended abstract not exceeding 15 pages,
including figures, title, authors, affiliations, e-mail addresses, and
a short abstract. The authors are required to use the LaTeX style file
supplied by Dagstuhl (LIPIcs) with the original settings (including
the font size and the margins). References will not be counted in the
page limit. At least one author of an accepted paper is expected to
present the paper at the conference as a registered participant.

Papers must be submitted as a single file in PDF format.

Additional material intended for the referee but not for publication
in the final version—for example details of proofs—may be placed in a
clearly marked appendix that is not included in the page limit.

Papers submitted for review should represent original, previously
unpublished work. At the time the extended abstract is submitted to
CPM, and for the entire review period, the paper (or essentially the
same paper) should not be under review by any other conference with
published proceedings or by a scientific journal.

Experimental results described in the paper, if any, should be
replicable: the code and the data should be public and have reasonable
documentation in order to compile and produce comparable results on
the provided data.


We are carefully watching the situation with the Covid-19 pandemic. We
hope to conduct a physical event, but we will certainly offer the
possibility of remote participation (with a significantly lower
registration fee) for those who are unable to come due to travel
restrictions or other circumstances. In the worst case, we will move
the event online but are not planning to postpone it.


Golnaz Badkobeh (Goldsmiths University of London, UK)
Hideo Bannai (Tokyo Medical and Dental University, Japan), Co-Chair
Frédérique Bassino (University Paris 13, France)
Djamal Belazzougui (DTISI-CERIST, Algeria)
Philip Bille (Technical University of Denmark, Denmark)
Christina Boucher (University of Florida, USA)
Martin Farach-Colton (Rutgers University, USA)
Gabriele Fici (University of Palermo, Italy)
Johannes Fischer (TU Dort­mund Uni­ver­sity, Germany)
Travis Gagie (Dalhousie University, Canada)
Paweł Gawrychowski (University of Wrocław, Poland)
Jan Holub (Czech Technical University in Prague, Czech Republic), Co-Chair
Wing-Kai Hon (National Tsing Hua University, Taiwan)
Tomohiro I (Kyushu Institute of Technology, Japan)
Shunsuke Inenaga (Kyushu University, Japan)
Dominik Kempa (Stony Brook University, USA)
Tomasz Kociumaka (University of California, Berkeley, USA)
Dmitry Kosolobov (Ural Federal University, Russia)
Gad M. Landau (University of Haifa, Israel)
Veli Mäkinen (University of Helsinki, Finland)
Florin Manea (Göttingen University, Germany)
Sebastian Maneth (University of Bremen, Germany)
Robert Mercas (Loughborough University, UK)
Gonzalo Navarro (University of Chile, Chile)
Kunsoo Park (Seoul National University, South Korea)
Nadia Pisanti (University of Pisa, Italy)
Solon Pissis (CWI, Netherlands)
Jakub Radoszewski (University of Warsaw, Poland)

* 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] Extended deadlines for the 10th IFAC MIM 2022 conference in Nantes, France, June 22 to 24, 2022

Dear colleagues:

Following several requests, we are happy to announce again a new
deadline: *15th of February 2022*. We already received 450 papers, so
this is the last extension, the deadline is definitive.

We are looking forward to seeing your contributions: invited and regular
papers for the 10th IFAC triennial conference on Manufacturing
Modelling, Management and Control, MIM 2022

                        June 22 - 24, 2022, Nantes, France -

one of the worlwide largest conferences matching industrial and
manufacturing engineering, supply chain and operations management,
computer science, robotics and automation, artificial intelligence,
decision science and operations research,

with exceptionnal keynote speakers (see the conference web site).The
submission website for IFAC conferences
is: for
MIM 2022)

Please first check if there is an invited session for which your paper
fits and, in this case, please submit to the invited session by using
the session code (the list of invited sessions with their codes is
avalable on

The extended deadlines for IFAC MIM 2022:

* 15 February 2022 : Submission of draft papers for regular and
invited sessions (6 pages in IFAC format)
* 15 March 2022: Notification to authors
* 5 April 2022: Submission of final camera ready versions of accepted
* 30 April 2022: Early registration rates expire

*The conference is dedicated to the 60th volume anniversary of the
International Journal of Production Research**(IJPR).*

/The proceedings of IFAC MIM 2022 will be published in Open Access by
Elsevier in IFAC-PapersOnLine (see which is indexed
in  Scopus and Web of Science.

The session chairs can propose best presentations for Special Issues in
ANOR, IJPR, FSM, and IJISM (the list of journals which will publish
special issues is regularly completed, see the web site of the conference).

The conference will be hybrid with face-to-face and online presentations.

Sincerely yours,

Prof. Dr. Alexandre Dolgui

General chair of MIM 2022, Vice-chair of IFAC TC 5.2 (former chair

Prof. Dr. Alain Bernard
Vice-General chair of MIM 2022

Prof. Dr. Dmitry Ivanov
IPC chair of MIM 2022, Chair of IFAC TC 5.2

Prof. Dr. David Lemoine
NOC chair of MIM 2022


Alexandre Dolgui, Dr.habil., Ph.D., IISE Fellow,
Professor and Head

Automation, Production and Computer Sciences Dept.
IMT Atlantique, LS2N-CNRS
La Chantrerie, 4, rue Alfred Kastler - B.P. 20722
F-44307 NANTES Cedex 3, France

International Journal of Production Research

Last Book: Scheduling in industry 4.0 and cloud manufacturing

Invite you to celebrate the 60th Volume Anniversary of IJPR at
10th IFAC MIM conference, June 22 to 24, 2022, Nantes, 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.



ISCO (International Symposium on Combinatorial Optimization) is a
biennial symposium whose aim is to bring together researchers from all
the communities related to combinatorial optimization, including
algorithms and complexity, mathematical programming, operations
research, optimization under uncertainty, graphs and combinatorics. It
is intended to be a forum for presenting original research in these
areas and especially in their intersections. Quality papers on all
aspects of combinatorial optimization, from mathematical foundations and
theory of algorithms to computational studies and practical
applications, are solicited.

ISCO 2022 will be held online (May 18-20, 2022) and will be *preceded by
a Spring School (May 16-17, 2022) given by Giacomo Nannicini on
"Mathematical Optimization and Quantum Algorithms" *which is dedicated
to PhD students but the lectures are also open to other colleagues.

Conference website:

There are two types of submissions:
- Regular papers up to 12 pages. The post-conference proceedings will be
published by Springer (LNCS series). For an accepted paper to be
included in the proceedings, it should be presented at the conference by
one of the authors. The authors of accepted papers will have to prepare
their camera-ready version two weeks after the end of the conference.
More information about the submission procedure will be available in the
web site of the conference in due time.
- Extended abstracts up to 3 pages. Accepted abstracts will be published
online on the conference website (and will not be included in the
post-conference proceedings).


- Submission deadline: February 15, 2022 (regular papers) and March 31,
2022 (extended abstracts)
- Notifications: April 20, 2022
- Registration deadline: May 10, 2022
- Spring school: May 16-17, 2022
- Online conference: May 18-20, 2022

TOPICS OF INTEREST include, but are not limited to:
    Approximation algorithms
    Branch-and-bound algorithms
    Branch-and-cut-and price algorithms
    Computational biology
    Computational complexity
    Computational geometry
    Constraint Programming
    Cutting plane algorithms
    Exact and parameterized algorithms
    Graph and network algorithms
    Interior point methods
    Linear and nonlinear integer programming
    Local search algorithm
    Multiobjective optimization
    On-line algorithms
    Polyhedral combinatorics
    Randomized algorithms
    Scheduling algorithms

    Jon Lee, University of Michigan, USA
    Petra Mutzel, Bonn University, Germany
    Rekha R. Thomas, University of Washington, USA
    Rico Zenklusen, ETH Zurich, Switzerland

    Ivana Ljubic, conference chair (ESSEC Business School of Paris,
    Francisco Barahona, co-chair  (IBM, J. Watson, New York, USA)
    Santanu Dey, co-chair (Georgia Institute of Technology, USA)
    A. Ridha Mahjoub, co-chair (Paris Dauphine University, France)


    P. Fouilhoux (Université Sorbonne Paris Nord, France)
    I. Ljubic (ESSEC Business School of Paris, France)
    A. Ridha Majhoub (Paris Dauphine University, France)

    M. Baïou (CNRS, Clermont-Auvergne University, France)
    P. Fouilhoux (Université Sorbonne Paris Nord, France)
    L. Gouveia (University of Lisbon, Portugal)
    N. Maculan (Federal University of Rio de Janeiro, Brasil)
    A. R. Mahjoub (Paris Dauphine University, France)
    V. Paschos (Paris Dauphine University, France)
    G. Rinaldi (IASI, Roma, Italy)

* 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] PhD student position available at University Paris Dauphine

Université Paris Dauphine-PSL in Paris (France) announces one fully funded PhD student position in graph theory within the research project "DAGs and Digraph Decompositions (DAGDigDec)" of Prof. Ararat Harutyunyan

(email address:<>).

Excellent candidates with strong mathematical background and research interests in graph theory are encouraged to apply. The selected candidate will carry out research in the area of directed graphs. Travel support is available and the student will have the opportunity to work with the other members of the project DAGDigDec located in Lyon, Grenoble, Marseille, Montpellier and Nice.

The starting date of the position is Fall 2022. Applications received by February 20th, 2022, will get full consideration. Applications after this date will be considered until the position is filled.

Applicants must have undergraduate and Master degrees in Mathematics or Computer Science.

To apply, please send a CV (including a list of publications, if applicable), an optional short statement of research interests or cover letter (maximum 1 page), undergraduate and Master degree grade transcripts, and name and email addresses of two reference writers (one of which is preferably the Master degree supervisor) to Prof. Ararat Harutyunyan 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.

Wednesday, January 26, 2022

[DMANET] Open position in discrete optimization and operations research at HTW and Zuse Institute Berlin

HTW Berlin is looking to hire a research assistant in discrete
optimization with a computational profile (E13, 100%, 2 years fixed with
goal to be extended) for the project "VetOpt":

In collaboration with Zuse Institute Berlin and the Berlin-based startup
felmo we will be optimizing the complex logistics behind the task of
bringing veterinary services to clients and their pets at home. Research
topics will include the design, implementation, and analysis of
algorithms for challenging mixed-integer programming models with a
vehicle routing component.

For questions and further information please contact Prof. Dr. Ambros
Gleixner <>. For full consideration, please apply
before February 15, 2022.
* 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: 10th IFAC MIM 2022 conference in Nantes, France, June 22 to 24, 2022

We apologize for any cross-posting.

Advances in the operationalization of Sustainable Development Goal 12 with Industry 4.0 enablers

Sustainable development goals are the common agenda for the nations to save our planet. The UN SDG outline includes 17 goals with several targets for the operationalization of sustainable development by 2030. One of the essential goals in the UN agenda is goal 12 which seeks sustainable production and consumption. This goal includes different stakeholders and covers the life cycle approach of several sectors including mobility, food, agriculture, housing, and appliances. The industry 4.0 paradigm plays an essential role in sustainable manufacturing. This paradigm affects the green supply chain including green design, green manufacturing and remanufacturing, reverse logistics, and waste management. Several recent studies focused on the application of collaborative robots, digital twins, and virtual reality/augmented reality in disassembly, remanufacturing, and recycling. The objective is to optimize the operations and integrate the new technologies for a sustainable life cycle management of the products. This session aims to gather the researchers to exchange future research and recent innovations in the field of industry 4.0 driven sustainable production and consumption.

Original research papers, methodological papers, case studies, and short communications on the theme of this special session are welcomed. Topics may include but are not limited to:

Circular economy and Industry 4.0 (opportunities and challenges)

Industry 4.0 implications in recycling/ remanufacturing and End of Life treatment

Industry 4.0 applications in the product life cycle management

IoT enabled optimizations in product recovery management

Industry 4.0 and Eco-design

Industry 4.0 applications in Waste management

The applications of cobot/ VR/AR in disassembly/assembly operations

Guidelines for the preparation of manuscripts are on the conference website at:

Paper submission: Find MIM 2022, proceed as an invited paper, and indicate the invited session identification code 43a5d. If you experience any difficulties, please contact the session's organizer.

Last extension of Deadline: February 15, 2022

Invited session chair and contact information:
Dr. Samira Keivanpour (Polytechnique Montreal ) :
Dr. Amina Lamghari (Université du Québec à Trois-Rivières )
* 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] Reminder: Tomorrow, DEON Seminar Series Winter edition (January 27th) – Fenrong Liu

The Society of Deontic Logic and Normative Systems (DEON) has launched an
online seasonal seminar series designed to promote interdisciplinary
cooperation amongst scholars interested in linking the formal-logical study
of normative concepts, normative language and normative systems with
computer science, artificial intelligence, linguistics, philosophy,
organization theory and law. We view the seminar series as an opportunity
to keep in touch with the DEON community and listen in or contribute to
presentations and informal discussions on ongoing work. Everyone who is
interested in this wonderful area and its questions is welcome.

We are happy to announce that our speaker for the DEON winter seminar will
be Fenrong Liu (Professor of Logic, Tsinghua University and University of

*Date and time*: January 27, 1pm – 2:30pm CET

*Zoom link*: (Meeting ID: 892 8700

*Virtual gathering*: join us for a virtual gathering on after the
talk! No registration needed, just follow this link:

*Title*: From a two-level perspective on preference to deontic logic

*Abstract*: By 'two-level perspective on preference' I mean the following
two aspects: a) given a set of propositions, possibly ordered, we can
*derive* preference relations over individuals. b) Given preference
relations between individuals, we can *lift* them to an ordering over sets
of individuals. After introducing the latest studies in these two lines, I
will focus on their relevance to deontic logic. In particular, I will
illustrate with the lifted Egli-Milner order and its connection to notions
of conditional ought and conditional permission.

1. Fenrong Liu. Reasoning about Preference Dynamics, Springer, 2011.
2. Johan Benthem, Davide Grossi & Fenrong Liu. Priority Structures in
Deontic Logic, Theoria 80 (2):116-152, 2014.
3. Chenwei Shi & Yang Sun. Logic of Convex Order. Studia Logica 109:
1019-1047, 2021.

If you are interested in the upcoming events in this series, subscribe

We hope to see you on the 27th of January!

Ilaria Canavotto, Huimin Dong, and Réka Markovich
DEON Seminar Series organizers

======== Guidelines of Participation =========

1) Please MUTE your microphone during the talk and during the Q&A unless
you have been called on to ask a question. (And please do not ask questions
or follow-ups in the Q&A unless you've been called on – i.e., no

2) If you would like to ask a question during the Q&A, please use the
"raise hand" tool on Zoom.

3) Please frame your questions in a constructive and collegial spirit!

Many thanks in advance!

* 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] CFP - The 19th International Colloquium on Theoretical Aspects of Computing (ICTAC), Tbilisi, September 27-29, 2022

Please, accept our apologies in case of multiple copies of this CFP.

The 19th International Colloquium on
Theoretical Aspects of Computing (ICTAC)
Held in Tbilisi, Georgia, September 27-29, 2022

Part of Computational Logic Autumn Summit (CLAS 2022)


The ICTAC conference series aims at bringing together researchers and
practitioners from academia, industry and government to present research
and exchange ideas and experience addressing challenges in both theoretical
aspects of computing and the exploitation of theory through methods and
tools for system development. ICTAC also aims to promote research
cooperation between developing and industrial countries.

The conference concerns all aspects of theoretical computer science,
including, but not limited to:

Languages and automata
Semantics of programming languages
Logic in computer science
Lambda calculus, type theory and category theory
Domain-specific languages
Theories of concurrency and mobility
Theories of distributed computing
Models of objects and components
Coordination models
Timed, hybrid, embedded and cyber-physical systems
Security and privacy
Static analysis
Probabilistic and statistical verification
Software verification
Software testing
Runtime verification
Program generation and transformation
Model checking and theorem proving
Applications and case studies
AI-enabled software development
Theory and methods of trustworthy AI

Important Dates

Abstract submission: May 7, 2022
Paper Submission: May 14, 2022
Notification: July 24, 2022


We solicit submissions, related to the topics of ICTAC, in the following
original research contributions (16 pages max, excluding references);
applications and experiences (16 pages max, excluding references);
short papers, with original work in progress or with proposals of new ideas
and emerging challenges (6 pages max, excluding references); and
tool papers (6 pages max, excluding references).

All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Paper submission is done via
EasyChair at Papers must
be formatted according to the guidelines for Springer LNCS papers (see, without modifications of margins and other
space-saving measures. Authors should therefore consult Springer’s
authors’ instructions and use their proceedings templates, either for
LaTeX or for Word, for the preparation of their papers. Springer encourages
authors to include their ORCIDs in their papers.

All accepted papers in categories A-D will appear in the proceedings of the
conference that will be published as a volume in Springer's Lecture Notes
in Computer Science (LNCS) series.

Conference Chairs

Besik Dundua, Kutaisi International University, and Tbilisi State
University, Georgia
Mikheil Rukhaia, Tbilisi State University, Georgia

PC Chairs

Zhiming Liu, Southwest University in Chongqing, China
Corina Pasareanu, NASA Ames Research Center, USA
Helmut Seidl, Technical University of Munich, Germany

PC Members

Luis Barbosa, University of Minho, Portugal
Lei Bu, Nanjing University, China
Zhenbang Chen, National University of Defense Technology, Changsha, China
Yunwei Dong, Northwestern Polytechnical University, China
Deepak D'Souza, Indian Institute of Science, Bangalore, India
Maribel Fernandez, King's College London, UK
Simon Foster, University of York, UK
Fei He, Tsinghua University, China
Joost-Pieter Katoen, RWTH Aachen University, German
Johannes Kinder, Bundeswehr University Munich, Germany
Peter Lammich, University of Twente, The Netherlands
Guoqiang Li, Shanghai Jiao Tong University, China
Yannic Noller, National University of Singapore
Colin Paterson, University of York, UK
Martina Seidl, Johannes Kepler University Linz, Austria
Vaibhav Sharma, University of Minnesota, USA
Volker Stolz, Høgskulen på Vestlandet, Norway
Youcheng Sun, Queen's University Belfast, UK
Caterina Urban, INRIA, France
Heike Wehrheim, Paderborn University, Germany
Naijun Zhan, Institute of Software, Chinese Academy of Sciences, China
Miaomiao Zhang, Tongji University, China

Steering Committee

Martin Leucker (Chair), University of Lübeck, Germany
Zhiming Liu, Southwest University, China
Tobias Nipkow, Technical University of Munich, Germany
Augusto Sampaio, Universidade Federal de Pernambuco, Brazil
Natarajan Shankar, SRI, USA
Tarmo Uustalu, Tallinn University of Technology, Estonia

* 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] ISSAC 2022 - Final Call - Deadline Extension


ISSAC 2022

International Symposium on Symbolic and Algebraic Computation
July 4-7 2022
Lille, France



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

ISSAC 2022 will be held on 4-7 July 2022 at the University of Lille,

Important Dates

(The abstract and paper submission deadlines are EXTENDED)

Abstract submission: February 7, 2022, 23:59 (anywhere on Earth)
Paper submission: February 11, 2022, 23:59 (anywhere on Earth)
First notification of acceptance/rejection: April 17, 2022
End of rebuttal phase: May 1, 2022
Final notification after rebuttal phase: May 8, 2022
Camera-ready copy due: May 15, 2022

Submission Instructions

ISSAC 2022 invites the submission of original research contributions
to be considered for publication and presentation at the conference.
Papers should not duplicate work published or submitted for
consideration elsewhere.

Papers must be in English and should not exceed 8 pages in the ACM
two-column style, found at:
which can be downloaded from:
However, two additional pages may be used for bibliographical
references, and/or for experimental results (tables, figures),
experimental data (e.g. input or output systems for a solver) and
computer program code (library code, scripts, worksheets, Makefiles,

The portion of the paper before these two additional pages must be

Extended abstracts are not allowed. At least one author of each
accepted paper must register for the conference and present the paper.

Submissions not following those guidelines may be rejected
without having been formally reviewed by the PC members.

Submission is via EasyChair, at the web site


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

Algorithmic aspects:

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

Software aspects:

* Design of symbolic computation packages and systems
* Language design and type systems for symbolic computation
* Data representation
* Considerations for modern hardware
* Algorithm implementation and performance tuning
* Mathematical user interfaces

Application aspects:

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

Invited Speakers

Mioara Joldes (CNRS, LAAS, France)
Validated numerics: algorithms and practical applications in aerospace

Joris van der Hoeven (CNRS, LIX, France)
On the complexity of symbolic computation

Avi Wigderson (Institute for Advance Study, Princeton, USA)
Non-commutative Optimization: where algebra, analysis and algorithms meet

Conference Organization

General Chair: Marc Moreno Maza
(University of Western Ontario, Canada)
Program Committee Chair: Lihong Zhi
(Chinese Academy of Sciences, China)
Local Arrangements Chair: François Lemaire
(University of Lille, France)
Treasurer: François Boulier
(University of Lille, France)
Poster Chair: Rui-Juan Jing
(Jinagsu University, China)
Proceedings Editor: Amir Hashemi
(Isfahan University of Technology, Iran)
Publicity Chair: Xavier Caruso
(University of Bordeaux, France)
Tutorial Chair: Fatima K. Abu Salem
(American University of Beirut, Lebanon)
Software Presentations Chair: Erik Postma
(Maplesoft, Canada)

Program Committee

Anna Maria Bigatti University of Genoa, Italy
Changbo Chen Chinese Academy of Sciences, China
Shaoshi Chen Chinese Academy of Sciences, China
Erich Kaltofen North Carolina State University, USA
Gregor Kemper Technical University of Munich, Germany
Christoph Koutschan Austrian Academy of Sciences, Austria
George Labahn University of Waterloo, Canada
Wen-Shin Lee University of Stirling, United Kingdom
Alexander Levin The Catholic University of America, USA
Anton Leykin Georgia Tech, USA
Chenqi Mou Beihang University, China
Katsusuke Nabeshima Tokyo University of Science, Japan
Kosaku Nagasaka Kobe University, Japan
Clément Pernet University of Grenoble Alpes, France
Gregory Reid University of Western Ontario, Canada
Ana Romero University of La Rioja, Spain
Mohab Safey El Din Sorbonne University, France
Michael Sagraloff University of Applied Sciences in Landshut, Germany
Elias Tsigaridas Inria Paris, France
Tristan Vaccon University of Limoges, France
Lihong Zhi (chair) Chinese Academy of Sciences, China
* 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, January 25, 2022



-- co-located with FLoC/IJCAR 2022 --

July 31 - August 1, 2022, Haifa, Israel

Submission link:
Submission deadline: May 10, 2022
Theme: Parameterized complexity of problems in Logic, AI, and ML.

--------------------------------- AIMS AND SCOPE

This workshop aims to support a fruitful exchange of ideas between the
research on parameterized complexity (PC) on one side and the research
on problems in computational reasoning (Logic and probabilistic
reasoning), Artificial Intelligence (AI), and Machine Learning (ML) on
the other.

Topics of interest include but are not limited to:

- Parameterized complexity of problems in Logic, AI, Computational Social
Choice, and ML.
- Recent developments in PC and the above areas plus introduction of new
problems that might benefit from the PC approach.
- Various (structural) parameteriziations such as decompositions, backdoor
sets, and hybrid parameterizations.
- Theory and practice of parameterized algorithms.

The workshop will feature invited and contributed talks with surveys
and new technical results, an open problem session, and a panel
discussion on future research directions. Apart from talks on
parameterized complexity we are also interested in presentations that
highlight structural parameters that have not been studied within the
framework of parameterized complexity so far.

--------------------------------- CALL FOR PAPERS

If you would like to give a talk at the workshop, please submit a
short abstract of your talk via Easychair by the submission deadline
in PDF format. The abstract and talk can be based on published or
unpublished results, and we welcome overview and survey talks, besides
regular technical talks. Contributed talks are expected to be around
30 minutes each.

--------------------------------- IMPORTANT DATES

- Green light physical conference: 1 May 2022
- Early registration starts: 1 May 2022
- Workshop paper submission deadline: 10 May 2022
- Workshop accepted paper notifications: 15 June 2022

------------------------------ WORKSHOP ORGANISATION

- Sebastian Ordyniak, University of Leeds, United Kingdom (
- M.S. Ramanujan, University of Warwick, United Kingdom (
- Ronald de Haan, University of Amsterdam, Netherlands (

* 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 Presentations: Highlights of Logic, Games and Automata 2022 Inbox

HIGHLIGHTS 2022 will happen from June 28th to July 1st, 2022, in Paris,
France. The conference will be hosted by Université de Paris, and happen on
the site of Grands Moulins (

HIGHLIGHTS 2022 is the tenth conference on Highlights of Logic, Games and
Automata. It aims at integrating the community working in these fields.
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.

We encourage you to attend and present your best work, be it already
published or not, at the Highlights conference.

Conference page:

Highlights is an informal event which will take place on-site (barring
unforeseen circumstances), and the preferred form of participation is to
give your talk in-person. Highlights is mostly intended for a local
community of participants who can attend with a limited carbon footprint
(e.g., no plane travel). Before coming from further away, please review how
your trip and international flights are contributing to climate change. If
you do come, we encourage you to make the most of your stay in Paris, e.g.,
by also attending the ICALP'22 conference and/or using this opportunity for
a research visit (see the Highlights website for details).

If you cannot attend, you can watch the talks remotely via a video stream,
interact via text-based questions and answers, and you can also submit a
proposal for a pre-recorded talk. If it is accepted, you will provide a
video of your talk, which will be hosted online with other conference
videos and be advertised on-site. The selection process will not
discriminate between pre-recorded talks and in-person talks.

Submission: Mars 18
Notification: April 1st
Registration: TBA
Conference: June 28-July 1st, 2022.

Representative areas include, but are not restricted to:
• algorithmic model theory
• automata theory
• databases
• game for logic and verification
• logic
• verification

Dexter Kozen (USA)
Marta Kwiatkowska (UK)
Markus Lohrey (Germany)
Tatiana Starikovskaya (France)

S. Akshay (India)
Dana Fisman (Israel)

Submissions should take the form of a short abstract describing the content
of the presentation and its interest. It should serve as a proposal for a
presentation. Hence, submissions should have a single author — the speaker.
They can concern any recently published, to be published, or ongoing work
of the speaker. We expect you to present your favourite result of the year,
so there should be at most one submission per speaker. The abstract should
list co-authors, if any. Optionally, an extended abstract of up to two
pages may be attached as a PDF file.

Submissions will not lead to publications. There are no formal proceedings
and we encourage submission of work presented elsewhere.

Submission page:

C. Aiswarya (India)
Udi Boker (Israel)
Véronique Bruyère (Begium)
Dmitry Chistikov (UK)
Claire David (France)
Dietrich Kuske (Germany)
Karoliina Lehtinen (France)
Sebastian Maneth (Germany)
Kai Salomaa (Canada)
Alexandra Silva (US)
Michal Skrzypczack (Poland)
Sophie Tison (chair)
Szymon Torunczyk (Poland)
Thomas Zeume (Germany)

Antoine Amarilli
Daniela Petrisan

León Bohn (webmaster)
Antonio Casares (publicity chair)
Thomas Colcombet (chair)
Nathanaël Fijalkow
Slawek Lasota
Nicole Schweikardt
Luc Segoufin

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