[DMANET] Full-time PhD position at Telecom SudParis (France)

***Full-time PhD position at Telecom SudParis (France)***

Telecom SudParis (Graduate school of engineering, France)
invites applications for a full-time PhD student position.
This is a 3-year PhD studentship open to candidates of any
nationality.

The position involves the design, theoretical analysis and
implementation of optimization methods for variable
selection in statistics.

We are looking for a highly motivated candidate with a
strong background in mathematics and computer science.
He/She should have recently completed a master's degree
or should be about to complete it. The position should
start in September or October 2020.

An application should be sent by email to both contacts
reported at the end of this message and should include:

-a CV
-a letter of motivation
-transcripts
-the names and contact information of two references.

Deadline for applications is May 27, 2020.

Telecom SudParis ( [ https://www.telecom-sudparis.eu/en/ | https://www.telecom-sudparis.eu/en/ ] ) is
located about 30 km south of Paris. It belongs to the
'Institut Polytechnique de Paris' ( [ https://www.ip-paris.fr/en/home-en/ | https://www.ip-paris.fr/en/home-en/ ] ),
a leading educational institution both in France and
internationally.

For questions regarding this position, please contact :
Walid Ben-Ameur ( walid.benameur@telecom-sudparis.eu ), and
José Neto ( jose.neto@telecom-sudparis.eu )

**********************************************************
*
* 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] Reminder: Next talk in Frontiers of Parameterized Complexity on May 07, 2020 by Jason Li

This is a reminder for this week's talk in the ongoing online seminar
series on Frontiers of Parameterized Complexity. More details about
the seminar series can be found here:
https://frontpc.blogspot.com/2020/04/talks-schedule.html

This week's talk will be held on May 07, 2020 at 17:00 GMT+2.

The link to join the meeting on Zoom is https://uib.zoom.us/j/4231169675
Meeting ID: 423 116 9675
Password: Name of the W[1]-complete problem, 6 letters, all capital.
Also known as a set of pairwise adjacent vertices.

Speaker: Jason Li, CMU
Title: Detecting Feedback Vertex Sets of Size k in O*(2.7^k) Time

Abstract: In the Feedback Vertex Set problem, one is given an
undirected graph $G$ and an integer $k$, and one needs to determine
whether there exists a set of $k$ vertices that intersects all cycles
of $G$ (a so-called feedback vertex set). Feedback Vertex Set is one
of the most central problems in parameterized complexity: It served as
an excellent test bed for many important algorithmic techniques in the
field such as Iterative Compression~[Guo et al. (JCSS'06)], Randomized
Branching~[Becker et al. (J. Artif. Intell. Res'00)] and
Cut\&Count~[Cygan et al. (FOCS'11)].

In particular, there has been a long race for the smallest dependence
$f(k)$ in run times of the type $O^\star(f(k))$, where the $O^\star$
notation omits factors polynomial in $n$. This race seemed to be run
in 2011, when a randomized $O^\star(3^k)$ time algorithm based on
Cut\&Count was introduced.

In this work, we show the contrary and give a $O^\star(2.7^k)$ time
randomized algorithm. Our algorithm combines all mentioned techniques
with substantial new ideas: First, we show that, given a feedback
vertex set of size $k$ of bounded average degree, a tree decomposition
of width $(1-\Omega(1))k$ can be found in polynomial time. Second, we
give a randomized branching strategy inspired by the one from~[Becker
et al. (J. Artif. Intell. Res'00)] to reduce to the aforementioned
bounded average degree setting. Third, we obtain significant run time
improvements by employing fast matrix multiplication.

For more details please contact one of the following.

Roohani Sharma: roohani@imsc.res.in
Saket Saurabh: saket@imsc.res.in
Fedor Fomin: Fedor.Fomin@uib.no

Best regards and cheers!

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

[DMANET] Call for papers - MAES@ICPR2020 workshop - UPDATES

MAES2020 workshop at ICPR2020

---===== Apologies for multiple posting =====---
Please distribute this call to interested parties
_______________________________________________________________________

Machine Learning Advances Environmental Science (MAES@ICPR2020)

workshop at the
25th International Conference on Pattern Recognition (ICPR2020)
Milan, Italy, January 10-15, 2021

/// Submission deadline: 10 October 2020 ///

>>> https://sites.google.com/view/maes-icpr2020/ <<<
_______________________________________________________________________


=== Aim & Scope ===

Environmental data are growing steadily in volume, complexity and
diversity to Big Data mainly driven by advanced sensor technology.
Machine learning can offer superior techniques for unravelling
complexity, knowledge discovery and predictability of Big Data
environmental science.

The aim of the workshop is to provide a state-of-the-art survey of
environmental research topics that can benefit from Machine Learning
methods and techniques. To this purpose the workshop welcomes papers on
successful environmental applications of machine learning and pattern
recognition techniques to diverse domains of Environmental Research,
for instance, recognition of biodiversity in thermal, photo and acoustic
images, natural hazards analysis and prediction, environmental remote
sensing, estimation of environmental risks, prediction of the
concentrations of pollutants in geographical areas, environmental
threshold analysis and predictive modelling, estimation of Genetical
Modified Organisms (GMO) effects on non-target species.

The workshop will be the place to make an analysis of the advances of
Machine Learning for the Environmental Science and should indicate the
open problems in environmental research that still have not properly
benefited from Machine Learning.

Extended papers of this workshop will be published as a special issue in
the journal of Environmental Modelling and Software, Elsevier.


=== Important Dates ===

- 10 October 2020 - workshop submission deadline
- 10 November 2020 - author notification
- 15 November 2020 - camera-ready submission
- 1 December 2020 - finalized workshop program


=== Organizers ===

Francesco Camastra, Universita' di Napoli Parthenope, Italy
Friedrich Recknagel, University of Adelaide, Australia
Antonino Staiano, Universita' di Napoli Parthenope, Italy


== Publicity chair ==

Fabio Bellavia, Universita' di Palermo, Italy

_______________________________________________________________________

Contacts: antonino.staiano@uniparthenope.it
francesco.camastra@uniparthenope.it

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

[DMANET] Call for papers - FAPER2020 workshop at ICPR2020 - UPDATES

FAPER2020 workshop at ICPR2020

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

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

workshop in conjunction with the
25th International Conference on Pattern Recognition (ICPR2020)
Milan, Italy, January 11, 2021

>>> https://sites.google.com/view/faper-workshop/ <<<

*** Submission deadline: October 10, 2020 ***

- Submission link: https://easychair.org/conferences/?conf=faper2020 -
_______________________________________________________________________


=== Aim & Scope ===

Cultural heritage, in particular fine art, has invaluable importance for
the cultural, historic, and economic growth of our societies. Fine art
is developed primarily for aesthetic purposes, and it is mainly
concerned with paintings, sculptures, and architectures. In the last few
years, due to technology improvements and drastically declining costs, a
large-scale digitization effort has been made, leading to a growing
availability of large digitized fine art collections. This availability,
along with the recent advancements in pattern recognition and computer
vision, has opened new opportunities for computer science researchers to
assist the art community with automatic tools to analyse and further
understand fine arts. Among the other benefits, a deeper understanding
of fine arts has the potential to make them more accessible to a wider
population, both in terms of fruition and creation, thus supporting the
spread of culture.

The ability to recognize meaningful patterns in fine art inherently
falls within the domain of human perception, and this perception can be
extremely hard to conceptualize. Thus, visual-related features, such as
those automatically learned by deep learning models, can be the key to
tackling problems of extracting useful representations from low-level
colour and texture features. These representations can assist in various
art-related tasks, ranging from object detection in paintings to
artistic style categorization, useful for examples in museum and art
gallery websites.

The aim of the workshop is to provide an international forum for those
who wish to present advancements in the state of the art, innovative
research, ongoing projects, and academic and industrial reports on the
application of visual pattern extraction and recognition for the better
understanding and fruition of fine arts. The workshop solicits
contributions from diverse areas such as pattern recognition, computer
vision, artificial intelligence and image processing.


=== Topics ===

Topics of interest include, but are not limited to:
- Application of machine learning and deep learning to cultural heritage
- Computer vision and multimedia data
- Generative adversarial networks for artistic data
- Augmented and virtual reality for cultural heritage
- 3D reconstruction of historical artifacts
- Historical document analysis
- Content-based retrieval in the art domain
- Speech, audio and music analysis from historical archives
- Digitally enriched museum visits
- Smart interactive experiences in cultural sites
- Projects, products or prototypes for cultural heritage restoration,
preservation and fruition


=== Important Dates ===

- October 10th 2020 - workshop submission deadline
- November 10th 2020 - author notification
- November 15th 2020 - camera-ready submission
- December 1st 2020 - finalized workshop program


=== Submission Guidelines ===

Submissions must be formatted in accordance with the Springer's Computer
Science Proceedings guidelines. The following paper categories are welcome:
- Full papers (12-15 pages, including references)
- Short papers (6-8 pages, including references)

Accepted manuscripts will be included in the ICPR 2020 Workshop
Proceedings Springer volume. Once accepted, at least one author is
expected to attend the event and orally present the paper.


=== FAPER 2020 Special Issue ===

Authors of selected papers will be invited to extend and improve their
contributions in the Special Issue "Selected Papers from FAPER 2020" of
the Journal of Imaging (MDPI).

- https://www.mdpi.com/journal/jimaging/special_issues/faper2020 -


=== Organizing committee ===

Gennaro Vessio (University of Bari, Italy)
Giovanna Castellano (University of Bari, Italy)
Fabio Bellavia (University of Palermo, Italy)


=== Venue ===

The workshop will be hosted at Milan Congress Center (Mi.Co.), which is
located in Piazzale Carlo Magno 1, Milan, Italy.

_________________________________________________________

Contacts: gennaro.vessio@uniba.it
giovanna.castellano@uniba.it
fabio.bellavia@unipa.it

Workshop: https://sites.google.com/view/faper-workshop/
ICPR2020: https://www.micc.unifi.it/icpr2020/
**********************************************************
*
* 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] ISAAC 2020: First Call for Papers

The 31st International Symposium on Algorithms and Computation
December 14--18, 2020

The 31st International Symposium on Algorithms and Computation (ISAAC 2020) will be held online on December 14--18, 2020
due to the COVID-19 pandemic.  Authors of accepted papers are expected to present their work at the symposium
(preferably by a live online talk, or at the very least by a pre-recorded talk).  To allow for interactions, authors are
also encouraged to be present at the break that follows the session of their talks.  The detailed online conference
format will be announced in due time.

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

Submission deadline: June 29, 2020 (Anywhere on Earth)
Notification: August 31, 2020
Camera-ready version: September 28, 2020
Registration: October 26, 2020

========Topics========

The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. Papers
presenting original research in the areas of algorithms and theory of computation are sought. Papers in relevant applied
areas are also welcomed. The topics include, but are not limited to:

     Algorithmic game theory
     Algorithms and data structures
     Approximation algorithms
     Combinatorial optimization
     Computational biology
     Computational complexity
     Computational geometry
     Cryptography
     Experimental algorithms
     Graph drawing and graph algorithms
     Internet algorithms
     Online algorithms
     Parallel and distributed algorithms
     Quantum computing
     Randomized algorithms.

========Submission Guidelines========

Authors are invited to submit an extended abstract or full paper of at most 12 pages with an optional appendix. The
submission should contain a scholarly exposition of ideas, techniques, and results, including motivation and a clear
comparison with related work. They must not be submitted simultaneously to another conference with refereed proceedings
or to a journal. Drafts which contain essentially the same results as papers under review in other conferences or
journals cannot be submitted to ISAAC 2020. Exempted are workshops and conferences without formal proceedings, but
possibly with handouts containing short abstracts. At least one author of an accepted paper is required to present the
paper at the conference as a registered participant.

Papers must be formatted in LaTeX, using the LIPIcs style file, which is available at
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/. The maximum length of the paper (including
title, the list of authors, abstract, references, but excluding the optional appendix) is 12 pages.  Use the LIPIcs
style file as given; for instance, do not change the margin size or the font, or make a separate title page, or create
new latex environments.

Proofs omitted due to space constraints must be placed in an appendix that is to be read by the program committee
members at their discretion and will not be published as part of the proceedings. Thus the paper without the appendix
should be able to stand on its own.

Submissions are due on June 29, 2020 (Anywhere on Earth) . Only electronic submission will be allowed via the easychair
submission server http://www.easychair.org/conferences/?conf=isaac2020.

These guidelines are strict: papers failing to adhere to the guidelines (by not providing the omitted proofs in an
appendix, being more than 12 pages, or not being in LIPIcs format) will be rejected without consideration of their merits.

========Availability of Full Versions========

Upon acceptance, if there is an omitted detail in the camera-ready version for ISAAC, authors are encouraged to upload a
full version of the accepted paper to a preprint server, e.g., arXiv, ECCC, or an e-repository at
universities/institutes, so that interested readers can access the full proofs that are omitted in ISAAC proceedings.
When authors refer to omitted proofs in ISAAC proceedings, citation to the accessible full version is desired. However,
uploading a full version is not mandatory for authors.

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

The Best Paper and the Best Student Paper will be awarded. A paper is eligible for the Best Student Paper if all authors
are full-time students at the time of submission. To indicate that a submission is eligible, please mark the checkbox
"Eligible for best student paper" in the web form on the submission server.

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

Yixin Cao (co-chair, Hong Kong Polytechnic University)
Siu-Wing Cheng (co-chair, Hong Kong University of Science and Technology)
Minming Li (co-chair, City University of Hong Kong)
Jian-Jia Chen (University of Dortmund)
Kyle Fox (University of Texas at Dallas)
Arijit Ghosh (Indian Statistical Institute)
Nikolai Gravin (Shanghai University of Finance and Economics)
Wing-Kai Hon (National Tsinghua University)
Seok-Hee Hong (University of Sydney)
Sungjin Im (University of California at Merced)
Jesper Jansson (Hong Kong Polytechnic University)
Zhengfeng Ji (University of Technology Sydney)
Naoyuki Kamiyama (Kyushu University)
O-Joung Kwon (Incheon National University)
Lap Chi Lau (University of Waterloo)
Asaf Levin (Technion)
Daniel Lokshtanov (University of California Santa Barbara)
Yoshio Okamoto (University of Electro-Communications)
Sang-il Oum (Institute for Basic Science and KAIST)
Richard Peng (Georgia Institute of Technology)
Michał Pilipczuk (University of Warsaw)
Sheung-Hung Poon (University of Nottingham at Ningbo)
Kirk Pruhs (University of Pittsburgh)
Shang-Hua Teng (University of Southern California)
Ryuhei Uehara (Japan Advanced Institute of Science and Technology)
Kevin Verbeek (Eindhoven University of Technology)
Antoine Vigneron (Ulsan National Institute of Technology)
László Végh (London School of Economics and Political Science)
Magnus Wahlström (Royal Holloway, University of London)
Prudence Wong (University of Liverpool)

**********************************************************
*
* 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] WABI 2020 -- Conference entirely online -- Deadline extended

WABI 2020 Call for Papers
20th Workshop on Algorithms in Bioinformatics
Online, September 7-9 2020
http://algo2020.di.unipi.it/WABI2020

Deadline extended to May 18!
The conference will be held entirely online.

Scope

WABI is an international Conference covering research in algorithmic work in
bioinformatics, computational biology and systems biology. The emphasis is
mainly on discrete algorithms and machine-learning methods that address
important problems in molecular biology, that are founded on sound models, that
are computationally efficient, and that provide evidence of their potential
usefulness in practice, preferably by testing on appropriately chosen simulated
or real datasets. The goal is to present recent research results, including
significant work-in-progress, and to identify and explore directions of future
research.

COVID-19 Arrangements for ALGO 2020

The Organization Committee (OC) of ALGO 2020 is aware of the pandemic situation
for the COVID-19 outbreak. The OC is preparing to run ALGO 2020 conferences in
a virtual way. Meanwhile, the scientific activity of the Programme Committees
of the ALGO conferences has not been suspended or stopped: peer review,
accepted papers, camera ready and proceedings will be accomplished as usual.

Paper Submission

Submissions must be formatted in LaTeX using the LIPIcs style and must not
exceed 15 pages excluding references. For details please see the information
for authors. Each paper must contain a succinct statement of the issues and of
their motivation, a summary of the main results, and a brief explanation of
their significance, all accessible to non-specialist readers. All submissions
must be made online, through the EasyChair submission system, at:

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

For scientific information, please contact one of the WABI program committee
co-chairs, Nadia Pisanti (pisanti@di.unipi.it) or Carl Kingsford
(carlk@cs.cmu.edu). For organizational information, please refer to the ALGO
2020 website.

You will need to register on the EasyChair web site before submitting. A
standard .pdf file must be received by May 18, 2020 (time zone of your choice)
in order for your submission to be considered. Simultaneous submission to
another conference with published proceedings is not permitted, but
simultaneous submission to a journal is allowed, provided that the authors
notify the program chairs; if published in a journal, such a contribution will
be published as a short abstract in the WABI proceedings. Depositing in
arxiv.org or biorxiv.org is allowed.

By submitting a paper the authors acknowledge that in case of acceptance, in
order to have the paper included in the conference proceedings, at least one of
the authors must register at ALGO 2020 or WABI 2020, attend the conference, and
present the paper.

Proceedings

Accepted papers will be published in WABI proceedings in the LIPIcs Leibniz
International Proceedings in Informatics.

Selected papers will be invited for an extended publication in a thematic
series in Algorithms for Molecular Biology (AMB).

IMPORTANT DATES

Paper submission deadline: May 18, 2020
Notification of paper acceptance: June 29, 2020
Final version of accepted paper due: July 10, 2020
Conference: September 7 - 9, 2020

Program Committee

Tatsuya Akutsu, Kyoto University, Japan
Carl Barton, EBI, UK
Anne Bergeron, Universite du Quebec a Montreal, Canada
Paola Bonizzoni, Università di Milano-Bicocca, Italy
Christina Boucher, University of Florida, USA
Alessandra Carbone, Université Pierre et Marie Curie, France
Rayan Chikhi, Pasteur Institute, France
Lenore Cowen, Tufts University, USA
Gianluca Della Vedova, University of Milano-Bicocca, Italy
Nadia El-Mabrouk, University of Montreal, Canada
Anna Gambin, Warsaw University, Poland
Raffaele Giancarlo, University of Palermo, Italy
Dan Gusfield, UC Davis, USA
Bjarni Halldorsson, deCODE genetics and Reykjavik University, Iceland
Katharina Huber, University of East Anglia, UK
Carl Kingsford, Carnegie Mellon University, USA (co-chair)
Gunnar Klau, Heinrich Heine University Düsseldorf, Germany
Gregory Kucherov, University of Paris Est, France
Ritu Kundu, National University of Singapore, Singapore
Manuel Lafond, Université de Sherbrooke, Canada
Stefano Lonardi, University of California Riverside, USA
Veli Makinen, University of Helsinki, Finland
Guillaume Marçais, Carnegie Mellon University, USA
Tobias Marschall, Heinrich Heine University, Düsseldorf, Germany
Bernard Moret, Ecole Polytechnique Fédérale de Lausanne, Switzerland
Vincent Moulton, University of East Anglia, UK
Luay Nakhleh, Rice University, USA
William Stafford, Noble University of Washington, USA
Nadia Pisanti, University of Pisa, Italy (co-chair)
Solon Pissis, CWI Amsterdam, the Netherlands
Alberto Policriti , University of Udine, Italy
Mihai Pop, University of Maryland, USA
Teresa Przytycka NCBI, NIH, USA
Sven Rahmann, University of Duisburg-Essen, Germany
Knut Reinert, FU Berlin, Germany
Eric Rivals, LIRMM - Université de Montpellier, France
Giovanna Rosone, University of Pisa, Italy
Marie-France Sagot, INRIA Rhône-Alpes, France
Alexander Schoenhuth, Bielefeld University, Germany
Jens Stoye, Bielefeld University, Germany
Krister Swenson, CNRS & Université de Montpellier, France
Sharma Thankachan, University of Central Florida, USA
Alexandru Tomescu, University of Helsinki, Finland
Hélène Touzet, CNRS, CRIStAL Lille, France
Esko Ukkonen, University of Helsinki, Finland
Tomas Vinar, Comenius University, Slovakia
Tandy Warnow, University of Illinois at Urbana-Champaign, USA
Prudence W.H.Wong, University of Liverpool, UK
Louxin Zhang, National University of Singapore, Singapore
Michal Ziv-Ukelson, Ben Gurion University of the Negev, Israel
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Online IPCO 2020 Conference and Summer School

*Registration for Online IPCO 2020
<http://www.lse.ac.uk/ipco-2020/Registration/Registration>* is now open!

Due to the coronavirus epidemic, IPCO 2020 Conference and Summer School
will only take place online, via Zoom, on the originally planned dates. The
conference and the summer school are now free to attend. However, all
attendees are required to register ahead of time by June 1. More
information shall be posted on the website <http://www.lse.ac.uk/ipco-2020>
and emailed to registered participants.

*IPCO 2020 CONFERENCE*

*The 21st Conference in Integer Programming and Combinatorial Optimization*
*Dates:* June 8-10, 2020 (M/Tue/W)
*Time zone:* London, UK (British Summer Time)
*Registration:* follow this link
<http://www.lse.ac.uk/ipco-2020/Registration/Registration>
*Deadline:* June 1, 2020

*IPCO 2020 SUMMER SCHOOL*

As usual, there will be a summer school focusing on topics in Integer
Programing and Combinatorial Optimization prior to the conference.

*IPCO 2020 Summer School*
*Dates:* June 6-7, 2020 (Sat/Sun)
*Time zone:* London, UK (British Summer Time)
*Registration:* same link
<http://www.lse.ac.uk/ipco-2020/Registration/Registration> as above

*LECTURERS:* We are thrilled to announce that the lecturers this year are

*Santanu Dey *(Some convexification techniques in global optimization)
*Bertrand Guenin *(Packing and covering)
*Laura Sanità *(Diameter of polytopes: algorithmic and combinatorial
aspects)

*------------------------------------------------------*

On behalf of the local organizers at LSE:

Ahmad Abdi
Neil Olver
László Végh
Giacomo Zambelli

**********************************************************
*
* 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] Tenure Track Position Delft Institute of Applied Mathematics

Delft Institute of Applied Mathematics, Delft Institute of Technology, 
is offering a Tenure Track position in Optimization or Discrete
Mathematics. Deadline for application is *May 31, 2020*. For more
information, see the following link:

https://www.academictransfer.com/en/291555/assistant-professor-of-optimization-or-discrete-mathematics/

Karen Aardal

**********************************************************
*
* 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] Information about PhD Programmes (OR curriculum) - 2020/2021 - University of Naples

The Operations Research Group of the Department of Electrical Engineering a=
nd Information Technology, University =93Federico II=94 of Naples, announce=
s the following three years PhD programmes:=20

1. THE PHD PROGRAMME IN- INFORMATION TECHNOLOGY AND ELECTRICAL ENGINEERING =
(ITEE)
http://dottorato-itee.dieti.unina.it/index.php/it/=20

2. The PhD Programme in
- INFORMATION AND COMMUNICATION TECHNOLOGY FOR HEALTH (ITCH)

http://icth.dieti.unina.it/index.php/it/=20

Both the PhD programmes include a curriculum in Operations Research for stu=
dents with background in optimization and computer science. The OR topics o=
f the PhD positions will be both methodological and applicative, with parti=
cular emphasis on integer/network optimization and data science for logisti=
cs, transportation, communication networks and healthcare systems.
The official announcement of the PhD programmes is now available at the add=
ress:

http://www.unina.it/didattica/post-laurea/dottorati-di-ricerca/english-vers=
ion=20

THE ANNOUNCEMENT REPORTS ALL THE REQUIRED BUREAUCRATIC AND FORMAL REQUESTS.=
THE DEADLINE IS ON MAY 26TH, 2020, 12.00 (CET).=20
http://www.unina.it/documents/11958/21938158/36th.cycle_call.for.applicatio=
n.pdf=20

The selection for all the positions will be based on assessment of the qual=
ifications and oral examination (both made remotely).

- INFORMATION TECHNOLOGY AND ELECTRICAL ENGINEERING (ITEE).

1) 12 positions for Italian and foreign studentsn.=20
2) 1 position for foreign students, graduated out of Italy and not living i=
n Italy.

- INFORMATION AND COMMUNICATION TECHNOLOGY FOR HEALTH (ITCH)

1) 13 positions for Italian and foreign students.

2) 2 positions for foreign students, graduated out of Italy and not living =
in Italy.

The interested candidates are invited to send an email with their CV and a =
description of their interests to Antonio Sforza (antonio.sforza@unina.it),=
Maurizio Boccia (maurizio.boccia@unina.it) and Claudio Sterle (claudio.ste=
rle@unina.it), for a preliminary assessment only aimed at giving them sugge=
stions. =20

More detailed information about the available positions can be found at the=
address:

http://www.unina.it/documents/11958/21938158/36th.cycle_call.for.applicatio=
n_attach.A.pdf=20

Best regards,
Antonio Sforza (Full Professor in OR)
Maurizio Boccia (Associate Professor in OR)
Claudio Sterle (Associate Professor in OR)

**********************************************************
*
* 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] 2 PhD Positions in Algorithmic Graph Theory

We announce openings for up to 2 PhD positions in Algorithmic Graph
Theory, each for 2-3 years. The positions begin at the end of 2020 and
come with social security and generous travel money. The competitive
salary depends on the applicants qualification and is in the range
66%-100% E13 (about 30.000-50.000 Euro/year gross).

The PhD students will join the project "Resilient Broadcasting via
Independent Spanning-Trees" and be supervised by Jens M. Schmidt. The
research focus will be on algorithmic graph theory for connectivity
problems in graphs. As this is at the intersection of discrete
mathematics and theoretical computer science, candidates should have an
excellent background in structural graph theory and/or efficient
algorithms. Solid English mathematical writing skills and basic teaching
experience are desirable.

Applicants should send their application until July 10th by email to
jens.schmidt@tu-ilmenau.de as a single PDF-file containing
- curriculum vitae (including a list of publications if there are any)
- a list of courses and grades, and a scan of the diploma
- a summary of the (possibly preliminary) thesis (max. 1 page)
- names and emails of one or two references (including thesis advisor)

Informal inquiries about the positions can be made by writing to the
same email address.

--
Jun.-Prof. Dr. Jens M. Schmidt
TU Ilmenau
www.tu-ilmenau.de/dma/team/jens-m-schmidt
**********************************************************
*
* 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] SCIP Online Workshop - 3rd and 4th June 2020

I am happy to announce the SCIP Online Workshop that will be held on the 3rd and 4th June 2020.

Day 1 will consist of an SCIP introduction, a plenary talk and parallel Meet the Developers Q&A sessions. Day 2 will have 4 talks from the SCIP community and the developers on current research using SCIP. The schedule for the workshop and some preliminary details can be found at https://scip.zib.de/workshop2020/.

We would like contributions from the SCIP community for the talks on Day 2 of the workshop. Please send an email to SCIPonlineworkshop2020@exeter.ac.uk by 18th May if you would like to contribute.

Please register by the 29th May for the SCIP workshop by sending an email to SCIPonlineworkshop2020@exeter.ac.uk. The details on how to connect will be provided in the days leading up to the workshop. Please register with an institutional email address, otherwise your registration may not be accepted.

I look forward to seeing you there.

Regards,

Stephen Maher

**********************************************************
*
* 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] Call for Papers - ACM MobiArch 2020 (Submission deadline: May 15, 2020)

