Theory Announcements

Friday, May 6, 2022

[DMANET] CFP - WASA 2022

================================================
We apologize if you receive multiple copies of this CFP.
Just a few days until the deadline for paper submission!
================================================

WASA 2022 – CALL FOR PAPERS

The 17th International Conference on Wireless Algorithms, Systems, and
Applications (WASA)

August 26-28 // Dalian, China

http://wasa-conference.org/WASA2022/

WASA is an international conference on algorithms, systems, and
applications of wireless networks. It is designed to be a forum for
theoreticians, system and application designers, protocol developers,
and practitioners to discuss and express their views on the current
trends, challenges, and state-of-the-art solutions related to various
issues in wireless networks. Topics of interests include, but are not
limited to, effective and efficient state-of-the-art algorithm design
and analysis, reliable and secure system development and
implementations, experimental study and testbed validation, and new
application exploration in wireless networks.

TOPICS OF INTEREST
================================================

We invite our community to contribute with manuscripts describing novel,
work in progress research on the design of solutions to relevant
Algorithms, Systems, and Applications. The topics of interest include:

✯ Cognitive Radio Networks, Software-defined radio and reconfigurable
radio networks
✯ Cyber-physical systems including intelligent transportation systems
and smart healthcare systems
✯ Theoretical frameworks and analysis of fundamental cross-layer
protocol and network design and performance issues
✯ Distributed and localized algorithm design and analysis
✯ Information and Coding theory for Wireless Networks
✯ Localization
✯ Mobility models and mobile social networking
✯ Mobile cloud
✯ Topology control and coverage
✯ Security and privacy
✯ Underwater and underground Networks
✯ Vehicular networks
✯ Radar and Sonar Networks
✯ PHY/MAC/Routing protocols
✯ Information processing and data management
✯ Programmable service interfaces
✯ Energy-efficient algorithms, systems and protocol design
✯ Operating system and middleware support
✯ Algorithms, systems, and applications of Internet of Things
✯ Algorithms, systems, and applications of Edge Computing

AUTHOR INSTRUCTIONS
================================================
Submission page: https://easychair.org/conferences/?conf=wasa2022

Submitted papers should be original, unpublished work and not
currently under review for any other conference or journal. Papers not
following these guidelines will be rejected. All manuscripts should be
formatted using the Springer-LNCS template, which can be found at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines.

Extended versions of most papers from the conference will be
recommended to the following special issues.
(CCF B) Journal of Systems Architecture: Edge Computing and Machine
Learning-based Sensor-Cloud Systems
(CCF C) Personal and Ubiquitous Computing: Convergence of Federated
Learning and HPC for 6G Assisted Wireless Communication Systems
(CCF C) Wireless Communications and Mobile Computing: Emerging
Advanced Data Offloading Technologies for Urban Internet of Things
(CCF C) Wireless Communications and Mobile Computing: Advanced
Multimodal Sensing Information Fusion for Artificial Intelligence of
Things
(SCI) Journal of Internet Technology: Blockchain as a Services
Architecture, Networking and Applications
(EI) Parallel Processing Letters: Parallel and Distributed
Architecture Based Performance Evaluation of Data Centric Networks
(EI) Journal of Control and Decision: Current Challenges in Design,
Modeling, Control and Applications of Unmanned Surface and Underwater
Vehicles

IMPORTANT DATES
================================================
Submission due: 10 May, 2022
Acceptance notification: 25 June, 2022
Deadline for camera-ready papers: 10 July, 2022

ORGANIZING COMMITTEE
================================================
General Co-Chairs:
Zhongxuan Luo, Dalian University of Technology, China
Peng-Jun Wan, Illinois Institute of Technology, USA
Xingwei Wang, Northeastern University, China

Program Co-Chairs:
Lei Wang, Dalian University of Technology, China
Michael Segal, Ben-Gurion University, Israel
Jen-Hui Chen, Chang Gung University, Taiwan, China
Tie Qiu, Tianjin University, China

STEERING COMMITTEE
================================================
Xiuzhen Susan Cheng, George Washington University, USA-Co-Chair
Zhipeng Cai, Georgia State University, USA-Co-Chair
Jiannong Cao, Hong Kong Polytechnic University, Hong Kong, China
Ness Shroff, The Ohio State University, USA
Wei Zhao, University of Macau, China
Peng-Jun Wan, Illinois Institute of Technology, USA
Ty Znati, University of Pittsburgh, USA
Xinbing Wang, Shanghai Jiao Tong University, China

================================================
-------------------
Michael Segal
Full Professor
School of Electrical and Computer Engineering
Communication Systems Engineering Department
Ben-Gurion University of the Negev, Beer-Sheva 84105
P.O.B 653, Israel
**********************************************************
*
* 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] Deadline Extension: ICTAC 2022

ICTAC 2022 - Final Call for Papers.

Taking into account the coronavirus pandemic and the war in Ukraine,
the conference will be organized as a hybrid event.

***************************************************************************
The 19th International Colloquium on
Theoretical Aspects of Computing (ICTAC)
Held in Tbilisi, Georgia, September 27-29, 2022
https://viam.science.tsu.ge/clas2022/ictac/

Part of Computational Logic Autumn Summit (CLAS 2022)
https://viam.science.tsu.ge/clas2022
*****************************************************************************

Overview

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 14, 2022
Paper Submission: May 21, 2022
Notification: July 24, 2022

Publication

We solicit submissions, related to the topics of ICTAC, in the following
categories:
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 https://easychair.org/conferences/?conf=ictac2022. Papers must
be formatted according to the guidelines for Springer LNCS papers (see
http://www.springer.com/lncs), 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
*
* 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] ICALP 2022 - Second Call for Participation

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

ICALP 2022 - Call for Participation

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

The 49th International Colloquium on Automata, Languages, and Programming
(ICALP) will take place

** in Paris, France, and online on 4-8 July 2022. **

The 2022 edition has the following special features:
- The conference is hybrid.
- This will be the 50th birthday of the conference and some special events
are
planned.
- The ICALP Extended Stay Support Scheme (IESSS) is here for helping the
organisation of collaborations around the conference.

ICALP is the main conference and annual meeting of the European Association
for
Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a
series of workshops, which will take place on July 4.

The 2022 edition will be also the occasion to celebrate the 50th
anniversary of
both EATCS and the first ICALP, which was first held in 1972 in
Rocquencourt,
in the Paris area.

============= Important dates and information =============

Website: https://icalp2022.irif.fr/
Early Registration: May 11
Conference: July 4-8, 2022
Workshops: July 4

============= Registration =============

For registration, follow this link: https://icalp2022.irif.fr/?page_id=50

============= Extended Stay Support Scheme (IESS) =============

For its 49th edition, the ICALP conference offers to its attendees an
Extended
Stay Support Scheme (IESSS) aiming at enhancing scientific collaborations
and
diminishing the carbon footprint of scientific research activities. ICALP
2022
attendees are encouraged to combine their visit to Paris with collaborations
with local researchers.

This support scheme is primarily intended for participants travelling long
distances and must be combined with an attendance to ICALP. Upon
acceptation,
research institutes involved in this mechanism will cover standard expenses
(accommodation and traveling fees, plane excluded) and will provide
material
support for research activities.

See https://icalp2022.irif.fr/?page_id=50 for more information.

============= Invited Speakers =============

Albert Atserias, Universitat Politècnica de Catalunya
Constantinos Daskalakis, MIT
Leslie Ann Goldberg, Oxford University
Madhu Sudan, Harvard
Stéphan Thomassé, ENS Lyon
Santosh Vempala, Georgia Tech

============= Awards =============

