Tuesday, February 22, 2022

[DMANET] LPNMR 2022 - last call for workshops - 3 days to deadline

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.]

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

                            CALL FOR WORKSHOPS

                       16th International Conference on
                Logic Programming and Non-monotonic Reasoning

                               LPNMR 2022

https://sites.google.com/view/lpnmr2022

                             Genova, Italy

                          September 5-8, 2022


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


The 16th International Conference on Logic Programming and Non-monotonic
Reasoning (LPNMR 2022) will be held in Genova, Italy.

The objective of the LPNMR workshop program is to stimulate the discussion
and the exchange of ideas on topics related, but not limited, to declarative
logic programming, non-monotonic reasoning, and knowledge representation. We
aim at creating a forum where researchers from a broad spectrum of disciplines
may interact and have an opportunity to promote collaboration and identify
directions for joint future research. Accordingly, we solicit workshop
proposals on theoretical and applied research topics.

Workshop proposals should explain and motivate the topic of the workshop, and
discuss the format of presentation of the contributes. Workshops will likely
be half-day or one-day in duration, but we may consider longer programs.


DATES

   * Workshop proposals submissions: February 25th, 2022
   * Workshop proposals notifications: March 7th, 2022
   * Workshop program: September 5th, 2022 (tentative date)


SUBMISSION

 Proposals must be submitted via EasyChair:

https://easychair.org/my/conference?conf=lpnmrws2022


 Proposals should clearly specify the following:

   * Workshop title and acronym
   * A brief description, emphasizing why this workshop would appeal to
     audiences from LPNMR
   * A list of organizers with email addresses, web page URLs, and a short
     description of their experience in organizing events
   * A short description of the format of planned activities (talks, posters,
     panels, invited speakers if any, etc.)
   * The proposed duration (half day, one day, etc.)
   * A description of the history of the workshop (if any)
   * Expected number of participants


VENUE

Workshops are planned to be held at the University, which is in the city
center of Genova.

Genova is the capital of Liguria, stretching along the bay of Genova
from Nervi to the east as far as Voltri to the west. Its old town district
is one of the largest in Europe, and hosts some remarkable artistic and
architectural treasures, including the Palazzi dei Rolli, fifty or so
homes of the aristocracy entered on the UNESCO World Heritage List. In
addition to offering a wealth of cultural attractions, Genova is a
fascinating destination for tourists, with its scenic vantage points,
sea promenades, aristocratic villas and of course the Riviera to the
east and west, both easy to reach: Portovenere and Le Cinque Terre (also
UNESCO World Heritage Sites), Portofino and Camogli to the east and
Alassio, Sanremo, Bordighera to the west.

The main conference will take place in Genova Nervi, Italy, in the
Collegio Emiliani (http://www.collegioemiliani.it/, information
available only in Italian on this link), which is a college directly
situated on the sea. Nervi is a former fishing village, now a suburb of
Genoa. Nervi is 7 km east of central Genova.

Of course, we will continuously monitor the pandemic situation in order
to evaluate whether the conference can be indeed held as an in-person
event, or we will need to switch to a hybrid event, if not completely
on-line.


GENERAL CHAIR

 Georg Gottlob, Oxford University, UK


PROGRAM CHAIRS

 Daniela Inclezan, Miami University, USA
 Marco Maratea, University of Genova, Italy


PUBLICITY CHAIR

 Jessica Zangari, University of Calabria, Italy


WORKSHOPS CHAIR

 Viviana Mascardi, University of Genova, Italy


DOCTORAL CONSORTIUM CHAIR

 Martin Gebser, University of Klagenfurt, Austria


LOCAL ORGANIZATION

 Matteo Cardellini, University of Genova, Italy
 Angelo Ferrando, University of Genova, Italy (Chair)
 Marco Mochi, University of Genova, Italy


CONTACT

 For any details on workshops, please contact the Workshop Chair:
viviana.mascardi@unige.it


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

Monday, February 21, 2022

[DMANET] Postdoc position (up to 4 years) in the area of Evolutionary Computation at The University of Adelaide, Australia

The Optimisation and Logistics group at the

School of Computer Science,
The University of Adelaide, Australia

has an open fixed Term position for up to 4 years.
(Level A) $89,610 to $96,007 per annum plus an employer contribution of up to 17% superannuation may apply.

This is a position for a postdoctoral researcher working on bio-inspired computing for problems with chance constraints.

We are seeking an excellent postdoctoral researcher with a PhD in computer science, mathematics, or related field. The successful applicant should carry out theoretical or applied work on evolutionary algorithms, ant colony optimisation, and related bio-inspired computing methods for problems with stochastic constraints.

Candidates having experiences in the field of randomised methods and/or computational complexity of bio-inspired computation are highly encouraged to apply.

The postdoctoral researcher will be part of the Optimisation and Logistics group led by Professor Frank Neumann. Currently, around 20 researchers from several nationalities work in the Optimisation and Logistics group. The group carries out leading international research work in the area of artificial intelligence and evolutionary computation and has strong international collaborations with leading research groups in Australia, Europe and the US. A generous travel support for the attendance of internationally leading conference and international collaborations will be available to the successful applicant.

To be successful you will need:
• A PhD in Computer Science, Mathematics or related field.
• Strong publication track record on evolutionary computation at leading international conferences such as AAAI, GECCO, IJCAI, and PPSN.
• Background on optimisation of problems with stochastic constraints.
• Demonstrated experience in supporting a research team by contributing to the mentoring of PhD and graduate/undergraduate students.
• Commitment to the principles of equity, diversity and inclusion, and ability to contribute to the diversity of the School community.

Applications close 11:55pm, 19 March 2022

More information at: https://careers.adelaide.edu.au/cw/en/job/507143/internal-grantfunded-researcher-a

--------
Frank Neumann
Professor
Optimisation and Logistics
School of Computer Science
University of Adelaide, Australia
Adelaide, SA 5005
Australia
www.cs.adelaide.edu.au/~frank<http://www.cs.adelaide.edu.au/~frank>

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

[DMANET] Richard Rado Prize 2022

(The announcement below is a reminder for nominations for the Richard
Rado Prize. It is given in German, because eligibility for the prize is
restricted to doctoral theses completed at universities in Germany,
Austria, or the German speaking part of Switzerland or by candidates of
one of the corresponding nationalities.)


--------------------------------------------------------
Ausschreibung des Richard-Rado-Preises 2022
--------------------------------------------------------

