Theory Announcements

Thursday, October 7, 2021

[DMANET] Registration (virtual event): Reachability Problems RP 2021

Dear Colleagues,

Reachability Problems 2021 will be organised 25-27 October 2021
as a virtual event. Attendance to the virtual conference is free,
but registration is mandatory. Please fill the following form
before October 15, 2021. https://rp2021.csc.liv.ac.uk/registration.html

---------------------------------------------------------------------------------
The 15th International Conference on Reachability Problems (RP'21)
OCTOBER 25-27 2021, LIVERPOOL, UK
http://rp2021.csc.liv.ac.uk/

FREE REGISTRATION : October 15, 2021.
-- sponsored by London Mathematical Society and LNCS Springer --

The 15th International Conference on Reachability Problems (RP'21)
is being organised by the University of Liverpool and Liverpool John Moores University.

INVITED SPEAKERS:
- Udi Boker, IDC, Herzliya, Israel
- Clare Dixon, Manchester University, UK
- Javier Esparza, Technical University of Munich, Germany
- Damien Woods, Maynooth University Hamilton Institute, Ireland.
- Georg Zetzsche, Max Planck Institute for Software Systems, Kaiserslautern, Germany.

Papers presenting original contributions related to a wide spectrum
reachability questions 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.

PROGRAM. All times are in Europe/London (UTC+1).
-------------------------------
MONDAY, OCTOBER 25
Session 1
12:00–12:10: Welcome
12:10–13:10: Javier Esparza. Population Protocols: Beyond Runtime Analysis

Session 2
13:40–14:05: Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jiri Srba and Peter H. Taankvist. Improvements in Unfolding of Colored Petri Nets.
14:05–14:30: Joseph Livesey and Dominik Wojtczak. Minimal Number of Calls in Propositional Protocols.
14:30–14:55: Eric Allender, Archit Chauhan and Samir Datta Depth-First Search in Directed Planar Graphs, Revisited.

Session 3
15:10–15:35: Guillaume Girol, Benjamin Farinier and Sebastien Bardin. Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference.
15:35–16:00: Sebastian Junges, Hazem Torfah and Sanjit A. Seshia. Runtime Monitoring for Markov Decision Processes.

Session 4
16:20–16:45: Joel Day, Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea and Stefan Siemer. The Edit Distance to k-Subsequence Universality.
16:45–17:10: Maria Kosche, Tore Koß, Florin Manea and Stefan Siemer. Absent Subsequences in Words.
17:10–17:35: Pawel Gawrychowski, Florin Manea and Stefan Siemer. Matching Patterns with Variables under Hamming Distance.

-------------------------------
TUESDAY, OCTOBER 26
Session 5
13:00–14:00: Clare Dixon. Theorem Proving Using Clausal Resolution: From Past to Present.

Session 6
14:15–14:40: Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel and David Chemouil. Sound Verification Procedures for Temporal Properties of Infinite-State Systems.
14:40–15:05: Stefan Kiefer, Pavel Semukhin and Cas Widdershoven. Linear-Time Model Checking Branching Processes.
15:05–15:30: Marcelo Forets and Christian Schilling. Reachability of weakly nonlinear systems using Carleman linearization.

Session 7
15:45–16:45: Damien Woods. Algorithmic Self-Assembly and Molecular Robotics: Theory and Practice.

Session 8
17:00–17:25: Marco Sälzer and Martin Lange. Reachability Is NP-Complete Even for the Simplest Neural Networks.
17:25–17:50: Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt and Guillermo Perez. Continuous One-Counter Automata.

-------------------------------
WEDNESDAY, OCTOBER 27

Session 9
13:00–14:00: Udi Boker. Quantitative vs. Weighted Automata.

Session 10
14:15–14:40: Oleg Karpenkov. Continued Fraction approach to Gauss-Reduction theory.
14:40–15:05: Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joel Ouaknine, Mahmoud Salamati, Sadegh Soudjani and James Worrell. The Pseudo-Skolem Problem is Decidable.
15:05–15:30: Ville Salo. Solitaire of independence.

Session 11
16:00–17:00: Georg Zetzsche. Recent Advances on Reachability Problems for Valence Systems.

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

CONFERENCE CHAIRS
Patrick Totzke, University of Liverpool - co-chair
Paul Bell, Liverpool John Moores University- co-chair

PROGRAM COMMITTEE
Shaull Almagor (U. Oxford, UK)
Christel Baier (TU Dresden, DE)
Srivathsan B (CMI, Chennai, IN)
Olivier Bournez (Ecole Polytechnique, FR)
Laura Ciobanu (Edinburgh, UK)
Lorenzo Clemente (U. Warsaw, Poland)
Thao Dang (CNRS, U.Grenoble, FR)
Rayna Dimitrova (CISPA Helmholtz Center for Information Security, DE)
Manfred Droste (U. Leipzig, DE)
Stefan Goeller (U. Kassel, DE)
Matthew Hague (Royal Holloway U. London, UK)
Mika Hirvensalo (U. Turku, FI)
Sang-Ki Ko (Kangwon Natl. U., KR)
Florin Manea (Gottingen, DE)
Filip Mazowiecki (MPI Saarbruecken, DE)
Anca Muscholl, (U. Bordeaux, FR)
Igor Potapov, (U. of Liverpool, UK)
Maria Prandini (U.Milan, IT)
Krishna S (IIT, Bombei, IN)
Gregoire Sutre (U. Bordeaux, FR)
Pavel Semukhin (U. Oxford, UK)

ORGANISING COMMITTEE
Patrick Totzke, University of Liverpool
Paul Bell, Liverpool John Moores University
Igor Potapov, University of Liverpool

STEERING COMMITTEE
Parosh Aziz Abdulla (SE)
Olivier Bournez (FR)
Vesa Halava (FI)
Alain Finkel (FR)
Oscar Ibarra (USA)
Juhani Karhumaki (FI)
Jerome Leroux (FR)
Joel Ouaknine (DE)
Igor Potapov (UK)
James Worrell (UK)

As usual the RP conference proceeding will be published by LNCS, Springer.
https://dblp.org/db/conf/rp/index.html.

Apart from LNCS proceedings selected papers will be invited
to the special issue a respected journal similar to the past events:

RP 2019 - Journal of Computer and System Sciences
https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/special-issue/10FZQBP14VF
RP 2017 - Fundamenta Informaticae, Volume 178(1-2)
https://content.iospress.com/journals/fundamenta-informaticae/178/1-2
RP 2016 - Theoretical Computer Science, Volume 750
https://www.sciencedirect.com/journal/theoretical-computer-science/vol/735/suppl/C
RP 2015 - Information and Computation, Volume277
https://www.sciencedirect.com/journal/information-and-computation/vol/277/suppl/C
RP 2014 - Theoretical Computer Science, Volume 735
https://www.sciencedirect.com/journal/theoretical-computer-science/vol/735/suppl/C
RP 2013 - Fundamenta Informaticae, Volume 143(3-4)
https://content.iospress.com/journals/fundamenta-informaticae/143/3-4

**********************************************************
*
* 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] Oct 14th 2021, DEON Seminar Series – opening talk by Marek Sergot

*DEON Seminar Series – opening talk by Marek Sergot*

2021 is a special year for Deontic Logic. It is the 70th anniversary of the
first publication in modern deontic logic: von Wright's ground breaking and
still inspiring article from 1951. It is also the 30th anniversary of the
first DEON conference held in Amsterdam in 1991. Today, deontic logic is a
fast-growing field whose research agenda covers topics at the interface
between computer science, linguistics, philosophy, ethics, the social
sciences, and law. Among many other topics, it includes the formal study of
normative multi-agent systems, of defeasible normative reasoning, of the
semantics and pragmatics of normative expressions in natural language, the
formal representation of rights, authorization, delegation, power, and
responsibility, and the study of normative aspects of protocols for
communication, negotiation and multi-agent decision making.

As representatives of the DEON community, we want to take Deontic Logic's
70th anniversary as an opportunity to look back at its rich history and
draw lessons for the future. As a formal approach to normativity and
reasoning, we believe deontic logic can play new roles as a guiding theory
in some of the problems in modern AI, philosophy, law and linguistics.

To investigate the role of deontic logic in the modern age further, we
decided to launch an online seminar series where old ideas are explained,
new ideas are explored and modern connections and applications are
reflected upon. The seminars are not intended as an alternative to the
biannual DEON conferences, but are complementary opportunities to keep in
touch with the community and listen in or contribute to presentations and
informal discussions on ongoing work. Four times per year (once every
season), we will virtually gather to discuss a topic or a paper, or to
listen to someone's new results or opinions. Everyone who is interested in
this wonderful area and its questions is welcome.

The series-opening talk – celebrating all the anniversaries – will be given
by Marek Sergot (Professor of Computational Logic, Imperial College London).

*What is deontic logic for?*

*Marek Sergot*

*This will be a review of issues in the development of deontic logic,
understood both narrowly, as the logic of obligation and permission, and
more broadly as the formalisation of normative systems. The talk will be
based on examples. I want to look at how they might be treated in the light
of developments that have taken place over the thirty years since the first
of the DEON series was held in Amsterdam in 1991. I considered calling the
talk 'Some things I have said about deontic logic that no-one paid
attention to'. However, I will include things that others have said about
deontic logic too. Deontic logic is a wide field; I will have to be
selective about what issues are covered.*

*Date and time*: October 14, 2pm – 3:30pm CET
*Zoom link*: https://uva-live.zoom.us/j/89287004976 (Meeting ID: 892 8700
4976)

