Tuesday, May 31, 2016

[DMANET] COCOA 2016 Call for Papers

Call for Papers

The 10th Annual International Conference on Combinatorial Optimization and
Applications (COCOA 2016) will be held during December 16-18, 2016 in Hong
Kong SAR, CHINA. Original research papers in the areas of combinatorial
optimization and its applications are solicited. In addition to theoretical
results, we are particularly interested in submissions that report on
experimental and applied research of general algorithmic interest. Special
consideration will be given to research that is motivated by real-world
problems. Experimental and applied papers are expected to show convincingly
the usefulness and efficiency of the algorithms discussed in a practical
setting. The topics include, but are not limited to:

The topics include, but are not limited to:

- Algorithms and Data Structures
- Approximation Algorithms
- Operation Research
- Communication Network Optimization
- Energy Efficient Wireless Sensor Networks
- Optimal Resource Management
- Social Networks
- Complex Network Optimization
- Computational Algebra
- Computational Geometry
- Computational Biology
- Computational Financing
- Computational Game Theory
- Computational Learning Theory
- Computational Number Theory
- Bioinformatics
- Graph Theory
- Graph Search
- Distributed Computational Systems
- Urban Transportation Networks
- Mobile Ad Hoc Networks
- Scheduling

Important Dates

Abstract Submission Due: July 15, 2016 by 11:59:59 PM (anywhere on earth)
Notification of Acceptance: September 1, 2016
Final Version Submission: September 13, 2016
Paper Submission

The submission should contain scholarly exposition of ideas, techniques,
and results, including the motivation and a clear comparison with related
work. The length of the submission should not exceed fifteen pages in LNCS
style. Submitted papers must describe work not previously published. They
must not be submitted simultaneously to any other conference with refereed
proceedings or to journals. We regard the following case as a simultaneous
submission. Submission of drafts which contain essentially the same results
from papers under review in other conferences or journals at the moment of
the submission. Only electronic submission will be allowed via the Springer
Online Conference System.

The submission server is now available at
https://ocs.springer.com/ocs/en/conference/submitpaperto/COCOA2016
Publication

The conference proceedings will be published by Springer-Verlag in the
Lecture Notes in Computer Science series. After the conference, selected
papers will be published in special issues of journals: *Algorithmica,
Theoretical Computer Science, Journal of Combinatorial Optimization*.
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 add the phrase "Eligible for best student paper" as the last
sentence in the "Abstract" field in the web form on the submission server.

*PC members*

Wolfgang Bein (University of Nevada, Las Vegas, United States)

Gruia Calinescu (Illinois Institute of Technology, United States)

Yixin Cao (Hong Kong Polytechnic University, Hong Kong)

Kun-Mao Chao (National Taiwan University, Taiwan)

Vincent Chau (Hong Kong Baptist University, Hong Kong)

Jing Chen (Stony Brook University, United States)

Zhi-Zhong Chen (Tokyo Denki University, Japan)

Xujin Chen (Academy of Mathematics and Systems Science, China)

Ovidiu Daescu (University of Texas at Dallas, United States)

Bhaskar DasGupta (University of Illinois at Chicago, United States)

Thang Dinh (Virginia Commonwealth University, United States)

Zhenhua Duan (Xidian University, China)

Thomas Erlebach (University of Leicester, United Kingdom)

NENG FAN (University of Arizona, United States)

Bin Fu (University of Texas- Rio Grande Valley, United States)

Stanley Fung (University of Leicester, United Kingdom)

Xiaofeng Gao (Shanghai Jiao Tong University, China)

Qianping Gu (Simon Fraser University, Canada)

Juraj Hromkovic (ETH Zurich, Switzerland)

Sun-Yuan Hsieh (National Cheng Kung University, Taiwan)

Hejiao Huang (Harbin Institute of Technology Shenzhen Graduate School,
China)

Kazuo Iwama (Kyoto University, Japan)

Naoki Katoh (Kwansei Gakuin University, Japan)

Jie Li (University of Tsukuba, Japan)

Xiaowen Liu (IUPUI, United States)

Bin Ma (University of Waterloo, Canada)

Mitsunori Ogihara (University of Miami, United States)

Sheung-Hung Poon (Brunei University of Technology, Brunei)

Xian Qiu (Zhejiang University, China)

Xiaowei Wu (The University of Hong Kong, Hong Kong)

Boting Yang (University of Regina, Canada)

Hsu-Chun Yen (National Taiwan University, Taiwan)

Zhao Zhang (Zhejiang Normal University, China)

Fay Zhong (CSUEB, United States)

Yuqing Zhu (California State University, Los Angeles, United States)