Die Fachgruppe Diskrete Mathematik (http://fg-diskrete.mathematik.de)
der Deutschen Mathematiker-Vereinigung schreibt zum 13. Mal einen Preis
für hervorragende Dissertationen in der Diskreten Mathematik aus.

Die Bekanntgabe der Preisträgerin/des Preisträgers und die Übergabe des
Preises wird im Rahmen des Symposiums Diskrete Mathematik 2022 erfolgen,
das am 30. September und 1. Oktober 2022 in Hamburg stattfindet. Die
Preisträgerin/der Preisträger werden zu diesem Symposium eingeladen, um
ihre/seine Dissertation in einem Vortrag vorzustellen.

Die Entscheidung über die Preisvergabe liegt in den Händen einer
renommierten ausländischen Mathematikerin oder eines renommierten
ausländischen Mathematikers. Vorschlagsberechtigt sind die Betreuer der
Dissertationen, eine Eigenbewerbung ist ausgeschlossen. Vorgeschlagen
werden können Personen, die in Deutschland, Österreich oder der
deutschsprachigen Schweiz promoviert wurden oder eine solche
Nationalität besitzen und deren Dissertation über ein Thema der
Diskreten Mathematik zwischen dem 1. Januar 2020 und dem 31. Dezember
2021 abgeschlossen wurde. Das Datum der Verteidigung zählt hierbei als
das Abschlussdatum. Dem Vorschlag sind ein Exemplar der Dissertation
sowie ein Gutachten (in englischer Sprache) der Betreuerin/des Betreuers
der Arbeit beizufügen. Desweiteren fügen Sie bitte ein in Englisch
verfasstes Abstract der Dissertation bei, falls diese in deutscher
Sprache verfasst wurde.

Die Vorschläge und Gutachten sind bis zum 28. Februar 2022 bei einem der
Vorstandsmitglieder der Fachgruppe Diskrete Mathematik, bevorzugt in
pdf-Dateien, einzureichen:

Prof. Dr. Michael Joswig
Technische Universität Berlin
Institut für Mathematik
Straße des 17. Juni 136
D-10623 Berlin
joswig@math.tu-berlin.de

Prof. Dr. Volker Kaibel
Otto-von-Guericke-Universität Magdeburg
Institut für Mathematische Optimierung
Universitätsplatz 2
D-39106 Magdeburg
kaibel@ovgu.de

Prof. Dr. Mihyun Kang
Technische Universität Graz
Institut für Diskrete Mathematik
Steyrergasse 30
A-8010 Graz
kang@math.tugraz.at

Prof. Dr. Anusch Taraz (Fachgruppensprecher)
Technische Universität Hamburg
Institut für Mathematik
Am Schwarzenberg-Campus 3
D-21073 Hamburg
taraz@tuhh.de

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

[DMANET] [Call For Participation] IEEE PerCom 2022

[Apologies if you receive multiple copies of this message]

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

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

* The 20th International Conference on Pervasive Computing and

* Communications (PerCom 2022), March 21-25, 2022

* Pisa, Italy (virutal)

* http://www.percom.org

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

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

* FREE REGISTRATIONS FOR STUDENTS

* IEEE PerCom 2022 is delighted to offer 100 student FREE registrations,

* based on a First-Come-First-Served basis. Please refer to the section

* "Free registrations for students" in the registration instructions page

* for details http://www.percom.org/registration/

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

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

* FULL PROGRAM PUBLISHED

* http://www.percom.org/full-program/

* Pisa, Italy (virtual) March 21 - 25, 2022

*

* Highlights:

* Two keynote speeches

* 19 Full Papers and 5 Concise Contributions - see below

* 1 Panel session

* Best Papers Session

* 2 Work-in-Progress Panels Sessions

* Industry session

* Demonstration Session

* PhD Forum

* 17 Workshops - see http://www.percom.org/list-of-workshops/

*

* Program Outline

* March 22: Pre-conference Workshops

* March 22-24: Main Conference

* March 22-23: Keynotes

* March 24: Panel

* March 22 - 24: Industry, Demo and WiP sessions

* March 22: Best Papers Session, PhD Forum

* March 26: Post Conference Workshops

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

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

Keynote 1

Date: 22 March @14.30 CET

Title: Engineering the New Fabric of the Distributed Compute Continuum

Speaker: Prof. Schahram Dustdar, TU Wien, Austria

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

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

Keynote 2

Date: 23 March @14.30 CET

Title: One Robot for Every Task

Speaker: Prof. Daniela Rus, MIT, USA

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

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

Panel

Date: 24 March @14.30 CET

Title: "Pervasive Autonomy: Humans-in-the-Loop, or Forget-about-Them?"

Panel Chair: Prof. Franco Zambonelli, Università di Modena e Reggio Emilia,
Italy

Panelists:

Prof. Virginia Dignum, Umea University, Sweden

Prof. Jeremy Pitt, Imperial College London, UK

Prof. Giovanni Sartor, University of Bologna, Italy

Prof. Gregor Schiele, Universität Duisburg-Essen, Germany

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

PerCom is the premier annual scholarly venue in pervasive computing

and communications. Pervasive computing has found its way into many

commercial systems 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.

Out of 811 ranked conferences, the CORE 2021 conference ranking

assessment positioned PerCom in the top 7% of academic conferences and

receiving the highest-ranking assessment of A*.

Source: http://portal.core.edu.au/conf-ranks/669/

The single-track main program includes the latest research in the

various field of pervasive and mobile computing, featuring 8 sessions on

machine learning, multimedia, healthcare, smart cities, IoT, sensing,

crowdsensing, privacy, activity recognition.

This year's program includes two keynote talks by

Prof. Schahram Dustdar (TU Wien, Austria) and Prof. Daniela Rus (MIT, USA)

and one Panel, chaired by Prof. Franco Zambonelli, University of Modena and
Reggio Emilia, Italy

on cutting-edge PerCom topics.

Work-in-proress panels, an industry session, demonstrations and a PhD forum
complete

this year's technical program.

IEEE PerCom 2022 also features 17 workshops spread on the pre-conference
and post-conference days,

on March 21st and 25th, respectively.

Detailed program: http://www.percom.org/full-program/

Registration: http://www.percom.org/registration/

Due to the persistent pandemic conditions, the conference will take place

as a virtual event, supported through Whova and Zoom.

Detailed instructions for participants will be posted at percom.org

For any additional information feel free to contact the

General Chairs at percom2022@iit.cnr.it

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

[DMANET] Formal Verification: Postdoc and PhD Positions available at University of Stuttgart, Germany

The Institute of Information Security at University of Stuttgart offers

fully-funded Postdoc and PhD positions in formal verification.

Successful candidates are expected to carry out research on
tool-supported formal verification methods for security-critical systems
and security protocols in our new REPROSEC initiative
(https://reprosec.org/). See, e.g., our work at ACM CCS 2021 and EuroS&P
2021 on DY*.

The positions are available immediately with an internationally
competitive salary (German public salary scale TV-L E13 or TV-L E14,
depending on the candidate's qualification, ranging from about 4.000
Euro to 6.200 Euro monthly gross salary). The employment periods are
between one and six years, following the German
Wissenschaftszeitvertragsgesetz (WissZeitVg).

The Institute of Information Security offers a creative international
environment for top-level international research in Germany's high-tech
region.

You should have a Master's degree or a Ph.D. (or should be very close to
completion thereof) in Computer Science, Mathematics, Cyber Security, or
a related field. We value excellent analytical skills and

- solid knowledge of logic, proofs and/or formal verification techniques
(Theorem Proving, Type Checking, etc.), and
- solid programming experience.

Knowledge in cryptography/security is not required, but a plus.
Knowledge of German is not required.

The University of Stuttgart is an equal opportunity employer.
Applications from women are strongly encouraged. Severely challenged
persons will be given preference in case of equal qualifications.

To apply, please send email with subject "Application: PhD/Postdoc
Position in Formal Verification" and a single PDF file containing the
following documents to ralf.kuesters@sec.uni-stuttgart.de:
* Cover letter (explaining your scientific background and your
motivation to apply)
* Curriculum Vitae
* List of publications, if applicable
* Copies of transcripts and certificates (Bachelor, Master, and if
applicable, PhD)
* Names of at least two references

The deadline for applications is

March 13th, 2022.

Late applications will be considered until the positions are filled.

See https://sec.uni-stuttgart.de/ for more information about the institute.

See https://www.sec.uni-stuttgart.de/institute/job-openings/ for the
official job announcement.

For further information please contact: Prof. Dr. Ralf Küsters,
ralf.kuesters@sec.uni-stuttgart.de.


--
Prof. Dr. Ralf Küsters
Institute of Information Security - SEC
University of Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
https://sec.uni-stuttgart.de
Phone: +49 (0) 711 685 88283
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] PhD scholarship at University of Sydney

