[DMANET] CFP: 18th International Symposium on Bioinformatics Research and Applications (ISBRA)

*18th International Symposium on Bioinformatics Research and Applications
(ISBRA)*

University of Haifa, Haifa, Israel November 14 - 17, 2022
https://mangul-lab-usc.github.io/ISBRA

*SCOPE:*

The International Symposium on Bioinformatics Research and Applications
(ISBRA) provides a forum for the exchange of ideas and results among
researchers, developers, and practitioners working on all aspects of
bioinformatics and computational biology and their applications.
Submissions presenting original research are solicited in all areas of
bioinformatics and computational biology, including the development of
experimental or commercial systems. Topics of interest include but are not
limited to:

Biomarker discovery
Biomedical databases and data integration
Biomedical text mining and ontologies
Biomolecular imaging
Comparative genomics Computational genetic epidemiology Computational
proteomics
Data mining and visualization
Gene expression analysis
Genome analysis
Population genetics
High-performance bio-computing Metagenomics
Molecular evolution
Molecular modeling and simulation Next-generation sequencing data analysis
Pattern discovery and classification Software tools and applications
Structural biology
Systems biology
AI and machine learning methods in biology and medicine
Big data analytics in biology and medicine

*PAPER SUBMISSION*

Please submit extended abstracts (up to 12 pages in Springer LNCS format)
via the online submission system (
https://easychair.org/conferences/?conf=isbra2022). Submission implies
willingness of at least one author to register and present at the
symposium. The authors should choose one of the following tracks:

Track 1: Submit up to 12 pages in LNCS format for (i) oral presentation at
the conference and publication of the extended abstract in the Springer
LNBI proceedings and (ii) invitation to submit a 30-50%-extended version to
ISBRA'22 special issues of IEEE/ACM Transactions on Computational Biology
and Bioinformatics, Journal of Computational Biology, Tsinghua Science and
Technology or FGCS (Pending Approval).

Track 2: Submit up to 12 pages in LNCS format for (i) oral presentation at
the conference and (ii) invitation to submit a full-length paper to
ISBRA'22 special issues of BMC Bioinformatics, BMC Genomics or
Neurocomputing (Pending Approval).

*IMPORTANT DATES*

Submission Deadline: July 25, 2022
Notification: August 25, 2022
Final Version Due: September 7, 2022

*Travel Awards:* A limited number of NSF-sponsored travel awards are
available for US based students and postdocs.

**********************************************************
*
* 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 researcher position at CRIL Lab - Artois University, Lens

Dear colleagues,

The CRIL (Lens Computer Science Research Lab - UMR 8188)Lab at University
of Artois (Lens) is hiring a one-year postdoctoral researcher to work on
the POSTCRYPTUM project, funded by the Agence Nationale de Recherche (ANR)
and AID/DGA. This is a three-years project focused on algebraic
cryptanalysis of public key cryptosystems, focused mainly on post-quantum
schemes.

For more details on the project, please check here:

https://home.mis.u-picardie.fr/~ionica/postcryptum/Welcome.html

The ideal candidate should hold a Phd degree in Computer Science, Symbolic
AI, propositional satisfiability (SAT) and beyond. Skills in one or
several of the following topics will be appreciated:

· SAT solving,

· Problem encodings and reformulation,

· Cryptography,

· Pattern mining and machine learning.

The starting date is flexible, but preferably no later than December

2022.

For more information, please contact us (audemard@cril.fr, *jabbour@cril.fr
<jabbour@cril.fr>, *sais@cril.fr*).*

Best regards,

Gilles Audemard, Said Jabbour & Lakhdar Saïs

Pr. Lakhdar Saïs
---
CRIL <http://www.cril.fr> - CNRS <http://www.cnrs.fr/ins2i/>, UMR 8188
Université d'Artois, Lens
http://www.cril.fr/~sais

**********************************************************
*
* 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: Artificial Intelligence for Automation in Freight Transport (ITOR; deadline 30-Nov)

** Apologies for cross-postings. Please forward this CfP to anyone who may be interested to contribute to this Special Issue. **

Dear colleagues,

We cordially invite you to contribute to the special issue Artificial Intelligence for Automation in Freight Transport in the Journal of International Transactions in Operational Research (ITOR). The peer-reviewed journal has a long and successful history of publishing relevant works in the interplay of operations research and logistics.

The main goal of this special issue is to bring and comprehensively collect cutting-edge research and recent advances in AI and optimization to promote and foster automation in freight transport. This issue will provide readers with high-quality contributions exploring and dealing with optimization problems in the field of transportation while discussing advanced approaches for automating operations. Examples involve the joint use of machine learning and mathematical programming to automate physical processes (robots, drones, automated vehicles), integrating information systems with optimization algorithms to automate decision-making, and developing truly-brained systems to support logistics decisions. This special issue will contribute to the literature with relevant theoretical and practical works advancing the progress of operations research and artificial intelligence towards automation in all types of freight transportation areas.

Topics of interest include but are not limited to:

- Advances in Optimization Models promoting automation
- Combination of methods from Artificial intelligence and Operations Research to foster
automated planning
- Automation of physical processes (robots, drones, automated vehicles)
- Modern vehicle and multi-modal transportation optimization problems
- Theoretical and/or empirical analysis of automation in transportation through
optimization
- Urban and freight logistics
- Knowledge-based systems and hybrids
- Heuristics, Metaheuristics, and Hyperheuristics-based embedded systems
- Data-driven and integrative approaches for efficient freight transport
- Intelligent techniques for online and offline planning
- Computational intelligence in transport automation

Further information: https://onlinelibrary.wiley.com/page/journal/14753995/homepage/call_for_special_issue_papers.htm

* Important Dates:

Submission: November 30, 2022
1st review round: First quarter 2023
Notification of final acceptance: second/third quarter 2023

Submission page: https://mc.manuscriptcentral.com/itor

* Guest Editors:
Eduardo Lalla-Ruiz (contact editor for submission queries)
Department of High-tech Business and Entrepreneurship, IEBIS,
University of Twente

Martijn Mes
Department of High-tech Business and Entrepreneurship, IEBIS,
University of Twente

Stefan Voß
Institute of Information Systems,
University of Hamburg, Germany

**********************************************************
*
* 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] The First Workshop on Advanced Security of the Digital Twin and the Metaverse (ASDTM), BCCA 2022

The first Workshop on

*Advanced Security of the Digital Twin and the Metaverse (ASDTM)*

*http://intelligenttech.org/BCCA2022/Workshops/ASDTM2022/
<http://intelligenttech.org/BCCA2022/Workshops/ASDTM2022/> *

*In Conjunction with*

*The Fourth International Conference on Blockchain Computing and
Applications (BCCA 2022)*

5-7 September 2022 (San Antonio, Texas, USA)

http://intelligenttech.org/BCCA2022/index.php

The real world is surrounded by people, buildings, hospitals, factories,
businesses, vehicles, entire cities, and the billions of devices that
provide various services and connect us to each other and to this world.
The Digital Twin provides an advanced solution to replicate this physical
world into a digital clone of it. It is bound to the physical world in
real-time allowing it to run simulations on, and understand system
patterns, and using AI it allows to learn, predict, and act to improve the
provided services (i.e. to save time and money, reduce carbon, to preserve
natural resources, to improve safety, etc.). This wave of innovations
trends to an interconnectedness that enables the metaverse. In other words,
the metaverse provides an exciting immersive experience in a 3d world
providing a flexible manner to interact and collaborate with the real-world
digital clone. Everything modeled in the real-world Metaverse nears the
status of its physical twin including interactions and relations between
everything else. To this end, a huge amount of data has to be collected and
managed to put heavy challenges on the networking and computing systems. On
the other hand, these technologies have strict boundaries related to the
security and the privacy of the collected data. By applying the power of
the blockchain, new ways to secure, store and manipulate the data can be
provided to eliminate boundaries of what can be provided. The potential is
limitless to track, manage data and create patterns, and trends, and detect
anomalies.

