Sunday, May 31, 2015

[DMANET] ICT-DM’2015: Submission deadline extended till June 05, 2015 (Firm deadline)

CALL FOR PAPERS

The 2nd International Conference on Information and
Communication Technologies
for Disaster Management (ICT-DM'2015)
http://www.ict-dm.org

November 30 - December 2, 2015 -- Rennes, Brittany, FRANCE

Supported by: IEEE, IEEE COMSOC, All accepted papers will be published
in IEEEXplore
Selected papers from the conference will be invited to submit an
extended version to the IJDST
<http://www.igi-global.com/journal/international-journal-distributed-systems-technologies/1164> journal
(International Journal of Distributed Systems and Technologies)


IMPORTANT DATES

Submission deadline: June 05, 2015 (Firm deadline)
Notification of acceptance: *July 31, 2015*
Camera-ready version: *August 21, 2015*


SCOPE

ICT-DM'2015 aims to bring together academics and practitioners who are
involved in emergency services, ad hoc planning, disaster recovery,
etc., to learn about the latest research developments, share experiences
and information about this area and develop recommendations.

Authors are invited to submit manuscripts that present original
unpublished research on using ICTs for detection, prevention,
preparation, response and recovery of disasters. There will also be
invited presentations by experts from academia, industry, and government
as well as special sessions dedicated to case studies, demonstrations
and experiences based on pragmatic approaches. In this way, the
conference will provide a forum for supporting and encouraging both
academic researchers and practitioners involved in application focused
research.

Topics of interest include, but are not limited to, the following scope:

* Communication infrastructures, technologies and services for crisis
management
* Mobile and wireless communication networks
* Sensor networks
* Opportunistic communications
* Pervasive and mobile computing
* Context-aware computing
* Internet of things for disaster and emergency management
* M2M communications management and operations
* Smart cities for disaster and emergency management
* Cloud computing
* Data/information management and analysis for disaster management
* Querying and filtering on heterogeneous, multi-source streaming
disaster data
* Data mining from multiple information and huge sources
* Big data analytics in disaster management
* Social media and networks
* Crowd sourcing
* Coordination, collaboration and decision support technologies and
systems for disaster management
* Interoperability of heterogeneous systems
* Cyber-physical systems
* Service Oriented Architectures
* Ontology based approaches
* Prediction and early warning systems
* Security and privacy issues in information sharing
* Human-system interactive information extraction
* Uncertainty and possibly adversity in data handling and delivery
* Situation awareness
* Risk, damage and loss assessment
* Modeling and simulation tools for crisis and disaster situations
* Geo-Information technologies for disaster management
* Remote sensing
* Web mapping and Geographic Information Systems (GIS)
* Evacuation and rescue geo-planning
* Open source data and space based resources to support disaster
management
* E-governance
* Cyber security


PAPERS SUBMISSION

Submitted papers must represent original material that is not currently
under review in any other conference or journal, and has not been
previously published. Paper length should not exceed eight-pages
(10-point font).

Papers should be submitted in PDF using the following EasyChair
submission link:
https://easychair.org/conferences/?conf=ictdm2015

Papers should follow the IEEE formatting rules.
See ICT-DM 2015 conference website for more details:
http://ict-dm2015.inria.fr/authors/

ORGANIZATION

Samer Lahoud, University of Rennes 1, France
Yassine Hadjadj-Aoul, University of Rennes 1, France

GENERAL CO-CHAIRS

Aris M. Ouksel, University of Illinois at Chicago, USA
Nadjib Badache, CERIST, Algeria

TPC CO-CHAIRS

Nadia Nouali-Taboudjemat, CERIST, Algerie
Yassine Hadjadj-Aoul, University of Rennes 1, France
Gabriel-Miro Muntean, Dublin City University, Ireland

PUBLICITY CHAIRS

Soufiene Djahel, University College Dublin (UCD), Ireland
Ivan Gojmerac, Austrian Institute of Technology, Austria

STEERING COMMITTEE

Nadia Nouali-Taboudjemat, CERIST, Algeria
Nadjib Badache, CERIST, Algeria
Aris M. Ouksel, University of Illinois at Chicago, USA
Soufiene Djahel, University College Dublin, Ireland
Ahcène Bendjoudi, CERIST, Algeria
Omar Nouali, CERIST, Algeria

PROGRAM COMMITTEE

A complete list of the program committee can be found in:
http://ict-dm2015.inria.fr/committees/
For more information please see http://ict-dm2015.inria.fr/

--
------------------
Dr. Soufiene Djahel
Engineering Research Manager
University College Dublin
http://csserver.ucd.ie/~sdjahel/index.html


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

[DMANET] PhD Studentship in game theory and machine learning

PhD Studentship in game theory and machine learning
£14,057 Stipend pa

School of Electrical Engineering, Electronics and Computer Science

Closing date for receipt of applications: Wed, 17 Jun 2015 17:00:00 BST

Fully funded Phd position in Game Theory and Machine Learning


This position is defined in the context of the recently started Ariadna
study at the computer science department of the university of Liverpool, in
collaboration with the Advanced Concepts Team (ACT) of the European Space
Agency (ESA): 'Game Theoretic Analysis of the Space debris Removal
Dilemma' This study aims to analyse space debris removal activities from a
strategic, game-theoretical perspective. Space debris is defined as
non-manoeuvrable, human-made objects orbiting Earth. In some orbits, space
debris poses a significant collision risk for an operational spacecraft,
especially in low-Earth orbit (LEO). Currently, there are more than 23,000
objects larger than 5-10cm in Earth orbit.

Within the Clean Space initiative ESA is investigating active debris
removal in addition to mitigation measures to keep the growth of space
debris limited. In cooperation with the national space agencies and
industry partners, ESA is developing mission concepts to clean up and
deorbit space debris. This study contributes to this initiative.
Specifically, the objective is three-fold, one, to model debris
accumulation and active removal efforts as a dynamic game, two, to
determine the optimal time-dependent policies or behaviour assuming both
cooperative and self-interested players, and three, to propose a mechanism
to steer the dynamics of the game to a desirable outcome. It is expected
that such a study will provide a deeper understanding of the space debris
problem and its potential (economic) ramifications, and will provide an
outlook on potential game-theoretic solution strategies.

The investigation will involve mostly (evolutionary) game theory, machine
learning, mechanism design and some experimental simulation work.

The candidate must have a passionate interest in game theory and/or machine
learning, and an interest in space applications.

Prospective candidates must have at least a 2.1 or above Bachelor degree in
a relevant subject (Computer science, Physics, Economics) and should enjoy
mathematical work. Good programming skills are required.

The funding covers EU/UK fees and stipend of approximately £14,057pa for a
total of 3 years. For informal enquiries please contact prof. dr. K. Tuyls
(k.tuyls@liverpool.ac.uk) or dr. R. Savani (rahul.savani@liverpool.ac.uk).
Students can Apply online via our website
https://www.liv.ac.uk/study/postgraduate/applying/online/ please state
research council funding & quote 'CS/KTRS'


**********************************************************
*
* 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 29, 2015

[DMANET] CFP OPODIS 2015 : 19th International Conference on Principles of Distributed Systems

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

========================================================================
OPODIS 2015
The 19th International Conference on Principles of Distributed Systems

14-17 Dec, Rennes
http://opodis2015.irisa.fr

Schedule

Abstract registration: 24 August 2015
Submission deadline: 31 August 2015
Acceptance notification: 5 Nov 2015
Final version due: 19 Nov 2015
Conference: 14-17 Dec 2015, Rennes

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

OPODIS is an open forum for the exchange of knowledge on distributed
computing and distributed computer systems. All aspects of distributed
systems are within the scope of OPODIS, including theory, specification,
design, performance, and system building. With strong roots in the
theory of distributed systems, OPODIS covers nowadays the whole range
between the theoretical aspects and practical implementations of
distributed systems, as well as experimentation and quantitative
assessments.

*TOPICS*

Topics of interest include, but are not limited to:
-Algorithms for distributed systems (static or dynamic) and their
complexity;
-Cluster, cloud, grid and high-performance computing;
-Distributed operating systems, middleware, and database systems;
-Communication networks (protocols, architectures, services, applications);
-Cryptographic protocols and security mechanisms;
-Fault tolerance, reliability, availability;
-Internet applications, social systems, peer-to-peer and overlay networks;
-Self-* solutions for distributed systems;
-Mobile and wireless computing and sensor networks;
-Mobile agents and autonomous robots.

*PUBLICATION*

OPODIS 2015 will have post-proceedings available after the conference,
which allows for modifications based on the discussion during the
conference. Preliminary versions of the proceedings will be available
to participants at the conference electronically.

The proceedings will be published by
LIPIcs: Leibniz International Proceedings in Informatics
http://www.dagstuhl.de/en/publications/lipics
LIPIcs proceedings are available online and free of charge, in the model of
Gold Open Access.

Selected papers from the conference will be invited to the following
journals:
-Theoretical Computer Science (Elsevier)
-Computing (Springer)
-Operating Systems Review (ACM SIGOPS)

*SUBMISSION*

Detailed instructions for paper submission will appear in June 2015 on
the conference website
http://opodis2015.irisa.fr

*TUTORIALS*

OPODIS 2015 will feature selected tutorials, covering research subjects
in the scope of the conference.

Experts in the domains covered by OPODIS are invited to share their
expertise with the community by submitting proposals for tutorials. The
duration of a tutorial is one session (90 to 120 minutes), including
time for questions.

A tutorial proposal should not exceed three (3) pages in length using a
11pt font size. It must include the following information:

-The title of the tutorial;
-An abstract of the tutorial content;
-A brief statement of the relevance of the tutorial to OPODIS;
-The name(s), e-mail address(es) and affiliation(s) of the presenter(s);
-The biography and relevant publications of the presenter(s);
-If the authors will consider submitting an abstract of the tutorial (see
below);
-When applicable, if and where the tutorial has already been given in
the past.

Presenters of tutorials will be given the possibility to publish an
extended abstract of the tutorial content in the proceedings of the
conference. Such extended abstracts are encouraged but optional, and
will have to be accepted through peer review before inclusion.

Tutorial proposals must be sent by email directly to the program co-chairs
in PDF format. More information will appear on:
https://opodis2015.irisa.fr/keynotes-and-tutorials/

The selection will be based on a combination of interest in content from
the perspective and the topics of OPODIS, the timeliness and the
potential to attract or establish new communities, and the proposed
organization.

*BEST PAPER AWARD*

Starting with this edition, OPODIS will feature a "Best Paper" Award.
All papers accepted for presentation at the conference will be evaluated
by the award committee. The Best Paper Award aims to encourage work that
best combines theory and practice, and demonstrates excellence of
research in at least one of the two. This might be, for instance, an
advance in theory work that solves a real system issue, or an advance in
systems that builds upon theoretical results. The award committee may
decide to decline to confer the award, or to split it among more than
one recipient.

*PROGRAM CHAIRS*

Maria Potop-Butucaru, LIP6
Christian Cachin, IBM Research - Zurich


*GENERAL CHAIR*

Emmanuelle Anceaume CNRS / IRISA, France


*PROGRAM COMMITTEE*

Silvia Bonomi La Sapienza, Italy
Christian Cachin (co-chair) IBM Research - Zurich, Switzerland
Keren Censor-Hillel Technion, Israel
Xavier Defago JAIST, Japan
Shlomi Dolev Ben-Gurion University of the Negev, Israel
Panagiota Fatourou University of Crete, Greece
Antonio Fernandez Anta IMDEA Networks Institute, Spain
Christof Fetzer TU Dresden, Germany
Emmanuel Godard Université Aix-Marseille, France
Wojciech Golab University of Waterloo, Canada
Krishna P. Gummadi MPI SWS Saarbrücken, Germany
Taisuke Izumi Nagoya Institute of Technology, Japan
Flavio Junqueira MSR Cambridge, United Kingdom
Rüdiger Kapitza TU Braunschweig, Germany
Aggelos Kiayias University of Athens, Greece
Fabian Kuhn University of Freiburg, Germany
Petr Kuznetsov Telecom ParisTech, France
Dahlia Malkhi VMware Research, United States
Rui Oliveira Universidade do Minho, Portugal
Marina Papatriantafilou Chalmers, Sweden
Fernando Pedone University of Lugano, Switzerland
Andrzej Pelc University of Quebec, Canada
Erez Petrank Technion, Israel
Peter Pietzuch Imperial College, United Kingdom
Florin Pop University Politehnica of Bucharest, Romania
Maria Potop-Butucaru (co-chair) Université Paris 6/LIP6, France
Michel Raynal IUF & IRISA-INRIA Rennes, France
Etienne Rivière University of Neuchâtel, Switzerland
Luís Rodrigues INESC-ID, Universidade de Lisboa, Portugal
Matthieu Roy LAAS-CNRS, France
Alex Shvartsman University of Connecticut, United States
Roman Vitenberg University of Oslo, Norway
Philipp Woelfel University of Calgary, Canada
Haifeng Yu National University of Singapore, Singapore


*STEERING COMMITTEE*

Marcos K. Aguilera VMWare, United States
Roberto Baldoni Sapienza University of Rome, Italy
Giuseppe Prencipe University of Pisa, Italy
Nicola Santoro Carleton University, Ottawa, Canada
Marc Shapiro INRIA, France
Sébastien Tixeuil (chair) IUF & LIP6-CNRS, France
Maarten van Steen VU University Amsterdam, Netherlands


*ORGANIZING COMMITTEE*

Emmanuelle Anceaume (chair) CNRS / IRISA, France
Yann Busnel EXCESS (ENSAI) / INRIA, France
Elisabeth Lebret INRIA, France
Lydie Mabil INRIA, France
Romaric Ludinard University of Rome La Sapienza, Italy

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

[DMANET] New Doctoral Program on Logical Methods in Computer Science (LogiCS)

Funded Doctoral Positions in Computer Science

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
motivated students for their joint doctoral program LogiCS. The LogiCS
doctoral college focuses on interdisciplinary research topics covering

(i) computational logic, and applications of logic to
(ii) databases and artificial intelligence as well as to
(iii) computer-aided verification.

THE PROGRAM

LogiCS is a doctoral college focusing on logic and its applications in
computer science. Successful applicants will work with and be
supervised by leading researchers in the fields of computational
logic, databases and knowledge representation, and computer-aided
verification.

FACULTY MEMBERS

M. Baaz A. Biere R. Bloem A. Ciabattoni
U. Egly T. Eiter C. Fermueller R. Grosu
A. Leitsch M. Ortiz R. Pichler S. Szeider
H. Tompits H. Veith G. Weissenbacher

The LogiCS faculty comprises 15 renowned researchers with strong
records in research, teaching and advising, complemented by 12
associated members who further strengthen the research and teaching
activities of the college.

Details are provided on http://logic-cs.at/faculty/

POSITIONS AND FUNDING

We are looking for 1 doctoral students per faculty member, where 30%
of the positions are reserved for highly qualified female candidates.
The doctoral positions are funded for a period of 3 years according to
the funding scheme of the Austrian Science Fund (details:
http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/)
The funding can be extended for one additional year contingent on a
placement at one of our international partner institutions.

CURRENT RESEACH AREAS

At the moment we are particularly looking for people in the following areas:

* Answer Set Programming
* Concurrency
* Description Logic
* Database Theory
* Model Checking
* Proof Theory and Automated Deduction
* QBF Solving

HOW TO APPLY

Detailed information about the application process is available on the
LogiCS web-page

http://logic-cs.at/phd/

The applicants are expected to have completed an excellent diploma or
master's degree in computer science, mathematics, or a related field.
Candidates with comparable achievements will be considered on a
case-by-case basis. Applications by the candidates need to be
submitted electronically.

Next application Deadline: July 1, 2015.

LOGIC IN AUSTRIA

Austria has a highly active and successful logic in computer science community.
Recent activities include:

vsl2014.at
Vienna Summer of Logic, the Largest Conference in the History of Logic

www.arise.or.at
Austrian Research Network in Rigorous Systems Engineering

vcla.at
Vienna Center for Logic and Algorithms

kgs.logic.at
International Kurt Goedel Society

HIGHEST QUALITY OF LIFE

The Austrian cities Vienna, Graz, and Linz, located close to the Alps
and surrounded by beautiful nature, provide an exceptionally high
quality of life, with a vibrant cultural scene, numerous cultural
events, world-famous historical sites, a large international
community, a varied cuisine and famous coffee houses.

For further information please contact:
info@logic-cs.at

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

[DMANET] Call for Papers: ICIA'15 Japan

CALL FOR PAPERS


The Fourth International Conference on Informatics & Applications (ICIA2015)

July 20-22, 2015 » Takamatsu, Japan
Kagawa University

Venue: Takamatsu Symbol Tower

http://sdiwc.net/conferences/icia2015/

icia2015@sdiwc.net

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

IMPORTANT DATES:

Submission Deadline open from now until June 20, 2015
Notification of Acceptance June 20, 2015 or 3 weeks from the submission date
Camera Ready Submission July 05, 2015
Registration Deadline July 05, 2015, It is recommended to do it few days
before
Conference Dates July 20-22, 2015

==============================================================
PAPER SUBMISSION GUIDELINES:

- Researchers are encouraged to submit their work electronically. Full
paper must be submitted (Abstracts are not acceptable).
- Submitted paper should not exceed 15 pages, including illustrations. All
papers must be without page numbers.
- Papers should be submitted electronically as pdf format without author(s)
name.
- Paper submission link:
http://sdiwc.net/conferences/icia2015/openconf/openconf.php


All registered papers will be included in SDIWC Digital Library
==============================================================

The conference aims to enable researchers build connections between
different digital applications. The event will be held over three days,
with presentations delivered by researchers from the international
community, including presentations from keynote speakers and
state-of-the-art lectures.

RESEARCH TOPICS ARE NOT LIMITED TO:

-Access Controls
-Anti-cyberterrorism
-Assurance of Service
-Biometrics Technologies
-Cloud Computing
-Computational Intelligence
-Computer Crime Prevention and Detection
-Computer Forensics
-Computer Security
-Confidentiality Protection
-Critical Computing and Storage
-Critical Infrastructure Management
-Cryptography and Data Protection
-Data Compression
-Data Management in Mobile Peer-to-Peer Networks
-Data Mining
-Data Stream Processing in Mobile/Sensor Networks
-Distributed and Parallel Applications
-E-Government
-E-Learning
-E-Technology
-Embedded Systems and Software
-Forensics, Recognition Technologies and Applications
-Fuzzy and Neural Network Systems
-Green Computing Grid Computing
-Image Processing
-Indexing and Query Processing for Moving Objects
-Information Content Security
-Information Ethics
-Information Propagation on Social Networks
-Information and Data Management
-Internet Modeling
-Mobile Networking, Mobility and Nomadicity
-Mobile Social Networks
-Mobile, Ad Hoc and Sensor Network Management
-Multimedia Computing
-Network Security
-Peer-to-Peer Social Networks
-Quality of Service, Scalability and Performance
-Real-Time Systems
-Resource and Knowledge Discovery Using Social Networks
-Self-Organizing Networks and Networked Systems
-Semantic Web, Ontologies
-Sensor Networks and Social Sensing
-Signal Processing, Pattern Recognition and Applications
-Social Networks Social Search
-Soft Computing Techniques
-Software Engineering
-Ubiquitous Computing, Services and Applications
-User Interfaces and Usability Issues for Web Applications
-User Interfaces,Visualization and Modeling
-Web Services Architecture, Modeling and Design
-Web Services Security Wireless Communications
-XML-Based Languages

Researchers are encouraged to submit their work electronically. All papers
will be fully refereed by a minimum of two specialized referees. Before
final acceptance, all referees comments must be considered.

Best selected papers will be published in one of the following special
issues provided that the author do major improvements and extension within
the time frame that will be set by the conference and his/her paper is
approved by the chief editor:

International Journal of New Computer Architectures and their Applications
(IJNCAA)
International Journal of Digital Information and Wireless Communications
(IJDIWC)
International Journal of Cyber-Security and Digital Forensics (IJCSDF)
International Journal of E-Learning and Educational Technologies in the
Digital Media (IJEETDM)

--
*Sincerely yours,*
*Hazel Ann*
*www.sdiwc.net <http://www.sdiwc.net>*

**********************************************************
*
* 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] Internet Mathematics special issue on “Algorithms for evolving networks”