Eight PhD scholarships are available at the Sydney Algorithms and Computing
Theory group (SACT), School of Computer Science, University of Sydney,
Australia.

The scholarships are in the following areas:
* computational geometry
* computational logic and automata theory
* sublinear algorithms and computational learning

The PhD scholarships include:
* tuition fee waiver
* living allowance AUD 35k/year
* funding to present at workshops and conferences
* no teaching obligations

Applicants should provide evidence of a strong background in discrete
mathematics, algorithms, theory of computation, logic, or related topics.

If you are interested in this opening, please contact the group member(s)
you might want to work with. We especially encourage women and
underrepresented minorities to apply. Applications will be reviewed
starting on March 15th, though later applications will be considered.

The SACT group members include:
* Clément Canonne (sublinear algorithms, computational learning)
* Joachim Gudmundsson (computational geometry)
* André van Renssen (computational geometry)
* Sasha Rubin (computational logic, automata theory)

The SACT group has strong collaborations with the theory group at UNSW, and
is actively organising international workshops (Bridging Maths and CS) and
conferences (ISAAC 2024).

The school is ranked "well above world standard" in the most recent ERA
(Excellence in Research for Australia) assessment (2018) in the fields
"Computation Theory and Mathematics", "Artificial Intelligence and Image
Processing", "Distributed Computing", and "Information and Computing
Sciences".

The university campus is centrally located:
* ~3km to Sydney CBD
* ~7km to Sydney International Airport
* ~10 km to the beach
* ~30km to the nearest national park

The city consistently ranks highly worldwide in the Mercer Quality of
Living Survey. The following quotation is from
https://en.wikivoyage.org/wiki/Sydney: "Sydney is the Harbour City. It is
the largest, oldest and most cosmopolitan city in Australia with an
enviable reputation as one of the world's most beautiful and liveable
cities. Brimming with history, nature, culture, art, fashion, cuisine and
design, it is set next to miles of ocean coastline and sandy surf beaches."

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

[DMANET] Call for Abstracts and Sessions on Multiobjective Combinatorial Optimization at EURO 2022 Espoo, Finland - 32nd European Conference on Operational Research

==============================================================
Multiobjective Combinatorial Optimization at
EURO 2022, 32nd European Conference on Operational Research
http://www.euro2022espoo.com 3rd-6th July in Espoo, Finland
==============================================================

Dear colleagues,