During the conference, the following awards will be given:
- the EATCS award (https://eatcs.org/index.php/eatcs-award),
- the Gödel prize (https://eatcs.org/index.php/goedel-prize),
- the Presburger award (https://eatcs.org/index.php/presburger),
- the EATCS distinguished dissertation award
(https://eatcs.org/index.php/dissertation-award),
- the best papers for Track A and track B,
- the best student papers for Track A and track B.

============= Accepted papers =============

See https://icalp2022.irif.fr/?page_id=85

============= Workshops =============

See https://icalp2022.irif.fr/?page_id=46 for more information.

- Parameterized Approximation Algorithms Workshop
- Combinatorial Reconfiguration
- Recent Advances on Total Search Problems
- Algorithmic Aspects of Temporal Graphs V
- Trends in Arithmetic Theories
- Structure Meets Power 2022
- Straight-Line Programs, Word Equations and their Interplay
- Graph Width Parameters: from Structure to Algorithms

Thursday, May 5, 2022

[DMANET] Call for Presentations - Graph Width Parameters: from Structure to Algorithms (GWP 2022)

GWP 2022 - Graph Width Parameters: from Structure to Algorithms
Satellite Workshop of ICALP 2022
https://homepages.ecs.vuw.ac.nz/~bretteni/GWP2022/
Monday 4 July, 2022

Hybrid (in-person and online, on Zoom)
in-person registration: https://icalp2022.dakini-pco.com/
online registration: https://homepages.ecs.vuw.ac.nz/~bretteni/GWP2022/

GWP 2022 is a one-day workshop on graph width parameters and algorithms. The workshop finishes with a session for further discussion and open problems.

Invited Speakers:
Benjamin Bergougnoux (University of Bergen)
Édouard Bonnet (LIP, ENS Lyon)
Clément Dallard (FAMNIT, University of Primorska)
Zdeněk Dvořák (Charles University)
Paloma Lima (IT University of Copenhagen)
Sophie Spirkl (University of Waterloo).

To attend in-person, register for the workshops day of ICALP 2022 at https://icalp2022.dakini-pco.com/.

For free online registration to the workshop, please fill in the form available from https://homepages.ecs.vuw.ac.nz/~bretteni/GWP2022/. The deadline for online registration is Friday 1 July 2022.

For the final session of the workshop, we invite short presentations that highlight an open problem or potential area for future research. If you wish to have a 10-minute slot in our workshop, please send an email with a title and short description to a.munaro@qub.ac.uk<mailto:a.munaro@qub.ac.uk> by Monday 27 June 2022. Please indicate if your presentation is in-person or online. Note that the review of contributions may close earlier if the session is filled.

Organisers:
Flavia Bonomo (University of Buenos Aires)
Nick Brettell (Victoria University of Wellington)
Andrea Munaro (Queen's University Belfast)
Daniel Paulusma (Durham University)

[DMANET] Three open positions (prof, postdoc, predoc) within artificial intelligence, security and mechatronics

Dear community,

in July we start a new research center, the

Josef Ressel Center for
Intelligent and Secure Industrial Automation

at the Salzburg University of Applied Sciences.

This research center will work on three research fields, namely
software/system architectures, artificial intelligence and security,
each in the context of industrial control systems (operational
technology, OT). Within each field we will have a PostDoc, a PreDoc and
constantly two Master students. Related to this research center, we also
establish a new professorship.

+------------------------------------------------------------------+
| We have currently three positions open: |
| - PostDoc in the field of artificial intelligence, machine |
| learning, or data science. |
| - PreDoc in the field of cyber security, information security, |
| network security or OT security. |
| - Professor within mechatronics, robotics or industrial |
| automation. |
+------------------------------------------------------------------+

The three research fields are strongly interconnected, the research is
interdisciplinary, and therefore the profile we are looking for is
rather broad.

Exemplary research activities address:

- Investigation of models of state space trajectories of industrial
machines and processes, structure-preserving (e.g., homology)
dimensionality reduction, time series analysis (maybe based on
persistent homology) towards anomaly detection.
- OPC UA information modeling and semantic technologies in context
of anomaly detection, supervision and control of machines.
- Behavior-driven anomaly detection and generative machine learning
methods based on state space trajectories, e.g. for a honey pot
design in security.
- Leveraging model-driven methods (MDD, MOF) and model
transformation techniques for machine learning and digital twins
to establish machine agnosticity.
- Big data/machine learning architectures and security architectures
in an industrial context.

You can find more background information and details for applications
here: https://www.sthu.org/research/jrz-isia/vacancy.html

I am happy if the one or other got interested. If you have any
questions then please do not hesitate to contact me.

Best regards
Stefan Huber

--
FH-Prof. DI Dr. Stefan Huber, MSc
Senior Lecturer
Fachbereich Mechatronik und Robotik
Informationstechnik & System-Management

Fachhochschule Salzburg GmbH
Salzburg University of Applied Sciences
Urstein Süd 1, 5412 Puch/Salzburg, Austria
Gerichtsstand Salzburg, FN166054y

Raum 419 www.facebook.com/fhsalzburg
T +43 50 2211-1324 www.twitter.com/fhsalzburg
stefan.huber@fh-salzburg.ac.at www.instagram.com/fhsalzburg
www.fh-salzburg.ac.at www.youtube.com/fhsalzburg

[DMANET] Final CFP (submission deadline 15 May): 2022 IEEE Conference on Computational Intelligence

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

CALL FOR PAPERS

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

2022 IEEE Conference on Computational Intelligence

in Bioinformatics and Computational Biology (IEEE CIBCB 2022)

15-17 August, 2022 – Ottawa, ON, Canada

Please note that the conference will be held as a hybrid conference.

More details will be provided soon.

Paper Submission deadline: May 15, 2022 (firm deadline)

Webpage: https://cmte.ieee.org/cis-bbtc/cibcb2022/

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

Scope

The IEEE Conference on Computational Intelligence in Bioinformatics and
Computational Biology (IEEE CIBCB) has become a major technical event in the
field of Computational Intelligence (CI) and its application to problems in
bioinformatics, computational biology, and biomedical engineering. IEEE
CIBCB 2022 provides a global forum for academic and industrial scientists
from computer science, biology, chemistry, medicine, mathematics,
statistics, and engineering, to discuss and present their latest research
findings from theory to applications.

Topics of interest

Topics of interest include but are not limited to:

* Analysis and visualization of large biological data sets

* Biomedical data modelling and mining

* Biomedical model parametrization

* Brain computer interface

* Ecoinformatics and applications to ecological data analysis

* Emergent properties in complex biological systems

* Emerging techniques in bioinformatics

* Epidemiology and pandemic mitigation

* Gene expression array analysis

* Medical imaging and pattern recognition

* Metabolic pathway analysis

* Modelling, simulation, and optimization of biological systems

* Molecular sequence alignment and analysis

* Molecular evolution and phylogenetics

* Neuromorphic integration of bio- and neuroinformatics

* Robustness and evolvability of biological networks

* RNA and protein folding and structure prediction

* Structure prediction and folding

* Systems and synthetic biology

* Treatment optimization

Important Dates

Paper submission deadline: May 15, 2022 (extended firm deadline)

Notification: June 15, 2022

Camera-Ready Material: July 15, 2022

Conference date: August 15-17, 2022

Conference location: University of Ottawa, Ottawa, ON, Canada

Submission Guidelines

* Authors need to submit their papers using
https://easychair.org/my/conference?conf=ieeecibcb2022.
* Authors are invited to submit paper of no more than 8 pages
(including references).
* Papers must be in pdf form, written in English and follow the IEEE
format for conference papers:
https://www.ieee.org/conferences/publishing/templates.html.
* All papers will be peer-reviewed.
* Papers will be evaluated based on technical correctness,
significance, novelty, writing, clarity, and ability to reproduce results,
if relevant.
* All accepted papers will be published in the IEEE Digital Library.

Organizing committee

General chairs: Daniel A. Ashlock (University of Guelph, Canada), Sheridan
Houghten (Brock University, Canada), Gary Fogel (Natural Selection, Inc.)

Technical chair: Joseph Brown (Innopolis University, Russia)

Program chair: James Hughes (St. Francis Xavier University, Canada)

Finance chair: Gary Fogel (Natural Selection, Inc.)

Proceedings chair: Sheridan Houghten (Brock University, Canada)

Publicity chairs: Sansanee Auephanwiriyakul (Chang Mai University,
Thailand), Richard Almendinger (University of Manchester, United Kingdom)

Matthew Stoodley (University of Guelph, Canada), Gonzalo Ruz (Universidad
Adolfo Ibáñez, Chile)

Tutorial and special sessions chair: Michael Dubé (University of Guelph)

Web chair: Marco S. Nobile (Ca' Foscari University of Venice, Italy)

Virtual chair: Gonzalo Ruz (Universidad Adolfo Ibáñez, Chile)

Local arrangments chairs: Yifeng Li (Brock University, Canada), Alain
Tchagang (Canadian National Research Council)

Contact

Richard Allmendinger (Richard.Allmendinger@manchester.ac.uk
<mailto:Richard.Allmendinger@manchester.ac.uk> ), Joseph Brown
(jb03hf@gmail.com <mailto:jb03hf@gmail.com> )

Thank you.

IEEE CIBCB 2022 General Chairs

[DMANET] DISC 2022 Final Call for Papers

===========================================
DISC 2022 Final Call for Papers
===========================================

36th International Symposium on Distributed Computing
October 25-27, 2022
Augusta, Georgia, USA
http://www.disc-conference.org/wp/disc2022/

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

Important Dates:

Submission deadline: May 13 (AoE)
Rebuttal period: June 29-July 4 (AoE)
Notification: July 25
Final versions: August 12

Submission server:
https://easychair.org/conferences/?conf=disc2022

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

Submissions are sought in all areas of distributed algorithms and
distributed systems including theory, design, implementation,
modelling, analysis, and application of distributed systems and
networks. Topics of interest include, but are not limited to:

* Biological and nature-inspired distributed algorithms
* Blockchain protocols
* Coding and reliable communication
* Communication networks: algorithms, protocols, and applications
* Complexity, lower bounds, and impossibility results
* Design and analysis of distributed algorithms
* Distributed and concurrent data structures
* Distributed algorithms for clouds and IoT
* Distributed graph algorithms
* Distributed machine learning and data science
* Distributed operating systems, middleware, database systems
* Distributed resource management
* Fault tolerance, reliability, self-organization, self-stabilization
* Formal methods for distributed computing: verification, synthesis and testing
* Game-theoretic and knowledge-based approaches to distributed computing
* Internet and web applications, social networks, and recommendation systems
* Massively-parallel, high-performance, cloud and grid computing
* Mobile agents, autonomous distributed systems, swarm robotics
* Multiprocessor and multi-core architectures and algorithms
* Overlay networks and peer-to-peer networks
* Population protocols and chemical reaction networks
* Quantum distributed algorithms
* Replication, consensus, and consistency
* Security in distributed computing, cryptographic protocols
* Synchronization, persistence, and transactional memory
* Wireless, mobile, sensor and ad-hoc networks

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

PC Chair: Christian Scheideler (Paderborn University, Germany)

Program Committee:

John Augustine (IIT Madras, India)
Naama Ben David (VMware Research, USA)
Borzoo Bonakdarpour (Michigan State University, USA)
Marthe Bonamy (University of Bordeaux, France)
Christian Cachin (University of Bern, Switzerland)
Artur Czumaj (University of Warwick, UK)
Joshua Daymude (Arizona State University, USA)
Michal Dory (ETH Zürich, Switzerland)
Robert Elsässer (University of Salzburg, Austria)
Laurent Feuilloley (University of Lyon, France)
Michele Flammini (Gran Sasso Science Institute, Italy)
Paola Flocchini (University of Ottawa, Canada)
Davide Frey (Inria centre at Rennes University, France)
Luisa Gargano (University of Salerno, Italy)
Magnús M. Halldórsson (Reykjavik University, Iceland)
Mohammad Taghi Hajiaghayi (University of Maryland, USA)
Alex Kogan (Oracle Labs, USA)
Shay Kutten (Technion, Israel)
Thomas Locher (DFINITY Foundation, Switzerland)
Victor Luchangco (Algorand, USA)
Yannic Maus (TU Graz, Austria)
Othon Michail (University of Liverpool, UK)
Boaz Patt-Shamir (Tel Aviv University, Israel)
David Peleg (Weizmann Institute, Israel)
Maria Potop-Butucaru (Sorbonne University, France)
Sergio Rajsbaum (UNAM, Mexico)
Peter Robinson (Augusta University, USA)
Jared Saia (University of New Mexico, USA)
Stefan Schmid (TU Berlin, Germany)
Gokarna Sharma (Kent State University, USA)
Jukka Suomela (Aalto University, Finland)
Yukiko Yamauchi (Kyushu University, Japan)
Haifeng Yu (National University of Singapore, Singapore)

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

Papers:

A submitted paper should clearly motivate the importance of the
problem being addressed, discuss prior work and its relationship to
the paper, explicitly and precisely state the paper's key
contributions, and outline the key technical ideas and methods used to
achieve the main claims. A submission should strive to be accessible
to a broad audience, as well as having sufficient details for experts
in the area.

There are two types of submissions: regular papers and brief
announcements. Regular papers must report on original research that
has not previously been published (and may not be concurrently
submitted to other journals or conferences with proceedings). All
ideas necessary for an expert to fully verify the central claims in a
paper, including experimental results, should be included in the
submission.

A brief announcement may describe work in progress or work presented
elsewhere. A brief announcement may also present a result that is
short and elegant, but does not require a longer paper. It may also be
used to announce a software distribution or an experimental results of
interest that can be concisely described.

Submission format:

Submissions must be in English in pdf format and they must be prepared
using the LaTeX style template for LIPIcs
(https://submission.dagstuhl.de/series/details/5#author) with

\documentclass[a4paper,anonymous,USenglish]{lipics-v2021}.

Submissions must be anonymous, without any author names, affiliations,
or email addresses. The contact information of the authors will be
entered separately in Easychair.

For regular papers, there is no page limit, and authors are encouraged
to use the full version of their paper as the submission. The
initial 15 pages should contain a clear presentation of the merits of
the paper, including a discussion of the paper's importance within the
context of prior work and a description of the key technical and
conceptual ideas used to achieve its main claims. (Illustrative
figures are encouraged.) The submission must contain full proofs of
all claims in the paper.

Although there is no bound on the length of a submission, material
other than the first 15 pages will be read at the committee's
discretion. Papers submitted as brief announcements should comply with
the above rules, replacing 15 pages with 5 pages.

Submissions not conforming to the submission guidelines and papers
outside of the scope of the conference will be rejected without
consideration.

Anonymous Submissions:

We will use a relaxed implementation of double-blind peer review.
Submissions must not reveal the identity of the authors in any way. In
particular, authors' names and affiliation should not appear in the
document itself. Authors should ensure that any references to their
own related work are in the third person (e.g., not "We build on our
previous work" but rather "We build on the work of"). The purpose
of this process is to help PC members and external reviewers come to
an initial judgment about the paper without bias, not to make it
impossible for them to discover the authors if they were to try.

You are free to disseminate your work through arXiv and other online
repositories and give presentations on your work as usual. Moreover,
nothing should be done in the name of anonymity that weakens the
submission or makes the job of reviewing the paper more difficult. In
particular, important references should not be omitted or anonymized.

Brief announcements should also be submitted without author names and
affiliations so that a reviewer can form an initial judgment without
bias, but they can contain a reference to the full version of the work
in the bibliography.

Please feel free to ask the PC chair if you have any questions about
the double-blind policy of DISC 2022.

Conflict of Interest

The submission form provides an opportunity to specify conflicts of
interest with any of the PC members. If you feel that you have a
valid reason for a conflict of interest beyond the PC members, or any
other issues related to the fair treatment of your submission, contact
the PC chair or the SafeTOC representative for DISC (which can be
found on the DISC webpage).

Publication

The proceedings will be published by LIPIcs. The final version of the
paper has to be formatted following the LIPIcs guidelines. Regular
papers will have up to 15 pages in the final proceedings (excluding
the front page, the references, and a brief appendix of up to 5
pages), and brief announcements will have 3 pages in the proceedings
(including everything). If more space is needed, the authors are
encouraged to post the full version e.g. on arXiv and refer to it in
their paper.

Accepted papers and brief announcements must be presented by one of
the authors, with a full registration and according to the final
schedule. Any submission accepted into the technical program but not
presented on-site will be withdrawn from the final proceedings.

The submission site is available on the DISC website.

Awards

Awards will be given to the best paper and the best student paper. To
be eligible for the best student paper award, at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper.

Wednesday, May 4, 2022

[DMANET] Assistant Professor Positions at University of Campinas in Brazil

Institute of Computing -UNICAMP (Brazil) announces 5 selection processes for Assistant Professors.

All applicants must read the Official Job Announcement (available only in Portuguese) and fulfill the application form (Available in English). (Please feel free to write me - rafael@ic.unicamp.br - if you are having problems due to the language or if you want additional information).

Candidates approved and hired in the selection process are expected to work in full-time dedication, being able to supervise and co-supervise masters and PhD students right at the beginning of the contract.

DEPARTMENT OF THEORY OF COMPUTING
Hiring Process: 34-P-04749/2022
Department of Theoretical Computer Science (Departamento de Teoria da Computação)
Area: Computational Cryptography (Criptografia Computacional)
Subject:
MO-422 – Cryptographic Algorithms (Algoritmos Criptográficos)
MC-938 – Cryptographic Algorithms (Algoritmos Criptográficos)
MC-889 – Introduction to Cryptography (Introdução à Criptografia)
Application period: 18/April/2022 a 14/June/2022
Official Job Announcement: https://downloads.sg.unicamp.br/?t=f87ea6134d031260da53474e922a1ce5&f=bc3374d5bd448789b90702422be1e003
Application Form: https://solicita.dados.unicamp.br/concurso/?language=en

Hiring Process: 34-P-04748/2022
Department of Theoretical Computer Science (Departamento de Teoria da Computação)
Area: Algorithm Complexity
Subject:
MO-417 – Algorithm Complexity I (MO-417 Complexidade de Algoritmos I)
MC-458 – Design and Analysis of Algorithms I (MC458 - Projeto e Análise de Algoritmos I)
MC-548 – Design and Analysis of Algorithms II (MC-548 – Projeto e Análise de Algoritmos II)
Application period: 25/April/2022 a 21/June/2022
Official Job Announcement: https://downloads.sg.unicamp.br/?t=f87ea6134d031260da53474e922a1ce5&f=835f005af5b8a45c3370c06782f4580e
Application Form: https://solicita.dados.unicamp.br/concurso/?language=en

The other hiring process includes positions for Parallel and Distributed Computing, Computational Security, and Software Engineering and can be found on
https://www.sg.unicamp.br/concursos/?status=abertos&titulo=concursos-para-professor-doutor&unidade=instituto-de-computacao&processo=

Unicamp: is one of the leading universities in Latin America, being recognized for its quality of graduate as well as undergraduate courses. The Computer Science undergrad course at Unicamp was the first in Brazil, and it is running since 1969.
Read more: https://www.unicamp.br/unicamp/english

Institute of Computing -UNICAMP, created in 1996, it offers undergrad courses in Computer Science and Computer Engineering (in conjunction with the School of Electrical and Computer Engineering). The Institute offers one of the few Computer Science graduate courses (Masters and PhD) recognized as top-tier (grade 7) by the Brazilian Federal Agency for Support and Evaluation of Graduate Education (CAPES).
Read more: http://www.ic.unicamp.br/en

Campinas Surprising City: https://youtu.be/nool_9y02vE

Prof. Rafael C. S. Schouery
Institute of Computing - University of Campinas (IC-Unicamp)
http://www.ic.unicamp.br/~rafael/

[DMANET] SPECIES Scholarships - First Call for Candidate Applications

(Apologies for cross-posting)

*********************************************************************************
SPECIES Scholarships - First Call for Candidate Applications

Website: http://species-society.org/scholarships-2022/
Email: students@species-society.org

Deadline for candidate applications: 13 June 2022
*********************************************************************************

SPECIES, the Society for the Promotion of Evolutionary Computation in Europe and its Surroundings, is proud to announce the 3rd round of SPECIES scholarships. This year, the scheme will be open to current research students and recent PhD graduates (up to 24 months prior to the application deadline) to work with relevant research groups. Research students include PhD students as well as students on research-oriented master programmes (e.g., MPhil, MRes, MSc with a significant research component).

The recipients of the scholarships will receive an allowance of 900 euros per month to cover accommodation and living expenses during a three months in-person internship at one of the available host institutions, working under the supervision of an advisor. The list of available host institutions can be found here: http://species-society.org/scholarship-hosts-2022/

More information including conditions of the scholarships and details on how to apply can be found on the SPECIES website: http://species-society.org/scholarships-2022/

Email: students@species-society.org

Deadline for candidate applications: 13 June 2022

----------------------------------------------------------------------------------------------------------------------
Y Brifysgol orau yn y DU am Ansawdd ei Dysgu a Phrofiad Myfyrwyr
Best University in the UK for Teaching Quality and Student Experience
(The Times and Sunday Times, Good University Guide 2021)
Rydym yn croesawu gohebiaeth yn Gymraeg a Saesneg. Cewch ateb Cymraeg i bob gohebiaeth Gymraeg ac ateb Saesneg i bob gohebiaeth Saesneg. Ni fydd gohebu yn Gymraeg yn arwain at oedi.
We welcome correspondence in Welsh and English. Correspondence received in Welsh will be answered in Welsh and correspondence in English will be answered in English. Corresponding in Welsh will not involve any delay.

[DMANET] One-day workshop on the Inventory Routing Problem at Ecole des Ponts Paristech on May 20th, 2022

Dear colleagues

We have the pleasure to announce a one-day workshop on the Inventory Routing Problem at Ecole des Ponts Paristech (Paris) on May 20th, 2022.

Speakers:
Academics:
- Claudia Archetti (Essec Business School)
- Panagiotis Repoussis (Athens University of Economics and Business)
- Ruslan Sadykov (INRIA Bordeaux)

PhD Students
- Sara Charaf (Eindhoven University of Technology)
- Louis Bouvier (Ecole des Ponts - Renault)

Industrials:
- Thierry Benoist (Localsolver)
- Alain Nguyen (Renault)

Scientific committee: Claudia Archetti, Thierry Benoist, Axel Parmentier, Ruslan Sadykov, Eduardo Uchoa, Thibaut Vidal, Roberto Wolfler Calvo

Organizing committee: Louis Bouvier, Axel Parmentier, Isabelle Simunic
Do not hesitate to write us an email if you have any question

Practical information can be found on the webpage of the event: https://cermics.enpc.fr/~parmenta/events/InventoryRouting2022.html (registration is free but mandatory).

We hope to see you on May 20th !

Best regards,

Axel Parmentier

Tuesday, May 3, 2022

[DMANET] PhD position - Co-tutored thesis between IMT Atlantique (France) and UCC (Irlande)

Please find attached a PhD position proposed by IMT Atlantique (TASC
team) from Nantes (France) and UCC (Insight) from Cork (Ireland), for
which we are looking for a candidate. The details are also online from
the IMT website (subject 6):
https://www.imt.fr/limt-recrute-10-nouveaux-doctorants-en-ia-dans-le-cadre-du-programme-doctoral-aiimt/

Title of the PhD thesis: Using Constraint Programming and model learning
in Stable Matching
PhD supervisors: Nicolas Beldiceanu (ITM), Barry O'Sullivan (UCC),
Gilles Simonin (ITM)

Application deadline: 09/05/2022

Applications should be sent to: gilles.simonin@imt-atlantique.fr

If you are interested, please send us the following elements as soon as
possible:
   - Detailed CV,
   - Letter of motivation,
   - Details of transcripts (especially M1 and M2),
   - Elements of bibliography or personal achievements related to a
research activity (e.g. master project, research internship subject, etc.),
   - 2 to 3 letters of recommendation.

Thank you for distributing this document to your students and colleagues
who may wish to distribute it in turn.

Sincerely yours,

Gilles Simonin

--
Dr Gilles SIMONIN
Maître Assistant - Chargé de mission Industrie du Futur
Responsable de la TAF COPSI
IMT Atlantique - ÉQUIPE TASC - LS2N
TEL : +33 251 85 80 22
Bureau : B211B

IMT Atlantique
La Chantrerie 4 rue Alfred Kastler BP 20722, 44307 Nantes Cedex 3
_______________________________________________________

[DMANET] OR2022: Submission deadline extended

OR 2022 - International Conference on Operations Research, Karlsruhe,
Germany, September 6-9, 2022, www.or2022.de

The abstract submission deadline extended to May 14th.

On behalf of the organization committee, it is my great pleasure of inviting
you to take part in the OR 2022 conference in Karlsruhe, Germany on 6-9
September, 2022.

The organization committee is dedicated to hold the conference in person.
However, if we are forced by the pandemic situation, then we have to switch
to an online format. Please visit the conference website for up-to-date
information.

The abstract submission system is available online:

https://www.or2022.de/91.php

Abstracts: max. 1800 characters; submission deadline: May 14, 2022.

Researchers who wish to organize a session or an invited session or
contribute with a paper within an invited session should contact Stream
Chairs of the corresponding area, https://www.or2022.de/76.php.

We are proud to present the following distinguished plenary and semi-plenary
speakers.

PLENARY Speakers:

John R. Birge (Chicago Booth, United States)

Victor Pankratius (Bosch Sensortec, Germany)

EURO-Talk Maria Grazia Speranza (University of Brescia, Italy)

SEMI-PLENARY Speakers:

Gabriele Eichfelder (Technische Universität Ilmenau, Germany),

Volker Kaibel (Universität Magdeburg, Germany),

Bahar Yetis Kara (Bilkent University, Turkey),

Nadia Lahrichi (Polytechnique Montréal, Canada),

Virginie Lurkin (University of Lausanne, Switzerland),

Stefan Pickl (Universität der Bundeswehr München, Germany),

Thomas Stützle (The Belgian F.R.S.-FNRS (National Science Foundation)),

Tjark Vredeveld (Maastricht University, The Netherlands),

Talk of the Winner of the 2022 GOR Company Award (to be announced).

Please follow the Conference website http://www.or2022.de for more detailed information

Important dates:

Abstract submission deadline: Saturday, May 14, 2022

Early registration deadline: Monday, May 30, 2022

Presenting author registration deadline: Wednesday, June 15, 2022

If you are interested in sponsoring this event, for example, through an
exhibitor stand, then please contact steffen.rebennack@kit.edu

We look forward to welcoming you in Karlsruhe!

Steffen Rebennack (on behalf of the organization committee)

________________________________

Karlsruhe Institute of Technology (KIT)

Institute for Operations Research (IOR)

Prof. Dr. Steffen Rebennack

Chair of Stochastic Optimization

Editor European Journal of Operational Research

Blücherstraße 17

Building 09.21

76185 Karlsruhe, Germany

Phone: +49 721 608-44397

Fax: +49 721 608-46057

E-mail: steffen.rebennack@kit.edu

Web: sop.ior.kit.edu

KIT The Research University in the Helmholtz Association

Since 2010, the KIT has been certified as a family-friendly university.

Monday, May 2, 2022

Re: [DMANET] PhD position in Algorithms and Data Structures at NTNU

The Computing group at the Department of Computer Science, Norwegian
University of Science and Technology is looking for a PhD candidate in the
area of Algorithms and Data Structures. Successful applicant will work
under the supervision of Prof. Srinivasa Rao Satti on one more of the
following topics: (i) Graph compression and indexing, (ii) Graph
algorithms, (iii) Succinct data structures. The period of employment is 4
years with 25% teaching duties assigned by the department.
Further details about the position, and the application procedure can be
found here:
https://www.jobbnorge.no/en/available-jobs/job/224877/phd-candidate-in-the-area-of-algorithms-and-data-structures

[DMANET] [CFP-ESORICS 2022]: 27th European Symposium on Research in Computer Security (ESORICS) 2022

[Apologies for cross-posting]

--------------------------------------------------------------------------
C a l l F o r P a p e r s

27th European Symposium on Research in Computer Security (ESORICS) 2022
26-30 September 2022, Copenhagen, Denmark
URL: https://esorics2022.compute.dtu.dk/#
--------------------------------------------------------------------------

===================
CONFERENCE OUTLINE:
===================

We are looking for papers with high quality, original and unpublished
research contributions. The Symposium will start on September 26, 2022 with
an exciting technical program, including vetted papers, invited talks,
poster and panel discussions as well as collocated workshops.

Important Dates:
-----------------
This year's symposium will have two review cycles. All submissions must be
received by 11:59 p.m. any where on earth Time on the day of the
corresponding deadline.

Winter cycle
■ Title and abstract: January 25, 2022 (hard)
■ Full paper submission: January 31, 2022 (hard)
■ Early reject notification: March 15, 2022
■ Notification to authors: March 30, 2022
■ Camera ready due: August 10, 2022

Spring cycle
■ Title and abstract: May 15, 2022
■ Full paper submission: May 22, 2022
■ Early reject notification: June 22, 2022
■ Notification to authors: July 15, 2022
■ Camera ready due: August 10, 2022

Abstract submissions:
----------------------
You will need to submit your title and abstract by 11:59 pm, any where on
earth, on the day of the corresponding deadline through the Symposium's
EasyChair websites by following instructions on how to make a submission (
https://easychair.org/help/how_to_submit).

Paper submissions:
-------------------
Submitted papers must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal or a conference
/ workshop with proceedings. The symposium proceedings will be published by
Springer in the Lecture Notes in Computer Science series (LNCS). In
addition, the Journal of Computer Security will publish a special issue
containing selected papers from the ESORICS 2022 proceedings. As in
previous years, ESORICS will present a Best Paper Award chosen by the
Program Committee. This award is generously sponsored by Springer.

How to submit your paper:
-------------------------
Submitted papers must follow the LNCS template from the time they are
submitted. Submitted papers should be at most 16 pages (using 10-point
font), excluding the bibliography and well-marked appendices, and at most
20 pages total. Committee members are not required to read the appendices,
so the paper should be intelligible without them. All submissions must be
written in English.
Submissions must be uploaded to the following EasyChair website:

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

Only pdf files will be accepted. Submissions are not anonymous. Submissions
not meeting these guidelines risk rejection without consideration of their
merits. Authors of accepted papers must agree with Springer LNCS copyright
and guarantee that their papers will be presented at the conference.

Review Process - Revised Submissions:
--------------------------------------
This year's symposium will have two review cycles. Within 1.5 month of
submission, author notifications of Accept/Revise/Reject decisions will be
sent out. For each submission, one of the following decisions will be made:

■ Accept: Papers in this category will be accepted for publication in the
proceedings and presentation at the conference, possibly after making minor
changes with the oversight of a shepherd.
■ Revise: A limited number of papers will be invited to submit a revision;
such papers are considered to be promising but need additional work (e.g.,
new experiments, proofs, or implementations). Authors will receive a
specific set of expectations to be met by their revisions. Authors can
resubmit such papers, with appropriate revisions, to the spring submission
deadline. In revised submissions, the authors should clearly explain in a
well-marked appendix how the revisions address the comments of the
reviewers. The revised paper will then be re-evaluated, and either accepted
or rejected.
■ Reject: Papers in this category are declined for inclusion in the
conference. Papers rejected from the first review cycle may not be
submitted again (even in revised form) to the second review cycle. A paper
will be judged to be a resubmit (as opposed to a new submission) if the
paper is from the same or similar authors, and there is more than 40%
overlap between the original submission and the new paper, it will be
considered a resubmission.

Topics of Interests:
----------------------
Submissions are solicited in all areas relating to computer security,
including but not limited to:

■ Access control
■ Anonymity and censorship resistance
■ Applied cryptography
■ Artificial intelligence for security
■ Security and privacy of systems based on machine learning and AI
■ Audit and accountability
■ Authentication and biometrics
■ Blockchains and distributed ledger security
■ Data and computation integrity
■ Database security
■ Digital content protection
■ Digital forensics
■ Formal methods for security and privacy
■ Hardware security
■ Information hiding
■ Identity management
■ Information flow control
■ Information security governance and management
■ Intrusion detection
■ Language-based security
■ Malware and unwanted software
■ Network security
■ Phishing and spam prevention
■ Privacy technologies and mechanisms
■ Risk analysis and management
■ Secure electronic voting
■ Security economics and metrics
■ Security and privacy in cloud/fog systems
■ Security and privacy in crowdsourcing
■ Security and privacy for IoT and cyber-physical systems
■ Security and privacy in location based services
■ Security and privacy of mobile/smartphone platforms
■ Security for emerging networks (e.g., home networks, IoT, body-area
networks, VANETs)
■ Security, privacy and resilience for large-scale, critical
infrastructures (e.g., smart grid, airports, ports)
■ Cyber attack (e.g., APTs, botnets, DDoS) prevention, detection,
investigation, and response
■ Security and privacy in social networks
■ Security and privacy in wireless and cellular communications
■ Software security
■ Systems security
■ Trustworthy Computing to secure networks and systems
■ Usable security and privacy
■ Web security

Conflict of Interest (CoI):
----------------------------
The program co-chairs require cooperation from both authors and PC members
to prevent submissions from being evaluated by reviewers who have a
conflict of interest. In the one hand, during the bidding procedure, PC
members will be required to indicate potential CoIs. On the other hand,
authors will be asked during the submission process to indicate any PC
members with whom they share CoIs as well as the types of CoIs. That is, if
they and one the authors 1) share an institutional affiliation at the time
of submission; 2) had at any time in the past a supervisor/PhD student
relationship; 3) have collaborated or published with in the prior two
years; 4) are in some form of financial relationship, or have been at some
point during the past two years; or 5) are related, or have close personal
friendships. For other forms of conflict, authors must contact the chairs
and explain the perceived conflict.

Program committee members who have conflicts of interest with a paper,
including program co-chairs, will be excluded from discussing and reviewing
the submission. Authors also need to notify the PC Chairs of any other
reason or circumstance that creates a risk that professional judgement may
be unduly influenced.

The chairs reserve the right to request further explanation and can remove
non-mandatory conflicts at their discretion.

[DMANET] [CFP] CMC 2022 - 2nd Call for Papers

------------------------------------------
CMC 2022 & ACMC 2022 - 2nd Call for Papers
------------------------------------------

6-9 September 2022

CMC in Trieste, Italy
ACMC in Quezon City, Philippines

CMC 2022 website: https://cmc2022.units.it
ACMC 2022 website: https://aclab.dcs.upd.edu.ph/acmc

This year the Conference on Membrane Computing (CMC) and the Asian Conference on Membrane Computing (ACMC) are organized as a partially joint event in Trieste, Italy and Quezon City, Philippines under the umbrella event of ICMC 2022.

CMC 2022 will be a hybrid conference, with both on-site and online participation

Conference Topics
-----------------

Like artificial neural networks, evolutionary algorithms, swarm intelligence, cellular automata and DNA computing, membrane computing is also a branch of natural computing or nature-inspired computing and was initiated by Gheorghe Păun in 1998. It aims to abstract computing models, called membrane systems or P systems, from the structure and the functioning of the living cell as well as from the cooperation of cells in tissues, organs, and populations of cells. This research area has grown into a vigorous scientific discipline and has attracted a large number of researchers all over the world. For more information, please refer to the P systems Webpage (http://ppage.psystems.eu/) and to the International Membrane Computing Society Webpage (http://imcs.org.cn/conferences.php).

ICMC 2022 is organized to provide an open platform to bring together scholars worldwide to present their recent work on membrane computing, on topics related to theory, application and implementation of membrane computing but not limited to as follows:

- Theoretical aspects of membrane computing
- Various variants of computing models: cell-, tissue- and neural-like P systems.
- Computing power of membrane computing models.
- Computing efficiency of membrane computing models.

- Applications of membrane computing
- Robot controller design.
- Modeling using P systems for biosystems, biomedicine, ecological systems, etc.
- Membrane-inspired optimization algorithms for various problems.
- Fault diagnosis of various systems, such as robots, power systems, etc.
- Information and communication technologies.
- Information security and cryptography.
- Other applications.

- Implementation of membrane computing models
- Software implementation.
- Hardware implementation.
- Biological implementation.
- Biochip implementation.
- Other implementation.

- Related topics
- Bio-Inspired Optimization Techniques, such as optimization algorithms inspired by cells or DNA computing.
- Other topics related to membrane computing or dealing with cellular computing, DNA computing, reaction systems, etc.

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

Submission Deadline May 30, 2022
Notification Deadline June 30, 2022
Final Version July 15, 2022
Early Registration Deadline July 20, 2022
Conference September 6-9, 2022

Submission instructions
-----------------------

Original research contributions (including significant work-in-progress) on membrane computing, its applications and related subjects are sought. Contributions reporting in-vivo or in-silico experimental results are particularly encouraged. Authors are invited to submit their contribution as PDF, written in English and preferrably prepared in LaTeX using Springer LNCS style (llncs) (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).

There are two tracks for submission:

Full paper of a reasonable length. There is no strict page limit for submission of a full paper. Along with the review process, a maximum number of pages for the pre-proceedings or proceedings version can be defined if necessary. Additional supplementary material might be made available on a web page whose reference is mentioned within the paper.

Extended abstract for short presentation. For a maximum four pages. Typical extended abstracts present significant work-in-progress, late-breaking results, or contributions from students new in the field or at the start of their research career.

Only electronic submissions are accepted. Simultaneous submission to other conferences or workshops with published proceedings is not allowed.

Submission and publication
--------------------------

A paper can be submitted to either CMC 2022 or ACMC 2022

For submission to CMC 2022 please visit: https://cmc2022.units.it/submission.html

For submission to ACMC 2022 please visit: https://sites.google.com/dcs.upd.edu.ph/acmc2022/paper-submission

All submissions will be reviewed by at least three referees. To ensure inclusion of an accepted contribution into the (pre)proceedings volume, at least one of its authors must be registered to CMC 2022 or ACMC 2022. The pre-proceedings volume will be available during the conference.

A selections of accepted papers will be re-reviewed and considered for publication in an international journal.

Contacts
--------

- CMC: Luca Manzoni, lmanzoni@units.it
University of Trieste

- ACMC: Henry Adorna, hnadorna@up.edu.ph
University of the Philippines Diliman

[DMANET] PhD position in Operations Research at Eindhoven University of Technology

We are looking for a PhD candidate with a background in operations research, mathematics, econometrics, industrial engineering, or computer science. Especially candidates with the interest to work on the interface of optimization and AI are highly encouraged to apply. The project is centered around the development of new optimization methods (using machine learning, operations research, AI, deep reinforcement learning) needed for solving challenging operations management problems in, for example, retail operations, transportation, and logistics. For more information, see: https://jobs.tue.nl/en/vacancy/phd-position-on-static-and-dynamic-optimization-for-transport-and-logistics-930649.html

Project Description
Organizations frequently make decisions while facing an uncertain future. For example, inner-city stores are replenished by trucks before sales are known, and ICU beds are reserved each day before COVID-19 patient inflow is known. Making good decisions is essential for organizations and society. For example, congestion and pollution from trucks in inner-cities are reduced, and COVID-19 and regular patients receive better healthcare.

In this project, we focus such problems that require both a structural decision and daily dynamic decisions. The structural decision, for instance the reservation of ICU capacity for the coming days or weeks, has to consider the structure of the daily dynamic decisions, for instance the allocation of patients between hospitals.

Traditionally, (mixed) integer optimization is the method of choice for determining structural decisions, and when taking uncertainty into account methods are typically grounded in Stochastic Programming or Robust optimization. Alternatively, Markov decision processes and (nowadays) deep reinforcement learning/AI are the relevant fields for determining dynamic policies. How to combine both approaches is an exciting new research field in which this project will make fundamental and applied contributions.

The project will revolve around combining methods from both fields, developing new and novel solution approaches, and applying them on practical use-cases from retail operations and/or transportation. The project is envisioned to take place in three (related) steps:

1. Study the theory of joint structural and dynamic decision-making.
2. Using machine learning methods to learn a smart and compact representation of the dynamic decision problem that can be included in the structural decision problem.
3. Development of advanced methods tailored towards specific use-cases, for instance in the replenishment of retail stores or balancing capacity/containers in (transport) networks. With many connections to industry and business this will be aligned as fit with the project progress.

You, as a successful applicant, will perform the PhD project outlined above. The research will be concluded with a PhD thesis. You will be supervised by dr. Albert H. Schrotenboer. A small teaching load is part of the job.

Academic and Research Environment
You will be part of the Operations Planning, Accounting & Control group (OPAC). OPAC currently consists of 25 staff members, 10 postdocs and 45 PhD students. The faculty teaches and conducts research in the area of operations planning and control in manufacturing, maintenance services, logistics and supply chains. Research is generally quantitative in nature, while many of the researchers also engage in empirical research. The OPAC group is responsible within the university for all teaching in the areas of operations management, transportation, manufacturing operations, reliability and maintenance, and accounting and finance, both at undergraduate and graduate level. The OPAC group has close collaborations with the industry, which gives direct access to challenging operations management problems, new technologies, and empirical data.

dr. Albert Schrotenboer

Assistant Professor Transportation & Logistics | TU Eindhoven
Research Director Data2Move|European Supply Chain Forum

Operations, Planning, Accounting, and Control Group
School of Engineering
Eindhoven University of Technology
Atlas 4.402, P.O. Box 513
5600 MB Eindhoven, Netherlands

**********************************************************
*
* 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] “Best AIROYoung Dissertation” 2022 – Call for Applications for a PhD thesis award

Call for Applications for the PhD thesis award

"BEST AIROYOUNG DISSERTATION" 2022

AIROYoung<https://www.airoyoung.org/> (AY) announces the "Best AIROYoung Dissertation" award, for the best doctoral thesis discussed in operations research (MAT/09) at any Italian university, during the period July 1, 2021 – June 30, 2022.

PROCESS OF SELECTION OF FINALIST THESES

AY will identify a jury external to its current and previous board, in order to evaluate the applications received. Jurors will be chosen among (former) members and/or collaborators of AY. The jury will have the task of identifying the winning thesis and at most three other finalist theses, for a total of at most four theses.

PRESENTATION OF THE FINALIST THESES

The corresponding finalists will be invited to present their work during the International Conference on Optimization and Decision Science – ODS 2022<http://www.airoconference.it/ods2022/>, which will be held at the University of Florence from August 30 to September 02, 2022. The winning thesis will be announced during ODS 2022. It will also be possible to attend this session only remotely.

AWARD

The winning person will receive a certificate and a cash prize of € 250.

PARTICIPATION REQUIREMENTS

To be able to participate, you must:

* have discussed a doctoral thesis in operations research (MAT/09) between 01/07/2021 and 30/06/2022 at an Italian university;

* be an AIRO member for the calendar year 2023 (if you participate in ODS 2022, the AIRO membership fee for 2023 is already included in the registration fee for the conference; otherwise, consult the dedicated AIRO page: https://www.airo.org/index.php/it/socio).

HOW TO APPLICATE

The application form must be submitted by filling in the following Google Form: https://forms.gle/RgABtpDFpxsgY6S6A

Deadline to participate: June 25, 2022.

Specifically, in addition to personal data and a contact address, anyone wishing to apply must attach the following documents (all in PDF format):

* a copy of the doctoral thesis;

* a summary of the thesis (in English; font size: 11 pt; maximum length: 5 pages, bibliographical references excluded);

* a copy of their curriculum vitae (in English; also indicate the date of the defence of the thesis, which has already taken place or in any case has been set by June 20, 2022).

For more information, contact the AY board: airo.young.researchers@gmail.com

--
AIROYoung
Website https://www.airoyoung.org/
Twitter @Airoyoung
Facebook /AIROYoungResearchersChapter
Instagram @airoyoung

[DMANET] Special Issue at MMOR on Exact and Approximation Methods for Mixed-Integer Multi-objective Optimization

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

Special Issue on

Exact and Approximation Methods for
Mixed-integer Multi-objective Optimization

Mathematical Methods of Operations Research, Springer

https://www.springer.com/journal/186/updates/20325438

DEADLINE: January 31, 2023

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

Description
------------

Multi-objective optimization problems are solved according to the principle of
efficiency: a solution is efficient if no other feasible solution exists that
is better or equal in all objectives, with at least one strict inequality. Each
efficient solution corresponds to a possible compromise among the several
objectives and is potentially relevant to a decision maker. Depending on the
context, the goal is to compute either the set of all efficient solutions, its
image in the objective space, or a representation of that image according to
some measure of interest. The multidimensional nature of these problems raises
relevant mathematical and algorithmic challenges.

The aim of this Special Issue is to collect the latest advances on exact
and approximation methods with quality guarantees for multi-objective
(mixed) integer optimization problems. High-quality contributions that
advance the state-of-the-art for these problems are sought.

Topics of interest
------------------

Subject areas for this special issue include but are not limited to:
* Multi-objective discrete/combinatorial problems
* Multi-objective mixed integer (non-)linear problems
* Multi-objective continuous non-linear problems
* Multi-objective branch-and-bound and branch-and-cut algorithms
* Column generation and branch-and-price algorithms
* Stochastic and robust multi-objective optimization
* Approximation and representation algorithms for multi-objective optimization
* Complexity analysis of multi-objective optimization algorithms
* Parallelization of exact multi-objective optimization algorithms

Submission
----------

Please submit manuscripts through the Springer online system (if you are a new
author to the system you will be required to create a system login)
https://www.editorialmanager.com/mmor and, when asked to "Choose Article Type",
select "S.I.: Multi-objective Optimization". Full author instructions may be
found at http://www.springer.com/186/submission-guidelines

Any questions related to this special issue should be sent to the special issue
editors:

* Carlos H. Antunes, University of Coimbra, PT, ch@deec.uc.pt
* Carlos M. Fonseca, University of Coimbra, PT, cmfonsec@dei.uc.pt
* Luís Paquete, University of Coimbra, PT, paquete@dei.uc.pt
* Michael Stiglmayr, University of Wuppertal, DE, stiglmayr@math.uni-wuppertal.de

--
Luís Paquete | paquete@dei.uc.pt
http://www.uc.pt/go/paquete
Dept. of Informatics Engineering
University of Coimbra, Portugal

-----------------------------------------------------
RAMOO 2022
Coimbra, 15 September 2022

https://moo.univie.ac.at/
-----------------------------------------------------
Special Issue on Exact and Approximation Methods for
Mixed-Integer Multi-Objective Optimization

Mathematical Methods of Operations Research
https://www.springer.com/journal/186/updates/20325438
-----------------------------------------------------
**********************************************************
*
* 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] Deadline extension to May 14 --- stream “OR in Developing Countries” - OR 2022, Karlsruhe, Germany, Sept. 6-9

Deadline extension of abstract submission to May 14

Rapidly improving socio-economic conditions in the Global South is one of the most critical global sustainable development challenges. Operational Research (OR) methods can play a critical role for increasing the resource efficiency of the limited available inputs, improving the social, economic and environmental impact of operations and identifying low-carbon growth trajectories.

We invite you to the Stream "OR in Developing Countries" at the OR 2022 - the annual international conference of the German Operations Research Society (GOR) in Karlsruhe, Germany, September 6-9, 2022 ( https://www.or2022.de/ ).

Here we welcome contributions related to all OR-related or -supported aspects of sustainable development in a Global South context . Aside from learning about and from each other's work, a key objective of the Stream will be to identify common challenges and opportunities of using OR methods in Global South contexts and driving impact.

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

Session: Session Code

OR for Global South 1 164901bc

OR for Global South 2 56de507b

OR and energy systems in low-income and lower-middle income countries 1d417a57

Multi-criteria approaches in low-income and lower-middle income countries b48188b3

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

Session co-chairs:

Philipp Trotter ( philipp.trotter@smithschool.ox.ac.uk ) and Gerhard-Wilhelm Weber ( gerhard-wilhelm.weber@put.poznan.pl )

Sunday, May 1, 2022

[DMANET] Extended deadline for applications: 10 PhD Positions in Computer Science at TU Wien, Vienna, Austria

Due to several requests, we have extended the deadline for applications to May 8, 2022.

> On 01.04.2022, at 18:06, Stefan Szeider <stefan@szeider.net> wrote:
>
> The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme
>
> LogiCS@TUWien - Logics for Computer Science
> http://www.vcla.at/msca
>
>
> co-funded by the European Commission, offers 10 full-time PhD positions. The program is hosted by TU Wien, one of the most successful technical universities in Europe and the largest one in Austria. The Faculty of Informatics of TU Wien ranks among the top 20% research and teaching institutions in the field worldwide. In the heart of Europe, Vienna has a distinguished history in mathematics, computer science, and logic research and offers one of the highest living standards in the world.
>
> The doctoral positions are open to international high-potential early-stage researchers with interest in working on Logical Methods in Computer Science and their applications, including:
>
> * Artificial Intelligence
> * Databases
> * Verification
> * Algorithms
>
> The programme provides a 4-year long doctoral training for international PhD candidates within an English-language curriculum. LogiCS@TUWien will run for 60 months and foresees the recruitment of a further 10 PhD candidates. These new PhD candidates will each pursue research on one of the available projects (see http://www.vcla.at/msca/topics/) and be supervised by:
>
> * Agata Ciabattoni
> * Thomas Eiter
> * Georg Gottlob
> * Magdalena Ortiz
> * Stefan Szeider
> * Georg Weissenbacher
> * Stefan Woltran
> * Florian Zuleger
>
> After filling 10 positions in the first call, this is the second call for another 10 positions applications.
>
> The application deadline for this call is April 30, 2022.
>
> For details on how to apply, see http://www.vcla.at/msca/apply or watch the video at https://youtu.be/Aq0JGJ9eqzQ.
>
>

[DMANET] [Free Springer Book] Contributing a chapter for a Springer Book on Applications of Remote Sensing Techniques for Sustainable Security

- We apologize if you receive multiple copies of this CFC.

- We appreciate your help to forward this CFC to your friends & email
lists.

Dear colleagues,

We are in the process of coming up with a volume titled *"Applications of
Remote Sensing Techniques for Sustainable Security " *to be published by
Springer (proposal is initially communicated, awaiting for final approval)
at t*he end of 2022.*

We cordially invite you to contribute a chapter. The full chapter is due
later this year but for now, I will just need the following:
- Author List
- Chapter Title
- Abstract (between 2 and 6 sentences)
The last deadline to submit your short abstract directly at lahby@ieee.org
is *May, 10th, 2022 (Extended Deadline)*

*SCOPE:*
With the advent of the big data era
in remote sensing, artificial intelligence (AI) has spread to almost every
corner of various remote sensing applications. In many cases, the
characteristics of remote sensing big data, such as multi-source,
multi-scale, high-dimensional, dynamic state, isomeric, and non-linear
features, etc., are well learned by advanced AI algorithms. Data-driven
methods, especially deep learning models, have achieved state-of-the-art
results for most remote sensing image processing tasks (object detection,
segmentation, etc.) and some inverse remote sensing tasks (atmosphere,
vegetation, etc.). Using large labeled datasets, we can often make very
accurate predictions on remote sensing data.
However, current data-driven AI has not provided us with clear physical or
cognitive meaning of remote sensing data's internal features and
representations. Most deep learning techniques do not reveal how data
features take effect and why predictions are made. Remote sensing data has
exacerbated the problem of opacity and inexplicability of current AI. It
becomes a barrier between the latest AI techniques and
some remote sensing applications. Many scientists in
hydrological remote sensing, atmospheric remote sensing,
oceanic remote sensing, etc. do not even believe the results of deep
learning predictions, as these communities are more inclined to believe
models with clear physical meaning.
This forthcoming book seeks contributions to remote sensing data. In
particular, we are looking for research papers on applications of remote
sensing in many fields of smart cities such as smart transportation, smart
agriculture, and smart Environment.

*NB: *There are no submission or acceptance fees for manuscripts submitted
to this book for publication

The tentative structure of the book (but are not limited to the following
Parts) is mentioned below:.

*Part 1: Theoretical and Applied Aspects of Remote Sensing*

- Chapter 1. Remote Sensing Techniques State-of-the-Art
- Chapter 2. Hyperspectral remote sensing applications: State-of-the-Art
- Chapter 3. Smart cities: State-of-the-Art

*Part 2: Remote sensing and Smart cities Applications*

- Chapter 4. Smart Agriculture Security
- Chapter 5. Smart Transportation Security
- Chapter 6. Smart Environment security
- Chapter 7. Smart Buildings security;
- Chapter 8. Smart Economy security

*Part 3: Remote sensing and technologies*

- Chapter 9. Artificial Intelligence for Enabled Remote Sensing
- Chapter 10. machine learning for Enabled Remote Sensing
- Chapter 11. Deep Learning for Enabled Remote Sensing
- Chapter 12. XAI for Enabled Remote Sensing
- Chapter 13. Big Data for Enabled Remote Sensing
- Chapter 14. Blockchain for Enabled remote sensing

*Part 4: Futuristic Ideas*

- Chapter 15. Futuristic Ideas for Remote sensing

------------------------------------------------------------------------------------------------------
Best regards

*Dr. M.Lahby*

Laboratory of Mathematics and Applications, University Hassan II, Ecole
Normale Supérieure (ENS) Casablanca, Morocco

mlahby@gmail.com
GSM : +212 6 65 29 23 76
In the world of Linux, who needs Windows and Gates

[DMANET] ICTAC 2022 - Final Call for Papers - Hybrid

ICTAC 2022 - Final Call for Papers.

Taking into account the coronavirus pandemic and the war in Ukraine,
the conference will be organized as a hybrid event.

Part of Computational Logic Autumn Summit (CLAS 2022)
https://viam.science.tsu.ge/clas2022
*****************************************************************************

Overview

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

Important Dates

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

Publication

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

Steering Committee

Theory Announcements

Friday, May 6, 2022

[DMANET] CFP - WASA 2022

[DMANET] Deadline Extension: ICTAC 2022

[DMANET] ICALP 2022 - Second Call for Participation

Thursday, May 5, 2022

[DMANET] Call for Presentations - Graph Width Parameters: from Structure to Algorithms (GWP 2022)

[DMANET] Three open positions (prof, postdoc, predoc) within artificial intelligence, security and mechatronics

[DMANET] Final CFP (submission deadline 15 May): 2022 IEEE Conference on Computational Intelligence

[DMANET] DISC 2022 Final Call for Papers

Wednesday, May 4, 2022

[DMANET] Assistant Professor Positions at University of Campinas in Brazil

[DMANET] SPECIES Scholarships - First Call for Candidate Applications

[DMANET] One-day workshop on the Inventory Routing Problem at Ecole des Ponts Paristech on May 20th, 2022

Tuesday, May 3, 2022

[DMANET] PhD position - Co-tutored thesis between IMT Atlantique (France) and UCC (Irlande)

[DMANET] OR2022: Submission deadline extended

Monday, May 2, 2022

Re: [DMANET] PhD position in Algorithms and Data Structures at NTNU

[DMANET] [CFP-ESORICS 2022]: 27th European Symposium on Research in Computer Security (ESORICS) 2022

[DMANET] [CFP] CMC 2022 - 2nd Call for Papers

[DMANET] PhD position in Operations Research at Eindhoven University of Technology

[DMANET] “Best AIROYoung Dissertation” 2022 – Call for Applications for a PhD thesis award

[DMANET] Special Issue at MMOR on Exact and Approximation Methods for Mixed-Integer Multi-objective Optimization

[DMANET] Deadline extension to May 14 --- stream “OR in Developing Countries” - OR 2022, Karlsruhe, Germany, Sept. 6-9

Sunday, May 1, 2022

[DMANET] Extended deadline for applications: 10 PhD Positions in Computer Science at TU Wien, Vienna, Austria

[DMANET] [Free Springer Book] Contributing a chapter for a Springer Book on Applications of Remote Sensing Techniques for Sustainable Security

[DMANET] ICTAC 2022 - Final Call for Papers - Hybrid

Mailing Lists

Search This Blog

Blog Archive

Friday, May 6, 2022

Thursday, May 5, 2022

Wednesday, May 4, 2022

Tuesday, May 3, 2022

Monday, May 2, 2022

Sunday, May 1, 2022

Mailing Lists

Subscribe To

Search This Blog

Blog Archive