The purpose of this workshop is to elaborate on and emphasize the key
aspects to secure the metaverse. The workshop welcomes original research
and innovative solutions on the above subjects as well as the case studies
that explore the potential exploitation of blockchain in the Digital Twin
and the Metaverse. Research may cover and focus on either the fundamental
methodological studies or the use case and application demonstrations.

Topics of interest include, but certainly not limited to:

· Blockchain in the metaverse

· Blockchain in the digital twin

· Edge computing for Internet of Metaverse

· Network security of the metaverse

· Digital twin and Metaverse privacy

· Consensus and mining algorithms suited for the metaverse

· Blockchain-based Controlled mobility and QoS in the metaverse

· Cybersecurity in the metaverse

*Organization Committee:*

· Ouns Bouachir, Zayed University, UAE

· Müge Erel-Özçevik, Celal Bayar University, Turkey

*Important Dates:*

· Workshop Papers Due: * 10 July 2022 *

· Papers Acceptance Notification: *1 August 2022*

· Final Camera-Ready Paper Due: *15 August 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/
*
**********************************************************

[DMANET] MATCOS 2022: 2nd CFP

Dear colleagues,

please, find attached second CFP for this yoear MATCOS. It now also
includes a possibility to submit a short paper. We also invite you to
distribute the CFP to your students and colleagues.

We belive that MATCOS 2022 can and will be an inspiring event.

Thanx in advance and LPA

----

                           Call for Papers

  Middle-European Conference on Applied Theoretical Computer Science
                             (MATCOS-22)

            Koper, Slovenia, October 13th and 14th, 2022.
http://matcos.iam.upr.si