Call for papers

https://evolvingnetworks2015.wordpress.com/2015/05/10/cfp/

The widespread adoption of digitization has opened the way to gathering large amounts of data that record detailed information for many systems of interest. Examples include telecommunication networks, online social-media platforms, and biological systems. Many of these systems are typically represented as networks, and graph-theoretic techniques are used to analyze the available data. Furthermore, as our data-gathering capacity has increased, it is now possible to collect data the record not only a static aggregate view of the underlying network, but a continuous stream of events that captures the full dynamic behavior of the network. Such events may take the form of structural changes, or they may encode different types of actions and interactions performed by the network entities. This view of time-evolving networks poses new challenges and opens new research directions. The objective is to develop the theoretical foundations and to design the algorithmic principles that !
will allow to efficiently manage and analyze such evolving networks. This special issue of Internet Mathematics invites original research papers on algorithmic and mathematical methods for modeling, processing, and analyzing evolving networks. The topics of interest include but are not limited to

Models and novel computational paradigms for evolving networks
Graph stream algorithms
Monitoring and mining evolving networks
Spectral analysis of evolving networks
Detecting events, trends, and change points
Inferring structure from network activity
Applications in social media, web graphs, citation networks, biological networks, and other domains

Papers that have previously appeared in peer-reviewed conferences may be submitted, provided that significant extensions and additional non-trivial contributions are presented. In the latter case, submissions should be accompanied by a cover letter summarizing the additional contributions with respect to the earlier conference version.

