Friday, April 29, 2016

[DMANET] Deadline extension: 10th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF) New York, USA, during July 9-11, 2016 in conjunction with IJCAI-16.

The submission deadline of the 10th Multidisciplinary Workshop on
Advances in Preference Handling (M-PREF) at IJCAI 2016 has been
extended by one week. The new deadline is now *May 8th*.

M-PREF is a non-archival venue and there will be no published
proceedings. However, informal proceedings will be provided at the
workshop and the papers will be posted on the website. Therefore it
will be possible to submit to other conferences and journals both in
parallel and subsequent to M-PREF 2016.

======================================================================
CALL FOR PAPERS:

10th Multidisciplinary Workshop on
Advances in Preference Handling (M-PREF)
New York, USA, during July 9-11, 2016
in conjunction with IJCAI-16.

http://www.mpref-2016.preflib.org
======================================================================

Preference handling has become a flourishing topic. There are many
interesting results, good examples for cross-fertilization between
disciplines, and many new questions.

Preferences are a central concept of decision making. As preferences
are fundamental for the analysis of human choice behavior, they are
becoming of increasing importance for computational fields such as
artificial intelligence, databases, and human-computer interaction as
well as for their respective applications. Preference models are
needed in decision-support systems such as web-based recommender
systems, in automated problem solvers such as configurators, and in
autonomous systems such as Mars rovers. Nearly all areas of artificial
intelligence deal with choice situations and can thus benefit from
computational methods for handling preferences. Preference handling is
also important for machine learning as preferences may guide learning
behavior and be subject of dedicated learning methods. Moreover,
social choice methods are also of key importance in computational
domains such as multi-agent systems.

This broadened scope of preferences leads to new types of preference
models, new problems for applying preference structures, and new kinds
of benefits. Preferences are studied in many areas of artificial
intelligence such as knowledge representation & reasoning, multi-agent
systems, game theory, social choice, constraint satisfaction, decision
making, decision-theoretic planning, and beyond. Preferences are
inherently a multi-disciplinary topic, of interest to economists,
computer scientists, operations researchers, mathematicians and more.

This workshop promotes this broadened scope of preference handling and
continues a series of events on preference handling at AAAI-02,
Dagstuhl in 2004, IJCAI-05, ECAI-06, VLDB-07, AAAI-08, ADT-09,
ECAI-2010, ECAI-2012, IJCAI-13, AAAI-14, and IJCAI-15. At the
previous edition of ADT-15 and LPNMR-15, which were co-located, one of
the conclusions was that collaboration between the two areas can be
very fruitful and should be fostered.

The workshop will provide a forum for presenting advances in
preference handling and for exchanging experiences between researchers
facing similar questions, but coming from different fields. The
workshop builds on the large number of AI researchers working on
preference-related issues, but also seeks to attract researchers from
databases, multi-criteria decision making, economics, etc.


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

The workshop on Advances in Preference Handling addresses all
computational aspects of preference handling. This includes methods
for the elicitation, learning, modeling, representation, aggregation,
and management of preferences and for reasoning about preferences. The
workshop studies the usage of preferences in computational tasks from
decision making, database querying, web search, personalized
human-computer interaction, personalized recommender systems,
e-commerce, multi-agent systems, game theory, social choice,
combinatorial optimization, planning and robotics, automated problem
solving, perception and natural language understanding and other
computational tasks involving choices. The workshop seeks to improve
the overall understanding of and best methodologies for preferences in
order to realize their benefits in the multiplicity of tasks for which
they are used. Another important goal is to provide
cross-fertilization between the numerous sub-fields that work with
preferences.

* Preference handling in artificial intelligence
* Preference handling in database systems
* Preference handling in multiagent systems
* Applications of preferences
* Preference elicitation
* Preference representation and modeling
* Properties and semantics of preferences
* Practical preferences


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

*May 8th*, 2016: Workshop paper submission deadline.
May 20th, 2016: Notification on workshop paper submissions.
June 1st, 2016: Camera-ready copy due to organizers.
July 9th, 10th, or 11th, 2016: M-PREF'16 Workshop.


=====================================================================
SUBMISSION
=====================================================================

Researchers interested in preference handling from AI, OR, DB, CS or
other computational fields may submit a paper formatted according to
the IJCAI Formatting Instructions and up to 6 pages in length + 1 page
for references in PDF format. Workshop submissions and camera ready
versions will be handled by EasyChair. Feel free to submit either
anonymized or non-anonymized versions of your work. We have enabled
anonymous reviewing so EasyChair will not reveal the authors unless
you chose to do so in your submission.

At least one author from each accepted paper must register for the
workshop. Please see the IJCAI 2016 Website for information about
accommodation and registration.

Link to the paper submission page on EasyChair:

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


======================================================================
WORKSHOP CHAIRS
======================================================================

Markus Endres, University of Augsburg (Germany)
Nicholas Mattei, Optimization Research Group, Data 61 (NICTA) and
University of
New South Wales (Australia)
Andreas Pfandler, TU Wien (Austria) and University of Siegen (Germany)

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

Thomas Allen, University of Kentucky
Stefano Bistarelli, Università di Perugia
Sylvain Bouveret, LIG - Grenoble INP
Darius Braziunas, Kobo Inc.
Jan Chomicki, University at Buffalo
Paolo Ciaccia, University of Bologna
James Delgrande, Simon Fraser University
Matthias Ehrgott, Lancaster
Gabor Erdelyi, Universitaet Siegen
Johannes Fürnkranz, TU Darmstadt
Judy Goldsmith, University of Kentucky
Ulrich Junker
Souhila Kaci, LIRMM
Jérôme Lang, LAMSADE
Nicolas Maudet, Université Pierre et Marie Curie
Vincent Mousseau, LGI, Ecole Centrale Paris
Patrice Perny, LIP6
Maria Silvia Pini, University of Padova
Francesca Rossi, University of Padova and Harvard University
Scott Sanner, University of Toronto
Alexis Tsoukias, CNRS - LAMSADE
Kristen Brent Venable, Tulane University and IHMC
Paolo Viappiani, CNRS and LIP6, Univ Pierre et Marie Curie
Toby Walsh, UNSW and Data61/NICTA
Antonius Weinzierl, Vienna University of Technology
Paul Weng, SYSU-CMU JIE
Lirong Xia, RPI
Neil Yorke-Smith, American University of Beirut
Yong Zheng, DePaul University

**********************************************************
*
* 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] Horst Sachs 1927-2016

Dear colleagues:

Many of you will be saddened to hear that Horst Sachs has died. He passed away on 25 April 2016, having turned 89 only a few weeks before, on 27 March. - Sachs founded the graph theory school in Ilmenau, which served as an important link between east and west during the iron curtain time and afterwards. More than a hundred scientific papers, among them the seminal book on graph spectra (with Doob and Cvetkovic), established his excellent international reputation. After his retirement in 1992 until his last months he continued his research and showed up regularly at the institute.

Thomas Böhme - Jochen Harant - Matthias Kriesell - Michael Stiebitz

**********************************************************
*
* 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] META'2016 Special Session CfP (Optimization methods for the design of production systems)



*Special Session Call for Papers*

*META'2016 Special Session on *
Optimization methods for the design of production systems