Held in conjunction with the 25th Multi-Conference on Information
Society, October 10th - 14th, 2022, Ljubljana, Slovenia.
(http://is.ijs.si)

Scope and Topics

During the past years, other fields have used several subjects,
methods and approaches of Theoretical Computer Science, and several
results have been integrated into practical applications. Solutions
for NP-hard problems, algorithmic-oriented AI and data science, new
models and methods in system biology and bioinformatics, automata
theory approaches in software and hardware verification, practical
quantum computing solutions and the development of other prospective
new models of computation are good examples to buttress the above
statement.

We set double aims as the scope of this conference: on one hand side
we expect ideas and solutions from the field of Theoretical Computer
Science which have been directly applied in real world
applications. On the other side we want to collect theoretical results
          based on some fruitful idea that may be useful to adopt for
practical
problems.

Suggested, but not exclusive, topics of interest include:
- Automata and formal languages, computability,
- Algorithms and data structures,
- Computational complexity,
- Artificial intelligence, machine learning,
- Optimization, approximation methods, NP-hard problems,
- Graph theory,
- Computational geometry.

There is a special emphasis on use in applications such as simulation,
bioinformatics, digital signal and image processing, data science,
digital forensics, logistics, smart homes/cities and IoT,
computational social science etc.

Program Committee

  Andrej Brodnik (Koper, Ljubljana, Slovenia) co-chair
  Bo Chen (Warwick, UK)
  Gábor Galambos (Szeged, Hungary) co-chair
  Neil Hurley (Dublin, Ireland)
  Gabriel Istrate (Timisoara, Romania)
  Miklós Krész (Szeged, Hungary and Koper, Slovenia)
  Ujjwal Maulik (Kolkata, India)
  Silvano Martello (Bologna, Italy)
  Benedek Nagy (Famagusta, Cyprus, Turkey)
  Ion Petre (Turku, Finland)
  Ulrich Pferschy (Graz, Austria)
  Gerhard Reinelt (Heidelberg, Germany)
  Giovanni Rinaldi (Rome, Italy)
  Attila Sali (Budapest, Hungary)
  Borut Žalik (Maribor, Slovenia)

Keynote speaker

György Turán, University of Illinois at Chicago and
  Research Group on AI, University of Szeged

Paper submission

Papers presenting original research in conference topics are being
sought. Papers (regular and short) must be in English and provide
sufficient details to allow the program committee to assess their
merits. The submissions of regular papers, as well as their final
versions, are limited to 4 pages sharp and will be published in an
Information Society multi-conference proceeding.  The submissions of
short papers must include an abstract at least. Instructions for
preparing the papers can be downloaded from Conference Website.

Revised and extended versions of selected papers will appear in a
special issue of the journal Informatica (http://www.informatica.si/).

Only electronic submissions will be accepted (in pdf format), via
EasyChair (in a submission indicate whether you are submitting a
regular or short paper):

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

Important dates

Paper submission:               August 1st, 2022
Notification:                   August 22nd, 2022

Website and Contacts: https://matcos.iam.upr.si/.
--------------------

More detailed on-line information is at http://matcos.iam.upr.si.
Personal inquires should be sent to matcos@iam.upr.si.

Organized by University of Primorska, Institute Andrej Marušič, and
Faculty of Mathematics, Natural Sciences and Information Technologies
in cooperation with InnoRenew CoE.

--
University of Ljubljana
Faculty of Computer and Information Science

Digitalne kompetence nas naučijo držati pero, pri računalništvu in informatiki pa se učimo pisati zgodbe.
Digital competences teach us to hold a pen, while Computer Science teaches us to write stories.

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

[DMANET] Extended Deadline - Reachability Problems RP2022 ( July 14, 2022)

Dear Colleagues,


International Conference on Reachability Problems (RP'22) will be organised

as a physical meeting in Kaiserslautern (Germany), but also offering a possibility

to authors with travel restrictions to give online presentations.

After two years of virtual events, it would be a great opportunity to meet in person,

to expand your research network and to work together during the conference with your colleagues.

https://rp2022.mpi-sws.org/


Deadline for submissions is EXTENDED to July 14, 2022.

The conference is specifically aimed at gathering scholars
from diverse disciplines and backgrounds interested in wide
range of Theoretical Computer Science areas related reachability problems:


Authors are invited to submit a full paper with at most 14 pages (excluding the bibliography and potential appendices) formatted according to the LNCS guidelines.


INVITED SPEAKERS:

- Michael Benedikt (University of Oxford)

- Sharon Shoham Buchbinder (Tel Aviv University)

- Laura Ciobanu (Heriot-Watt University)

- Wojciech Czerwiński (University of Warsaw)

- Rupak Majumdar (Max Planck Institute for Software Systems, MPI-SWS)


Best Regards,

Igor

PS. Please find a call for papers below if you would be interested to share it with your local networks or your colleagues

RP 2022: The 16th International Conference on Reachability Problems
Oct 17 - Oct 21, 2022 (Kaiserslauter)
https://rp2022.mpi-sws.org/

Regular paper (for LNCS Proceedings):
Submission deadline: July 14, 2022 (EXTENDED)
Notification Due: Aug 17, 2002
Final Version Due: Aug 24, 2002

Informal Presentation:
Deadline: July 31, 2022
Notification: August 8, 2022

Call For Papers

The 16th International Conference on Reachability Problems (RP'22) will be organised by the Max Planck Institute for Software Systems (MPI-SWS) and the University of Kaiserslautern. In 2020 and 2021 the conference was virtual due to COVID restrictions, and this year RP will be organised as a physical meeting in Kaiserslautern, offering a possibility to authors with travel restrictions to give online presentations. The conference proceedings will be published in Springer's Lecture Notes in Computer Science (LNCS). A selection of articles among the contributed papers will be invited to a special issue of a journal.

Confirmed Invited Speakers:
-Michael Benedikt
-Sharon Shoham Buchbinder
-Laura Ciobanu
-Wojciech Czerwinski
-Rupak Majumdar

Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. This will also be the occasion to review recent breakthroughs by renowned invited experts and survey emerging trends and emphasise on key open challenges. Participants are kindly encouraged to discuss core scientific issues that need to be further tackled.

TOPICS
The conference is specifically aimed at gathering scholars from diverse disciplines and backgrounds interested in wide range of Theoretical Computer Science areas related reachability problems:

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

Topics of interest include (but are not limited to):
- reachability problems in infinite-state systems,
- rewriting systems, dynamical and hybrid systems;
- reachability problems in computational games and distributed systems;
- reachability problems in dynamical networks,
- reachability problems in logic and verification;
- reachability problems in formal methods;
- reachability analysis in different computational models,
counter timed/ cellular/ communicating automata;
- Petri nets; computational and combinatorial aspects of algebraic structures
(semigroups, groups and rings);
- frontiers between decidable and undecidable reachability problems;
- predictability in iterative maps and new computational paradigms.

GUIDELINES FOR SUBMISSION. There are two categories of submissions:

REGULAR PAPERS

Authors are asked to submit their papers through EasyChair.
https://easychair.org/conferences/?conf=reach2022

PRESENTATIONS ONLY
In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to submit a paper which recently appeared (or which is going to appear) in proceedings of another conference, or which has not yet been submitted. Neither the paper nor the abstract will be published in the proceedings.

IMPORTANT DATES
Regular papers
Full papers: June 28, 2022
Notification: August 1, 2022
Final Version: August 8, 2022

Presentation-only papers
Abstracts: July 31, 2022
Notification: August 8, 2022

RP Conference: October 17-21, 2022

Conference chairs:
- Anthony W. Lin, University of Kaiserslautern - co-chair
- Georg Zetzsche, Max Planck Institute for Software Systems (MPI-SWS) - co-chair
- Igor Potapov, University of Liverpool - Publication chair

PROGRAM COMMITTEE:

- C. Aiswarya (Chennai Mathematical Institute, IN)
- Mohamed Faouzi Atig (Uppsala University, SE)
- Udi Boker (Interdisciplinary Center (IDC) Herzliya, IL)
- Benedikt Bollig (CNRS, LMF, ENS Paris-Saclay, FR)
- Michaël Cadilhac (DePaul University, US)
- Yu-Fang Chen (Academia Sinica, TW)
- Stéphane Demri (CNRS, LMF, ENS Paris-Saclay, FR)
- Moses Ganardi (MPI-SWS, DE)
- Julian Gutierrez (Monash University, AU)
- Christoph Haase (University of Oxford, UK)
- Peter Habermehl (IRIF, Université Paris Cité, FR)
- Piotr Hofman (University of Warsaw, PL)
- Naoki Kobayashi (University of Tokyo, JP)
- Dietrich Kuske (TU Ilmenau, DE)
- Jérôme Leroux (CNRS, LaBRI, Université de Bordeaux, FR)
- Anthony W. Lin (University of Kaiserslautern, DE)
- K. Narayan Kumar (Chennai Mathematical Institute, IN)
- Guillermo Perez (University of Antwerp, BE)
- Igor Potapov (University of Liverpool, UK)
- Gabriele Puppis (Udine University, IT)
- Karin Quaas (University of Leipzig, DE)
- Krishna S (IIT Bombay, IN)
- Mahsa Shirmohammadi (CNRS, IRIF, Université Paris Cité, FR)
- Daniel Stan (University of Kaiserslautern, DE)
- Alwen Tiu (Australian National University, AU)
- Zhilin Wu (Chinese Academy of Sciences, CN)
- Georg Zetzsche (MPI-SWS, DE)

STEERING COMMITTEE
Parosh Aziz Abdulla (SE)
Olivier Bournez (FR)
Vesa Halava (FI)
Alain Finkel (FR)
Oscar Ibarra (USA)
Juhani Karhumaki (FI)
Jérôme Leroux (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] Workshop on Enumeration Problems and Applications (WEPA): Call for Papers

WEPA 2022: Fifth Workshop on Enumeration Problems and Applications
November  22-25, Clermont-Ferrand (France)

IMPORTANT DATES

Submission deadline: September 7, 2022
Notification: October 5
Registration deadline: October 19
Event:November 22-25

WEBSITE: https://wepa-2022.sciencesconf.org/

AIMS AND SCOPE

WEPA is an international forum for researchers in the area of design,
analysis, experimental evaluation and engineering of algorithms for
enumeration problems. The objective of the workshop is to gather
researchers working in enumeration algorithms, including their
applications in Biology, Data Mining, Logic, and Database. The goal is
to present recent results, identify and explore directions for future
research, and foster collaborations. Some slots will be devoted
for work sessions in small groups.

Submissions to WEPA should describe results in any area of enumeration
problems and including, but not restricted to:
- Applications in Biology, Data Mining, Logic, and Database
- Approximate enumeration and counting
- Combinatorial enumeration and counting (hypergraph dualization,
lattices, functional dependencies,...)
- Input-sensitive algorithms
- Output-sensitive algorithms

This edition will take place in Clermont-Ferrand (France)

INVITED SPEAKERS

* Florent Capelli - LINKS -  University of Lille
* Nofar Carmeli - DI - ENS Paris
* Alessio Conte - University of Pisa - Italy
* Torsten Mütze - Department of Computer Science - University of Warwick
- UK

SUBMISSIONS AND PROCEEDINGS

Contributors are invited to submit an extended abstract of at most 2
pages (excluding references). Both original research and discussion of
published results are welcome. Submissions are to be made electronically
via EasyChair at the link
https://easychair.org/conferences/?conf=wepa2022

PROGRAM COMMITTEE

* Boros  Endre - Rutgers Business School - USA
* Defrain Oscar -  University Aix Marseille - France
* Golovach Petr - University of Bergen - Norway
* Grossi Roberto - University of Pisa - Italy
* Kimmelfed Benny - Technion - Haïfa - Israel
* Knauer Kolja - University of Barcelona
* Limouzy Vincent - University Clermont Auvergne - France
* Marino Andrea - University of Firrenze - Italy
* Mary Arnaud - University Claude Bernard - Lyon - France
* Nourine Lhouari - University Clermont Auvergne
* Sagot Marie-France - INRIA/University Claude Bernard - Lyon - France
* Strozeki Yann - University Versailles Saint Quentin en Yvelines - France
* Uno Takeaki - NII - Tokyo - Japan
* Wasa Kunihiro - Toyohashi University of Technology - Japan

ORGANIZING COMMITTEE

* Bourdieu Béatrice  - University Clermont Auvergne - France
* Limouzy Vincent  - University Clermont Auvergne - France
* Mary Arnaud - University Claude Bernard - Lyon - France
* Miginiac Séverine - University Clermont Auvergne - France
* Nourine Lhouari - University Clermont Auvergne - France

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

Re: [DMANET] Simulation Modelling Research Associate (Port of Dover KTP)

CORRECTION: The closing date for applications for the Port of Dover KTP Associate position in ABM / DES / hybrid modelling is 29 July 2022.

Regards,
Prof Jesse O'Hanley

-----Original Message-----
From: dmanet <dmanet-bounces@zpr.uni-koeln.de> On Behalf Of Jesse O'Hanley
Sent: 27 June 2022 13:20
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Simulation Modelling Research Associate (Port of Dover KTP)

We seek a PhD graduate (or someone close to completion) with expertise in agent based modelling (ABM), discrete event simulation (DES), and hybrid modelling, who will be responsible for leading a 2-year Knowledge Transfer Partnership (KTP) between University of Kent and the Port of Dover to support long-term strategic developments at the Port. The KTP Associate will be tasked with helping to inform the Port of Dover's master planning exercise by developing bespoke ABM / DES / hybrid models to forecast and manage traffic flows in response to evolving post-Brexit regulatory requirements and the implementation a new digital border. Successful delivery of the project will enable reduced congestion, increased throughput of goods, and wider environmental and social benefits through decarbonisation and local air quality improvements.

The successful applicant will be based at Port of Dover's premises, being embedded in the Port's Strategy and Corporate Planning Team, and will work closely with a team of academics from the Department of Analytics, Operations & Systems<https://research.kent.ac.uk/daos/> in Kent Business School. Applicants should hold a PhD in operational research, management science, business analytics, or similar. Candidates must have an in-depth knowledge and demonstrated proficiency in the application of ABM / DES / hybrid modelling, as well as a good understanding of data analysis and statistics. Good computer programming skills (e.g. C/C++, Java, Python) and experience working with one or more industry standard simulation and statistical packages (e.g. AnyLogic, SIMUL8, Repast, MASON, R, SPSS) are essential. Previous industry experience is highly desirable as is a proven track record of academic publishing.

The closing date for the position is 29 July 2022. For more information or to apply, please follow the link below.

https://jobs.kent.ac.uk/vacancy.aspx?ref=KBS-096-22

For informal discussion only, please contact Prof Jesse O'Hanley, Head of the Department of Analytics, Operations and Systems, (j.ohanley@kent.ac.uk<mailto:j.ohanley@kent.ac.uk>).

**********************************************************
*
* 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] MSN 2022 Submission Deadline Extended to July 15, 2022

[Apologies if you receive multiple copies of this message]

The 18th International Conference on Mobility, Sensing and Networking (MSN
2022)
December 14-16, 2022 - Guangzhou, China
https://ieee-msn.org/2022

MSN 2022 provides a forum for academic researchers and industry
practitioners to present research progresses, exchange new ideas, and
identify future directions in the field of Mobility, Sensing and
Networking. MSN 2022 is technically sponsored by IEEE.

SCOPES & OBJECTIVES

Mobility, sensing and networking are the key areas of enabling technologies
for the next-generation networks, Internet of Things and Cyber-Physical
Systems.
Recent years have witnessed the increasing convergence of algorithms,
protocols, and applications for mobility, sensing and networking in a range
of applications including connected vehicles, smart cities, smart
manufacturing, smart healthcare, smart agriculture, and digital twins.
Building on the past 17 years of success, the 18th International Conference
on Mobility, Sensing and Networking (MSN 2022) provides a forum for
academic researchers and industry practitioners to exchange new research
ideas, present their progress, and identify future directions in the field
of mobility, sensing and networking.
The conference solicits submissions from all research areas related to
mobility, sensing and networking, as well as their corresponding systems
and applications. Topics of interests are covered by the following tracks:

- Mobile & Wireless Sensing and Networking
- Edge Computing, IoT and Digital Twins
- Security, Privacy, Trust, and Blockchain
- Big Data and AI
- Systems, Tools and Testbeds
- Applications in Smart Cities, Healthcare, and Other Areas

SUBMISSION PROCEDURE
All manuscripts need to be submitted via EasyChair (
https://easychair.org/conferences/?conf=msn2022).
Submitted manuscripts must be prepared according to IEEE Computer Society
Proceedings Format (double column, 10pt font, letter paper) and submitted
in the PDF format. The manuscript submitted for review should be no longer
than 8 pages. After the manuscript is accepted, the camera-ready paper may
have up to 10 pages, subject to an additional fee per extra page.
Manuscripts should be submitted to one of the research tracks. Submitted
manuscripts must not contain previously published material or be under
consideration for publication in another conference or journal at the time
of submission. The accepted papers will be included in IEEE Xplore.

IMPORTANT DATES
Submission due: July 15, 2022 (extended)
Notification: Sep 15, 2022
Camera-ready due: Oct 15, 2022
Conference date: Dec 14-16, 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/
*
**********************************************************

[DMANET] Extended CFP: "Surveys in Algorithm Analysis and Complexity Theory" special issue of Algorithms

EXTENDED CALL FOR PAPERS:
"Surveys in Algorithm Analysis and Complexity Theory" -- A special issue of
Algorithms (ISSN 1999-4893)

This is a special issue consisting of surveys in theoretical computer science.
We invite original articles summarizing recent breakthroughs and/or describing
the state of the art in any currently active research area related to
algorithms, data structures, or computational complexity.
Articles should be well-structured, and each article should focus on a clearly
defined topic.
In addition, sufficient background, definitions, and figures should be provided
to ensure that the text will be accessible to anyone interested in theoretical
computer science.
Implementation-based surveys that compare the practical performance of various
algorithms for a particular computational problem are also invited.
We hope that the surveys published in this special issue will be useful for
other researchers and become highly cited in the near future.

Guest Editor:
Dr. Jesper Jansson, Kyoto University, Japan

Keywords:
* algorithm analysis
* modern data structures
* computational complexity
* fixed-parameter tractability
* approximation algorithms
* lower bounds
* bioinformatics algorithms
* computational geometry
* parallel and distributed computing
* quantum computing

Submission information:
Submitted manuscripts should not have been published previously nor be under
consideration for publication elsewhere.
All submissions will be thoroughly refereed through a peer-review process.
Manuscripts should be submitted online after registering and logging in.
Accepted articles will be published continuously in the journal (as soon as
accepted) and will be listed together on the special issue website.
A guide for authors and other information related to the submission of
manuscripts is available on the "Instructions for Authors"-page.
The article processing charges for publication in this open-access journal are
also listed on the journal's webpage.

Deadline:
The extended deadline for manuscript submissions is 2022-10-31.

About the journal:
Algorithms (ISSN 1999-4893; CODEN: ALGOCH) is an open-access journal of
computer science, computational mathematics, artificial intelligence,
automation and control systems, theory, methods and interdisciplinary
applications, data and information systems, and software engineering.
It is published online monthly by MDPI.

Journal webpage:
https://www.mdpi.com/journal/algorithms

Special issue main webpage:
https://www.mdpi.com/journal/algorithms/special_issues/survey_algorithm_complexity

Instructions for authors:
https://www.mdpi.com/journal/algorithms/instructions

Submission:
https://susy.mdpi.com/user/manuscripts/upload/?journal=algorithms

**********************************************************
*
* 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] Full Professor Discrete Mathematics & Probability, TU Graz

TU Graz offers the position of a full professor of Discrete Mathematics
and Probability (tenured according to §98 UG), starting Oct 1, 2023. We
are looking for a highly qualified individual of international standing
who has an excellent research profile in an active area of discrete
mathematics with connections to probability.

For further information as well as the mandatory application form, please
visit https://www.tugraz.at/go/professorships-vacancies.

Applications must be sent to bewerbungen.mpug@tugraz.at no later than
August 28, 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/
*
**********************************************************

[DMANET] [Deadline Extended, July 27 -- firm --] Call for Papers - DPM 2022, Data Privacy Management, co-located with ESORICS 2022, LNCS proceedings & special issues, Copenhagen, Denmark, 30 Sep 2022

ALL FOR PAPERS

******************************************************
Data Privacy Management (DPM 2022)
17th International Workshop

September 30, 2022, Copenhagen, Denmark

(co-located with ESORICS 2022 and CBT 2022)

website: https://deic.uab.cat/dpm/dpm2022/

*(hybrid mode: in-person attendance is encouraged,
but remote participation will be made available
upon request)*
******************************************************

IMPORTANT DATES
======================

Submission Deadline:
-- July 27, 2022 (*already extended, hard deadline*)

Notification:
-- August 29, 2022

Camera Ready:
-- September 20, 2022

======
SCOPE
======

DPM is an annual international workshop covering research in data
privacy management. Organizations are increasingly concerned
about the privacy of information that they manage (as witnessed,
for example, by lawsuits filed against organizations for
violating the privacy of customer's data). Thus, the management
of privacy-sensitive information is very critical and important
for every organization.

This poses several challenging problems, such as how to translate the
high-level business goals into system-level privacy policies,
administration of privacy-sensitive data, privacy preserving data
integration and engineering, privacy preserving access control
mechanisms, information-oriented security, and query execution on
privacy-sensitive data for partial answers. Starting from these
observations, the aim of DPM is to discuss and exchange ideas related
to data privacy management. We invite papers from researchers and
practitioners working in privacy, security, trustworthy data systems
and related areas to submit their original papers in this workshop.
Submissions by PhD students as well as controversial ideas are
encouraged. Case studies (successful or not) are also encouraged.

TOPICS
========

Topics of interest include, but are not limited to:

- Privacy Information Management
- Privacy Policy-based Infrastructures and Architectures
- Privacy-oriented Access Control Languages and Models
- Privacy in Trust Management
- Privacy in Cryptocurrencies
- Privacy Data Integration
- Privacy Risk Assessment and Assurance
- Privacy Services
- Privacy Policy Analysis
- Data Protection Regulations in Practice
- Cryptographic Protocols for Privacy
- Query Execution over Privacy Sensitive Data
- Privacy Preserving Data Mining
- Privacy for Integrity-based Computing
- Privacy Monitoring and Auditing
- Privacy in Social Networks
- Privacy in Ambient Intelligence (AmI) Applications
- Individual Privacy vs. Corporate/National Security
- Privacy in computer networks
- Privacy and RFIDs
- Privacy and Big Data
- Privacy in sensor networks
- Privacy in the Internet of Things

PAPER SUBMISSIONS
===================

Submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal or a
conference with proceedings. Papers can be submitted as Full Papers or
Short Papers. Full papers should be at most 16 pages in the LNCS
format, including the bibliography and well-marked appendices. Short
papers should be at most 8 pages in the LNCS format, including the
bibliography and well-marked appendices. Program Committee members are
not required to read the appendices, so papers should be intelligible
without them.

Authors should indicate whether their paper is a short paper to
differentiate them from full papers. All submissions must be written
in English. It is planned to have accepted papers published by
Springer in the Lecture Notes in Computer Science (LNCS) series, the
LNCS template can be found at
http://www.springer.com/computer/lncs/lncs+authors.

Authors must submit their papers by the indicated deadline, using the
EasyChair web site:

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

Only PDF files will be accepted (a Latex source file will be required
for the
final version of the accepted papers). All papers will be refereed. Accepted
papers must be presented at the Workshop. At least one author of each
accepted
paper must register to the workshop, by the early date indicated by the
organizers, and present the paper.

PROGRAM CHAIRS
===============

- Joaquin Garcia-Alfaro (Institut Polytechnique de Paris)
- Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona)

PROGRAM COMMITTEE
=================

- Esma Aimeur (University of Montreal)
- Ken Barker (University of Calgary)
- Elisa Bertino (Purdue University)
- Jordi Castella-Roca (Universitat Rovira i Virgili)
- Mauro Conti (University of Padua)
- Mathieu Cunche (University of Lyon / Inria)
- Frederic Cuppens (Polytechnique Montreal)
- Sabrina De Capitani di Vimercati (Universita degli Studi di Milano)
- Josep Domingo-Ferrer (Universitat Rovira i Virgili)
- Nicolas E. Diaz Ferreyra (Hamburg University of Technology)
- Sebastien Gambs (Université du Québec à Montréal)
- Guy-Vncent Jourdan (University of Ottawa)
- Marc Juarez (University of Southern California)
- Nesrine Kaaniche (Telecom SudParis)
- Christos Kalloniatis (University of the Aegean)
- Florian Kammueller (Middlesex University London)
- Bruce Kapron (University of Victoria)
- Sokratis Katsikas (Norwegian University of Science and Technology)
- Muhammad Imran Khan (Insight-centre for Data Analytics)
- Christophe Kiennert (Telecom SudParis)
- Hiroaki Kikuchi (Meiji University)
- Marc-Olivier Killijian (Université du Quebec a Montreal)
- Evangelos Kranakis (Carleton University)
- Alptekin Kupcu (Koc University)
- Romain Laborde (University Paul Sabatier Toulouse III)
- Patrick Lacharme (Ensicaen)
- Costas Lambrinoudakis (University of Piraeus)
- Maryline Laurent (Institut Mines-Telecom)
- Giovanni Livraga (University of Milan)
- Brad Malin (Vanderbilt University)
- Lukas Malina (Brno University of Technology)
- David Megias (Universitat Oberta de Catalunya)
- Benjamin Nguyen (INSA Centre Val de Loire)
- Gerardo Pelosi (Politecnico di Milano)
- Isabel Praca (GECAD / ISEP)
- Silvio Ranise (Universy of Trento and Fundazione Bruno Kessler)
- Kai Rannenberg (Goethe University Frankfurt)
- Ruben Rios (Universidad de Malada)
- Pierangela Samarati (Universita degli Studi di Milano)
- Natalia Stakhanova (University of Saskatchewan)
- Nadia Tawbi (Laval University)
- Vicenc Torra (Umea University)
- Alexandre Viejo (Universitat Rovira i Virgili)
- Isabel Wagner (De Montfort University)
- Lena Wiese (University of Gottingen)
- Nicola Zannone (Eindhoven University of Technology)

VENUE/FORMAT
===================

The workshop will be held in Copenhagen, Denmark, in conjunction with
the 27th annual European Symposium on Research in Computer Security,
ESORICS. More information on accomodation and venue available from
the ESORICS 2022 website at: https://esorics2022.compute.dtu.dk/

In-person attendance is encouraged, but remote participation will
be made available upon request.

This call for papers and additional information about DPM 2022
can be found at https://deic.uab.cat/dpm/dpm2022/

Kinldy contact dpm2022@easychair.org in case of doubts or questions
**********************************************************
*
* 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] Postdoc and PhD positions in Computer Science Logic in Sheffield, UK

*******************************************************
* 2 x PostDoc position in Computer Science Logic
* University of Sheffield, UK
* Salary: £32,344 to £35,326 per annum (Grade 7)
* Deadline: 20th July 2022
* Starting date: ASAP / negotiable
* Duration: Until 31.10.2023 (15 months each)
* (it might be possible to join the posts to one longer post or extend posts past the official end date, contact j.t.virtema@sheffield.ac.uk for details)
* Details: https://www.jobs.ac.uk/job/CRB003/research-associate-in-computer-science-logic-x2-positions
*******************************************************

I am looking for two PostDocs to join the Verification group (https://www.sheffield.ac.uk/dcs/research/groups/verification) of The University of Sheffield (https://www.sheffield.ac.uk/dcs ) to work with me in my DFG funded project "Logical approach to quantum mechanics and contextuality" (http://www.virtema.fi/dfg).

All candidates interested in working in the general topic of logics and complexity theory utilising numerical features and real valued data are encouraged to apply.

The project topics range from logical foundations of probabilistic data and complexity theory utilising real numbers to logical approach to quantum information theory utilising the newly discovered connections to probabilistic team semantics. Candidates with expertise in finite model theory, logic in computer science, or foundations of quantum information theory are in particular encouraged to apply.

Interested candidates are encouraged to contact me directly by email for further details (j.t.virtema@sheffield.ac.uk). For more details on the topic, the candidate may refer to the subsection "Probabilistic Logics and Metafinite Model Theory" at http://www.virtema.fi/.

Full advert at https://www.jobs.ac.uk/job/CRB003/research-associate-in-computer-science-logic-x2-positions.

**********************************************************
*
* 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] Job opportunity - Data scientist at PortXchange, Rotterdam, Netherlands

Hi all,
We have an opening for a medior/senior data scientist / ops research
position.
Would you like to make an impact on the reduction of greenhouse gas
emissions in shipping globally?

About us:
PortXchange (port-xchange.com), a Dutch SaaS startup founded in 2018,
builds data driven applications to support port communities in port call
planning and emission reduction. Spun-off from the Port of Rotterdam,
PortXchange is scaling its applications and data exchange platform to ports
worldwide, with active use from leading carriers and terminals in ports
across EU, UK and US.

For more information, go to:

https://port-xchange.com/vacancy/senior-data-scientist-2/

Best regards,

Robbert Engels

Director of Product

Port Call Optimization

Save time and CO2 emissions

every port call

+31 06 52752585

robbert.engels@port-xchange.com <marian.maartense@port-xchange.com>

www.port-xchange.com <http://port-xchange.com/>

<https://www.youtube.com/channel/UCIwtO7zOSvYWYcwtrXFuVvQ>
<https://www.linkedin.com/company/portxchange/>

**********************************************************
*
* 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] Doctoral positions in modelling, simulation, and optimization within the TRR154

The consortium of the Transregio-CRC 154 is seeking highly motivated and
qualified students that are looking for obtaining a doctoral degree in
applied mathematics. More details:

https://www.trr154.fau.de/stellenangebote/

Once recruited, you will perform research in a highly relevant research
area in applied mathematics that is centered around the "turnaround in
energy policy", in particular in the context of gas networks. The main
aim of the Transregio-CRC is to provide certified novel answers to
mathematical challenges arising in this context, based on mathematical
modeling, simulation, and optimization. In order to achieve these goals
new paradigms in the integration of these disciplines and, in
particular, in the interplay between integer and nonlinear programming
in the context of stochastic data have to be established and brought to
bear.

The CRC 154 is financed by the German Science Foundation, the third
funding phase lasts from July 1 st , 2022, until June 30 th , 2026.

The call for applications is open until further notice. There is no
fixed deadline for an application, but positions will be offered to
suitable candidates on a first-come first-serve basis. We especially
encourage applications by female candidates.

**********************************************************
*
* 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] LPNMR 2022: Call for participation (Early reg. By July 20th)