[Please accept our apologies if you receive multiple copies of this Call
for Papers.]
-------------------------------------------------------------------------------

                            CALL FOR PAPERS

      MobiArch 2020: 15th Workshop on Mobility in the Evolving Internet
Architecture

                      In conjunction with ACM MobiCom 2020

                   21st September, 2020, London, United Kindom

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

IMPORTANT DATES
Deadline for submissions:    15th May, 2020
Notification of acceptance:    30th June, 2020
Camera-ready Papers Due:    31st July, 2020
MobiArch Workshop Date:        21st September, 2020

SCOPE
MobiArch 2020 workshop will focus on the research and development of
network and computing architectures for next generation mobile Internet.
It will cover comprehensive and holistic, design, development and
evaluation of novel architectures for mobile Internet systems, to enable
new mobile services of broader importance (such as connected autonomous
vehicles and systems, machine learning applications, augmented reality
and virtual reality). Under the context of architectural research for
the evolving mobile internet, the workshop will also examine, exploit
and integrate the latest advances in mobile communications, mobile
computing, networking technologies and network control.

MobiArch 2020 solicits submissions of original research from academia
and industry that tackle the challenges and exploit recent advances in
architectures and technologies for mobile Internet systems. In addition,
it welcomes work-in-progress and position papers that describe original
ideas, present new directions, or have the potential to generate
insightful discussion.