We are organising a stream on Multiobjective Combinatorial Optimization at the
EURO 2022, 32nd European Conference on Operational Research
(http://www.euro2022espoo.com).

# Call for abstracts

We invite you to submit an abstract directly to the Contributed session using
the code ff77165c via the abstract submission system:

https://euro2022espoo.com/submissions/ (code: ff77165c)

We welcome abstracts (max. 1500 characters) on various topics, including but
not limited to:

* Real-world applications of MCO
* Multiobjective integer linear programming
* Exact algorithms for MCO
* Multiobjective metaheuristics and evolutionary algorithms
* Approximation and representation results for MCO
* Interactive MCO approaches
* Parallel MCO
* Performance assessment and benchmarking
* Automatic algorithm selection, configuration and design
* Application of machine learning to MCO

Please note that abstracts must be written in English and contain no more than
1500 characters in plain text format (no formulas allowed). Each registered
attendee is allowed to give one presentation at the conference. The speaker
must enter the abstract and will be shown as the first author.

# Call for sessions

If you are interested in organising a session, please contact us (contact
information below) with a tentative title and description of your proposal.
Once accepted, we will include your session in the electronic Abstract
Submission System and you can invite speakers to your session conveniently (a
session can naturally have more than one organizer in which case you'll just
have to decide who will chair the session). As a session organiser, your role
will be to select abstract submissions or invite authors to deliver a talk
within your session. A session typically consists of 4 talks. If there are more
than four speakers, it is still possible that the same organisers hold more
than one session dedicated to the same topic.

# IMPORTANT DATES:

Abstract submission deadline: Friday, March 4, 2022
Early registration deadline: Friday, March 25, 2022
Author registration deadline: Friday, April 8, 2022


If you have any questions, please, do not hesitate to contact us!


With best regards,

Matthias Ehrgott <m.ehrgott@lancaster.ac.uk>
University of Lancaster, UK

Manuel López-Ibáñez <manuel.lopez-ibanez@uma.es>
University of Málaga, Spain

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

[DMANET] [CFP] 4th International workshop in Artificial Intelligence and Industrial Internet-of-Things Security (AIoTS)

Apologize for any cross-posting
----------------------------------------------------------------------------------------------------------

=====================================
CALL FOR PAPERS
=====================================

4th International workshop in Artificial Intelligence and Industrial
Internet-of-Things Security (AIoTS)

Co-located with ACNS2022 (June 20-23), Rome, Italy.
=====================
Workshop description:
=====================

In recent years, Artificial Intelligence (AI) has got a lot of
attention, especially, for the success of deep learning to address
problems that were considered hard before. Big players such as Google,
Amazon and Baidu are exploring the application of AI in different
markets like healthcare, FinTech and autonomous vehicles. Along with AI,
other technologies such as Internet-of-Things (IoT) have boosted other
areas like the case of Industry 4.0, where through the adoption of
Industrial-IoT (IIoT) into the production chain companies want to have a
smarter manufacture that can be adapted to their customers' needs. The
accelerating adoption of new technologies brings new challenges
especially associated with the cybersecurity of the applications, where
confidentiality, integrity and availability of data are important.
Security incident in IIoT impacts the safety properties since
applications interact physically with people or other assets. The
intersection of AI and cybersecurity can be seen as a two-fold
relationship. On the one hand, AI techniques can be adopted to improve
the state-of-the-art of security solutions, while on the other hand,
cybersecurity can contribute to improve the study of the security of AI
algorithms through the exploration of adversarial machine learning. This
workshop aims to open a space where new research ideas from different
areas converge into the intersection of AI, IIoT, Cyber-Physical Systems
(CPS) and cybersecurity. We encourage researchers and experts in the
fields of AI, embedded systems, CPS and cybersecurity to take the
opportunity to use this workshop for sharing their work and open the
discussion of new ideas in this always-evolving topic.

=======
Topics:
=======

AIoTS aims to cover various fields of application in the area of
security and privacy within the fields of artificial intelligence and
industrial IoT. Thus, suggested topics include, but are not limited to,
the following points:

- Formal security and resilience analysis on AI and IIoT/CPS
- Risk management and governance for AI and IIoT-based Application
- AI-Assisted Critical Infrastructure Security
- (Federated) Adversarial Machine Learning
- AI for Detection, Prevention, Response and Recovery against Potential
Threats
- AI for Wide-Area Situational Awareness and Traceability
- Applied Cryptography for AI and IIoT
- Security and Privacy of Cyber-Physical Systems and/or IIoT
- Applications of Formal Methods to IIoT Security
- Blockchain for Trustworthy IIoT/CPS-based applications
- Embedded Systems Security
- Cyber Threat Intelligence for AI and IIoT/CPS
- Privacy-Preserving Machine Learning

For more details on submission, please have a look at the AIoTS2022
website: https://mujeebch.github.io/aiots2022/

================
IMPORTANT DATES:
================

Paper Submission Deadline: March 4, 2022

Notification of Acceptance/Rejection: April 15, 2022

Submission of camera-ready papers for pre-proceedings: May 1, 2022

Workshop date: one day between June 20 and June 23, 2022

===================
Workshop PC Chairs:
===================

- Sridhar Adepu, University of Bristol, UK
- Cristina Alcaraz, University of Malaga, Spain

================
Publicity Chair:
================

- Sergio Gonzalez, University of Malaga, Spain

==========
Web Chair:
==========

- Chuadhry Mujeeb Ahmed, University of Strathclyde, UK

============================
Technical Program Committee:
============================

- Magnus Almgren, Chalmers University, Sweden
- Luis Garcia, University of Southern California, USA
- Nandha Kumar KANDASAMY, SUTD, Singapore
- Qin Lin, CMU, USA
- Subhash Lakshminarayana, University of Warwick, UK
- Eleonora Losiouk, University of Padua, Italy
- Rajib Ranjan Maiti, BITS, India
- Daisuke Mashima, ADSC, Singapore
- Weizhi Meng, Technical Universtiy of Denmark, Denmark
- Chris Poskitt, SMU, USA
- Federica Pascucci, Roma Tre University, Italy
- Zheng Yang, Southwest University, China

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

Sunday, February 20, 2022

[DMANET] Session on MIP for scheduling and capacity management at EURO conference Aalto (July 2022)

Dear colleagues,

The 32nd EURO Conference on Operational Research (https://euro2022espoo.com) will take place from July 3 to 6 (2022) at Aalto University (Finland).

I am organizing an invited session on the subject of "MIP for scheduling and capacity management", within the stream "Mixed Integer Linear Programming".

If you wish to submit a paper to this session, then please use the following invitation code: 0d06a414 . With this code, you can submit abstracts by going to the abstract submission page https://www.euro-online.org/conf/euro32. Alternatively, you can also send me an e-mail (Roel.Leus@kuleuven.be), and I can then have an e-mail invitation sent to you by the system, or I can enter the abstract for you.

Please also note the abstract submission deadline of Friday, 04 March 2022.

Hope to see you all in Finland!

Roel Leus

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

Saturday, February 19, 2022

[DMANET] Call for abstracts: “OR in Energy” --- EURO 2022, Espoo, Finland, July 3-6, 2022

We invite you to the Stream " OR in Energy " within the Area of " Interface of OR with other disciplines " at the 32nd Conference of the Association of European Operational Research Societies (EURO 2022) in Espoo, Finland (https://euro2022espoo.com/).
Here we welcome contributions related to all OR-related or -supported aspects of energy such as of electricity and power supply, generation and induction, storage and transition, load balancing and demand prediction, electricity markets and collaboration networks, environment protection and development of our countries.

If you intend to participate, please upload an abstract of maximum 1500 characters, including spaces, to the EURO Conference submission platform (https://www.euro-online.org/conf/euro32/welcome) using the corresponding Session Code:

Session: Session Code

Modeling uncertainty in energy markets 71f12989 (with Iegor Riepin)
Optimization and Equilibrium Modeling in Energy 4241e65c (with Steven Gabriel)
Towards technical and economical feasibility of renewable-dominated power systems 2d020e61 (with Miguel Carrión)
Policy-enabling models in the power sector 6c0638a9 (with Afzal Siddiqui)
NN 50a7ff10 (with Luis Baringo)

If you have any question, please do not hesitate to get in touch.

Stream co-chairs:
Luis Baringo (Luis.Baringo@uclm.es), Raimund Kovacevic (raimund.kovacevic@tuwien.ac.at) and Gerhard-Wilhelm Weber (gerhard-wilhelm.weber@put.poznan.pl)


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

Friday, February 18, 2022

[DMANET] 1st Call for Participation: 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP2022)

1st Call for Participation: 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP2022)


WHERE? Aalborg University, Aalborg, Denmark

WHEN? June 13 - 17, 2022

WEBSITE: https://movep2022.cs.aau.dk/

==

MOVEP is a five-day summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.

MOVEP 2022 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (each talk will last around 20 minutes). Extended abstracts (1-2 pages) of these presentations will be published in informal proceedings.

The organisation committee is closely monitoring the COVID situation. Currently, we are planning for an in-person school in Aalborg with the possibility for remote participation for those that cannot attend in person. Should it become necessary, the school will be held virtually.

==
Speakers
==

* Giovanni Bacci (Aalborg University, Denmark): From Bisimulations to Metrics via Couplings

* David Baelde (ENS Rennes & IRISA): Formal Proofs of Cryptographic Protocols with Squirrel

* Christel Baier (Technische Universität Dresden, Germany): From Verification to Causality-based Explications

* Wojciech Czerwiński (University of Warsaw, Poland): The Reachability Problem for Vector Addition Systems

* Bartek Klin (Oxford University, United Kingdom): Computation Theory over Sets with Atoms

* Laura Kovacs (Vienna University of Technology, Austria): First-Order Theorem Proving and Vampire

* Anca Muscholl (LaBRI & Université Bordeaux, France): A View on String Transducers

* Nir Piterman (Chalmers University of Technology, Sweden): Reactive Synthesis

* Amaury Pouly (IRIF, France): Linear Dynamical Systems: Reachability and Invariant Generation

* Renaud Vilmart (LMF & Inria): How to Verify Quantum Processes


==
Student Session
==

We encourage participants to present their (ongoing or published) work. Talks will last around 20 minutes. 1-2 page abstracts (no particular format is required) should be submitted via easychair:

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

Important Dates

Abstract submission: May 1st, 2022
Notification of acceptance: May 14, 2022

==
Fees and Registration
==

The fees include coffee and lunch breaks as well as the conference dinner.

Early-bird 350 Euro (before May 1st, 2022)
Late 400 Euro

https://movep2022.cs.aau.dk/registration.html

==
Committees
==

Organising committee

* Peter G. Jensen (Aalborg University, Denmark)
* Florian Lorber (Aalborg University, Denmark)
* Martin Zimmermann (chair, Aalborg University, Denmark)

Program committee

* Saddek Bensalem (Universirsité Grenoble Alpes, France)
* Patricia Bouyer-DeCitre (LMF, CNRS & ENS Paris-Saclay, France)
* Emmanuel Filiot (Université libre de Bruxelles, Belgium)
* Dana Fisman (Ben-Gurion University, Israel)
* Radu Grosu (Vienna University of Technology, Austria)
* Holger Hermanns (Saarland University, Germany)
* Nils Jansen (Radboud University Nijmegen, Netherlands)
* Marcin Jurdzinski (University of Warwick, United Kingdom)
* Steve Kremer (Inria Nancy - Grand Est, France)
* K Narayan Kumar (Chennai Mathematical Institute, India)
* Denis Kuperberg (ENS Lyon, France)
* Anca Muscholl (LaBRI & Université Bordeaux, France)
* Paritosh K. Pandya (IIT Bombay, India)
* Gabrielle Puppis (Udine University, Italy)
* Nir Piterman (Chalmers University of Technology, Sweden)
* Kristin Rozier (Iowa State University, United States)
* César Sánchez (IMDEA Software Institute, Spain)
* Szymon Torunczyk (University of Warsaw, Poland)
* Martin Zimmermann (chair, Aalborg University, Denmark)

Steering committee

* Nathalie Bertrand (INRIA Rennes, France)
* Benedikt Bollig (LMF, CNRS & ENS Paris-Saclay, France)
* Radu Iosif (CNRS & Verimag, France)
* Didier Lime (Ecole centrale de Nantes, France)
* Christof Löding (RWTH Aachen University, Germany)
* Nicolas Markey (CNRS & INRIA & Univ. Rennes 1, France)

--
Martin Zimmermann
Department of Computer Science
Aalborg University
+45 9940 8770
https://people.cs.aau.dk/~mzi/


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

[DMANET] Postdoctoral position at LIP, ENS Lyon (second call, deadline March 1st)

A full-time 1-year postdoctoral position in Computer Science is
available at the Laboratoire de l'Informatique du Parallélisme (LIP) of
École Normale Supérieure de Lyon (ENS de Lyon), supported by the ANR
project TWIN-WIDTH
(http://perso.ens-lyon.fr/edouard.bonnet/twinwidth.html).

Requirements:
* Completed PhD (by September 2022; flexible) in Computer Science or
Mathematics
* Strong academic background in algorithms and/or graph theory.
* Strong research track record in one or more of the following domains:
- algorithmic graph theory
- algorithm engineering for graph problems
- combinatorics
- finite model theory
- computational group theory
- computer algebra
* An interest to work within the project funding the position;
See http://perso.ens-lyon.fr/edouard.bonnet/text/twwProject.pdf

Duties: Research in the above areas. The position does not come with
teaching duties, thus French is NOT mandatory.
Duration: 12 months
Staring: September 2022 (flexible)
Salary: Between 2690 and 3094EUR of monthly gross salary according to
experience (~2200-2600EUR of monthly net salary)
Location: Lyon is among the three largest cities in France. It has a
rich history, architecture, and is renowned for its gastronomy.
It is well connected (~2h by train) to the French Alps, the French
Riviera, and Paris.
ENS Lyon and LIP are vibrant environments to do research. They are
central institutions in France with international visibility and highly
selected students
(there might be opportunities for the recruited candidate to supervise
or co-supervise bachelor or master students).

Applications include a detailed CV, a complete list of publications, a
research statement, a selection of up to 3 best papers with a short
summary.

First register there: https://emploi.cnrs.fr/Candidat. Then go to:
https://emploi.cnrs.fr/Offres/CDD/UMR5668-LAUSAV-001/Default.aspx?lang=EN

and just upload your full application in a single pdf file in "CV".
The "cover letter" is optional but you will have to put a dummy pdf to
be able to validate your application.

Please arrange to have two reference letters sent directly to
edouard.bonnet@ens-lyon.fr.

The deadline for applications and reference letters is March 1st 2022.
(Please ignore the mention of the 17/02 deadline on the website)

Some candidates might be invited to a 20-minute interview in March.

Direct your informal inquiries (such as issues with submitting your
application on the platform) to edouard.bonnet@ens-lyon.fr.

--
Édouard Bonnet
CR CNRS at LIP, ENS Lyon
email: edouard.bonnet@ens-lyon.fr

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

[DMANET] Invitation to contribite to a new book Data Mining is More Than Comprehensive Analysis

Dear Colleague,

We are going to celebrate the 80th anniversary of our friend and colleague
Boris Mirkin on December 5, 2022.
https://www.dcs.bbk.ac.uk/about/people/visiting-and-emeritus-staff/boris/
and https://www.hse.ru/en/staff/bmirkin

We believe that it would be a good idea to publish a collection of papers
in honor of Boris.

The preliminary title of the collection is "*Data Mining is More Than
Comprehensive Analysis*" to emphasize Boris' contribution to his area of
research in *clustering - decision making - mathematical classification -
evolutionary trees - data summarization and text interpretation*. The
intended Publisher is Springer.

We cordially invite you to contribute to the volume. Of course, it will be
a peer reviewing procedure to help maintaining a high quality of the
volume. Nevertheless, your contribution may include a high portion of
previously published results if presented as a more or less comprehensive
review. Topics of interest for submission include, but are not limited to:

*- Data Mining*

*- Mathematical classification*

*- Clustering*

*- Data cleaning*

*- Data aggregation*

*-Text summarization*

*- Evolutionary trees*

*- Dimensionality reduction*

*- Data and text interpretation.*

*- Association rules*

*- Feature selection*

*- Outlier analysis*

*- Visualization analytics for big data*

*- Spatial data mining*

*- Predictive models and algorithms*

*- Deductive models and algorithms*

*- Inductive models and algorithms*

*- Spatial data analysis and modeling*

The format of your contribution is Latex, see for details

https://www.springer.com/gp/authors-editors/book-authors-editors/your-publication-journey/manuscript-preparation

If you agree, could you please give us the preliminary title and abstract
of your submission as soon as possible, and give us an approximate date for
your submission to be ready. In particular, if we put a deadline, say, 1st
May, 2022, would you be prepared to meet the deadline? Please submit your
abstracts, papers and questions to Boris Goldengorin, goldengorin@gmail.com
and Sergei Kuznetsov, skuznetsov@hse.ru

Many thanks for your consideration,

The Editors

Boris Goldengorin, Sergei Kuznetsov

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

[DMANET] Call for abstract-EURO conference- Session Project Scheduling under Uncertainty and Risk

Dear colleague,
I am glad to invite you to submit an abstract in the session
"Project Scheduling under uncertainty and risk", for the 32nd EURO
Conference on Operational Research (https://euro2022espoo.com) that will
take place from July 3 to 6, 2022 at Aalto University (Finland).

If you are interested in presenting a contribution in this session, please
submit it through the abstract submission page
*https://www.euro-online.org/conf/euro32
<https://www.euro-online.org/conf/euro32> * with the invitation code
*dd79f6a7**,* or send an email to mariaelena.bruni@unical.it with the
abstract in attachment by March, 4, 2022.

Looking forward to your submission!

Regards,

Maria Elena Bruni

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

[DMANET] 2nd Workshop on Combinatorial Reconfiguration, affiliated with ICALP 2022

Announcement and Call for Contributed Talks
=======================================================
2nd Workshop on Combinatorial Reconfiguration
affiliated with ICALP 2022

July 4, 2022
Paris, France, with the option to participate online

Web site: http://www.dais.is.tohoku.ac.jp/coreworkshop2022.html
Submission: https://easychair.org/conferences/?conf=core2022

Submission deadline: May 11, 23:59 AoE
Notification: May 25
=======================================================

* Aim and Scope
Combinatorial Reconfiguration studies reachability and related questions over
combinatorial structures. These types of questions arise in many areas of mathematics,
computer science, and related fields. A typical example asks if the solution space of
a Boolean formula is connected with respect to the Boolean cube topology, formed by
flipping one bit at a time. Another example of a well-studied application is sampling
from a very large configuration space by simulating a Markov chain involving local
reconfigurations. Although there is now a wealth of publications on many aspects of
Combinatorial Reconfiguration, including a general framework, many questions remain
open. The study of Combinatorial Reconfiguration brings together problems and
techniques from a variety of fields in mathematics and computer science, such as
combinatorial game theory, graph and hypergraph theory, enumeration, probability
theory, random sampling via Markov Chain Monte Carlo methods, bioinformatics,
complexity theory, discrete geometry, statistical physics, and many others.

With the success of the 1st workshop affiliated with ICALP 2021, this workshop aims at
strengthening relations among researchers in various fields of theoretical computer
science and mathematics, and broadening interest in Combinatorial Reconfiguration to a
wider audience. Two invited talks by leading experts are planned as a way to build
bridges to closely-related fields. We also plan to have the award ceremony for the 1st
Combinatorial Reconfiguration Challenge (CoRe Challenge 2022) during the workshop.
https://core-challenge.github.io/2022/

The workshop is planned to be held in person in Paris, but participants have the
option to join online. However, because of the future uncertainty, we may opt for a
fully online workshop, even if ICALP itself is held in person.

The workshop is held in cooperation with JSPS KAKENHI project "Fusion of Computer
Science, Engineering and Mathematics Approaches for Expanding Combinatorial
Reconfiguration."
https://core.dais.is.tohoku.ac.jp/en/

* Invited Speakers
- Catherine Greenhill (UNSW Sydney, Australia)
- Amer E. Mouawad (American University of Beirut, Lebanon)

* Call for Contributed Talks and Submission Guideline
Authors are invited to submit original work that is related to any aspect or
application of Combinatorial Reconfiguration. Any work already or not yet published is
welcome. Presentations of ongoing work and open problems, as well as challenges, are
encouraged. Short survey talks are also welcome.

The submission must be formatted in one page that contains the title of the work, the
list of all authors, an email address of the corresponding author, and a brief summary
of the presentation. The manuscript must be prepared with the following template as a
PDF file.
http://www.dais.is.tohoku.ac.jp/core2022template.zip

There will be no formal refereeing process. A collection of one-page abstracts will be
distributed to the workshop participants only. Submission should be done via
EasyChair.

* Important Dates
- Submission deadline: May 11, 23:59 AoE
- Notification: May 25
- Camera-ready version due: June 13, 23:59 AoE
- Date of workshop: July 4, 2022

* Program Committee
- Nicolas Bousquet, CNRS, Universite Lyon 1, France
- Takehiro Ito, Tohoku University, Japan (Chair)
- Jun Kawahara, Kyoto University, Japan
- Naomi Nishimura, University of Waterloo, Canada
- Yoshio Okamoto, The University of Electro-Communications, Japan
- Akira Suzuki, Tohoku University, Japan

* Organizing Committee
- Takehiro Ito, Tohoku University, Japan (Chair)
- Jun Kawahara, Kyoto University, Japan
- Yoshio Okamoto, The University of Electro-Communications, Japan
- Akira Suzuki, Tohoku University, Japan

--
Yoshio Okamoto, Prof. <okamotoy@uec.ac.jp>
Dept. of Computer and Network Engineering
University of Electro-Communications
Chofugaoka 1-5-1, Chofu, Tokyo 182-8585
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] ICGT 2022 | Montpellier, July 4-8 | Second CFP: registration is open

[Apologies for multiple receptions]

============================
ICGT 2022 - Second CPF
============================

The 11th International Colloquium on Graph Theory and combinatorics
(ICGT 2022) will take place in

** Montpellier, France, July 4-8, 2022 **

Webpage of the conference: www.lirmm.fr/icgt-2022

ICGT is a conference created in the honor of Claude Berge in 1976 and
organized by the French community in Graph Theory every 4-5 years. This
11th edition succeeds the editions of Lyon in 2018, Grenoble in 2014, Orsay
in 2010, and Hyères in 2005.

We welcome submissions whose main topic is graph theory (including graph
algorithms and computational aspects) and/or combinatorics.

Submission guidelines: https://www.lirmm.fr/icgt-2022/submission
Submission website: https://easychair.org/conferences/?conf=icgt-2022

Unless the situation of the pandemic gets significantly worse, we plan to
hold ICGT 2022 in a fully physical format. Should there be any changes, we
will immediately announce it in the above conference webpage.

Contact email: icgt2022@lirmm.fr

==== Registration ====

Registration is now open: www.lirmm.fr/icgt-2022/registration

Early registration: February 18 to May 13, 2022.
Late registration: May 14 to June 29, 2022.
Students or retired researchers: 200€ (early), then 250€ (late).
Other participants: 300€ (early), then 350€ (late).

==== Invited speakers ====

- Reinhard Diestel (Hamburg University, Germany)
- Vida Dujmović (University of Ottawa, Canada)
- David Eppstein (University of California, Irvine, United States)
- Fedor Fomin (Bergen University, Norway)
- Martin Grohe (RWTH Aachen University, Germany)
- Gwenaël Joret (Université Libre de Bruxelles, Belgium)
- Jean-Sébastien Sereni (CSTB ICube, France)
- Virginia Vassilevska Williams (MIT, United States)
- Kristina Vušković (University of Leeds, United Kingdom)

==== Important dates ====

- Submission: February 1-March 25, 2022
- Notification of acceptance: April 22, 2022
- Early registration: February 18-May 13, 2022
- Late registration: May 14-June 29, 2022
- Conference: July 4-8, 2022

A special issue of DMTCS will be devoted to the conference. Instructions
will be sent after the conference. Tentative submission deadline for the
special issue: November 30, 2022.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Thursday, February 17, 2022

[DMANET] Faculty Positions - Near Amsterdam

Apologies for cross-posting!

*Utrecht *is a lovely Dutch city with an amazing quality of life.
There is an *18 minutes* train ride to Amsterdam!
(googlemaps- utrecht central - Amsterdam Amstel)

We have a strong Computer Science and Mathematics Departments with
accomplished researchers with lots of external funding. (ERC, Vidi, Veni,
Klein, Marie-Curie, ... )

We are looking to extend our team in the intersection of Computer Science
and Mathematics. See the link for the official announcement below.

https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/positions-at-the-interfaces-of-mathematics-computing-science-and-physics-08-10-fte
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] PhD or Postdoc position: Machine Learning and Equilibrium Computation

The Department of Informatics at the Technical University of Munich
(Germany) is looking for a post-doc or PhD student working on machine
learning and game theory led by Prof. Martin Bichler (dss.in.tum.de
[1]).

Applicants for the PhD position should hold a Master's degree in
computer science or mathematics and may obtain a PhD degree in computer
science. Applicants for the post-doc position should hold a PhD degree
in one of the mentioned disciplines. Applicants should have a strong
theoretical background and implementation skills.

Prospective candidates will assist in teaching courses of the group.
Salary (for both PhD students and post-docs) is according to German
tariff E13. The position is available for an initial period of 2 years,
but may be extended. Please enclose a curriculum vitae including a
complete list of publications and a sample publication (e.g., a Master's
thesis).

Applications should be sent to dss@in.tum.de by email using the subject
line "Application: Machine Learning" until March 1, 2022.

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

[DMANET] MFCS 2022 - First Call for Papers

MFCS 2022 - FIRST CALL FOR PAPERS

The 47th International Symposium on Mathematical Foundations of Computer Science, August 22-26, 2022, Vienna, Austria

https://www.ac.tuwien.ac.at/mfcs2022/

The MFCS conference series on Mathematical Foundations of Computer Science is a high-quality venue for original research in all branches of Theoretical Computer Science. MFCS is among the conferences with the longest history in the field - the first conference in the series was held already in 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since 2013, the conference has traveled around Europe.

In 2022, at its 50th anniversary, MFCS will be held in Vienna, Austria.

MFCS 2022 will be co-located with MATCH-UP 2022 (https://www.ac.tuwien.ac.at/matchup2022/), the 6th Workshop on Matching Under Preferences.

Barring substantial and unforeseen developments, MFCS will be organized as a physical event. At least one author of each accepted paper must register at the conference. Authors who cannot physically attend the conference will be given the option to present their results via a live video talk.

INVITED SPEAKERS

Fedor V. Fomin (University of Bergen)
Monika Henzinger (University of Vienna)
Thomas Henzinger (IST Austria)
Marta Kwiatkowska (University of Oxford)
Vijay Vazirani (University of California, Irvine)

IMPORTANT DATES

Abstract Deadline: Friday, April 22, 2022 (Anywhere on Earth)
Submission Deadline: Wednesday, April 27, 2022 (Anywhere on Earth)
Notification: Tuesday, June 21, 2022
Conference: August 22-26, 2022

SUBMISSION GUIDELINES

Papers should be submitted electronically through EasyChair at https://easychair.org/conferences/?conf=mfcs2022

Submissions should be formatted using the LIPIcs style with a length not exceeding 12 pages (excluding references and an optional appendix). References and an optional appendix can go beyond the 12 pages; the appendix will be consulted at the discretion of the program committee. It is mandatory to use the LIPIcs style for submissions.

No prior publication or simultaneous submission to other conferences or journals are allowed (except preprint repositories such as arXiv or workshops without formal published proceedings).

PUBLICATION

As in previous years, MFCS 2022 proceedings will be published in LIPIcs (Leibniz International Proceedings in Informatics) under an open-access license.

LIST OF TOPICS

We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following:

- algebraic and co-algebraic methods in computer science
- algorithms and data structures
- automata and formal languages
- bioinformatics
- combinatorics on words, trees, and other structures
- computational complexity (structural and model-related)
- computational geometry
- computer-aided verification
- computer assisted reasoning
- concurrency theory
- cryptography and security
- cyber physical systems, databases and knowledge-based systems
- formal specifications and program development
- foundations of computing
- logics in computer science
- mobile computing
- models of computation
- networks
- parallel and distributed computing
- quantum computing
- semantics and verification of programs
- theoretical issues in artificial intelligence and machine learning
- types in computer science

PROGRAM COMMITTEE

Christoph Berkholz (Humboldt-Universität zu Berlin)
René van Bevern (Huawei Technologies and Novosibirsk State University)
Olaf Beyersdorff (Friedrich Schiller University Jena)
Filippo Bonchi (Computer Science Department, University of Pisa)
Andrei Bulatov (Simon Fraser University)
Ugo Dal Lago (Università di Bologna and INRIA Sophia Antipolis)
Laure Daviaud (City, University of London)
Anuj Dawar (University of Cambridge)
Stefan Felsner (TU Berlin)
Celina Figueiredo (UFRJ)
Nathanaël Fijalkow (CNRS, LaBRI, University of Bordeaux)
Marie Fortin (University of Liverpool)
Robert Ganian (TU Wien, co-chair)
Petr Golovach (Department of Informatics, Bergen University)
Gregory Gutin (Royal Holloway, University of London)
Sara Kalvala (The University of Warwick)
Sandra Kiefer (RWTH Aachen University)
Eun Jung Kim (CNRS - Paris Dauphine)
Dušan Knop (Czech Technical University in Prague)
Martin Koutecky (Charles University in Prague)
Martin Lange (University of Kassel)
Massimo Lauria (Sapienza University of Rome)
Karoliina Lehtinen (University of Liverpool)
Meena Mahajan (The Institute of Mathematical Sciences, HBNI, Chennai)
Konstantinos Mamouras (Rice University)
Barnaby Martin (Durham University)
George Mertzios (Durham University)
Stefan Milius (FAU Erlangen)
Neeldhara Misra (Indian Institute of Technology, Gandhinagar)
Fabrizio Montecchiani (University of Perugia)
Sebastian Ordyniak (The University of Sheffield)
Sang-il Oum (Institute for Basic Science (IBS) and KAIST)
Daniel Paulusma (Durham University)
Daniela Petrisan (Université de Paris, IRIF)
Michał Pilipczuk (University of Warsaw)
Damien Pous (CNRS - ENS Lyon)
Simon Puglisi (University of Helsinki)
Paweł Rzążewski (Warsaw University of Technology)
Alexandra Silva (Cornell University, co-chair)
Friedrich Slivovsky (Vienna University of Technology)
Ana Sokolova (University of Salzburg)
Stefan Szeider (TU Wien, general chair)

ORGANIZING COMMITTEE

Jan Dreier (TU Wien)
Robert Ganian (TU Wien)
Stefan Szeider (TU Wien)


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

[DMANET] [CFP] Wi-DroIT 2022 - 4th International Workshop on Wireless Sensors and Drones in Internet of Things

[Apologies if you receive multiple copies of this message]

CALL FOR PAPERS
Wi-DroIT 2022 - 4th International Workshop on Wireless Sensors and Drones in Internet of Things
May 30 – June 1, 2022
co-located with DCOSS 2022

Website: https://widroit2022.github.io/
Submission link: https://easychair.org/conferences/?conf=widroit2022

COVID-19 Pandemic Planning
We are optimistic the event will be held physically in LA but we are 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.

Aims and Scope
Recently, the rapid development of Unmanned Autonomous Vehicles (UAVs), also known as drones, has highlighted a plethora of emergent applications such as infrastructure inspection and surveillance, smart agriculture, seek and rescue, parcel delivery, communications, and post-disaster recovery. In all these applications, UAVs may coexist with ground Internet of Things (IoT) devices. For example, UAVs autonomously perform remote sensing relaying the collected data by the sensors. Moreover, single or multiple UAVs can cooperatively collaborate providing services that require efficient protocols where multiple objectives and constraints should be accounted for.
For this workshop, we seek papers that combine the design of algorithms and testbed implementations to develop the theoretical foundations for UAVs as well as the synergies with IoT devices. The numerous emergent applications raised by IoT may require an interdisciplinary approach, involving techniques from algorithm foundations and different areas, such as computer networks, artificial intelligence, concurrent, parallel and distributed computing, security, digital signal, image and sound processing.

Topics of Interest
- Autonomous sensing via UAVs
- Topology monitoring with UAVs
- Remote sensing networks via UAVs
- Communication protocols of UAVs over IoT
- Modeling and analysis of UAVs over IoT
- Precision agriculture and UAVs
- Crops monitoring in agriculture
- Bugs monitoring in agriculture
- UAVs for environmental monitoring
- Autopilot and UAS autonomy
- UAVs path planning and scheduling
- Parcel delivery using UAVs
- Cellular networks and UAVs
- Constrained and multi-objectives problems
- Sensors localization with UAVs
- UAVs tracking techniques
- Cooperative control of multiple UAVs
- Cyber-security communications and UAVs
- Optimal UAV deployment strategies
- Test-beds and experimental results for UAVs
- Single UAV applications
- Multi-UAV applications
- Energy-efficient UAV communications
- Machine learning for UAV communications

Important dates
- Abstract Submission: March 8, 2022
- Paper Submission: March 15, 2022
- Acceptance Notification: April 15, 2022
- Camera Ready: April 22, 2022

Submission
Authors are invited to submit original unpublished manuscripts that demonstrate current research on distributed sensor systems related to WiDroIt 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 the link below:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
All submissions should be written in English and submitted as a full paper.
Full papers should have a maximum of eight (8) printed pages including figures and references. Full papers are expected to describe fully developed ideas with a thorough evaluation. Note that Wi-DroIT does not follow the double-blind review policy. The names and affiliations of all the authors must be present in the submitted manuscript
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************