[Apologies in case of multiple posting]

CALL FOR PARTICIPATION
--------------------------------------------------------------------------------------------

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

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

Genova, Italy
September 5-9, 2022

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

REGISTRATION
Early registration deadline is July 20th, 2022. For more information, visit:
https://sites.google.com/view/lpnmr2022/registration

We remind that at least one author of each accepted paper must early register
in order to have the paper included in the proceedings.

AIMS AND SCOPE

LPNMR 2022 is the sixteenth in the series of international meetings
on logic programming and non-monotonic reasoning. LPNMR is a forum
for exchanging ideas on declarative logic programming, non-monotonic
reasoning, and knowledge representation. The aim of the conference is
to facilitate interactions between researchers and practitioners
interested in the design and implementation of logic-based programming
languages and database systems, and those working in knowledge
representation and non-monotonic reasoning. LPNMR strives to encompass
theoretical and experimental studies that have led or will lead to
advances in declarative programming and knowledge representation, as
well as their use in practical applications. A Doctoral Consortium
will also be a part of the program.

LPNMR 2022 aims to bring together researchers from LPNMR core areas and
application areas of the aforementioned kind in order to share research experiences,
promote collaboration and identify directions for joint future research.

TOPICS

Authors are invited to submit papers presenting original and unpublished
research on all aspects of non-monotonic approaches in logic programming
and knowledge representation. We invite submissions of both long and
short papers on topics detailed below.