TOPICS OF INTEREST

We invite submissions covering the aspects around system architecture,
networking and computing support for the evolving mobile Internet (e.g.
terahertz and cell-free communication, integrated space-earth networks,
massive IoT, edge computing, autonomous cars and systems, distributed
artificial intelligence, and network virtualization), including but not
limited to:

- Novel architectures and protocols for mobility support at Internet
protocol stack
- Mobile networking and computing architectures for 4G/5G, beyond 5G and 6G
- Mobile network architecture design and management with data analytics
and machine learning
- Joint communication, computing, networking and computing architecture
design
- Software defined and cloud–assisted mobile networking
- Network virtualization in mobile Internet architecture
- Mobile internet architectures and technologies for connected
autonomous vehicles, UAV, cooperative ITS
- Mobile internet architecture for massive and low-power IoT access, and
smart cities
- Mobile Internet architectures and protocols for mobile edge
computing/intelligence, virtual and augmented reality
- Mobile data sensing and fusion for big M2M data
- Information-Centric Networking for mobile networks and mobile computing
- Seamless mobility and mobility-prediction-enhanced techniques in
heterogeneous networks
- Future Internet architecture for efficient mobility support
- Security and privacy technologies such as block-chains for mobile
Internet and computing
- Cognitive network design for mobile systems and applications
- Social, economic, scalability, and deployment issues for new mobile
internet architectures
- Field trials, deployment and evaluation of innovative mobile Internet
architectures