*Virtual gathering*: join us for a virtual gathering on wonder.me after the
talk! No registration needed, just follow this *link*:
https://www.wonder.me/r?id=3536c0e5-c486-4ff2-876a-91e569f4190b.

If you are interested in the upcoming events in this series, subscribe here
<https://icr.uni.lu/deonticlogic/mailinglist.html>:

https://icr.uni.lu/deonticlogic/mailinglist.html

See you on the 14th of October,

Ilaria Canavotto, Huimin Dong, and Réka Markovich

DEON Seminar Series organizers

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

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

2) If you would like to ask a question during the Q and A, please type
'q' in the chat box *to the host privately*. If you have a follow-up,
please type 'follow up to X' (where X is the person who asked the
question), also *to the host privately*.

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

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

Wednesday, October 6, 2021

[DMANET] New Online Seminar "The Vinberg Distinguished Lecture Series"

Dear Colleague,

Please kindly take note of our new international online seminar *«The
Vinberg Distinguished Lecture Series».*

Web-page of the seminar : https://vinberg.combgeo.org/
Registration for receiving a Zoom link is here : http://eepurl.com/hISqyv
Talks are announced on researchseminars.org :
https://researchseminars.org/seminar/Vinberg

The Vinberg Distinguished Lecture Series aims at bringing together all
mathematicians interested in wide dissemination of ideas from various
domains of pure and applied mathematics. During his lifetime, È. B. Vinberg
has made outstanding contributions to many branches of mathematics, such as
Lie groups and algebraic groups, representation theory, invariant theory,
hyperbolic geometry, automorphic forms, and discrete subgroups of Lie
groups. We hope to carry on Vinberg's legacy and bring together a wider
community of mathematicians interested in the above mentioned domains as
well as other fields of study. The lecture series is organised by Nikolay
Bogachev (Skoltech & MIPT, Russia), Sasha Kolpakov (Neuchâtel,
Switzerland), and Alex Kontorovich (Rutgers, USA).

*Upcoming Talks *
- *Alan Reid* (Rice University, USA) on Tue Oct 19, 2021
- *Peter Sarnak* (IAS Princeton, USA) on Tue Nov 9, 2021
-* Dmitry Alekseevsky* (IITP RAS, Moscow, Russia) on Tue Nov 23, 2021
- *Maryna Viazovska* (EPFL, Switzerland) on Tue Dec 7, 2021

*2022:*
- *Bjorn Poonen* (MIT, USA) TBA
- *Curtis McMullen* (Harvard University, USA) TBA
- *Akshay Venkatesh* (IAS Princeton, USA) TBA

Stay safe and we hope to see you soon,
The Organizers

[DMANET] Professor position (W3) "Mathematics of Data Science"

Ilmenau University of Technology (TU Ilmenau) is advertising a professor position (payscale W3) in the area of Mathematics of Data Science.

For official advertisement and the online application form please visit
https://jobundkarriere.tu-ilmenau.de/jobposting/e24f8779e6224c46f12a302d20d7bf231d1c0cd60?ref=homepage

Application deadline is October 31, 2021

**********************************************************
*
* 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] Final CFP Deadline Extension: October 20, Annual Conferences, Publication in Springer LNNS Series (Scopus Indexed)

** Deadline Extension: MIR Labs Annual Events- Springer LNNS Series
(Scopus Indexed)

Final CFP - please circulate this CFP to your colleagues and networks **

_--- On multiple requests from several authors, we have extended the
submission deadline till October 20, 2021. ---_

