Sunday, June 25, 2017

[DMANET] FSTTCS 2017 --- Call for Papers [papers due by July 24]

(apologies for multiple copies/cross posting)

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

37th Annual Conference on Foundations of Software Technology and
Theoretical Computer Science (FSTTCS 2017)
Kanpur, India, December 11 - 15, 2017
----------------

Conference website: http://fsttcs.org/
Submission website: https://easychair.org/conferences/?conf=fsttcs2017

Paper submission deadline: Monday, July 24, 2017 (Anywhere on earth)
Notification to Authors: Monday, September 18, 2017
Camera-ready deadline: Monday, October 16, 2017
Conference: December 11 - 15, 2017


Overview
----
The 37th Foundations of Software Technology and Theoretical Computer
Science (FSTTCS) conference will take place at the Indian Institute of
Technology, Kanpur, during December 11 (Mon) - 15 (Fri), 2017, under the
auspices of the Indian Association for Research in Computing Science
(IARCS). Submissions presenting original results in foundational aspects
of Computer Science and Software Technology are invited. Representative
areas include, but are not limited to, the following.

- Algorithms and Data Structures
- Algorithmic Graph Theory and Combinatorics
- Approximation Algorithms
- Automata and Formal Languages
- Combinatorial Optimization
- Communication Complexity
- Computational Biology
- Computational Complexity
- Computational Geometry
- Computational Learning Theory
- Cryptography and Security
- Game Theory and Mechanism Design
- Logic in Computer Science
- Model Theory, Modal and Temporal Logics
- Models of Concurrent and Distributed Systems
- Models of Timed, Reactive, Hybrid and Stochastic Systems
- Parallel, Distributed and Online Algorithms
- Parameterized Complexity
- Principles and Semantics of Programming Languages
- Program Analysis and Transformation
- Proof Complexity
- Quantum Computing
- Randomness in Computing
- Specification, Verification, and Synthesis
- Theorem Proving, Decision Procedures, and Model Checking
- Theoretical Aspects of Mobile and High-Performance Computing


Invited Speakers
----
Sham Kakade (University of Washington, USA)
Anca Muscholl (LaBRI & Universite' de Bordeaux, France)
Devavrat Shah (MIT, USA)
Vinod Vaikuntanathan (MIT CSAIL, USA)
Thomas Wilke (Christian-Albrechts-Universitaet zu Kiel, Germany)


Submission Information
----
Submissions must be in electronic form via EasyChair using the LIPIcs
LaTeX style file. Submissions must not exceed 12 pages (excluding
bibliography), but may include a clearly marked appendix containing
technical details. The appendix will be read only at the discretion of
the program committee. Simultaneous submissions to journals or other
conferences with published proceedings are disallowed. More detailed
submission instructions are provided on the FSTTCS 2017 submission page.

Accepted papers will be published as proceedings of the conference in
the Leibniz International Proceedings in Informatics (LIPIcs) as a free,
open, electronic archive with access to all. Authors will retain full
rights over their work. The accepted papers will be published under a
CC-BY license. For an accepted paper to be included in the proceedings,
one of the authors must commit to presenting the paper at the
conference.


Program Committee
----
Alexandr Andoni (Columbia University),
Arnab Bhattacharyya (IISc Bangalore),
Eshan Chattopadhyay (IAS Princeton),
Nicola Galesi (Sapienza Universita Roma, Italy),
Sumit Ganguly (IIT Kanpur),
Prateek Jain (MSR Bangalore),
Rahul Jain (NUS, Singapore),
Neeraj Kayal (MSR Bangalore),
Satya Lokam (MSR Bangalore, co-chair),
Daniel Lokshtanov (University of Bergen, Norway),
Ruta Mehta (University of Illinois at Urbana-Champaign),
Manoj Prabhakaran (IIT Bombay),
Alon Rosen (IDC Herzliya, Israel),
Alex Samorodnitsky (HUJI, Israel),
Srikanth Srinivasan (IIT Bombay),
Nikhil Srivastava (University of California, Berkeley),
Justin Thaler (Georgetown University),
Kasturi Varadarajan (University of Iowa),

S Akshay (IIT Bombay),
Christel Baier (TU Dresden),
Stephanie Delaune (IRISA & CNRS Rennes),
Tim French (UWA, Perth),
Prasad Jayanti (Dartmouth College),
Daniel Kroening (University of Oxford),
Ranko Lazic (University of Warwick),
Rupak Majumdar (MPI),
Stephan Merz (INRIA Nancy & LORIA),
Paritosh K. Pandya (TIFR, Mumbai),
Pavithra Prabhakar (Kansas State University),
R Ramanujam (IMSc Chennai, co-chair),
Simona Ronchi Della Rocca (Universita di Torino),
Sunil Simon (IIT Kanpur),
Sonja Smets (University of Amsterdam),
B Srivathsan (CMI, Chennai),
Lidia Tendera (Uniwersytet Opolski),
Nobuko Yoshida (Imperial College).
**********************************************************
*
* 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] IFORS OR-Resources to Developing Countries

Dear colleagues,

The aim of the IFORS Developing Countries On-Line Resources page is to
offer the OR worker all publicly-available materials on the topic of
OR for Development. It also aims to provide a venue for people who are
working in the area to share their completed or in-process work, learn
from others, and stimulate comments and discussions on the work.

Regarding IFORS Developing Countries OR resources website, its regular
updates - and your possible submission of "free" (not copyright protected)
material, you might occasionally visit

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


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