*International Conference on Metaheuristics and Nature Inspired
Computing (META'2016)*

*27-31 Oct 2016 Marrakech, Morocco*

​*SCOPE*

Getting the highest performances with the lowest costs while respecting
environmental constraints is one of the most important concerns of the
designers of production and assembly systems. In addition to that, numerous
sub-problems may be considered in the design procedure such as: buffers
sizing, equipment selection, line balancing, etc. The aim of this session
is to introduce heuristic and metaheuristic optimization methods developed
to get an efficient design of production systems. We will focus on studies
that propose approached optimization techniques to solve various design
problems. Regarding the optimization approaches, single criterion and multi
criteria optimization approaches could be presented.

The topics of this session, but are not limited to, are:


- Manufacturing systems design: buffers sizing, equipment selection,
line balancing, reliability, eco-design, etc
- New heuristic and metaheuristic approaches for manufacturing systems
- Single criterion and multi-criteria optimization methods.



​*IMPORTANT DATES*
- *May 6, 2016*: Paper submission deadline

- *June 3, 2016*: Notification to the authors​

​*SUBMISSION GUIDELINES*

This special session will be held as part of the META'16 conference. Please
submit your paper using the online submission system, as described in the
instructions for authors. During the submission process you should indicate
that the paper is for a special session, which is: '*Metaheuristics for
software engineering*'. Detailed instructions for submitting the papers are
provided on the conference home page at:
http://meta2016.sciencesconf.org/

*​CATEGORIES OF SUBMISSIONS *
Several categories of submissions may be accepted:

- *S1*: Extended abstracts of work-in-progress and position papers
of a maximum of 3 pages
- *S2*: Original research contributions of a maximum of 10 pages
- *S3*: High-quality manuscripts that have recently, within the
last year, been submitted or accepted for journal publication

*CONFERENCE PROCEEDINGS *
​​
Accepted papers in categories *S1* and *S2* will be published in the
proceedings that will be available at the conference. In addition, a
post-conference Springer book and special issue of Journals is planned to
be published. Participants will be invited to submit extended versions of
their work for consideration.

*SPECIAL SESSION ORGANIZERS:*
*​​*

- Dr. Taha Arbaoui (ICD-LOSI, University of Technology of Troyes, France.
taha.arbaoui@utt.fr)
- Prof. Farouk Yalaoui
(
​ICD-LOSI, ​
University of Technology of Troyes,
​ France.​
farouk.yalaoui@utt.fr
)
- Prof. Mustapha Nourelfath (
Department of Mechanical Engineering, Laval University, Quebec, Canada
​.
mustapha.nourelfath@gmc.ulaval.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] Final CfP: Matheuristics 2016

Matheuristics 2016
---
Sixth International Workshop on Model-based Metaheuristics


EXTENDED DEADLINE: May 4, 2016

4-7 September, 2016. Brussels, Belgium

More details and up-to-date information at
iridia.ulb.ac.be/matheuristics2016


Scope of the Workshop
======================


The Matheuristics workshop series is proposed as a primary forum for
researchers working on exploiting mathematical programming techniques
in a (meta)heuristic framework, granting to mathematical programming
approaches the problem robustness and time effectiveness that
characterize heuristics, or exploiting the mathematical programming
model formulation in the customization of a heuristic for specific or
general problems.

Metaheuristics such as tabu search, simulated annealing, GRASP, VNS,
genetic algorithms and ant colonies, have been originally proposed and
developed when the available Mixed Integer Programming (MIP)
algorithms and software or Constraint Programming methods were not an
efficient or even feasible alternative for solving real-world problem
instances, or significant subproblems thereof.

However, research on mathematical programming, and in particular on
discrete optimization, has led to a state of the art where MIP solvers
or customized MIP codes can be effective even in a heuristic context,
both as primary solvers or as subprocedures.

Matheuristics 2016 aims at collecting contributions that define the
state of the art for the computational effectiveness and efficiency or
the theoretical properties of matheuristics, which are algorithms
and codes that integrate metaheuristics and MIP strategies and
software. The workshop will be entirely devoted to this subject of
research and its applications. The conference program will consist of
plenary presentations, enriched by a couple of keynote or tutorial
lectures. Topics of interest include (but are not limited to):

- Model-based metaheuristics,
- Hybridizing (meta)heuristics and exact methods,
- MIP techniques used for defining heuristic solvers (such as local branching and RINS),
- Problem relaxations to guide (heuristic) search,
- Information from exact algorithms to develop heuristics,
- Decompositions and lower/upper bounds in matheuristic codes,
- Stochastic programming and heuristic search,
- Metaheuristics for stochastic problems,
- Design and configuration of matheuristic algorithms,
- Experimental analysis and modeling of algorithms,
- Real world case histories of matheuristic applications, and
- Automatic configuration of matheuristics and algorithm selection among others.

Although we do not discard their importance, Matheuristics 2016 is not
interested in heuristics tailored to a specific problem that have no
element which can be generalized to other problems (no matter how
mathematically sophisticated they are) nor in metaheuristics variants
or implementations that are not justified by a mathematical model.


Submission Instructions
========================

Submissions to Matheuristics 2016 should be comprehensive and self-contained,
and relevant to the topic of the workshop.

Submissions can be done in one of three categories:

* Contributed article of up to 12 pages. These will be distributed in
informal proceedings for the workshop.
* Short abstracts of up to 4 pages. Abstracts should be extensive enough
to let referees judge the quality and relevance of the work.
* Work that has recently been published or submitted elsewhere (journal or
high-quality conferences) and is relevant for the workshop for oral
presentation only (free format).

The submission site is open and submissions can be done at
https://easychair.org/conferences/?conf=matheuristics2016


Publication Details
====================

The workshop will have informal proceedings that are distributed
through the Matheuristics 2016 webpage.

The post-conference publication will happen through a special issue
in the journal International Transactions in Operational Research (ITOR).


Further Information
====================

Up-to-date information will be published on the web site
iridia.ulb.ac.be/matheuristics2016. For information about local
arrangements, registration forms, etc., please refer to the
above-mentioned web site or contact the local organizers at the
address below.

Matheuristics 2016 will be organized back-to-back with ANTS 2016,
http://iridia.ulb.ac.be/ants2016/ and the two conferences will
share an invited talk and coffee breaks.


Workshop Address
================

Matheuristics WORKSHOP
IRIDIA, CP 194/6 Tel +32-2-6502729
Universite' Libre de Bruxelles Fax +32-2-6502715
Av. F. D. Roosevelt 50 iridia.ulb.ac.be/matheuristics2016
1050 Bruxelles, Belgium email: matheuristics@iridia.ulb.ac.be


Workshop Location
=================

Universite Libre de Bruxelles, Brussels, Belgium.


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

Submission deadline May 4, 2016
Notification of acceptance June 12, 2016
Camera ready copy June 30, 2016
Early registration June 30, 2016
Workshop September 4-7, 2016
ITOR special issue October 15, 2016


Matheuristics Committee
============================

General Chair

Thomas Stuetzle, IRIDIA, CoDE, ULB, Brussels, Belgium

Programme Chairs

Thomas Stuetzle, IRIDIA, CoDE, ULB, Brussels, Belgium
Vittorio Maniezzo, Universita di Bologna, Italy

Organisation Committee

Alberto Franzin, IRIDIA, ULB, Brussels, Belgium
Federico Pagnozzi, IRIDIA, ULB, Brussels, Belgium
Leslie Perez Caceres, IRIDIA, ULB, Brussels, Belgium

**********************************************************
*
* 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] KaHiP v1.0 -- Karlsruhe High Quality Graph Partitioning

Release of KaHiP v1.00
------------------------------------

We are proud to announce the release of a major update of our graph
partitioning framework KaHiP (Karlsruhe High Quality Graph
Partitioning). KaHiP is a family of high quality graph partitioning
programs. It contains various graph partitioning algorithms that can be
configured to either achieve the best known partitions for many standard
benchmark instances or to be a good tradeoff between partition quality
and running time. Since our first major release we added:

- advanced multilevel node separator algorithms based on max-flow
min-cut computations
- better support for social networks and web graphs by using
clustering-based contractions
- size-constraint label propagation
- a java interface as well as some bug fixes

The software is released under the GPL 3.0 License.

* open source implementation / website
http://algo2.iti.kit.edu/kahip

* github
https://github.com/schulzchristian/KaHIP

We are glad for any comments and error reports (or even bug fixes) that
you send us.

Peter Sanders and Christian Schulz,
Karlsruhe Institute of Technology (KIT)
**********************************************************
*
* 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, April 28, 2016

[DMANET] RTIS 2016

First International Conference on Real Time Intelligent Systems (RTIS
2016)
Beijing, China
September 01-03, 2016)
http://www.socio.org.uk/rtis/
http://www.dirf.org/rtis/