SUBMISSION
All paper submissions will be handled electronically via the EasyChair
submission website. The submission Web page for MobiArch'20 is
https://easychair.org/conferences/?conf=mobiarch20

Authors should prepare a PDF version of their full paper. Submitted
papers must be no more than 6 pages long (for regular papers) and no
more than 3 pages long (for position papers), in two columns and with 10
point or larger font size, and must fit properly on US "Letter"-sized
paper (8.5x11 inches). Margins should be of 1 inch on all edges (top,
bottom, left, and right) of each page.

Please direct any questions about the paper submission process to the
Workshop Chairs, Dr Jianhua He (j.he@essex.ac.uk) and Dr Aline Carneiro
Viana (aline.viana@inria.fr).

Workshop Chairs

- Jianhua He, University of Essex, UK
- Aline Carneiro Viana, Inria, France

Steering Committee

- Jon Crowcroft, University of Cambridge
- Xiaoming Fu, University of Goettingen
- Katherine Guo, Bell Labs Research
- Michele Nogueira, Federal Univ. of Parana
- Stefano Secci, Cnam, Paris

**********************************************************
*
* 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: Clemson University School of Mathematical and Statistical Sciences

Applications still being acepted

The Clemson School of Mathematical & Statistical Sciences (SMSS) seeks
to fill an SMSS Postdoctoral
position in Statistics or Operations Research, starting in the Fall
2020 semester. This is a 9 month position
(August 15-May 15) with job duties consisting of teaching two courses
per semester, conducting research,
and light service duties. The appointment is initially for one year but
is renewable for two additional years
provided a satisfactory job performance. The research area is open to
any area of Statistics and/or
Operations Research that is currently an active research area in the
SMSS. Applicants must indicate in
their cover letter which faculty their research overlaps with and who
could serve as their research mentor.
Applications must include a cover letter, curriculum vitae, unofficial
transcript, research statement,
teaching statement, and four letters of reference with at least one
addressing the applicant's
teaching. Applications must be submitted through the following
INTERFOLIO URL:
http://apply.interfolio.com/75455 Applications will be accepted until
the positions have been filled, but
applications received before April 10, 2020 will receive full
consideration.
The SMSS contains two divisions: Mathematics and Statistics &
Operations Research, and includes the
areas of algebra and discrete mathematics, data science, computational
mathematics, operations
research, probability and mathematical statistics, and pure and applied
analysis. The school offers the full
range of Baccalaureate, Master's, and Doctoral degrees. For further
information regarding the school, its
research areas and programs, please visit the web site
http://www.math.clemson.edu.
Clemson University has the highest Carnegie research designation (Very
High, R1), and recently completed
its Clemson Forward plan with strategic focus on advancing our doctoral
programs and strengthening our
research and scholarly impact while still preserving the outstanding
signature undergraduate experience
that is at the heart of Clemson. The Clemson Forward plan directed the
building of a new world-class
College of Science that harnesses the disciplines of Biological
Sciences, Chemistry, Genetics and
Biochemistry, Mathematical and Statistical Sciences, and Physics &
Astronomy to solve tomorrow's
greatest challenges. Clemson Forward has at its core the mission of
inclusive excellence in our students
and faculty that will help Clemson ascend to a top 20 public university
and a model for the 21st Century
land grant university.
Moreover, the University, the College of Science, and the School of
Mathematical and Statistical Sciences
are committed to building a community of inclusive excellence, where
faculty scholars are dedicated to
working and teaching in a multi-cultural environment (
http://www.clemson.edu/inclusion/) We are
particularly interested in receiving applications from women,
underrepresented minorities, and from
those who have experience and/or a commitment toward mentoring students
from diverse backgrounds,
as well as those who have demonstrated a commitment to understanding
the challenges in promoting
diversity and inclusion. In addition, the college is supportive of the
needs of dual career couples.
South Carolina's highest-ranked national university is located at the
foot of the Blue Ridge Mountains and
surrounded by Lake Hartwell and the Clemson Experimental Forest. A top-
25 public university with a
reputation for excellence, Clemson University provides a hands-on
education — in the lab, in theclassroom and in the field. Academic
programs lay the groundwork for innovative research, and real-world
experiences carry forward to rewarding careers. This strikingly
beautiful campus enjoys a temperate and
pleasant climate. We welcome applications and nominations of
outstanding scholar-educators to come
join the Clemson Family.
The College of Science advances the life, physical, and mathematical
sciences as it mobilizes curiosity-
driven faculty and students through innovative academic programs and
research, including
transdisciplinary research at the intersection of many fields.
Clemson University is an AA/EEO employer and does not discriminate
against any person or group on the
basis of age, color, disability, gender, pregnancy, national origin,
race, religion, sexual orientation, veteran
status or genetic information.
--
Matthew Saltzman
School of Mathematical and Statistical Sciences
Clemson University
mjs AT clemson DOT edu

**********************************************************
*
* 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] 14 PhD positions in algorithms and in stochastics (Eindhoven, Amsterdam, Leiden)