Conference topics include, but are not limited to:

1. Foundations of LPNMR Systems:
* Semantics of new and existing languages;
* Action languages, causality;
* Formalization of Commonsense Reasoning and understanding
its laws and nature;
* Relationships among formalisms;
* Complexity and expressive power;
* Inference algorithms and heuristics for LPNMR systems;
* Extensions of traditional LPNMR languages such as new logical
connectives or new inference capabilities;
* Updates, revision, and other operations on LPNMR systems;
* Uncertainty in LPNMR systems.

2. Implementation of LPNMR systems:
* System descriptions, comparisons, evaluations;
* Algorithms and novel techniques for efficient evaluation;
* LPNMR benchmarks.

3. Applications of LPNMR:
* Use of LPNMR in Commonsense Reasoning and other areas of KR;
* LPNMR languages and algorithms in planning, diagnosis, argumentation,
reasoning with preferences, decision making and policies;
* Applications of LPNMR languages in data integration and exchange
systems, software engineering and model checking;
* Applications of LPNMR to bioinformatics, linguistics, psychology,
and other sciences;
* Integration of LPNMR systems with other computational paradigms;
* Embedded LPNMR: Systems using LPNMR subsystems.

COLOCATED WORKSHOPS (on Sept 5th)

4th International Workshop on the Resurgence of Datalog in Academia and Industry
(DATALOG 2.0)
1st International Workshop on HYbrid Models for Coupling Deductive and Inductive
ReAsoning (HYDRA 2022)
29th RCRA workshop on Experimental evaluation of algorithms for solving problems
with combinatorial explosion (RCRA 2022)