The Proceedings will be published in the Proceedings of the First
International Conference on Real-Time Intelligent Systems, Volume 1 RTIS
2016. (http://www.springer.com/series/11156)

About the Conference

Real-Time Computing covers a broad spectrum of the intensively
developing area of low-latency priority-driven system responsiveness
under certain time constrains to essential and decisive human-computer
interactions with constantly incoming data stream. Research on real-time
intelligent systems is of a multi-disciplinary nature, exploiting
concepts from the areas as diverse as signal processing technologies,
computational intelligence, location systems, data processing, digital
document processing and embedded system design. To accomplish its
real-time performance, systematic analysis is carried out when the
systems are working.

Therefore, over the last few years real-time intelligent computing has
radically transformed human life style. In the today's competitive and
highly dynamic environment, analyzing data in real time is a must to
understand in detail how the systems are processing the data and to
reason the outputs and anticipate the trends in intelligent computing,
has become critical.

To leverage the full potential of the opportunity build complex real
time systems, intense research is required and this conference will
serve as one such platform to manifest the ongoing research in the real
time intelligence system.
The conference welcomes theoretically grounded, methodologically sound
research papers from academia and industry that address variety of
aspects and innovations related to real-time computing systems.

The scope of the conference includes, but is not limited to the
following areas:

Streaming data, streaming engines
Big Data systems and applications for high-velocity data
Analysis in advanced domains such as energy, sensors, etc
Artificial Intelligence
Broadband Intelligence
Cloud Computing and Intelligence
Collaborative Intelligence
Crowdsourcing and crowd intelligence
Data capture in real-time
Intelligent Database Systems
Data mining
Intelligent Data Analysis
OLAP for real-time decision support
Data quality and cleansing
Intelligent Fuzzy Systems
Event-driven analytics
Visualizing real-time data and information
Intelligent Soft Computing
Privacy and security in Intelligence
Architectures for Intelligence
Internet of Things
Intelligent Robotic Systems
Smart Services and Platforms
Intelligent Transportation Systems
Mobile Smart Systems
Trace-based intelligent real-time services (eye-tracking, image
tracking)
Real-time intelligent alert systems
Machine translation in real time
Multilingual information access
Multiagent Intelligent Systems
Intelligent Information Systems
Adaptive vision algorithms
Real-time Intelligent Network solutions
Real-time distributed coding
Real-time modelling user's information needs
Real-time noise removal systems
Real-time intelligent communication
Real-time remote access systems
Decision support systems in real time
Real-time multiprocessor systems

Submissions at: http://www.socio.org.uk/rtis/paper-submission/

The Proceedings will be published in the Proceedings of the 1st
International Conference on Real-Time Intelligent Systems, Volume 1 RTIS
2016. (http://www.springer.com/series/11156)

Important Dates

Paper Submission: June 15, 2016
Paper Notification: July 05, 2016
Camera ready: August 01, 2016
Registration: August 15, 2016
Conference Dates: September 01-03, 2016

The RTIS will have Doctoral Consortium, DEMO Session, Journal Track,
Mentorship Programme, Ph.D. Dissertation Competition, Proofread
translation program
and Virtual Presentation (Video Conferencing)

The following journals will accommodate the extended versions of the
papers.

-Artificial Intelligence in Medicine
-Engineering Applications of Artificial Intelligence – The International
Journal of Intelligent Real-Time Automation
-Computers in Human Behaviour
-Virtual Reality
-The Journal of Intelligent Systems
-Journal of Digital Information Management (JDIM)
-International Journal of Imaging & Robotics
-International Journal of Tomography & Simulation

Submissions at: http://www.socio.org.uk/rtis/paper-submission/
CONTACT: rtis at socio.org.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] SAGT 2016 - Second Call for Papers

9th INTERNATIONAL SYMPOSIUM ON ALGORITHMIC GAME THEORY

SAGT 2016

http://sagt16.csc.liv.ac.uk/

Liverpool, UK, September 19-21, 2016

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

IMPORTANT DATES

- Submission: May 13, 2016.
- Notification: July 1, 2016.
- Camera ready: July 15, 2016.

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

The 9th International Symposium on Algorithmic Game Theory (SAGT) will
take place in Liverpool, UK, September 19-21, 2016. The purpose of SAGT
is to bring together researchers from Computer Science, Economics,
Physics, Biology and Mathematics to present and discuss original
research at the intersection of Algorithms and Game Theory.

The program of SAGT will include both invited talks and presentations
for refereed submissions. Confirmed invited speakers are

- Constantinos Daskalakis, MIT
- Olivier Gossner, LSE and École Polytechnique
- Kurt Mehlhorn, MPI Informatik


SUBMISSIONS
-----------

Authors are invited to submit previously unpublished work on any aspects
of algorithmic game theory for possible presentation at the conference.
For more detailed call for papers, submission guidelines and
instructions see http://sagt16.csc.liv.ac.uk/cfp.html.

It is expected that every accepted paper will be presented at the
symposium by one of the authors.

The submission is done via Easychair:
https://www.easychair.org/conferences/?conf=sagt2016.


STUDENT SUPPORT
---------------

We are delighted to announce that funding for students is available for
SAGT 2016. The purpose is to enable graduate students to travel and
participate in the conference.

For eligibility and registration details of travel support see
http://sagt16.csc.liv.ac.uk/studentsupport.php


PROGRAM COMMITTEE
-----------------
- Yakov Babichenko, Technion
- Umang Bhaskar, TIFR
- Yang Cai, McGill
- Xi Chen, Columbia U.
- Paul Duetting, ETH Zürich
- Edith Elkind, U. Oxford
- Martin Gairing, U. Liverpool (co-chair)
- Gagan Goel, Google
- Paul Goldberg, U. Oxford
- Tobias Harks, Augsburg U.
- Max Klimm, TU Berlin
- Kostas Kollias, Google
- Sebastien Lahaie, MSR New York City
- Pascal Lenzner, HPI Potsdam
- Stefano Leonardi, Sapienza U.
- Troels Bjerre Lund, ITU Copenhagen
- David Manlove, U. Glasgow
- Ruta Mehta, U. Illinois Urbana-Champaign
- Vangelis Markakis, AUEB
- Britta Peis, RWTH Aachen U.
- Ron Peretz, Bar-Ilan U.
- Georgios Piliouras, SUTD
- Maria Polukarov, U. Southampton
- Rahul Savani, U. Liverpool (co-chair)
- Marco Scarsini, LUISS Rome
- Alexander Skopalik, Paderborn U.
- Eric Sodomka, Facebook
- Orestis Telelis, U. Piraeus


STEERING COMMITTEE
------------------
- Elias Koutsoupias, U. Oxford
- Marios Mavronicolas, U. Cyprus
- Dov Monderer, Technion
- Burkhard Monien, Paderborn U.
- Christos Papadimitriou, UC Berkeley
- Giuseppe Persiano, U. Salerno
- Paul Spirakis, U. Liverpool (chair)


ORGANIZING COMMITTEE
--------------------
- Eleftherios Anastasiadis, U. Liverpool
- Giorgos Christodoulou (chair), U. Liverpool
- Argyrios Deligkas, U. Liverpool
- Tobenna Peter Igwe, U. Liverpool
- Grammateia Kotsialou, U. Liverpool
- Alkmini Sgouritsa, U. 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] SIROCCO 2016 final call for papers - one week to deadline

SIROCCO 2016
23rd International Colloquium on Structural Information and
Communication Complexity
19-21 July 2016, Helsinki, Finland
http://sirocco2016.hiit.fi/


CALL FOR PAPERS


DATES

- Submission deadline: 6 May 2016 (Friday), at 23:59, anywhere on earth

- Notification of acceptance: 9 June 2016 (Thursday)

- Conference: 19-21 July 2016 (Tuesday-Thursday)


THEME

SIROCCO is devoted to the study of the interplay between communication
and knowledge in multi-processor systems from both the qualitative and
quantitative viewpoints. Special emphasis is given to innovative
approaches and fundamental understanding, in addition to efforts to
optimize current designs.

SIROCCO has a tradition of interesting and productive scientific
meetings in a relaxed and pleasant atmosphere, attracting leading
researchers in a variety of fields in which communication and knowledge
play a significant role.


SCOPE