14 PhD Positions in Algorithmics and Stochastics, in the NETWORKS project (the Netherlands)

The NETWORKS project is a collaboration of world-leading researchers from four institutions in The Netherlands: TU Eindhoven<https://www.youtube.com/watch?v=Bxx8oosZf9Q&feature=youtu.be>, University of Amsterdam<https://youtu.be/KIZMIdZ0ljo>, Leiden University<https://www.youtube.com/watch?v=3gDfOvufoQQ> and the Centrum Wiskunde & Informatica (CWI)<https://www.youtube.com/watch?v=XCfI7_rLeho>. Research in NETWORKS focuses on stochastics and algorithmics for network problems. NETWORKS offers a highly stimulating research environment and an extensive training program for PhD students.

Recently NETWORKS was awarded a COFUND grant the Marie Skłodowska-Curie Actions, funded by the European Commission. The grant allows NETWORKS to expand its activities by opening positions for an additional 14 PhD students. As a NETWORKS-COFUND PhD student you can define your own PhD project in algorithms or stochastics, in collaboration with your NETWORKS supervisors.
Application deadline
31 May 2020
Contract
full time employment contract for 4 years
Salary indication
from €2.325 to €2.972 in 4 years
Location
The Netherlands (Amsterdam, Eindhoven, Leiden)

Are you interested in the stochastics and algorithmics behind network problems? And would you like to be part of this project with its many activities? Then go to

https://www.thenetworkcenter.nl/Open-Positions/openposition/29/14-PhD-Positions-in-Stochastics-and-Algorithmics

On this website you can find an extensive information package about the positions and possible NETWORKS supervisors, and further details about the application procedure. Applying should also be done through the above website.

**********************************************************
*
* 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] WiL 2020: Final call for contributions

------------------------------------------------------------------------------------------------
Are you a woman working in logic?
Are you planning to participate at FSCD-IJCAR 2020?
Please join us at WiL, give a talk, and enjoy a day with Women in Logic!

Please submit an abstract of 1-2 pages by May 10, 2020 via EasyChair.
This will help us provide an interesting program, with only a light-weight
selection procedure. More information below:
------------------------------------------------------------------------------------------------
Call for Contributions

WiL 2020: 4th Women in Logic Workshop
virtual
30 June 2020