ASSOCIATED EVENTS

LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a
chance to present their current research, get feedback from peers and senior
researchers, and establish contacts for their future career.

FURTHER INFORMATION

WWW:https://lpnmr2022.dibris.unige.it
Email:lpnmr2022@easychair.org((submission and program)
lpnmr2022@dibris.unige.it (general and local matters)
Facebook:https://www.facebook.com/lpnmr2022
Twitter:https://twitter.com/lpnmr2022
Instagram:https://www.instagram.com/lpnmr2022

VENUE

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. Genova is the capital of Liguria, stretching along the
bay of the same name from Nervi to the east as far as Voltri to the west.
The pride of Nervi is the sea promenade, a 2 km walkway along the cliffs.
The stunning views make it one of Italy's most beautiful promenades. Nervi is also
well known for its Parchi, a park of about 22 acres (9 hectares) created from the
gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean
plant species and many exotic species.
Genova$B!G(Bs old town district (reachable by local train, by bus, as well as by boat) 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.

Workshops and associated events, differently from what we mentioned in the previous call, are planned to be held in the main conference venue as well.

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

PROGRAM COMMITTEE

Mario Alviano, Department of Mathematics and Computer Science, University of Calabria
Chitta Baral, Arizona State University
Marcello Balduccini, Saint Joseph's University
Francesco Calimeri, Department of Mathematics and Computer Science, University of Calabria
Marina De Vos, University of Bath
Carmine Dodaro, Department of Mathematics and Computer Science, University of Calabria
Agostino Dovier, University of Udine
Daniele Theseider Dupr?, Universita' del Piemonte Orientale
Thomas Eiter, Vienna University of Technology
Esra Erdem, Sabanci University
Wolfgang Faber, Alpen-Adria-Universit?t Klagenfurt
Johannes K. Fichte, TU Wien
Paul Fodor, Stony Brook University
Gerhard Friedrich, Alpen-Adria-Universitaet
Sarah Alice Gaggl, TU Dresden
Martin Gebser, University of Klagenfurt
Michael Gelfond, Texas Tech University
Gopal Gupta, The University of Texas at Dallas
Katsumi Inoue, NII
Tomi Janhunen, Tampere University
Gabriele Kern-Isberner, Technische Universitaet Dortmund
Matthias Knorr, Universidade NOVA de Lisboa
Emily Leblanc, Drexel University
Joao Leite, Universidade NOVA de Lisboa
Vladimir Lifschitz, The University of Texas at Austin
Enrico Pontelli, New Mexico State University
Francesco Ricca, Department of Mathematics and Computer Science University of Calabria
Alessandra Russo, Imperial College London
Orkunt Sabuncu, TED University, Ankara
Chiaki Sakama, Wakayama University
Torsten Schaub, University of Potsdam
Guillermo R. Simari, Universidad del Sur in Bahia Blanca
Theresa Swift, NOVALINKS, Universidade Nova de Lisboa
Matthias Thimm, FernUniversit?t in Hagen
Hans Tompits, Vienna University of Technology
Mirek Truszczynski, Computer Science Department, University of Kentucky
Johannes P. Wallner, TU Graz
Kewen Wang, Griffith University
Stefan Woltran, Vienna University of Technology
Jia-Huai You, University of Alberta

**********************************************************
*
* 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] [Extension: CPSIoTSec 2022] The Workshop on CPS&IoT Security and Privacy **Submission Deadline: July 25, 2022**

[Apologies for cross-posting]

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

The Workshop on CPS&IoT Security and Privacy (CPSIoTSec 2022), in
conjunction with the ACM Conference on Computer and Communications
Security (ACM CCS)
November 7-11, 2022, Los Angeles, U.S.A.
https://cpsiotsec2022.github.io/cpsiotsec/

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

CPSIoTSec 2022 invites academia, industry, and governmental entities to
submit:

Original research papers on the security and privacy of CPS&IoT
Systematization of Knowledge (SoK) papers on the security and privacy of
CPS&IoT
Demos (hands-on or videos) of testbeds/experiences of CPS&IoT security
and privacy research

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

We seek submissions from multiple interdisciplinary backgrounds tackling
security and privacy issues in CPS&IoT, including but not limited to:

- Mathematical foundations for secure CPS/IoT
- Control-theoretic approaches
- High assurance security architectures
- Security and resilience metrics
- Metrics and risk assessment approaches
- Identity and access management
- Privacy and trust
- Network security
- Game theory applied to CPS/IoT security
- Human factors, humans in the loop, and usable security
- Understanding dependencies among security, reliability and safety in
CPS/IoT
- Economics of security and privacy
- Intrusion and anomaly detection
- Model-based security systems engineering
- Sensor and actuator attacks
- CPS/IoT malware analysis
- CPS/IoT firmware analysis
- Hardware-assisted CPS/IoT security

Also of interest will be papers that can point the research community to
new research directions, and those that can set research agendas and
priorities in CPS/IoT security and privacy. There will be a best paper
and best presentation award.

New Process for Selecting the Best Paper Award: Following the success of
the 2021 process and in the interest of increasing transparency, the PC
will select upto 3 top-rated papers based on reviews and place them in a
single session. Then the audience will vote on what they think should be
the best paper after viewing the presentations.

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

SUBMISSION INSTRUCTIONS:

Submissions include long papers (12 pages), short papers (6 pages), or
1-page abstracts:

Long papers include a) Original research on a CPS/IoT security and
privacy topic, b) Systematization of Knowledge of CPS/IoT security and
privacy;
Short papers include original work-in-progress research on a CPS/IoT
security and privacy topic;