Original papers are solicited from all areas of study of local
structural knowledge and global communication and computational
complexities. Among the typical areas are distributed computing,
communication networks, game theory, parallel computing, social
networks, mobile computing (including autonomous robots), peer to peer
systems, and communication complexity. Keeping with the tradition of
SIROCCO, new areas are always welcome.


PAPER SUBMISSION

Papers are to be submitted electronically through EasyChair at

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

Authors are invited to submit their work in one of the three acceptable
formats: novel research contributions, position papers, and surveys.
Original research papers must contain results that have not previously
appeared and have not been concurrently submitted to a journal or
conference with published proceedings. In all cases, any partial overlap
with any published or concurrently submitted paper must be clearly
indicated.

All submissions must be in English, in PDF format. You can use either of
the following layouts for your submissions:

- Cover page + 10 pages + references, letter or A4 paper, single column,
at least 11-point font, at least 1-inch margins, reasonable line spacing.

- 12 pages + references, LIPIcs or LNCS style.

Additional details may be included in an appendix, to be read at the
programme committee's discretion.


PROCEEDINGS

The post-proceedings of SIROCCO 2016 will be published by Springer in
the Lecture Notes in Computer Science series (LNCS) after the conference.

We will also prepare an informal pre-proceedings volume with
author-prepared versions of the papers. The pre-proceedings will be
freely available online on the conference web page before the conference.


SPECIAL ISSUE

Selected papers from SIROCCO 2016 will be invited to a special issue of
the Theoretical Computer Science journal.


BEST PAPER AWARD

The authors of the best paper will be awarded a prize of 1000 EUR (in
total, to be split among the authors), sponsored by Springer. The
program committee may choose to split the award among multiple papers.


PROGRAMME COMMITTEE

- Leonid Barenboim, Open University of Israel, Israel
- Jeremie Chalopin, LIF, CNRS & Aix Marseille Universite, France
- Yuval Emek, Technion, Israel
- Paola Flocchini, University of Ottawa, Canada
- Pierre Fraigniaud, CNRS & Universite Paris Diderot, France
- Janne H. Korhonen, Reykjavik University, Iceland
- Evangelos Kranakis, Carleton University, Canada
- Christoph Lenzen, MPI for Informatics, Germany
- Friedhelm Meyer auf der Heide, Heinz Nixdorf Institute & University of
Paderborn, Germany
- Danupon Nanongkai, KTH Royal Institute of Technology, Sweden
- Calvin Newport, Georgetown University, USA
- Gopal Pandurangan, University of Houston, USA
- Merav Parter, MIT, USA
- Peter Robinson, Queen's University Belfast, UK
- Thomas Sauerwald, University of Cambridge, UK
- Stefan Schmid, Aalborg University, Denmark
- Jukka Suomela, Aalto University, Finland, chair
- Przemyslaw Uznanski, ETH Zurich, Switzerland


CONFERENCE HIGHLIGHTS

- Keynote speaker: Yoram Moses

- Invited speakers: Keren Censor-Hillel, Adrian Kosowski, Danupon
Nanongkai, Thomas Sauerwald

- Award lecture: Masafumi (Mark) Yamashita, the recipient of the 2016
SIROCCO Prize for Innovation in distributed computing


MORE INFORMATION

Please refer to the conference web page at http://sirocco2016.hiit.fi/
for more information on SIROCCO 2016.
**********************************************************
*
* 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] Multiple Lecturer Positions at University of Rochester

Dear Colleagues,

The University of Rochester Dept. of Computer Science is recruiting for two full-time Lecturer in Computer Science positions. The short version of the ad is below, and the full version can be found by scrolling down on the page http://www.cs.rochester.edu/about/recruit.html <http://www.cs.rochester.edu/about/recruit.html>

Also, separately, the University of Rochester's Institute for Data Science (which is a close partner to the CS department, and we'll share a new building both will move into in 2017) is recruiting for one full-time Lecturer in Data Science and Computer Science. The ad for that can be found at https://www.rochester.edu/data-science/jobs.html

If these fit you and are of interest to you, please rush to your browser and apply!! (And in case after reading the long versions of the ads you have questions about these positions, fyi the chairs of the CS department and the data science institute are, respectively, Prof. Sandhya Dwarkadas (dwarkadas@cs.rochester.edu) and Prof. Henry Kautz (kautz@cs.rochester.edu).)

Sincerely,
Lane A. Hemaspaandra, URCS (the short version of the CS ad is included below)

Lecturer Positions in Computer Science

The University of Rochester Department of Computer Science seeks applicants for two full time lecturer positions. Candidates must have a PhD in computer science or a related discipline and/or significant teaching experience. The preferred candidate will have college teaching experience, a strong commitment to working with students, the ability and passion to help develop new courses along with any necessary labs, and high personal motivation and responsibility. The position may start as early as July 1, 2016.

Candidates should supply a letter of interest, curriculum vitae, and the names of 3 references. Apply online at https://www.rochester.edu/faculty-recruiting/login

For more information about the University of Rochester Computer Science Department, please visit: http://www.cs.rochester.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] WAOA 2016 - First Call for Papers

=================================================================
WAOA 2016 - First Call for papers

14th Workshop on Approximation and Online Algorithms
http://conferences.au.dk/algo16/waoa/

August 25-26, 2016. Aarhus, Denmark
=================================================================
Important Dates

Submission deadline: June 12th, 2016
Notification: July 17th, 2016
Workshop: August 25-26, 2016
Camera Ready: October 16th, 2016

====================================================================
Invited Speakers:

Marek Cygan, University of Warsaw, Poland.

Ronald de Wolf, CWI and University of Amsterdam, Netherlands.

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

Scope:

Algorithms have become a fundamental tool in several fields outside of Computer Science,
and in several applications algorithms have to cope with computationally hard problems
and problems in which the input is gradually disclosed over time.
The workshop focuses on the design and analysis of approximation and online algorithms.

