Sunday, June 30, 2019

[DMANET] Fwd: Fwd: Fwd: PhD Position in Combinatorial Optimization at Paris Research Center of Huawei and Paris-Dauphine University

A PhD position is available in combinatorial optimization at Paris
Research Center of Huawei (Paris) and University Paris-Dauphine.

Title: Data Driven Optimization in Telecommunication Networks

Supervisors: Dr. Fabio FURINI, Pr. Ali Ridha MAHJOUB and Dr. Sebastien MARTIN

Keywords: optimization, telecommunication networks, mathematical programming, exact
algorithms, data driven approaches

Abstract: Modern Telecommunication Networks are extremely complex systems in which hard
combinatorial optimization problems must be effectively solved in short computing time.
This thesis will focus on rich multi-commodity flow problems arising in telecommunication
networks with complex demand satisfaction constraints. The primary goal will be to develop
a mathematical optimization tool to face peaks and anomalies in traffic demands.
Such problems are crucial in the identification of the weaknesses of the telecommunication
networks. Thus the results of the thesis will provide an effective optimization tool
to protect and make more efficient these networks. More in details, taking in consideration
demand peaks and anomalies is crucial in finding an optimal load balance of the traffic
through the network. We plan to develop exact and effective solution methodologies based
on a deep mathematical understanding of the underlying problem. The new algorithms will be
based on effective decomposition techniques such as the Benders and Dantzig-Wolfe
decompositions which will lead to branch-and-cut and branch-and-price algorithms.
The novelty of the thesis will be in the development of an alternative method to balance
the traffic flow in the networks with the goal of effectively absorbing anomalies and demand peaks.

The thesis will be developed in the Mathematical and Algorithmic Sciences Lab,
Paris Research Center of Huawei and in Paris-Dauphine University. The focus is on
the development of scientific results concerning theory and methodology which may be
of interest for the mathematical optimization community. A special attention will be given
to the publication of the results in the top journals of the domain (like
Mathematical Programming, Operation Research as well as top telecommunication conferences
like INFOCOM).