1-page abstracts include demos/interesting findings/insights on CPS/IoT
security and privacy, which will be accompanied by a hands-on demo
during the workshop.

Submitted papers can be up to 12 or 6 pages excluding appendices and
references. Submissions must use the ACM SIG Proceedings Templates, with
a simpler version here: https://github.com/acmccs/format. Only PDF files
will be accepted. Accepted papers will be published by the ACM Press
and/or the ACM Digital Library. Submissions must not substantially
overlap with papers that have been published or that are simultaneously
submitted to a journal or a conference with proceedings. Each accepted
paper must be presented by a registered author. Submissions not meeting
these guidelines risk immediate rejection. For questions about these
policies, please contact the chairs.

Paper Submission Site: https://cpsiotsec22.hotcrp.com

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

IMPORTANT DATES:

• Submission Deadline: *** July 25, 2022 *** Firm deadline (23:59
Anywhere on Earth time)
• Notification of Acceptance/Rejection: 18 August, 2022
• Camera Ready Papers Due: (hard deadline): September 5, 2022
------------------------------

ORGANIZING COMMITTEE:

Program Committee Chairs:
- Cristina Alcaraz, University of Malaga, Spain
- Earlence Fernandes, University of Wisconsin-Madison, USA

Program Committee:
- Mauro Conti, University of Padua
- Amir Rahmati, Stony Brook University
- Z. Berkay Celik, Oregon State University
- Nils Ole Tippenhauer, CISPA
- Alvaro Cardenas, UCSC
- Luis Garcia, USC
- Sara Rampazzi, University of Florida
- Alfred Chen, UCI
- Peng Liu, Penn State University
- Gang Tan, Penn State University
- Saman Zonouz, GaTech
- Danny Huang, NYU
- Awais Rashid, University of Bristol
- Gerhard Hancke, City University of Hong Kong
- Charalambos Konstantinou, KAUST
- Sokratis Katsikas, Norwegian University of Science and Technology
- Emil Lupu, Imperial College
- Yuqing Zhang, NIPC
- Le Guan, University of Georgia
- Vasileios Gkioulos, Norwegian University of Science and Technology
- George Stergiopoulos, University of the Aegean
- Weizhi Meng, Technical Universtiy of Denmark
- Monowar Hasan, Wichita State University
- Magnus Almgren, Chalmers
- Yongkai Fan, China University of Petroleum
- Ebelechukwu Nwafor, Villanova
- Alessandro Brighente, University of Padua
- Stefano Longari, Politecnico di Milano
- Sridhar Adepu, University of Bristol

Steering Committee:
- Rakesh Bobba, Oregon State University
- Alvaro Cardenas, University of California, Santa Cruz
- Peng Liu, Penn State University
- Sibin Mohan, Oregon State University
- Awais Rashid, University of Bristol
- Gang Tan, Penn State University
- Nils Ole Tippenhauer, CISPA
- Roshan Thomas, MITRE
- Yuqing Zhang, University of CAS

Publicity Chair:
- Li Wenjuan, City University of Hong Kong

Web Chair and Voting Manager:
- Amrita Ghosal, University of Limerick, Ireland
**********************************************************
*
* 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 Position at FAU Erlangen-Nürnberg

A 4-year PhD position is available at the Data Science department of
FAU Erlangen-Nürnberg, to be filled from October 2022.

The position is part of a new DFG research project at the intersection
of optimal auction design and integer/network optimization, led by
Yiannis Giannakopoulos (https://yiannisgiannakopoulos.com) and
Alexander Martin
(https://en.www.math.fau.de/edom/team/alexander-martin/). The project
belongs to the greater Transregio 154 consortium on "Mathematical
modelling, simulation and optimization using the example of gas
networks" (https://www.trr154.fau.de/trr-154-en/).

The ideal applicant would have some background in algorithmic game
theory and/or combinatorial optimization.

The position comes with a competitive salary (75% TV-L E13), no
teaching obligations, and an allowance for research travel.

Applications should be submitted centrally, via TRR154's portal,
following the instructions at

https://www.trr154.fau.de/job-opportunities/

and designating your interest for subproject B07.

Interested applicants are very welcome to also directly contact
Yiannis Giannakopoulos (yiannis.giannakopoulos@fau.de) first in case
of informal inquiries.

--
Prof. Dr. Yiannis Giannakopoulos
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
Department of Data Science
Cauerstraße 11, 91058 Erlangen, Germany
Tel: +49 9131/85-67186
https://yiannisgiannakopoulos.com

**********************************************************
*
* 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] Simulation Modelling Research Associate (Port of Dover KTP)

We seek a PhD graduate (or someone close to completion) with expertise in agent based modelling (ABM), discrete event simulation (DES), and hybrid modelling, who will be responsible for leading a 2-year Knowledge Transfer Partnership (KTP) between University of Kent and the Port of Dover to support long-term strategic developments at the Port. The KTP Associate will be tasked with helping to inform the Port of Dover's master planning exercise by developing bespoke ABM / DES / hybrid models to forecast and manage traffic flows in response to evolving post-Brexit regulatory requirements and the implementation a new digital border. Successful delivery of the project will enable reduced congestion, increased throughput of goods, and wider environmental and social benefits through decarbonisation and local air quality improvements.

The successful applicant will be based at Port of Dover's premises, being embedded in the Port's Strategy and Corporate Planning Team, and will work closely with a team of academics from the Department of Analytics, Operations & Systems<https://research.kent.ac.uk/daos/> in Kent Business School. Applicants should hold a PhD in operational research, management science, business analytics, or similar. Candidates must have an in-depth knowledge and demonstrated proficiency in the application of ABM / DES / hybrid modelling, as well as a good understanding of data analysis and statistics. Good computer programming skills (e.g. C/C++, Java, Python) and experience working with one or more industry standard simulation and statistical packages (e.g. AnyLogic, SIMUL8, Repast, MASON, R, SPSS) are essential. Previous industry experience is highly desirable as is a proven track record of academic publishing.

The closing date for the position is 29 June 2022. For more information or to apply, please follow the link below.

https://jobs.kent.ac.uk/vacancy.aspx?ref=KBS-096-22

For informal discussion only, please contact Prof Jesse O'Hanley, Head of the Department of Analytics, Operations and Systems, (j.ohanley@kent.ac.uk<mailto:j.ohanley@kent.ac.uk>).

**********************************************************
*
* 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] One PhD position (30 hours/week) at JKU Linz, Austria

A 2-year PhD Position (30 hours/week, all genders welcome) within the
project "MOSOPT - Solving Multi-Objective Facility Layout Problems via
Semidefinite Optimization" is available at the Institute of Production
and Logistics Management at the Johannes Kepler University Linz, Austria.