WAOA 2016 will be part of ALGO 2016 (http://conferences.au.dk/algo16/home/),
which also hosts ESA, ALGOCLOUD, ALGOSENSORS, ATMOS, IPEC, WABI and MASSIVE.
ALGO 2016 will take place 22-26 August 2016 in Aarhus, Denmark.

Topics
Papers are solicited in all research areas related to approximation and online algorithms,
including, but not limited to:

-algorithmic game theory
-algorithmic trading
-coloring and partitioning
-competitive analysis
-computational advertising
-computational finance
-cuts and connectivity
-geometric problems
-graph algorithms
-inapproximabilty results
-mechanism design
-network design
-packing and covering
-paradigms for the design and analysis of approximation and online algorithms
-parameterized complexity
-real-world applications
-scheduling problems

====================================================================
Publication:

Proceedings will be published after the workshop takes place in the
Springer series Lecture Notes in Computer Science.
Instructions for authors can be found at Springer web site (www.springer.com/lncs).

Submission guidelines:

Authors are invited to submit an extended abstract or full paper of at most 12 pages
in Springer's LNCS style (please add page numbers) describing original unpublished research.
Simultaneous submission to other conferences with published proceedings is not permitted.
The title page of the submission should include the authors' full names, addresses, e-mail addresses,
and an abstract summarizing the results in roughly 100-200 words; the remainder of the submission
should contain a description of the main results and an explanation of their importance.
The submission must include a full proof of the results, part of which can be placed in the appendix,
whose length is not constrained.
Papers should be submitted electronically via the EasyChair submission system at:

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

The WAOA proceedings will be published in the Lecture Notes in Computer Science series by Springer-Verlag.
Each accepted paper will be allotted 12 pages in the proceedings.

By submitting a paper the authors acknowledge that in case of acceptance
at least one of the authors must register at ALGO 2016 or WAOA 2016,
attend the conference, and present the paper.


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

Per Austrin, KTH Sweden
Nikhil Bansal, Eindhoven University of Technology
Jose Correa, Universidad de Chile
Marek Cygan, University of Warsaw
Mike Fellows, University of Bergen
Samuel Fiorini, Université libre de Bruxelles
Naveen Garg, IIT Delhi
Fabrizio Grandoni, IDSIA Switzerland
Luciano Gualà, University of Rome "Tor Vergata"
Jochen Koenemann, University of Waterloo
Klaus Jansen (co-chair), University of Kiel
Monaldo Mastrolilli (co-chair), IDSIA Switzerland
Nicole Megow, TU München
Ben Moseley, Washington University
Vangelis Paschos, University Paris-Dauphine
Andreas S. Schulz, TU München
Roberto Solis-Oba, Western University
Rob van Stee, University of Leicester
Leen Stougie, Vrije Universiteit & CWI Amsterdam
Ola Svensson, EPFL Switzerland


**********************************************************
*
* 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, April 27, 2016

[DMANET] CFP Workshop PADABS 2016 - EuroPar'16 - Final Remainder

Call for Papers: PADAB 2016
4th Workshop on Parallel and Distributed Agent-Based Simulations
http://www.padabs.org <http://www.padabs.org./>
August 22nd or 23th, 2016, Grenoble (France), jointly with Euro-Par
2016, August
22-26th,
https://europar2016.inria.fr

Important Dates
============
- Workshop papers due: May 6, 2016
- Workshop author notification: June 17, 2016
- Workshop: August 22/23, 2016
- Workshop camera-ready papers due: October 3, 2016

Organizers
=========
- Vittorio Scarano (Universita' degli Studi di Salerno, Italy), chair
- Gennaro Cordasco (Seconda Universita' di Napoli, Italy)
- Paul Richmond (University of Sheffield, UK)
- Carmine Spagnuolo (Universita' degli Studi di Salerno, Italy)

Program Committee (tentative)
========================
- Maria Chli (Aston University, United Kingdom)
- Claudio Cioffi-Revilla (George Mason University, USA)
- Biagio Cosenza (TU Berlin, Germany)
- Nick Collier (Argonne National Laboratory, USA)
- Rosaria Conte (CNR, Italy)
- Andrew Evans, (University of Leeds, United Kingdom)
- Bernardino Frola (The MathWorks, Cambridge, UK)
- Joanna Kolodziej (Cracow University of Technology and AGH University of
Science and Technology, Cracow, Poland)
- Nicola Lettieri (Universita' del Sannio e ISFOL, Italy)
- Sean Luke (George Mason University, USA)
- Michael North (Argonne National Laboratory, USA)
- Mario Paolucci (CNR, Italy)
- Paul Richmond (The University of Sheffield, United Kingdom)
- Arnold Rosenberg (Northeastern University, USA)
- Flaminio Squazzoni (University of Brescia, Italy)
- Michela Taufer (University of Delaware, USA)


Objectives of the Workshop
=====================
Agent-Based Simulation Models are an increasingly popular tool for research
and
management in many fields such as ecology, economics, sociology, etc..
In some fields, such as social sciences, these models are seen as a
key instrument to the generative approach, essential for understanding
complex social
phenomena.
But also in policy-making, biology, military simulations, control of
mobile robots and economics, the relevance and effectiveness of Agent-Based
Simulation Models is recently recognized.
Computer science community has responded to the need for platforms
that can help the development and testing of new models in each specific
field by
providing tools, libraries and frameworks that speed up and make massive
simulations possible.The key objective of this Third Workshop on
Parallel and Distributed
Agent-Based Simulations is to bring together the researchers that are
interested
in getting more performances from their simulations, by using synchronized,
many-core
simulations (e.g., GPUs), strongly coupled, parallel simulations (e.g. MPI)
and
loosely coupled, distributed simulations (distributed heterogeneous
setting).
Several frameworks have been recently developed and are active in this
field.
They range from the GPU-Manycore approach, to Parallel, to Distributed
simulation environments. In the first category, you can find FLAME GPU, that
allows also non GPU specialists to harness the GPUs performance for real
time simulation and visualization. For tightly-coupled, large computing
clusters and supercomputers
a very popular framework is Repast for High Performance Computing
(REPAST-HPC),
a C++ based modeling system. On the distributed side, recent work on
Distributed Mason, allows non specialists to use heterogeneous hardware and
software in local area networks for enlarging the size and speeding up the
simulation of complex Agent-Based models.

Topics of interest
=============
- Frameworks for parallel/distributed ABSs.
- Case studies of ABSs in parallel/distributed settings, with an emphasis
on the technical implementation, architectural choices and their impact on
performances.
- Benchmark parallel/distributed ABSs.
- Open benchmark models contributing towards OpenAB initiative (
www.openab.org).
- Debugging parallel/distributed ABSs.
- Formal methods and algorithms for ABSs in parallel/distributed models.
- Load Balancing algorithms, techniques and frameworks.
- Management and deployment of parallel/distributed ABSs.
- Visualization of parallel/distributed ABSs.

Paper submission
==============
The papers will be presented in the regular format (10 pages LNCS format)
and will be reviewed, anonymously by at least 3 reviewers of the Program
Committee.
Acceptance will depend upon scientific value, originality and relevance to
the Workshop theme. Euro-Par Workshops Proceedings will be published by
Springer in the Lecture
Notes for Computer Science series after the Workshops. Submissions and
reviewing will be through EasyChair via https://europar2016.inria.fr.

Workshop Co-Chairs
===============
- Vittorio Scarano: vitsca@dia.unisa.it
- Gennaro Cordasco: gennaro.cordasco@unina2.it
- Paul Richmond: p.richmond@sheffield.ac.uk
- Carmine Spagnuolo: cspagnuolo@unisa.it

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

[DMANET] 2-year PostDoc or 3-year PhD position at the University of Innsbruck

2-year PostDoc or 3-year PhD position at the University of Innsbruck
======================================================================

Within the research unit Computation with Bounded Resources at the
University of Innsbruck, Austria there is an opening for a 2 year
position as postdoctoral researcher or a 3 year position as PhD
student. The position is funded by the ANR-FWF project "The fine
structure of proof systems and their computational interpretations"
(FISP for short). The research unit is part of the Computational
Logic Group of the Department of Computer Science.

The objective of FISP is to apply the powerful and promising
techniques from structural proof theory to central problems in
computer science for which they have not been used before, especially
the understanding of the computational content of proofs, the
extraction of programs from proofs and the logical control of refined
computational operations. Its primary objective is to build new
concrete computational interpretations of proof systems based on the
techniques developed in the STRUCTURAL project (2011-2013).

A strong background in the themes of the FISP project is an asset.
Candidates with a strong theoretical background in related areas are
also encouraged to apply. Candidates for the postdoc position are
required to hold a PhD degree; candidates for the PhD position must
have a Master's or equivalent degree.

Candidates are expected to contribute to research within the project.
Knowledge of German is not required. The annual gross salary is
approximately EUR 50.200 for the postdoc position and EUR 28.600 for
the PhD position.

Applications (including CV, publication list, and two references) may
be sent by email, to the research unit leader Georg Moser at

georg.moser@uibk.ac.at

no later than May 31, 2016. Informal inquiries are also welcome at the
same email address.

The city of Innsbruck is superbly located in the beautiful
surroundings of the Tyrolean Alps. The combination of the Alpine
environment and urban life in this historic town provides a high
quality of living.

Further information is available from the following links:

*) Project FISP:

http://cl-informatik.uibk.ac.at/research/projects/the-fine-structure-of-formal-proof-systems-and-the/
*) Computation with Bounded Resources Research Unit
http://cbr.uibk.ac.at/
*) Computational Logic Group
http://cl-informatik.uibk.ac.at/
**********************************************************
*
* 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] WG 2016 - Call for participation

WG 2016: CALL FOR PARTICIPATION

42nd International Workshop on Graph-Theoretic Concepts in Computer Science
June 22-24, Istanbul, Turkey

http://www.ie.boun.edu.tr/~wg2016/

*Early Registration Deadline: May 24, 2016*

The WG 2016 conference is the 42nd edition of the WG series. It will
take place on the campus of Bogazici University in Istanbul, Turkey. The
conference will be from Wednesday June 22 to Friday June 24, 2016.
Participants expected to arrive in Istanbul by Tuesday June 21, where we
will have a welcome reception in the evening.

Registration is now open, and accommodation information is available on
the web page of the conference. A list of accepted papers also appears
on the web page.

Hope to see many of you in Istanbul,
Pinar Heggernes

**********************************************************
*
* 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 deadline computational optimization

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

Call for Papers

9th International Workshop on Computational Optimization (WCO 2016)
Gdansk, Poland, September 11 - 14, 2016)

organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2016

http://www.fedcsis.org/

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

We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:

* unconstrained and constrained optimization
* combinatorial optimization
* continues optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
*computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, chemistry, biology, medicine, engineering etc.

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

Important dates:

09.05.2016 (May 09, 2016) – Full paper submission

30.05.2016 (May 30, 2016) - Position paper submission

13.06.2016 (June 13, 2016) – Notification of acceptance

04.07.2016 (July 04, 2016) – Camera-ready version of the accepted paper

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

Submission and Publication


* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 10 pages for full
paper and 4 pages for short papers (IEEE style). IEEE style templates
are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented paper will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s) of Springer Studies of
Computational Intelligence.
====================

If you have any question do not hesitate to send a mail to wco2016@fedcsis.org .

Organizing Committee

Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Daniela Zaharie, West University of Timisoara, Romania
Antonio Mucherino, IRISA, France

--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642

**********************************************************
*
* 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, April 26, 2016

[DMANET] 2nd CfP: REACHABILITY PROBLEMS, RP 2016

REACHABILITY PROBLEMS 2016
----------------------------------------------------------------
The 10th International Workshop on Reachability Problems (RP'16)
19 - 21 September 2016, Aalborg, Denmark

Deadline for submissions: 13 May, 2016
http://rp16.cs.aau.dk/
----------------------------------------------------------------

The 10th Workshop on Reachability Problems will be hosted by
Aalborg University, Denmark. This event will take place in Nordkraft,
a recently reconstructed coal power station located at the harbour
front of Aalborg city centre that serves these days as a cultural
and sport centre of Aalborg.

The Reachability Workshop is specifically aimed at gathering
together scholars from diverse disciplines interested in reachability
problems that appear in algebraic structures, computational models,
hybrid systems, logic and verification.

Invited Speakers:

- Alain Finkel, ENS de Cachan, France
- Axel Legay, INRIA, Rennes Cedex, France
- Jaco van de Pol, University of Twente, Netherlands


Submissions:

Authors are invited to submit a draft of a full paper with at most 12 pages
(in LaTeX, formatted according to LNCS guidelines) via the conference web page.
Proofs omitted due to space constraints must be put into an appendix to be read
by the program committee members at their discretion. Submissions deviating
from these guidelines risk rejection. Electronic submissions should be
formatted in pdf. Simultaneous submission to other conferences or workshops
with published proceedings is not allowed.

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

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


Important Dates

- Submission deadline: 13 May 2016
- Notification to authors: 30 June 2016
- Final version: 11 July 2016
- Workshop: 19 - 21 September 2016


Presentation-Only Track

In addition to regular papers that will appear in our LNCS proceedings, we
invite researchers to apply to give a presentation at RP'16 without an
accompanying paper. Such presentations can be based on work that has appeared
(or which is going to appear) in the proceedings of another conference, or
which has not yet been submitted. These contributions will be judged solely on
the basis of their attractiveness to the workshop.

To apply to give such a presentation please submit a PDF file containing a
short abstract (up to two pages) by e-mail [ rp2016@easychair.org ] by
August 1st 2016, with subject "RP2016 Informal Presentations". This abstract
will not be published in the conference proceedings.
Notification for the presentation-only track will be August 8th 2016.


Proceedings

The Conference Proceedings will be published as the volume of the Springer
Verlag LNCS (Lecture Notes in Computer Science) series and distributed at the
Conference. We plan also to publish selected papers in a special issue of a
high quality journal following the regular referee procedure.


RP'16 Program Committee:

Filippo Bonchi, ENS de Lyon
Tomas Brazdil, Masaryk University Brno
Thomas Brihaye, Université de Mons
Gilles Geeraerts, Université Libre de Bruxelles
Krishnendu Chatterjee, IST Austria
Javier Esparza, Technische Universität München
Kousha Etessami, University of Edinburgh
Stefan Göller, ENS Cachan
Tero Harju, University of Turku
Petr Jancar, Technical University of Ostrava
Sławomir Lasota, University of Warsaw
Kim G. Larsen (co-chair), Aalborg University
Oded Maler, CNRS-VERIMAG
Richard Mayr, University of Edinburgh
Nicolas Markey, ENS Cachan
Pierre McKenzie, Université de Montréal
Igor Potapov (proceedings chair), University of Liverpool
Alexander Rabinovich, Tel Aviv University
Jiri Srba (co-chair), Aalborg University
Igor Walukiewicz, LaBRI Bordeaux
James Worrell, University of Oxford
Lijun Zhang, Chinese Academy of Science


Previous Workshops:

2015: RP'15 in Warsaw, Poland
LNCS proceedings, Volume 9328/2015, Springer Verlag
2014: RP'14 in Oxford, UK
LNCS proceedings, Volume 8762/2014, Springer Verlag
2013: RP'13 in Uppsala, Sweden
LNCS proceedings, Volume 8169/2013, Springer Verlag
2012: RP'12 in Bordeaux, France
LNCS proceedings, Volume 7550/2012, Springer Verlag
2011: RP'11 in Genova, Italy
LNCS proceedings, Volume 6945/2011, Springer Verlag
2010: RP'10 in Brno, Czech Republic
LNCS proceedings, Volume 6227/2010, Springer Verlag
2009: RP'09 in Palaiseau, France
LNCS proceedings, Volume 5797/2009, Springer Verlag
2008: RP'08 in Liverpool, UK
ENTCS proceedings, Volume 223, Elsevier
2007: RP'07 in Turku, Finland
TUCS General Publication Series, Volume 45,
Turku Centre for 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] PhD position in swarm robotics available at UTC (Compiegne - France)

A fully-funded three years PhD position in swarm robotics is available at
the Laboratory of Excellence (LABEX) at the Université de Technologie de
Compiègne (UTC) in France (www.utc.fr/labexms2t).

The successful candidate will work with Dr. Eliseo Ferrante on exciting
topics at the interface between swarm robotics, evolutionary biology, and
statistical physics. The research direction will be managed by Dr. Ferrante
in collaboration with the DIVINA project (
https://www.hds.utc.fr/labex-ms2t-484/news-rubrique/events/DIVINA/?lang=en)
team led by Prof. Vincent Frémont. The PhD is expected to start in Fall
2016.

The accepted candidate will work on a project focusing on the design of
self-organized collective behaviors for performing collective exploration
of a an unknown environment using a swarm of robots and principles of
self-organization. The methods will be based on biological models of
information retrieval and integration, such as distributed decision-making
and collective categorization, which in turns recalls the cognitive mapping
processes in the human brain.
For a description of the research interests of Dr. Ferrante, please visit
his website (https://bio.kuleuven.be/ento/ferrante/).

Graduate students with background in computer science, physics, or biology
and with specialization in artificial intelligence, statistical physics,
computational modeling in biology, or robotics are encouraged to apply.
The candidate is expected to be proficient in programming in languages such
as C++ and Java, and to have solid knowledge of scientific software
packages such as Matlab, R, and/or equivalent. Candidates with experience
with multi-agent simulations will be highly preferred. Fluent English
(written and spoken) is required, and only applications in English will be
accepted. Above all, the applicants must be motivated, autonomous, and able
to learn quickly and work effectively on challenging research problems.

We will begin reviewing candidate's applications starting from June 2016.
To apply, you can send the following documents to Eliseo.Ferrante@hds.utc.fr
and Vincent.Fremont@hds.utc.fr:
- Curriculum vitae
- Motivation letter
- At least two references and/or recommendation letters
- A statement of research experience and interests
- Any research articles authored by the applicant


For any informal enquiry about the eligibility conditions, as well as for
more details about the position, please contact Eliseo Ferrante <
eliseo.ferrante@hds.utc.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] Two Ph.D. Positions at University of Colorado—Boulder

Leeds School of Business at University of Colorado—Boulder invites applications for its Ph.D. program in Operations Management for Fall 2016 admissions. At least two positions are available. The ideal candidate should have a solid background in optimization, linear programming, integer programming and analysis of algorithms. Proficiency in a computer programming language (C, C++, Java, python or Matlab) is preferred. 

Admitted students receive a full tuition waiver, a partial waiver of student health insurance costs, and stipend as long as they are in good standing with the department. Students work approximately 20 hours per week as research and/or teaching assistants in return for support. The 2015-2016 stipend is $25,000 for the nine-month academic year. Summer research fellowships are also available. While the continuation of financial aid is contingent on satisfactory performance, most students are funded for four years. Students may request a fifth year of funding. Fifth-year funding decisions are based a combination of factors including available funds, the student's progress in the program, and the division's support of the student. Further details about the program can be found at: http://www.colorado.edu/business/academic-programs/phd-program

Ranked as the # 5 Best Places to Live in the United States in 2015, Boulder is located at the base of the foot hills of the Rocky Mountain sat an elevation of 5,430 feet (1,655 m). The city is 25 miles (40 km) northwest of Denver. It is famous for its colorful Western history. Furthermore, the city of Boulder frequently acquires top rankings in health, well-being, quality of life, education and art. Check out the link for details:https://bouldercolorado.gov/newsroom/best-of-boulder-community-honors 

Any interested candidate should email a detailed CV to "dan.zhang@colorado.edu" as soon as possible. If it is possible, personal statement, transcripts, GRE, TOEFL and three reference letters should be included as well.

If you have any questions, please contact:

Prof. Dan Zhang

Email: dan.zhang@colorado.edu

Web: http://www.danzhang.com

Prof. Rui Zhang

Email: rui.zhang@colorado.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] AGT@IJCAI 2016: deadline extended to May 3