The papers should be prepared and submitted according to the general guidelines for authors of Internet Mathematics. Please indicate in your submission that the paper is submitted for the special issue.

Submission deadline: Oct 15, 2015

Submission at the website of Internet Mathematics: http://www.tandfonline.com/toc/uinm20/current

Guest editors

Aristides Gionis, Aalto University
Suresh Venkatasubramanian, University of Utah


**********************************************************
*
* 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 28, 2015

[DMANET] ICDCN 2016 Call for Papers

International Conference on Distributed Computing and Networking (ICDCN
2016)
Singapore, January 4-7, 2016.
http://www.icdcn.org/

----------------------------------------------------------------------------
ICDCN is a premier international conference dedicated to addressing
advances in Distributed Computing and Communication Networks, which over
the years, has become a leading forum for disseminating the latest research
results in these fields. The 17th edition of this international conference
will be organized in Singapore, with joint participation from Singapore
Management University (SMU) and National University of Singapore (NUS).
Singapore is one of Asia's most vibrant cities with many activities all
year round, and is often called a garden city due to its beautiful city
landscape. Singapore boasts of several world-class universities and
research institutes, has an outstanding transportation and hospitality
infrastructure and is rated as one of the top-5 convention centers in the
world.

ICDCN 2016 will be organized in two tracks: Distributed Computing and
Networking, and will comprise a highly selective technical program
consisting of refereed concise papers, panel discussions as well as focused
workshops on emerging topics. Conference proceedings will be published in
the ACM Digital Library (pending final approval).

Papers describing original research work and practical
experiences/experimental results are solicited on topics that tentatively
include, but are not limited to:

I. Distributed Computing Track

- Distributed algorithms & concurrent data structures: design, analysis,
and complexity
- Distributed operating systems
- Distributed database systems
- Embedded distributed systems
- Experimental evaluation of distributed systems
- Fault-tolerance, reliability, and availability
- Multiprocessor & multi-core architectures & algorithms
- Self-organization, self-stabilization, & autonomic computing
- High performance computing, grid computing, & cloud computing
- Security, cryptography, & game theory in distributed systems
- Internet-scale distributed systems

II. Networking Track