The International Federation of Operational Research Societies (IFORS;
http://ifors.org/) is an almost 60-year old organization which is
currently composed of more than 50 national societies. Regional Groups
of IFORS are:

ALIO (The Latin American Ibero Association on Operations Research),
APORS (The Association of Asian-Pacific Operational Research
Societies), EURO (The Association of European Operational Research
Societies), NORAM (The Association of North American Operations
Research Societies).

IFORS conferences are taking place every three years; IFORS 2017 will
be celebrated in Quebec, Canada.


Thank you very much for your attention.

With kind regards,
best wishes.

PS: Feedback is welcome via webmaster@ifors.org, gweber@metu.edu.tr.


**********************************************************
*
* 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, June 23, 2017

[DMANET] 3 PhD positions at University of Osnabrück

The Research Training Group "Graphs and Networks" at Osnabrück
University's School of
Mathematics/Computer Science invites applications for

3 Positions for PhD Candidates.

The starting date for these positions is October 1st, 2017.
The contract is given for 3 years.
The position is within the E 13 TV-L German public sector pay scale and
offered at a 100% base.

Description of responsibilities:

- Cooperation in the research activities of the Research Training
Group, culminating in a PhD
- Teaching duties (4 hours per week during the semester)

Required qualifications:

- an excellent MSc/diploma degree in computer science or mathematics
- research interests in the topic of the Research Training Group

The central idea of the Research Training Group is the research
cooperation between mathematics
and computer science in the area of graphs and networks. More
information and a list of possible
PhD topics can be found at www.mathematik.uni-osnabrueck.de/graphs

The position is available on a full-time or part-time basis.

Osnabrück University has been certified as a family-friendly university
committed to help
working/studying parents and careers balance their family and work life.

The university aspires to ensure equal opportunities for men and women
and strives to
work towards a gender balance in schools or departments where new
appointments are made.

If equally qualified candidates apply, preference will be given to those
with special needs.

Applications should include all relevant documents, a significant
reference letter, and an
accompanying statement explaining the scientific connections to the
research idea of the
Research Training Group.

Applications should be submitted via email as a single PDF file to
Prof. Dr. Markus Chimani, markus.chimani@uni-osnabrueck.de, no later
than July 22nd, 2017.

For further information, please contact Prof. Dr. Markus Chimani, Tel.
+49 541 969 2478,
or Prof. Dr. Martina Juhnke-Kubitzke, Tel. +49 541 969 2554.

We look forward to receiving your application.

https://www.uni-osnabrueck.de/universitaet/arbeiten_an_der_universitaet/stellenausschreibung/122_fb_6_phd_positions.html
https://www.uni-osnabrueck.de/universitaet/arbeiten_an_der_universitaet/stellenausschreibung/122_fb_6_wiss_mitarbeit.html

**********************************************************
*
* 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, June 22, 2017

[DMANET] [IEEE MoD@ITSC'17] Call for Papers - Deadline fast approaching

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

IEEE MoD@ITSC 2017

1st Workshop on Modelling, Analysis and Control of
Intelligent Mobility-on-Demand Systems

co-located with IEEE ITSC 2017
October 16-19, 2017, Yokohama, Japan

http://cnd.iit.cnr.it/mod2017/

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


After decades of little innovation, personal urban mobility is undergoing rapid transformations due to the introduction of disruptive technologies (e.g. connected and driverless cars), new IT applications (e.g. app-based services) but also due to changes in individual preferences and social behaviours, with a growing trend towards a shifting from car ownership to sharing. This gave new life to several mobility on demand (MoD) services which were ideated decades ago but never established themselves as viable mobility solutions and created new variations of them, such as ride-sharing, bike-sharing programs, car-pooling and car-sharing services, on-demand bus and delivery services, etc. The rapid growth and the forecasted (large) scale of these new mobility services is expected to radically change individual travel patterns, and conventional frameworks for the modelling, analysis, simulation and control of transportation systems are not appropriate any more. For instance, novel demand modelling tools are needed for measuring, modelling and predicting behavioural choice and individual preferences for the new mobility solutions, as well as forecasting the level of market uptake of the different mobility services. Similarly, new analytical models and simulation frameworks are required to accurately characterise the peculiar properties of MoD systems. Then, the insights obtained may serve as basic input to advanced optimization frameworks, which can provide decision tools for the planning and optimal operation of such systems. Key issues to address are infrastructure planning, fleet sizing and management, supply rebalancing, and efficient cooperation with other transportation modes (e.g. public transport).

The goal of this workshop session is to provide a forum to exchange ideas, discuss solutions, and share experiences from industry, researchers and the public sector. We solicit original papers covering different aspects of MoD systems, including modelling, optimisation, management systems, field applications and new paradigms.

Topics of interest include, but are not limited to:
- Data mining, machine learning, and data analytics for MoD systems
- Large scale simulation of agent-based models for MoD systems
- Modelling, analysis, and control of MoD systems
- On-demand mobility in Public Transport
- Cooperative Systems and Connected Vehicles for MoD services
- Autonomous driving for MoD services
- ITS technologies for MoD services
- Social and emergent behaviours for MoD services
- Travel behaviour and travel demand for MoD systems
- Discrete choice modelling for MoD systems
- Field tests and implementation of MoD services
- Cooperation between different modes of MoD
- MoD and Smart Cities
- Complex network theory for MoD systems
- Robotic MoD systems
- Electric MoD systems
- Operations research in MoD systems
- Drones as the new frontier for MoD


PAPER FORMAT AND SUBMISSION INSTRUCTIONS
----------------------------------------
Submitted papers must be no longer than 6 pages, and should adhere to the standard IEEE conference proceedings format. Reviews will be single-blinded. Papers should neither have been published elsewhere nor being currently under review by another conference or journal.

Paper should be submitted via EDAS using the following link: https://edas.info/newPaper.php?c=23861&track=86364

Workshop papers will be included and indexed in the IEEE digital libraries (Xplore) along with papers from the main conference. Extended versions of the selected workshop papers will be considered for possible publication in a Springer book on Mobility-on-Demand systems (currently under negotiation).


IMPORTANT DATES
---------------

- Submission Deadline: 30 June 2017
- Acceptance Notification: 25 July 2017
- Camera Ready Due: 10 August 2017


PROGRAM COMMITTEE CHAIRS
------------------------

Chiara Boldrini (IIT, Italian National Research Council)
Raffaele Bruno (IIT, Italian National Research Council)
Francesco Ciari (Institute for Transport Planning and Systems, ETH Zurich)
Hironori Kato (Dept. of Civil Engineering, The University of Tokyo)
Kara Kockelman (Department of Civil, Architectural and Environmental Engineering, University of Texas at Austin)

TECHNICAL PROGRAM COMMITTEE (preliminary)
--------------------------------------------------

Javier Alonso-Mora (Delft Center for Systems and Control, Delft University of Technology)
Goncalo Homem de Almeida Correia (Transport & Planning Department, TU Delft)
Marco Fiore (CNR - IEIIT)
Dirk C. Mattfeld (Institut fur Wirtschaftsinformatik, Technische Universitat Braunschweig)
Rahul Nair (Transportation Analytics, IBM Research - Ireland)
John D Nelson (Centre for Transport Research, University of Aberdeen)
Marco Pavone (Department of Aeronautics and Astronautics, Stanford University)
Helen Porter (Peter Davison Consulting)
Susan Shaheen (Transportation Sustainability Research Center & Department of Civil and Environmental Engineering, UC Berkeley)


**********************************************************
*
* 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] ALGO 2017 First Call for Participation

ALGO is the leading annual event in Europe combining the premier algorithmic conference European Symposium on Algorithms (ESA) with several specialized conferences and workshops.

ALGO 2017 will be held in Vienna, Austria, September 4-8, 2017, and will comprise the following six conferences and workshops:

ESA 2017 – The 25th Annual European Symposium on Algorithms
IPEC 2017 – The 12th International Symposium on Parameterized and Exact Computation
WAOA 2017 – The 15th Workshop on Approximation and Online Algorithms
ALGOSENSORS 2017 – The 13th International Symposium on Algorithms and Experiments for Wireless Networks
ATMOS 2017 – The 17th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems
ALGOCLOUD 2017 – The 3rd International Workshop on Algorithmic Aspects of Cloud Computing

ALGO 2017 keynote speakers:

- Daniel Delling, Apple Inc.
- Babak Falsafi, EcoCloud and EPFL
- Jie Gao, Stony Brook University
- Fabrizio Grandoni, University of Lugano
- David Mount, University of Maryland
- Kirk Pruhs, University of Pittsburgh
- David Woodruff, IBM Almaden

ALGO 2017 will also host a Parameterized Complexity Summer School as a pre-congress event (September 1-3).

Registration is now open at https://algo2017.ac.tuwien.ac.at/registration/

Further information can be found at the ALGO website https://algo2017.ac.tuwien.ac.at/

The ALGO 2017 organizing committee:

Doris Dicklberger
Wolfgang Dvorak
Robert Ganian (co-chair)
Ronald de Haan
Fabian Klute
Andreas Müller
Nysret Musliu
Martin Nöllenburg (co-chair)
Sebastian Ordyniak
Günther Raidl
Mihaela Rozman
Stefan Szeider (chair)
Stefan Woltran

**********************************************************
*
* 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] PMS 2018: First Call for Papers

******************************************************************
PMS 2018
16th International Conference on Project Management and Scheduling
April 17-20, 2018
Rome - Italy
www.pms2018.ing.uniroma2.it
******************************************************************