The deadline of the 2nd Workshop on Algorithmic Game Theory at IJCAI
(http://www.gametheory.polimi.it/agtijcai.html) has been extended to
May 3.

Submission site is now open at
https://easychair.org/conferences/?conf=agtijcai2016.

We remind that there will be no formal publication of workshop
proceedings. Submissions of preliminary work and papers to be
submitted or in preparation for submission to other major venues in
the field are welcomed. In particular, papers published recently in
top AI conferences (e.g., AAMAS16 and AAAI16) can be submitted, and
will be added to the program based on available space and relevance.
**********************************************************
*
* 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] Post-doc positions in Brno, CZ

*** Post-doctoral open call FI MU 2016

The Faculty of Informatics of Masaryk University (FI MU) in Brno,
Czech Republic, http://www.fi.muni.cz/, invites applications for
Post-doctoral positions in all areas of Computer Science.

This includes, in particular, the area of
Structural and Topological Graph Theory and algorithmic metatheorems.
Please contact Petr Hlineny <hlineny@fi.muni.cz> if you are interested
in this particular topic (or can suggest a strong candidate).

* Offer
The positions are awarded for one year with an extension to the second
year after a review. Gross salary is 50,000 CZK per month which, with an
optional 10% bonus, sums to more than 24,000 EUR per year. Additional
funds of 4,000 EUR per year will be available for travel and material
expenses. Expected start date of the contract is September 1, 2016, but
a later start date may be negotiated.

* Deadline for application: May 31, 2016

* Requirements and application procedure
See: http://www.muni.cz/general/employment_offers/31847v
All candidates are expected to be fluent in English, while prior
knowledge of Czech is not required. Candidates will be evaluated on
the ground of their strong international research record.


--
Petr Hlineny <hlineny@fi.muni.cz>
FI MU Brno, CZ

**********************************************************
*
* 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] 2nd call: Assistant prof.position, TU Graz, Austria

2nd call

Open position - Assistant Professor with PhD for 6 years
Graz University of Technology
Institute of Discrete Mathematics
Working Group Structure Theory and Stochastics

Starting date: October 1st 2016.
Requirements: PhD or equivalent university degree in
Mathematics or Technical Mathematics, awarded before
the beginning of the engagement.
Desired qualifictations: scientific work in the fields
of Stochastic Processes (random walks), Graph Theory,
Geometric Group Theory, possibly combining those topics.
Readiness to collaborate in research projects in these
areas.
Teaching duties of at least 4 hours per week per semester,
in particular for Mathematics in the Engineering sciences,
in German (!).

The profile of the position is to a good extent comparable
with that of a Junior Professorship in Germany.

Deadline for applications: May 31, 2016.
For details regarding position and applications, see
http://www.math.tugraz.at/~woess/position

Graz, April 2016, Wolfgang Woess


Institut fuer Diskrete Mathematik,
Technische Universitaet Graz,
Steyrergasse 30, A-8010 Graz, Austria
Tel: ++43 (0)316 8737130
Mobile: ++43 (0)664 60 8737130
Fax: ++43 (0)316 8734507
email: woess@TUGraz.at
http://www.math.TUGraz.at/~woess

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

[DMANET] PhD scholarships at the University of Nottingham Ningbo China

Hello,

The University of Nottingham Ningbo is now open to PhD applications of undertaking research with the new Ningbo Nottingham International Academy for the Marine Economy and Technology (IAMET). It would be appreciated if you can help forward this email to suitable candidates who are interested in Datamining, Optimisation, Artificial Intelligence, logistics and related subjects.

There are PhD scholarships to undertake research projects in the following research areas:

* Data mining/machine learning challenges: large data sets, mixture of data types (including images), data quality and security issues. Data mining will provide input patterns and parameters for the optimization stage.

* Optimisation challenges: dealing with uncertainty, dynamic problems, large scale optimization problem. Heuristics and exact methodologies will be tested, new combinations such as simulation and machine learning will pose technical challenges

* Social challenges - users needs to understand and trust the solution methods or they will not use them optimally. We need to find ways how to translate solutions into good management practices

These scholarships are suited to anyone with an interest in computer science, data mining, logistics, supply chains, operational research and optimization within the context of port, marine, logistics or related city services and sectors. The research projects are multidisciplinary in nature making extensive use of sophisticated methods of solving business problems related to designing, planning, controlling and improving operations and supply chain management processes. The scholarships will be attractive to researchers from a range of industrial, engineering, computer science or management backgrounds.

Students will need either a first class or upper second class honours degree in a relevant subject such as engineering, computer science, logistics, supply chain or operations management or related subjects.

How to Apply:

http://www.nottingham.edu.cn/en/admissions/domestic-students/phdprogramme/how-to-apply/application--assessment-procedure.aspx

Find more details at:

http://www.nottingham.edu.cn/en/admissions/international/pg/phd-programmes/phd-scholarships/iamet-scholarships.aspx

Informal inquiries may be addressed to Professor Uwe Aickelin uwe.aickelin@nottingham.edu.cn<mailto:uwe.aickelin@nottingham.edu.cn>


This message and any attachment are intended solely for the addressee and may contain confidential information.
If you have received this message in error, please send it back to me, and immediately delete it.

Please do not use, copy or disclose the information contained in this message or in any attachment.

Any views or opinions expressed by the author of this email do not necessarily reflect the views of The University of Nottingham Ningbo China.


This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system:
you are advised to perform your own checks.

Email communications with The University of Nottingham Ningbo China may be monitored as permitted by UK and Chinese legislation.

**********************************************************
*
* 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 (MCDMT 2016) - 2nd Workshop on Modeling, Computing and Data Handling for Marine Transportation (in conjuction with IISA 2016) - DEADLINE EXTENDED (May 9, 2016)

----DEADLINE EXTENDED: May 9, 2016----

Call for Papers

2nd Workshop on Modeling, Computing and Data Handling for Marine
Transportation (MCDMT 2016), July 13, 2016, Chalkidiki, Greece

in association with the

7th International Conference on Information, Intelligence, Systems and
Applications  ( IISA 2016 )

