Friday, August 31, 2018

[DMANET] EATCS Bulletin, call for abstracts

EATCS Bulletin, http://eatcs.org/index.php/eatcs-bulletin, has a
section for "Technical contributions." To stimulate this section
further, we have recently started publication abstracts of works
that have been accepted by journals and/or conferences or have
appeared in major archives. The topics of interest include all areas
of theoretical computer science (for instance, see topics of the three
Tracks of ICALP, http://www.easyconferences.eu/icalp2016/cfp.html).

Abstracts should be rather detailed, 2-3 pages long in the format
given at http://eatcs.org/index.php/eatcs-bulletin. Submissions
should include the information on the full paper (the name of
conferences, archives, etc) and sufficiently detailed explanation of
its merits, e.g., importance, motivations, clear comparison with
existing results and novelty and/or new ideas of proof techniques.

The Bulletin is published in Feb, Jun and Oct. The deadline for the
abstract submission is 15th of the previous month (a soft deadline),
for instance, Sep 15-20, 2018 for the Oct issue. All materials
including tex and pdf files should be sent electrically to
bulletin@eatcs.org and iwama@kuis.kyoto-u.ac.jp.
Acceptance/rejection, decided based on its merit mentioned above, will
be notified as soon as possible. The Bulletin will not require
copy-right transfer for accepted abstracts.

Kazuo Iwama
Editor-in-Chief
Bulletin, European Association for Theoretical Computer Science
**********************************************************
*
* 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: [Algorithms] Special Issue: Quantum Optimization Theory, Algorithms, and Applications (Deadline: 31 December 2018)

Dear Colleagues,

We cordially invite you to submit a manuscript for consideration and
possible publication in a Special Issue on "Quantum Optimization Theory,
Algorithms, and Applications" to be published in an EI, ESCI and
Scopus-indexed open access journal Algorithms
(http://www.mdpi.com/journal/algorithms).

The submission manuscript deadline is *31 December 2018*. Special
interest will be given to global optimization, but any other quantum
optimization algorithm will fit this Special Issue. Applications of
quantum optimization in machine learning and big data are also welcome.
For more details please visit the website:
http://www.mdpi.com/journal/algorithms/special_issues/Quantum_Optimization_Algorithms

You may share this invitation with your team members and colleagues;
co-authors are most welcome.

Please let me know within a month or as soon as possible if you and your
colleagues are interested in submitting a manuscript for this special
issue. If more time is needed, please feel free to tell us
(algorithms@mdpi.com or jones.zhang@mdpi.com). Your contribution would
be most welcome.

Algorithms is fully open access. Open access (unlimited and free access
by readers) increases publicity and promotes more frequent citations, as
indicated by several studies. As open access is supported by the authors
and their institutes, an Article Processing Charge (APC) of CHF 850
applies to accepted papers. You may be entitled to a discount if you
have previously received a discount code or if your institute is
participating in the MDPI Institutional Open Access Program (IOAP); for
more information see: http://www.mdpi.com/about/ioap.

For further details on the submission process, please see the
instructions for authors at the journal website
(http://www.mdpi.com/journal/algorithms/instructions).

We hope this topic is of interest to you and look forward to
collaborating with you in the near future.

Kind regards,
Ms. Jones Zhang
Assistant Editor
--
MDPI Wuhan Office
Algorithms Editorial Office
Tel. +86-27-87808658;
Fax: +86-27-87612588

MDPI
Algorithms Editorial Office
St. Alban-Anlage 66, 4052 Basel
Switzerland
Tel.: +41 61 683 77 34
Fax: +41 61 302 89 18
http://www.mdpi.com/
E-Mail
: algorithms@mdpi.com
http://www.mdpi.com/journal/algorithms/

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

Thursday, August 30, 2018

[DMANET] Call for Papers: Track "Logistics Analytics" at WI 2019

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

Call for Papers: Track "Logistics Analytics" at WI 2019

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

We invite you to participate in the track "Logistic Analytics" (Dominik
Kress, Alena Otto, Erwin Pesch) of the 14. International Conference on
Information Technology (Die 14. Internationale Tagung der
Wirtschaftsinformatik WI2019) on the 24.02.2019 - 27.02.2019 in Siegen.
This year conference motto is „Human Practice, Digital Ecologies, our
Future".

The full variety of talks on methodological and applied topics in the
broad area of logistic analytics are very welcome.

The submission deadline for full conference papers is on the 14.09.2018.
For more information, please visit the conference website at
http://wi2019.de/wissenschaftliche-tracks/#logisticAnalytics.

Sincerely Yours
Alena
Dominik
Erwin
**********************************************************
*
* 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, August 29, 2018

[DMANET] CFP - IEEE TNSM Special Issue on Novel Techniques in Big Data Analytics for Management

IEEE Transactions on Network and Service Management

Special Issue on Novel Techniques in Big Data Analytics for Management

http://www.comsoc.org/tnsm/cfp/si-bdm

(Submissions due: 15 November 2018)

Cloud and network analytics can harness the immense stream of
operational data from clouds and networks, and can perform analytics
processing to improve reliability, configuration, performance, fault
and security management. In particular, we see a growing trend towards
using statistical analysis, Artificial Intelligence (AI) and machine
learning to improve operations and management of IT systems and
networks.

Research is therefore needed to understand and improve the potential
and suitability of Big Data analytics and AI in the context of systems
and network management. This will not only provide deeper
understanding and better decision making based on largely collected
and available operational data, but present opportunities for
improving data analysis algorithms and methods on aspects such as
accuracy and scalability, as well as demonstrate the benefits of
machine intelligence methods in system and network management and
control. Moreover, there is an opportunity to define novel platforms
that can harness the vast operational data and advanced data analysis
algorithms to drive management decisions in networks, data centers,
and clouds.

IEEE Transactions on Network and Service Management (IEEE TNSM) is a
premier journal for timely publication of archival research on the
management of networks, systems, services and applications. Following
the success of two recent TNSM special issues on Big Data Analytics
for Management in 2016 and 2018, this special issue will also focus on
recent, emerging approaches and technical solutions that can exploit
Big Data, analytics, and AI in management solutions. We welcome
submissions addressing the underlying challenges of Big Data Analytics
for Management and presenting novel techniques, experimental results,
or theoretical approaches motivated by management problems. Survey
papers that offer a perspective on related work and identify key
challenges for future research are also in the scope of the special
issue.

Topics of Interest

Topics of interest for this special issue include, but are not
limited, to the following:

* Big Data Analytics and Machine Learning
- Analysis, modelling and visualization
- Operational analytics and intelligence
- Event and log analytics, text mining
- Anomaly detection and prediction
- Monitoring and measurements for management
- Harnessing social data for management
- Predictive analytics and real-time analytics
- Artificial intelligence, neural networks, and deep learning for management
- Data mining, statistical modeling, and machine learning for management

* Application Domains and Management Paradigms
- Cloud and network analytics
- Data centric management of virtualized infrastructure, clouds and data centers
- Data centric management of software defined networks
- Data centric management of storage resources
- Data centric management of Internet of Things and cyber-physical systems
- Platforms for analyzing and storing logs and operational data for
management tasks
- Applications of Big data analytics to traffic classification,
root-cause analysis, service quality assurance, IT service and
resource management
- Novel approaches to cyber-security, intrusion detection, threat
analysis, and failure detection based on Big data analytics and
machine learning

Paper Submission

All papers should be submitted through the IEEE Transactions on
Network and Service Management manuscript submission site at
https://mc.manuscriptcentral.com/tnsm. Authors must indicate in the
submission cover letter that their manuscript is intended for the
"Novel Techniques in Big Data Analytics for Management" special issue.
Each submission will be limited to 14 pages in IEEE 2-column format.
Detailed author guidelines can be found at
http://www.comsoc.org/tnsm/author-guidelines.

Important Dates

Paper submission: November 15, 2018
Review results returned: February 15, 2019
Revision submission: March 15, 2019
Final acceptance notification: June 15, 2019
Final paper submission: July 7, 2019
Publication date (tentative): September 2019*

(* online published version will be available in IEEE Xplore after the
camera ready version has been submitted with final DOI)

Guest Editors

David Carrera (Barcelona Supercomputing Center, Spain)
Giuliano Casale (Imperial College London, UK)
Takeru Inoue (NTT Laboratories, Japan)
Hanan Lutfiyya (The University of Western Ontario, Canada)
Jia Wang (AT&T Research, US)
Nur Zincir-Heywood (Dalhousie University, Canada)

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

Tuesday, August 28, 2018

[DMANET] CARI/ICTAC Spring School and ICTAC 2018 conference, call for participation

* A TCS spring school and conference in Stellenbosch, South Africa,
12-19 October 2018.

* 7 spring school tutorials and 4 invited talks by Yves Bertot,
Vincent Cheval, Martin Leucker, Tommie Meyer, Gennaro Parlato, Ina
Schaefer (with Loek Cleophas), Peter Thiemann, Willem Visser, 25
contributed papers.

* A single, very affordable fee covers both the summer school and the
conference and includes a full-day excursion to the Cape Peninsula.

* Early registration ends 12 September.


CALL FOR PARTICIPATION

CARI/ICTAC Spring School
and
15th International Colloquium on Theoretical Aspects of Computing
ICTAC 2018

Stellenbosch, South Africa, 12-19 October 2018
https://www.ictac.org.za/

Established by UNU IIST in 2004, the ICTAC conference series aims at
bringing together researchers and practitioners from academia,
industry and government to present research and exchange ideas and
experience addressing challenges in both theoretical aspects of
computing and the exploitation of theory through methods and tools for
system development. ICTAC also aims to promote research cooperation
between developing and industrial countries.

ICTAC 2018 will take place in Stellenbosch, South Africa, colocated
with the 14th African Conference on Research in Computer Science and
Applied Mathematics, CARI 2018, 14-16 October 2018.


SPRING SCHOOL TUTORIALS

Yves Bertot (Inria Sophia Antipolis - Mediterranée, FR):
Interactive Theorem Proving and Program Development

Vincent Cheval (Inria Nancy - Grand Est, FR):
Verification of Security Protocols: From Confidentiality to Privacy

Martin Leucker (Universität zu Lübeck, DE):
Runtime Verification: Some Basics and Some Latest Developments

Tommie Meyer (University of Cape Town, ZA):
An Introduction to Description Logics

Ina Schaefer (Technische Universität Braunschweig, DE)
and Loek Cleophas (Technische Universiteit Eindhoven, NL):
The Correctness-by-Construction Approach to Programming

Peter Thiemann (Universität Freiburg, DE):
Derivation beyond Regular Languages

Willem Visser (Stellenbosch University, ZA):
Symbolic Execution for Java


ICTAC INVITED TALKS

Yves Bertot (Inria Sophia Antipolis - Mediterranée, FR):
Formal Verification of a Geometry Algorithm:
A Quest for Abstract Views and Symmetry in Coq Proofs

Tommie Meyer (University of Cape Town, ZA):
What is Knowledge Representation and Reasoning?

Gennaro Parlato (University of Southampton, UK):
Finding Rare Concurrent Programming Bugs:
An Automatic, Symbolic, Randomized, and Parallelizable Approach

Peter Thiemann (Universität Freiburg, DE):
>From Logic to Automata by Derivation


ICTAC CONTRIBUTED PAPERS

25 papers selected from 58 submissions


INFORMAL WORKSHOP ON (CO)ALGEBRAIC LANGUAGE AND AUTOMATA THEORY

In the afternoon of 15 October, we will have an informal workshop on
(co)algebraic language and automata theory.

To propose a talk, please send a title and abstract to
ictac2018@easychair.org by 12 September.


REGISTRATION AND COST

Registration and payment is via the conference website.

The single ICTAC fee includes attendance at the school and the ICTAC
conference, access to the LNCS proceedings volume, tea breaks and
lunches during the school and the conference, a full-day excursion to
the Cape Peninsula and a conference dinner.

Early registration is by 12 September. Until this date, the full fee
is ~390 EUR and the student fee is ~240 EUR.


GENERAL CHAIR

Bernd Fischer (Stellenbosch University, ZA)


PROGRAMME CHAIRS

Bernd Fischer (Stellenbosch University, ZA)
Tarmo Uustalu (Reykjavik University, IS)


ICTAC STEERING COMMITTEE

Ana Cavalcanti (University of York, UK)
Martin Leucker (Universität zu Lübeck, DE)
Zhiming Liu (Southwest University, CN)
Tobias Nipkow (Technische Universität München, DE)
Augusto Sampaio (Universidade Federal de Pernambuco, BR)
Natarajan Shankar (SRI International, US)


HOST INSTITUTION

Stellenbosch University Computer Science Division


SPONSORS

Stellenbosch University
Springer
IFIP
Inria
AUF, CIRAD, IRD concerning the school


CITY

The city of Stellenbosch, founded 1685, is the second oldest European
settlement in South Africa after Cape Town. It is situated about 50 km
to the east of Cape Town. It is the place to admire Cape Dutch
architecture and the heart of the Cape Winelands, South Africa's prime
wine region. Stellenbosch University is one of the leading universities
in Africa.


FURTHER INFORMATION

Please contact Bernd Fischer, bfischer(at)cs.sun.ac.za.

**********************************************************
*
* 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, August 26, 2018

[DMANET] DISC 2018 (2nd Call for Participation): early registration deadline on August 31

DISC 2018 - International Symposium on Distributed Computing
October 15-19, 2018, New Orleans, Louisiana
http://www.disc-conference.org/wp/disc2018/


*Registration and Student Travel Grants*
======================================

Deadline for early registration and student travel award applications:
** August 31 **

Conference registration:
http://www.disc-conference.org/wp/disc2018/registration/

Information on student travel awards:
http://www.disc-conference.org/wp/disc2018/nsf-travel-awards/


*Conference Program (updated)*
===============

http://www.disc-conference.org/wp/disc2018/program/


*Local Information & Hotels*
==========================

The conference will be held in the Hampton Inn & Suites New
Orleans-Convention Center 1201 Convention Center Blvd, New Orleans
Louisiana, 70130. A block of rooms has been reserved for October 14-19. A
link to the booking webpage and more information on accommodation options
can be found here:
http://www.disc-conference.org/wp/disc2018/hotel-information/

Since October is a peak season for New Orleans, it is advisable to book
your room early. For more information on traveling to the venue please see:
http://www.disc-conference.org/wp/disc2018/location-information/


*Invited Speakers*
================

* Sandor Fekete (Technische Universität Braunschweig)
* Tom Goldstein (University of Maryland)
* Michael Mendler (Universität Bamberg)


*Workshops*
=========

* ADGA: Workshop on Advances in Distributed Graph Algorithms (October 15,
2018) http://adga.hiit.fi/
* SCNDS: Workshop on Storage, Control, Networking in Dynamic Systems
(October 19, 2018) https://sites.google.com/site/scnds2018/

**********************************************************
*
* 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] SPIRE 2018 Call for Participation

SPIRE 2018
25th International Symposium on
String Processing and Information Retrieval
October 9-11, 2018, Lima, Peru


**********************************************
CALL FOR PARTICIPATION
**********************************************

We are happy to invite you to participate in the 25th International
Symposium on String Processing and Information Retrieval (SPIRE), to be
held in six week's time in Lima. The program is now available on the
conference website (https://eventos.spc.org.pe/spire2018) and includes
invited talks by Philip Bille, Natasa Przulj and Rossano Venturini. The
first day of SPIRE will be the last day of the 11th International
Conference on Similarity Search and Applications (SISAP,
http://www.sisap.org/2018) and there will be a common program, so SPIRE
attendees can also hear Moshe Vardi's invited talk.

The full registration fee is $480 US until August 31st and $564 US after
that. The student registration fee is $306 US until August 31st and $368
after that. If SPIRE participants wish to attend the first two days of
SISAP, which are not shared, then they may register to do so for $100.
(The excursion to the Pachacamac archeological site and the conference
banquet are shared.)

The day after SPIRE will be the 13th Workshop on Compression, Text and
Algorithms (WCTA), which is an an opportunity for early-stage researchers
to present and discuss their work without preventing its inclusion in later
events (since there are no published proceedings for WCTA). Thanks to
funding from the BIRDS MSCA RISE 2015 project, WCTA is able to offer some
travel grants.

*** The deadline to submit an abstract to WCTA is September 3rd, which is
also the deadline to submit an application for a travel grant. ***

More details about SPIRE can be found below and on the conference website.

We look forward to seeing you in Lima!

Travis Gagie, Alistair Moffat and Gonzalo Navarro
SPIRE PC Chairs


**********************************************
LOCATION
**********************************************

SPIRE 2018 will take place in Lima, the capital of Peru.
The area around Lima had already been inhabited for centuries
when Spanish troops founded the city in 1535. In 1542 it was
made the seat of the Viceroyalty of Peru, which contained most
of Spanish-ruled South America, and in 1551 the oldest
continuously-functioning university in the Americas was founded
there. Lima is located on the Pacific coast and is famed for
its beaches and cuisine. October is early spring and the
temperatures are usually around 20 degrees Celsius or 68 degrees
Fahrenheit, both highs and lows. There are direct flights from
New York, Los Angeles, Toronto, Mexico City, Madrid, Paris,
Amsterdam and many major cities in South America, and visitors
from Asia and Oceania can arrive via Santiago de Chile, for example.
The conference venue will be the Universidad de Ingeniería y Tecnología
(UTEC), winner of the inaugural RIBA International Prize for
architecture and described by The Guardian as "Peru's modern-day
Machu Picchu", across the street from the Museum of Modern Art
and a 15-minute walk from the beach.

**********************************************
SCOPE
**********************************************

SPIRE 2018 covers research in all aspects of string processing,
information retrieval, computational biology, and related applications.
Typical topics of interest include (but are not limited to):

- String Processing: string pattern matching, text indexing, data
structures for string processing, text compression, compressed data
structures, compressed string processing, text mining, 2D pattern
matching, automata-based string processing.

- Information Retrieval (IR): retrieval models, indexing, evaluation,
algorithms and data structures for IR, efficient implementation of IR
systems, interface design, text classification and clustering, text
analysis and mining, collaborative and content-based filtering, topic
modeling for IR, search tasks (Web search, enterprise search, desktop
search, legal search, cross-lingual retrieval, federated search, (micro)
blog search, XML retrieval, multimedia retrieval), digital libraries.

- Computational Biology: high-throughput DNA sequencing (assembly, read
alignment, read error correction, metagenomics, transcriptomics,
proteomics), evolution and phylogenetics, gene and regulatory element
recognition, motif finding, protein structure prediction.

**********************************************
BEST PAPER
**********************************************

A Best Paper Award, worth 1000 euros and sponsored by Springer, will
be given to the author(s) of the most outstanding work included in the
proceedings of SPIRE 2018 and presented at the event.

**********************************************
SISAP AND WORKSHOPS
**********************************************

SPIRE 2018 will be co-located with SISAP 2018, the 11th
International Conference on Similarity Search and Applications
(http://www.sisap.org/2018), which will run October 7th-9th.

There will be a StringMasters workshop on Monday October 8th,
immediately before the conference.
The Workshop on Compression, Text and Algorithms (WCTA) will be held
on Friday October 12th, chaired by José Fuentes Sepúlveda,
Paweł Gawrychowski and Nicola Prezza and sponsored by the
BIRDS MSCA RISE 2015 project.
The venue for both workshops will be the same as for SPIRE.

**********************************************
IMPORTANT DATES
**********************************************

Main conference: 9th-11th October, 2018
Workshops: 8th and 12th October, 2018

**********************************************
INVITED SPEAKERS
**********************************************

- Philip Bille, Technical University of Denmark
- Natasa Przulj, University College London
- Rossano Venturini, University of Pisa

The invited talks are sponsored by eBay, CeBiB (cebib.cl) and Google.

**********************************************
REGISTRATION
**********************************************

Registration will include a copy of the proceedings, a welcome cocktail,
coffee breaks, the conference excursion to Pachacamac and the conference
dinner.

**********************************************
SPONSORSHIP
**********************************************

Many thanks to our sponsors:
eBay and Google will each contribute $5000 US for the invited talks and
travel grants;
CeBiB (cebib.cl) will contribute $2500 US for the invited talks;
Springer will contribute 1000 euros for the Best Paper Award;
BIRDS will sponsor WCTA.

**********************************************
COMMITTEES
**********************************************

Program Committee Chairs:
- Travis Gagie, Diego Portales University
- Alistair Moffat, University of Melbourne
- Gonzalo Navarro, University of Chile

Program Committee:
- Diego Arroyuelo, Universidad Técnica Federico Santa María
- Ricardo Baeza-Yates, NTENT and Universitat Pompeu Fabra
- Hideo Bannai, Kyushu University
- Ilaria Bordino, UniCredit R&D
- Christina Boucher, University of Florida
- Broňa Brejová, Comenius University
- Nieves Brisaboa, Universidade da Coruña
- Ruey-Cheng Chen, RMIT University
- Shane Culpepper, RMIT University
- Fabio Cunial, MPI-CBG
- Antonio Fariña, Universidade da Coruña
- David Fernández-Baca, Iowa State University
- Allyx Fontaine, Université de Guyane
- Simon Gog, Karlsruhe Institute of Technology
- Roberto Grossi, Universita' di Pisa
- Inge Li Gørtz, Technical University of Denmark
- Cecilia Hernandez, Universidad de Concepción
- Wing-Kai Hon, National Tsing Hua University
- Tomohiro I, Kyushu Institute of Technology
- Katharina Jahn, ETH Zürich
- Dominik Kempa, University of Helsinki
- Roberto Konow, eBay
- Gregory Kucherov, University Paris-Est Marne-la-Vallée
- Susana Ladra, Universidade da Coruña
- Gad M. Landau, University of Haifa and NYU
- Yiqun Liu, Tsinghua University
- Veli Mäkinen, University of Helsinki
- Matthias Petri, University of Melbourne
- Cinzia Pizzi, Universita' di Padova
- Giovanna Rosone, Universita' di Pisa
- Leena Salmela, University of Helsinki
- Diego Seco, Universidad de Concepción
- Julian Shun, Massachusetts Institute of Technology
- Jouni Sirén, University of California Santa Cruz
- Wing-Kin Sung, National University of Singapore
- Sharma Thankachan, University of Central Florida
- Andrew Trotman, University of Otago
- Przemysław Uznański, ETH Zürich
- Michal Ziv-Ukelson, Ben Gurion University of the Negev
- Guido Zuccon, Queensland University of Technology

Organizing Committee Chair:
Ernesto Cuadros-Vargas, Universidad de Ingeniería y Tecnología (UTEC)

Steering Committee:
- Ricardo Baeza-Yates, NTENT and Universitat Pompeu Fabra
- Gabriele Fici, Universita' di Palermo
- Costas Iliopoulos, King's College London
- Shunsuke Inenaga, Kyushu University
- Simon Puglisi, University of Helsinki
- Berthier Ribeiro-Neto, Google Inc. and Federal University of Minas Gerais
- Kunihiko Sadakane, University of Tokyo
- Tetsuya Sakai, Waseda University
- Marinella Sciortino, Universita' di Palermo
- Rossano Venturini, Universita' di Pisa
- Emine Yilmaz, University College London
- Nivio Ziviani, Universidade Federal Minas Gerais

**********************************************************
*
* 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] Frédéric Maffray

It is with immense sadness that we inform you of the passing of our dear friend and colleague Frédéric Maffray, on Wednesday 22nd August, after a recurrence of a long illness that he faced with great courage.

Frédéric was an outstanding scientist, one of the most active members of our team and our lab. His professional qualities were only surpassed by his human qualities. He turned 58 last Sunday, 19th August.

He will be sorely missed, and will remain in our best memories.

Thank you for sharing this information with your colleagues.

András, Louis, Myriam

**********************************************************
*
* 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: FWCG'18 (28th Fall Workshop on Computational Geometry)

First Call for Papers and Participation FWCG 2018
The 28th Fall Workshop on Computational Geometry
Queens College, City University of New York, Flushing, NY
Oct 26 - 27, 2018 (Friday/Saturday)
http://eniac.cs.qc.cuny.edu/mgoswami/fwcg-2018.html
Deadline for submissions: September 28, 2018 (AOE)


The aim of this workshop is to bring together students and researchers

from academia and industry, to stimulate collaboration on problems of

common interest arising in geometric computations. Topics to be covered

include, but are not limited to:

Issues in Geometric Algorithms

> Robustness

> I/O-scalability

> Experimental studies

> Practical implementation

> Animation of algorithms

Core geometric algorithm advances

> Graph drawing

> Folding and unfolding

> Topological data analysis

> Geometric data structures

> Computational conformal geometry

> Algorithmic methods in geometry and topology

Application of Geometric Algorithms

> Robotics

> Manufacturing

> Solid modeling

> Mesh generation

> Computer vision

> Machine learning

> Computer graphics

> Computer-aided design

> Computational biology

> Computational metrology

> Geographic information systems

> Sensor networks and network technology

Following the tradition of the previous Fall Workshops on

Computational Geometry, the format of the workshop will be informal,

extending over 2 days, with several breaks scheduled for discussions.

The workshop is open to the public, with no registration fee.

There will be an Open Problem Session where participants are encouraged

to pose and present research questions.

PROGRAM COMMITTEE:

Chao Chen (Stony Brook Univ.)

Hu Ding (Michigan State Univ.)

Mayank Goswami (Chair, Queens College, City Univ. of New York)

Jonathan Lenchner (IBM Research Africa)

Joseph S.B. Mitchell (Stony Brook Univ.)

Miguel A. Mosteiro (Pace Univ.)

Megan Owen (Lehman College, City Univ. of New York)

Christiane Schmidt (Linköping Univ., Sweden)

Jack Snoeyink (Univ. of North Carolina)

INVITED SPEAKERS: TBA

SUBMISSIONS:

Authors are invited to submit abstracts (up to 4 pages, in any

reasonable 1- or 2-column format) for contributed talks to be given at

the workshop. Submission is via easychair

(https://easychair.org/conferences/?conf=fwcg18). We encourage

submissions of full paper drafts (if available) along with the

abstract. Because there are no formal proceedings for the workshop,

submission of material that is to be submitted to (or to appear in) a

refereed conference (e.g., SODA'2019, SoCG'2019) is allowed and

encouraged; please indicate clearly with the submission if the work

has already been presented/accepted elsewhere. Contributed talk

abstracts, due by September 28, will be reviewed by the program

committee, with notification by October 5.

IMPORTANT DATES:

Abstract submission: Friday, September 28, AOE.

Notification of acceptance: Friday, October 5.

Final abstracts due: Friday, October 12.

Registration (no fee): Friday, October 19.

Workshop: October 26-27 (Friday and Saturday).

REGISTRATION:

Registration is free but required. Please fill out the following form
https://docs.google.com/forms/d/e/1FAIpQLScyqHF91SPDhnqTprqJe9S5alNfEHcoFN2pJXwX-gBxnHwdLA/viewform?c=0&w=1

In case of any queries, please email the chair (Mayank Goswami at firstname
dot lastname at qc.cuny.edu).

--
Regards,
Mayank

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

Saturday, August 25, 2018

[DMANET] NSF Student Travel Awards for DISC 2018

The National Science Foundation offers a travel award opportunity for
students to attend the 32nd International Symposium on Distributed
Computing (DISC 2018) that will take place in New Orleans, October 16-18,
2018. Each student awardee will receive $500 to attend DISC and learn about
the most recent research advances in distributed computing. Both graduate
and undergraduate students are eligible. Students from underrepresented
groups are particularly encouraged to apply.

Application Deadline: *August 31st, 2018*

Application Instructions:
http://www.disc-conference.org/wp/disc2018/nsf-travel-awards/


**********************************************************
*
* 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, August 24, 2018

[DMANET] [Deadline Approaching, Sept 3 2018] FPS 2018, 11th Intl. Symposium on Foundations & Practice of Security, Springer-LNCS Proceedings, Montreal, Canada, 13-14-15 November 2018

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

11th International Symposium on Foundations & Practice of Security
(FPS 2018)

November 13-14-15, 2018 Montreal, Canada

Website: http://fps2018.encs.concordia.ca/

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


Important Dates:
----------------

- Deadline for Short/Position Papers: September 3, 2018 (anywhere in
the world)
- Deadline for Full Papers: September 3, 2018 (anywhere in the world)
- Acceptance Notification: October 8, 2018
- Camera Ready: October 22, 2018
- Conference: November 13-14-15, 2018


Scope:
------

The eleventh edition of FPS will be hosted by Concordia University in
Montreal, Canada, on November 13, 14 and 15 2018. We invite
researchers and practitioners from all countries working in security,
privacy, trustworthy data systems and related areas to participate in
the event.

Protecting the communication and data infrastructure of an
increasingly inter-connected world has become vital to the normal
functioning of all aspects of our world. Security has emerged as an
important scientific discipline whose many multifaceted complexities
deserve the attention and synergy of the mathematical, computer
science and engineering communities.

The aim of FPS is to discuss and exchange theoretical and practical
ideas that address security issues in inter-connected systems. It aims
to provide scientific presentations as well as to establish links,
promote scientific collaboration, joint research programs, and student
exchanges between institutions involved in this important and fast
moving research field.

We also invite papers from researchers and practitioners working in
security, privacy, trustworthy data systems and related areas to
submit their original papers. The main topics, but not limited to,
include:

* Access Control Languages
* Code Reverse Engineering and Vulnerability Exploitation
* Computer and Network Security
* Cryptography & Cryptanalysis
* Data mining & watermarking
* Distributed security protocols & policies
* Formal foundations in information or operational security
* Information theoretic security
* Malware, botnet and advanced persistent threats
* Privacy & sensitive data management
* Policy-based distributed information systems
* Policy-based security architectures
* Security & privacy in digital currencies
* Security & privacy in social networks
* Security in sensor networks and RFIDs
* Security of big-data
* Security of cloud computing, grid computing
* Security of distributed embedded middleware
* Security of P2P systems
* Security of service oriented architectures
* Security management and security policies
* Side channel & physical attacks
* Social engineering
* Threat analysis and trust management


Submissions Guidelines:
-----------------------

All submissions must be written in English. Full papers should be at
most 16 pages, including the bibliography and the appendices.
Committee members are not required to read the appendices, so the
paper should be intelligible without them. Short and Position papers
should be up to 8 pages. Authors should indicate whether their paper
is a 'Position paper' to differentiate them from regular ones
('Position paper' should be mentioned in the title).

Authors must submit their papers by the deadline indicated below,
using the EasyChair web site (using the link
https://easychair.org/conferences/?conf=fps2018) and following the
requirements stated there. All papers will be refereed. The submitted
contribution should be formatted according to Springer's LNCS style
(TeX, Word). Submissions by PhD students as well as surveys and
controversial ideas are encouraged. Case studies (successful or not)
are also encouraged.

Publication:
------------

As in previous editions, proceedings will be published by
Springer-Nature in the Lecture Notes in Computer Science (LNCS)
series. At least one author of each accepted paper must register to
the symposium, by the date indicated by the organizers, and present
the paper.

Committees:
------------

General Chairs:

- Frederic Cuppens (IMT Atlantique, France)

PC Chairs:

- Nur Zincir-Heywood (Dalhousie University, Canada)
- Guillaume Bonfante (Ecole des Mines de Nancy, France)
- Mourad Debbabi (Concordia University, Canada)

Publications & Publicity Chairs:

- Arash Mohammadi (Concordia University, Canada)
- Joaquin Garcia-Alfaro (Telecom SudParis, France)

Organization chair

- Amr Youssef (Concordia University, Canada)

Local Organization Chairs

- Paria Shirani (Concordia University, Canada)
- Jun Yan (Concordia University, Canada)

Steering Committee:

- Frederic Cuppens (Telecom Bretagne, France)
- Nora Cuppens-Boulahia (Telecom Bretagne, France)
- Mourad Debbabi (Concordia University, Canada)
- Joaquin Garcia-Alfaro (Telecom SudParis, France)
- Evangelos Kranakis (Carleton University, Canada)
- Pascal Lafourcade (Universite d'Auvergne, France)
- Jean-Yves Marion (Mines de Nancy, France)
- Ali Miri (Ryerson University, Canada)
- Rei Safavi-Naini (Calgary University, Canada)
- Nadia Tawbi (Universite Laval, Canada)

Program Committee:

- Esma Aimeur (University of Montreal, Canada)
- Jeremy Clark (Concordia University, Canada)
- Nora Cuppens-Boulahia (IMT Atlantique, France)
- Frédéric Cuppens (IMT Atlantique, France)
- Jean-Luc Danger (Télécom Paris-Tech, France)
- Josée Desharnais (Laval University, Canada)
- Samuel Dubus (NOKIA Bell Labs, France)
- Joaquin Garcia-Alfaro (Telecom SudParis, France)
- Dieter Gollmann (Hamburg University of Technology, Germany)
- Sushil Jajodia (George Mason University, USA)
- Bruce Kapron (University of Victoria, Canada)
- Raphaël Khoury (Université du Québec à Chicoutimi, Canada)
- Hyoungshick Kim (Sungkyunkwan University, Republic of Korea)
- Igor Kotenko (SPIIRAS, Russia)
- Evangelos Kranakis (Carleton University Computer Science, Canada)
- Pascal Lafourcade (Université d'Auvergne, France)
- Luigi Logrippo (Université du Québec en Outaouais, Canada)
- Fabio Martinelli (National Research Council of Italy (CNR), Italy)
- Paliath Narendran (University at Albany, USA)
- Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona, Spain)
- Jun Pang (University of Luxembourg, Luxembourg)
- Marie-Laure Potet (VERIMAG, France)
- Silvio Ranise (FBK, Security and Trust Unit, Italy)
- Indrakshi Ray (Colorado State University, USA)
- Michaël Rusinowitch (LORIA-INRIA Nancy, France)
- Natalia Stakhanova (University of New Brunswick, Canada)
- Chamseddine Talhi (École de Technologie Supérieure, Canada)
- Nadia Tawbi (Université Laval, Canada)
- Lingyu Wang (Concordia University, Canada)
- Edgar Weippl (SBA Research, Austria)
- Lena Wiese (Georg-August Universität Göttingen, Germany)
- Xun Yi (RMIT University, Australia)
- Nur Zincir-Heywood (Dalhousie University, Canada)
- Mohammad Zulkernine (Queen's University, Canada)

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

More info at: http://fps2018.encs.concordia.ca/


**********************************************************
*
* 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] IWR School 2018, October 8-12, 2018, Heidelberg

The Interdisciplinary Center for Scientific Computing (IWR) of
Heidelberg University will organize the IWR School 2018 "Advances
in Mathematical Optimization", October 8-12, 2018.

The short courses given by

- Tobias Achterberg, Gurobi
- Hans Georg Bock, Heidelberg University
- Christian Kirches, Technical University of Braunschweig
- Ekaterina Kostina, Heidelberg University
- Martine Labbé, Université Libre de Bruxelles and INRIA
- Gerhard Reinelt, Heidelberg University
- Andrea Tramontani, CPLEX Optimization, IBM Italy
- Stephen J. Wright, University of Wisconsin-Madison

will cover fundamental concepts, latest innovations and
many practical applications of continuous, discrete and mixed-integer
optimization as well as of optimal control and game theory.

Registration deadline: August 31, 2018.

For further information and registration please visit the website
of the IWR School 2018 at

http://www.iwr.uni-heidelberg.de/events/iwr-school-2018

--
Prof. Dr. Ekaterina Kostina
Institute for Applied Mathematics
Heidelberg University
Im Neuenheimer Feld 205
69120 Heidelberg
Germany


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

Thursday, August 23, 2018

[DMANET] CfP - EvoApplications 2019

The 22nd International Conference on the Applications of
Evolutionary Computation, April 24–26 2019, Leipzig, Germany.

http://www.evostar.org/2019/

EvoApplications invites high quality contributions for its 22nd edition,
which will be held as part of the EvoStar 2019 event in Leipzig, Germany,
April 2019 and co-located within EvoStar with three related conferences:
EuroGP, EvoCOP and EvoMUSART.

EvoApplications will focus on following thematic areas:
- Games
- Image & Signal Processing, Vision & Pattern recognition
- Life Sciences
- Networks & Distributed Systems
- Neuroevolution & Data Analytics
- Numerical Optimization - Theory, Benchmarks and Applications
- Robotics
- Social Sciences and Economics
- Soft & Hard Engineering

Please do not be deterred if your work does not fit into any of these,
as new areas will arise depending on submissions. Just ensure you select
the appropriate keywords to classify your paper.


SUBMISSION, PRESENTATION, AND PUBLICATION DETAILS

This year EvoApplications is accepting two kinds of submission: full papers
and short papers. Full papers require novel and complete research work and
have a limit of 16 pages. Short papers should present complete research and
interesting preliminary results and have a limit of 8 pages. Both types of
submission will undergo the same double-blind review process and all accepted
papers will be included in the LNCS proceedings. All authors of accepted
papers will be given the opportunity to further disseminate their work in
poster sessions.

- Page limit: 8 pages (short papers) or 16 pages (full papers).
- Submission format: Springer LNCS
– Review process: double-blind. Please ensure to anonymize your submission.
- Presentation format
-- Long talks: 20 minutes + 5 min questions. Authors can optionally bring a
poster to present at the poster session.
-- Short talks: 10 minutes, no questions. Authors MUST also bring a poster to
present at the poster session.
-- Short papers are only eligible for short talks. Authors of long papers
will be notified in advance of the type of presentation (short/long).
- Submission link: https://myreview.saclay.inria.fr/evoapps19/


IMPORTANT DATES

- Submission Deadline: November 1, 2018
- Notification: January 3, 2019
- Camera-ready: January 15, 2019
- EvoStar dates: 24-26 April 2019


LOCATION

The city of Leipzig is located in the north-east of Germany, about 160km
south of Berlin. Situated at the crossing of two major medieval trading
routes, Via Imperii connecting Italy with the North and Via Regia connecting
East and West, it was once considered as one of the major European centers of
trade, culture and learning. Today Leipzig is an easily likeable, green and
young city with a rich cultural diversity. Particularly in the city center
one can find many beautiful historical buildings from different architectural
periods, museums and parks. Also, lovers of classical music appreciate
Leipzig due to the impact of Bach and Mendelsohn-Bartholdy, who lived in the
city for important parts of their lives.


ORGANIZATION

EvoApplications Coordinator
Paul Kaufmann, Mainz University, Germany

EvoApplications Publication Chair
TBA

Evo* Local Chair:
Hendrik Richter, Leipzig University of Applied Sciences, Germany


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

[DMANET] Two postdoc positions on Algorithmic and Mechanism Design Research in Online Markets at Sapienza University of Rome

*Two postdoc positions within the ERC Advanced Grant project "Algorithmic
and Mechanism Design Research in Online Markets" (AMDROMA) led by Stefano
Leonardi are available at Sapienza University of Rome. The project AMDROMA
considers research questions in algorithms and mechanism design that are
central for today's Internet economy. The focus of the work will be on the
development of new methods in research areas such as algorithmic mechanism
design, online and approximation algorithms, modelling uncertainty in
algorithms and mechanisms, and large-scale algorithmic data analysis. The
project also intends to apply the new methods to solve specific problems in
Internet advertisement, sharing economy, and online labour
marketplaces.Each postdoctoral researchers will be associated to one or
more of the three areas of investigation of AMDROMA: i) market and auction
design, ii) models of uncertainty and algorithmic learning, iii)
large-scale matching and clustering methods. The research will primarily
focus on theoretical investigation, data driven modeling, and experimental
validation. Postdocs of AMDROMA are expected to contribute in defining
research problems of interest of the project, finding and analyzing novel
solutions, writing research papers, and collaborating with PhD students and
other postdoctoral researchers. Applicants should hold a PhD or be close
to complete a PhD in computer science, computer engineering, or related
fields. There are two levels for the position: Junior and Senior
Postdoctoral Researcher. Fresh PhDs will be considered for the first level
and everybody else for both levels.The position can start as soon as
possible. The positions can be extended up to three years. Salary is
competitive at the European level. Applications including a CV and a
statement of research should be sent to Stefano Leonardi
leonardi@diag.uniroma1.it <leonardi@diag.uniroma1.it>preferably before
September 30th, 2018.*

**********************************************************
*
* 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, August 22, 2018

[DMANET] Reminder: Two Postdoctoral Scholar Positions at Ben-Gurion University

Up to two postdoctoral scholar positions are available at the Computer
Science Department, Ben-Gurion University of the Negev, Israel, supervised
by Meirav Zehavi (https://sites.google.com/site/zehavimeirav/). The
candidate will join the project ``New Horizons in Kernelization'', funded
by the Israel Science Foundation (ISF).

Note: Review of candidates has already begun and will continue until both
positions are filled. For the first position, the deadline is *August 31*
and decisions will be made in September.


The starting date is flexible but not earlier than October 1, 2018. The
position is for one year with the possibility of renewal. Applicants with
solid background in areas such as algorithm design (including but not
limited to parameterized algorithms and approximation algorithms),
computational complexity, discrete mathematics, graph theory or
computational geometry are welcome to apply. The candidates are expected to
have a competitive publication record.

Applications should be sent to zehavimeirav@gmail.com. Include: Cover
Letter (motivation and background, 1-2 pages), short research statement, CV
+ list of publications, and full contact details of 2-3 referees.

**********************************************************
*
* 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, August 21, 2018

[DMANET] Postdoctoral Positions at IST Austria

The Distributed Algorithms and Systems Group at IST Austria has two open
postdoctoral positions. We are broadly interested in distributed computing
and its applications to distributed systems, with a focus on distributed
optimization and machine learning.


The positions are part of the ScaleML ERC Starting Grant project, whose
goal is to develop new theory, algorithms, and systems for scalable machine
learning. The ideal candidate would have a strong background in CS, with a
PhD in distributed computing or a related field. Applicants with experience
in optimization theory or distributed systems implementation are
particularly encouraged, although all strong applicants will be given
proper consideration.


For questions about the positions and the application process, please
contact dan.alistarh@ist.ac.at. The application should contain a CV,
publication list, a 1-page statement describing motivation and research
interests, and links to your top two or three publications.

The Institute of Science and Technology Austria (IST Austria) is a young
international institute dedicated to basic research and graduate education
in the natural and mathematical sciences, located on the outskirts of
Vienna. IST Austria is committed to equality and diversity.

**********************************************************
*
* 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] XIV Summer School in Discrete Mathematics. Valparaiso, Chile

-----------------------------------------------------------
XIV Summer School in Discrete Mathematics. Valparaiso, Chile
(XIV Escuela de Verano en Matemáticas Discretas)
http://eventos.cmm.uchile.cl/discretas2019/
Dates: January 7-11, 2019.
------------------------------------------------------------

The school is aimed to students in mathematics, sciences and engineering
interested in algorithms, computer science, combinatorics, optimization,
games, and their applications. The courses are oriented towards graduate and
advance undergraduate students.

------------------------------------------------------------
Place: Instituto de Sistemas Complejos de Valparaiso (http://www.iscv.cl/),
Valparaiso, Chile.
------------------------------------------------------------

Courses:

Sébastien Bubeck, Microsoft Research, USA
"Metrical Task Systems and k-Server via Convex Optimization"

Fedor V. Fomin, University of Bergen, Norway
"Introduction to Parameterized Algorithms"

Christos Papadimitriou, U Columbia, USA
"Computational Problems in the Study of the Brain"

------------------------------------------------------------
Application deadline: September 28.
The accepted students will receive financial aid enough to cover local
expenses in Valparaiso. More info at
http://eventos.cmm.uchile.cl/discretas2019/postulaciones/
------------------------------------------------------------
--
José Verschae
Director Instituto de Ciencias de la Ingeniería
Universidad de O'Higgins

**********************************************************
*
* 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 Access Journal Special Section on Wirelessly Powered Networks (deadline 30 September)

IEEE Access Journal - Impact Factor (2017): 3.557
Special Section on Wirelessly Powered Networks: Algorithms, Applications
and Technologies
Submission Deadline: 30 September 2018
Submit manuscript to: http://mc.manuscriptcentral.com/ieee-access

IEEE Access invites manuscript submissions in the area of Wirelessly
Powered Networks: Algorithms, Applications and Technologies.

Wireless Power Transfer (WPT) is, by definition, a process that occurs
in any system where electrical energy is transmitted from a power source
to a load without the connection of electrical conductors. WPT is the
driving technology that will enable the next stage in the current
consumer electronics revolution, including battery-less sensors, passive
RF identification (RFID), passive wireless sensors, the Internet of
Things and 5G, and machine-to-machine solutions. WPT-enabled devices can
be powered by harvesting energy from the surroundings, including
electromagnetic (EM) energy, leading to a new communication networks
paradigm, the Wirelessly Powered Networks.

While recent advances in wireless utensils appear to be unlimited, the
dependence of their operation on batteries remains a weakness, mainly
because batteries come with a limited lifetime and require a fast charge
time to achieve continuous operation. This is where the technologies of
WPT become useful, bringing together wireless energy and data
transmission. WPT technologies substitute the traditional powering
concept, where a cable or a battery is connected to the wireless device,
by the transmission of energy over the air in an efficient way to
power-up the device.

Wirelessly Powered Networks have recently evolved into a very active
research field, as well as a topic of rapid technological progress,
emerging practical developments and standardization activities. However,
a solid foundational, technological, and applied background is still
necessary for Wirelessly Powered Networks to achieve their full
potential. The provisioning of relevant technological models,
algorithmic design and analysis methods, networking principles, circuit
and system design, and application methodologies is a challenging task.
This Special Section in IEEE Access invites academic and industrial
experts to make their contributions on Wirelessly Powered Networks. It
will selectively span a coherent, large spectrum of fundamental aspects
of WPT, and will focus on three main thematic pillars and relevant
themes: Algorithms, Applications and Technologies.

The topics of interest include, but are not limited to:

Algorithms
- Optimization and approximation algorithms (mobility/energy/data
management)
- Joint operation scheduling (routing, data gathering, ambient
harvesting)
- Precise algorithmic models and efficient distributed protocols
- WPT devices deployment
- Safety provisioning through EM radiation control algorithms
- Peer-to-peer and crowd charging algorithms
- Algorithms for simultaneous wireless information and power transfer
(SWIPT)

Applications
- Medical implants and wearable devices
- Automotive technology and electric vehicles
- Mobile communications, wireless sensor networks and UAVs
- Spacecraft engineering
- Home/Industrial appliances
- Standardization, regulations and biological effects
- Solutions for SWIPT

Technologies
- RF energy harvesting, rectennas and rectenna arrays
- High-frequency rectifying circuits, power transmitters and devices
- Near-field (inductive, resonant) energy transfer
- Microwave transmission and beaming
- Novel materials, fabrication techniques
- Energy storage elements, RFID-related electronics and self-powered
sensors
- Measurement and characterization approaches for WPT components

We also highly recommend the submission of multimedia with each article
as it significantly increases the visibility, downloads, and citations
of articles.

Associate Editor:
- Theofanis P. Raptis, National Research Council, Italy

Guest Editors:
- Nuno Borges Carvalho, University of Aveiro, Portugal
- Diego Masotti, University of Bologna, Italy
- Lei Shu, Nanjing Agricultural University, China / University of
Lincoln, UK
- Cong Wang, Old Dominion University, USA
- Yuanyuan Yang, Stony Brook University, USA

Website:
http://ieeeaccess.ieee.org/special-sections/wirelessly-powered-networks-algorithms-applications-and-technologies/
For inquiries regarding this Special Section, please contact the
Associate Editor.
**********************************************************
*
* 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 in Bioinformatics Algorithms

The Shamir lab at Tel Aviv University is inviting applications for
postdoctoral positions in development of algorithms for deep sequencing
data.

We seek a highly creative, independent, strongly motivated researcher to
join our Computational Genomics group at the School of Computer Science
(acgt.cs.tau.ac.il). The lab works on high throughput genomics, medical
informatics, gene regulation, and cancer analysis using methodologies. The
postdoc will collaborate with group members on developing
resource-efficient algorithms for analysis of deep sequencing data, using
combinatorial algorithms, graph theory and probability.

Strong background in theoretical computer science and ability and
willingness to program are required.
Additional background in bioinformatics or biology is preferred
but not essential.

Starting date: asap.

Please send your CV and have three reference letters sent directly to:
gilit@post.tau.ac.il


-----------------
Prof. Ron Shamir
Sackler Professor of Bioinformatics
School of Computer Science
Tel Aviv University
Tel Aviv, 69978
ISRAEL
-------------------------
email: rshamir@tau.ac.il
website: http://www.cs.tau.ac.il/~rshamir/
group website: http://acgt.cs.tau.ac.il
---------------------------------
+972-3-640-5391 secretary
+972-3-640-5383 office
+972-3-640-5394 lab
+972-3-640-5384 fax (personal)
+972-3-640-9373 fax (school)
-------------------------------
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Monday, August 20, 2018

[DMANET] Faculty Positions in the Department of Industrial and Operations Engineering at the University of Michigan

The Department of Industrial and Operations Engineering at the University
of Michigan invites applications and nominations for faculty positions
beginning September 2019.

We seek outstanding candidates for faculty positions at all ranks. We will
be considering candidates in all areas of Industrial and Operations
Engineering including Operations Research, Analytics, Data Science, Human
Factors, Machine Learning, and related disciplines. Candidates must have a
Ph.D. and must demonstrate a strong commitment to high-quality research and
evidence of teaching potential.

Candidates should provide (i) a current C.V., (ii) a list of references;
and one-page summary statements describing: (iii) career teaching plans,
(iv) research plans, and (v) course (teaching) evaluations for candidates
with prior teaching experience. Candidates are strongly encouraged to
describe their commitments to diversity, equity, and inclusion in their
teaching and/or research statements. Please submit your application to the
following:

Please submit your application to the following:

Web: ioe.engin.umich.edu/careers/faculty-opening

Candidates should have their references send three recommendations to us
directly at IOEFacultySearch@umich.edu. The deadline for ensuring full
consideration of applications is October 17, 2018, but the positions will
remain open, and applications may still be considered until appointments
are made.

Michigan Engineering's vision is to be the world's preeminent college of
engineering serving the common good. This global outlook, leadership focus,
and service commitment permeate our culture. Our vision is supported by a
mission and values that, together, provide the framework for all that we
do. Information about our vision, mission and values can be found at:
strategicvision.engin.umich.edu/. <http://strategicvision.engin.umich.edu/>

We seek candidates who will provide inspiration and leadership in research
and actively contribute to teaching. We are especially interested in
candidates who can contribute, through their research, teaching and
service, to the diversity and excellence of the academic community and who
will build collaborative ties with other departments within the College of
Engineering and the University. The University of Michigan is responsive to
the needs of dual career families.

If you have any questions regarding the web application submittal process
or other inquiries, please contact Rebekah Smith, rebsmith@umich.edu.

The University of Michigan is a non-discriminatory, affirmative action
employer.

--
Jon Lee
Industrial and Operations Engineering Department
1205 Beal Avenue
University of Michigan
Ann Arbor, MI 48109-2117
USA

jonxlee@umich.edu
http://umich.edu/~jonxlee

Tel. 1-734-615-7259
Fax. 1-734-764-3451

**********************************************************
*
* 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] ACAI 2018 - Call for Participation

The late registration deadline (July 27th) is today.
http://acai2018.unife.it/

The Advanced Course on AI (ACAI) is a specialized course in Artificial Intelligence sponsored by EurAI. The 2018 edition will be in Ferrara, Italy on August 27th - 31st 2018, save the date!
The theme of the 2018 ACAI School is Statistical Relational Artificial Intelligence (StarAI).
StarAI is an emerging area that combines logical (or relational) AI and probabilistic (or statistical) AI.

Relational AI deals very effectively with complex domains involving many and even a varying number of entities connected by complex relationships, while statistical AI manages well the uncertainty that derives from incomplete and noisy descriptions of the domains. Both fields achieved significant successes over the last thirty years but evolved largely independently until about fifteen years ago, when the potential originating from their combination started to emerge. Statistical Relational Learning (SRL) was proposed for exploiting relational descriptions in statistical machine learning methods from the field of graphical models. Meanwhile, the scope of SRL was significantly advanced in StarAI to cover all forms of reasoning and models of AI. StarAI is nowadays an ample area encompassing many and diverse approaches.

The school includes courses on foundations of relational and statistical AI together with advanced courses on the new StarAI approaches and applications. The talks will provide theoretical background, practical examples and real applications where StarAI can play a role. Hands-on classes will be also organized where the main StarAI techniques will be applied to 'small' examples.

The list of confirmed lectures is:

Luc De Raedt: Probabilistic Programming
Paolo Frasconi: Kernels and deep networks for structured data
Sebastian Riedel and Pasquale Minervini: Differentiable Program Interpreters
Artur d'Avila Garcez: Neural-symbolic learning
Marco Lippi: Applications of Statistical Relational Artificial Intelligence
Sriraam Natarajan: Human-in-the-loop Statistical Relational Learning
Mathias Niepert and Alberto García Durán: Multi-Modal Neural Link Prediction
Kristian Kersting: Lifted Statistical Machine Learning
Fabrizio Riguzzi: Probabilistic Inductive Logic Programming
Vaishak Belle: Effective Probabilistic Logical Reasoning and Learning in Continuous Domains


Up to date information can be found at the event website
http://acai2018.unife.it/.

ACAI 2018 is part of the Relational Artificial Intelligence Days 2018 (RAID 2018, http://raid2018.unife.it/ ), which will be held in Ferrara, Italy, on August 27th 2018 - September 4th 2018. RAID includes, besides ACAI 2018, also:
- PLP 2018: 5th Workshop on Probabilistic Logic Programming, September 1st 2018, http://stoics.org.uk/plp/plp2018/ ;
- ILP 2018: 28th International Conference on Inductive Logic Programming, September 2nd - 4th 2018, http://ilp2018.unife.it/ .

Probabilistic Logic Programming (PLP) addresses the need to reason about relational domains under uncertainty arising in a variety of application domains. PLP is part of a wider current interest in probabilistic programming. PLP 2018 aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications.

The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has significantly expanded and it welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches.

RAID 2018 offers a very good opportunity to get up to date with the latest trends in logical and relational AI. We really hope to meet you in Ferrara!

Organizers
Kristian Kersting, TU Darmstadt, Germany
Marco Lippi, University of Modena and Reggio Emilia, Italy
Sriraam Natarajan, University of Texas at Dallas, USA
Fabrizio Riguzzi, University of Ferrara, Italy
Elena Bellodi, University of Ferrara, Italy
Tom Schrijvers, KU Leuven, Belgium
Riccardo Zese, University of Ferrara, Italy

[DMANET] [ EXTENDED DEADLINE ] Qshine 2018 - 14th EAI International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness

CALL FOR PAPERS

=================================================
Qshine 2018 - 14th EAI International Conference on
Heterogeneous Networking for Quality, Reliability,
Security and Robustness

December 3-4, 2018
Ho Chi Minh City, Vietnam

Submission Deadline [ EXTENDED ]: 31st August, 2018
http://qshine.org
=================================================

*** About EAI ***
This event is organized by EAI. EAI – European Alliance for Innovation is a non-profit organization and a professional community established in cooperation with the European Commission to empower the global research and innovation, and to promote cooperation between European and International ICT communities. EAI's vision is to foster excellence in research and innovation on the principles of transparency, objectivity, equality, and openness. Our guiding principle is community cooperation to create better research, provide fair recognition of excellence and transform best ideas into commercial value proposition. EAI's mission is to create an environment that rewards excellence transparently, and builds recognition objectively regardless of age, economic status or country of origin, where no membership fees or closed door committees stand in the way of your research career. Through these shared values, EAI leads the way toward advancing the world of research and innovation, empowering individuals and institutions for the good of society to fully benefit from the digital revolution.

*** Scope ***
Computer networking has been embracing increased heterogeneity since its inception, in terms of the range of the applications it has to support, the various communication technologies it can run on, and the hierarchical, hybrid and heterogeneous techniques it has to rely on to meet the challenges from both the diverse application requirements and communication technologies. The only conference focusing on heterogeneous networking, Qshine has been established as the primary venue for researchers and practitioners to disseminate exchange and discuss all recent advances related to heterogeneous networking, particularly for quality, experience, reliability, security and robustness.Original submissions, not under any concurrent reviews, are solicited in all areas related to heterogeneous wired, wireless and hybrid networks varying from sensor, vehicle, cellular, ad hoc, enterprise, datacentre, to service-provider and overlay networks, ranging from in/on-body, personal/local/metropolitan/wide-area, to intra/inter-planetary scales.

*** Publication notes ***
All registered papers will be published by Springer and made available through SpringerLink Digital Library. Qshine proceedings are indexed in leading indexing services, including Ei Compendex, ISI Web of Science, Scopus, CrossRef, Google Scholar, DBLP, as well as EAI's own EU Digital Library (EUDL).
Authors of selected papers will be invited to submit an extended version to Mobile Networks and Applications (MONET) Journal (IF: 3.259) (https://www.springer.com/engineering/signals/journal/11036).
All accepted authors are eligible to submit an extended version in a fast track of EAI Endorsed Transactions on Mobile Communications and Applications (http://eudl.eu/journal/mca).
Additional publication opportunities:
-EAI Transactions series (Open Access) (https://eai.eu/#!/publish/journals)
-EAI/Springer Innovations in Communications and Computing Book Series (https://eai.eu/#!/publish/eai-springer-book-series)

*** Topics ***
Topics of interest include, but are not limited to, the following:
-Quality-of-Service (QoS) provisioning: architectures, protocols, mechanisms
-Quality of Experience (QoE): user-perceived quality, cost-sensitive experience
-Reliability and Scalability: performance, adaptation, cognition, extensibility
-Security and Privacy: system/network security, user privacy/accountability
-Robustness: fault/disruption/disaster-tolerance, resilience, survivability
-Cross-Layer Design, Optimization and Implementation: spectrum/energy efficiency
-Social and Economic Perspectives: incentive, pricing, billing, governance
-New Applications and Communication Technologies: IoTs, cloud, smart grid, and SDN
-Machine learning for resource allocation in wireless networks

For further details about topics of interest, please visit the following link: http://qshine.org/initial-submission/

*** Important Dates ***
Full Paper Submission deadline: 3 July 2018
Full Paper Submission EXTENDED DEADLINE: 31st August 2018
Notification deadline: 3 September 2018
Camera-ready deadline: 3 November 2018
Start of conference: 3 December 2018
End of conference: 4 December 2018

*** Instructions for submission ***
Please visit the following link for submission instructions
http://qshine.org/initial-submission/


**********************************************************
*
* 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, August 17, 2018

[DMANET] FOCS 2018 - Second Call for Participation

===================================
FOCS 2018 - Second Call for Participation
===================================

https://www.irif.fr/~focs2018/ <https://www.irif.fr/~focs2018/>


The 59th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2018) will take place in Paris, France, on 7-9 October 2018, with workshops and tutorials on October 6.

The program is now available, together with the list of the workshops/tutorials (as well as a list of a number of co-located events), on the conference webpage.

Early registration rate ends September 9, 2018.

All scientific and local information, and a link to the registration page, can be found at https://www.irif.fr/~focs2018/ <https://www.irif.fr/~focs2018/> .

Looking forward to seeing you in 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] Special issue of EJCO on Bilevel Optimisation - Call for papers

Special issue of the EURO Journal on Computational Optimization on Bilevel Optimization

Bilevel Programming is a fairly recent branch of optimization that deals with programs whose constraints embed an auxiliary optimization problem. Bilevel programs are pervasive and are commonly found in a number of real-world problems. This includes problems in the domains of transportation, energy, economics, decision science, environmental economics, etc. Efficient exact or approximate solution algorithms for such problems must exploit the structure of the problems at hand.

The aim of the special issue is to invite high-quality manuscripts addressing bilevel optimization problems and presenting convincing numerical results.

Possible topics include, but are not restricted to:

• Linear, convex, nonlinear, mixed integer bilevel optimization

• Equilibrium problems

• Stackelberg games

• Energy applications

• Transportation and location applications

• Pricing problems

• Interdiction and fortification problems.

Following the journal high standards, we expect high quality contributions that will undergo the strict reviewing process of EJCO.

Submission deadline is September 30, 2018.

In order to submit a paper for the special issue,

1. Log on the editorial manager using the <Author Login> via the website

https://www.editorialmanager.com/ejco/

2. Select <Submit New Manuscript> in the main menu.

3. In the drop down list associated with <Choose Article Type> select the desired special issue

(« SI: Bilevel Optimisation »). Note that all entries corresponding to the special issues start with SI.

We are looking forward to receiving your contributions.

The Guest Editors

Luce Brotcorne, INRIA Lille

Bernard Fortz, Université Libre de Bruxelles and INRIA Lille

Martine Labbé, Université Libre de Bruxelles and INRIA Lille

**********************************************************
*
* 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 positions in Warsaw (algorithms)

We announce

one-year postdoc positions (with possible extensions)

at the Institute of Informatics, University of Warsaw, Poland. The
positions are supported by the ERC Starting Grant CUTACOMBS: "Cuts and
decompositions: algorithms and combinatorial properties" led by Marcin
Pilipczuk and by the ERC Consolidator Grant TUgbOAT: "Towards Unification
of Algorithmic Tools" led by Piotr Sankowski.

The CUTACOMBS' focus is on structural graph theory and parameterized
complexity. Example topics include:
* structure of separations in directed graphs, with applications to
parameterized algorithms;
* approximability of the disjoint paths problem in various settings;
* structure of hereditary graph classes, such as graph excluding a fixed
graph as induced subgraph, with algorithmic and graph-theoretical
applications.
More information about the project can be found at
http://cutacombs.mimuw.edu.pl/.

The TUgbOAT's focus is to work on algorithms for core algorithmic problems.
Example topics include:
* faster algorithms for matchings and maximum flow problems;
* optimal online algorithms (when comparing to online opt);
* analyzing structure of real world networks and exploiting it
algorithmically.

The theoretical computer science group in Warsaw is strong and growing.
Apart from the algorithms group specializing in parameterized and
approximation algorithms (Marek Cygan, Łukasz Kowalik, Marcin Mucha, Marcin
Pilipczuk, Michał Pilipczuk, Piotr Sankowski), we have also a leading
research group in logic and automata (Mikołaj Bojańczyk, Bartosz Klin,
Sławomir Lasota).

We are looking for outstanding candidates with a Ph.D. (or soon to obtain a
Ph.D.) in Computer Science or Mathematics who have already proven their
high scientific potential in the area of algorithms or graph theory through
publications in proceedings of highly ranked international conferences
and/or journals. Background in the specific areas of projects in question
will be an advantage.

The gross annual salary is around 100,000PLN. For comparison, this
translates to around twice the average salary in Poland. The position comes
with a generous travel support and no teaching duties.

The application deadline is 10th September 2018. The starting date is
flexible, but not earlier than 1st November 2018.

To apply, send a CV both to Marcin Pilipczuk (malcin@mimuw.edu.pl) and
Piotr Sankowski (sank@mimuw.edu.pl). Please indicate your preference with
regards to the project. Questions and informal inquiries are welcome.

**********************************************************
*
* 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 on Parity Games

We are looking for a motivated and enthusiastic individual to work on
the project Solving Parity Games in Theory and Practice with Sven
Schewe, John Fearnley, and Dominik Wojtczak. The project is in
collaboration with the University of Warwick. Our vibrant team also
includes a number of PhD students and international visitors.

You can enjoy developing theories, algorithms, and tools for solving
parity games or related games, such as mean payoff games. You should
have a relevant PhD and an excellent track record of international
publications in theoretical computer science, automata and game
theory, verification, synthesis, and/or tool development. The post is
available until 31 July 2020. The deadline for application is 29
August 2018.

For full details and to apply online, please visit: https://goo.gl/VQt8dt

Any questions, please write to Sven (sven.schewe@liverpool.ac.uk),
John (john.fearnley@liverpool.ac.uk), or Dominik
(d.wojtczak@liverpool.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] PreDoc University Assistant Position in Combinatorial Optimization @ TU Wien, Austria

PreDoc University Assistant position in the Algorithms and Complexity
Group, TU Wien, Austria

The Algorithms and Complexity Group at TU Wien
(https://www.ac.tuwien.ac.at) invites applications for a PhD candidate
Assistant position. The position is for a duration of four years and is
paid according to pay scale B1 at 25 hours per week (minimum salary
currently EUR 1.746,60, 14x/year).

The successful candidate has excellent knowledge in algorithmics,
interest in combinatorial optimization with exact methods, heuristic
techniques and/or machine learning, and will contribute to the research
and teaching (e.g., Algorithms and Data Structures, Heuristic
Optimization Techniques). German language skills are appreciated.

The deadline for applications is September 6, 2018.

Application details can be found in paragraph 246.4.2 of
https://tiss.tuwien.ac.at/mbl/blatt_struktur/anzeigen/10308#p246.4.

For more information please contact:
Günther Raidl <raidl@ac.tuwien.ac.at>.

--
+- Guenther Raidl -+
+- Institute of Computer Graphics and Algorithms, TU Wien -+
+- http://www.ac.tuwien.ac.at | phone: +43(1)58801/18616 -+
**********************************************************
*
* 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/
*
**********************************************************