**********************************************************
*
* 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: The 1st International Workshop for IOT Systems Provisioning & Management in Cloud Computing (ISyCC'2016)

CFP: The 1st International Workshop for IOT Systems Provisioning & Management in Cloud Computing (ISyCC'2016)

To be held in conjunction with the 14th IEEE International Conference on Service-Oriented Compupting (ICSOC'2016), on October 10 2016, Banff, Alberta, Canada.

Scope:
------
IoT systems are becoming increasingly complex. More intelligent and heterogeneous IoT devices are introduced on the market.
Moreover, the integration of Cloud computing together with IoT systems is leaving space for the support of more sophisticated
applications and services.

To build efficient and reliable IoT systems in Cloud environments, significant challenges remain to be addressed. For instance,
how to enable the collection, management and sharing of massive amounts of data among devices and/or prospective software
in the Cloud? How to design appropriate mechanisms and/or algorithms to manage the Cloud resources? How to ensure reliable
integration and interaction between these resources and prospective third-part services?

ISyCC Workshop will be a forum for academics, industrial researchers, developers, and practitioners to discuss challenges and
advances of IoT systems in Cloud environments.


Topics of interest:
-------------------
The Workshop invites submissions of unpublished works on topics that include, but are not limited to:

IoT Smart-X Applications
Smart cities
Smart Logistics and Retail
Smart Buildings and Infrastructure
Smart mobility and transport
IoT and Semantic Technologies
Semantic devices
Semantic annotation of data
IoT and Data Management
Data Collection and Analysis (DCA)
Big Data
IoT Innovative Protocols and Standardization attempts
Trust, Security and Privacy for IoT
IoT Monitoring and Reconfiguration
IoT and Cloud Computing
IoT and Fog Computing

Important Dates:
----------------
Paper Submission Deadline : June 5, 2016
Notification of Acceptance : July 7, 2016
Camera-ready paper submission : July 15, 2016

Papers Submission and Registration:
-----------------------------------
All required information about authors guidelines, submission procedures, registration and venue are provided in the Workshop
Webpage: http://users.encs.concordia.ca/~s_yangui/ISyCC16.html

--------------
Diala Naboulsi
Postdoctoral Researcher
CIISE, Concordia University
http://users.encs.concordia.ca/~d_naboul/
**********************************************************
*
* 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: Lambert W Function

Celebrating 20 Years of the Lambert W function

25-28 July 2016
Western University
(University of Western Ontario)
London, Ontario, Canada

Web site:
www.apmaths.uwo.ca/~djeffrey/LambertW/LambertW.html<http://www.apmaths.uwo.ca/~djeffrey/LambertW/LambertW.html>

In 1996, the first comprehensive survey of the Lambert W function was published. To celebrate 20 years since that publication, Western University will host a workshop on the Lambert W function and on related special and elementary functions. Talks on applications, including physics, biology, sociology and computational science are welcome. Mathematical applications to areas such as number theory, combinatorics, delay-differential equations and so on are also welcome. Generalizations and other nonlinear eigenvalue functions and matrix functions are especially welcome. Graduate students are particularly encouraged to contribute and attend.

For further details, please see the web site, or write to djeffrey@uwo.ca<mailto:djeffrey@uwo.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] Call for Participation: Diagrams 2016

Call for Participation: Diagrams 2016


Ninth International Conference on the Theory and Application of Diagrams


http://www.diagrams-conference.org/2016

diagrams2016@diagrams-conference.org


7th to 10th August, 2016

Philadelphia, Pennsylvania, USA


* CALL FOR PARTICIPATION *


Diagrams is an international interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams. In 2016 it will be held near Philadelphia at the ACE Conference Center in Lafayette Hill, Pennsylvania, USA. Diagrams 2016 will run from 7th of August 2016 to the 10th of August 2016. It will be co-located with Spatial Cognition 2016<http://sites.temple.edu/sc16/> (2-5 August) and Cognitive Science 2016<http://cognitivesciencesociety.org/conference_future.html> (10-13 August).


Diagrams is the only conference series that provides a united forum for all areas that are concerned with the study of diagrams, including architecture, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from almost all these related fields, positioning Diagrams as the major international event in the area. Diagrams 2016 is the ninth conference in the bi-annual series that started in 2000.


Diagrams 2016 will include presentations of refereed papers, posters, tutorials, workshop sessions, and a graduate symposium.


Early registration deadline: June 1, 2016


Invited speakers: Isabel Meirelles and Mary Hegarty


Workshop: International Workshop on Set Visualization and Reasoning


Tutorials:

- Programming Your Pictures: An introduction to the Haskell diagrams framework for declarative drawing (Brent Yorgey and Jeffrey Rosenbluth)

- Visualizing "Information" (Jenna Hartel, Rebecca Noone and Eden Rusnell)

Organising Committee


General Chair: Stephanie Schwartz (Millersville University, USA)

Program Chairs: Mateja Jamnik (The University of Cambridge, UK),

Yuri Uesaka (The University of Tokyo, Japan)

Local Chair: Richard Burns (West Chester University, USA)

Workshops and Tutorials Chair: Aidan Delaney (The University of Brighton, UK)

Graduate Symposium Chair: Luana Micallef (Helsinki Institute for Information Technology, Finland)


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

CFP: STACS 2017 - 34th International Symposium on Theoretical Aspects of Computer Science

-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org

iQIVAwUBV011/XJ52ljUh2Y/AQgJyhAArlcNJLQD50K9rVV/WqFJ/rqIYLIdRU2O
G4mh6kzHMSi3HcR5GAj1N7xv6w875wzyQbNa0ylFVycVdjvjBgRIn1XQNe9Z6h4W
qOH4B5DG/iFFw2spA/EIdP0OZrIpm0TknIGuF/d8qTqe774bGjcVdOJesrFIpZR1
GiSV90upkwXOG9Gifydoh1N8StgALg1DfXW8qZ3pfr38lVAfIybBZwIJaOtG0GFc
hstesDPemCjDTF1wBCN+zIEkC6q0686zGazF7QaRjBMBQBm2FE8N3z4nzrb4zp89
9NHEyBVmhPioIdHYJ8I0YVDPAegYEUP/uKVlX/5VjT3e1RffB6wKXdkZMd74PEvA
jeReb7Kr7vZEwmVuvxH1CH16yV5h85NdhE31njOqCLUjzHXiBcmKqGbSqqfw/qq5
DWOcmlYl34pTvxQDHKQue8owNxdtbqLKIY83zWq/mHYn1DAkqEIIylAa3Hx6Aofs
a8lJk2VQPni+aBOmgVbEFb/PS/jVXt9ldma3cdYc1iRnlvzPyQ6ck8PrH5OrcLW0
CnbtXyL7ELF5104fimjvmm5H5cI2gttwB+nT7MmneJx/Ojy3V/ORBH0JDwB6ZEzG
wialdIOn1V77/e33Ts4se8UmUW62czOnAw037ZuzyyZKfHpPz739IaBVGAaPLBqD
f6wQm86eTAk=
=LIIg
-----END PGP SIGNATURE-----
========================================================================

STACS 2017 - Call for Papers

34th International Symposium on Theoretical Aspects of Computer Science
March 8-11, 2017, Hannover, Germany

========================================================================
Submission deadline: Sep 25, 2016
https://stacs2017.thi.uni-hannover.de
========================================================================


SCOPE

Authors are invited to submit papers presenting original and unpublished
research on theoretical aspects of computer science. Typical areas
include (but are not limited to):

- algorithms and data structures,
including: design of parallel, distributed, approximation, and randomized
algorithms; analysis of algorithms and combinatorics of data structures;
computational geometry, cryptography, algorithmic learning theory,
algorithmic game theory;
- automata and formal languages,
including: algebraic and categorical methods, coding theory;
- complexity and computability,
including: computational and structural complexity theory, parameterized
complexity, randomness in computation;
- logic in computer science,
including: finite model theory, database theory, semantics, specification
and verification, rewriting and deduction;
- current challenges,
for example: natural computing, quantum computing, mobile and net
computing.


INVITED SPEAKERS

- Artur Jez, Wroclaw, Poland
- Antoine Joux, Paris
- Till Tantau, Lübeck, Germany

TUTORIAL

- Juha Kontinen, Helsinki, Finland


PROGRAM COMMITTEE

- Olaf Beyersdorff, Leeds
- Francine Blanchet-Sadri, Greensboro
- Beate Bollig, Dortmund
- Nicolas Bonichon, Bordeaux
- Jean Cardinal, Bruxelles
- Nicolò Cesa-Bianchi, Milano
- Leo Ducas, Amsterdam
- Arnaud Durand, Paris
- Michael Elberfeld, Aachen
- Emmanuel Filliot, Bruxelles
- Pinar Heggernes, Bergen
- Martin Hoefer, Saarbrücken
- Giuseppe Italiano, Roma
- Emmanuel Jeandel, Nancy
- Christian Komusiewicz , Jena
- Nutan Limaye, Bombay
- Florin Manea, Kiel
- Filip Murlak, Warszawa
- Seth Pettie, Ann Arbor
- Irena Rusu, Nantes
- Sylvain Schmitz, Cachan
- Frank Stephan, Singapore
- Brigitte Vallée, Caen, co-chair
- Heribert Vollmer, Hannover, co-chair
- Ronald de Wolf, Amsterdam
- Florian Zuleger, Wien


SUBMISSIONS

Authors are invited to submit a draft of a full paper with at most 12
pages (excluding the references section).

The usage of pdflatex and the LIPIcs style file (see below) are
mandatory; no changes to font size, page geometry etc. are permitted.
Submissions not in the correct format or submitted after the deadline
will not be considered.

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 must be put into an appendix, to
be read by the program committee members at their discretion.

Simultaneous submission to other conferences with published proceedings
or to journals is not allowed. PC members are excluded from submitting.

There will be a rebuttal period for authors. Authors will receive
the reviews of their submissions (via EasyChair) on Nov 21 and have
three days to submit rebuttals (via EasyChair). These rebuttals become
part of the PC meeting, but entail no specific responses.

Instructions how to access the submission site will soon be available on
the conference webpage.



PROCEEDINGS

Accepted papers will be published in the proceedings of the symposium.
As usual, these proceedings will appear in the Leibniz International
Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl.
This guarantees perennial, free and easy electronic access, while the
authors retain the rights over their work. With their submission,
authors consent to sign a license authorizing the program committee
chairs to organize the electronic publication of their paper, provided
the paper is accepted.

LIPICS STYLE FILES

LIPIcs homepage: http://www.dagstuhl.de/en/publications/lipics
tar ball: http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz

Further details are available on www.stacs-conf.org and on the
conference website https://stacs2017.thi.uni-hannover.de.



IMPORTANT DATES

Submission deadline: Sep 25, 2016
Rebuttal period: Nov 21-24, 2016
Author notification: Dec 12, 2016
Final version due: Jan 8, 2017
Symposium: March 8-11, 2017


CONTACT INFORMATION

https://stacs2017.thi.uni-hannover.de

[DMANET] CFP: STACS 2017 - 34th International Symposium on Theoretical Aspects of Computer Science

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

STACS 2017 - Call for Papers

34th International Symposium on Theoretical Aspects of Computer Science
March 8-11, 2017, Hannover, Germany

========================================================================
Submission deadline: Sep 25, 2016
https://stacs2017.thi.uni-hannover.de
========================================================================


SCOPE

Authors are invited to submit papers presenting original and unpublished
research on theoretical aspects of computer science. Typical areas
include (but are not limited to):

- algorithms and data structures,
including: design of parallel, distributed, approximation, and randomized
algorithms; analysis of algorithms and combinatorics of data structures;
computational geometry, cryptography, algorithmic learning theory,
algorithmic game theory;
- automata and formal languages,
including: algebraic and categorical methods, coding theory;
- complexity and computability,
including: computational and structural complexity theory, parameterized
complexity, randomness in computation;
- logic in computer science,
including: finite model theory, database theory, semantics, specification
and verification, rewriting and deduction;
- current challenges,
for example: natural computing, quantum computing, mobile and net
computing.


INVITED SPEAKERS

- Artur Jez, Wroclaw, Poland
- Antoine Joux, Paris
- Till Tantau, Lübeck, Germany

TUTORIAL

- Juha Kontinen, Helsinki, Finland


PROGRAM COMMITTEE

- Olaf Beyersdorff, Leeds
- Francine Blanchet-Sadri, Greensboro
- Beate Bollig, Dortmund
- Nicolas Bonichon, Bordeaux
- Jean Cardinal, Bruxelles
- Nicolò Cesa-Bianchi, Milano
- Leo Ducas, Amsterdam
- Arnaud Durand, Paris
- Michael Elberfeld, Aachen
- Emmanuel Filliot, Bruxelles
- Pinar Heggernes, Bergen
- Martin Hoefer, Saarbrücken
- Giuseppe Italiano, Roma
- Emmanuel Jeandel, Nancy
- Christian Komusiewicz , Jena
- Nutan Limaye, Bombay
- Florin Manea, Kiel
- Filip Murlak, Warszawa
- Seth Pettie, Ann Arbor
- Irena Rusu, Nantes
- Sylvain Schmitz, Cachan
- Frank Stephan, Singapore
- Brigitte Vallée, Caen, co-chair
- Heribert Vollmer, Hannover, co-chair
- Ronald de Wolf, Amsterdam
- Florian Zuleger, Wien


SUBMISSIONS

Authors are invited to submit a draft of a full paper with at most 12
pages (excluding the references section).

The usage of pdflatex and the LIPIcs style file (see below) are
mandatory; no changes to font size, page geometry etc. are permitted.
Submissions not in the correct format or submitted after the deadline
will not be considered.

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 must be put into an appendix, to
be read by the program committee members at their discretion.

Simultaneous submission to other conferences with published proceedings
or to journals is not allowed. PC members are excluded from submitting.

There will be a rebuttal period for authors. Authors will receive
the reviews of their submissions (via EasyChair) on Nov 21 and have
three days to submit rebuttals (via EasyChair). These rebuttals become
part of the PC meeting, but entail no specific responses.

Instructions how to access the submission site will soon be available on
the conference webpage.

PROCEEDINGS

Accepted papers will be published in the proceedings of the symposium.
As usual, these proceedings will appear in the Leibniz International
Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl.
This guarantees perennial, free and easy electronic access, while the
authors retain the rights over their work. With their submission,
authors consent to sign a license authorizing the program committee
chairs to organize the electronic publication of their paper, provided
the paper is accepted.

LIPICS STYLE FILES

LIPIcs homepage: http://www.dagstuhl.de/en/publications/lipics
tar ball: http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz

Further details are available on www.stacs-conf.org and on the
conference website https://stacs2017.thi.uni-hannover.de.

IMPORTANT DATES

Submission deadline: Sep 25, 2016
Rebuttal period: Nov 21-24, 2016
Author notification: Dec 12, 2016
Final version due: Jan 8, 2017
Symposium: March 8-11, 2017


CONTACT INFORMATION

https://stacs2017.thi.uni-hannover.de


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

[DMANET] PostDoc position in Node Routing Models - University of Lisbon

PostDoc position in Node Routing Models
Closing date: June 15, 2016
Place: University of Lisbon, Department of Statistics and Operations Research, CMAFCIO
Salary: EUR 1450 per month
(as a reference, minimum wage in the country is EUR 530 per month)

Position from September 15th with the duration of 12 months.

Topic of research is: Study and development of ILP models for node routing problems, such as the traveling salesman problem, variants with additional constraints (capacity, time windows, maximum
distance), several vehicles. several depots. Also, areas involving routing with electric vehicles or in fishery research are topical as well.

Candidates must have a CV showing capability to study some of the topics mentioned before, including a reasonable knowledge of ILP solution methods (PhD topic and/or relevant scientific publications).
An interview may be requested. Candidates must be fluent in English both in speaking and writing.


Applications in electronic form with the usual documents (certificates, CV, publication list, etc.) are to be submitted at http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=75478

Informal enquiries regarding these vacancies may be addressed to: Professor Luis Gouveia, Head of the Department of Statistics and Operations Research, Faculty of Sciences,
University of Lisbon, Portugal. E-mail: legouveia@fc.ul.pt

**********************************************************
*
* 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] 10th ACM International Conference on Distributed and Event-Based Systems (DEBS 2016) - Call for Participation

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

NOTE: Early registration deadline is June 1st, 2016

--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
CALL FOR PARTICIPATION

10th ACM International Conference on Distributed and Event-Based Systems

Irvine, CA, USA
June 20-24 2016

http://www.debs2016.org <http://www.debs2016.org/>
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------

OBJECTIVES:

Over the past decade, the ACM International Conference on Distributed
and Event-based Systems (DEBS) has become the premier venue for
contributions in the fields of distributed and event-based systems.
The objectives of the DEBS conference are to provide a forum dedicated
to the dissemination of original research, the discussion of practical
insights, and the reporting of experiences relevant to distributed
systems and event-based computing. The conference aims at providing a
forum for academia and industry to exchange ideas through industry
papers and demo papers.


EARLY REGISTRATION DEADLINE: June 1st, 2016

KEYNOTE SPEAKERS:

Peter Pietzuch, Imperial College London, UK
Raj Rajkumar, Carnegie Mellon University, US
Kartik Ramasamy, Twitter Inc., US

INVITED SPEAKERS:

Badrish Chandramouli, Microsoft Research, US
Roger Barga, Amazon Web Services, US
Mani Chandy, Caltech, US

PRELIMINARY PROGRAM: http://www.ics.uci.edu/~debs2016/full-program.html <http://www.ics.uci.edu/~debs2016/full-program.html>

TUTORIALS:
Tutorial 1: CEP in the Web of Things: Challenges, Opportunities and
Success Stories - Session 1
Nenad Stojanovic, Ljiljana Stojanovic and Aleksandar Stojadinovic

Tutorial 2: Taming Velocity and Variety Simultaneously in Big Data
with Stream Reasoning - Session 1
Emanuele Della Valle, Allesandro Margara and Danielle Dell'Aglio

ACCEPTED PAPERS:

1. OMen: Overlay Mending for Topic-based Publish/Subscribe Systems Under
Churn
Chen Chen, Roman Vitenberg, Hans-Arno Jacobsen

2. Optimal Operator Placement for Distributed Stream Processing Applications
Valeria Cardellini, Vincenzo Grassi, Francesco Lo Presti and Matteo Nardelli

3. Continuous Graph Pattern Matching over Knowledge Graph Streams
Syed Gillani, Gauthier Picard and Frédérique Laforest

4. Incremental Deployment and Migration of Geo-Distributed Situation
Awareness Applications in the Fog
Enrique Saurez, Kirak Hong, Dave Lillethun, Beate Ottenwälder and
Umakishore Ramachandran

5. Efficient Window-Based Computation in Large-Scale Distributed Stream
Processing Systems
Kasper Grud Skat Madsen, Yongluan Zhou and Li Su

6. Continuous Detection of Activity-based Subgraph Patterns on Dynamic
Graphs
Jayanta Mondal and Amol Deshpande

7. Reducing Expenses of Top-k Monitoring in Sensor Cloud Services
Kamalas Udomlamlert and Takahiro Hara

8. Frames: Data-Driven Windows
Michael Grossniklaus, David Maier and Kristin Tufte

9. Spreadsheets for Stream Processing with Unbounded Windows and Partitions
Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu and
Mandana Vaziri

10. Highly-available content-based publish/subscribe via gossiping
Pooya Salehi, Christoph Doblander and Hans-Arno Jacobsen

11. Supporting Quality-Driven Disorder Handling for Concurrent Windowed
Stream Queries
Yuanzhen Ji, Anisoara Nica, Zbigniew Jerzak, Gregor Hackenbroich and
Christof Fetzer

12. Diversified Set Monitoring over Distributed Data Streams
Daichi Amagata and Takahiro Hara

13. AQuA: Adaptive Quality Analytics
Wei Zhang, Martin Hirzel and David Grove

14. Data-Centric Publish/Subscribe Routing Middleware for Realizing
Proactive Overlay Software-Defined Networking
Akram Hakiri and Aniruddha Gokhale

Short papers

15. Shared Dictionary Compression in Publish/Subscribe
Christoph Doblander, Tanuj Ghinaiya, Hans-Arno Jacobsen and Kaiwen Zhang

16. Bandwidth-Efficient Content-Based Routing on Software-Defined Networks
Sukanya Bhowmik, Muhammad Adnan Tariq, Jonas Grunert and Kurt Rothermel

17. Routing and Scheduling of Spatio-Temporal Tasks for Optimizing
Airborne Sensor System Utilization
San Yeung and Sanjay Madria

18. Breaking BAD: Data Serving for Big Active Data
Michael Carey, Steven Jacobs and Vassilis Tsotras

19. Smooth and Crispy - Integrating Continuous Event Proximity
Calculation and Discrete Event Detection
Stein Kristiansen, Thomas Plagemann and Vera Goebel

20. Load-Aware Shedding in Stream Processing Systems
Nicolo Rivetti, Yann Busnel and Leonardo Querzoni

21. Distributed k-core Decomposition and Maintenance in Large Dynamic Graphs
Sabeur Aridhi, Martin Brugnara, Alberto Montresor and Yannis Velegrakis

22. RFID-based logistics monitoring with semantics-driven event processing
Mikko Rinne, Monika Solanki and Esko Nuutila


GENERAL CO-CHAIRS:
Avigdor Gal, Technion, Israel
Matthias Weidlich, Humboldt-Universitaet zu Berlin, Germany

RESEARCH TRACK CO-CHAIRS:
Vana Kalogeraki, Athens University of Economics and Business, Greece
Nalini Venkasubramanian, University of California, Irvine, USA

INDUSTRY TRACK CO-CHAIRS:
Malu Castellanos, HP, USA
Alejandro Buchmann, Technische Universitaet Darmstadt, Germany

DOCTORAL SYMPOSIUM CO-CHAIRS:
David Eyers, University of Otago, New Zeland
Leonardo Querzoni, Sapienza University, Italy

TUTORIALS CO-CHAIRS:
Gianpaolo Cugola, Politecnico di Milano, Italy
Bugra Gedik, Bilkent University, Germany

GRAND CHALLENGE CO-CHAIRS:
Vincenzo Gulisano, Chalmers University of Technology, Sweden
Zbigniew Jerzak, SAP AG, Germany
Spyros Voulgaris, Vrije Universiteit Amsterdam, The Netherlands
Holger Ziekow, Furtwangen University, Furtwangen, Germany

DEMO AND POSTERS CO-CHAIRS:
Nesime Tatbul, Intel Labs/MIT, USA
Ioannis Katakis, University of Athens, Greece

SPONSORSHIP CO-CHAIRS:
Opher Etzion, Yezreel Valley College, Israel
Christoph Emmersberger, University of Regensburg, Germany

LOCAL ORGANIZATION CO-CHAIRS:
Mary Carrillo, UC Irvine, USA
Yusuf Sarwar, UC Irvine, USA

PROCEEDINGS CHAIR:
Thomas Heinze, SAP, USA

PUBLICITY CO-CHAIRS:
Mohammad Sadoghi, IBM T.J. Watson Research Center, USA
Izchak Tzachi Sharfman, Technion, Israel
Vinay Setty, MPI, Germany

WEB CO-CHAIRS:
Matthew Forshaw, Newcastle University, UK
Ye Zhao, Google Inc., USA

**********************************************************
*
* 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 7th ICROR RailLille 2017

--------------------------------------------------------------------------
Call for Papers 7th ICROR RailLille 2017
--------------------------------------------------------------------------

--------------------------------------------------------------------------
AIMS OF IAROR
--------------------------------------------------------------------------

IAROR was founded in 2005 and has currently more than 250 members. IAROR
combines the expertise of academic and professional railway research with
the aim of enhancing the quality of service for railway passengers and
customers, improving the effectiveness and efficiency of capacity
management, timetabling, traffic management and ensuring the safety of
railway operations. IAROR stimulates innovative theoretical approaches,
high-tech concepts, new technological developments and dynamic decision
support systems that contribute to a higher flexibility, performance and
punctuality of trains operating on single or dedicated lines and in
heterogeneous networks.
IAROR contributes to the development of new international standards for
railway capacity and traffic management by integration of
the state-of-the-art from different scientific disciplines as engineering,
mathematics, physics, economics and computer science. IAROR aims at
becoming the Network of Excellence in the field of railway operations
research and an acknowledged advisor to governments,
railway infrastructure managers, train operating companies and the
industrial suppliers with regard to the development and evaluation of
research programs, innovation strategies, directives and norms for railway
operations.

--------------------------------------------------------------------------
AIM AND SCIENTIFIC ISSUES
--------------------------------------------------------------------------


RailLille2017 is the 7th International Conference on Railway Operations
Modeling and Analysis. It will promote interdisciplinary discussions in
the railway operations research area by combining the expertise of
academics and professionals. RailLille2017 will give researchers and
practitioners the opportunity to meet, to present their latest research,
and to discuss current developments and applications. RailLille2017 solicits
contributions dealing with any aspect of railway planning and operation.
Typical, but not exclusive, topics of interest are:
- Land use, mobility and line planning
- Capacity and robustness in saturated networks
- Optimal network timetabling and maintenance schedules
- Passenger flows in stations, on platform, and dwell time distribution
- Impact of signaling and safety systems on capacity and punctuality
- Validation of stochastic analytical and simulation models
- Timetable stability, punctuality, temporal and spatial distributions of
timetable margins
- Impact of train priorities, dispatching rules and dedicated lines on
network capacity
- Scheduling and routing of passenger and freight trains
- Real-time rescheduling, disturbance and disruption management
- Energy-efficient driving and driver advisory systems
- Prediction of route conflicts, arrival and departure times
- Impact of climate change on future railway operation
- Governance, benchmark analysis and performance evaluation

--------------------------------------------------------------------------
ORGANIZATION COMMITTEE
--------------------------------------------------------------------------

N.Tomii (Chiba Institute of Technology)
I.A.Hansen (Delft University of Technology)
J.Rodriguez (IFSTTAR)
P.Pellegrini (IFSTTAR)
S.Dauzére-Pérès (École des Mines de Saint-Étienne)
D.De Almeida (SNCF - Research department)

--------------------------------------------------------------------------
SCIENTIFIC ADVISORY COMMITTEE
--------------------------------------------------------------------------


G.Abhyuday (Indian Railways)
T.Dick (University of Illinois at Urbana-Champaign)
R.Goverde (Delft University of Technology)
C.Mannino (SINTEF ICT)
A.Marin (Technical University of Madrid)
L.Nie (Beijing Jiaotong University)
A.Oetting (Technische Universität Darmstadt)
D.Pacciarelli (University Roma Tre)
J.Preston (University of Southampton)
S.Ricci (University of Rome "La Sapienza")
T.Schlechte (Zuse Institute Berlin and LBW GbR)
P.Vansteenwegen (University of Leuven)
A.Wardrop (TTG Transportation Technology)
T.White (Transit Safety Management)

--------------------------------------------------------------------------
ABSTRACT AND PAPER SUBMISSION
--------------------------------------------------------------------------

Prospective presenters of contributed papers should submit an extended
abstract emphasizing its innovativeness and relevance. The abstract should
contain a maximum of 1000 words (excluding list of key references). It has
to be uploaded onhttp://raillille2017.sciencesconf.org/user/submissions.
For the accepted abstracts, draft papers of a maximum length of 20 pages
are to be submitted to the same website. They shall be formatted in
accordance with the RailLille2017 templates available on the conference
website in the Submission p rocess page and also with the guidelines of
Journal of Rail Transport Planning & Management
(http://www.elsevier.com/journals/journal-of-rail-transport-planning-and-management/2210-9706/guide-for-authors).
The best papers will be eligible for publication in this journal.

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

August 1st 2016 Deadline for abstract submission
September 15th 2016 Notification of accepted abstracts
November 25th 2016 Deadline for full paper submission
January 20th 2017 Notification of accepted full papers
February 2nd 2017 Final paper submission
February 4th 2017 End of early registration
March 21st 2017 End of registration
April 4th 2017 Short courses
April 5th to 7th 2017 Conference

--------------------------------------------------------------------------
YOUNG RAILWAY OPERATIONS RESEARCH AWARD
--------------------------------------------------------------------------

Excellent papers on innovative research carried out and presented by
participants not older than 35 years are eligible for the YOUNG RAILWAY
OPERATIONS RESEARCH AWARD sponsored by the Board of IAROR. The Award is
worth € 2,500. Candidates are requested to register separately. The winner
will be announced at the end of the conference.

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

--
_____________________________________________

Dr. Thomas Schlechte

Dres. Loebel, Borndoerfer & Weider GbR
Obwaldener Zeile 19, 12205 Berlin, Germany
url: http://www.lbw-berlin.de
e-mail: schlechte@lbw-berlin.de

Zuse Institute Berlin
Takustrasse 7, 14195 Berlin-Dahlem, Germany
phone: +49-30 841 85 317
fax: +49-30 841 85 269
room: 3008
url: http://www.zib.de/schlechte
e-mail
: schlechte@zib.de
_____________________________________________

**********************************************************
*
* 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, May 30, 2016

[DMANET] DEADLINE EXTENSION: 19th ACM/IEEE MSWiM 2016 - Malta, Nov 13-17, 2016

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

Call-For-Papers:
19th ACM/IEEE MSWiM 2016
Malta, Nov 13-17, 2016
http://www.mswimconf.com/2016

====================================================
IMPORTANT: Submission deadline Extended:
Paper registration through EDAS: June 8th, 2016
Paper Submission: June 12th, 2016
===================================================

------

ACM/IEEE* MSWiM 2016 is the 19th Annual International Conference on
Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM
is an international forum dedicated to in-depth discussion of Wireless
and Mobile systems, networks, algorithms and applications, with an
emphasis on rigorous performance evaluation. MSWiM is a highly selective
conference with a long track record of publishing innovative ideas and
breakthroughs. MSWiM 2016 will be held Malta, Nov 13-17, 2016

Authors are encouraged to submit full papers presenting new research
related to the theory or practice of all aspects of modeling, analysis
and simulation of mobile and wireless systems. Submitted papers must not
have been published elsewhere nor currently be under review by another
conference or journal.

Papers related to wireless and mobile network Modeling, Analysis,
Design, and Simulation are solicited on, but not limited to, the
following topics in mobile and wireless systems:

Performance evaluation and modeling
Analytical Models
Simulation languages and tools for wireless systems
Wireless measurements tools and experiences
Formal methods for analysis of wireless systems
Correctness, survivability and reliability evaluation
Mobility modeling and management
Models and protocols for cognitive radio networks
Models and protocols for autonomic, or self-* networks
Capacity, coverage and connectivity modeling and analysis
Wireless network algorithms and protocols
Software Defined Network
Services for Smart City
Wireless PANs, LANs
Ad hoc and MESH networks
Vehicular Ad-hoc Networks (VANET)
Sensor and actuator networks
Delay Tolerant Networks
Integration of wired and wireless systems
Pervasive computing and emerging models
Wireless multimedia systems
QoS provisioning in wireless and mobile networks
Security and privacy of mobile/wireless systems
Algorithms and protocols for energy efficient operation and power control
Mobile applications, system software and algorithms
RF channel modeling and analysis
Design methodologies
Tools, prototypes and testbeds
Parallel and distributed simulation of wireless systems
Wireless Communication and Mobile Networking
Operating systems for mobile computations
Programming language support for mobility
Resource management techniques
Management of mobile object systems

Paper Submission and Publication:

High-quality original papers are solicited. Papers must be unpublished
and must not be submitted for publication elsewhere. All papers will be
reviewed by Technical Program Committee members and other experts active
in the field to ensure high quality and relevance to the conference.
More detailed instructions for paper submission can be found at
http://www.mswimconf.com/2016 and EDAS.

Accepted papers will appear in the conference proceedings to be
published by ACM Press.

Important Dates:

Paper Registration : June 8th, 2016

Paper Submission Deadline: June 12 2016
Notification of Acceptance: July 15th, 2016


Organizing Committee:

General Co-Chair:
- Albert Zomaya, University of Sydney, Austarlia

TPC Co-Chairs:
- Geyong Min, University of Exter, UK

- Antonio Loureiro, UFMG, Brazil

Workshop Chairs:

- Perikklis Chatzimios, Alexander TEI of Thessaloniki, Greece

- SungBum Hong, Jackson State University, USA

Tutorial Chairs:

- Thomas Begin, University Claude Bernards Lyon, France

- Jalel Ben-Othman, University Paris 13, France

PhD Forum Chair

- Bjorn Landfeldt, Lund University, Sweeden
**********************************************************
*
* 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] [15th AdHoc-Now] [July 4th to July 6th Lille, FRANCE] Online registration available

For accepted papers to be published in the ADHOC-NOW 2016 Conference Proceedings an author of an accepted paper is required to register for the conference at the full rate and the paper must be presented by an author of that paper at the conference, unless the TPC Chair grants permission for a substitute presenter arranged in advance of the event and who is qualified both to present and answer questions.


The full registration fees includes for all packages:

* Lunches and Breaks from July 4 to 6, 2016
* A gala dinner July 5, 2016
* A cocktail July 4, 2016
* FIT-IoT Lab Tutorial
* Conference bag, containing the official conference material

It is possible to join only the tutorial of Wednesday, July 6th – price: 110 euros (includes the breaks and the lunch)

Travel and hotel accommodation costs are not included and are the responsibility of each conference participant.

Registration (Early rates): May 31, 2016


* Student: Early Registration 300€ – Late Registration 370€
* Regular: Early Registration 405€ – Late Registration 500€
* Industrial: Early Registration 600€ – Late Registration 650€
* FIT-IoT Tutorial only: 110€
For further information please visit: https://project.inria.fr/AdHocNow2016/authors/registration/


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

Sunday, May 29, 2016

[DMANET] Ph.D. position in Operations Research at INRIA Lille - Nord Europe and the Université Libre de Bruxelles - ULB

INRIA Lille - Nord Europe and the Université Libre de Bruxelles - ULB offer one Ph.D. position in Operations Research.


The position is covered by a scholarship for three years. The student will spend 1.5 year in the team INOCS of INRIA ( https://team.inria.fr/inocs/ ) at Lille and 1.5 years in the team GOM of ULB (http://gom.ulb.ac.be) in Brussels. The Ph.D. degree will be awarded by both entities. He/she will be co supervised by Luce Brotcorne, INRIA and Martine Labbé, ULB.

Candidates should hold a Master's degree in Operations research, mathematics,computer science, or similar fields and should ideally have a solid background in

discrete optimization, integer programming, decomposition techniques. Computer science skills in algorithmic and C/C++ development are also welcome.


Knowledge of French is not required, but good communication skills and

a solid knowledge of English are essential.


Project description:


Title: Models and methods for Stackelberg games using bilevel optimisation and mixed integer linear programming

In the class of games known as Stackelberg games, one agent, the leader, must commit to a strategy that can be observed by several other agents, the followers, before he/she commits to a strategy of his/her own. The leader wishes to find an optimal payoff-maximizing mixed strategy to commit to, under the assumption that the followers will have knowledge of the leader's mixed strategy and will best-respond to it. The problem in such games consists thus in finding a payoff-maximizing mixed strategy for the leader and corresponds to a bilevel problem with bilinear objectives.


Stackelberg game theory has played a vital role in solving real-world security problems. In this domain, the leader is referred to as the defender whereas the followers are referred to as attackers. Stackelberg security game-theoretic applications have included effectively assigning Marshals to planes, determining randomized patrols for the U.S. Coast Guard to efficiently protect critical port infrastructure against external threats, preventing fare evasion in public transport systems as well as protecting endangered wildlife.


The Ph.D. research project will focus on the development of efficient Mixed Integer Programming formulations and algorithms for solving Stackelberg games. On the one hand, the use of approaches such as Benders decomposition or Dantzig Wolfe reformulations might be investigated. On the other hand, variants of the game for the security domain e.g. involving heterogenous ressources or particular structures of the eligible pure strategies of the defender will also be considered as research directions.

The position is open to applicants of all nationalities.The successful candidate will

receive a monthly salary of 1500 € / 2000 $ (after taxes).


The position is available from September, 2016.


Further enquiries should be addressed to : Luce Brotcorne (luce.brotcorne@inria.fr), and Martine Labbé (malbbe@ulb.ac.be).

Applicants should send by email an up-to-date CV, transcript, a letter of motivation, a copy of their master thesis, and a letter of recommendation.

Luce Brotcorne
INOCS
INRIA Lille - Nord Europe
Parc Scientifique de la Haute Borne
40, Avenue Halley, Bat A, Park Plaza
F 59650 Villeneuve d'Ascq
France
Tel: + 33 (0)3 59 35 86 29

http://www.inria.fr/equipes/inocs

**********************************************************
*
* 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, May 27, 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] EC'16 call for posters

EC'16 CALL FOR POSTERS

17th ACM Conference on Economics and Computation
July 24-28, 2016, Maastricht, The Netherlands
www.sigecom.org/ec16/<http://www.sigecom.org/ec16/>

EC'16 will feature a poster session that includes papers published elsewhere since EC'15. We welcome posters on any topic relevant to the EC community.

Submissions should be made at:
http://ec16.confmaster.net/pages/login.php?Conf=EC16
by June 6, 2016. Poster submissions should include:

Title
1-2 paragraph abstract
Authors, listing the presenter as contact author.

The presenter must register for EC'16 or the co-located GAMES 2016.
At most one poster per registered participant is allowed.

The abstract can be based on work published elsewhere since EC'15 or on unpublished work. For published papers, please link to the original publication and mention the venue in which the paper was published or accepted, and the date of publication/acceptance. For unpublished papers, please link to the web page of the paper, or upload a pdf of the paper. Posters are non-archival: they will not appear in the EC'16 proceedings, and so you are free to submit already-published work.

Poster submissions will be lightly reviewed for fit to the conference and novelty to the audience. If the number of poster submissions exceeds capacity, priority will be given to students and postdocs, and beyond this, will be based on relevance and the date of submission. Poster slots will be confirmed by June 10, 2016. If any slots remain, submissions received after the deadline may be considered at the discretion of the organizers.

Best regards,
Dirk Bergemann and Yiling Chen
EC'16 PC chairs


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

[DMANET] Call for Entries for 13th Annual (2016) "Humies"

Call For Entries
for 13th Annual (2016) "Humies" Awards
for Human-Competitive Results
Produced by Genetic and Evolutionary Computation
www.human-competitive.org

To be Held at
Genetic and Evolutionary Computation Conference
(GECCO)
July 20-24, 2016 (Wednesday-Sunday)
Denver, Colorado
http://gecco-2016.sigevo.org/


Entries are hereby solicited for awards totaling $10,000 for
human-competitive results that have been produced by any form of genetic
and evolutionary computation (including, but not limited to genetic
algorithms, genetic programming, evolution strategies, evolutionary
programming, learning classifier systems, grammatical evolution, gene
expression programming, differential evolution, etc.) and that have been
published in the open literature between the deadline for the previous
competition and the deadline for the current competition.

The competition will be held as part of the 2016 Genetic and
Evolutionary Computation (GECCO) conference operated by the Association
for Computing Machinery (ACM) Special Interest Group (SIG) on Genetic
and Evolutionary Computation (SIGEVO). Presentations of entries will be
made at the conference. The winners of the awards will be announced
during the conference. See
http://gecco-2016.sigevo.org/

IMPORTANT DATES:
• Wednesday June 1, 2016 - Deadline for entries (consisting of
one TEXT file and one or more PDF files).
Send entries to koza at human-competitive dot org

• Wednesday June 22, 2016 - Finalists will be notified by e-mail

• Thursday July 6, 2016 - Finalists must submit their presentation
(e.g., PowerPoint, PDF) for posting on the competition web site.
Send presentations to koza at human-competitive dot org

• July 20-24,2016 (Wednesday-Sunday) - The GECCO conference

• Wednesday July 20, 2016 (TENTATIVE) - Presentations before judging
committee at public session of the GECCO conference

• Sunday July 24, 2015 (TENTATIVE) - Announcement of awards at
plenary session of the GECCO conference


JUDGING COMMITTEE
• Erik Goodman
• Una-May O'Reilly
• Wolfgang Banzhaf
• Darrell Whitley
• Lee Spector


CALL FOR ENTRIES
Techniques of genetic and evolutionary computation are being
increasingly applied to difficult real-world problems — often
yielding results that are not merely academically interesting,
but competitive with the work done by creative and inventive
humans. Starting at the Genetic and Evolutionary Computation
Conference (GECCO) in 2004, cash prizes have been awarded for
human-competitive results that had been produced by some form
of genetic and evolutionary computation in the previous year.

This prize competition is based on published results. The
publication may be a paper at the GECCO conference (i.e.,
regular paper, poster paper, or any other full-length paper),
a paper published anywhere in the open literature (e.g.,
another conference, journal, technical report, thesis,
book chapter, book), or a paper in final form that has
been unconditionally accepted by a publication and is
"in press" (that is, the entry must be identical to something
that will be published imminently without any further changes).
The publication may not be an intermediate or draft version
that is still subject to change or revision by the authors
or editors. The publication must meet the usual standards of
a scientific publication in that it must clearly describe a
problem, the methods used to address the problem,
the results obtained, and sufficient information
about how the work was done in order to enable the work
described to be independently replicated.

An automatically created result is considered
"human-competitive" if it satisfies at least one of the
eight criteria below.

(A) The result was patented as an invention in the past,
is an improvement over a patented invention, or would
qualify today as a patentable new invention.

(B) The result is equal to or better than a result that
was accepted as a new scientific result at the time when
it was published in a peer-reviewed scientific journal.

(C) The result is equal to or better than a result that
was placed into a database or archive of results
maintained by an internationally recognized panel of
scientific experts.

(D) The result is publishable in its own right as a
new scientific result independent of the fact that the
result was mechanically created.

(E) The result is equal to or better than the most
recent human-created solution to a long-standing problem
for which there has been a succession of increasingly
better human-created solutions.

(F) The result is equal to or better than a result that
was considered an achievement in its field at the time
it was first discovered.

(G) The result solves a problem of indisputable difficulty
in its field.

(H) The result holds its own or wins a regulated
competition involving human contestants (in the form of
either live human players or human-written computer programs).

Contestants should note that a pervasive thread in most
of the above eight criteria is the notion that the result
satisfy an "arms length" standard — not a yardstick based
on the opinion of the author, the author's own institution
(educational or corporate), or the author's own close associates.
"Arms length" may be established in numerous ways. For example,
if the result is a solution to "a long-standing problem for
which there has been a succession of increasingly better
human-created solutions," it is clear that the scientific
community (not the author, the author's own institution,
or the author's close associates) have vetted the
significance of the problem. Similarly, a problem's
significance may be established if the result replicates
or improves upon a scientific result published in a
peer-reviewed scientific journal, replicates or improves
upon a previously patented invention, constitutes
a patentable new invention, or replicates or improves a result
that was considered an achievement in its field at the time
it was first discovered. Similarly, a problem's significance
may be established if the result holds its own or wins a
regulated competition involving live human players or
human-written computer programs. In each of the foregoing
examples, the standard for human-competitiveness is being
established external to the author, the author's own
institution, or the author's close associates. It is also
conceivable to rely only on criterion G ("The result solves
a problem of indisputable difficulty in its field"); however,
if only criterion G is claimed, there must be a clear
and convincing argument that the problem's "difficulty"
is indeed "indisputable."

The competition will be held as part of the annual Genetic
and Evolutionary Computation (GECCO) conference.
Presentations of entries are to be made at the conference.
The awards and prizes will be announced at the conference.

Cash prizes of $5,000 (gold), $3,000 (silver), and bronze
(either one prize of $2,000 or two prizes of $1,000) will
be awarded for the best entries that satisfy one or more of
the criteria for human-competitiveness. The awards will
be divided equally among co-authors unless the authors
specify a different division at the time of submission.
Prizes are paid by check in U.S. dollars after the GECCO
conference. The judges may, based on submissions,
rearrange the prize amounts and prize categories within
the total amount available for prizes.

DETAILED INSTRUCTIONS FOR ENTERING THE "HUMIES"

If you plan to make an entry into this competition, please
check the web site at www.human-competitive.org for updated
information and for possible changes immediately prior to
submitting your entry.

If you make an entry, please re-check the web site prior
to the conference for possible changes in the instructions
or the schedule.

All entries are to be sent electronically to
koza at human-competitive dot org. All entries will be
promptly acknowledged, so please make an inquiry if you do
not receive a reasonably prompt acknowledgment shortly
after your submission.

An entry must consist of one TEXT file and one or more
PDF files. If the same authors are making multiple entries,
please submit separate e-mails, each containing the
required TEXT file and PDF file(s) supporting the entry.

The TEXT file must contain the following 10 items.
Please be very careful to include ALL required information.
Contestants are alerted to the fact that items 6 and 9 are
especially important and will be the main basis by which
entries will be judged. The papers and presentations from
earlier competitions (starting in 2004) are posted at
the competition web site at www.human-competitive.org.
These previous entries may be informative and helpful
in crafting your entry.

1. the complete title of one (or more) paper(s) published
in the open literature describing the work that the author
claims describes a human-competitive result;

2. the name, complete physical mailing address,
e-mail address, and phone number of EACH author of EACH
paper(s);

3. the name of the corresponding author (i.e., the author
to whom notices will be sent concerning the competition);

4. the abstract of the paper(s);

5. a list containing one or more of the eight letters
(A, B, C, D, E, F, G, or H) that correspond to the
criteria (see above) that the author claims that the work
satisfies;

6. a statement stating why the result satisfies the
criteria that the contestant claims (see examples of
statements of human-competitiveness as a guide to aid in
constructing this part of the submission);

7. a full citation of the paper (that is, author names;
publication date; name of journal, conference, technical
report, thesis, book, or book chapter; name of editors,
if applicable, of the journal or edited book; publisher
name; publisher city; page numbers, if applicable);

8. a statement either that "any prize money, if any,
is to be divided equally among the co-authors" OR a
specific percentage breakdown as to how the prize money,
if any, is to be divided among the co-authors;

9. a statement stating why the authors expect that their
entry would be the "best," and

10. An indication of the general type of genetic or
evolutionary computation used, such as GA (genetic
algorithms), GP (genetic programming), ES (evolution
strategies), EP (evolutionary programming),
LCS (learning classifier systems), GE (grammatical
evolution), GEP (gene expression programming),
DE (differential evolution), etc.

The PDF file(s) are to contain the paper(s). The strongly
preferred method is that you send a separate PDF file
for each of your paper(s) relating to your entry. Both
the text file and the PDF file(s) for each entry will be
permanently posted on a web page shortly after the
deadline date for entries (for use by the judges, conference
attendees, and anyone else who is interested) and will
remain posted on the web as a permanent record of the
competition. If your paper is only available on the
publisher's web site and your publisher specifically
requires that your published paper may appear only
on your own personal page, the second choice is that you
send link(s) to a separate web page on your web site
containing link(s) to the PDF file(s) of the paper(s) that
constitute your entry. This separate web page is to contain
nothing else, so the interested parties may quickly locate
your paper(s). If you use this second-choice option, you
must ALSO supply a link to a permanent web site maintained by
your publisher where your specific paper may be viewed
or purchased (that is, not a link merely to the publisher's
general home page, but a link to the specific web page
containing your paper on the publisher's site). The objective,
in each case, is to provide a permanent record of the entries
and to make it easy for anyone to locate your material.

Generally, only one paper should be submitted. Note that this
is a competition involving a result that satisfies the
criteria for being human-competitive (not a competition
involving an evaluation of the author's entire body of work).
More than one paper should be submitted only if no single
paper fully describes the specific result or method.

The judging committee will review all entries and identify a
short list for presentation at the GECCO conference.
Finalists will be notified by an e-mail to the corresponding
author. Please acknowledge receipt of this message, so the
judges know that you received your notice. Finalists must
then make a short oral presentation to the judging committee
at a public session of the GECCO conference. The
presentations will be held on one of the
early days of the conference, and the winners will be
announced a day or two later at the conference.

Finalists must submit their presentation (e.g., a PowerPoint,
PDF) by e-mail to koza at human-competitive dot org.
All submissions will be promptly acknowledged, so please make
an inquiry if you do not receive a reasonably prompt
acknowledgment. These presentations will be posted on the
web page for the competition.

At the GECCO conference, there will be 10-minute oral
presentations by the finalists to the judging committee.
The presentations will be open to all conference attendees
at a special session of the conference. The oral
presentation should primarily focus on

1. why the result qualifies as being human-competitive and

2. why the judges should consider the entry as "best" in
comparison to other entries that may also be
"human-competitive" (because, as previously mentioned, these
are the two main standards by which entries will be judged
by the judges).

In the short oral presentation to the judges,
a description of the work itself is decidedly secondary.
By the time of the presentation the judges will be familiar
with the papers. Thus, the focus of the presentation is
on reasons why the work being presented should win a prize
— not an explanation or presentation of the work itself.

In the unlikely event that a presenter is scheduled
to make a presentation elsewhere at the GECCO conference
at the same time, please notify the judging committee, so
they can rearrange time slots.

After the oral presentations, the award committee will
meet and consider the presentations.

The presenting author for each entry must register for the
GECCO conference.

A judge will recuse himself or herself if he or she is
closely associated with a finalist (e.g., a current academic
advisor, current collaborator, co-author with the finalist
of related work).

Additional information is at www.human-competitive.org

Dr. John R. Koza
Box 1441
Los Altos Hills, California 94023 USA
Phone: 650-941-0336
Fax: 650-941-9430
Email: john@johnkoza.com
URL: www.johnkoza.com
URL: www.NationalPopularVote.com





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.

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 may be monitored as
permitted by UK 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 Foundations of Computational Intelligence FoCI 2016

Dear colleagues

Please consider to submit your papers to FoCI (call for papers below).

===

FOCI 2016, IEEE Symposium on Foundations of Computational Intelligence,
affiliated to IEEE Symposium Series on Computational Intelligence, IEEE
SSCI 2016

6-9 December 2016, Athens, Greece

http://ssci2016.cs.surrey.ac.uk/ <http://ieee-ssci.org/>

The 2016 IEEE Symposium Series on Computational Intelligence (IEEE SSCI
2016) will be held in Athens, Greece onDecember 6-9, 2016. SSCI is a
flagship annual international conference on computational intelligence
sponsored by the IEEE Computational Intelligence Society. All accepted
paper will appear in IEEE Xplore Digital Library and indexed by EI, SCOPUS
etc.

As a tradition, IEEE SSCI 2016 will co-locate a number of symposiums, each
dedicated to a special topic related to computational intelligence, thereby
providing a unique platform for promoting cross-fertilization. SSCI 2016
will be featured by cross-symposium tutorials, keynote speeches, panel
discussions, PhD consortiums, oral presentations and poster sessions.
Student grants, Best paper Awards and Student Best Paper Award will be
given.

Computational intelligence techniques have proven useful after numerous
applications in real world problems. However, there is much work to be done
in order to fully understand the theoretical foundations of such
techniques. IEEE FOCI'16, provides an ideal forum for those who are
interested in the fundamental issues of computational intelligence to
exchange their ideas and present their latest findings.

IEEE FOCI'16 will focus on fundamental theoretical and practical
foundations of computational intelligence, including but not limited to
neural networks, fuzzy logic, evolutionary computation, and other machine
learning methods. The symposium will put equal emphasis on theoretical and
practical work as long as it addresses the foundations of computational
intelligence.


WEBPAGE:

For more information about FOCI 2016 see,

http://ssci2016.cs.surrey.ac.uk/FOCI.htm <http://ieee-ssci.org.za:8080/FOCI>


IMPORTANT DATES:

Paper submission due: July 18, 2016
Paper acceptance: September 12, 2016
Final paper submission: October 10, 2016
Early registration: October 10, 2016


--
Pietro S. Oliveto
Vice Chancellor's Fellow,
EPSRC Early Career Fellow,
Department of Computer Science,
The University of Sheffield, Sheffield, UK.


*Fully funded PhD studentships available now* in time complexity analysis
of bio-inspired computation. Enquiries by excellent candidates can be sent
to me by email. Applications will be accepted until the posts are filled.
Further details are here
<http://staffwww.dcs.shef.ac.uk/people/P.Oliveto/PhDStudentships.html>.
Applicants should apply using the online application form here
<http://www.shef.ac.uk/postgraduate/online>

**********************************************************
*
* 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] Postdoctoral position in Algorithms/Lower Bounds at Bristol University, UK

POSTDOCTORAL POSITION IN ALGORITHMS RESEARCH AND/OR LOWER BOUNDS

Application deadline June 6, 2016. Start date negotiable but
ideally by September 2016.

Salary: 35,609 to £40,082 UK pounds (approx 52k to 59k US dollars).

This is a fixed term appointment terminating end of December 2017.

The Algorithms team in the Department of Computer Science at Bristol
University is looking to hire a postdoctoral researcher in the areas
of algorithms research and/or lower bounds. The post will require a
high level of expertise in areas which may include but not be limited
to data structures/algorithms, discrete probability, discrete
mathematics and combinatorics.

Our current work focuses on pattern matching in dynamically changing
data however we also have a broader interest in other aspects of
algorithms/theory research.

The ideal candidate will have a Ph.D. in theoretical computer science
("Track A") or closely related mathematical area together with a
strong track record of international publications in algorithms or
theoretical computer science ("Track A") venues. This may include for
example, ICALP/SODA/STOC/FOCS. We welcome applications from talented
computer scientists whose main interest has been in mainstream "Track
A" theory rather than specifically pattern matching.


Please see http://bit.ly/1Zn3r0z for full details both of the post and
the application process.

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

[DMANET] PODC 2016 Call for Participation

-----------------------------------------------------------------------
PODC 2016 Call for Participation
-----------------------------------------------------------------------

35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
(PODC 2016)
July 25-29, 2016
Chicago, Illinois, USA
http://www.podc.org/
Twitter: @podc_conference

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

Keynote speakers:

Andrew A. Chien
Faith Ellen
Phillip B. Gibbons

Conference program:

http://www.podc.org/podc2016/program/

Workshops on Monday, July 25:

Biological Distributed Algorithms (BDA)
Distributed Cloud Computing (DCC)
Distributed Cryptocurrencies and Consensus Ledgers (DCCL)
Theory of Transactional Memory (WTTM)

Workshops on Monday, Friday, July 29:

Adaptive Resource Management and Scheduling for Cloud Computing
(ARMS-CC)
Distributed Computing: Mixing Systems and Theory (DeMiST)
Realistic models for Algorithms in Wireless Networks (WRAWN)

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

Registration for PODC 2016 and workshops is now open. The early
registration deadline is June 27:

http://www.podc.org/podc2016/registration/

Student travel grants are available, and we encourage all eligible
students to apply for the grants. The application deadline is June 13:

http://www.podc.org/podc2016/student-grants/

For information on the venue, hotels, and travelling, please see the
following page:

http://www.podc.org/podc2016/local-arrangements/

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

**********************************************************
*
* 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] GraMSec'16 CALL FOR PARTICIPATION

******************************************************************
GraMSec 2016
The Third International Workshop on Graphical Models for Security
Co-located with CSF 2016

Lisbon, Portugal - June 27, 2016
http://gramsec.uni.lu/
******************************************************************


GraMSec REGISTRATION IS NOW OPEN

To register please follow the instructions given at
http://www.gramsec.uni.lu/registration.php


ABOUT GraMSec

Graphical security models provide an intuitive but systematic
methodology to analyze security weaknesses of systems and to evaluate
potential protection measures. Such models have been subject of
academic research and they have also been widely accepted by the
industrial sector, as a means to support and facilitate threat
analysis and risk assessment processes. The objective of GraMSec is to
contribute to the development of well-founded graphical security
models, efficient algorithms for their analysis, as well as
methodologies and tools for their practical usage.

INVITED TALK

Xinming Ou, University of South Florida, USA
A Bottom-up Approach to Applying Graphical Models in Security Analysis

ACCEPTED REGULAR PAPERS

* Maxime Audinot and Sophie Pinchinat.
On the Soundness of Attack Trees

* Xinshu Dong, Sumeet Jauhar, William G. Temple, Binbin Chen, Zbigniew
Kalbarczyk, William H. Sanders, Nils Ole Tippenhauer and David M. Nicol.
The Right Tool for the Job: a Case for Common Input Scenarios for
Security Assessment

* Marlon Dumas, Luciano García-Bañuelos and Peeter Laud.
Differential Privacy Analysis of Data Processing Workflows

* Eric Li, Jeroen Barendse, Frederic Brodbeck and Axel Tanner.
From A to Z: Developing a Visual Vocabulary for Information Security
Threat Visualisation

* Nihal Pekergin, Sovanna Tan and Jean-Michel Fourneau.
Quantitative Attack Tree Analysis: Stochastic Bounds and Numerical
Analysis

* Ricardo J. Rodríguez, Xiaolin Chang, Xiaodan Li and Kishor S. Trivedi.
Survivability Analysis of a Computer System under an Advanced
Persistent Threat Attack

* Paul Rowe.
Confining Adversary Actions via Measurement

ACCEPTED SHORT PAPERS

* Olga Gadyatskaya, Carlo Harpes, Sjouke Mauw, Cedric Muller and Steve
Muller.
Bridging Two Worlds: Reconciling Practical Risk Assessment
Methodologies with Theory of Attack Trees

* Henk Jonkers and Dick Quartel.
Enterprise Architecture-Based Risk and Security Modelling and Analysis

GENERAL CHAIR
Barbara Kordy, INSA Rennes, IRISA, France

PROGRAM COMMITTEE CO-CHAIRS
Mathias Ekstedt, KTH Royal Institute of Technology, Sweden
DongSeong Kim, University of Canterbury, New Zealand

CONTACT
For inquiries please send an e-mail to gramsec16@easychair.org

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

Wednesday, May 25, 2016

[DMANET] CFP: 20th International Conference on Principles of Distributed Systems (OPODIS 2016)

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

20th International Conference on Principles of Distributed Systems
(OPODIS 2016)

13-16 DecEMBER 2016,
Madrid, Spain

http://opodis2016.etsisi.upm.es
opodis2016@easychair.org


OPODIS solicits papers in all aspects of distributed systems, including
theory, specification, design,
performance, and system building. With a strong background in the theory
of distributed systems,
OPODIS has recently expanded its scope to cover the whole range between
the theoretical aspects and
practical implementations of distributed systems.

Topics of interest include, but are not limited to:

• Design and analysis of distributed algorithms
• Synchronization, concurrent algorithms, shared and transactional memory
• Design and analysis of concurrent and distributed data structures
• Communication networks (protocols, architectures, services, applications)
• High-performance, cluster, cloud and grid computing
• Mesh and ad-hoc networks (wireless, mobile, sensor), location and
context-aware systems
• Mobile agents, robots, and rendezvous
• Internet applications, social systems, peer-to-peer and overlay networks
• Distributed operating systems, middleware, and distributed database
systems
• Programming languages, formal methods, specification and verification
applied to distributed systems
• Embedded and energy-efficient distributed systems
• Distributed event processing
• Distributed storage and file systems, large-scale systems, and big
data analytics
• Dependable distributed algorithms and systems
• Self-stabilization, self-organization, autonomy
• Security and privacy, cryptographic protocols
• Game-theory and economical aspects of distributed computing
• Randomization in distributed computing
• Biological distributed algorithms


Important Dates

Abstract registration: August 15, 2016
Submission deadline: August 22, 2016
Acceptance notification: October 27, 2016
Final version due: November 21, 2016
Conference: December 13-16, 2016, Madrid, Spain


Submissions

Papers are to be submitted electronically through Easychair at the
following link
https://easychair.org/conferences/?conf=opodis2016. Submissions must be
in English in pdf format and
they must be prepared using the LaTeX style templates for LIPIcs
(https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/)
and choosing the A4 paper option. A
submission must not exceed 16 pages, including the cover page, figures,
tables and references. The cover
page should include the title of the paper, the authors' names,
affiliations and e-mails, an abstract,
information about the contact author, and a list of keywords.

Additional details may be included in a clearly marked appendix or as
supplementary material which will
be read at the discretion of the reviewers. Submissions are expected to
be intelligible and complete
without such additional details.

A submission must report on original research that has not previously
appeared in a journal or conference
with published proceedings. It should not be concurrently submitted to
such a journal or conference. Any
overlap with a published or concurrently submitted paper must be clearly
indicated. The Program Chairs
reserve the right to reject submissions that are out of scope, or of
clearly inferior quality, or that violate
the submission guidelines. Each of the remaining papers will undergo a
thorough reviewing process.


Publication

OPODIS has post-proceedings published by Leibniz International
Proceedings in Informatics (LIPIcs) in
gold open access mode. The proceedings become available online, free of
charge, after the conference.
Preliminary versions of the proceedings will be available to
participants at the conference electronically.
The camera-ready version of a paper must have the same format and be of
the same length as its
submitted version. Extended and revised versions of selected papers will
be considered for a special issue
of Theoretical Computer Science (Elsevier).


Best Paper Award

OPODIS features a best paper award. All accepted papers will be
evaluated for the best paper award. The
best paper award aims to encourage work that combines theory and
practice and demonstrates excellence
of research in at least one of these two areas. Such work could be an
advance in theory that sheds lights
on an interesting system problem or an advance in system work that
builds upon strong theoretical results


General Chair

Ernesto Jiménez Merino, Technical University of Madrid, Spain


Program Committee

Yehuda Afek, Tel-Aviv University, Israel
Christian Cachin, IBM Research, Zurich, Switzerland
Marco Canini, Université Catholique de Louvain, Belgium
Shantanu Das, Aix-Marseille University, France
Carole Delporte, Université Paris Diderot – Paris 7, France
Fernando Dotti, PUC-RS, Brazil
Faith Ellen, University of Toronto, Canada
Panagiota Fatourou, FORTH ICS & University of Crete, Greece (co-chair)
Pascal Felber, Université de Neuchâtel, Switzerland
Pierre Fraigniaud, Université Paris Diderot - Paris 7, France
Cyril Gavoille, Université de Bordeaux, France
Rachid Guerraoui, EPFL, Switzerland
Maurice Herlihy, Brown University, USA
Rüdiger Kapitza, TU Braunschweig, Germany
Parisa Marandi, Microsoft Research, UK
Euripides Markou, University of Thessaly, Greece
Alessia Milani, University of Bordeaux, France
Gilles Muller, INRIA, France
Roberto Palmieri, Virginia Tech, USA
Marta Patiño-Martínez, Technical University of Madrid, Spain
Fernando Pedone, University of Lugano, Switzerland (co-chair)
David Peleg, Weizmann Institute of Science, Israel
Sebastiano Peluso, Virginia Tech, USA
Maria Potop Butucaru, Université Paris-VI Pierre-et-Marie-Curie, France
Nuno Preguiça, Universidade Nova de Lisboa, Portugal
Luis Rodrigues, Technical University of Lisbon, Portugal
Eric Ruppert, York University, Canada
Mark Shapiro, INRIA & Université Paris-VI Pierre-et-Marie-Curie, France
Liuba Shrira, Brandeis University, USA
Robert Soule, University of Lugano, Switzerland
Roman Vitenberg, University of Oslo, Norway
Spyros Voulgaris, VU University Amsterdam, Netherlands
Steering Committee
Marcos Aguilera, VMware Research Group, USA
Christian Cachin, IBM Research, Zurich, Switzerland
Alessia Milani, University of Bordeaux, France
Maria Potop-Butucaru, Université Paris-VI Pierre-et-Marie-Curie, France
Giuseppe Prencipe, Università di Pisa , Italy
Etienne Rivière, University of Neuchâtel, Switzerland
Marc Shapiro, INRIA & Université Paris-VI Pierre-et-Marie-Curie, France
Sebastien Tixeuil, IUF & Université Pierre et Marie Curie - Paris 6,
France (chair)


Organizing Commitee

Ángel Álvarez, Technical University of Madrid, Spain
Sergio Arévalo (organization chair), Technical University of Madrid,
Spain (chair)
Antonio Fernández-Anta, Institute IMDEA Networks, Spain
José Luis López-Presa (publicity chair), Technical University of Madrid,
Spain
Pilar Manzano, Technical University of Madrid, Spain
Isabel Muñoz, Technical University of Madrid, Spain
Nicolas Nicolaou, Institute IMDEA Networks, Spain
Andrés Sevilla, Technical University of Madrid, Spain

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