The project concerns the development of solution methods for
combinatorial multi-objective programs with semidefinite programming
(SDP) relaxations. It is funded by the Linz Institute of Technology
(LIT). The earliest possible starting date is August 1, 2022. The gross
salary is 2,300.30 per month (14 times a year). Participation and
presentations at scientific conferences are expected and will be funded.

Candidates interested the above position should have
* Master's degree in Mathematics, Operations Research, Computer Science
or a related field
* programming skills (e.g., C++, Python, MATLAB, Julia, ...)
* experience in the implementation of (optimization) algorithms
* profound knowledge in one or more of the following fields:
semidefinite programming, multi-objective programming, mixed-integer
programming, combinatorial optimization
* a strong interest in all areas of the research project
Applications from excellent candidates from other fields within discrete
mathematics are also very welcome.

If you are interested in working in a young international research team
at one of the nicest campus universities in Austria, please send the
following documents
* motivation letter
* detailed CV
* certificates
* list of bachelor and master courses and grades
* Master's thesis (if in another language than English, a three-page
abstract in English)
to elisabeth.gaar@jku.at with the subject "Application MOSOPT", until
July 15, 2022. In addition a confidential letter of reference by a
professor should be sent directly by the professor to
elisabeth.gaar@jku.at until July 15, 2022. For further information
please contact Elisabeth Gaar (elisabeth.gaar@jku.at).

The Johannes Kepler University wishes to increase the proportion of
academic female faculty and, for this reason, especially welcomes
applications by qualified women. If applicants are equally qualified, a
woman will be given preference for this position. The university
welcomes applications from qualified applicants with physical
disabilities. These applications will be given special consideration.
**********************************************************
*
* 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] Senior Lecturer in Practice, LSE

*Department of Mathematics, The London School of Economics and Political Science*

*Senior Lecturer in Practice (0.5 FTE)*

The Department of Mathematics at LSE seeks to appoint a Senior Lecturer in Practice. The post-holder contributes to the educational and intellectual life of the Department. A major part of the position involves leadership of the MSc Operations Research & Analytics (OR&A) project course, MA425. The post-holder will also contribute to the enrichment of the experience of students in the Department through, e.g., developing links that bridge academia and practice and engaging with career support. They will also advise staff on developing links outside academia and assist the department in its dealing with School divisions involved with developing those aspects.

The successful candidate will have at least an MSc in a discipline relevant to this post. They are working or will have worked in the private and/or public sector as a professional (in practice) in Operations Research & Analytics or a related area. They will have experience of networking in these sectors as well, and the ability to use these networking skills to enhance the development of external networks, alumni relationships and professional connections. The start date will ideally be in September 2022.

For further details about the post, other benefits that come with this job, shortlisting criteria, and 'how to apply' information, please see _tinyurl.com/MathLSESLiP2022 <https://tinyurl.com/MathLSESLiP2022>_. Salary is competitive and not less than £55,974 pa, pro-rata, inclusive. The closing date for receipt of applications is 20 July 2022 (23.59 UK time).

LSE is committed to building a diverse, equitable and truly inclusive university.
For this post, we particularly welcome applications by women and ethnic minorities.

**********************************************************
*
* 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] Datalog 2.0 2022 - Third Call for Papers

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

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

THIRD CALL FOR PAPERS

4th International Workshop on
the Resurgence of Datalog in Academia and Industry

Datalog 2.0 2022

https://tinyurl.com/datalog20-22

September 5, 2022, Genova - Nervi, Italy

Workshop of LPNMR 2022

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

AIMS AND SCOPE

Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research.

The 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2022) will be held in Genova, Italy, on September 5, 2022. Datalog 2.0 2022 is a workshop of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022).

The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second and the third edition of the workshop, which were held in Vienna in 2012 and in Philadelphia in 2019, respectively, were open for submissions.

INVITED SPEAKER

Reinhard Pichler, Vienna University of Technology, Austria

Title: Novel Techniques in Datalog Optimization

Abstract:
Datalog has been specifically designed for processing recursive queries. As such it seems the perfect fit for today's data analytics applications, which typically require some kind of iteration or recursion. However, basic analytical tasks such as computing shortest paths, betweenness centrality, or connected components in a graph as well as solving optimization problems by gradient descent or other methods crucially depend on aggregation. For Datalog, this poses new challenges due to the loss of the usual monotonicity properties in case of aggregation.

In this talk, I will present recent work in which
*) we have studied a generalization of Datalog that allows for recursive computations over general semirings (with classical Datalog corresponding to the special case of the Boolean semiring),
*) we have analyzed the convergence of this generalization of Datalog, and
*) we have introduced a powerful new optimization technique that covers known optimizations such as magic-set rewriting as well as new ones.

This talk is mainly based on the following papers:

[1] Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang: Convergence of Datalog over (Pre-) Semirings. PODS 2022.

[2] Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu: Optimizing Recursive Queries with Progam Synthesis. SIGMOD Conference 2022.

TOPICS

Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others):

data management, data mining, knowledge representation and reasoning, cloud computing, distributed computing, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services.

SUBMISSION

Datalog 2.0 2022 welcomes two types of submissions

* Long papers of up to 12 pages, presenting original research
* Short papers of up to 5 pages that may contain either original ongoing research
or recently published results

in the following categories

* Technical papers
* System descriptions
* Application descriptions

The indicated number of pages includes title page and references. All submissions will be peer-reviewed.
Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org).
Authors can opt-out if desired.

At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, and formatted according to Springer's guidelines and technical instructions available at:

https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines

Paper submission is enabled via the Datalog 2.0 2022 EasyChair site:https://easychair.org/conferences/?conf=datalog20-22

Up to five best regular papers will be invited for rapid publication in the journal of Theory and Practice of Logic Programming (TPLP).

FURTHER INFORMATION

WWW:https://tinyurl.com/datalog20-22

Email:datalog20-22@easychair.org

IMPORTANT DATES

Paper registration: July 1

Paper submission: July 8

Notification: August 1

Final versions due: August 20

VENUE

The workshop 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 see.

Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. Genova's old town district (reachable by local train, by bus, as well as by boat) 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.

Nervi is a former fishing village, now a suburb of Genoa, 7 km east of central Genova. Two of the most important tourist attractions of Genoa are in Nervi: the sea promenade, a 2 km walkway along the cliffs, and the "Parchi di Nervi".

The sea promenade is famous for the stunning views that make it one of Italy's most beautiful promenades. While the "Parchi di Nervi" is a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species and the entrance is just at the end of the promenade.

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.

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.

PROGRAM CHAIRS

Mario Alviano, University of Calabria, Italy

Andreas Pieris, University of Edinburgh, UK & University of Cyprus, Cyprus

PUBLICITY CHAIR

Jessica Zangari, University of Calabria, Italy

PROGRAM COMMITTEE

Marcelo Arenas, Pontificia Universidad Católica, Chile
Leopoldo Bertossi, University Adolfo Ibáñez, Chile & Skema Business School, Canada
Marco Calautti, University of Trento, Italy
Esra Erdem, Sabanci University, Turkey
Jorge Fandinno, University of Nebraska, USA
Cristina Feier, University of Bremen, Germany
Roman Kontchakov, Birkbeck, University of London, UK
Paraschos Koutris, University of Wisconsin-Madison, USA
Markus Krötzsch, TU Dresden, Germany
Matthias Lanzinger, University of Oxford, UK
Domenico Lembo, Sapienza University of Rome, Italy
Francesca Alessandra Lisi, Università degli Studi di Bari "Aldo Moro", Italy
Yanhong A. Liu, Stony Brook University, USA
Marco Manna, University of Calabria, Italy
Michael Morak, University of Klagenfurt, Austria
Liat Peterfreund, Paris-Est University, France
Torsten Schaub, University of Potsdam, Germany
Mantas Simkus, TU Wien, Austria
Tran Cao Son, New Mexico State University, USA

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