https://sites.google.com/g.uporto.pt/wil2020 <https://sites.google.com/g.uporto.pt/wil2020>
------------------------------------------------------------------------------------------------

Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020"
(https://lipn.univ-paris13.fr/summer-of-love-2020/ <https://lipn.univ-paris13.fr/summer-of-love-2020/>), a joint event on
LOgic and VErification, made of Petri Nets 2020, IJCAR 2020, FSCD 2020,
and over 20 satellite events. Following the decisions regarding the Paris
Nord Summer of LoVe 2020 event, the organisers of WIL 2020 decided to
hold the meeting virtually.

The Women in Logic workshop (WiL) provides an opportunity to increase
awareness of the valuable contributions made by women in the area of
logic in computer science. Its main purpose is to promote the excellent
research done by women, with the ultimate goal of increasing their
visibility and representation in the community. Our aim is to:

- provide a platform for female researchers to share their work and
achievements;
- increase the feelings of community and belonging, especially among
junior faculty, post-docs and students through positive interactions
with peers and more established faculty;
- establish new connections and collaborations;
- foster a welcoming culture of mutual support and growth within the
logic research community.
We believe these aspects will benefit women working in logic and computer
science, particularly early-career researchers.

Previous versions of Women in Logic (Reykjavik, Iceland 2017,
Oxford, UK 2018 and Vancouver, Canada 2019) were very successful
in showcasing women's work and as catalysts for recognition of the
need for change in the community.

Topics of interest include but are not limited to: automata
theory, automated deduction, categorical models and logics,
concurrency and distributed computation, constraint programming,
constructive mathematics, database theory, decision procedures,
description logics, domain theory, finite model theory, formal aspects
of program analysis, formal methods, foundations of computability,
games and logic, higher-order logic, lambda and combinatory calculi,
linear logic, logic in artificial intelligence, logic programming,
logical aspects of bioinformatics, logical aspects of computational
complexity, logical aspects of quantum computation, logical
frameworks, logics of programs, modal and temporal logics, model
checking, probabilistic systems, process calculi, programming language
semantics, proof theory, real-time systems, reasoning about security
and privacy, rewriting, type systems and type theory, and
verification.

INVITED SPEAKERS
* Maribel Fernández (Kings College London)
* Alexandra Silva (University College London)

IMPORTANT DATES
Abstract submission deadline: May 10, 2020
Notification: June 2, 2020

SUBMISSIONS
Abstracts should be written in English (1-2 pages),
and prepared using the Easychair style
(https://easychair.org/publications/for_authors <https://easychair.org/publications/for_authors>).

The abstracts should be uploaded to the WiL 2020 Easychair page
as a PDF file (https://easychair.org/conferences/?conf=wil2020 <https://easychair.org/conferences/?conf=wil2020>)
before the submission deadline of May 10, 2020, anywhere on Earth.

ORGANIZING AND PROGRAM COMMITTEE
* Sandra Alves (Co-chair, University of Porto)
* Amy Felty (University of Ottawa)
* Delia Kesner (Université de Paris)
* Sandra Kiefer (Co-chair, RWTH Aachen University)
* Koko Muroya (RIMS Kyoto University)
* Daniele Nantes (University of Brasília)
* Valeria de Paiva (Samsung Research America)
* Brigitte Pientka (McGill University)
* Sonja Smets (ILLC - University of Amsterdam)
* Ana Sokolova (Co-chair, University of Salzburg)
**********************************************************
*
* 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: IEEE Int. Conferences (ISPA, BDCloud, SocialCom, SustainCom) in Exeter, England, UK, 15-17 October 2020

[Please accept our apologies if you receive multiple copies of this email]



*** IEEE (ISPA-2020, BDCloud-2020, SocialCom-2020, SustainCom-2020
International Conferences ***



To be held in Exeter, England, UK, 15-17 October 2020.



The 18th IEEE International Symposium on Parallel and Distributed
Processing with Applications (ISPA-2020)

https://hpcn.exeter.ac.uk/ispa2020



The 10th IEEE International Conference on Big Data and Cloud Computing
(BDCloud-2020)

https://hpcn.exeter.ac.uk/bdcloud2020



The 13th IEEE International Symposium on Social Computing and Networking
(SocialCom-2020)

https://hpcn.exeter.ac.uk/socialcom2020



The 10th IEEE International Conference on Sustainable Computing and
Communications (SustainCom-2020)

https://hpcn.exeter.ac.uk/sustaincom2020



Sponsored by

IEEE, IEEE Computer Society, and IEEE Technical Committee of Scalable
Computing (TCSC)



IMPORTANT DATES

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



Workshop/Special Session Proposal Due: 1 May 2020

Paper Submission Deadline: 1 June 2020

Authors Notification: 10 August 2020

Camera-Ready Paper Due: 8 September 2020

Early Registration Due: 8 September 2020

Conference Date: 15-17 October 2020



PAPER SUBMISSION GUIDELINE

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

All papers need to be submitted electronically through the conference
websites with PDF format. The materials presented in the papers should not
be published or under submission elsewhere. Each paper is limited to 8
pages (or 10 pages with over length charge) including figures and
references using IEEE Computer Society Proceedings Manuscripts style (two
columns, single-spaced, 10 fonts). You can confirm the IEEE Computer
Society Proceedings Author Guidelines at the following web page:

http://www.computer.org/web/cs-cps/

Manuscript Templates for Conference Proceedings can be found at

https://www.ieee.org/conferences_events/conferences/publishing/templates.html

Once accepted, the paper will be included into the IEEE conference
proceedings published by IEEE Computer Society Press (indexed by EI). The
authors of selected papers will be invited to extend their contributions
for special issues of prestigious journals.

**********************************************************
*
* 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] FOCODILE 2020 - Call for Papers [Extended abstracts only]

FOCODILE 2020
1st International Workshop on Foundations of Consensus and Distributed
Ledgers

Part of DisCoTec 2020, the 15th International Federated
Conference on Distributed Computing Techniques

June 19, 2020, to be held online due to the COVID-19 outbreak

https://www.discotec.org/2020/focodile

----------------
Aim and Scope
----------------
FOCODILE 2020 is a forum to exchange ideas and recent research findings
on theoretical foundations of consensus and blockchain technology.
Topics include, but are not limited to:

Formal models of distributed consensus
Blockchain-specific cryptographic primitives and protocols
Formal verification of blockchain protocols and smart contracts
Byzantine fault tolerance and consensus
Design and analysis of distributed ledgers
Blockchain consensus mechanisms
Privacy and anonymity in cryptocurrencies
Game-theoretic approaches to blockchains
Post-quantum blockchain protocols
Performance and scalability of blockchain systems

------------------------
Submission Guidelines
------------------------
Submissions must be in English and in the form of an extended abstract
of up to 6 pages (+ 2 pages references). All abstracts should be
submitted through Easychair.

Submission link: https://easychair.org/conferences/?conf=focodile2020

A submission should contain original, unpublished work, reporting
results of new, recent, or ongoing research. We also welcome submissions
of abstracts based on work submitted or published elsewhere, provided
that all relevant information is disclosed at submission time.
Contributions from doctoral students and young researchers are
particularly encouraged.

There will be no formal proceedings. Accepted abstracts will be
published on the workshop's webpage (subject to authors' approval).

---------------
Registration
---------------
Extremely low registration fees are in place for accepted papers, while
attendance is free of charge:
https://www.um.edu.mt/events/discotec2020/registration

------------------
Important dates
------------------
May 15, 2020: abstract submission
May 31, 2020: author notification
June 19, 2020: FOCODILE workshop

COVID-19 update
Due to the ongoing COVID-19 outbreak, the authors of accepted papers
will give their talks remotely (or record their talks if they prefer),
and discuss with the conference participants online. More details will
follow.

------------------
Keynote Speaker
------------------
Vassilis Zikas (University of Edinburgh)

--------------------
Program committee
--------------------
Moayad Aloqaily (Carleton University)
Neville Grech (University of Athens and University of Malta)
Aggelos Kiayias (University of Edinburgh)
Nikos Leonardos (National and Kapodistrian University of Athens)
Aris Pagourtzis, co-chair (National Technical University of Athens)
Petros Potikas, co-chair (National Technical University of Athens)
Dimitris Sakavalas (Boston College)
Lewis Tseng (Boston College)

---------
Contact
---------
For additional information, please contact the PC chairs.
**********************************************************
*
* 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] Assistant/Associate Professor Position, Applied Mathematics, Twente

University of Twente
Deptertment of Applied Mathematics

has an opening for 1 new position on the level of assistant or associate professor (f/m).

The position is in any one of the focus areas of the department, which are
Computational Science, Data Science & Statistics, and Operations Research.

The position comes with a reduced teaching load in the first few years.

For more details on the position, the department, the university, and how to apply,
visit the online application portal via the following link.

https://tinyurl.com/y977uf9j

Applications should be received until June 15, 2020.

Marc Uetz
Mathematics of Operations Research, University of Twente

**********************************************************
*
* 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] EUROPT 2020 postponed to 2021

Dear colleagues,