(http://iisa2016.unipi.gr/mcdmt/)


Workshop Chairs: Charalampos Konstantopoulos (University of Piraeus,
Greece),  Grammati Pantziou (Technological Educational Institute (T.E.I.) of
Athens, Greece), Stavros Perantonis (National Center for Scientific Research
"Dimokritos")

The Workshop on Modeling, Computing and Data Handling for Marine
Transportation (MCDMT 2016) is going to take place in Chalkidiki, Greece, on
July 13, 2016, in conjunction with the 7th International Conference on
Information, Intelligence, Systems and Applications (IISA 2016). Nowadays,
advancements on Marine Transportation require the synergy of both computer
science and maritime science and the technical focus of the workshop is upon
the latest developments on Computing Methodologies for Marine
Transportation.

Papers with novel theoretical as well as applied research are welcome for
submission. We would like to invite papers addressing research efforts that
aim at making sea transportation more effective and safer, targeting complex
and large-scale optimization problems with conflicting criteria, requiring
innovative solution techniques and ideas from mathematical optimization,
theoretical computer science, massive data analysis and operations research.

Submissions are solicited in, but not limited to, the following areas:

- Graph and Network algorithms for Marine Transportation
- Combinatorial optimization techniques for Marine Transportation
- Weather Routing
- Environmentally Safe Shipping
- Safety and Security of Maritime Shipping
- Risk and Safety Analysis, Assessment and Prediction
- Piracy Protection
- GIS in Maritime Applications
- Spatiotemporal and Marine Data Handling
- Route Planning and Monitoring
- Maritime Data Mining and Knowledge Discovery Applications: surveillance,
maritime traffic control, anomaly detection, emergency management, situation
recognition, etc.
- Decision Support Tools for Marine Transportation
- Integration of Heterogeneous Marine Data Sources


Important Dates

Paper Submission Deadline: May 9, 2016

Paper Acceptance Notification: May 25, 2016

Camera Ready Papers:  June 6, 2016

Workshop Program Committee

Eleni Charou, National Center for Scientific Research "Dimokritos", Greece

Marco Cococcioni, University of Pisa, Italy

Shahin Gelareh, Universite d'Artois, France

Ignacy Kaliszewski, Systems Research Institute, Polish Academy of Sciences,
Poland

Zoe Nivolianitou, National Center for Scientific Research "Dimokritos",
Greece

Meng Qiang, National University of Singapore, Singapore

Joanna Szlapczynska, Gdynia Maritime University, Poland

Yannis Theodoridis, University of Piraeus, Greece

Theodoros Tzouramanis, University of the Aegean, Greece

Zaili Yang, Liverpool John Moores University, UK

George Vouros, University of Piraeus, Greece

Jin Wang, Liverpool John Moores University, UK

Instructions for Authors

Submitted papers should include original work not previously published or
being under consideration in any journal, conference or other workshop.
Papers should be submitted as a pdf file and follow the IEEE CPS format,
according to the general Instructions for Authors of IISA 2016. See the
IISA2016 Instructions for Authors page for appropriate templates for both
Latex and MS Word. Papers for MCDMT 2016 should be submitted through the
general IISA2016 paper submission system (EasyChair).

Accepted papers will be published in the IEEE Proceedings of IISA2016 and
will be included in the IEEE Xplore digital library (IEL,
http://ieeexplore.ieee.org). Authors of accepted papers must guarantee that
their paper will be presented at the workshop.


**********************************************************
*
* 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] Research Fellow position in Network Design and Optimisation

Research Fellow position in Optimisation at the University of Melbourne
Full-time (fixed-term) position available for 2 years
Level B - $92,654 - $110,022 p.a. plus employer superannuation contributions of up to 9.5%
Close date: 11 May 2016

The appointee will work in the Network Design and Optimisation group, which spans three departments at the University of Melbourne: the School of Mathematics and Statistics, the Department of Electrical and Electronic Engineering and the Department of Mechanical Engineering. This group specialises in the mathematical, graph theoretical and algorithmic aspects of optimisation problems occurring in telecommunications, mining and infrastructure networks. The primary function of the appointee will be to conduct fundamental mathematical research on the optimal design of survivable and obstacle avoiding networks. A successful outcome will consist of a deeper understanding of the mathematical structure of optimal networks, and efficient new algorithms and heuristics for network construction.

Online applications are preferred. Go to http://jobs.unimelb.edu.au/caw/en/job/887937/research-fellow-in-optimisation.

**********************************************************
*
* 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, April 25, 2016

[DMANET] PhD positions in Algorithmic Optimization at University of Trier, Germany

The Research Training Group (RTG) "Algorithmic Optimization", funded by
the Deutsche Forschungsgemeinschaft (DFG), is accepting applications for

several doctoral research positions (TVL 13, 75%)
at the University of Trier
for a period of 3 years, beginning July 1, 2016

The research topics are devoted to all mathematical aspects of algorithmic
optimization with an emphasis on applications, in particular in large and
big data as well as systems models from economics. The doctoral research
positions do not involve teaching duties.

At the time of hiring, the applicants must hold a MSc degree (or equivalent)
in mathematics or a strongly related field. They should be able to communicate
in English and document their interest in the scientific goals of the research
program of the Research Training Group. Excellent programming skills are a plus.

Applications should include:

* letter of motivation (no longer than 2 pages)
* curriculum vitae
* a recent letter of reference (in English or German) to be sent directly
to the address given below
* contact information of at least one additional reference
* copies of degrees earned (in German or English translation)
* a mathematical writing sample (preferably the master thesis)

Applications from researchers of all nationalities are welcome. Trier University
strives to increase the share of women in research and strongly encourages women
to apply. Trier University is certified as a family-friendly employer. Provided
equal qualifications are demonstrated, applicants with disabilities will be
preferred.

Please compile all application materials into one pdf or zip-file and send it
via e-mail to:

Graduiertenkolleg ALOP
Mathematik - FB IV Universität Trier
54286 Trier, Germany
Email: alop@uni-trier.de
Subject: RTG ALOP

For full consideration, applications must be received no later than Friday, May 6, 2016;
however, late applications may be considered until the positions are filled.

For more information see: http://www.alop.uni-trier.de

---
Prof. Dr. Mirjam Dür
Department of Mathematics
University of Trier
54286 Trier, Germany
T: +49 651 201 3481
E: duer@uni-trier.de
W: https://www.uni-trier.de/index.php?id=48938

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

[DMANET] PhD position in Geometric Algorithms, University of Lugano

The Faculty of Informatics at the Università della Svizzera italiana
(USI), Lugano, Switzerland, http://www.inf.usi.ch/, invites
applications for a PhD position in the area of algorithms, computational
geometry, spatial decompositions, Voronoi diagrams and applications. The
position is related to the SNF/D.A.CH collaborative project VORONOI++
that already supports another PhD student.

Applicants should have or be close to obtaining a Masters degree in
Computer Science, or related areas, and have an affinity with
algorithms. The ideal candidate should have a keen interest and a strong
background in theoretical computer science, design and analysis of
algorithms, or discrete mathematics. Experience in computational
geometry is most welcome but it is not required. Good programming skills
is a plus. Fluency in English is required.

The selected candidate, together with the USI group on geometric
algorithms http://compgeom.inf.usi.ch/ will perform research related to
all aspects of generalized Voronoi diagrams. Research will focus on the
design and analysis of efficient algorithms, combinatorial issues,
possibly also on application or implementation issues. Voronoi diagrams
are among the most fundamental structures in computational geometry and
they have proved to be powerful tools in solving diverse and seemingly
unrelated computational problems.

Interested candidates should apply by May 15 (with some flexibility, but
please send a notification that you plan to apply as soon as possible,
preferably by May 1st). The Faculty application procedure is described
in
http://www.inf.usi.ch/presentazionetudiare/container_education_phd/dottorato_regolamenti.htm.

The gross salary is roughly 50.000 CHF per year. For further information
please contact Professor Evanthia Papadopoulou, e-mail:
evanthia.papadopoulou@usi.ch, http://www.inf.usi.ch/faculty/papadopoulou/.

--
Prof. Evanthia Papadopoulou
Faculty of Informatics
University of Lugano (USI), Switzerland
Phone: +41(0)58 6664122
http://www.inf.usi.ch/faculty/papadopoulou/

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