PMS is an international conference series initialized by the EURO PMS
Working Group, devoted to project management and scheduling
(http://www.cs.put.poznan.pl/pms/). The workshop is held every two
years in different locations around Europe. This conference brings
together researchers and practitioners from different disciplines of
Computer Science, Operational Research, Optimization Engineering,
Mathematical Programming and Industrial Engineering. The conference
covers theoretical results and algorithmic developments in the fields
of Project Management and Scheduling, including project management and
scheduling practice and applications to real-life situations.

PMS 2018 (16th International Workshop on Project Management and
Scheduling) is organized by the Department of Enterprise Engineering
of the University of Rome "Tor Vergata" (Rome, Italy). The workshop
will be held in Rome - Italy - on April, 17-20, 2018 at Residenza di
Ripetta, strategically located in the heart of the City - a few steps
away from Piazza del Popolo and Piazza di Spagna.

The workshop website is http://www.pms2018.ing.uniroma2.it

The workshop will cover the following but non exhaustive list of topics:
- Project Management: Network modeling, Project scheduling, Resource
management, Due-date management, Project risk management, Project
scheduling under uncertainty, Proactive/reactive project scheduling,
Multicriteria project scheduling, Applications, Software
- Machine Scheduling: Shop scheduling, Scheduling with additional
constraints, Machine assignment and scheduling, Flexible/robust
scheduling, Grid scheduling, Multicriteria scheduling, Applications,
Software.

The workshop will consist of technical and selected presentations as
well as invited presentations made by esteemed researchers working on
Project Management and Scheduling.

Plenary speakers confirmed are:
- Jacques Carlier - Université de Technologie de Compiègne
- Rolf Möhring - Technische Universität Berlin
- Erwin Pesch - Universität Siegen

All researchers, academics, phd students and practitioners working on
the conference themes are invited to participate to PMS 2018
submitting an extended abstract (length 4 single-spaced A4 pages).
Templates and guidelines to authors are available on the PMS 2018
website. These 4-page submissions will be reviewed according to the
standard reviewing process of international conferences. A selection
of submissions will be presented during the workshop.

After the workshop, the authors will have the opportunity to submit
full papers to a special issue of Annals of Operations Research (see
the PMS 2018 website).

Important deadlines:
Paper submission: 31st October 2017
Notification of acceptance: 19th January 2018
Final paper presentation: 12th February 2018
Early registration: 15th February 2018

A list of hotels will be made available on the PMS 2018 website soon.
We remind you that Rome is very crowded in the period of the
Conference. Hence, we warmly invite all the participants to reserve
their accommodation as soon as possible in order to find solutions at
best rates.

For detailed information about the conference and the venue, please,
visit the Conference website: http://www.pms2018.ing.uniroma2.it, or
send an email to caramia@dii.uniroma2.it.

On behalf of the Organizing Committee,
Massimiliano Caramia (Conference Chair)


**********************************************************
*
* 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, June 21, 2017

[DMANET] PhD studentship in Algorithms/Distributed algorithms at Loughborough University. Closing date: July 3rd, 2017

A PhD studentship in the general area of algorithms and distributed
algorithms is available in the department of Computer Science at
Loughborough University . Dr. Amitabh Trehan
<http://www.lboro.ac.uk/departments/compsci/staff/academic-teaching/trehanamitabh/>
will be the primary supervisor. Applicants should have a strong background
in Computer Science, Mathematics or a related subject.

More information and a link to application is available at:
<http://www.jobs.ac.uk/job/AYE112/phd-studentship-distributed-and-resilient-graph-algorithms/>
http://www.jobs.ac.uk/job/BCG461/phd-studentship-graph-algorithms-and-foundations-for-networks-of-the-future/

*** Closing date for applications: 3rd July 2017 ***

Loughborough University is one of the best known universities in the UK. It
is a top-ten rated university in England for research intensity (REF2014)
and presents an outstanding student life having been consistently ranked as
a top UK university for student satisfaction. It has one of the largest
closed university campuses in the UK and is internationally renowned for
its sports (World #1 in QS rankings). Computer Science
<http://www.lboro.ac.uk/departments/compsci/> is a vibrant department in
the school of Science <http://www.lboro.ac.uk/science/>with a cohesive
community of researchers and outstanding research:
http://www.lboro.ac.uk/departments/compsci/ .

The student will also benefit from the active national and international
collaboration of the supervisor and his colleagues with institutes across
the UK, USA, mainland Europe, Israel, Mexico and India.

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

*Outline of possible research avenues:*

This studentship seeks to design and mathematically analyse algorithms and
build foundational theory motivated by present day and futuristic networks
(particularly graph based algorithms with tools from areas such as graph
theory, algorithm analysis, probability, game theory etc). Networks are
pervasive and diverse and, with social networks and the upcoming Internet
of Things (IOT), likely to be deeply integrated into our society. Networks
often rely upon distributed protocols for their functioning. Failure of
components and security also make resilience a critical issue. Distributed
graph algorithms allow us to model, explore and design solutions for all
kinds of networks. This project seeks to emphasize these scenarios and
explore questions about decentralisation.

We seek candidates with strong interest in and willing to explore topics
from, but not restricted to the following: i) Graph algorithms and theory,
ii) Self-healing, byzantine and other forms of resilient algorithms, iii)
Compact routing and memory limited algorithms, iv) Static and dynamic
Leader election and consensus, v) Connections between distributed
algorithms and research areas such as parameterised complexity, topology,
combinatorics, communication complexity, spectral, algebraic tools, vi)
Algorithmic game theory and decision making, vi) Modelling and application
to modern networks such as IOT and SDN.