-- The 12th International Conference on Innovations in Bio-Inspired
Computing and Applications (IBICA'21) -- http://www.mirlabs.net/ibica21

-- 13th International Conference on Soft Computing and Pattern
Recognition (SoCPaR 2021) -- http://www.mirlabs.org/socpar21

-- 13th World Congress on Nature and Biologically Inspired Computing
(NaBIC 2021) -- http://www.mirlabs.net/nabic21

-- 21st International Conference on Intelligent Systems Design and
Applications (ISDA'21) -- http://www.mirlabs.net/isda21

-- 21st International Conference on Hybrid Intelligent Systems (HIS'21)
-- http://www.mirlabs.net/his21

-- 17th International Conference on Information Assurance and Security
(IAS 2021) -- http://www.mirlabs.org/ias21

-- The 11th World Congress on Information and Communication Technologies
(WICT'21) --http://www.mirlabs.org/wict21

**Important Dates**

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

Paper submission due (Extended deadline): September 30, 2021 (October
20, 2021)

Notification of paper acceptance (Extended deadline): October 31, 2021
(November 05, 2021)

Registration and Final manuscript due (Extended deadline): November 15,
2021 (November 20, 2021)

Conferences: December 13-18, 2021

** About MIR Labs, USA events 2021**

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

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

** Topics (not limited to) **

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

Prediction modelling

Soft Computing and Pattern Recognition

Nature and Biologically Inspired Computing

Innovations in Bio-Inspired Computing and Applications

Intelligent Systems and Applications

Hybrid Intelligent Systems

Information and Assurance Security

Innovations in Information and Communication Technologies

Wireless Networks

Data Mining

IoT, Cloud Computing

Software Engineering

Digital Learning

Cybersecurity

**Submission Guidelines**

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

Submission of paper should be made through the submission page from the
conference web page.

Please refer to the conference website for guidelines to prepare your
manuscript.

Paper format templates:

https://www.springer.com/de/authors-editors/book-authors-editors/manuscript-preparation/5636#c3324

**Plenary Talks**

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

You are welcome to attend 9 Keynote Talks offered by world-renowned
professors and industry leaders. The detailed information is available
on conference website.

Speaker 1: Antônio de Padua Braga, Federal University of Minas Gerais,
Brazil

Title: Large margin classification with graph-based models

Speaker 2: Juergen Branke, University of Warwick, Coventry, United
Kingdom

Title: Learning to optimise - optimal learning

Speaker 3: Oscar Cordon, University of Granada, Spain

Title: Hybrid Intelligent Systems for Forensic Anthropology and Human
Identification

Speaker 4: Kalyanmoy Deb, Michigan State University, USA

Title: TBA

Speaker 5: Andries Engelbrecht, University of Stellenbosch, South Africa

Title: Set-based Particle Swarm Optimization Approach to Portfolio
Optimization

Speaker 6: Frédéric GUINAND, Le Havre Normandy University, France

Title: Swarms of Unmanned Aerial Vehicles

Speaker 7: Cengiz Toklu, Beykent University, Istanbul, Turkey

Title: Hybrid Algorithms. Applications to Structural Mechanics

Speaker 8: Günther Raidl, Technische Universität Wien, Austria

Title: Combinatorial Optimization Meets (Reinforcement) Learning

Speaker 9: Marco Dorigo, Université Libre de Bruxelles, Belgium

Title: TBA

General Chairs

Ajith Abraham, Machine Intelligence Research Labs (MIR Labs), USA
Vincenzo Piuri, University of Milan, Italy
Patrick Siarry, Université Paris-Est Créteil, France

Thomas Hanne, University of Applied Sciences and Arts Northwestern
Switzerland, Switzerland
Weiping Ding, Nantong University, China

Ana Maria Madureira, Instituto Superior de Engenharia do Porto, Portugal
Arturas Kaklauskas, Vilnius Gediminas Technical University, Lithuania

Andries Engelbrecht, Stellenbosch University, South Africa
Fabio Scotti, Universita' degli Studi di Milano, Italy

Program Chairs
Oscar Castillo, Tijuana Institute of Technology, Mexico
Patrick Hung, Ontario Tech University, Canada

Tzung-Pei Hong, National University of Kaohsiung, Taiwan
Tatiane Nogueira Rios, Universidade Federal da Bahia, Brazil

Dalia Kriksciuniene, Vilnius University, Lithuania
João Carlos Ferreira, ISCTE-IUL, Portugal
Azah Kamilah Muda, Universiti Teknikal Malaysia Melaka, Malaysia

Giancarlo Fortino, Università della Calabria, Italy
Virgilijus Sakalauskas, Vilnius University, Lithuania
Sabri Pllana, Linnaeus University, Sweden

Nuno Bettencourt, Instituto Superior de Engenharia do Porto, Portugal

**Technical Contact**

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

Dr. Ajith Abraham

Email: ajith.abraham@ieee.org

Thanks & Regards

Publicity Chair MIR Labs, USA events - 2021

Anu Bajaj, PhD (Computer Science and Engineering)

Research Associate: Machine Intelligence Research Labs (MIR Labs) [1]

Scientific Network for Innovation and Research Excellence
11, 3rd Street NW, P.O. Box 2259
Auburn, Washington 98071, USA

Links:
------
[1] https://www.mirlabs.org/
**********************************************************
*
* 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] Final CFP - 2nd Workshop on Evolutionary and Population-based Optimization (WEPO 2021)

====================================================================
                          WEPO 2021
   2nd Workshop on Evolutionary and Population-based Optimization

                       29-30 November 2021
                  Online Event
                 In conjunction with AIxIA 2021

                  https://wepo2021.aisylab.com

       *** FINAL SUBMISSION DEADLINE: October 15th, 2021 ***
====================================================================

The workshop WEPO 2021, part of AIxIA 2021, is intended to foster the
discussion about Evolutionary Computation (EC) and Population-based
Optimization (PO). Nature-inspired algorithms are largely used for
solving optimization problems in a large number of fields due to their
simplicity and effectiveness. The underlying principles behind these
algorithms are simple enough to allow a great adaptability to various
problems and domains and, while maintaining excellent effectiveness,
they offer the possibility of obtaining explainable solutions. In a
scenario where AI is increasingly predominant, but often with black
box solutions, the explainability of EC and PO solutions may be an
answer to the growing demand for understandable AI. The goal of this
workshop is to explore and discuss the latest trends, promising
results and hot topics in the fields of EC and PO, offering a
discussion forum where new research collaborations can be established.

Topics of Interest
-----------------

The topics of the workshops include all evolutionary computation
methods and population-based optimization techniques, including but
not limited to:

- Genetic Algorithms
- Genetic Programming (tree-based, cartesian, graph-based,
grammar-based, linear, semantic, and other kinds of GP)
- Evolution Strategies
- Differential Evolution
- Particle Swarm Optimization and other swarm intelligence methods
- Neuroevolution
- Evolutionary robotics
- Distributed methods in EC and swarm intelligence
- Multi-objective optimization in EC and swarm intelligence
- Cooperative and competitive evolution
- Fitness landscape analysis
- Applications of evolutionary algorithms to cyber-physical systems
- Real-world applications
- Software packages for population-based optimization methods
(including implementations for HPC and GPU)

Both theoretical works, novel techniques, and application to
real-world problems are on-topic for the workshop. A particular focus
of this workshop is the relation between these methods and the larger
area of AI, in particular how they can contribute to the development
of an explainable AI and how they can be hybridized with other machine
learning methods.

Types of submission
-------------------

WEPO 2021 welcomes three different kinds of submissions:

- Research Papers (up to 12 pages). Original and unpublished research
works. The aim of this kind of paper is to disseminate to the
community a complete research work.

- Exploratory papers (up to 6 pages). Shorter papers with preliminary
results or in-progress works. The authors are encouraged to present
the main open problems and novel ideas to allow a fruitful discussion
that can help in improving the work. Exploratory papers are also a
useful tool for students to start presenting their current research.

- Proposal for software demos (2 pages short description). It is well
known that the software landscape for evolutionary computation and
swarm intelligence is quite fragmented, with tools usually limited to
single research groups. With a software demo, we want to encourage
researchers to present their software, possibly helping other people
in learning how to use it in their research. Authors are also
encouraged to make available before the workshop a software repository
with the code and examples used in the demo.

Notice that the page limit for each submission type *excludes*
acknowledgements and bibliography.

Submission Instructions
-----------------------

All submissions must be formatted according to Springer's LNCS style
(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)
and must be submitted using the EasyChair submission system
(https://easychair.org/conferences/?conf=aixia2021), specifying the
WEPO track.

Publication
-----------

All accepted research and exploratory papers will be available in a
local proceedings volume or, subject to confirmation, to CEUR-WS
proceedings. All accepted software demos will be available in the
local proceedings.

Authors of a selection of accepted papers will be invited to submit an
extended and revised version for publication in an international
journal (to be confirmed).

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

Paper submission deadline (FINAL EXTENSION): October 15th, 2021.
Notification to authors (extended): November 10th, 2021.
Camera ready submission: November 22th, 2021.
Workshop date: November 29th-30th, 2021.

Participation
-------------

The workshop will be held online, with a program expected to run for
one day, before the main conference. The exact date (November 29th
or 30th) will be announced later. Further information on the AIxIA
conference, of which WEPO is part of, are available on the main
AIxIA website (https://aixia2021.disco.unimib.it/).

Organizing Committee
--------------------

Luca Manzoni, University of Trieste, IT
Andrea De Lorenzo, University of Trieste, IT
Luca Mariot, TU Delft, NL

Website
-------

https://wepo2021.aisylab.com

Contact
-------

lmanzoni@units.it
andrea.delorenzo@units.it
l.mariot@tudelft.nl

**********************************************************
*
* 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 Position in Formal Verification, University of Stuttgart, Germany

The Institute of Information Security at University of Stuttgart offers a

fully-funded Postdoc position in formal verification

The successful candidate is expected to work on tool-supported formal
verification of security-critical systems and security protocols.

The position is available immediately with an internationally
competitive salary (German public salary scale TV-L E13 or TV-L E14,
depending on the candidate's qualification, ranging from about 4.600
Euro to 6.200 Euro monthly gross salary). The appointment period
follows the German Wissenschaftszeitvertragsgesetz (WissZeitVg), ranging
from one year to up to six years.

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

The successful candidate should have a Ph.D. (or should be very close to
completion thereof) in Computer Science, Mathematics, Information
Security, or a related field. We value strong analytical skills and

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

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

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

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

The deadline for applications is

October 31st, 2021.

Late applications will be considered until the position is filled.

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

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

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

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

[DMANET] CP21 Conference - Discover the program !

The CP 2021 Program is online !

We are pleased to inform you that the program of the CP 2021 conference is online on the website : https://cp2021.lirmm.fr/schedule <https://cp2021.lirmm.fr/schedule>

Registration is now open. Please fill in the form on the website (registration is free but required to attend the conference online) : https://cp2021.lirmm.fr/attendee/registration <https://cp2021.lirmm.fr/attendee/registration>

Don't hesitate to visit the website <https://cp2021.a4cp.org/> to stay informed !

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

Tuesday, October 5, 2021

[DMANET] Deadline Extension: October 20, Annual Conferences, Publication in Springer LNNS Series (Scopus Indexed)

> ** Deadline Extension: Annual Events- Springer LNNS Series (Scopus Indexed)
>
> Final CFP- please circulate this CFP to your colleagues and networks **
>
> ------------On multiple requests from several authors, we have extended the submission deadline till October 20, 2021.---------------
>
>
> -- 21st International Conference on Intelligent Systems Design and
> Applications (ISDA'21) –- http://www.mirlabs.net/isda21
>
> -- 21st International Conference on Hybrid Intelligent Systems
> (HIS'21) -- http://www.mirlabs.net/his21
>
> -- 17th International Conference on Information Assurance and Security
> (IAS 2021) -- http://www.mirlabs.org/ias21
>
> -- 13th International Conference on Soft Computing and Pattern
> Recognition (SoCPaR 2021) -- http://www.mirlabs.org/socpar21
>
> -- 13th World Congress on Nature and Biologically Inspired Computing
> (NaBIC 2021) -- http://www.mirlabs.net/nabic21
>
> -- The 12th International Conference on Innovations in Bio-Inspired
> Computing and Applications (IBICA'21) --
> http://www.mirlabs.net/ibica21
>
> -- The 11th World Congress on Information and Communication
> Technologies (WICT'21) --http://www.mirlabs.org/wict21
>
>
> **Important Dates**
> ---------------------
> Paper submission due (Extended deadline): September 30, 2021 (October 20, 2021)
> Notification of paper acceptance (Extended deadline): October 31,
> 2021 (November 05, 2021)
> Registration and Final manuscript due (Extended deadline): November
> 15, 2021 (November 20, 2021)
>
> Conferences: December 14-16, 2021
>
>
> ** About MIR Labs, USA events 2021**
> ----------------------------------------------------------------------------------------------------
>
> Machine Intelligence Research Labs (MIR Labs), USA provides an
> international forum to share the latest research results, ideas and
> experiences in intelligent systems design and applications; soft
> computing; information assurance and security; nature-inspired
> computing, pattern recognition; and information and communication
> technologies by bringing together the leading communities in this
> research space. MIR Labs events are built on a solid history, through
> ISDA to WICT, connecting young researchers with highly experienced
> peers to forge connections, which can last for many years.
>
> ** Topics (not limited to) **
> ---------------------------------------------------------------------------------------------------
>
> Intelligent Systems and Applications
> Hybrid Intelligent Systems
> Soft Computing and Pattern Recognition
> Nature and Biologically Inspired Computing
> Innovations in Bio-Inspired Computing and Applications
> Information and Assurance Security
> Innovations in Information and Communication Technologies
> Wireless Networks
> Data Mining
> IoT, Cloud Computing
> Software Engineering
> Digital Learning
> Cybersecurity
>
> **Submission Guidelines**
> -------------------------
>
> Submission of paper should be made through the submission page from
> the conference web page.
> Please refer to the conference website for guidelines to prepare your
> manuscript.
>
> Paper format templates:
> https://www.springer.com/de/authors-editors/book-authors-editors/manuscript-preparation/5636#c3324
>
>
> **Plenary Talks**
> ----------------------------------------
> You are welcome to attend 9 Keynote Talks offered by world-renowned
> professors and industry leaders. The detailed information is available
> on conference website.
>
> Speaker 1: Antônio de Padua Braga, Federal University of Minas Gerais, Brazil
> Title: Large margin classification with graph-based models
>
> Speaker 2: Juergen Branke, University of Warwick, Coventry, United Kingdom
> Title: Learning to optimise – optimal learning
>
> Speaker 3: Oscar Cordon, University of Granada, Spain
> Title: Hybrid Intelligent Systems for Forensic Anthropology and Human
> Identification
>
> Speaker 4: Kalyanmoy Deb, Michigan State University, USA
> Title: TBA
>
> Speaker 5: Andries Engelbrecht, University of Stellenbosch, South Africa
> Title: Set-based Particle Swarm Optimization Approach to Portfolio Optimization
>
> Speaker 6: Frédéric GUINAND, Le Havre Normandy University, France
> Title: Swarms of Unmanned Aerial Vehicles
>
> Speaker 7: Cengiz Toklu, Beykent University, Istanbul, Turkey
> Title: Hybrid Algorithms. Applications to Structural Mechanics
>
> Speaker 8: Günther Raidl, Technische Universität Wien, Austria
> Title: Combinatorial Optimization Meets (Reinforcement) Learning
>
> Speaker 9: Marco Dorigo, Université Libre de Bruxelles, Belgium
> Title: TBA
>
>
> **Technical Contact**
> ---------------------
> Dr. Ajith Abraham
> Email: ajith.abraham@ieee.org

Monday, October 4, 2021

[DMANET] Fourth Call for Papers: EvoCOP 2022 - The 22nd European Conference on Evolutionary Computation in Combinatorial Optimisation

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

Fourth Call for Papers:

EvoCOP 2022 - The 22nd European Conference on

Evolutionary Computation in Combinatorial Optimisation

http://www.evostar.org/2022/evocop/

April 20 - 22, 2022

held as part of EvoStar (http://www.evostar.org)

Venue: *Somewhere On Earth!*

** EvoCOP is now CORE Rank B **

Submission deadline: November 1, 2021

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

The 22nd European Conference on Evolutionary Computation in Combinatorial

Optimisation is a multidisciplinary conference that brings together
researchers

working on applications and theory of evolutionary computation methods and

other metaheuristics for solving difficult combinatorial optimisation
problems

appearing in various industrial, economic, and scientific domains.

Successfully solved problems include, but are not limited to,
multi-objective,

uncertain, dynamic and stochastic problems in the context of scheduling,

timetabling, network design, transportation and distribution, vehicle
routing,

stringology, graphs, satisfiability, energy optimisation, cutting, packing,

planning and search-based software engineering.

The EvoCOP 2021 conference will be held somewhere on Earth, together

with EuroGP (the 24th European Conference on Genetic Programming), EvoMUSART

(the 10th European conference on evolutionary and biologically inspired
music,

sound, art and design) and EvoApplications (the 24th European Conference on
the

Applications of Evolutionary Computation), and a new special track on
Evolutionary Machine Learning in a joint event collectively known as
EvoStar (Evo*).

Accepted papers will be published by Springer Nature in the Lecture Notes in

Computer Science series. (See https://link.springer.com/conference/evocop
for

previous proceedings.)

The best regular paper presented at EvoCOP 2022 will be distinguished

with a Best Paper Award.

EvoCOP conference is now ranked B in the CORE 2021 ranking:
http://portal.core.edu.au/conf-ranks/2195/

**** Areas of Interest and Contributions ****

EvoCOP welcomes submissions in all experimental and theoretical aspects of

evolutionary computation and other metaheuristics to combinatorial
optimisation

problems, including (but not limited to) the following areas:

* Applications of metaheuristics to combinatorial optimisation problems

* Theoretical developments

* Neighbourhoods and efficient algorithms for searching them

* Variation operators for stochastic search methods

* Constraint-handling techniques

* Parallelisation and grid computing

* Search space and landscape analyses

* Comparisons between different (also exact) methods

* Automatic algorithm configuration and design

Prominent examples of metaheuristics include (but are not limited to):

* Evolutionary algorithms

* Estimation of distribution algorithms

* Swarm intelligence methods such as ant colony and particle swarm
optimisation

* Artificial immune systems

* Local search methods such as simulated annealing, tabu search, variable

neighbourhood search, iterated local search, scatter search and path
relinking

* Hybrid methods such as memetic algorithms

* Matheuristics (hybrids of exact and heuristic methods)

* Hyper-heuristics and autonomous search

* Surrogate-model-based methods

Notice that, by tradition, continuous/numerical optimisation is *not* part
of

the topics of interest of EvoCOP. Interested authors might consider
submitting

to other EvoStar conferences such as EvoApplications.

**** Submission Details ****

Paper submissions must be original and not published elsewhere. The
submissions

will be peer reviewed by members of the program committee. The reviewing

process will be double-blind, please omit information about the authors in
the

submitted paper. Submit your manuscript in Springer LNCS format:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

Page limit: 16 pages

Submission link: coming soon

The authors of accepted papers will have to improve their paper on the
basis of

the reviewers' comments and will be asked to send a camera-ready version of

their manuscripts. At least one author of each accepted work has to register

for the conference, attend the conference and present the work.

**** Important Dates ****

Submission deadline: November 1, 2021

EvoStar: April 20-22, 2022

**** EvoCOP Programme Chairs ****

Leslie Pérez Cáceres

Pontificia Universidad Católica de Valparaíso, Chile

leslie.perez@pucv.cl<mailto:leslie.perez@pucv.cl>

Sébastien Verel

Université du Littoral Côte d'Opale (ULCO), France

verel@univ-littoral.fr<mailto:verel@univ-littoral.fr>

--
Leslie Pérez Cáceres
Escuela de Ingeniería Informática
Pontificia Universidad Católica de Valparaíso

Directora Diplomado en Inteligencia Artificial http://diplomadoia.inf.ucv.cl
Co-chair , EvoCOP 2022, April 20-22 http://www.evostar.org/2022/evocop/

[DMANET] Lecturer/Senior Lecturer Positions in Business Analytics

Kent Business School is seeking to appoint a Lecturer/Senior Lecturer in Business Analytics to join the Department of Analytics, Operations and Systems on either an Education and Research (E&R) or an Education, Scholarship and Professional Practice (ES&P) contract.

The successful applicant will lead and contribute to the delivery of Business Analytics modules at both undergraduate and postgraduate levels. In particular, the post holder will be expected to provide teaching in one or more of the following: optimisation, decision analysis, data analytics, statistics, advanced spreadsheet modelling, simulation, performance management and project management, or possibly new modules in the successful candidate's own area of expertise.

In addition to previous teaching experience, the post holder should have a clearly defined research or scholarship agenda with a track record or clear potential to publish in top peer-reviewed journals or professional journals. Evidence of income generation, research impact, scholarship or corporate engagement is expected in the case of appointments to Senior Lecturer level. Although all cognate areas of Business Analytics will be considered, we are particularly interested in applicants with research or scholarship expertise in areas that the Department of Analytics, Operations and Systems is looking to grow, including (but not limited to) optimisation, decision analysis, simulation, healthcare analytics, performance management, Soft OR, and Systems Thinking.

Applicants who are keen to contribute to the development of key research themes within the School, including healthcare, transportation, and sustainability are particularly encouraged to apply.
The closing date for both positions is 1 November 2021. For more information or to apply, please follow the links below.

https://jobs.kent.ac.uk/vacancy.aspx?ref=KBS-035-21

For informal discussion only, please contact Professor Marian Garcia, Dean of Kent Business School, kbsdirector@kent.ac.uk. You may also contact Professor Jesse O'Hanley, Head of the Department of Analytics, Operations and Systems, 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] Lecturer positions - several openings

Dear Colleagues,

There are several new Lecturer positions in Data Science, at the intersection of Computer Science, Data Mining, Machine Learning and AI, Discrete Applied Mathematics and Statistics. These are now available at The University of Newcastle, Australia.

Please refer to the information available from the university website:
https://uniofnewcastle.secure.force.com/academicext

All of them are for Newcastle/Callaghan Campus.

The Computer Science, Software Engineering, and IT academics are working together with the Data Science and Statistic group towards generating a unique new profile for our recently created School of Information and Physical Sciences which also hosts Physicists and Mathematicians.

Please share with other interested early career researchers who you think may be interested in this opportunity.

Best regards,

P.

Prof. Pablo Moscato
Head of Discipline - Data Science and Statistics
The University of Newcastle, Australia

https://www.newcastle.edu.au/profile/pablo-moscato

<https://www.newcastle.edu.au/profile/pablo-moscato>
"Multi famam, conscientiam pauci verentur."

I acknowledge the Awabakal people as the traditional custodians of the land on which I work and live. I stand for equity and diversity and have taken the UON Gender Equality Leadership Pledge<https://www.newcastle.edu.au/current-staff/our-organisation/equitable-workplace/workplace-gender-equity/leadership-pledge>

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

Sunday, October 3, 2021

[DMANET] Hertz Chair (W3, full professorship) at the University of Bonn

The University of Bonn (Germany) invites applications for the following
position:

*Hertz Chair at the interface Mathematics, Modelling and Simulation of
Complex Systems (W3, full professorship)*

Establishing distinguished Hertz Chairs at the interface of outstanding
research areas at the University of Bonn is a central measure following
the success of the University of Bonn within the German Excellence
Strategy, a funding program of the Federal and State Governments to
support cutting-edge research at universities. Under this scheme, the
University of Bonn establishes an exceptionally endowed Hertz Chair
within the Transdisciplinary Research Area (TRA) "Mathematics, Modelling
and Simulation of Complex Systems".

Ideal candidates for this Hertz Chair will have a strong track record at
the interface between mathematics and computational sciences and
application fields such as life science/medicine, quantitative economics
or agricultural science. The holder will be integrated into a vibrant
and active research environment at the interface between highly visible
and established research areas in Bonn. These include outstanding
expertise in the fields of mathematics, machine learning, robotics, life
sciences and quantitative economics with three Clusters of Excellence
(HCM – Hausdorff Center for Mathematics, ImmunoSensation2 – The Immune
Sensory System, PhenoRob – Robotics and Phenotyping for Sustainable Crop
Production), as well as affiliated extra-university research centers.

The full job advertisement can be found at the following link:

https://www.uni-bonn.de/de/universitaet/medien-universitaet/medien-organisation-und-einrichtungen/medien-dezernat-3/w3-hertz-chair-mathematics-modelling-simulation-of-complex-systems.pdf
**********************************************************
*
* 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] ADT-21 PhD Day [Final call for abstracts]

Dear Colleagues,

The ADT-21 conference (https://www.irit.fr/ADT2021/) is scheduled to be
held at the University of Toulouse from Nov 3rd to 5th. We are very excited
to announce that a PhD Day will be organized on Nov 2nd.
We strongly encourage you (or your students) to participate!

The PhD Day program will include two tutorials:

-- "Computational Social Choice: Some New Directions" by Jérôme Lang
(LAMSADE, University of Paris-Dauphine)
-- "Nash Equilibria in Non-Cooperative Games: How to Compute Them?" by
Régis Sabbadin and Paul Jourdan (INRAE, University of Toulouse)

In addition, it will include a session of short presentations (5-7 minutes)
by PhD Students, where they will have the opportunity to share their
research in algorithmic decision theory, game theory, computational social
choice, and related fields.

In this context, we would like to invite you to submit an abstract to
participate in the PhD Day, by filling in the Google Form below by October
5th:
(
https://docs.google.com/forms/d/e/1FAIpQLSe4iYDKHukdI1Aj55i2Z8tvSwjFQbEVgKcd-kfR4zkkwQAPyA/viewform?usp=sf_link
)
In the form you will be asked to provide your contact information, as well
as a short abstract/description of your PhD research (max 500 words). If
your abstract is accepted, you will have to give a brief talk in the
presentation session.
Notification of acceptance will be sent by October 9th at the latest.

Tutorials and presentations are going to be streamed. However, please take
into account that our aim is to host this PhD day as an in-person event.
Just in a few exceptional cases we may allow students to present online.
Please refer to the ADT-21 conference website for more information about
Covid restrictions and access to the University.

Should you have any questions, please do not hesitate to contact one of the
organizers of the PhD Day (see e-mail addresses below).

Looking forward to seeing you in Toulouse!

The ADT-21 PhD Day organizing committee,
Georgios Amanatidis (g.d.amanatidis@gmail.com)
Roi Naveiro (roi.naveiro@icmat.es),
Arianna Novaro (Arianna.Novaro@univ-paris1.fr)

Saturday, October 2, 2021

[DMANET] postdoctoral positions at IRIF, Paris, France

IRIF (CNRS and Université de Paris), Paris, France, is seeking excellent candidates for postdoctoral positions in all areas of the Foundations of Computer Science. Every year, 5-10 new postdocs join IRIF.

IRIF (Institute for Research in Foundations of Computer Science) is a joint laboratory of the CNRS (French National Center for Scientific Research) and Université de Paris. Currently, it hosts about 90 permanent faculty members, 40 non-permanent full-time researchers, and 50 Ph.D. students. For further information about IRIF please see https://www.irif.fr/en/informations/presentation .

The postdoc positions at IRIF are financed either by the laboratory resources, or by group or personal grants, or by joint applications of IRIF members and the candidate to outside funding agencies with which IRIF is affiliated.

The starting date of the positions is usually in September-October, but this may sometimes vary. Candidates must hold a Ph.D. degree in Computer Science or a related area before the starting date of the position. Knowledge of French is not required, and applications can be sent either in French or in English.

The application deadline for most application tracks is November 1st, 2021. For a list of specific openings as well as instructions how to apply please visit https://www.irif.fr/postes/postdoc .
**********************************************************
*
* 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] Algorithmic Decision Theory (ADT) 2021: Second Call for Participation

The 7th International Conference on Algorithmic Decision Theory (ADT 2021) will take place at University Toulouse 1 Capitole in hybrid form from 3 to 5 November 2021, with a dedicated day for PhD students on Tuesday 2 November. The conference venue will be at the Arsenal campus, located in the city center. The schedule of ADT 2021 is available at

https://www.irit.fr/ADT2021/schedule/

The PhD day on Algorithmic Decision Theory and the tutorials by Jérôme Lang, Régis Sabbadin and Paul Jourdan will take place on Tuesday November 2 (see https://www.irit.fr/ADT2021/phd-day for more details). Please encourage PhD students that you know and are potentially interested in Algorithmic Decision Theory to participate.

The deadline for early registration is October 11 (see https://www.irit.fr/ADT2021/registration). Registration fees for regular participants include lunches, coffee breaks, and social dinner on Thursday 4 November. Online participants must register and pay an online registration fee (which is low but not zero).

Further information about travelling, accommodation, and covid-related restrictions can be found on the conference webpage: https://www.irit.fr/ADT2021
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Friday, October 1, 2021

[DMANET] Ph.D. position on Public Transport Optimization at the University of Pisa, deadline October 15

The Doctorate School of the Universities of Pisa, Firenze and Siena has opened a special Ph.D. bourse on the topic "For an efficient decarbonisation of Local Public Transport".

Detailed description: The "Fit for 55" package has set ambitious emission reduction targets that can only be achieved with a multifactorial approach. Local Public Transport (LPT) already offers much lower emissions per passenger / km than owned cars. Increase penetration of electric cars will lead, at constant rates, to a reduction in emissions; but the electrification of the LPT fleet and the increase in the share of multimodal journeys would lead to much greater reductions. However, electrifying the LPT entails considerable problems, related e.g. to the need for frequent charging stops, which could lead to cost increases or decreases in Quality of Service (QoS), and therefore to a decrease in the use of LPT which would be detrimental to the decarbonisation objectives.

The Department of Computer Science of the University of Pisa (DI) has a long-standing collaboration with MAIOR SRL, which in over 30 years has built a significant reputation in the market for Decision Support Systems (DSS) for LPT companies. A crucial component of the DSS is a suite of solvers for the complex optimization problems that arise in organizing the LPT by combining high levels of QoS and low operating costs through the efficient use of vehicles and personnel. These problems become more and more challenging as the share, for now still minor, of electric LPT vehicles increases. The project addresses the challenges posed by the solution of these problems by developing a suite of interoperable algorithms capable of making the most of the multiple forms of structure present in them. For this it will also exploit the Structured Modeling System++ software framework, developed by the DI and capable of facilitating the implementation of sophisticated algorithmic approaches (based on Lagrangian relaxation, column generation, large-scale local search, and other techniques) for problems with multiple and nested structure forms, such as those addressed by MAIOR. The project therefore combines a high scientific interest with a clear relevance for the decarbonification of our society: increasing the electrification of LPT while improving its efficiency can free up resources to increase the QoS, triggering a virtuous cycle that contributes both to the achievement of objectives "Fit for 55" and to improve the quality of life in our urban centres.

About the Institute: The Department of Computer Science of the University of Pisa is the oldest of its kind in Italy, and the Computer Science Ph.D. School has the same distinction. The Doctorate accepts applications for all areas of Computer Science, Optimization and Numerical Analysis.

Duration: Three years. The deadline for the application is October 15, 2021. The selection process is expected to be performed swiftly thereafter and the activity to start before year's end.

Compensation: Standard Italian Ph.D. student fare, about 1150 Euro/month net. No the stay abroad is foreseen, but the candidate is supposed to spend between 6 and 12 months at the industrial partner MAIOR.

Requirements for the PhD position: basically any STEM Master degree (Engineering, Mathematics, Computer Science, ...), decent English level and very good academic record. Knowledge of optimization techniques and software is a plus, as is resilience and a taste for discovery.

Further information can be found at

https://dottorato.di.unipi.it/6-special-scholarships-for-the-ph-d-school-in-computer-science-at-the-universities-of-pisa-florence-and-siena-on-innovation-and-green-research-projects/

This is an University-wide call for many bourses, the one of interest here is "Per un'efficiente
Decarbonizzazione del Trasporto Pubblico Locale" at p. 40. The instruction to participate to the call can be found at Articolo 3, p. 3 of the document. Unfortunately the document is Italian-only for now (an English translation may appear, but this is not certain). Basically, the candidates need to upload their CV and a copy of the certificate that they have the requisite Master degree, indicating which of the bourses (s)he applies to. A Research Project can also be uploaded. Further instructions will be available when logging in the system as per the instructions on the document.

For any enquiries on the research project or assistance with signing up in the selection process (in particular for non-Italian candidates) do not hesitate to contact Antonio Frangioni (frangio@di.unipi.it).

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

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

[DMANET] Ph.D. position on Energy Optimization at the University of Pisa, deadline October 15

The university of Pisa is currently accepting applications for a PhD position at the intersection of computer science, optimization and energy problems. This PhD position will be under the supervision of Prof. Antonio Frangioni. The PhD candidate will also be in close collaboration with researchers from EDF Lab (Paris Area) and further researchers through the PGMO program. Part of the PhD will take place, if sanitary measures permit it, at EDF Lab.

About the Institute: The Department of Computer Science of the University of Pisa is the oldest of its kind in Italy, and the Computer Science Ph.D. School has the same distinction. The Doctorate accepts applications for all areas of Computer Science, Optimization and Numerical Analysis.

Duration: Three years. The deadline for the application is October 15, 2021. The selection process is expected to be performed swiftly thereafter and the activity to start before year's end.

Compensation: Standard Italian Ph.D. student fare, about 1150 Euro/month net. A contribution to increased living expenses will be available to support the student during the foreseen stay abroad (at least 6 months).

Requirements for the PhD position: basically any STEM Master degree (Engineering, Mathematics, Computer Science, ...), decent English level and very good academic record. Knowledge of optimization techniques and software is a plus, as is resilience and a taste for discovery.

Project abstract: In the "Fit for 55" climate package the EU has set the world's most ambitious targets for the decarbonification of the energy system (ES). Achieving those objectives requires all the stakeholders to forecast the response of the ES to the possible changes over long timescales. This requires building mathematical models that take into account uncertainties, be multi-level and multi-scale, and properly represent the many combinatorial and nonlinear aspects of the ES. The corresponding monolithic optimization problems are too large to tackle even on the best HPC systems. The only approaches that can possibly tackle problems of this scale and complexity without resorting to dramatic over-simplifications, as customary in current strategic ES models, are decomposition ones, since they are capable of exploiting all the several forms of structure (scenarios, geographical and temporal scales É) they possess. However, standard modelling systems do not support implement multi-level, heterogeneous decomposition approaches.

We build over previous international research projects that produced the Structured Modeling System++ (SMS++), a C++ software framework whose unique design choices already allow to tackle highly challenging mid-term models with approaches combining several forms of decomposition (Stochastic Dual Dynamic Programming, Lagrangian relaxation). We will develop the remaining algorithmic components that are needed for solving models of the ES spanning multi-decade time horizons with resolution down to the hourly one. Achieving this result, which will require exploiting the native parallel capabilities of SMS++ to run the approaches on HPC architectures, will be a very significant scientific achievement resulting on a seismic change in the perception of what is possible for long-term stochastic models. This will allow all stakeholders of energy systems to accurately plan for pathways towards the "Fit for 55" objectives ensuring economic and societal sustainability along all the transition period. The work will require the expertise of the industrial partner EdF, that has a long-standing collaboration with the University of Pisa and is already invested in the development and use of SMS++. SMS++ is open source and all the newly developed models will be so, which will make the results available to all the interested parties.

Further information can be found at

https://dottorato.di.unipi.it/6-special-scholarships-for-the-ph-d-school-in-computer-science-at-the-universities-of-pisa-florence-and-siena-on-innovation-and-green-research-projects/

This is an University-wide call for many bourses, the one of interest here is "Modellazione della Transizione Verso un Sistema Energetico Decarbonizzato" at p. 41. The instruction to participate to the call can be found at Articolo 3, p. 3 of the document. Unfortunately the document is Italian-only for now (an English translation may appear, but this is not certain). Basically, the candidates need to upload their CV and a copy of the certificate that they have the requisite Master degree, indicating which of the bourses (s)he applies to. A Research Project can also be uploaded. Further instructions will be available when logging in the system as per the instructions on the document.

For any enquiries on the research project or assistance with signing up in the selection process (in particular for non-Italian candidates) do not hesitate to contact Antonio Frangioni (frangio@di.unipi.it).
----------------------------------------------------------------------

[DMANET] SAMSN 2021 CFP:The International Workshop on Sentiment Analysis and Mining of Social Networks , Gandia, Spain. December 6-9, 2021.

*The International Workshop on Sentiment Analysis and Mining of Social
Networks (SAMSN 2021) *

*Gandia, Spain. December 6-9, 2021. *

*http://emergingtechnet.org/SAMSN2021/
<http://emergingtechnet.org/SAMSN2021/>*

*In Conjunction With*

*The Eighth International Conference on Social Networks Analysis,
Management and Security (SNAMS-2021)*
<http://emergingtechnet.org/SNAMS2021/index.php>

*SAMSN 2021 CFP:*

When the first Social Networks were introduced in the beginning of this
century, they were able to gain the attention of the whole world, and since
then, more and more social networks have risen and have become increasingly
popular and significantly effective. They have been able to change the way
we live forever and how we interact with each other and with the
environment. The world has become more and more connected. Nowadays, social
networks are everywhere, and they play an important role in various aspects
of our lives. With the rise of the era of social networks, many
opportunities and challenges have appeared on the scene including but not
limited to big data handling, security and privacy issues in social
networks, the use of sentiment analysis and opinion mining in these rich
environments, data analytics, recommender systems, and legal and ethical
issues related to the offensive use of these environments. The objective of
this workshop is to shed light upon all the issues, opportunities,
challenges, and future trends that are related to online social networks.
Authors are invited to submit their original work, which is not submitted
elsewhere, to this workshop. The accepted papers of the workshop will be
published by the IEEE Conference Publishing Services (CPS) and will be
submitted for inclusion in the IEEE-Xplore and the IEEE Computer Society
(CSDL) digital libraries.

The International Workshop on Sentiment Analysis and Mining of Social
Networks (SAMSN 2021) aims to provide a forum that brings together
researchers, industry practitioners and domain experts for discussion and
exchange of ideas on the latest theoretical developments in Data Science
and Computing as well as on the best practices for a wide range of
applications.
Proceedings of the workshops will be published by the IEEE Conference
Publishing Services (CPS) and will be submitted for inclusion in the
IEEE-Xplore and the IEEE Computer Society (CSDL) digital libraries.

Authors are encouraged to submit their original work, which is not
submitted elsewhere, to this workshop. The topics of the workshop include
but not limited to:

· Social Networks Mining and Analysis

· Social Networks Architecture

· Social networks Data Representation and Visualization

· Big Data and Social Networks

· IOT and Social Networks

· Cloud Mining tools and Services for Social Networks Data

· Geolocation aspects of Social networks

· Impact of Social Networks on Society

· Social Networks Sentiment Analysis and Opinion Minings

· Information Retrieval for Social Networks

· Multilingual Natural Language Processing Tools for Social Networks

· Machine Learning with Social Networks

· Recommender systems Applications in Social Networks

· Artificial Intelligence-based Emerging technologies

· Privacy challenges in Social networks

· Social Network and Data Analytics

· Legal and Ethical issues for Textual Online Data

· Online Hate-Speech detection

· Case studies

*Submissions Guidelines and Proceedings*

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

All submissions are peer-reviewed by at least three reviewers. Accepted
papers will appear in the SNAMS Proceeding and to be submitted to IEEE
Xplore for inclusion. The proceedings are also submitted for indexing to EI
(Compendex), Scopus and other indexing services like DBLP.

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

*Important Dates:*

Submission Date: 5 Oct, 2021

Notification to Authors: 21 Oct, 2021

Camera Ready Submission: 30th Oct, 2021

Please send any inquiry to the Emerging Tech. Network Team at:
emergingtechnetwork@gmail.com

[DMANET] Postdoctoral Researcher in TCS at the University of Leeds (deadline 10.10.2021)

We are happy to invite applications for a 18-months postdoctoral research
position (salary: £31,866 per annum at grade 7) within the School of
Computing at the University of Leeds. The position is part of the EPSRC
funded project (EP/V00252X/1) on the "Next Generation of Algorithms for
Mixed Integer Linear Programming (MILP)" led by Dr. Sebastian Ordyniak.

The project focuses on the development of novel algorithms and algorithmic
lower
bounds for MILP based on the principles of parameterized
complexity (PC). Towards this aim we will develop novel ways to measure
and exploit the structure of MILP instances based on decompositional,
backdoor, and hybrid approaches. We will also explore
how the novel algorithmic lower bounds and upper bounds can best be
exploited for various problems in TCS, AI, and ML.

The project comes with a generous travel budget, which will allow us to
closely collaborate with the leading research groups within PC and the
complexity of MILP such as the algorithms and complexity groups at Charles
University in
Prague, TU Vienna, University of Warwick, Royal Holloway University of
London, and the University of Bergen.

Candidates interested in the position should have:

- a PhD degree (or be close to completion) in Computer Science or
Mathematics

- a strong background in algorithms and complexity, more specifically, in
parameterized complexity and/or the computational complexity of MILP

- very good scientific writing and communication skills

Participation and presentations at scientific conferences are expected
and will be funded.

f you are interested in working in an internationally connected,
world-leading research team within the Algorithms research group at
the University of Leeds, please apply online using following link:

http://jobs.leeds.ac.uk/EPSCP1066

Informal inquiries to sordyniak@gmail.com are also welcome.

The deadline for online applications is the 10.10.2021.

[DMANET] Call for Contributions: 38th European Workshop on Computational Geometry (EuroCG 2022)

================
Call for Contributions
================

The 38th European Workshop on Computational Geometry
March 14-16 2022, Perugia, Italy
https://eurocg2022.unipg.it/

EuroCG 2022 will be held March 14-16, 2022 in Perugia, Italy. EuroCG is an
annual workshop that combines a strong scientific tradition with a friendly
and informal atmosphere. The workshop is a forum where established
researchers and students can meet, discuss their work, present their
results, and establish scientific collaborations.

=============
Important Dates
=============

Submission Deadline: January 11, 2022
Acceptance Notification: February 11, 2022
Early Registration ends: February 25, 2022
Camera-ready version: February 25, 2022
EuroCG 2022: March 14–16, 2022
All deadlines are 23:59 AoE.

======
Format
======

Given the current status of the COVID-19 pandemic in Europe, we currently
aim at having an in-person workshop. The meeting will be held in accordance
with all the Italian and European regulations and recommendations that will
be in place at that time. There might be an upper bound on the number of
accepted in-person participants, and in such a case priority will be given
to paper authors and presenters. As we understand that it might still be
difficult for some authors to travel due to various restrictions, we will
guarantee the possibility of giving an online talk and all talks will be
streamed. Any update or change in the workshop format will be published on
the conference website and promptly announced.

=============
Invited speakers
=============

- Leila De Floriani, University of Maryland at College Park, USA
- Michael Hoffmann, ETH Zürich, Switzerland
- Maurizio Patrignani, Università degli Studi Roma Tre, Italy

=============
Topics of interest
=============

Topics of interest cover all aspects of computational geometry, including
but not limited to the following:
- discrete and combinatorial geometry and topology,
- design and analysis of geometric algorithms and data structures,
- implementation and experimental evaluation of geometric algorithms,
- numerical and algebraic issues arising from implementations,
- analysis of geometric configurations,
- geometric modeling, visualization and simulation,
- combinatorial optimization,
- graph drawing,
- structural molecular biology,
- geometric puzzle analysis,
- geographic information systems,
- robotics and virtual worlds, and
- computer-aided design and manufacturing.

=========
Submission
=========

We invite authors to submit extended abstracts of their original research.
Submissions must be formatted in LaTeX using a supplied class file, and not
be longer than 175 lines of text. Submissions will be handled through
EasyChair <https://easychair.org/conferences/?conf=eurocg2022>.

Authors must use the LaTeX class files eurocg22
<https://eurocg2022.unipg.it/latex/eurocg22.cls> and eurocg22-submission
<https://eurocg2022.unipg.it/latex/eurocg22-submission.cls>, which are
based on the LIPICS class file. These class files should automatically
count all lines containing text, excluding title and references, and
excluding figures. Authors are expected to make reasonable effort to make
sure all lines that contain text are counted: the class file should be
considered an aid, and the responsibility of correctly counting lines
remains with the authors. A zip file containing an example of how to use
the class file can be found here
<https://eurocg2022.unipg.it/latex/eurocg22-ex.zip>.

Your submission should provide a clear statement of your results including
proofs. The main (175 line) body of your submission should be
self-contained and contain a clear and succinct description of your
results. Content that does not fit in the main body due to space
restrictions must be placed into a clearly marked appendix, which will only
be read at the discretion of the program committee.

==============
Acceptance Policy
==============

EuroCG is a non-competitive forum. We will accept all submissions which
are original, correct, well-presented, non-trivial, and in scope. The
program committee judges submissions on these five criteria, each of which
can lead to rejection. If a submission satisfies all criteria, then it will
be accepted: there is no competition against other submissions.

- Originality: If a submission does not contain original research by the
authors, or if there is good reason to believe this is the case, this is a
reason for rejection. We do not accept submissions which have already been
accepted for publication elsewhere. However, we do explicitly allow
submissions that are under review at another conference or journal (at the
time of submission to EuroCG).
- Correctness. If the main / a major result of a submission is not correct,
this is a reason for rejection. If an attentive reviewer cannot establish
correctness of the results from the content of the submission, this is a
reason for rejection. However, an acceptance at EuroCG is no correctness
guarantee.
- Presentation. If a submission is written in a way that makes it
unreadable, or it does not follow the submission guidelines as listed in
the call for contributions, this is a reason for rejection.
- Technical Depth. If a submission is trivial, this is a reason for
rejection. However, there is no "minimum level" of technical depth required.
- Scope. If a submission is out of scope, this is a reason for rejection.
However, we wish to be inclusive in our interpretation of scope, which
includes but is not limited to the list of topics in the call for
contributions.

==========
Proceedings
==========

EuroCG does not have formally reviewed proceedings. A booklet of abstracts,
without ISBN, will be accessible online on the website for the benefit of
the community and must be regarded as a collection of preprints rather than
a formally reviewed selection of papers. Results presented at EuroCG are
expected to appear in other conferences with formal proceedings and/or in
journals. In particular, papers that have been submitted to other formally
reviewed conferences are eligible for presentation at EuroCG, assuming they
have not been presented at a conference or published in a journal by the
time of the conference. Authors of selected papers will be invited to
submit extended versions to a special issue of the Computational Geometry:
Theory and Applications journal.

Authors of accepted submissions are expected to present their work at the
conference (either in-person or online). Failure to do so may result in
removal of the contribution from the abstract booklet and conference
website.

================
Program Committee
================

Peyman Afshani, Aarhus University, DK
Dominique Attali, Université Grenoble Alpes, FR
Martin Balko, Charles University, CZ
Michael Bekos, Universität Tübingen, DE
Sergio Cabello, University of Ljubljana, SI
Éric Colin de Verdière, CNRS, LIGM, Marne-la-Vallée, FR
Sabine Cornelsen, Universität Konstanz, DE
Giordano Da Lozzo, Università degli Studi di Roma Tre, IT
Emilio Di Giacomo, University of Perugia, IT, CO-CHAIR
Stephane Durocher, University of Manitoba, CA
William Evans, The University of British Columbia, CA
Sándor Fekete, TU Braunschweig, DE
Silvia Fernández-Merchant, California State University Northridge, US
Joachim Gudmundsson, The University of Sydney, AU
Philipp Kindermann, Universität Trier, DE
Irina Kostitsyna, TU Eindhoven, NL
Stefan Langerman, Université Libre de Bruxelles, BE
Maarten Löffler, Utrecht University, NL
Fabrizio Montecchiani, University of Perugia, IT, CO-CHAIR
Dömötör Pálvölgyi, Eötvös Loránd University, HU
Chrysanthi Raftopoulou, National Technical University of Athens, GR
Christiane Schmidt, Linköping University, SE
Monique Teillaud, INRIA, Loria, FR
Torsten Ueckerdt, Karlsruhe Institute of Technology, DE
Ryuhei Uehara, Japan Advanced Institute of Science and Technology, JP
Meirav Zehavi, Ben-Gurion University, IL

==================
Organizing Committee
==================

Carla Binucci, University of Perugia, IT
Emilio Di Giacomo, University of Perugia, IT, CO-CHAIR
Luca Grilli, University of Perugia, IT
Fabrizio Montecchiani, University of Perugia, IT, CO-CHAIR
Giacomo Ortali, University of Perugia, IT
Alessandra Tappini, University of Perugia, IT

[DMANET] online resources for DCs - OR responsibility - creativity - optimization (by IFORS)

OR Online Resources for Developing Countries
- the materials may become helpful

The aim of the IFORS Developing Countries Online Resources page is to offer the OR worker all publicly-available materials on the topic of OR for Development. It also aims to provide a venue for people who are working in the area to share their completed or in-process work, learn from others, and stimulate comments and discussions on the work. Regarding IFORS Developing Countries OR resources website, its regular updates - and your possible submission of "free" (not copyright protected) material, you might occasionally visit

[ http://ifors.org/developing_countries/index.php?title=Main_Page | http://ifors.org/developing_countries/index.php?title=Main_Page ]

With this open resources page we aim to make research and application results better accessible to the many friends in the Developing Countries. We would be glad about interest.

Contributions from art and science, communication and education sectors are warmly welcome by our community which has very little access to emerging documents on arts and sciences, research, design and development.

"Operational Research" (OR) is the discipline of applying advanced analytical methods to help make better decisions. By using techniques such as problem structuring methods and mathematical modelling to analyze nontrivial situations, Operational Research gives executives the power to make more effective decisions and build more productive systems.

The International Federation of Operational Research Societies (IFORS; ) is an almost 60-year old organization which is currently composed of 51 national societies. Regional Groups of IFORS are: ALIO (The Latin American Ibero Association on Operations Research), APORS (The Association of Asian-Pacific Operational Research Societies), EURO (The Association of European Operational Research Societies), NORAM (The Association of North American Operations Research Societies). IFORS conferences are taking place every three years. On IFORS 2021, Seoul, South Korea, August 22-27, 2021, please refer to

[ http://ifors.org/ | http://ifors.org/ ] [ http://www.ifors2020.kr/ | http://www.ifors2020.kr/ ]

With kind regards,
best wishes,
Gerhard-Wilhelm Weber

[ mailto:gerhard.weber@put.poznan.pl | gerhard.weber@put.poznan.pl ]

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

Theory Announcements

Thursday, October 7, 2021

[DMANET] Registration (virtual event): Reachability Problems RP 2021

[DMANET] Oct 14th 2021, DEON Seminar Series – opening talk by Marek Sergot

Wednesday, October 6, 2021

[DMANET] New Online Seminar "The Vinberg Distinguished Lecture Series"

[DMANET] Professor position (W3) "Mathematics of Data Science"

[DMANET] Final CFP Deadline Extension: October 20, Annual Conferences, Publication in Springer LNNS Series (Scopus Indexed)

[DMANET] Final CFP - 2nd Workshop on Evolutionary and Population-based Optimization (WEPO 2021)

[DMANET] Postdoc Position in Formal Verification, University of Stuttgart, Germany

[DMANET] CP21 Conference - Discover the program !

Tuesday, October 5, 2021

[DMANET] Deadline Extension: October 20, Annual Conferences, Publication in Springer LNNS Series (Scopus Indexed)

Monday, October 4, 2021

[DMANET] Fourth Call for Papers: EvoCOP 2022 - The 22nd European Conference on Evolutionary Computation in Combinatorial Optimisation

[DMANET] Lecturer/Senior Lecturer Positions in Business Analytics

[DMANET] Lecturer positions - several openings

Sunday, October 3, 2021

[DMANET] Hertz Chair (W3, full professorship) at the University of Bonn

[DMANET] ADT-21 PhD Day [Final call for abstracts]

Saturday, October 2, 2021

[DMANET] postdoctoral positions at IRIF, Paris, France

[DMANET] Algorithmic Decision Theory (ADT) 2021: Second Call for Participation

Friday, October 1, 2021

[DMANET] Ph.D. position on Public Transport Optimization at the University of Pisa, deadline October 15

[DMANET] Ph.D. position on Energy Optimization at the University of Pisa, deadline October 15

[DMANET] SAMSN 2021 CFP:The International Workshop on Sentiment Analysis and Mining of Social Networks , Gandia, Spain. December 6-9, 2021.

[DMANET] Postdoctoral Researcher in TCS at the University of Leeds (deadline 10.10.2021)

[DMANET] Call for Contributions: 38th European Workshop on Computational Geometry (EuroCG 2022)

[DMANET] online resources for DCs - OR responsibility - creativity - optimization (by IFORS)

Mailing Lists

Search This Blog

Blog Archive

Thursday, October 7, 2021

Wednesday, October 6, 2021

Tuesday, October 5, 2021

Monday, October 4, 2021

Sunday, October 3, 2021

Saturday, October 2, 2021

Friday, October 1, 2021

Mailing Lists

Subscribe To

Search This Blog

Blog Archive