- Ad-hoc, sensor, PAN and mesh networks
- Internetworking protocols & Internet applications
- Cellular networks (4G/LTE)
- Network virtualization
- Data center and cloud networking
- Software-defined and cognitive networks
- Mobile and pervasive computing and networking
- Next generation & converged network architectures
- Overlay & peer-to-peer networks and services
- Network security & privacy
- Energy-efficient networking & Smart Grids
- Pricing and network economics
- Visible light communications
- Backscatter and ultra-low power networks

------------------------------------------------------------
-----------------
Submissions:

ICDCN 2016 will be soliciting submissions as either regular or short
(concise contribution) papers. At least one author of each accepted paper
must register for the conference and present the paper.

Regular Papers should not exceed 10 pages double column including figures,
tables, and references in standard ACM format. Additional details may be
included in a clearly-marked appendix (containing all technical ideas and
proofs necessary for an expert to fully verify the claims of the paper)
that will be read at the discretion of the program committee. Papers must
be submitted electronically in printable PDF form via the EasyChair
submission management system. Some papers not accepted as regular papers
may be accepted as "concise papers" with 4 pages in the proceedings while
full papers will be allowed 10 pages.

Best Paper Award: The ICDCN TPC plans to award a Best Paper Award,
independently for each of the two tracks. This award will be based on the
paper's technical merit, the opinions of the reviewers AND the presentation
quality at the conference.

Special Issue: The authors of selected best papers in the Distributed
Computing track will be invited to submit an extended version of their
paper for publication in Theoretical Computer Science (TCS - A) journal,
Elsevier. The authors of selected best papers in the Networking track will
be invited to submit an extended version of their paper for publication in
Pervasive and Mobile Computing (PMC), journal, Elsevier.

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

Paper submission deadline: July 24, 2015
Notifications: September 11, 2015
Camera-Ready: October 9, 2015
Conference Dates: January 4-7, 2016

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


General Co-Chairs

Vijay Garg, University of Texas at Austin
Archan Misra, Singapore Management University


TPC Co-Chairs

Mun Choon Chan, National University of Singapore (Networking)
Gopal Pandurangan, University of Houston (Distributed Computing)


TPC Vice-Chairs

Chiu Chiang Tan, Temple University (Networking)
Peter Robinson, Queen's University Belfast (Distributed Computing)


Steering Committee

Sajal K. Das, Missouri University of Science and Technology, USA,
sdas@mst.edu (Co-chair)
Vijay Garg, University of Texas at Austin, USA
Sukumar Ghosh, University of Iowa, USA, sukumar-ghosh@uiowa.edu (Co-Chair)
Dilip Krishnaswamy, IBM Research, Bangalore, India
Sanjoy Paul, Accenture, India
David Peleg, Weizmann Institute of Science, Israel
Michel Raynal, IRISA, France


Program Committee Members

I. Distributed Computing Track