We hope this message finds you healthy and safe.  Due to the difficult
situation all around the world related to the COVID-19 pandemic, the
EUROPT 2020 Workshop on Advances in Continuous Optimization
http://europt2020.recherche.enac.fr/ appears no longer possible to hold
as originally scheduled on July 2020. We are deeply concerned to the
safety and well-being of attendees, and aware of the difficulty to
forecast the near and medium-term future, thus we decided to postpone
EUROPT 2020 to 2021.
It will take place in the same location, in Toulouse (southern France)
hosted by ENAC, around June-July 2021. The precise dates will be
furtherly announced.

We sincerely hope to see you there next year!

On behalf of the Organizing Committee,

Sonia Cafieri
EUROPT 2020 Program Committee Chair

Giancarlo Bigi
EUROPT Chair

--
=======================================
Sonia Cafieri
ENAC - Ecole Nationale de l'Aviation Civile
7, Avenue Edouard Belin
F-31055 Toulouse France
Tel : +33 (0)5 62 25 95 11
Email : sonia.cafieri@enac.fr
http://www.recherche.enac.fr/~cafieri/

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

EUROPT 2020: http://europt2020.recherche.enac.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] new contribution --- OR for DCs - (IFORS online resources)

Dear Colleagues and Friends,

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.

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.

"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 complex 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; http://ifors.org/) 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 2020, Seoul, South Korea, please refer to http://www.ifors2020.kr/.

Thank you very much for your attention.

With kind regards,
best wishes,
Gerhard-Wilhelm Weber

PS: Feedback is welcome via 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/
*
**********************************************************

[DMANET] |ICSOC 2020] COVID-19 update and deadline extension

[Apologies for multiple cross-posting]
========== News ============================================
May 1st, 2020: Submission deadlines have been extended to accommodate the different extension requests.
May 1st, 2020: In an attempt to maximize the chances of having ICSOC 2020 happening physically in Dubai, the organizing committee has agreed to postpone the event to December 14-17, 2020. The committee will continue monitoring the situation and will advise if any further information is received about the situation. We naturally keep the online option if it is necessary.
===================================================================
The 18th International Conference on Service-Oriented Computing
- ICSOC 2020 -
December 14-17, 2020
Dubai, United Arab Emirates
CALL FOR CONTRIBUTIONS (including papers, workshops, special sessions, and tutorials)
Website: https://icsoc2020.connect.rs/
Submission site: https://www.conftool.com/icsoc2020/

Due to ongoing uncertainty about future travel caused by COVID-19, ICSOC'2020 is monitoring the situation and will consider adequate arrangements for the presentations of accepted papers as the situation evolves. We will update this information on a regular basis.

News: Special issues
As per its tradition, ICSOC 2020 will feature two special issues in high impact journals. In fact, a selection of the top accepted papers will be invited for special issues in the following journals:

1. International Journal of Cooperative Information Systems (https://www.worldscientific.com/worldscinet/ijcis)

2. Computing, Springer. (https://www.springer.com/journal/607)


*************** Research/Industry/Vision Tracks *******************

ICSOC, the International Conference on Service-Oriented Computing, is the premier international forum for academics, industry researchers, developers, and practitioners to report and share groundbreaking work in service-oriented computing. ICSOC fosters cross-community scientific excellence by gathering experts from various disciplines, such as business-process management, distributed systems, computer networks, wireless and mobile computing, cloud computing, cyber-physical systems, networking, scientific workflows, services science, data science, management science, and software engineering.

ICSOC provides a high-quality forum for presenting results and discussing ideas that further our knowledge and understanding of the various aspects (e.g. application and system aspects) related to Service Computing applied to new application areas and gain insights into a variety of computing, networked, and cyber-physical systems ranging from mobile devices and Internet-of-Things (IoT) applications to large-scale cloud computing systems and the smart grid.

ICSOC 2020, the 18th event in this series, will take place in Dubai, UAE from December 14 to December 17, 2020. Following on the ICSOC tradition, it will feature visionary keynote presentations, research and industry presentations, a vision track, workshops, tool demonstrations, tutorials, and a Ph.D. track. We invite interested researchers, students, practitioners, and professionals to submit their original contributions to the research and industry tracks of ICSOC 2020.



Important Dates

n Abstract submission: May 3, 2020 May 24, 2020 (Extended!)

n Full Paper submission: May 10, 2020 May 31, 2020 (Extended!)

n Notification to authors: July 31, 2020

n Camera-ready papers due: August 30, 2020

n Authors registration due: August 30, 2020

n Early registration due: October 18, 2020

n Conference: December 14-17, 2020

Areas of interest

ICSOC 2020 will be divided into three main tracks, the research track, the industry track, and the vision track. The research/industry tracks will focus on the following four main areas.

Focus Area-1: Service Oriented Technology Trends

This focus area targets outstanding, original contributions, including theoretical and empirical evaluations, as well as practical and industrial experiences, with emphasis on results that solve open research problems and have significant impact on the field of digital services and service-oriented computing.

Topics that are part of this focus area may include but are not limited to:
* Service-oriented Engineering: Service design, specification, discovery, customization, composition, and deployment ; Service validation and test; Service change management; Intelligent context-aware interfaces; Theoretical foundations of Service Engineering; Transformation of monolithic applications to microservices
* Run-time Service Operations and Management: Service execution middleware; Service monitoring and adaptive management; Workload compliance management; Microservices deployment and management
* Security, privacy and trust for services: Secure service lifecycle development ; Privacy management aspects for services; Contract based security approaches; Secure service composition; Trust management for services
* Services and Data: Services for big data; Service mining and analytics; Data-provisioning services; Services related linked open data
* Services on the Cloud: Cloud service management; Cloud workflow management; Cloud brokers and coordination across multiple resource managers; XaaS (everything as a service including IaaS, PaaS, and SaaS); Workload partitioning, balancing, and transformation
* Services at the Edge: Cloud and fog computing; Edge service orchestration; Lightweight service deployment and management; Quality of Service (QoS) in edge services; Security, privacy, and trust of edge services
* Services in the Internet of Things (IoT)/Cyber-Physical Systems (CPS); Embedded and real-time services; RFID, sensor data, and services related to the IoT/CPS; Services for IoT/CPS platforms and applications; Service oriented protocols for IoT/CPS applications
* Services in Organizations, Business, and Society: Social networks and services; Cost and pricing of services; Service marketplaces and ecosystems; Innovative service business models
Focus Area-2: Industry 4.0 Technologies

Industry 4.0 (or smart manufacturing) sets the foundations for completely connected factories that are characterized by the digitization and interconnection of supply chains, production equipment and production lines, and the application of the latest advanced digital information technologies to manufacturing activities. The manufacturing paradigm championed by the Industry 4.0 brings together processes, software services and systems, machines, devices, IoT, sensors, valves, actuators, manufacturing systems, and connected digital factories. All these computer-driven systems create a virtual copy of the physical world and help make decentralized decisions with much higher degree of accuracy.

Topics that are part of this focus area may include but are not limited to:

* Digital twins and digital threads
* Digital product management
* Digital manufacturing
* Digital transformation
* Digital reality
* Embedded systems
* Internet of Things in Industry 4.0
* 3D printing/additive manufacturing techniques
* Machine-To-Machine communication for smart manufacturing
* Smarter analytics
* Manufacturing Intelligence
* Smart factories
* Smart asset management
* Smart Cyber-Security in Industry 4.0
* Blockchain in Industry 4.0

Focus Area-3: Smart services, Smart data and Smart applications

Smart data systems and services support the processing and integration of data and services into a meaningful unified view to enable more effective decision making and problem solving. The decisive criterion here is not necessarily the amount of data or services available, but smart content techniques that promote not only the collection and accumulation of related data and services, but also its context, and understanding. This requires finding useful insights and discovering patterns and trends within the data and services to reveal a wider picture that is more relevant to the problem in hand and react to them.

Smart applications are context aware, intelligent and autonomous industrial strength applications that incorporate data-driven, actionable contextual insights into the user experience to enable users to more efficiently complete a desired task usually taking the form of recommendations, estimates, and suggested next course of actions in context.

Topics that are part of this focus area may include but are not limited to:

* Smart Big Data
* Predictive Modeling
* Visualization & Augmented Reality
* Smarter Analytics
* Machine Learning
* Multidimensional Data
* Sensor Networks
* Smart cities
* Smart applications for the construction industry
* Smart transportation systems
* Smart logistics & distribution
* Smart agriculture and food chains
* Smart government
* Smart sensors & IoT for large scale industrial applications
* Traceability and Tracking
* Detection of data and key performance metrics to improve application efficiency
* Conceptual structures and knowledge architectures for smart applications
* Agile & DevOps methodologies for smart applications

Focus Area-4: Blockchain Technologies

A blockchain is a decentralized distributed ledger that records and stores transactions among a number of interacting parties in a network. Each transaction must be validated via a consensus mechanism executed by the network participants before being permanently added as a new "block" at the end of the "chain." Disruptive technologies such as blockchain, AI, services, and cloud enable companies and administrations to provide decentralized, trusted, transparent and user-centric digital services while enhancing user/consumer experience. These technologies have the ability to transform the way we use the internet and digital services globally. Topics that are part of this focus area may include but are not limited to:

* Blockchain in digital services
* Block chain and smart business transactions
* Block chain and smart contracts
* Blockchain in the Internet of things (IoT)
* Blockchain in cyber physical systems
* Blockchain in edge and cloud computing
* Disintermediation and collaboration mechanisms in block chains
* Peer-to-peer networks
* Block chain platforms
* Blockchain in supply chain management
* Trust and security services in block chains
* Cutting edge cipher algorithms
Paper Submission
The conference solicits outstanding original research, industry, and short (vision) papers on all aspects of service-oriented computing. Papers should clearly demonstrate the research/practical contribution(s) or a solid vision, the relevance to the field, and the relationship to prior work. Submitted papers to the research and industry tracks will be evaluated according to their rigor, significance, originality, maturity, technical quality, exposition, in addition to the practical/industrial value of the contribution (for the industry track).
The vision track solicits short papers that present new research ideas that are interesting, challenging, disruptive and have a promising technical validity but have not yet reached the maturity for the research/industry track. Papers submitted to the vision track will be evaluated based on innovation, novelty, significance, impact/far-reaching of research ideas, breakthrough, and introduction of a new research directions. All papers will be reviewed by at least three members of the Program.
Research/Industry papers should be formatted according to Springer's LNCS Formatting Guidelines<http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0>. Submissions must be in English. The limit length of accepted papers should be 15 pages for the Research/Industry track and 8 pages for the Vision (short paper) track (including abstract, figures and references) with a maximum of 2 extra paid pages (90EUR per extra page). All papers must be submitted electronically to the Conference Submission System<https://www.conftool.com/icsoc2019/index.php?page=index>. The final submission should be formatted according to Springer's LNCS Camera ready instructions.

For each accepted paper for any track, at least one author must attend the conference and present the paper. The deadline for identifying and registering this individual author will be at the time when the camera-ready version is submitted.

Best Paper Award
The Best Paper Award, sponsored by Springer, will be given to the paper that the Program Committee judges to be the best in quality, execution, and impact among all the accepted papers in the research/industry tracks.
Proceedings
All accepted papers will be included in the Conference Proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS<http://www.springer.com/lncs>) series.

General Chairs
Hakim Hacid, Zayed University (ZU)
Athman Bouguettaya, University of Sydney (USYD)
Program Co-chairs
Eleanna Kafeza (ZU) Boualem Benatallah (UNSW) Fabio Martinelli (IIT-CNR)

************ Call for Workshops and Special Sessions ****************

https://icsoc2020.connect.rs/call-for-workshops/
https://icsoc2020.connect.rs/call-for-special-sessions/
The 18th International Conference on Service-Oriented Computing to be held in Dubai, UAE is inviting proposals for high-quality workshops. ICSOC 2020 provides workshop organizers with the opportunity to publish improved versions of accepted papers as part of its dedicated post-workshop proceedings to appear in Springer's LNCS series. The conference solicits outstanding original research and practice papers on all aspects of service-oriented computing. Papers should clearly demonstrate the research or practical contribution, the relevance to the field, and the relationship to prior work. It is likely that, as in previous years, the post-proceedings of the accepted workshops will be jointly published as a Springer volume. A formal proposal to Springer will only be made after the accepted workshops and their program committees are finalized. Working notes of the workshops (including papers to be eventually published in the joint workshop volume) can be made available during the!
workshops, as long as, they do not harm copyright constraints of the final joint ICSOC workshop proceedings.

ICSOC 2020 will also feature Special Sessions which may address one or more Tracks, but they should be organized under unified themes. Special Sessions are intended to allow projects or any other group of authors to present their own work. These can include one invited speaker, besides papers. Organizers of special sessions are responsible for defining the full contents of their session. It is not expected that open calls for papers are launched for Special Sessions, in order to attract authors or presenters. It is though up to the organizers to decide on this item.

Important Dates

* Proposals submission Deadline: May 10, 2020 May 24, 2020 (Extended!)

* Acceptance Notifications: May 31, 2020 June 14, 2020 (Extended!)

Workshops Co- Chairs


* Fatma Outay, Zayed University, UAE, fatma.outay@zu.ac.ae<mailto:fatma.outay@zu.ac.ae>

* Helen Paik, University of New South Wales, Australia, h.paik@unsw.edu.au<mailto:h.paik@unsw.edu.au>

* Amira Alloum, Huawei, France, amira.alloum@gmail.com<mailto:amira.alloum@gmail.com>

Special Sessions/Area Co-Chairs

* Tetsuya Yoshida, Nara Women University, Japan, tyoshida@cc.nara-wu.ac.jp<mailto:tyoshida@cc.nara-wu.ac.jp>

* Brahim Medjahed, University of Michigan, USA, brahim@umich.edu<mailto:brahim@umich.edu>

****************** Call for Tutorials ************ ****************
The ICSOC conference solicits proposals for tutorials related to any of the conference topics. Tutorial proposals should not exceed 5 pages using the Springer's LNCS template<http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0>, should be written in English, should describe the topic(s) being covered as well as the level of depth, and should give a description of the teaching methodology (lectures, hands-on sessions, etc.). A tutorial proposal should include:

* A title

* Name and contact information

* An abstract (up to 150 words) overview of the topic covered, including the reasons that the topic is interesting and important to the ICSOC community

* Requisite background of the target audience

* The tutorial length (typically, 1 hour 45 minutes)

* Content details: a bullet list of organization of the tutorial, in the order of presentation with estimated presentation time for each item

* Short bios of the presenters including their expertise related to the tutorial (no more than 100 words per presenter)

* A list of up to 20 most important references to be covered in the tutorial
A 2-page abstract of the tutorial will be included in the ICSOC 2020 proceedings.
Proposals should be received by Saturday, July 31, 2020. Submissions should be made electronically in PDF format to the following email address: icsoc2020.tutorials@gmail.com<mailto:icsoc2020.tutorials@gmail.com>
Please contact the Tutorial/Panel Co-Chairs if you have any questions:

* Salima Benbernou, University of Paris Descartes, France (Email: salima.benbernou@parisdescartes.fr<mailto:salima.benbernou@parisdescartes.fr>).

* Patrick C. K. Hung, Ontario Tech University, Canada (Email: Patrick.Hung@uoit.ca<mailto:Patrick.Hung@uoit.ca>).

* Reda Bouadjenek, Deakin University, Australia (emailreda.bouadjenek@deakin.edu.au<mailto:emailreda.bouadjenek@deakin.edu.au>).



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