The successful candidate will work closely with active research groups
centred around both CS theory and networks. In particular, the candidate
can benefit from interaction with upcoming research on compact self-healing
routing algorithms supported by EPSRC (EPSRC research grant EP/P021247/1
<http://gtr.rcuk.ac.uk/projects?ref=EP%2FP021247%2F1>).

the succesful candidate willDr Trehan has extensive publications on the
above topics () and
----------------------------

Interested candidates may contact Dr Amitabh Trehan A.Trehan@lboro.ac.uk
for further information.
Technical blog: www.huntforthetowel.wordpress.com
Personal website: www.amitabhtrehan.net
DBLP: http://dblp.uni-trier.de/pers/hd/t/Trehan:Amitabh

--
What you can do, or dream you can do, begin it;
Boldness has genius, power and magic in it.
-- John Anster, from a "very free translation" of Goethe's *Faust*

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

ALGOCLOUD 2017 - final call for papers

(Due to numerous requests, Extended Deadline:1st July)

[Please accept our apologies if you received multiple copies of this call]

Submission Deadline: July 1st, 2017

----------------------------------------------------------------------------------
3rd International Workshop on Algorithmic Aspects of Cloud Computing (ALGOCLOUD 2017)

co-located with ALGO 2017

September 4th - 5th, 2017 ??? Vienna, Austria

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

ALGOCLOUD (https://algo2017.ac.tuwien.ac.at/algocloud/ <https://algo2017.ac.tuwien.ac.at/algocloud/>) is the international forum bringing together international researchers, students, and practitioners to present research activities and results on topics related to algorithmic, design, and development aspects of modern cloud-based systems. ALGOCLOUD is co-located with the ALGO conference (https://algo2017.ac.tuwien.ac.at/ <https://algo2017.ac.tuwien.ac.at/>), a leading international meeting of researchers working in algorithms and their engineering.

ALGOCLOUD welcomes submissions on all theoretical, design, and implementation aspects of modern cloud-based systems. ALGOCLOUD is particularly interested in novel algorithms in the context of cloud computing, cloud architectures, as well as experimental work that evaluates contemporary cloud approaches and pertinent applications. ALGOCLOUD also welcomes demonstration manuscripts, which discuss successful elastic system developments, as well as experience/use-case articles. Contributions may span a wide range of algorithms for modeling, practices for constructing and techniques for evaluating operations and services in a variety of systems, including but not limited to, virtualized infrastructures, cloud platforms, datacenters, cloud-storage options, cloud data management, non-traditional key-value stores on the cloud, HPC architectures, etc.

***Keynote Speaker: Prof. Babak Falsafi (EPFL, Switzerland) ***

TOPICS

Suggested topics include, but are not limited to:

- Algorithmic aspects of elasticity

- Search and retrieval algorithms for cloud infrastructures

- Scale-up and -out for NoSQL and columnar databases

- Resource provisioning and management

- Monitoring and analysis of elasticity for virtualized environments

- Analysis of containerized applications

- Cloud deployment tools and their analysis

- Query languages and novel programming models

- Content delivery through cloud infrastructures

- Load-sharing and caching for cloud systems

- Data structures and algorithms for eventually-consistent stores

- Scalable access structures and indexing for cloud data-stores

- Algorithmic aspects for cloud applications

- Machine learning, analytics and data science

- Resource availability, reliability and fail-over

- NoSQL and schema-less data modeling and integration

- Consistency, replication and partitioning CAP

- Transactional models and algorithms for cloud data-stores

PROCEEDINGS

Accepted papers will be included in the post-proceedings in the Lecture Notes in Computer Science by Springer-Verlag (http://www.springer.com/gp/computer-science/lncs <http://www.springer.com/gp/computer-science/lncs>).

SUBMISSION GUIDELINES

Submissions must have a length of up to 12 pages in LNCS format (excluding references and an optional appendix to be read at the discretion of the Program Committee).

Papers should be submitted electronically via the Easy Chair Submission system (https://easychair.org/conferences/?conf=algocloud17 <https://easychair.org/conferences/?conf=algocloud17>).

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

IMPORTANT DATES

- Paper submission: July 1, 2017

- Author notification: July 25, 2017

- Workshop: September 4-5, 2017

COMMITTEES

Workshop Chairs???

- Dan Alistarh (IST, Austria)

- Alex Delis (University of Athens, Greece)

Proceedings and Publicity Chair

- George Pallis (University of Cyprus, Cyprus)

PC Members???

- Stergios Anastasiadis (University of Ioannina, Greece)

- Athman Bouguettaya (University of Sydney, Australia)

- Marco Canini (KAUST, Saudi Arabia)

- Aleksandar Dragojevic (Microsoft Research, UK)

- Schahram Dustdar (TUW, Austria)

- Rachid Guerraoui (EPFL, Switzerland)

- Gabriel Istrate (University of Timi??oara & e-Austria RI, Romania)

- Thomas Karagiannis (Microsoft Research, UK)

- Nectarios Koziris (NTUA, Greece)

- Fernando Pedone (University of Lugano, Switzerland)

- Florin Pop (University Politehnica of Bucharest, Romania)

- Raj Ranjan (Newcastle University, UK)

- Luis Rodrigues (Universidade T??cnica de Lisboa, Portugal)

- Rizos Sakellariou (University of Manchester, UK)

- Stefan Schmid (Aalborg University, Denmark)

- Zahir Tari (RMIT, Australia)

- Vasileios Trigonakis (Oracle Labs, Switzerland)

- Dimitris Tsoumakos (Ionian University, Greece)

Steering Committee

- Spyros Sioutas (Ionian University, Greece)

- Peter Triantafillou (University of Glasgow, UK)

- Christos D. Zaroliagis (University of Patras, Greece)

[DMANET] ALGOCLOUD 2017 - final call for papers

(Due to numerous requests, Extended Deadline:1st July)

[Please accept our apologies if you received multiple copies of this call]

Submission Deadline: July 1st, 2017

----------------------------------------------------------------------------------
3rd International Workshop on Algorithmic Aspects of Cloud Computing (ALGOCLOUD 2017)

co-located with ALGO 2017

September 4th - 5th, 2017 ??? Vienna, Austria

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

ALGOCLOUD (https://algo2017.ac.tuwien.ac.at/algocloud/ <https://algo2017.ac.tuwien.ac.at/algocloud/>) is the international forum bringing together international researchers, students, and practitioners to present research activities and results on topics related to algorithmic, design, and development aspects of modern cloud-based systems. ALGOCLOUD is co-located with the ALGO conference (https://algo2017.ac.tuwien.ac.at/ <https://algo2017.ac.tuwien.ac.at/>), a leading international meeting of researchers working in algorithms and their engineering.

ALGOCLOUD welcomes submissions on all theoretical, design, and implementation aspects of modern cloud-based systems. ALGOCLOUD is particularly interested in novel algorithms in the context of cloud computing, cloud architectures, as well as experimental work that evaluates contemporary cloud approaches and pertinent applications. ALGOCLOUD also welcomes demonstration manuscripts, which discuss successful elastic system developments, as well as experience/use-case articles. Contributions may span a wide range of algorithms for modeling, practices for constructing and techniques for evaluating operations and services in a variety of systems, including but not limited to, virtualized infrastructures, cloud platforms, datacenters, cloud-storage options, cloud data management, non-traditional key-value stores on the cloud, HPC architectures, etc.

***Keynote Speaker: Prof. Babak Falsafi (EPFL, Switzerland) ***

TOPICS

Suggested topics include, but are not limited to:

- Algorithmic aspects of elasticity

- Search and retrieval algorithms for cloud infrastructures

- Scale-up and -out for NoSQL and columnar databases

- Resource provisioning and management

- Monitoring and analysis of elasticity for virtualized environments

- Analysis of containerized applications

- Cloud deployment tools and their analysis

- Query languages and novel programming models

- Content delivery through cloud infrastructures

- Load-sharing and caching for cloud systems

- Data structures and algorithms for eventually-consistent stores

- Scalable access structures and indexing for cloud data-stores

- Algorithmic aspects for cloud applications

- Machine learning, analytics and data science

- Resource availability, reliability and fail-over

- NoSQL and schema-less data modeling and integration

- Consistency, replication and partitioning CAP

- Transactional models and algorithms for cloud data-stores

PROCEEDINGS

Accepted papers will be included in the post-proceedings in the Lecture Notes in Computer Science by Springer-Verlag (http://www.springer.com/gp/computer-science/lncs <http://www.springer.com/gp/computer-science/lncs>).

SUBMISSION GUIDELINES

Submissions must have a length of up to 12 pages in LNCS format (excluding references and an optional appendix to be read at the discretion of the Program Committee).

Papers should be submitted electronically via the Easy Chair Submission system (https://easychair.org/conferences/?conf=algocloud17 <https://easychair.org/conferences/?conf=algocloud17>).

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

IMPORTANT DATES

- Paper submission: July 1, 2017

- Author notification: July 25, 2017

- Workshop: September 4-5, 2017

COMMITTEES

Workshop Chairs???

- Dan Alistarh (IST, Austria)

- Alex Delis (University of Athens, Greece)

Proceedings and Publicity Chair

- George Pallis (University of Cyprus, Cyprus)

PC Members???

- Stergios Anastasiadis (University of Ioannina, Greece)

- Athman Bouguettaya (University of Sydney, Australia)

- Marco Canini (KAUST, Saudi Arabia)

- Aleksandar Dragojevic (Microsoft Research, UK)

- Schahram Dustdar (TUW, Austria)

- Rachid Guerraoui (EPFL, Switzerland)

- Gabriel Istrate (University of Timi??oara & e-Austria RI, Romania)

- Thomas Karagiannis (Microsoft Research, UK)

- Nectarios Koziris (NTUA, Greece)

- Fernando Pedone (University of Lugano, Switzerland)

- Florin Pop (University Politehnica of Bucharest, Romania)

- Raj Ranjan (Newcastle University, UK)

- Luis Rodrigues (Universidade T??cnica de Lisboa, Portugal)

- Rizos Sakellariou (University of Manchester, UK)

- Stefan Schmid (Aalborg University, Denmark)

- Zahir Tari (RMIT, Australia)

- Vasileios Trigonakis (Oracle Labs, Switzerland)

- Dimitris Tsoumakos (Ionian University, Greece)

Steering Committee

- Spyros Sioutas (Ionian University, Greece)

- Peter Triantafillou (University of Glasgow, UK)

- Christos D. Zaroliagis (University of Patras, Greece)

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

[DMANET] CALL FOR PAPERS - Wireless Communications and Mobile Computing Journal - Special issue on Optimization for heterogeneous wireless networks

*CALL FOR PAPERS*


*Wireless Communications and Mobile Computing - Hindawi-Wiley open
access journal *

*****SPECIAL ISSUE ON:
Optimization for heterogeneous wireless networks integrating cellular
and ad-hoc networks *

*Important DATES
*Submission Deadline Friday, 27 October 2017
Publication Date March 2018

*TOPIC SUMMARY*
In our networked society, wireless devices will constantly interact with
each other as well as with their environment, communicating over
licensed and unlicensed frequency bands, employing any possible link,
from short-range device-to-device communications integrated into the
existing and evolving cellular infrastructure to satellite
communications. The efficient and effective management of these
heterogeneous network architectures requires new optimization
approaches, including central and distributed optimization schemes, or a
combination thereof, where optimization can have very different
objectives, including spectral efficiency, latency, reliability, energy
efficiency meeting constraints on the available spectrum, backhaul
network capacity, and deployment or operational costs.

In this special issue we solicit contributions on optimization-based
approaches to the design, dimensioning, deployment and operation of
heterogeneous wireless networks integrating cellular and ad-hoc
networks, using low and high frequencies, including traditional cellular
and millimeter wave bands. The topics addressed may include, but are not
limited to:
• Exact and heuristic optimization approaches for the dimensioning,
deployment, and efficient management of heterogeneous networks;
• Optimization techniques for cellular and heterogeneous networks in
decentralized scenarios;
• Multi-objective optimization approaches for heterogeneous networks;
• Cooperative and non-cooperative game theoretic analysis of cellular
and ad-hoc networks,
• Optimal spectrum allocation algorithms for cellular systems with
multiple-antenna terminals;
• Optimal spectrum sharing between multi-operator cellular and ad-hoc
networks;
• Radio resource optimization for shared terrestrial and satellite networks;
• Optimal interference management for full-duplex and cognitive radio in
LTE networks;
• Optimal resource sharing between cellular and ad-hoc networks for
ultra-reliable low-latency communications.

*
GUEST EDITORS*
Paolo Detti, University of Siena, Siena, Italy
Andrea Abrardo, University of Siena, Siena, Italy
Gabor Fodor, Royal Institute of Technology, and Ericsson Research,
Stockholm, Sweden
Marco Moretti, University of Pisa, Pisa, Italy
Ana Pérez-Neira, Centre Tecnologic de Telecomunicacions de Catalunya,
Castelldefels, Spain
Angela Yingjun Zhang, The Chinese University of Hong Kong, Hong Kong,
People's Republic of China


*SUBMISSION GUIDELINES*
The Wireless Communications and Mobile Computing Journal is published
using an open access publication model.
Authors can submit their manuscripts through the Manuscript Tracking
System at https://mts.hindawi.com/submit/journals/wcmc/ocni/

The Call is available at:
http://www.hindawi.com/journals/WCMC/si/237462/cfp/

**********************************************************
*
* 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] ATMOS 2017: Deadline extension

Dear colleagues,

Due to numerous requests, the submission deadline for ATMOS 2017 has
been extended to July 1, 2017.

Extended abstract can be submitted at
https://www.easychair.org/conferences/?conf=atmos2017
<https://www.easychair.org/conferences/?conf=atmos2017>.

For your information, the Call for Papers with the new deadline can be
found below.

Kind regards,

Gianlorenzo D'Angelo and Twan Dollevoet
ATMOS PC Chairs

--

17th Workshop on Algorithmic Approaches for Transportation Modeling,
Optimization, and Systems (ATMOS 2017)

(https://algo2017.ac.tuwien.ac.at/atmos/)

Second Call for Papers – with extended deadline

The workshop on Algorithmic Approaches for Transportation Modeling,
Optimization, and Systems (ATMOS) is an annual event bringing together
researchers and practitioners who are interested in all aspects of
algorithmic methods and models for transportation optimization. The
workshop provides a forum for the exchange and dissemination of new
ideas and techniques. The aim of making transportation better gives rise
to very complex and large-scale optimization problems requiring
innovative solution techniques and ideas from mathematical optimization,
theoretical computer science, and operations research. Applicable tools
and concepts include those from graph and network algorithms,
combinatorial optimization, approximation and online algorithms,
stochastic and robust optimization.

Topics

We invite authors to present work that advances optimization methods and
algorithms to facilitate planning and operational management of freight
and passenger transportation and traffic. The workshop welcomes but is
not limited to papers addressing the following challenges:

- Demand Forecasting

- Models for User Behavior

- Design of Pricing Systems

- Infrastructure Planning

- Multi-modal Transport Optimization

- Mobile Applications for Transport

- Congestion Modeling and Reduction

- Line Planning

- Timetable Generation

- Routing and Platform Assignment

- Vehicle Scheduling

- Route Planning

- Crew and Duty Scheduling

- Rostering

- Delay Management

- Routing in Road Networks

- Traffic Guidance

The workshop welcomes but is not limited to papers applying and
advancing the following techniques: Graph and Network Algorithms,
Combinatorial Optimization, Mathematical Programming, Approximation
Algorithms, Methods for the Integration of Planning Stages, Stochastic
and Robust Optimization, Online and Real-time Algorithms, Algorithmic
Game Theory, Heuristics for Real-world Instances, Simulation Tools.

Submission guidelines

Authors are invited to submit an extended abstract or full paper of at
most 12 pages (including title page and abstract, but not counting
references and an optional appendix). Submissions must be formatted in
LaTeX, using the OASIcs style file. The paper should contain a succinct
statement of the issues and of their motivation, a summary of the main
results, and a brief explanation of their significance, accessible to
non-specialist readers. Proofs omitted due to space constraints can be
put into an appendix to be read by the program committee members at
their discretion. Papers must be submitted electronically via the
EasyChair submisson system at
https://www.easychair.org/conferences/?conf=atmos2017. The submission
must be received by June 24, 2017. By submitting a paper the authors
acknowledge that in case of acceptance at least one of the authors must
register at ALGO 2017 or ATMOS 2017, attend the conference, and present
the paper.

The proceedings will be published online and as open-access in the
Dagstuhl Open Access Series in Informatics (OASIcs).

Important dates

Submission: 01.07.2017

Notification of acceptance: 24.07.2017

Camera-ready version: 04.08.2017

Workshop: 08.09.2017


**********************************************************
*
* 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] [IEEE MoD@ITSC'17] Call for Papers - Deadline fast approaching

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

IEEE MoD@ITSC 2017

1st Workshop on Modelling, Analysis and Control of
Intelligent Mobility-on-Demand Systems

co-located with IEEE ITSC 2017
October 16-19, 2017, Yokohama, Japan

http://cnd.iit.cnr.it/mod2017/

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


After decades of little innovation, personal urban mobility is undergoing rapid transformations due to the introduction of disruptive technologies (e.g. connected and driverless cars), new IT applications (e.g. app-based services) but also due to changes in individual preferences and social behaviours, with a growing trend towards a shifting from car ownership to sharing. This gave new life to several mobility on demand (MoD) services which were ideated decades ago but never established themselves as viable mobility solutions and created new variations of them, such as ride-sharing, bike-sharing programs, car-pooling and car-sharing services, on-demand bus and delivery services, etc. The rapid growth and the forecasted (large) scale of these new mobility services is expected to radically change individual travel patterns, and conventional frameworks for the modelling, analysis, simulation and control of transportation systems are not appropriate any more. For instance, novel demand modelling tools are needed for measuring, modelling and predicting behavioural choice and individual preferences for the new mobility solutions, as well as forecasting the level of market uptake of the different mobility services. Similarly, new analytical models and simulation frameworks are required to accurately characterise the peculiar properties of MoD systems. Then, the insights obtained may serve as basic input to advanced optimization frameworks, which can provide decision tools for the planning and optimal operation of such systems. Key issues to address are infrastructure planning, fleet sizing and management, supply rebalancing, and efficient cooperation with other transportation modes (e.g. public transport).

The goal of this workshop session is to provide a forum to exchange ideas, discuss solutions, and share experiences from industry, researchers and the public sector. We solicit original papers covering different aspects of MoD systems, including modelling, optimisation, management systems, field applications and new paradigms.

Topics of interest include, but are not limited to:
- Data mining, machine learning, and data analytics for MoD systems
- Large scale simulation of agent-based models for MoD systems
- Modelling, analysis, and control of MoD systems
- On-demand mobility in Public Transport
- Cooperative Systems and Connected Vehicles for MoD services
- Autonomous driving for MoD services
- ITS technologies for MoD services
- Social and emergent behaviours for MoD services
- Travel behaviour and travel demand for MoD systems
- Discrete choice modelling for MoD systems
- Field tests and implementation of MoD services
- Cooperation between different modes of MoD
- MoD and Smart Cities
- Complex network theory for MoD systems
- Robotic MoD systems
- Electric MoD systems
- Operations research in MoD systems
- Drones as the new frontier for MoD


PAPER FORMAT AND SUBMISSION INSTRUCTIONS
----------------------------------------
Submitted papers must be no longer than 6 pages, and should adhere to the standard IEEE conference proceedings format. Reviews will be single-blinded. Papers should neither have been published elsewhere nor being currently under review by another conference or journal.

Paper should be submitted via EDAS using the following link: https://edas.info/newPaper.php?c=23861&track=86364

Workshop papers will be included and indexed in the IEEE digital libraries (Xplore) along with papers from the main conference. Extended versions of the selected workshop papers will be considered for possible publication in a Springer book on Mobility-on-Demand systems (currently under negotiation).


IMPORTANT DATES
---------------

- Submission Deadline: 30 June 2017
- Acceptance Notification: 25 July 2017
- Camera Ready Due: 10 August 2017


PROGRAM COMMITTEE CHAIRS
------------------------

Chiara Boldrini (IIT, Italian National Research Council)
Raffaele Bruno (IIT, Italian National Research Council)
Francesco Ciari (Institute for Transport Planning and Systems, ETH Zurich)
Hironori Kato (Dept. of Civil Engineering, The University of Tokyo)
Kara Kockelman (Department of Civil, Architectural and Environmental Engineering, University of Texas at Austin)

TECHNICAL PROGRAM COMMITTEE (preliminary)
--------------------------------------------------

Javier Alonso-Mora (Delft Center for Systems and Control, Delft University of Technology)
Goncalo Homem de Almeida Correia (Transport & Planning Department, TU Delft)
Marco Fiore (CNR - IEIIT)
Dirk C. Mattfeld (Institut fur Wirtschaftsinformatik, Technische Universitat Braunschweig)
Rahul Nair (Transportation Analytics, IBM Research - Ireland)
John D Nelson (Centre for Transport Research, University of Aberdeen)
Marco Pavone (Department of Aeronautics and Astronautics, Stanford University)
Helen Porter (Peter Davison Consulting)
Susan Shaheen (Transportation Sustainability Research Center & Department of Civil and Environmental Engineering, UC Berkeley)


**********************************************************
*
* 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] Apply Helmut Veith Stipend @ TU Wien

Dear colleagues,
Apologies for crossposting, herewith it is our pleasure to announce the
Helmuth Veith Stipend for female applicants. If it is of interest for
your colleagues or students, invited to disseminate the call through
your digital and printed channels and bring. Thank you!
****
It is our pleasure to invite academically excellent female applicants in
pursuit (or planning to pursue) a master degree in Computer Sciences at
TU Wien to apply for Helmut Veith Stipend. The recipients of Helmut
Veith Stipend receive EUR 6000 annually for the duration of up to two
years, and waiver of all tuition fees for the study at TU Wien. The
application deadline is August 20, 2017. For more information download
the Flyer for Helmut Veith Stipend.
About Helmut Veith
The stipend is named to honour the memory of Helmut Veith (1971–2016),
specifically his international influential research, and his visionary
mentorship of building bridges between the computer science and the
society. The Helmut Veith Stipend continues the late scholar´s support
of female scientist in the field of computer science, and his backing of
the revival era in the Austrian logic scene.
****
For more information please follow the link -
http://bit.ly/Forsyte-Helmut-Veith-Stipend
****

**********************************************************
*
* 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] PCSS 2017: First Call for Participation

Registration is now open for the Parameterized Complexity Summer School.

Website: https://algo2017.ac.tuwien.ac.at/pcss/
Registration: https://interconvention.eventsair.com/algo-2017/online
Email: pcss2017@ac.tuwien.ac.at
when: 1-3 September 2017
where: Freihaus TU Wien, Vienna, Austria.

The 3rd Parameterized Complexity Summer School will be held in Vienna,
Austria, from 1 to 3 September 2017 (Friday-Sunday). The school is
co-located with ALGO 2017 and will take place at the same venue.

Apart from providing an introduction to the basics of parameterized
complexity, the school covers some recent advances and emphasizes
applications of parameterized algorithms in economics, logic, and
Artificial Intelligence. The school is aimed at researchers of all
levels in parameterized complexity as well as researchers from other
areas who are interested in applying parameterized techniques in their
respective domains.
**********************************************************
*
* 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, June 19, 2017

[DMANET] ISAAC 2017 - Final call for papers

---------------------------------------------------------------
Final Call for Papers

The 28th International Symposium on Algorithms and Computation
(ISAAC 2017)
December 9-12, 2017, Phuket, Thailand
http://aiat.in.th/isaac2017/

Submission Deadline: June 29, 2017 11:59PM (PDT)
---------------------------------------------------------------

The 28th International Symposium on Algorithms and Computation
(ISAAC 2017) will be held in Phuket, Thailand on December 9-12,
2017. The symposium is intended to provide a forum for
researchers working in algorithms and theory of computation.
Papers presenting original research in the areas of algorithms
and theory of computation are sought. Papers in relevant
applied areas are also welcomed. The topics include, but are
not limited to:
Algorithmic game theory
Algorithms and data structures
Approximation algorithms
Combinatorial optimization
Computational biology
Computational complexity
Computational geometry
Cryptography
Experimental algorithms
Graph drawing and graph algorithms
Internet algorithms
Online algorithms
Parallel and distributed algorithms
Quantum computing
Randomized algorithms.

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

June 29, 2017: Submission Deadline
August 31, 2017: Notification
October 3, 2017: Camera-Ready Version Due
December 9-12, 2017: ISAAC

---------------------------------------------------------------
Submission Guidelines

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

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

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

Submissions are due on June 29, 2017 11:59PM (PDT). Only
electronic submission will be allowed via the easychair
submission server
http://www.easychair.org/conferences/?conf=isaac2017 .

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

---------------------------------------------------------------
Availability of Full Versions

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

---------------------------------------------------------------
Special Issues

Special issues in Algorithmica and International Journal of
Computational Geometry and Applications are planned for
selected papers from ISAAC 2017.

---------------------------------------------------------------
Awards

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

---------------------------------------------------------------
Invited Speakers

Satoru Iwata (University of Tokyo, Japan)
Suresh Venkatasubramanian (University of Utah, USA)

---------------------------------------------------------------
Program Committee

Isolde Adler (University of Leeds, UK)
Patrizio Angelini (University of Tübingen, Germany)
Markus Bläser (Saarland University, Germany)
Yixin Cao (Hong Kong Polytechnic University, Hong Kong)
Jean Cardinal (Université Libre de Bruxelles, Belgium)
Parinya Chalermsook (Aalto University, Finland)
Erin Wolf Chambers (Saint Louis University, USA)
Kun-Mao Chao (National Taiwan University, Taiwan)
Sevag Gharibian (Virginia Commonwealth University, USA)
Keiko Imai (Chuo University, Japan)
Taisuke Izumi (Nagoya Institute of Technology, Japan)
Jesper Jansson (Kyoto University, Japan)
Naoyuki Kamiyama (Kyushu University, Japan)
Akinori Kawachi (Tokushima University, Japan)
Chung-Shou Liao (National Tsing Hua University, Taiwan)
Yoshio Okamoto (The University of Electro-Communications, Japan) Co-Chair
Dömötör Pálvölgyi (University of Cambridge, UK)
C. Pandu Rangan (Indian Institute of Technology Madras, India)
Laura Sanità (University of Waterloo, Canada)
Daniel Stefankovic (University of Rochester, USA)
Takeshi Tokuyama (Tohoku University, Japan) Co-Chair
Kei Uchizawa (Yamagata University, Japan)
Marc van Kreveld (Utrecht University, the Netherlands)
Haitao Wang (Utah State University, USA)
Yajun Wang (Microsoft, USA)
Wei Xu (Tsinghua University, P.R. China)
Guochuan Zhang (Zhejiang University, P.R. China)
Martin Ziegler (KAIST, Republic of Korea)

---------------------------------------------------------------
Local Arrangement Committee

Thanaruk Theeramunkung (Sirindhorn International Institute of Technology,
Thammasat University)
Jittat Fakcharoenphol (Kasetsart University)
Natsuda Kaothanthong (Sirindhorn International Institute of Technology,
Thammasat University)
Pokpong Songmuang (Thammasat 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] 2 PhD positions at LMU Munich - Algorithmic Genomics

The Canzar lab at the Gene Center of the Ludwig-Maximilians
Universität Munich is recruiting two PhD students in algorithmic
genomics, to start in fall 2017. The position provides a competitive
salary for a period of 4 years.

The successful applicant will develop and engineer efficient
algorithms for analyzing Big Data in genomics, from (single-cell)
RNA-seq to third-generation technologies like PacBio and Oxford
Nanopore.

Supporting the lab's agenda, the successful candidate will employ
tools and techniques from combinatorial optimization and machine
learning to reveal biological clues buried under billions of short
genomic sequences. Translated into scalable and usable software, they
will equip scientists around the world with powerful tools to get the
most from the many petabytes of sequencing data produced every year.

The Canzar lab is embedded in the stimulating, interdisciplinary
environment of the Graduate School for Quantitative Biosciences Munich
(QBM), which integrates approaches ranging from (bio)informatics and
theoretical biophysics to molecular systems biology. The lab is housed
in the new Research Center for Molecular Biosystems (BioSysM) at the
life sciences campus Grosshadern/ Martinsried, with excellent access
to other parts of Munich via public transport.

We are seeking motivated candidates with an excellent Master's degree
(or equivalent) in computer science, (applied) mathematics, or
bioinformatics to join our lab. We expect the candidate to have a
solid background in algorithm design and good programming skills as
well as an interest in interdisciplinary work (biology, medicine).

To apply, send your application materials, including a motivation
letter, your CV, and names of two referees in a single pdf file to
Stefan Canzar (stefan.canzar@lmu.de), who can also supply further
information about this position. For more information about the lab at
LMU, please visit our website at https://canzarlab.github.io/.

Applications will be reviewed starting from July 10, 2017.

**********************************************************
*
* 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 Deadline Extension: The 3rd IEEE International Conference on Data Science and Systems (DSS 2017)

******************************** IEEE DSS-2017 CFP *******************************
The 3rd IEEE International Conference on Data Science and Systems (DSS 2017)
Bangkok, Thailand
December 18 - 20, 2017
http://hpcl.seas.gwu.edu/dss2017/ <http://hpcl.seas.gwu.edu/dss2017/>

INTRODUCTION
=============
In parallel with Petrol as a driving resource in this world, Data is becoming an increasingly decisive resource in modern societies, economies, and governmental organizations. Gradually and steadily, it is being world-wide recognized that data and talents are playing key roles in modern businesses.
As an interdisciplinary area, Data Science draws scientific inquiry from a broad range of subject areas such as statistics, mathematics, computer science, machine learning, optimization, signal processing, information retrieval, databases, cloud computing, computer vision, natural language processing and etc. Data Science is on the essence of deriving valuable insights from data. It is emerging to meet the challenges of processing very large datasets, i.e. Big Data, with the explosion of new data continuously generated from various channels such as smart devices, web, mobile and social media.
Data Systems are posing many challenges in exploiting parallelism of current and upcoming computer architectures. Data volumes of applications in the fields of sciences and engineering, finance, media, online information resources, etc. are expected to double every two years over the next decade and further. With this continuing data explosion, it is necessary to store and process data efficiently by utilizing enormous computing power. The importance of data intensive systems has been raising and will continue to be the foremost fields of research. This raise brings up many research issues, in forms of capturing and accessing data effectively and fast, processing it while still achieving high performance and high throughput, and storing it efficiently for future use. Innovative programming models, high performance scalable computing platforms, efficient storage systems and expression of data requirements are at immediate need.
DSS (Data Science and Systems) was created to provide a prime international forum for researchers, industry practitioners and domain experts to exchange the latest advances in Data Science and Data Systems as well as their synergy. 2017 is the 3rd event following the success in 2015 (DSDIS 2015) and 2016 (DSS 2016).

SCOPE AND TOPICS

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

A. Data Science

• Foundational theories and models of data science

• Foundational algorithms and methods for big data

• Data classification and taxonomy

• Data metrics and metrology

• Machine learning and deep learning

• Data analytics

• Data provenance

• Fault tolerance, reliability, and availability

• Security, privacy and trust in Data

B. Data Processing Technology

• Data sensing, fusion and mining

• Data representation, dimensionality reduction, processing and proactive service layers

• Data capturing, management, and scheduling techniques

• Stream data processing and integration

• Knowledge discovery from multiple information sources

• Statistical, mathematical and probabilistic modeling and theories

• Information visualization and visual data analytics

• Information retrieval and personalized recommendation

• Parallel and distributed data storage and processing infrastructure

• MapReduce, Hadoop, Spark, scalable computing and storage platforms

• Security, privacy and data integrity in data sharing, publishing and analysis

• Replication, archiving, preservation strategies

• Stream data computing

• Meta-data management

• Remote data access

C. Data Systems

• Storage and file systems

• High performance data access toolkits

• Programming models, abstractions for data intensive computing

• Compiler and runtime support

• Future research challenges of data intensive systems

• Real-time data intensive systems

• Network support for data intensive systems

• Challenges and solutions in the era of multi/many-core platforms

• Green (power efficient) data intensive systems

• Data intensive computing on accelerators and GPUs

• Productivity tools, performance measuring and benchmark for data intensive systems

• Big Data, cloud computing and data intensive systems

D. Data Applications

• HPC system architecture, programming models and run-time systems for data intensive applications

• Innovative applications in business, finance, industry and government cases

• Data-intensive applications and their challenges

• Innovative data intensive applications such as health, energy, cybersecurity, transport, food, soil and water, resources, advanced manufacturing, environmental Change, and etc.


IMPORTANT DATES
================
· Paper Submission Deadline: July 1, 2017 (Extended)
· Authors Notification: August 15, 2017
· Camera-Ready Paper Due: September 15, 2017
· Early Registration Due: September 15, 2017
· Conference Date: December 18 - 20, 2017

PAPER SUBMISSION GUIDELINE
==========================
Submissions must include an abstract, keywords, the e-mail address of the corresponding author and should not exceed 8 pages for main conference, including tables and figures in IEEE CS format. The template files for LATEX or WORD can be downloaded here. All paper submissions must represent original and unpublished work. Each submission will be peer reviewed by at least three program committee members. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Submit your paper(s) in PDF file at the submission site.

PUBLICATIONS
==========================
Accepted and presented papers will be included into the IEEE Conference Proceedings published by IEEE CS Press. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers may be removed from the digital libraries of IEEE CS after the conference.
Distinguished papers presented at the conference, after further revision, will be published in special issues of Journal of Network and Computer Applications, Future Generation Computer Systems, Journal of Computer and System Sciences and IEEE Transactions on Emerging Topics in Computing.
**********************************************************
*
* 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] Open PhD position: "Optimization of Wind-to-Hydrogen supply chain under uncertainty"

"Optimization of Wind-to-Hydrogen supply chain under uncertainty"


Hydrogen is the only carbon-free storable fuel. When combined with
renewable energy sources, it has the potential to become one of the main
contributors of a sustainable future as a green energy vector.
This PhD thesis will focus on a Wind-to-Hydrogen (W2H2) system where
hydrogen is produced through electrolysis of water and electricity is
provided by a wind farm. After production, hydrogen should be stored,
transported and distributed in an optimal way, given the numerous
technology alternatives available.

In this system, there will be two decision makers: wind farm operator
and hydrogen producer with conflicting interests in a hierarchical
setting. This type of problems is usually modeled as a Stackelberg game
(bilevel programming) in the literature and it will be direction of this
thesis as well.

Uncertainties of the system notably come from electricity generation
(due to changing weather conditions), variability of energy prices in
the day-ahead spot market and demand fluctuation. These uncertainties
will be addressed in the modelling part.

We are offering a 3-year CIFRE contract PhD thesis in collaboration with
PersEE Innovation, a Paris based startup company (Sezin Afsar) and
Laboratory CERMICS, Ecole des Ponts Paris Tech (Michel De Lara). The
thesis will be based on modeling and solving different versions of this
problem described above. Different types of real-life or realistic data
will be available for testing.


Keywords: supply chain management, wind energy, hydrogen, stochastic
optimization, bilevel programming

Required Technical Skills:
• Master's degree or equivalent in Industrial Eng, Computer Science,
Applied Math or any relevant subject
• Experience in Python/C/C++ and solvers such as GAMS, CPLEX or Gurobi
• General knowledge of mathematical programming and optimization.
Expertise in stochastic and bilevel programming is an advantage.
• Familiarity with at least one of relevant fields (energy systems,
renewable energy, scheduling, supply chain management…)

Behavioral Skills:
• Adaptability to team work
• Curiosity and enthusiasm to learn
• Flexibility
• Being open to new ideas and innovations
• Willingness to contribute to a cleaner future
• Speaking French is a plus

Candidates may send their CV, transcript, motivation letter and
references to saf@pers-ee.fr until July 15th, 2017. Start date will be
October 2017 or later.

--
Dr. Sezin AFSAR

PersEE - Optimization Scientist
(+33)1 40 05 04 03
**********************************************************
*
* 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 Position in Algorithms and Complexity Theory at the University of Oxford

A research position in algorithms and complexity theory at the University of Oxford, with a start date as soon as possible and an end date on 28 February 2019.
Professor Leslie Ann Goldberg is looking for an additional postdoctoral researcher to join the ERC project "Mapping the Complexity of Counting" at the University of Oxford. This is a five-year project from 1 March 2014 to 28 February 2019. After the new appointment, we will have four postdocs in all. See http://www.cs.ox.ac.uk/people/leslieann.goldberg/mcc.html.

The salary range is GBP 31,076 - 38,183 per year, depending on experience.

Deadline for applications noon 19 July, 2017.
Interviews (skype) 2 August.
Details and application form at http://www.cs.ox.ac.uk/news/1329-full.html.

Any questions? leslie.goldberg@cs.ox.ac.uk<mailto:leslie.goldberg@cs.ox.ac.uk>

The project is about figuring out the complexity of computational counting problems, which includes complexity theory, phase transitions, dichotomy theorems, mixing rates of stochastic processes, etc.

Candidates should have a PhD in algorithms and complexity or in a closely related area of discrete mathematics.
Expertise in one or more of the following would be helpful: combinatorics or discrete probability, graph polynomials or partition functions, mixing rates of Markov chains, constraint satisfaction problems including algebraic methods for classifying their difficulty, holographic algorithms or Holant problems.

**********************************************************
*
* 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, June 17, 2017

[DMANET] CFP: JCDCG^3 2017: Submission DL (June 30) approaching

JCDCG^3 2017: The 20th Anniversary of Japan Conference on Discrete and Computational Geometry, Graphs, and Games --- Celebrating the Works and Contributions of Professors Jin Akiyama, Vasek Chvatal, Mikio Kano, Janos Pach, and Jorge Urrutia

(Apologize for multipule distributions)

---- 2nd Call For Presentations ---

Date: Aug. 29 -- Sept. 1, 2017
Conference Site: Tokyo University of Science (Kagurazaka Campus, Tokyo)
http://www.tus.ac.jp/en/campus/kagurazaka.html
Submission Deadline: June 30th, 2017 (JST)

Web site:
http://www.jcdcgg.u-tokai.ac.jp
http://www.alg.cei.uec.ac.jp/itohiro/JCDCGG/

Invited Plenary Speakers:
- Jin Akiyama (Tokyo University of Science, Japan)
- Vasek Chvatal (Concordia University, Canada)
- Erik Demaine (MIT, USA)
- David Eppstein (University of California, Irvine, USA)
- Mikio Kano (Ibaraki University, Japan)
- Naoki Katoh (Kwansei Gakuin University, Japan)
- Evangelos Kranakis (Carleton University, Canada)
- Janos Pach (EPFL, Switzerland and Renyi Institute, Hungary)
- Jorge Urrutia (UNAM, Mexico)


Scope:
We invite submissions of original research on, but not restricted to, discrete geometry, computational geometry, graph theory, graph algorithms, and complexity and winning strategies of games and puzzles.

The collection of abstracts will be distributed in only electric form.

Submission format: Authors are required to submit a pdf-file of an extended abstract of
** at most 2 pages **
in a standard 10-point font on A4-paper to

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

by June 30th, 2017 (JST).

Note:
- We have not prepared for special rates at hotels. So, please
make accommodation arrangements on your own..
- The official language for presentations and abstracts of talks
in this conference is English.

Special Issue *****
The collection of abstracts will be distributed in electric form.
No formal proceedings will be published (such as LNCS).
However, we plan to edit a special issue of this conference. This
issue will appear in Graphs and Combinatorics, Springer,
Details on this special issue will be given afterward.


***************************************************************
* Important Dates:
* - Extended-Abstract (at most 2 pages) Submissions Deadline:
* June 30th, 2017 (JST)
* - Notification: (expected to) July 14, 2017
* - Camera-Ready File Submission Deadline: July 28, 2017
* - Conference: Aug. 29 -- Sept. 1, 2017
***************************************************************


Committees:

Conference Chair: Toshinori Sakai (Tokai University, Japan)

Programming Committee:
- Jean Cardinal (ULB, Belgium)
- Ruy Fabila-Monroy (Cinvestav, Mexico)
- Takashi Horiyama (Saitama University, Japan)
- Hiro Ito (UEC, Japan; Chair)
- Matias Korman (Tohoku University, Japan)
- Stefan Langerman (ULB, Belgium)
- Chie Nara (Meiji University, Japan)
- Yoshio Okamoto (UEC, Japan)
- Hirotaka Ono (Nagoya University, Japan)
- Vera Sacristan (UPC, Spain)
- Toshinori Sakai (Tokai University, Japan)
- Tomohiro Tachi (University of Tokyo, Japan)
- Ryuhei Uehara (JAIST, Japan)
- Yushi Uno (Osaka Prefecture University, Japan)
- Aaron Williams (Bard College at Simon's Rock, USA)


Organizing Committee:
- Hiro Ito (UEC, Japan)
- Takako Kodate (Tokyo Woman's Christian University, Japan)
- Keiko Kotani (Tokyo University of Science, Japan; co-chair)
- Yasuko Matsui (Tokai University, Japan)
- Atsuki Nagao (Seikei University, Japan)
- Toshinori Sakai (Tokai University, Japan; co-Chair)
- Kazuhisa Seto (Seikei University, Japan)
- Xuehou Tan (Tokai University, Japan)
- Shin-ichi Tokunaga (Tokyo Medical and Dental University, Japan)


Contact:
JCDCG^3 2017 Organizing Committee
jcdcgg@ml.tokai-u.jp


..A A .. ......ITO Hiro, Professor
. ..... School of Informatics and Engineering,
. @ @ .... The University of Electro-Communications
. = x = . .... 1-5-1 Chofugaoka, Chofu, Tokyo 182-8585, JAPAN
. . . . Tel/Fax: +81 42 443 5332
.(( (( ( .. E-mail: itohiro@uec.ac.jp


**********************************************************
*
* 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, June 16, 2017

[DMANET] Reachability Problems RP2017 - Extended Deadline: 19 June

Dear Colleagues,

The deadline for Reachability Problems Workshop RP2017 ( http://rp17.cs.rhul.ac.uk ) has been extended to 19th June.
(RP'17) 11th International Workshop on Reachability Problems 2017<http://rp17.cs.rhul.ac.uk/>
rp17.cs.rhul.ac.uk
Workshop on Reachability Problems

The call for papers is available here: http://rp17.cs.rhul.ac.uk/cfp.txt and also attached below.

Please consider to send your papers and encourage your collaborators to come to Reachability Problems
that will be in 2017 in London. The nearby event (immediately after RP) will be
Highlights of Logic, Games and Automata 2017 http://highlights-conference.org/

Hope to see you in London in September.

Best Regards,
Igor


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

The 11th International Workshop on Reachability Problems (RP'17)

7 - 9 September 2017 | Royal Holloway, University of London, UK | http://rp17.cs.rhul.ac.uk

The 11th Workshop on Reachability Problems will be hosted at Royal Holloway,
University of London.

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:

Hana Chockler, King's College London
Laurent Doyen, LSV - ENS Cachan
Raphael Jungers, Universite catholique de Louvain
Andreas Podelski, University of Freiburg

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 Easychair. 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=rp2017

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: 19 June 2017 (AoE) (EXTENDED)
Notification to authors: 11 July 2017 (EXTENDED)
Final version: 14 July 2017 (EXTENDED)
Workshop: 7 - 9 September 2017

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'17 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 [ rp2017@easychair.org ] by August 2st
2017, with subject "RP2017 Informal Presentations". This abstract will not be
published in the conference proceedings. Notification for the presentation-only
track will be August 9th 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:

Igor Potapov, University of Liverpool (co-chair)
Matthew Hague, Royal Holloway, University of London (co-chair)

Paul Bell, Liverpool John Moores University
Patricia Bouyer-Decitre, LSV, CNRS & ENS de Cachan
Aiswarya Cyriac, Chennai Mathematical Institute
Giorgio Delzanno, Universita Degli Studi Di Genova
Piotrek Hofman, University of Warsaw
Peter Lammich, Institut fuer Informatik, TU Munich
Martin Lange, University of Kassel
Salvatore La Torre, Università degli Studi di Salerno
Ranko Lazic, University of Warwick
Ondrej Lengal, Brno University of Technology
Jerome Leroux, Laboratoire Bordelais de Recherche en Informatique
Rupak Majumdar, Max Planck Institute for Software Systems
Ahmed Rezine, Linköping University
Tachio Terauchi, School of Information Science, Japan Advanced Institute of Science and Technology
Hsu-Chun Yen, National Taiwan University

Previous Workshops:

2016: RP'16 in Aalborg, Denmark
LNCS proceedings, Volume 9899/2016, Springer Verlag
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/
*
**********************************************************