The PhD grant will be funded at Huawei France Research Center (FRC) located in Boulogne-Billancourt,
Paris area. The center is leading advanced research in the fields of Algorithm and Software design,
Aesthetics, MBB & Home devices and Parallel Computing, to create and design the innovative
technologies and software platforms for the company. The project is in collaboration with
Paris-Dauphine University and in particular with LAMSADE, the computer science and optimization
laboratory of Paris-Dauphine University (https://www.lamsade.dauphine.fr/). LAMSADE is a well known
research center in decision science specialized in the domain of optimization. The PhD student
will perform his research activities between LAMSADE and the Paris research center of Huawei
(https://huawei.eu/media-centre/press-releases/huawei-opens-mathematics-research-centre-france).

Skills: The PhD candidate is expected to perform scientific research in a domain of telecommunication
network problems. Applicants should demonstrate good programming skills and deep knowledge
in solution methods for combinatorial optimization problems. Experience with branch-and-cut
algorithms and/or branch-and-price algorithms is considered as plus. Applicants should have
completed (or close to completion of) a master degree in operations research, computer science,
mathematics or a comparable domain. Fluency English is required. Moreover, the candidate must be
comfortable in programming in C/C++. Affinity with industrial Engineering or telecommunication
networks is considered as plus.

Application: must be electronically submitted tofabio.furini@lamsade.dauphine.fr,
ridha.mahjoub@lamsade.dauphine.fr andsebastien.martin@huawei.com and must include
a cover letter, a curriculum vitae detailing educational background research experience
and up to three recommendation letters. The position is for 3 years starting as soon as possible.
(the exact starting date is negotiable).

Deadline: application must be submitted as soon as possible. We will continue accepting
applications as far as the position is not yet filled.

The salary will be around 30000 euros brut by year (around 2000 euros net by month).

**********************************************************
*
* 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] [STM2019 Deadline Extended] CFP - 15th International Workshop on Security and Trust Management

STM2019 - CALL FOR PAPERS
=================================================================
The 15th International Workshop on Security and Trust Management (STM2019)
https://stm2019.uni.lu/ <https://stm2019.uni.lu/>
STM Workshop is co-located with ESORICS conference
26-27 September 2019
Luxembourg
=================================================================
STM (Security and Trust Management)
<http://www.iit.cnr.it/STM-WG/contentpage03.html> is a working group of
ERCIM (European Research Consortium in Informatics and Mathematics). STM
2019 is the 15th workshop in this series and will be held in Luxembourg,
in conjunction with the 24th European Symposium on Research in Computer
Security (ESORICS 2019). The workshop seeks submissions from academia,
industry, and government presenting novel research on all theoretical
and practical aspects of security and trust in ICTs.

Example topics of interest are given below, but are not limited to:

* Access control
* Anonymity
* Applied cryptography
* Authentication
* Data and application security
* Data protection
* Data/system integrity
* Digital rights management
* Economics of security and privacy
* Formal methods for security and trust
* Identity management
* Legal and ethical issues
* Mobile security
* Networked systems security
* Operating systems security
* Privacy
* Security and trust metrics
* Security and trust policies
* Security and trust management architectures
* Security and trust for big data
* Security and trust in cloud environments
* Security and trust in content delivery networks
* Security and trust in crowdsourcing
* Security and trust in grid computing
* Security and trust in the Internet of Things
* Security and trust in pervasive computing
* Security and trust in services
* Security and trust in social networks
* Social implications of security and trust
* Trust assessment and negotiation
* Trust in mobile code
* Trust models
* Trust management policies
* Trust and reputation systems
* Trusted platforms
* Trustworthy systems and user devices

=================================================================
IMPORTANT DATES:

Submission Deadline: July 3, 2019
Notification of Acceptance: July 25, 2019
Camera-Ready: August 6, 2019
Conference: September 26-27, 2019
=================================================================
PROGRAM CHAIRS:

Mauro Conti, University of Padua, Italy
Sjouke Mauw, University of Luxembourg
=================================================================
PUBLICITY CHAIR:

Eleonora Losiouk, University of Padua, Italy
=================================================================
PUBLICATION CHAIR:

Joaquin Garcia-Alfaro, Institut Mines-Telecom, France
=================================================================
WEB CHAIR:

Aleksandr Pilgun, University of Luxembourg
=================================================================
STEERING COMMITTEE:

Pierangela Samarati (chair STM working group), Università degli Studi di
Milano, Italy
Theo Dimitrakos, BT Research and Technology, UK
Javier Lopez, University of Malaga, Spain
Fabio Martinelli, Istituto di Informatica e Telematica, Italy
Sjouke Mauw, University of Luxembourg, Luxembourg
Stig F. Mjølsnes, Norwegian University of Science and Technology, Norway
Ulrich Ultes-Nitsche, University of Fribourg, Switzerland
=================================================================
SUBMISSION

All submissions should be appropriately anonymized (i.e., papers should
not contain author names or affiliations, or obvious citations).
Submissions should be at most 16 pages in the LNCS format, including the
bibliography and well-marked appendices.

All submissions must be written in English, and only PDF files will be
accepted (a Latex source file will be required for the final version of
accepted papers). The final version of an accepted paper must be in the
format required for publication in the LNCS series.

Submissions not meeting these guidelines risk rejection without
consideration of their merits.

Submissions are to be made to the submission web site at:
https://easychair.org/conferences/?conf=stm2019

Papers must be received by the deadline of July 3, 2019 (11:59 p.m.
American Samoa time). Authors of accepted papers must guarantee that
their papers will be presented at the workshop. As in previous years,
the proceedings are planned to be published by Springer in the Lecture
Notes in Computer Science (LNCS) series.

A paper submitted to STM 2019 cannot be under review for any other
conference or journal during the time it is being considered for STM
2019. Furthermore, after you submit to STM 2019, you must await our
response before submitting elsewhere. If you submit your paper to
another conference or journal either before/after submission of the
paper to STM 2019, we will reject your paper without review and will
also notify the other conference/journal. This restriction applies to
identical as well as to substantially similar papers.
=================================================================

Best Regards,
Eleonora Losiouk, PhD,
Research/Postdoc Fellow,
University of Padua - Department of Mathematics,
SPRITZ - Security and Privacy Research Group
http://spritz.math.unipd.it/team.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] Cfp: Special Section: Cyber Security and Privacy for Smart Cities, October 29 – November 01, 2019 Fez, Morocco [Deadline - July 30]

CALL FOR PAPERS

*CSPSC session: Cyber Security and Privacy for Smart Cities*

The 7th International Conference on Wireless Networks and Mobile
Communications WINCOM 2019

Fez, Morocco

October 29 – November 01, 2019

https://www.wincomconf.org

Dear Colleagues,

We are pleased to invite you to submit Full Papers to the special session
on *Cyber Security and Privacy for Smart Cities** (CSPSC'2019)* co-located
with the 7th International Conference on Wireless Networks and Mobile
Communications (WINCOM 2019).

==========Scope==========

In the recent years, with the successful development and the deployment of
Internet of Things (IoT) architectures, cities across the world are
becoming smart Cities. As result, the quality of life of citizen has been
enhanced through digitalization of many services such as transportation,
buildings, healthcare, education, agriculture, etc. In this context,
security and individual privacy are two important challenges that that
currently affect smart cities in general around the world.

The objective of this session is to bring together researchers and
practitioners to discuss recent algorithms and solutions related to
security and privacy for smart cities.

Authors are invited to submit previously unpublished papers to this special
session. Topics include, but are not limited to:

- Cloud Computing Security
- Security for Ubiquitous/Pervasive Computing
- Big Data Analytics for Smart Cities Security
- Security and privacy in the IoT
- Security and privacy in smart city
- Privacy preserving Machine learning
- Security architectures
- Security economics
- Security metrics
- AI for intrusion detection and intelligence
- Access control, Authorization, identification & authentication
- Security and privacy in social networks
- Security and privacy in web services

==========Submission Link: ============
https://edas.info/newPaper.php?c=25748&track=98462

==========Technically sponsored by: ==========
IEEE Communications Society

===========Important Dates=================
Submission: *July 30, 2019 *
Acceptance notification: August 30, 2019
Camera-ready paper submissions: September 08, 2019
=============Extended Papers==============
Selected papers will be recommended for a special issue on "Emerging
Technologies in Wireless Networks and Mobile Communication
<https://www.inderscience.com/mobile/inauthors/index.php?pid=17#oct19>"
in International
Journal of Information Technology, Communications and Convergence (IJITCC)
<https://www.inderscience.com/jhome.php?jcode=IJITCC>

=============Organizing Committee==============

- Prof.Mohamed LAHBY, University HASSAN II of Casablanca, Morocco,
mlahby@gmail.com
- Prof.Driss Benhaddou, University of Houston, USA,* dbenhaddou@uh.edu
<dbenhaddou@uh.edu>*
- Prof. Jihene Rezgui, College Maisonneuve, Canada, ,*
jrezgui@cmaisonneuve.qc.ca
<jrezgui@cmaisonneuve.qc.ca>*

Regards,
on Behalf of the Organizing Committee


*Dr. M.Lahby*

Laboratory of Mathematics and Applications, University Hassan II, Ecole
Normale Supérieure (ENS) Casablanca, Morocco

mlahby@gmail.com
GSM : +212 6 65 29 23 76
In the world of Linux, who needs Windows and Gates

**********************************************************
*
* 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] ICALP 2019 Satellite Workshop: Algorithmic Aspects of Temporal Graphs II

ICALP 2019 Satellite Workshop

"Algorithmic Aspects of Temporal Graphs II"

Patras, Greece, Monday 8 July 2019.

Website:
http://community.dur.ac.uk/george.mertzios/Workshops/ICALP-19-Satellite/Temporal-Graphs-ICALP-2019.html
******************************

We kindly invite you to participate at the second ICALP satellite
workshop "Algorithmic Aspects of Temporal Graphs II" which will be held
during ICALP 2019 in Patras (Greece) on Monday 8 July 2019. In this
one-day workshop, recent advances in the area of temporal / dynamically
changing graphs will be presented, as well as some of the key challenges
will be highlighted.

A participant can register only to the workshop (Monday 8 July), or to
both the workshop and the conference (Monday 8 July to Friday 12 July).

Full information about the registration to the workshop and/or the
conference (ICALP 2019), as well as about accommodation, is given here:
https://icalp2019.upatras.gr/regis.php

Workshop Organizers*:
- George B. Mertzios (Durham University, UK)
- Paul G. Spirakis (University of Liverpool, UK)
- Eleni C. Akrida (University of Liverpool, UK)
- Viktor Zamaraev (Durham University, UK)

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

Topic:
In modern systems the classical modeling paradigm using static graphs
may be restrictive or oversimplifying, as the interactions among the
elementary system units usually change over time in a highly dynamic
manner. For example, friendships are added and removed over time in a
social network and links in a communication network may change
dynamically, either according to a specific known pattern (satellites
following a trajectory) or in an unpredictable manner (mobile ad hoc
networks). The common characteristic in all these application areas is
that the system structure, i.e. graph topology, is subject to discrete
changes over time. In such dynamically changing graphs the notion of
vertex adjacency needs to be revisited and various graph concepts, e.g.
reachability and connectedness, now crucially depend on the exact
temporal ordering of the edges' presence.

A temporal graph is a graph that changes over time. Assuming discrete
time and a fixed set V of vertices, a temporal graph can be viewed as a
discrete sequence G1, G2, ... of static graphs, each with vertex set V.
Many notions and algorithms from the static case can be naturally
transferred in a meaningful way to their temporal counterpart, while in
other cases new approaches are needed to define the appropriate temporal
notions. In particular, some problems become radically different and
substantially more difficult when the time dimension is additionally
taken into account.

In this one-day workshop, recent advances in the area of temporal /
dynamically changing graphs will be presented, as well as some of the
key challenges will be highlighted. As this research area grows and
broadens, our aim is to bring together people from theoretical and
practical communities of temporal graphs in order to establish new and
strengthen existing links between these communities.

Presentations are given by invitation only. Everyone is welcome to
register and attend.
--
Dr. George B. Mertzios
Associate Professor in Computer Science
School of Engineering and Computing Sciences
Durham University, UK
Tel: +44 (0) 191 33 42 429
Email: george.mertzios@durham.ac.uk
http://community.dur.ac.uk/george.mertzios/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Friday, June 28, 2019

[DMANET] CFP MCSMS-2019:The Fifth Int. Workshop on Mobile Cloud Computing systems, Management, and Security, Granada, Spain. October 22-25, 2019

*The Fifth IEEE International Workshop on Mobile Cloud Computing systems,
Management, and Security (MCSMS-2019) *

*http://emergingtechnet.org/MCSMS2019/
<http://emergingtechnet.org/MCSMS2019/>*

*in conjunction with*

*The Sixth International Conference on Internet of Things: Systems,
Management and Security (IoTSMS 2019)*

*Granada, Spain. October 22-25, 2019*

*Call for Papers:*

With a Mobile Cloud Computing (MCC) market value of US$9.5 billion in 2014
and with more than 1 trillion cloud-ready devices in the next four years,
MCC is considered as one of today's hottest new technologies in both
academia and industry. MCC integrates different major technologies such as
smart devices technologies (phones, tablets, watches, …etc), cloud
services, big data, and cloud computing in one platform that services the
end users. Despite the rapid growth of MCC, many issues are still
challenging and need to be addressed. These challenges are related to the
underlying networks, cloud services, security, the required Quality of
Service, the availability of services, the needed user data management, and
many others. The International Workshop on Mobile Cloud Computing systems,
Management, and Security (MCSMS) is introduced as a forum for scientists,
researchers, students, and practitioners to present their latest research
results, ideas, and developments in the area of Mobile Cloud Computing that
addresses the aforementioned challenges.

MCSMS 2019 workshop aims to investigate the opportunities and requirements
for Mobile Cloud Computing, as well as Fog and Edge Computing domains. The
objective of MCSMS2019 is to provide a forum for scientists, engineers, and
researchers to discuss their research and results on all aspects of Mobile
Cloud Computing (MCC) as well as Fog and Mobile Edge Computing.

Researchers are encouraged to submit original research contributions in all
major areas, which include, but not limited to:

* Mobile Cloud Computing Systems.

* Edge Computing Systems.

* Fog Computing Systems.

* Mobile Cloud Computing Security and Privacy Issues.

* Mobile Cloud Computing Pricing and billing models.

* Mobile Cloud Computing support for VANETS and MANETS

* Cloudlet based computing

* Lightweight authentication mechanisms in Mobile Cloud Computing
architecture.

* Access Control models in Mobile Cloud Computing.

* Identification of incentives for FMEC service providers.

* The future perspective for Mobile Cloud Computing: Challenges and Open
Issues.

* Mobile Cloud Computing Quality of Service (QoS) improvements techniques.

* Mobile Cloud Computing architecture features and evolution.

* Mobile Cloud Computing Networking and Communication considerations

* Mobile Cloud Computing Software development platform and enabled new
applications

* Mobile Cloud Computing Power Efficiency for resources and networking

* Mobile Cloud Computing Availability and Quality of Service.

* Security and privacy of mobile cloud computing

* Mobile Cloud Computing Resource Management, Optimization, and Migration

* Mobile Cloud Computing Support for Multimedia Communication and Game
Computing

* Mobile Cloud Computing Support for Big Data Management

* Mobile Cloud Computing intrusion detection systems

* Security of pricing and billing for mobile cloud computing services

* Security of mobile, peer-to-peer and pervasive services in clouds

* Security of mobile commerce and mobile Internet of Things

* Security of mobile social networks

* Security and privacy in smartphone devices

* Security and privacy in social applications and networks

* Security of Mobile, peer-to-peer and pervasive services in clouds

* Network virtualization and cloud-based radio access networks

*Paper Submission : *
=============

Authors are requested to submit papers reporting original research results
and experience. The page limit for full papers is 6 pages. Papers should be
prepared using IEEE two-column template.

IEEE Computer Society Proceedings Author Guidelines are available at: IEEE
Guidelines Link <http://www.computer.org/portal/web/cscps/submission>

Papers should be submitted as PDF files via the EasyChair.

Submitted research papers may not overlap with papers that have already
been published or that are simultaneously submitted to a journal or a
conference. All papers accepted for this conference are peer-reviewed and
are to be published in the conference proceedings and will be submitted for
inclusion into the IEEE Xplore Digital Library.

*Important Dates : *
=============

*Full Paper Submission:* 1 July, 2019
*Notification of Decision:* 20 August, 2019
*Camera-Ready and Registration :* 5th September, 2019

Please send any inquiry to the Emerging Tech. Network Team at:
emergingtechnetwork@gmail.com

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

[DMANET] Cfp: Special Section: Advances in Intelligent Transportation Systems in Smart Cities

Special Section: Advances in Intelligent Transportation Systems in Smart Cities


International Journal of Distributed Sensor Network

2017 Impact Factor : 1.787

Deadline for manuscript submissions: June 30, 2019

Intelligent Transport Systems (ITS) comprise the union of several technologies with the aim of providing comprehensive optimization of the urban mobility of a city and bringing greater safety to drivers, as well as comfort and entertainment for passengers. As a result, ITS employ data, communication, and computing to provide services and applications for tackling and possibly solving a wide range of transportation problems in modern large cities. These applications rely on the collaboration between elements that integrate urban and transportation systems, such as sensors, mobile devices, and vehicles, for introducing real-time awareness of the environment. The appropriate junction of all these factors considerably contributes to the sensing and gathering of data for evaluation and later implementation of due responses by a control system.


Due to the dynamic nature of entities in ITS, it offers a diverse set of challenges including, but not limited to, interoperability, high mobility, decentralization, anonymity, security, privacy, trust management, uncertainty, and pervasiveness. Besides these challenges, several issues like scalability, reliability, adaptability, and validity of available solutions are still unexplored.


This Special Collection is expected to provide a platform for academics and industrial researchers to identify and debate technical problems and recent accomplishments associated with ITS. Specific topics include, but are not limited to:


* Architecture, resource management and applications

* Leveraging Fog Computing (Edge Computing)

* Design challenges for protocol development in ITS

* ITS security and privacy

* Smart-cities-based Machine Learning;

* Intelligent data mining and forecasting;

* Multi-agent systems applications;

* Inteligent structural engineering;

* Computer graphics and performability;

* Blockchain and remote sensing;

* Ubiquitous computing;

* Fuzzy logic and emerging applications in smart IoT/Cloud paradigms;

* Designing energy efficient Road Side Units (RSUs)

* Quality of Service (QoS) in ITS

* Smart and connected vehicles: V2V; V2I V2X

* Cloud based VANETs

* Vehicular Cloud

* Demand responsive smart vehicles

* Detection, recognition, and classification of traffic

* Vehicle location and event prediction

* Autonomous vehicle technologies

* Context-aware computing and Internet of Things Services in ITS

* Artificial intelligent in ITS

* Protocols and infrastructure and standards for ITS

Guest Editors:

Rodolfo Ipolito Meneguette, Federal Institute of São Paulo, Brazi,

Luis Hideo Vasconcelos Nakamura, Federal Institute of São Paulo, Brazil

Thiago Augusto Lopes Genez, University of Bern, Switzerland

Stephan Reiff-Marganiec, University of Leicester, UK


Manuscript Preparation and Submission

Follow the guidelines in the International Journal of Distributed Sensor Networks https://us.sagepub.com/en-us/sam/international-journal-of-distributed-sensor-networks/journal202573#submission-guidelines . Please submit your manuscript in electronic form through Manuscript Central web site: http://mc.manuscriptcentral.com/ijdsn .

Submissions to this Special Section must represent original material that has been neither submitted to, nor published in, any other journal.


Open access article processing charge (APC) information

The APC for this journal is currently 2000 USD.

The article processing charge (APC) is payable only if your article is accepted after peer review, before it is published. The APC is subject to taxes where applicable. Tax-exempt status can be indicated by providing appropriate registration numbers when payment is requested.

**********************************************************
*
* 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: 2019 Joint IEEE Int. Conf. on Development and Learning and on Epigenetic Robotics

Dear Colleagues,
[Apologies if you receive multiple copies of this call.
Please, feel free to distribute it to those who might be interested.]

CALL FOR PARTICIPATION:
9th Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics (ICDL-EpiRob 2019)
19-22 August 2019, Oslo, Norway
Web page: https://icdl-epirob2019.org
An IEEE Computational Society sponsored conference

We think we have put together an exiting program with keynotes, oral and poster paper presentations and workshops as seen in the Preliminary Program: https://icdl-epirob2019.org/program/

==== Keynote Speakers ====
Prof. Aude Billard, École Polytechnique Fédérale de Lausanne, Switzerland
Prof. Hod Lipson, Columbia University, USA
Prof. Michael J. Frank, Brown University, USA
Prof. Stefanie Höhl, University of Vienna, Austria
See https://icdl-epirob2019.org/keynotes

Registration at reduced fees until June 16: https://icdl-epirob2019.org/registration/

==== Overview ====
ICDL-EpiRob is a unique conference gathering researchers from computer science, robotics, psychology and developmental studies to share knowledge and research on how intelligent biological and artificial systems develop sensing, reasoning and actions. This includes development of cognitive and social abilities through dynamic interactions with their physical and social environments. This is with a twofold objective: to gain a better understanding of human and animal intelligence, and to enable artificial systems with more adaptive and flexible behaviors.

This will be the ninth time the conference is organized, and we invite submissions for the conference in 2019 to explore, extend, and consolidate the interdisciplinary boundaries of this exciting research field.

==== Scope and Topics ====
Topics of interest include (but are not limited to):
* principles and theories of development and learning;
* development of skills in biological systems and robots;
* nature vs nurture, developmental stages;
* models on the contributions of interaction to learning
* models on active learning
* architectures for lifelong learning;
* emergence of body and affordance perception;
* analysis and modelling of human motion and state
* models for prediction, planning and problem solving;
* models of human-human and human-robot interaction;
* emergence of verbal and non-verbal communication;
* epistemological foundations and philosophical issues;
* robot prototyping of human and animal skills
* ethics in computational intelligence and robotics
==== Organizing committee ====
General chairs: Jim Torresen (University of Oslo, Norway ) and Kerstin Dautenhahn (University of Waterloo, Canada/University of Hertfordshire, UK)
Program chairs: Kai Olav Ellefsen (University of Oslo) and Katharina J. Rohlfing (Paderborn University, Germany)
Finance / Website Chairs: Kyrre Glette and Charles Martin (University of Oslo)
Publicity chairs: Bruno Castro da Silva (UFRGS, Brazil), Kazi Shah Nawaz Ripon (NTNU, Norway) and Ryo Kurazume (Kyushu University, Japan)
Bridge chair: Tetsuya Ogata (Waseda University, Japan) and Emre Ugur (Bogazici University, Turkey)
Local chairs: Bruno Laeng and Tor Endestad (University of Oslo)

We would very like to welcome you and hope to see you in Oslo in August.

Best regards from the organising committee,
Bruno Castro da Silva, Kazi Shah Nawaz Ripon and Ryo Kurazume (Publicity chairs)
Kai Olav Ellefsen and Katharina J. Rohlfing (Program chairs)
Jim Torresen and Kerstin Dautenhahn (General 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] Deadline Extension to July 1st - RECOMB'CG 2019

RECOMB COMPARATIVE GENOMICS 2019, CALL FOR PAPERS
=================================================
17th RECOMB Satellite Conference on Comparative Genomics, RECOMB-CG 2019

Montpellier, France - October 1-4, 2019
https://recombcg2019.bitbucket.io


---SCOPE---
The annual RECOMB Comparative Genomics Satellite Conference (RECOMB-CG)
brings together leading researchers in the mathematical, computational
and life sciences to discuss cutting edge research in comparative
genomics, with an emphasis on computational approaches and the analysis
of novel experimental results. The program will include keynote talks,
contributed talks, and a poster session.

The 17th RECOMB-CG conference will be held in Montpellier, France,
October 1-4 2019. With this Call for Papers we invite high-quality
original full papers on topics related to the conference theme. A
detailed call for posters will be published later on the conference web
page.


---TOPICS---
Papers are solicited on, but not limited to, the following topics:
- genome evolution
- genome rearrangements
- genome variation, diversity and dynamics
- phylogenomics
- comparative tools for genome assembly
- population genomics
- comparison of functional networks
- comparative epigenomics
- paleogenomics
- cancer evolution genomics
- epidemiology
- gene identification and/or annotation


---IMPORTANT DATES---
!!! Paper Submission Deadline: July 1st, 2019 !!!
!!! Revision Deadline: July 3rd, 2019 !!!
Author Notification: July 26, 2019
Final Version Due: August 2, 2019
Conference: October 1-4, 2019

---KEYNOTE SPEAKERS---

Alessandra Carbone (CNRS - Sorbonne Université)
Rute A. R. da Fonseca (University of Copenhagen)
Purificación López García (CNRS - University Paris-Sud/Paris-Saclay)
Romain Koszul (Insitut Pasteur)
Benoît Nabholz (Université de Montpellier)


---DETAILS ON SUBMITTING MANUSCRIPTS---
Submitted papers must have not been published or be currently under
consideration for publication in any other journal or conference with
formal proceedings. All accepted papers will have to be presented by one
of the authors at the conference.

Accepted papers will be published in one of two journals:
- a special issue of BMC Genomics, edited by a RECOMB-CG PC chair,
- a special issue of BMC Bioinformatics, edited by a RECOMB-CG PC chair.


As BMC Genomics and BMC Bioinformatics are Open Access journals, there
will be an author fee of roughly £1,000 (1,000 Pounds Sterling) for
publication in the event that an article is accepted in one of these two
journals.

Authors will need to indicate upon submission their preferred
publication option (BMC Genomics, BMC Bioinformatics). This preference
should be stated in the Abstract section of the Easychair submission
page. However, the final decision about the journal for each paper will
be taken by the RECOMB-CG PC chairs and communicated to the authors upon
acceptance.

Papers must be submitted in PDF format according to the guidelines for
authors of the respective journal:
https://bmcbioinformatics.biomedcentral.com/submission-guidelines/preparing-your-manuscript

Papers submitted in BMC format must be within 10 pages. A clearly marked
appendix can be added to the submission that contains supplementary
material made available to the reviewers.

All submissions must be made online, through the EasyChair submission
system, at the following address:
https://easychair.org/conferences/?conf=recombcg2019

Authors need to register on easychair before submitting. A standard PDF
file must be received by midnight on June 24, 2016 (any time zone).

---PROGRAM COMMITTEE---
Max Alekseyev (George Washington University)
Nikita Alexeev (ITMO University)
Lars Arvestad (Stockholm University)
Severine Berard (ISEM, University of Montpellier) co-chair
Anne Bergeron (Universite du Quebec a Montreal)
Marilia Braga (Bielefeld University)
Alessandra Carbone (Sorbonne Université)
Annie Chateau (LIRMM, University of Montpellier) co-chair
Cedric Chauve (Simon Fraser University)
Rayan Chikhi (Institut Pasteur)
Leonid Chindelevitch (Simon Fraser University)
Miklós Csűrös (University of Montréal)
Daniel Doerr (Bielefeld University)
Ingo Ebersberger (Goethe University Frankfurt)
Nadia El-Mabrouk (University of Montreal)
Oliver Eulenstein (Iowa State University)
Guillaume Fertin (LS2N, Université de Nantes)
Pawel Gorecki (University of Warsaw)
Michael Hallett (Concordia University)
Fábio Henrique Viduani Martinez (Universidade Federal de Mato Grosso do Sul)
Katharina Jahn (ETH Zurich)
Asif Javed (Genome Institute of Singapore)
Manuel Lafond (Université de Sherbrooke)
Yu Lin (Australian National University)
Simone Linz (The University of Auckland)
Kevin Liu (Michigan State University)
Ketil Malde (Institute of Marine Research, Norway)
István Miklós (Rényi Institute, Hungarian Academy of Sciences)
Bernard Moret (Ecole Polytechnique Fédérale de Lausanne)
Luay Nakhleh (Rice University)
Aïda Ouangraou (University of Sherbrooke)
Fabio Pardi (CNRS, LIRMM, Université Montpellier)
Teresa Przytycka (NCBI)
Vaibhav Rajan (National University of Singapore)
Marie-France Sagot (INRIA, LBBE, Lyon)
Michael Sammeth (Federal University of Rio de Janeiro)
Celine Scornavacca (CNRS, ISE-M, Université Montpellier)
Mingfu Shao (The Pennsylvania State University)
Jens Stoye (Bielefeld University)
Krister Swenson (CNRS, LIRMM, University of Montpellier) co-chair
Jijun Tang (University of South Carolina)
Eric Tannier (INRIA, LBBE, Lyon)
Glenn Tesler (University of California San Diego)
Olivier Tremblay-Savard (University of Manitoba)
Tamir Tuller (Tel Aviv University)
Jean-Stéphane Varré (CRIStAL, Université Lille 1)
Lusheng Wang (City University of Hong Kong)
Mathias Weller (CNRS, LIGM, University of Eastern Paris -
Marne-la-Vallée) co-chair
Sophia Yancopoulos (New York, USA)
Louxin Zhang (National University of Singapore)
Xiuwei Zhang (University of California, Berkeley)
Jie Zheng (ShanghaiTech University)


CONTACT
https://recombcg2019.bitbucket.io

severine.berard@umontpellier.fr
chateau@lirmm.fr
swenson@lirmm.fr
mathias.weller@u-pem.fr

--
Mathias Weller
Université Paris EST, Marne-la-Vallée | mathias.weller@u-pem.fr
CNRS, LIGM, Bât Copernic,5 Bd Descartes| http://igm.univ-mlv.fr/~mweller
Champs-s/-Marne
, 77454 Marne-la-Vallée | Tel: +33 1 60 95 77 49


**********************************************************
*
* 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 2019 - Call for Papers - new submission deadine: 7 July 2019

5th International Symposium on Algorithmic Aspects of Cloud Computing
(ALGOCLOUD 2019)

co-located with ALGO 2019

9-10 September 2019, Munich, Germany

Submission Deadline extended: 7 July 2019

https://algo2019.ak.in.tum.de/index.php/menue-algocloud/algocloud-overview

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

ALGOCLOUD is an annual international forum bringing together researchers,
students, and practitioners to present research activities and results on
topics related to algorithmic, design, and development aspects of modern
cloud-based systems. ALGOCLOUD 2019 is co-located with the ALGO 2019
(https://algo2019.ak.in.tum.de/), a leading international event of researchers
working on algorithms and their engineering.

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


TOPICS

Submissions should focus on aspects of cloud-based systems and their algorithms,
including (but not limited to) the following areas:

- Analysis of Algorithms and Data Structures
- Resource Management and Scheduling
- Data Center and Infrastructure Management
- Privacy, Security and Anonymization
- Cloud-based applications
- Virtualization and containers
- Performance Models
- Cloud deployment tools and their analysis
- Novel programming models
- Storage management
- Fog and Edge Computing
- Economic models and pricing
- Energy and Power Management
- Big Data and the Cloud
- Network management and techniques
- Caching and Load Balancing


PROCEEDINGS

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


SUBMISSION GUIDELINES

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

Papers should be submitted electronically via the EasyChair Submission
system (https://easychair.org/conferences/?conf=algocloud2019).

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


IMPORTANT DATES

- Paper submission: 7 July 2019 (AOE)
- Author notification: 29 July 2019
- Symposium: 9-10 September 2019


COMMITTEES

Program Committee

Olivier Beaumont (INRIA Bordeaux, France)
Luiz Fernando Bittencourt (University of Campinas, Brazil)
Ivona Brandic (Vienna University of Technology, Austria) (co-chair)
Valeria Cardellini (University of Rome "Tor Vergata", Italy)
Alex Delis (University of Athens, Greece)
Elisabetta Di Nitto (Politecnico di Milano, Italy)
Katerina Doka (National Technical University of Athens, Greece)
Fanny Dufosse (INRIA Grenoble, France)
Thomas Fahringer (University of Innsbruck, Austria)
Thiago Genez (University of Cambridge, UK) (co-chair)
Sarunas Girdzijauskas (KTH, Sweden)
Anastasios Gounaris (Aristotle University of Thessaloniki, Greece)
Raffaele Montella (Parthenope University of Naples, Italy)
George Pallis (University of Cyprus, Cyprus)
Alessandro Papadopoulos (MDH, Sweden)
Ilia Pietri (Intracom SA, Greece)
Guido Proietti (University of L'Aquila, Italy)
Krzysztof Rzadca (University of Warsaw, Poland)
Rizos Sakellariou (University of Manchester, UK) (co-chair)
Rafael Brundo Uriante (IMT Institute for Advanced Studies Lucca, Italy)


Steering Committee

- Spyros Sioutas University of Patras, Greece)
- Peter Triantafillou (University of Warwick, UK)
- Christos D. Zaroliagis (University of Patras, Greece)

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

Thursday, June 27, 2019

[DMANET] CFP SNAMS 2019: 6th Int. Conference on Social Networks Analysis, Management and Security, Granada, Spain. October 22-25, 2019.

The 6th International Conference on Social Networks Analysis, Management
and Security (SNAMS-2019)
Granada, Spain. October 22-25, 2019.

http://emergingtechnet.org/SNAMS2019/index.php

*SNAMS 2019*

Social network analysis is concerned with the study of relationships
between social entities. The recent advances in internet technologies and
social media sites, such as Facebook, Twitter and LinkedIn, have created
outstanding opportunities for individuals to connect, communicate or
comment on issues or events of their interests. Social networks are dynamic
and evolving in nature; they also involve a huge number of users.
Frequently, the information related to a certain concept is distributed
among several servers. This brings numerous challenges to researchers,
particularity in the data mining and machine learning fields. The purpose
of International Conference on Social Networks Analysis, Management and
Security (SNAMS-2019) is to provide a forum for researchers to present and
discuss their work which is related to social network analysis. The SNAMS
2019 is col-located with the 6th International Conference on Internet of
Things: Systems, Management and Security (IoTSMS2019).

SNAMS 2019 aims to investigate the opportunities and in all aspects of
Social Networks. In addition, it seeks for novel contributions that help
mitigating SNAMS challenges. That is, the objective of SNAMS 2019 is to
provide the opportunity for students, scientists, engineers, and
researchers to discuss and exchange new ideas, novel results and experience
on all aspects of Social Networks.

Researchers are encouraged to submit original research contributions in all
major areas, which include, but not limited to:

Systems and algorithms for social search
Infrastructure support for social networks and systems
Dynamics and evolution patterns of large and complex networks
Social properties in systems design
Learnings from operational social networks
Data Collection
Big Data and Social Paradigms
Deep Learning and Knowledge Discovery.
Measurement and analysis of social and crowdsourcing systems
Benchmarking, modelling, performance and workload characterization
Modelling Social Networks and behaviour
Management of social network data
Streaming algorithms for social data
Knowledge and innovation networks
Methods for social and media analysis
Models for network data
Network analysis in human and social sciences
Information propagation and assimilation in social networks
Data mining and machine learning in social systems
Novel social applications and systems
Transient OSNs (e.g. Snapchat)
Special purpose OSNs (e.g., Instagram, Vine)
Communities in social networks
Collaboration networks
New models of advertising and monetization in social networks
Mobile advertising on OSNs
Network visualization
Social networks and online education
Sentiment analysis on OSNs
Multilingual social networks
Social networks as agents of societal change
Privacy and security in social systems
Trust and reputations in social systems
Detection, analysis, prevention of spam, phishing, and misbehaviour in
social systems

*Important dates:*

*Submission Date: 30th June 2019*
Notification to Authors: 15th August 2019
Camera Ready Submission: 5th September 2019
*SUBMISSION*

Papers selected for presentation will appear in the SNAMS Proceedings and
will be submitted to IEEE for inclusion. Papers can be up to 8 pages in
IEEE format, 10pt font using the IEEE 8.5" x 11" two-column format, single
space, A4 format. All papers should be in PDF format, and submitted
electronically at Paper Submission Link. A full paper must not exceed the
stated length (including all figures, tables and references). The
proceedings will be submitted for indexing to EI (Compendex), Scopus and
other indexing services like DBLP.

Submitted papers must present original unpublished research that is not
currently under review for any other conference or journal. Papers not
following these guidelines may be rejected without review. Also submissions
received after the due date, exceeding length limit, or not appropriately
structured may also not be considered. Authors may contact the Program
Chair for further information or clarification. Papers should be submitted
electronically by the deadline to:

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


*JOURNAL-SPECIAL-ISSUE*

Selected authors of high quality papers will be invited to submit extended
versions to indexed and highly ranked journals, including Information
Processing & Management (IP&M) and the Journal of Universal Computer
Science (J.UCS)

Please send any inquiry to the Emerging Tech. Network Team at:
emergingtechnetwork@gmail.com

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

[DMANET] IoTSMS 2019 CFP :The 6th International Conference on Internet of Things: Systems, Management and Security, Granada, Spain. October 22-25, 2019

The 6th IEEE International Conference on Internet of Things: Systems,
Management and Security (IoTSMS 2019)
Granada, Spain. October 22-25, 2019.

http://emergingtechnet.org/IOTSMS2019

*IOTSMS 2019 CFP*

The Internet of Things (IoT) technology offers unprecedented opportunities
to interconnect human beings as well as Machine-to-Machine (M2M), whereby
sensors and networks allow all 'things' to communicate directly with each
other to share vital information allowing us to have an instrumented
universe where accurate data is readily available to inform optimal
decision making. The IoT is about to enable a range of new capabilities and
services far beyond today's offerings. It will fundamentally change how
people go about their lives. According to Gartner, the number of objects
connected to the Internet is set to reach 20 billion by 2020. Cisco
estimates the number will be close to 26 billion objects by 2020. Others
believe the actual number will be even higher with the assumption that any
object with a simple micro controller and on-off switch will be connected
to the Internet in the near feature. The scale of the IoT is set to have a
major economic, social and environmental impacts; the intersection of which
forms the future sustainable growth. The IEEE Internet of Things: Systems,
Management and Security (IoTSMS 2019) aims at soliciting original ideas on
the broad area of IoT including challenges and opportunities, concepts and
applications and future trends. The IoTSMS aims to facilitate discussions
among academics and IoT practitioners and make positive contributions to
the field. Authors are invited to submit original, unpublished manuscripts.
Submitted papers should be in accordance with IEEE format, and will be
reviewed by at least two expert reviewers in terms of relevance,
originality, contribution, correctness, and presentation.

Researchers are encouraged to submit original research contributions in all
major areas, which include, but not limited to:

* Emerging concepts of IoT Systems
* Architectures of IoT systems
* Machine-to-Machine Communication and IoT
* Modeling of IoT applications
* SDN and NFV support for IoT applications and Systems
* Fog and Edge support for IoT Applications
* 5G support for IoT Applications
* IoT for Smart Cities
* Energy management in IoT
* Design methodologies for IoT
* Novel services and applications of IoT to facilitate environmental
responsibility
* Green by Internet of Things
* IoT and Social benefits/impact
* IoT Economics and Business Models
* Emerging Internet of Things business models and process changes
* Communication systems and network architectures for the IoT
* IoT and Data Management
* Security and privacy of IoT
* Reliability of IoT
* Disaster recovery in IoT
* Applications of Internet of things
* Emerging applications and interaction paradigms for everyday citizens
* Big data and IoT
* Self-organizing IoT
* Cloud Computing and IoT
* IoT and sustainable Growth

*Important dates:*

*Submission Date: 30th June 2019*
Notification to Authors: 15th August 2019
Camera Ready Submission: 5th September 2019

*SUBMISSION:*

Papers selected for presentation will appear in the IOTSMS Proceedings and
will be submitted to IEEE for inclusion. Papers can be up to 8 pages in
IEEE format, 10pt font using the IEEE 8.5" x 11" two-column format, single
space, A4 format. All papers should be in PDF format, and submitted
electronically at Paper Submission Link. A full paper must not exceed the
stated length (including all figures, tables and references). The
proceedings will be submitted for indexing to EI (Compendex), Scopus and
other indexing services like DBLP.

Submitted papers must present original unpublished research that is not
currently under review for any other conference or journal. Papers not
following these guidelines may be rejected without review. Also submissions
received after the due date, exceeding length limit, or not appropriately
structured may also not be considered. Authors may contact the Program
Chair for further information or clarification. Papers should be submitted
electronically by the deadline to:

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

*JOURNAL-SPECIAL-ISSUE*

Selected authors of high quality papers will be invited to submit extended
versions to an indexed and highly ranked journals, including Cluster
Computing, Transactions on Emerging Telecommunications Technologies (ETT)
and Internet Technology Letters - Wiley

Please send any inquiry to the Emerging Tech. Network Team at:
emergingtechnetwork@gmail.com

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

Wednesday, June 26, 2019

[DMANET] Call for Workshop Proposals: ICDCN (International Conference on Distributed Computing and Networking) 2020

******************************************************************************
ICDCN 2020 Call for Workshop Proposals
******************************************************************************
21st International Conference on
Distributed Computing and Networking (ICDCN 2020)
Jan 4-7 2020
Kolkata, India
www.icdcn.org
https://www.icdcn2020.com/
********************************************************************************

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 21st edition of this international conference will be organized in
Jadavpur University, Kolkata, India, from 4th - 7th January 2020.

http://www.icdcn2020.com/

The 21st International Conference on Distributed Computing and
Networking (ICDCN 2020) plans to host several workshops.
The Organizing Committee invites proposals for one-day or half-day
workshops affiliated with the conference. Workshops should emphasize
current topics of interest to the conference and the community which are
Distributed Computing and Communication Networks. Workshops should
emphasize current topics of interest within the broader areas of
Distributed Computing and Communication Networks.
Some of the topics of current interest are mentioned below, though
this list is by no means exhaustive:

• Distributed Data-Analytics
• Blockchains
• Distributed AI/ML
• Cyber-security
• Disaster response
• Smart healthcare
• Energy and Sustainability
• Cyber-Physical systems
• Distributed game theory
• Biological Distributed Algorithms
• Social Network Analysis and Mining
• 5G and beyond Networks
• Next generation internet

The workshops may include a mix of regular papers, invited presentations
and panels that encourage the participation of attendees in active
discussion.
The purpose of these workshops is to provide a platform for presenting
new ideas in a generally more focused area than the main conference.
The objective of these workshops is to enable stimulating discussions on
state-of-the-art, emerging, visionary, and perhaps controversial topics.
Workshops should be organized to promote such lively interaction.
Plans to promote interaction and discussion should be clearly addressed
in workshop proposals. It is expected that workshop papers will be
published along with the main conference papers as part of the ACM
International Conference Proceedings Series (ICPS) and will be indexed
by the ACM Digital Library.
The details of this page can be found at:
https://www.icdcn2020.com/workshop

ICDCN 2019 hosted the following workshops
1. Computing and Networking for Smart Healthcare (CoNSH)
2. International Workshop on Emergency Response Technologies and
Services (EmeRTeS)
3. International Workshop On Networking Women In Distributed Computing
And Networks (NWDCN)
4. The 8th International Workshop on Computing and Networking for IoT
and Beyond (ComNet-IoT 2019)
5. International Workshop on Analytics for Security in Cyber Physical
Systems (ASCPS - 2019)
6. Cloud based Health INformatics (CHIN-2019)
7. Algorithms and Architectures for Distributed Data Analytics (AADDA)
8. Pervasive Security for Smart Connected Communities (PerSeC3 Workshop)

The details of these workshops could be found on ICDCN 2019 page:
https://events.csa.iisc.ac.in/icdcn2019/workshops.htm


Format of the Proposal
Each workshop proposal (maximum 5 pages) must include:
• Title of the workshop
• Description of the technical issues covered, emphasizing the
timeliness of the proposed workshop (1 page maximum)
• Workshop Organizers (names, affiliation and contact information),
limiting up to 2 workshop chairs for half-day workshop and 3 workshop
chairs for full-day workshop
• A short biography of the organizers (up to 200 words)
• Names of potential participants, such as program committee members
and invited speakers (indication that speakers accepted to participate
is a plus)
• Planned format of the workshop, including:
• Duration of the workshop: Half-day, Full-day and tentative schedule
• Preferred day of workshop: Before or after the conference
• Number of refereed papers, hot topic sessions, keynotes, panels
• Unique, creative and novel workshops formats are strongly encouraged
• Draft Call for Papers
• A description of the publicity and promotion plan
• Workshop potential website address
(if available at the time of the proposal - will be required later if
the workshop proposal is accepted)
• If appropriate, a description of past versions of the workshop,
including the number of submitted and accepted papers, number of
attendees, etc.

Please address questions to Workshop Chairs:
Sathya Peri, sathya_p@iith.ac.in, and Sipra Das Bit sdasbit@yahoo.co.in.

Submission Instructions & Timelines
The proposals can be submitted on Easychair page here:
https://easychair.org/conferences/?conf=cfwicdcn2020

Timelines for the workshops:
• Proposal Deadline: 1st July 2019
• Notification of Selection: 10th July 2019
• Opening of Workshop Papers for Acceptance: 15th July 2019
• Decision on Acceptance/Rejection of Workshop Papers: 5th October 2019
• Camera-Ready Papers Version Due: 20th October 2019

**********************************************************
*
* 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: ICDCN (International Conference on Distributed Computing and Networking) 2020

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

Call for Papers

21st International Conference on Distributed Computing and Networking (ICDCN 2020)
January 4-7, 2020
Kolkata, India
www.icdcn.org

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

Distributed Computing Track
-Blockchain
-Concurrent Data Structures
-Distributed algorithms: design, analysis, and complexity
-Distributed operating systems
-Distributed database systems
-Embedded distributed systems, sensors and mobile
-Distributed Robots
-Formal methods for 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
-Multi-tire cloud computing and Big Data processing
-Security, cryptography and Game theory in distributed systems
-Internet-scale distributed systems

Networking Track
-5G, ultra-dense networks, and next-gen networks and services
-Ad-hoc, sensor, PAN and mesh networks
-Backscatter and ultra-low power networks
-Cognitive networking
-Data center and cloud networking
-Energy-efficient networking & integration with smart grids
-Internetworking protocols & Internet applications
-IoT connectivity and Cyber Physical Systems (CPS)
-Mobile Edge Computing (MEC)
-Mobile offloading
-Mobile pervasive computing and networking
-Network function virtualization and Software Defined Networking (SDN)
-Network security & privacy
-Next generation & converged network architectures
-Overlay & peer-to-peer networks and services
-Pricing and network economics

ICDCN 2020 is soliciting submissions as either regular or short 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. Short Papers should not exceed 5 pages double column including figures, tables, and references in standard ACM format. Some papers not accepted as regular papers may be accepted as short papers with 5 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.

Important Dates
Abstract submission: 12th July 2019
Paper submission: 19th July 2019
Notifications: 6th September 2019
Camera Ready Papers: 11th October 2019

Committees

General Chairs
-Nandini Mukherjee, Jadavpur University, India
-Sriram Pemmaraju, University of Iowa, USA

Program Committee Chairs
-Mainak Chatterjee, University of Central Florida, USA (Networking Track)
-Keren Censor-Hillel, Technion, Israel (Distributed Computing Track)

Program Committee Vice Chairs
-Sudip Misra, Indian Institute of Technology, Kharagpur (Networking Track)
-Arpita Patra, IISc, Bangalore (Distributed Computing Track)

Steering Committee Chairs
-Sajal K. Das, Missouri Univ. of Science and Technology, USA
-Sukumar Ghosh, University of Iowa, 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] PODC 2019 Call for Participation: Early registration deadline fast approaching

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

         ACM Symposium on Principles of Distributed Computing
                          --- PODC 2019 ---

             Toronto, Canada, July 29 - August 02 2019

https://www.podc.org/

                  Early Registration: June 30, 2019
                 Student Travel Awards: June 16, 2019
-----------------------------------------------------------------------

REGISTRATION AND STUDENT TRAVEL AWARDS

 - Deadline for Early Registration: June 30, 2019
 - Deadline for Student Travel Awards Applications: June 16, 2019

 - Conference Registration: https://www.podc.org/podc2019/registration/
 - More information on Student Travel Awards:
http://www.podc.org/podc2019/student-travel-awards/


CONFERENCE PROGRAM

 The conference program is available at:
https://www.podc.org/data/podc2019/PODC-2019-program.pdf

 Monday, July 29th:
 - Workshop: Biological Distributed Algorithms
https://snl.salk.edu/~navlakha/BDA2019/
 - Tutorial 1: From Classical to Blockchain Consensus: What are the
Exact Algorithms?
http://www.podc.org/podc2019/workshops-and-tutorials/tutorial-descriptions/#TutDistributedConsensus
 - Tutorial 2: Byzantine Fault Tolerant State Machine Replication in
Any Programming Language
http://www.podc.org/podc2019/workshops-and-tutorials/tutorial-descriptions/#TutInterchain

 Tuesday, July 30th - Friday, August 2nd (lunch time):
 - PODC program

 Friday, August 2nd
 - Workshop: SPS: Security of Permissionless Systems
http://sps.cse.msstate.edu/
 - Tutorial 3: Central Control over Distributed Asynchronous Systems: A
Tutorial on Software-Defined Networks and Consistent Network Updates
http://www.podc.org/podc2019/workshops-and-tutorials/tutorial-descriptions/#TutSDN
 - Tutorial 4: Specifying, Implementing, and Verifying Algorithms for
Persistent Memory
http://www.podc.org/podc2019/workshops-and-tutorials/tutorial-descriptions/#TutPersistent


LOCAL ARRANGEMENTS - VENUE and AIR TRAVEL

The conference and workshops will take place at the DoubleTree Hilton
Hotel Toronto Downtown. The hotel is located at 108 Chestnut Street,
close to Toronto City Hall and Nathan Phillips Square. The ACM has
negotiated a special rate with the hotel that you can book using the
following link (guaranteed until June 28th, potentially available until
July 7th):

https://secure3.hilton.com/en_US/dt/reservation/book.htm?inputModule=HOTEL&ctyhocn=YTOCSDT&spec_plan=CDTCOM&arrival=20190728&departure=20190803&cid=OM,WW,HILTONLINK,EN,DirectLink&fromId=HILTONLINKDIRECT

The nearest major airport is Toronto Pearson International Airport
(YYZ). Cab fare from Pearson to downtown Toronto is approximately
$50-60.  Pearson airport also offers a train connection to Toronto Union
Station, which is located 1.5km from the Hilton hotel. Cabs are
available at Pearson Airport and at Union Station.

Guests arriving from Canadian and US cities may prefer to use Billy
Bishop Toronto City Airport (YTZ), which is a smaller airport located on
the Toronto Islands. Cab fare from Billy Bishop to the Hilton Hotel is
approximately $20. Guests are encouraged to reserve cabs ahead of time.

For further information, please visit https://www.podc.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/
*
**********************************************************

[DMANET] CFP: IEEE Int. Conferences (IUCC, DSCI, SmartCNS) in Shenyang, Liaoning, China, 21-23 October 2019

*** IEEE (IUCC-2019, DSCI-2019, SmartCNS-2019) International Conferences ***

To be held in Shenyang, Liaoning, China, 21-23 October 2019.

The 18th IEEE International Conference on Ubiquitous Computing and
Communications (IUCC-2019) http://iucc2019.sau.edu.cn/

The 3rd IEEE International Conference on Data Science and Computational
Intelligence (DSCI-2019) http://dsci2019.sau.edu.cn/

The 10th IEEE International Conference on Smart Computing, Networking and
Services (SmartCNS-2019) http://smartcns2019.sau.edu.cn/

Sponsored by
IEEE, IEEE Computer Society, and IEEE Technical Committee of Scalable
Computing (TCSC)

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

Workshop Proposal Due: 15 April 2019
Paper Submission Deadline: 30 June 2019
Authors Notification: 25 August 2019
Camera-Ready Paper Due: 21 September 2019
Early Registration Due: 21 September 2019
Conference Date: 21-23 October 2019

PAPER SUBMISSION GUIDELINE
==========================
Submissions must include an abstract, keywords, the e-mail address of the
corresponding author and should not exceed 8 pages for main conference,
including tables and figures in IEEE CS format. The template files for
LATEX or WORD can be downloaded here. All paper submissions must represent
original and unpublished work. Each submission will be peer reviewed by at
least three program committee members.
Submit your paper(s) in PDF file at the submission sites:
hpcn.exeter.ac.uk/iucc
hpcn.exeter.ac.uk/smartcns
hpcn.exeter.ac.uk/dsci
Manuscript Templates for Conference Proceedings can be found at
https://www.ieee.org/conferences_events/conferences/publishing/templates.html

All accepted papers are expected to be included in IEEE Xplore and will be
indexed by Engineering Index (EI). The authors of selected best papers will
be invited post conference to extend their contributions for special issues
of prestigious journals to be planned in conjunction with the conference.

**********************************************************
*
* 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] Doctoral Program in the Area of Constraints (Part of CP'19)

Dear all,


I would like to bring to your attention the doctoral program of the constraint programming conference, CP'19<http://cp2019.a4cp.org/>. This is a one-day event targeting PhD students in the area of constraints in the broadest sense. It is part of the main conference, which takes place in Stamford (Connecticut, US) from the 30th of September to the 4th of October. We have financial support for students. We believe the doctoral program is a fantastic experience for PhD students and a great opportunity to network with the community. Please consider applying and/or forwarding this email to others! You may find the call below.


CP 2019 Call for Submissions to the Doctoral Program


The Doctoral Program (DP) of the CP conference<http://cp2019.a4cp.org/> is open to all students doing research on constraints and related topics, including students that participated in previous DPs. The aim is to gather (student) researchers, discuss ongoing work in a relaxed atmosphere, and provide an opportunity for students to interact with experienced researchers through a mentoring program. Participating students are eligible to apply for financial support, which covers the conference registration, reduced cost shared accommodation, and a social dinner.


The program is a full-day event at the conference. It includes presentations of student papers, a poster session for all CP attendees, mentorship by a senior researcher, and lastly a DP dinner at the end of the day.


Important Dates:


July 14, 2019 - Paper submission deadline

July 19, 2019 - Financial support request deadline

August 1, 2019 - Notification

August 31, 2019 - Camera-ready version for online proceedings

September 30, 2019 - Doctoral program


Submission Instructions


We invite students in the area of constraints, in the broadest sense, to apply. The submitted paper should contain work that is primarily the work of the student. It can be work in progress, completed work, or recently published work.


Students may submit either:

- An (ongoing) research paper. The paper should include the motivation of the work and provide technical details.

- A summary of their research / PhD topic.


Submissions must be no longer than eight pages, not including references. Shorter papers are welcome. Students with a paper accepted to the main conference are encouraged to take the second option, whilst other students are encouraged to take the first option.


The submission format is the same as for the main conference (Springer LNCS

https://www.springer.com/gb/computer-science/lncs/conference-proceedings-guidelines). The author list must clearly specify the main student author along with advisors and co-authors. Submissions are required to be in PDF format. The paper is submitted through EasyChair,

[https://images.springer.com/cda/content/image/cda_displayimage.jpg?SGWID=0-0-16-2208184-0]<https://www.springer.com/gb/computer-science/lncs/conference-proceedings-guidelines>
Conference Proceedings guidelines | Springer<https://www.springer.com/gb/computer-science/lncs/conference-proceedings-guidelines>
www.springer.com
Below you will find Springer's guidelines and technical instructions for the preparation of contributions to be published in one of the following seri


https://easychair.org/my/conference?conf=dpcp19 by selecting "New Submission".


Financial Support


Participants of the doctoral program may apply for financial support, which covers the conference registration, reduced cost shared accommodation, and a social dinner.


To request financial support, please send a mail to ciaran.mccreesh@glasgow.ac.uk and emir.demirovic@unimelb.edu.au no later than July 19, 2019, with your advisor in CC, containing:


Your name and affiliation.

Title and ID of your submission.

Name of your advisor (he/she should be in CC of the email as well).

A PDF containing: a short motivation of your request (is it primarily your

work, how can the support help you and your lab, optionally whether the support

is essential for participating in the conference) and the signature of you and your adviser


We have funding to fully support up to 20 students. This will be allocated based on the motivation of the request, and in case of ties on the quality of the submitted work.


Doctoral Program


Review Training


Each participant will be assigned to review one of the submitted papers to the DP. The aim is to develop reviewing skills by reviewing the work of others and receiving feedback from other researchers. In addition, each student will receive comments on their own reviews. The explicit goal is to foster a positive review culture, as this is often overlooked in the CS community.


Presentation


Students will present their work in 10-minute presentations. The goal is to motivate the research and advertise their work for the poster session.


Invited Talks


TBA


Poster Session


Students of the DP are advised to prepare A0 portrait posters.


Social Dinner


A free dinner will be organised on the evening of the doctoral program, open to all students of the doctoral program, the doctoral program invited speakers, and chairs.


More details about the program will be given in due course.


Doctoral Program Chairs


Emir Demirović <emir.demirovic@unimelb.edu.au>, University of Melbourne, Australia.

Ciaran McCreesh <ciaran.mccreesh@glasgow.ac.uk>, University of Glasgow, Scotland.


Feel free to contact the doctoral program chairs if you have any further questions.

Best,

Emir

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

[DMANET] WAOA 2019: Deadline Extension, June 29 (AoE), 2019

WAOA 2019 - Call for Papers
17th Workshop on Approximation and Online Algorithms

12-13 September, 2019
Munich, Germany

https://algo2019.ak.in.tum.de/index.php/menue-waoa/waoa-overview <https://algo2019.ak.in.tum.de/index.php/menue-waoa/waoa-overview>
=================================================================
Important Dates

Extended submission deadline: June 29 (AoE), 2019
Notification: July 20, 2019
Workshop: September 12-13, 2019
Camera Ready: September 30, 2019

Keynote Speaker:
Laura Sanità, University of Waterloo

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

Scope
Approximation and online algorithms are fundamental tools to deal with
computationally hard problems and problems in which the input is
gradually disclosed over time. Both kinds of problems arise from a large
number of applications in a variety of fields. The workshop focuses on
the design and analysis of approximation and online algorithms. It also
covers experimental methods used to design and analyze efficient
approximation and online algorithms.

WAOA 2019 will be part of ALGO 2019 (https://algo2019.ak.in.tum.de <https://algo2019.ak.in.tum.de/>),
which also hosts ESA, ALGOCLOUD, ALGOSENSORS, ATMOS, and IPEC. ALGO 2019
will take place 9-13 September, 2019 in Munich, Germany.

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

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

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

Proceedings will be published in the Springer series Lecture Notes in
Computer Science after the workshop takes place.

Selected papers presented at WAOA 2019 will be invited to a journal
special issue.

Submission guidelines:
----------------------

Authors are invited to submit an extended abstract or full paper of at
most 12 pages, not including the references, describing original
unpublished research. Simultaneous submission to other conferences with
published proceedings is not permitted. The title page of the submission
should include the authors' full names, addresses, e-mail addresses, and
an abstract summarizing the results. The remainder of the submission
should contain a description of the main results, an explanation of
their importance, and a clear comparison with related work. The
submission must include full proofs of the results. Material that cannot
be included in the 12 allowed pages can be placed in an appendix, that
will be read at the sole discretion of the program committee.

Submissions should be formatted for letter-size paper with reasonable
margins and at least 11-point font.

Papers should be submitted electronically via the EasyChair submission
system at:

https://easychair.org/conferences/?conf=waoa2019 <https://easychair.org/conferences/?conf=waoa2019>
By submitting a paper the authors acknowledge that in case of acceptance
at least one of the authors must register at ALGO 2019, or WAOA 2019,
attend the conference, and present the paper.

The program committee may award a Best Paper Award to one of the
accepted papers.

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

Evripidis Bampis, Sorbonne Université, Paris, France (co-chair)
Marcin Bienkowski, Wrocław University, Wrocław, Poland
Joan Boyar, University of Southern Denmark, Odense, Denmark
Agnes Cseh, Hungarian Academy of Sciences, Budapest, Hungary
Bruno Escoffier, Sorbonne Université, Paris, France
Dimitris Fotakis, National Technical University of Athens, Athens, Greece
Zachary Friggstad, University of Alberta, Edmonton, Canada
Naveen Garg, Indian Institute of Technology Delhi, Delhi, India
Jannik Matuschke, KU Leuven, Leuven, Belgium
Nicole Megow, University of Bremen, Bremen, Germany (co-chair)
Julian Mestre, The University of Sydney, Sydney, Australia
Ben Moseley, Carnegie Mellon University, Pittsburgh, USA
Viswanath Nagarajan, University of Michigan, Ann Arbor, USA
Seffi Naor, Technion, Haifa, Israel
Aris Pagourtzis, National Technical University of Athens, Athens, Greece
Heiko Röglin, University of Bonn, Bonn, Germany
Andreas S. Schulz, Technical University of Munich, Munich, Germany
Nguyen Kim Thang, Univ Evry, University Paris-Saclay, Evry, France
Marc Uetz, University of Twente, Enschede, The Netherlands
Andreas Wiese, Universidad de Chile, Santiago, Chile
Prudence Wong, The University of Liverpool, Liverpool, United Kingdom
Guochuan Zhang, Zhejiang University, Hangzhou, China

**********************************************************
*
* 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] JOB Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria - Deadline: July 4, 2019

Two PhD positions in Formal Methods in System Engineering Group at TU Wien,
Austria

The Institute of Logic and Computation at the TU Wien,
<https://forsyte.at/> FORSYTE Group is offering two research assistant (PhD
student) Positions, 30 h/week, for a period of 4 years.
The successful candidate will be supervised by Prof. Pavol Cerny. The
estimated start date is September 2, 2019.

REQUIREMENTS

Candidates with a research background in computer-aided verification,
programming languages, and distributed systems are particularly encouraged
to apply. Excellent knowledge of German and English languages is a
requirement. TU Wien aims to increase the proportion of women and therefore
calls on qualified women to apply. Persons with disabilities are equally
encouraged to apply. For further Information please contact Mr. Gerhard
Neustätter, <mailto:gerhard.neustaetter@tuwien.ac.at>
gerhard.neustaetter@tuwien.ac.at

BENEFITS

The monthly minimum salary is currently EUR 2.148,40 (14x per year). Prior
experience may result in a higher salary. The Faculty of Informatics at TU
Wien is the largest one in Austria. It offers a first-class research
environment and various academic development programs. Vienna has repeatedly
been ranked Number 1 worldwide in the Mercer Quality of Living Survey.

APPLICATION

The proposed research will focus on computer-aided verification and
synthesis of distributed systems. The application should include the
candidate's CV, an abstract of her/his Diploma/Master thesis, a short
motivation letter, and contact information for two references.
The first screening of applications will start on July 4, 2019.


Application Deadline: 04.07.2019 (Date of postmark)


Please send your application documents to Personaladministration,
Fachbereich wiss. Personal der TU Wien, Karlsplatz 13, 1040 Wien. Online
applications to <mailto:veronika.korn@tuwien.ac.at>
veronika.korn@tuwien.ac.at

Candidates are not eligible for a refund of expenses for traveling and
lodging related to 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/
*
**********************************************************