Dan Alistarh (Microsoft)
James Aspnes (Yale)
John Augustine (IIT Madras)
Chen Avin (Ben-Gurion Univ.)
Martin Biely (Google)
Costas Busch (Louisiana State Univ.)
Keren Censor-Hillel (Technion)
Shantanu Das (Marseille)
Carole Delporte-Gallet (Univ. Paris Diderot - Paris 7)
Shlomi Dolev (Ben-Gurion Univ.)
Michael Elkin (Ben-Gurion Univ.)
Eli Gafni (UCLA)
George Giakkoupis (IRISA)
Seth Gilbert (National Univ. of Singapore)
Rachid Guerraoui (EPFL)
Indranil Gupta (UIUC)
Stephan Holzer (MIT)
Taisuke Izumi (Nagoya Univ.)
Maleq Khan (Virginia Tech)
Fabian Kuhn (Univ. of Freiburg)
Shay Kutten (Technion)
Christoph Lenzen (Max-Planck-Institut Informatik)
Achour Mostefaoui (IRISA)
Calvin Newport (Georgetown)
Andrzej Pelc (UQO)
Sriram Pemmaraju (Univ. of Iowa)
Nicola Santoro (Carleton Univ.)
Christian Scheideler (Univ. of Paderborn)
Andre Schiper (EPFL)
Stefan Schmid (TU Berlin)
Ulrich Schmid (Vienna UT)
Michele Scquizzato (Univ. of Houston)
Alexander A. Shvartsman (Univ. of Connecticut)
Jukka Suomela (Aalto Univ.)
Amitabh Trehan (Queen's Univ. Belfast)
Maxwell Young (Drexel Univ.)
Haifeng Yu (National Univ. of Singapore)

II. Networking Track

Paolo Bellavista (Univ. of Bologna, Italy)
Chiara Boldrini (IIT-CNR)
Roksana Boreli (National ICT Australia)
Sandip Chakraborty (IIT Kharagpur)
Binbin Chen (ADSC, Singapore)
Lai-Tee Cheok (Singapore Management Univ.)
Kwan-Wu Chin (Univ. of Wollongong)
Minseok Kwon (Rochester Institute of Technology)
Brent Lagasse (Univ. of Washington, Bothell)
Derek Leong (I2R, A*STAR, Singapore)
Jun Luo (Nanyang Technological Univ.)
Richard Ma (National Univ. of Singapore)
Muthucumaru Maheswaran (McGill Univ.)
Vaskar Raychoudhury (IIT Roorkee)
Sachin Shetty (Tennessee State Univ.)
Biplab Sikdar (National Univ. of Singapore)
Pushpendra Singh (Indraprastha Institute of Information Technology)
Krishna Sivalingam (IIT Madras)
Chun Tung Chou (Univ. of New South Wales)
Qian Wang (Wuhan Univ.)
Chuan Wu (The Univ. of Hong Kong)
Hong Xu (City Univ. of Hong Kong)
Yang Yang (Qualcomm)
Chau Yuen (Singapore Univ. of Technology and Design)
Yifan Zhang (SUNY at Binghamton)
Zizhan Zheng (Ohio State Univ.)
Wenchao Zhou (Georgetown)
Yanmin Zhu (Shanghai Jiao Tong Univ.)

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

[DMANET] PhD at INRIA Lille (France); OR applied to Energy.Project in collaboration with EDF

Full funded Phd position at INRIA Lille (France) in collaboration with EDF R&D (Paris).

Subject : Design and Pricing of Electricity Services in a Competitive Environment

Supervisors :

Brotcorne Luce INRIA Lille Nord Europe

03 59 35 86 29

Luce.Brotcorne@inria.fr

Sébastien Lepaul EDF R&D, Plateau de Saclay

01 47 65 55 76 – 06 62 37 43 22

sebastien.lepaul@edf.fr

Summary of the project

Electricity generation and consumption are always considered as a ''hot topic'' for governments, economists, ecologists, and scientists. Indeed, in spite of modern power generator technologies, the energy consumption increase defines new challenges for power producers and electricity providers. Because supply and demand for electricity must balance in real-time, rapid changes in demand create operational challenges for the electric system.

The aim of the project is to solve a joint pricing and design problem of energy services in a competitive environment for residential demand side management. More precisely, the objective is twofold : generate revenue for an energy provider and encourage the customers to individually and voluntarily reduce their consumption at peak periods. A bi-level approach is considered to take explicitly into account the strategic behavior of consumers into the optimization process.

EDF has to define new product offer to its industrial customers (tarifs jaunes et verts). In this framework the thesis will be a real challenge.

Thesis goals

The goals of the thesis are twofold. First the student will have to define appropriate models for the problem in a monopolistic and competitive environment. A close collaboration with practitioners (Direction Economie Prix et Tarif) will be required. Next the solution algorithms will have to be developed and tested.

Skills

Optimization Background, Coding in C++ or java,

Economical knowledge will be an add value.

Environment and Timing

The thesis will start october 2015 and will take place at INRIA Lille, EDF Lab at Saclay and PGMO lab at l'Ecole Polytechnique.

For any further information feel free to contact Luce Brotcorne or Sébastien Lepaul.

To apply for the project, please send a CV, a motivation letter and record to Luce.Brotcorne@inria.fr and sebastien.lepaul@edf.fr

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

[DMANET] 2nd CfP: ALGOSENSORS 2015 - 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks. Deadline: June 22

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


Call for Papers

ALGOSENSORS 2015

11th International Symposium on Algorithms and Experiments for Wireless
Sensor Networks


ALGOSENSORS will be in Patras, Greece, as part of ALGO
http://algo2015.upatras.gr/algosensors/

Submission: June 22, 2015
Notification: July 20, 2015
Camera Ready: August 10, 2015
Symposium: September 18, 2015
****************************************************************************


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

SCOPE AND TOPICS

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

ALGOSENSORS is an international symposium dedicated to the algorithmic
aspects of wireless networks. Originally focused on sensor networks, it
now covers algorithmic issues arising in wireless networks of all types
of computational entities, static or mobile, including sensor networks,
sensor-actuator networks, autonomous robots. The focus is on the design
and analysis of algorithms, models of computation, and experimental
analysis.

This year ALGOSENSORS has three tracks:
Distributed & Mobile
Experiments & Applications
Wireless & Geometry

Each paper must be submitted to a single track that fits the topic of
the paper best. While the tracks Distributed & Mobile and Wireless &
Geometry deal primarily with algorithmic and theoretical results, the
Experiments & Applications track covers papers where the evaluation is
of more practical nature (tests, simulations, experiments, position
papers).
Topics include, but are not limited to:
Approximation Algorithms
Communication Protocols
Complexity and Computability
Computational Models
Cryptography, Security and Trust
Cyber Physical Systems
Data Aggregation and Fusion
Deployment
Energy Management
Error Correcting Codes
Experimental Analysis
Fault Tolerance and Dependability
Game Theoretic Aspects
Infrastructure Discovery
Localization
Medium Access Control
Mobility & Dynamics
Obstacle Avoidance
Pattern Formation
Performance Evaluation
Power Saving Schemes
Randomized Algorithms
Resource Efficiency
RFID Algorithms
Routing and Data Propagation
Self-stabilization, Self-* Properties
Swarm Computing
Systems and Testbeds
Time Synchronization
Topology Control
Tracking
Virtual Infrastructures


----------------------------------------------
PROGRAM COMMITTEE
----------------------------------------------

Prosenjit Bose, Carleton University, Canada (Chair Track Wireless &
Geometry)
Leszek Antoni GÄ…sieniec, University of Liverpool (Chair Track
Distributed & Mobile)
Kay Roemer, TU Graz, Austria (Chair Track Experiments & Applications)
Roger Wattenhofer, ETH Zurich, Switzerland (Program Chair)


Carlo Boano, TU Graz, Austria
Nicolas Bonichon, University of Bordeaux, France
Paz Carmi, Ben Gurion University, Israel
Jérémie Chalopin, CNRS and Aix-Marseille Université, France
Jean-Lou De Carufel, Carleton University, Canada
Stephane Durocher, Manitoba University, Canada
Anna Foerster, University of Bremen, Germany
Martin Gairing, University of Liverpool, UK
Konstantinos Georgiou, University of Waterloo, Canada
Tomasz Jurdzinski, Wroclaw University, Poland
Matias Korman, National Institute of Informatics, Japan
Olaf Landsiedel, Chalmers University of Technology, Sweden
Andreas Loukas, TU Berlin, Germany
George Mertzios, University of Durham, UK
Luca Mottola, Politecnico di Milano, Italy
Merav Parter, Weizmann Institute, Israel / MIT, CSAIL, USA
Ljubomir Perkovic, DePaul University, USA
Andreas Reinhardt, TU Clausthal, Germany
Olga Saukh, ETH Zurich, Switzerland


Laura Peer, ETH Zurich, Switzerland (Web Chair)
Klaus-Tycho Foerster, ETH Zurich, Switzerland (Publicity Chair)


----------------------------------------------
STEERING COMMITTEE
----------------------------------------------

Josep Diaz, U.P. Catalunya, Spain
Magnus M. Halldorsson, Reykjavik U., Iceland
Bhaskar Krishnamachari, U. of Southern California, USA
P.R. Kumar, Texas A&M U., USA
Sotiris Nikoletseas, U. of Patras and CTI, Greece (Chair)
Jose Rolim, U. of Geneva, Switzerland
Paul Spirakis, U. of Patras and CTI, Greece
Adam Wolisz, T.U. Berlin, Germany


----------------------------------------------
PROCEEDINGS
----------------------------------------------

As in previous years, the proceedings of ALGOSENSORS will be published
by Springer-Verlag as a volume of the LNCS series. Selected papers will
be invited to a special issue of the Journal Theoretical Computer Science.


----------------------------------------------
SUBMISSION
----------------------------------------------

Full papers are to be submitted electronically using the EasyChair
server at https://easychair.org/conferences/?conf=algosensors2015.
Original research papers must contain results that have not previously
appeared and have not been concurrently submitted to a journal or
conference with published proceedings. Each paper should select one of
the three tracks (Distributed & Mobile, Experiments & Applications, or
Wireless & Geometry) for submission. Authors need to ensure that for
each accepted paper at least one author will register and attend the
symposium. Submissions are limited to twelve (12) single-column pages in
the LNCS format (see LNCS author guidelines at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). This
includes figures, but excludes references and an optional appendix (to
be read at the program committee's discretion).


By submitting a paper the authors acknowledge that in case of acceptance
at least one of the authors must register at ALGO 2015 or
ALGOSENSORS2015, attend the conference, and present the paper.
**********************************************************
*
* 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 IEEE SECON 2015 - Early registration deadline June 1

Call for participation IEEE SECON 2015 - in Seattle, USA

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

[Please accept our apologies if you receive multiple copies of this Call
for Participation (CFP).]

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

CALL FOR PARTICIPATION
IEEE SECON 2015
12th Annual IEEE International Conference on
Sensing, Communications, and Networking
http://www.ieee-secon.org/

June 22-25, 2015 - Seattle, USA

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

Conference dates: 22nd-25th June 2015
Workshops (FOG Networking for 5G and IoT and SWANSITY) date: 22nd June 2015


* SCOPE: The twelfth annual IEEE SECON conference will take place at the
Edgewater Hotel in Seattle and will provide a unique forum to exchange
innovative research ideas, recent results, and share experiences among
researchers and practitioners in wireless networks and mobile systems.
The focus of IEEE SECON is novel communication technologies and emerging
applications and services, involving mobile sensing and communication,
and ubiquitous and pervasive computing. In addition to the traditional
topics published in SECON, this year the conference especially brings
papers in emerging applications and services in areas related to
Internet of Things, 5G, small cells, wearable computing, and Software
Defined Networking for mobile and wireless networks.

* KEYNOTE TALKS: 1) Dr. Mani Srivastava (Professor at the University of
California, Los Angeles, USA). Talk titled "Towards a Trustworthy
Pervasive Sensing Substrate for the IoT Era" and 2) Dr. Ramesh Govindan
(Professor at the University of Southern California, USA). Talk titled
"The Quantified Car: The Next Big Thing in Networked Sensing?". Speaker
bio and talk abstracts can be found at
http://secon2015.ieee-secon.org/content/keynote

* TECHNICAL PROGRAM: 55 papers have been accepted for presentation and
for publication in the conference proceedings. The complete list of
accepted papers can be found on-line at the conference web page:
http://secon2015.ieee-secon.org/program

* PANEL: The panel, moderated by Prof. Raju Pandey (UC Davis and
Synapsense Inc., USA) will provide discussion on "Security and Privacy
concerns in deployment of IoT" and will be held on 23rd June, 2015.

* Workshops: IEEE SECON 2015 features two workshops to be held on June
22, 2015:
1. The IEEE Security and Privacy concerns in deployment of IoT 2015 aims
to provide a forum for academic researchers and industrial experts
leveraging past experience in sensor networks, P2P and MANET research,
incorporing the latest advances in devices, network systems, and data
science to reshape the "balance of power" in the ecosystem of computing
and networking.

2. The IEEE Smart Wireless Access Networks for Smart cITY (SWANSITY)
2015 aims to cover related topics on how devise a city-wide networking
infrastructure capable (1) to efficiently guarantee communication in the
new envisaged ecosystem, (2) to manage the complexity of heterogeneous
devices and access technologies, and (3) to guarantee robust,
ubiquitous, and secure connectivity over the urban environments.

* POSTERS/DEMOS: IEEE SECON 2015 includes poster and demonstration
sessions providing a forum to present and discuss works in progress.
This year we have 12 posters and 4 demos on the schedule. Also, this
year IEEE SECON is running a best poster and best demo award
competition. Awards will be based on the novelty and the potential of
the poster/demo to drive further research.

* STUDENT TRAVEL GRANTS: The IEEE SECON 2015 organizing committee is
providing several Student Travel Grants to graduate students to enable
them to participate in our conference. See more information at
http://secon2015.ieee-secon.org/content/student-travel-grant.

* PATRONS: IEEE SECON 2015 organizing committee thanks the National
Science Foundation (NSF) and Universita Della Calabria for their
support. See more information at http://www.ieee-secon.org/patrons.html.

* VENUE: IEEE SECON 2015 will take place at the EdgeWater Hotel, 2411
Alaskan Way, Seattle, WA 98121. A block of rooms have been reserved
(http://secon2015.ieee-secon.org/hotel-travel). Please make your hotel
arrangements early in order to insure getting a room at the special
conference rate price. Reservations can be made on-line
https://gc.synxis.com/rez.aspx?Hotel=29020&Chain=11910&arrive=6/24/2015&depart=6/26/2015&adult=1&child=0&group=21A4EU.

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

[DMANET] PhD Position at INRIA (France) :OR applied to Energy. Project in collaboration with EDF

Full funded Phd position at INRIA Lille (France) in collaboration with EDF R&D (Paris).

Subject : Design and Pricing of Electricity Services in a Competitive Environment


Supervisors :

Brotcorne Luce INRIA Lille Nord Europe

03 59 35 86 29

Luce.Brotcorne@inria.fr

Sébastien Lepaul EDF R&D, Plateau de Saclay

01 47 65 55 76 – 06 62 37 43 22

sebastien.lepaul@edf.fr

Summary of the project

Electricity generation and consumption are always considered as a ''hot topic'' for governments, economists, ecologists, and scientists. Indeed, in spite of modern power generator technologies, the energy consumption increase defines new challenges for power producers and electricity providers. Because supply and demand for electricity must balance in real-time, rapid changes in demand create operational challenges for the electric system.

The aim of the project is to solve a joint pricing and design problem of energy services in a competitive environment for residential demand side management. More precisely, the objective is twofold : generate revenue for an energy provider and encourage the customers to individually and voluntarily reduce their consumption at peak periods. A bi-level approach is considered to take explicitly into account the strategic behavior of consumers into the optimization process.

EDF has to define new product offer to its industrial customers (tarifs jaunes et verts). In this framework the thesis will be a real challenge.

Thesis goals

The goals of the thesis are twofold. First the student will have to define appropriate models for the problem in a monopolistic and competitive environment. A close collaboration with practitioners (Direction Economie Prix et Tarif) will be required. Next the solution algorithms will have to be developed and tested.

Skills

Optimization Background, Coding in C++ or java,

Economical knowledge will be an add value.


Environment and Timing

The thesis will start october 2015 and will take place at INRIA Lille, EDF Lab at Saclay and PGMO lab at l'Ecole Polytechnique.

For any further information feel free to contact Luce Brotcorne or Sébastien Lepaul.

To apply for the project, please send a CV, a motivation letter and record to Luce.Brotcorne@inria.fr and sebastien.lepaul@edf.fr

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

Wednesday, May 27, 2015

VEMDP 2015 2nd Call for presentations (deadline extended)

********************************************************************************
EXTENDED DEADLINE

VEMDP 2015 - 2nd call for presentations

The 2nd International Workshop on Verification of Engineered
Molecular Devices and Programs

An affiliated workshop of CAV 2015 hosted in San Francisco, USA on July
19, 2015

http://dna.caltech.edu/vemdp2015/

Submission deadline: June 6, 2015 (*deadline extended*)
********************************************************************************

OVERVIEW

Verification of Engineered Molecular Devices and Programs (VEMDP) 2015
is a half day workshop, affiliated with the CAV 2015 conference,
dedicated to the topic of verification of engineered biological and
chemical systems. While the focus of this workshop is on biological
and chemical systems that do not occur naturally, we also encourage
submissions concerning the verification of naturally occurring systems
that have been functionally modified. These systems include, but are
not limited to:

- DNA computing and other forms of natural computing
- Chemical reaction networks
- DNA walkers and motors
- Engineered transcription networks and other synthetic biology applications

We encourage topics that focus on any form of verification for these
types of systems. Topics of interest may include, but are not limited
to:

- Modelling
- Formal languages and methods
- Automated verification
- Complexity of verification
- Analysis of system behaviour
- Equivalence of systems
- Computer aided design tools

This year's program will be a mix of invited and contributed presentations.

INVITED KEYNOTE SPEAKERS

Matthew Lakin, University of New Mexico
Chris J. Myers, The University of Utah

INVITED TUTORIAL SPEAKER

Boyan Yardanov, Microsoft Research

IMPORTANT DATES

Submission deadline: June 6, 2015 (*extended*)
Notification of acceptance: June 9, 2015
Workshop: Afternoon of July 19, 2015

SUBMISSION DETAILS

Submissions based on previously published work are permitted. To be
considered for oral presentation, submissions should consist of a
single .pdf file containing a two page abstract that describes the
primary results and importance of the work. In addition, submissions
may optionally contain an attachment with a supporting manuscript.
Submissions should be made via the workshop's easychair site:
https://easychair.org/conferences/?conf=vemdp2015

Please direct any questions to one of the organizers.

PROCEEDINGS

Accepted abstracts will be published on the workshop website. A special
issue of Theoretical Computer Science associated with VEMDP 2015 is
planned; full papers expanding on accepted abstracts and invited talks are
encouraged and will be given special consideration.

PROGRAM COMMITTEE

Neil Dalchau Microsoft Research
François Fages INRIA Rocquencourt
Jerome Feret INRIA / Ecole normale supérieure
Marta Kwiatkowska University of Oxford
Alan Hu University of British Columbia
Matthew Lakin University of New Mexico
Andrew Phillips Microsoft Research
David Å afránek Masaryk University
Chris Thachuk California Institute of Technology
Erik Winfree California Institute of Technology

Tuesday, May 26, 2015

[DMANET] [Deadline june 1st] DPM 2015 - Data Privacy Management, (co-located with ESORICS'2015), LNCS Proceedings, Sept. 2015, Vienna

========================================================================
Call for Papers

DPM 2015, 10th International Workshop on
DATA PRIVACY MANAGEMENT,

http://deic.uab.cat/conferences/dpm/dpm2015/
@dpm_privacy

Vienna, Austria, September 21-22, 2015
(co-located with ESORICS'2015)
Springer LNCS Proceedings

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

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

* Paper Submission Deadline: June 1, 2015
* Acceptance Notification: August 15, 2015
* Camera Ready Version: September 5, 2015

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

Scope: Organizations are increasingly concerned about the privacy of
information that they manage (several people have filed lawsuits
against organizations violating the privacy of customer's data). Thus,
the management of privacy-sensitive information is very critical and
important for every organization. This poses several challenging
problems, such as how to translate the high-level business goals into
system-level privacy policies, administration of privacy-sensitive
data, privacy data integration and engineering, privacy access control
mechanisms, information-oriented security, and query execution on
privacy-sensitive data for partial answers.

Topics: The aim of this workshop is to discuss and exchange the ideas
related to privacy data management. We invite papers from researchers
and practitioners working in privacy, security, trustworthy data
systems and related areas to submit their original papers in this
workshop. The main topics, but not limited to, include:

* Privacy Information Management
* Privacy Policy-based Infrastructures and Architectures
* Privacy-oriented Access Control Languages and Models
* Privacy in Trust Management
* Privacy in Digital Currencies
* Privacy Data Integration
* Privacy Risk Assessment and Assurance
* Privacy Services
* Cryptography and Cryptanalysis
* Privacy Policy Analysis
* Query Execution over Privacy Sensitive Data
* Privacy Preserving Data Mining
* Hippocratic and Water-marking Databases
* Privacy for Integrity-based Computing
* Privacy Monitoring and Auditing
* Privacy in Social Networks
* Privacy in Ambient Intelligence (AmI) Applications
* Individual Privacy vs. Corporate/National Security
* Privacy in computer networks
* Privacy and RFIDs
* Privacy and Big Data
* Privacy in sensor networks

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

Submission guidelines: Full papers should be at most 16
pages (using 11-point font), including the bibliography. Position
papers, as well as shoort papers, should be at most 8
pages (using 11-point font), including the bibliography. Authors
should indicate whether their paper is a position paper to
differentiate them from regular ones (just mention /position paper/
in the title). Program Committee members are not required to read
the appendices, so the paper should be intelligible without them.
All submissions must be written in English.

Authors must submit their papers by the deadline indicated below,
using the EasyChair web site (at easychair.org/conferences/?conf=dpm2015)
and following the requirements stated there.

The submitted paper (in PDF format) should follow the template
indicated by Springer (see http://springer.de/comp/lncs/authors.html).
It must start with a title, a short abstract, names and affiliations
of the authors, and a list of keywords.

All papers will be refereed. Accepted papers should be presented at
the Workshop. At least one author of each accepted paper must register
to the workshop, by the early date indicated by the organizers, and
present the paper.

As in previous editions, the proceedings are expected to be published
in a volume of the Lecture Notes in Computer Science series of Springer.

Submissions by PhD students as well as controversial ideas are
encouraged. Case studies (successful or not) are also encouraged.

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

General Chairs:

* Josep Domingo-Ferrer (Universitat Rovira i Virgili)
* Vicenc Torra (University of Skovde)

Program Committee Chairs:

* Joaquin Garcia-Alfaro (Telecom SudParis)
* Guillermo Navarro-Arribas (Autonomous University of Barcelona)

Program Committee:

* Rainer Bohme (University of Munster)
* Jordi Castella-Roca (Universitat Rovira i Virgili)
* Frederic Cuppens (Telecom Bretagne)
* Nora Cuppens (Telecom Bretagne)
* David Evans (University of Derby)
* Sara Foresti (University of Milan)
* Sebastien Gambs (University of Rennes)
* Paolo Gasti (New York Institute of Technology)
* Stefanos Gritzalis (University of the Aegean)
* Marit Hansen (Unabhangiges Landeszentrum fur Datenschutz)
* Jordi Herrera-Joancomarti (Universitat Autonoma de Barcelona)
* Sokratis Katsikas (University of Piraeus)
* Evangelos Kranakis (Carleton University)
* Fabio Martinelli (IIT-CNR)
* Chris Mitchell (Royal Holloway)
* Anna Monreale (University of Pisa)
* Maryline Laurent (Telecom SudParis)
* Georgios Lioudakis (National Technical University of Athens)
* Giovanni Livraga (University of Milan)
* Javier Lopez (University of Malaga)
* Sotirios Maniatis (Hellenic Authority for Communications Privacy)
* Melek Onen (EURECOM)
* Cristina Perez-Sola (Autonomous University of Barcelona)
* Silvio Ranise (FBK, Security and Trust Unit, Trento)
* Kai Rannenberg (Goethe University)
* Pierangela Samarati (University of Milan)
* David Sanchez (Universitat Rovira i Virgili)
* Claudio Soriente (ETH Zurich)
* Alessandro Sorniotti (IBM Research)
* Traian Marius-Truta (Northern Kentucky University)
* Yasuyuki Tsukada (NTT Communication Science Laboratories)
* Alexandre Viejo (Universitat Rovira i Virgili)
* Jens Weber (University of Victoria)
* Lena Wiese (University of Gottingen)
* Nicola Zannone (Eindhoven University of Technology)

=======================================
FURTHER INFORMATION
=======================================

Additional information about paper submission and conference topics and
events can be found at the DPM 2015 web site:
http://deic.uab.cat/conferences/dpm/dpm2015/
**********************************************************
*
* 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/
*
**********************************************************

[Mycolleagues] INTERNATIONAL WORKSHOP ON SEMANTIC AND WEB (SAW 2015)

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

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

**                      INTERNATIONAL WORKSHOP ON SEMANTIC AND WEB (SAW 2015)                                     **

**                     http://www.ifis.uni-luebeck.de/~groppe/SaW_at_CSE2015/                                     **

** in conjunction with the 18th IEEE International Conference on Computational Science and Engineering (CSE 2015) **

**                             (21-23 October 2015, Porto, Portugal)                                              **

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

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

 

*****

SCOPE

*****

One major aim of the Semantic Web is to enable a machine-processable Web of data. Hence the Semantic Web community regards the Semantic Web as extension of the traditional web. On the other hand applications of the Semantic Web rely deeply on web technologies in order to work in a distributed fashion world-wide.

 

The goal of this workshop is to bring together researchers from these communities to address the challenges in Semantic Web and Web technologies in cooperation. We are especially interested in papers demonstrating how new technologies of the Web and Semantic Web complete each other. We also welcome papers with focus on and contribution to any of the two areas, including new approaches, techniques and applications, with substantial theoretical and empirical contributions to, and significant advancement of the state of the art of Web and/or Semantic Web.

 

We welcome papers on the following (incomplete) list of topics. We especially welcome papers combining the Semantic and Web Technologies worlds and having contributions in both areas.

 

Semantic Web:

- Semantic Data Management and Optimization (Big Data, Cloud Computing, Graph Databases, Federations, Spatial Data)

- Semantic Web Applications in specific domains, e.g., Life Science, e-Government, e-Environment, e-Health, e-Learning, e-Business, e-Commerce

- Rule-based Languages like RIF and SWRL

- Ontology-based Approaches for Modelling, Mapping, Evolution and Real-world ontologies

- Reasoning Approaches (Real-World Applications, Efficient Algorithms)

- Linked Data (Integration of Heterogeneous Linked Data, Real-World Applications, Statistics and Visualizations, Quality, Ranking Techniques, Provenance, Mining and Consuming Linked Data)

- Semantic Web stream processing (Dynamic Data, Temporal Semantics)

- Semantic Internet of Things, Semantic Smart Homes/Companies/Cities

- Performance, Evaluation and Benchmarking of Semantic Web Technologies, Applications and Databases

- Semantic Web Services

- Microformats, RDFa, Microdata, JavaScript Object Notation for Linked Data (JSON-LD), GRDDL, Open Graph protocol

 

Web Technologies:

- Web protocols and standards

- Web Components

- New forms of Web Applications

- Web Security and Privacy, Web and Online Trust

- Web Usability

- Web Mining, Web Information Retrieval

- e-Commerce, e-Business

- e-Government, e-Society

- e-Learning

- e-Health

- Web Services

- Web search, Web Big Data

- Web X.0

- Web Science

- XML technologies

- Social Networks

- Mobile Web

- Web games

- Internet of Services

- Internet of Things, Smart Homes/Companies/Cities

 

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

PROGRAM COMMITTEE

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

Our technical program committee consists of following experts:

- Muhammad Intizar Ali, DERI, National University of Ireland

- Carlos Buil Aranda, PUC

- Melike Sah Direkoglu, Near East University

- Vadim Ermolayev, Zaporozhye National University

- Javier D. Fernández, Vienna University of Economics and Business, WU Vienna

- Panagiotis Germanakos, University of Cyprus

- Katja Gilly de La Sierra-Llamazares, Miguel Hernandez University

- Le Gruenwald, University of Oklahoma

- Dennis Heinrich, University of Lübeck

- Prudhvi Janga, University of Cincinnati and Amazon Web Services

- Carlos Juiz, Universitat de les Illes Balears

- Herbert Kuchen, University of Münster

- Wookey Lee, Inha University

- Isaac Lera, Universitat de les Illes Balears

- Nuno Lopes, Smarter Cities Technology Centre, IBM Research, Dublin

- Fadi Maali, National University of Ireland Galway

- Grazyna Paliwoda-Pekosz, Cracow University of Economics

- Richard Picking, Glyndwr University

- Alfredo Pulvirenti, University of Catania

- Ismael Sanz, Universitat Jaume I

- Dezhao Song, Research and Development of Thomson Reuters

- Juergen Umbrich, Vienna University of Economics and Business, Vienna

- Stefan Werner, University of Lübeck

- Dimitrios Zissis, University of the Aegean

 

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

ORGANIZATION/PC CHAIRS

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

- Sven Groppe, University of Lübeck

- Paulo Rupino da Cunha, University of Coimbra

 

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

SUBMISSION INSTRUCTIONS

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

Authors are invited to submit original papers in English including, but not limited to, the areas of interest mentioned above. All contributions must be submitted electronically in the PDF format conforming to the IEEE Conference Proceedings Format (8.5" x 11", Two-Column).

 

Papers have to be submitted via email to the PC chairs (groppe@ifis.uni-luebeck.de,rupino@dei.uc.pt). Each paper is limited to 6 pages.

 

Accepted papers from this workshop will be published by IEEE Computer Society in IEEE proceedings.

 

Extended versions of selected distinguished papers will be considered for possible publication in special issues of prestigious international journals.

 

********

SCHEDULE

********

Submission Deadline: 22 June 2015

Author Notification: 24 July 2015

Camera-Ready and

Author Registration: 4 September 2015

Workshop:            tbd, around 21-23 October 2015

Monday, May 25, 2015

[DMANET] CFP: The Global Technology Management Conference 2015 - 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] WAW2015: Call for Papers

The 12th Workshop on Algorithms and Models for the Web Graph (WAW2015) will take place in Eindhoven, Netherlands on December 10-11, 2015.

https://www.cs.purdue.edu/waw2015

This year, WAW will be collocated with a school on complex networks and graph models held on December 7-8, 2015 with a collaborative project day on December 9. There will be a separate announcement with additional details on the school.

WAW 2015 invites original research papers on all mathematical and algorithmic aspects of graph algorithms and graph models especially papers that espouse the view of complex data as networks.

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

* Algorithms: graph algorithms, clustering, collaborative filtering.

* Analysis: structural properties, visualization, patterns, communities, discovery, real-world random graph models, processes on random graphs.

* Data Models: graph models, evolution, trust and reputation networks.

* Applications: web mining, social applications, web search and ranking, recommender systems, citation analysis, biological networks, molecular networks, and other complex network models.

Papers and posters must be submitted via Easychair (https://easychair.org/conferences/?conf=waw2015).

The papers must be formatted according to Springer LNCS style. The maximum length of papers is at most 12 pages.
The workshop proceedings will be published as a Springer LNCS volume. Selected papers from the workshop will be invited to a special issue of Internet Mathematics.

Paper submission deadline: July 25, 2015 Paper notifications by September 11, 2015 Camera versions due by September 25, 2015

We look forward to seeing you in Eindhoven!

Organizing Committee
David F. Gleich, Purdue University
Júlia Komjáthy, Eindhoven University of Technology
Nelly Litvak, University of Twente
Yana Volkovich, Barcelona Media (School Chair)

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

[DMANET] ALGOCLOUD 2015 - second call for papers

-------------------------------------------------------------------------------------
ALGOCLOUD 2015
14-15 September 2015, Patras, Greece
http://algo2015.upatras.gr/algocloud/
Paper submission deadline: 22 June 2015, 23:59 AoE
-------------------------------------------------------------------------------------

The International Workshop on Algorithmic Aspects of Cloud Computing (ALGOCLOUD 2015)
is an annual event co-located with ALGO 2015 (http://algo2015.upatras.gr/)
aiming to tackle the diverse new topics in the emerging area of algorithmic aspects
of computing and data management in the Cloud. The increasing adoption of cloud computing
introduces a variety of parallel and distributed algorithmic models and architectures.
To leverage elastic cloud resources, scalability has to be a fundamental architectural
design trait of new cloud databases. This challenge is manifested in new data models
("NoSQL"), replication, caching and partitioning schemes, relaxed consistency and
transaction guarantees as well as new protocols, APIs, indexing and storage services.

The aim of this workshop is to bring together researchers and practitioners in cloud
computing algorithms, service design and data architectures to exchange ideas and
contribute to the development of this exciting and emerging new field.

ALGOCLOUD welcomes submission of theoretical, experimental, methodological as well as
application papers. Demonstration papers and high quality survey papers are also welcome.
As such, contributions may span a wide range of Algorithms for modeling, constructing and
evaluating operations and services in a variety of systems, including (but not limited to)
virtualized Infrastructures, Cloud Platforms, Datacenters, Mobile ad-hoc networks,
Peer-to-Peer and Grid Systems, HPC architectures, etc.

-------------------------------------------------------------------------------------
TOPICS

Topics of interest addressed by this workshop include, but are not limited to:

- Algorithmic Aspects of Elasticity and Scalability for distributed, large-scale
data stores (e.g., NoSQL and columnar databases)
- Search and Retrieval Algorithms for cloud infrastructures
- Monitoring and analysis of elasticity for virtualized environments
- NoSQL, Schemaless Data Modeling, Integration
- Caching and Load-Balancing
- Storage Structures and Indexing for Cloud Databases
- New Algorithmic Aspects of Parallel and Distributed Computing for Cloud Applications
- Scalable Machine Learning, Analytics and Data Science
- High Availability, Reliability, Failover
- Transactional Models and Algorithms for Cloud Databases
- Query Languages and Processing, Programming Models
- Consistency, Replication and Partitioning CAP, Data Structures and Algorithms
for Eventually Consistent Stores

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

Paper submission deadline: 22 June 2015, 23:59 AoE
Author notification: 20 July 2015
Final version: 10 August 2015
Workshop: September 14-15, 2015

-------------------------------------------------------------------------------------
PROCEEDINGS

The ALGOCLOUD 2015 proceedings will be published in the Lecture Notes in Computer Science
ARCoSS series by Springer-Verlag.

-------------------------------------------------------------------------------------
SUBMISSION GUIDELINES

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

Papers should be submitted electronically via the EasyChair submission system at
https://easychair.org/conferences/?conf=algocloud2015

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

-------------------------------------------------------------------------------------
PROGRAM COMMITTEE

Christos Anagnostopoulos, University of Glasgow, UK
Alexis Delis, University of Athens, Greece
Marios Dikaiakos, University of Cyprus, Cyprus
Schahram Dustdar, Technical University of Vienna, Austria
Anastasios Gounaris, AUTH, Greece
Seif Haridi, Royal Institute of Technology, Sweden
Yannis Konstantinou, NTUA, Greece
Christos Makris, University of Patras, Greece
Haralambos Mouratidis, University of East London, UK
Nikos Ntarmos, University of Glasgow, UK
George Pallis, University of Cyprus, Cyprus
Mema Roussopoulos, University of Athens, Greece
Spyros Sioutas, Ionian University, Greece (Co-Chair)
Peter Triantafillou, University of Glasgow, UK (Co-Chair)
Hong-Linh Truong, Technical University of Vienna, Austria
Dimitrios Tsoumakos, Ionian University, Greece (Co-Chair)

-------------------------------------------------------------------------------------
ORGANIZING COMMITEE

Kalliopi Giannakopoulou
Ioannis Katsidimas
Spyros Kontogiannis
George Michalopoulos
Andreas Paraskevopoulos
Christos Zaroliagis (chair)

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

ALGOCLOUD 2015 is supported by the European Union (European Social Fund - ESF) and
Greek national funds through the Operational Program "Education and Lifelong Learning"
of the National Strategic Reference Framework (NSRF) - Research Funding Program
THALES: Investing in knowledge society through the European Social Fund.

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

**********************************************************
*
* 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] Symposium "GRAPHS" - ICNAAM 2015

SECOND CALL

Symposium GRAPHS, ICNAAM 2015 (International Conference of Numerical
Analysis and Applied Mathematics 2015),
23-29 September 2015, Rodos Palace Hotel, Rhodes, Greece

Organizer: Vojislav Petrovic (DMI Novi Sad)

Topics:

- scores in graphs and digraphs

- Eulerian and Hamiltonian graphs and digraphs

- planar graphs

- graph factors and decompositions

- graph colorings

- extremal graphs

- graph spectra

- tournaments and hypertournaments

- graph algorithms


Email to vojpet@dmi.uns.ac.rs or vojpet@gmail.com to announce registration.


For further information

vojpet@dmi.uns.ac.rs or vojpet@gmail.com

or visit

http://www.icnaam.org/

Vojislav Petrovic

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