Theory Announcements

Tuesday, July 12, 2016

[DMANET] RAID 2016 -- Call for Participation (early registration ends soon)

CALL FOR PARTICIPATION

19th International Symposium on Research in Attacks,
Intrusions and Defenses (RAID 2016)

Telecom SudParis, France, September 19-21, 2016
http://www.raid2016.org/

** http://www.raid2016.org/registration/ **

ABOUT THE CONFERENCE
====================

The 19th International Symposium on Research in Attacks, Intrusions
and Defenses (RAID 2016), previously known as Recent Advances in
Intrusion Detection, aims at bringing together leading researchers and
practitioners from academia, government, and industry to discuss novel
research contributions related to computer and information security.

Attendees typically include:

- Researchers working in the field of computer and information security
- Academics studying the field of cyber security
- Incident response and security teams with responsibility for
coordinating computer security
- Technical staff who determine security product needs and implement
solutions
- Anyone wanting to learn more about computer security in general

RAID 2016 is an excellent opportunity to discuss cutting-edge research
in intrusion detection and defenses, malware, application security,
anomaly detection, special environments and sandboxing, web security
and social networks, and network security, among other topics.

REGISTRATION
============

Registration information is available at:

http://www.raid2016.org/registration/

VENUE AND TRAVEL
================

Information on the conference venue is available at:

http://www.raid2016.org/venue/

TENTATIVE PROGRAM
==================

Monday, September 19, 2016
---------------------------

2:00 - 2:30 pm Welcome and opening

2:30 - 3:30 pm Keynote talk, by Ahmad-Reza Sadeghi

3:30 - 4:00 pm Coffee break

4:00 - 6:00 pm Session I: Systems Security

- GRIM: Leveraging GPUs for Kernel Integrity Monitoring

Lazaros Koromilas
Giorgos Vasiliadis (Qatar Computing Research Institute, HBKU)
Elias Athanasopoulos (VU University Amsterdam)
Sotiris Ioannidis (FORTH)

- Taming Transactions: Towards Hardware-Assisted Control Flow
Integrity using Transactional Memory

Marius Muench (Eurecom)
Fabio Pagani (Eurecom)
Yan Shoshitaishvili (University of California, Santa Barbara)
Christopher Kruegel (University of California, Santa Barbara)
Giovanni Vigna (University of California, Santa Barbara)
Davide Balzarotti (Eurecom)

- Automatic Uncovering of Tap Points From Kernel Executions

Junyuan Zeng (University of Texas at Dallas)
Yangchun Fu (University of Texas at Dallas)
Zhiqiang Lin (University of Texas at Dallas)

- Detecting Stack Layout Corruptions with Robust Stack Unwinding

Yangchun Fu (University of Texas at Dallas)
Junghwan Rhee (NEC Laboratories America)
Zhiqiang Lin (University of Texas at Dallas)
Zhichun Li (NEC Laboratories America)
Hui Zhang (NEC Laboratories America)
Guofei Jiang (NEC Laboratories America)

6:00 - 8:00 pm Cocktail & Poster Session
(see http://www.raid2016.org/list-of-accepted-posters/)

Tuesday, September 20, 2016
---------------------------

9:30 - 10:30 am Keynote talk, [TBA]

10:30 - 11:00 am Coffee break

11:00 - 12:00 pm Session II: Low-level Attacks and Defenses

- APDU-level attacks in PKCS#11 devices

Claudio Bozzato (Ca' Foscari University, Venice)
Riccardo Focardi (Ca' Foscari University, Venice)
Francesco Palmarini (Ca' Foscari University, Venice)
Graham Steel (Cryptosense, Paris)

- CloudRadar: A Real-Time Side-Channel Attack Detection System in Clouds

Tianwei Zhang (Princeton University)
Yinqian Zhang (Ohio State University)
Ruby B. Lee (Princeton University)

12:00 - 1:30 pm Lunch break

1:30 - 3:00 pm Session III: Measurement Studies

- The Abuse Sharing Economy: Understanding the Limits of Threat Exchanges

Kurt Thomas (Google)
Rony Amira (Google)
Adi Ben-Yoash (Google)
Ari Berger (Google)
Ori Folger (Google)
Amir Hardon (Google)
Elie Bursztein (Google)
Michael Bailey (University of Illinois at Urbana-Champaign)

- SANDPRINT: Fingerprinting Malware Sandboxes to Provide Intelligence
for Sandbox Evasion

Akira Yokoyama (Yokohama National University)
Kou Ishii (Yokohama National University)
Rui Tanabe (Yokohama National University)
Yinmin Papa (Yokohama National University)
Katsunari Yoshioka (Yokohama National University)
Tsutomu Matsumoto (Yokohama National University)
Takahiro Kasama (National Institute of Information and
Communications Technology)
Daisuke Inoue (National Institute of Information and
Communications Technology)
Michael Brengel (CISPA, Saarland University)
Michael Backes (CISPA, Saarland University & MPI-SWS)
Christian Rossow (CISPA, Saarland University)

- Enabling Network Security Through Active DNS Datasets

Athanasios Kountouras (Georgia Institute of Technology)
Panagiotis Kintis (Georgia Institute of Technology)
Chaz Lever (Georgia Institute of Technology)
Yizheng Chen (Georgia Institute of Technology)
Yacin Nadji (Netrisk)
David Dagon (Georgia Institute of Technology)
Manos Antonakakis (Georgia Institute of Technology)
Rodney Joffe (Neustar)

3:00 - 3:30 pm Coffee break

3:30 - 5:00 pm Session IV: Malware Analysis

- A Formal Framework for Environmentally Sensitive Malware

Jeremy Blackthorne (Rensselaer Polytechnic Institute)
Benjamin Kaiser (Rensselaer Polytechnic Institute)
Bulent Yener (Rensselaer Polytechnic Institute)

- AVClass: A Tool for Massive Malware Labeling

Marcos Sebastian (IMDEA Software Institute)
Richard Rivera (IMDEA Software Institute & Universidad
Politecnica de Madrid)
Platon Kotzias (IMDEA Software Institute & Universidad
Politecnica de Madrid)
Juan Caballero (IMDEA Software Institute)

- Semantics-Preserving Dissection of JavaScript Exploits via
Dynamic JS-Binary Analysis

Xunchao Hu (Syracuse University)
Aravind Prakash (Binghamton University)
Jinghan Wang (Syracuse University)
Rundong Zhou (Syracuse University)
Yao Cheng (Syracuse University)
Heng Yin (Syracuse University)

5:00 pm - Banquet at Vaux-le-Vicomte (visit and dinner)

Wednesday, September 21, 2016
------------------------------

9:30 - 10:30 am Session V: Network Security

- The Messenger Shoots Back: Network Operator Based IMSI
Catcher Detection

Adrian Dabrowski (SBA Research)
Georg Petzl (T-Mobile Austria)
Edgar R. Weippl (SBA Research)

- On the Feasibility of TTL-based Filtering for DRDoS Mitigation

Michael Backes (CISPA, Saarland University & MPI-SWS)
Thorsten Holz (Ruhr University Bochum)
Christian Rossow (CISPA, Saarland University)
Teemu Rytilahti (Ruhr University Bochum)
Milivoj Simeonovski (CISPA, Saarland University)
Ben Stock (CISPA, Saarland University)

10:30 - 11:00 am Coffee break

11:00 - 12:30 pm Session VI: Systematization of Knowledge and Experience
Reports

- A Look into 30 Years of Malware Development from a Software
Metrics Perspective

Alejandro Calleja (Universidad Carlos III de Madrid)
Juan Tapiador (Universidad Carlos III de Madrid)
Juan Caballero (IMDEA Software Institute)

- Small Changes, Big Changes: An Updated View on the Android
Permission System

Yury Zhauniarovich (Qatar Computing Research Institute, HBKU)
Olga Gadyatskaya (SnT, University of Luxembourg)

- Who Gets the Boot? Analyzing Victimization by DDoS-as-a-Service

Arman Noroozian (Delft University of Technology)
Maciej Korczynski (Delft University of Technology)
Carlos Hernandez Ganan (Delft University of Technology)
Daisuke Makita (Yokohama National University)
Katsunari Yoshioka (Yokohama National University)
Michel van Eeten (Delft University of Technology)

12:30 - 1:30 pm Lunch break

1:30 - 3:30 pm Session VII: Web & Mobile Security

- Uses and Abuses of Server-Side Requests

Giancarlo Pellegrino (Saarland University)
Onur Catakoglu (Eurecom)
Davide Balzarotti (Eurecom)
Christian Rossow (Saarland University)

- Identifying Extension-based Ad Injection via Fine-grained Web
Content Provenance

Sajjad Arshad (Northeastern University)
Amin Kharraz (Northeastern University)
William Robertson (Northeastern University)

- Trellis: Privilege Separation for Multi-User Applications
Made Easy

Andrea Mambretti (Northeastern University)
Kaan Onarlioglu (Northeastern University)
Collin Mulliner (Northeastern University)
William Robertson (Northeastern University)
Engin Kirda (Northeastern University)
Federico Maggi (Politecnico di Milano)
Stefano Zanero (Politecnico di Milano)

- Blender: Self-randomizing Address Space Layout for Android Apps

Mingshen Sun (The Chinese University of Hong Kong)
John C.S. Lui (The Chinese University of Hong Kong)
Yajin Zhou (Qihoo 360 Technology Co. Ltd.)

3:30pm Closing Remarks & Farewell Coffee

MORE INFORMATION
================

Additional information is available at:

http://www.raid2016.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/
*
**********************************************************

Monday, July 11, 2016

[DMANET] 2 PhD positions at LMU Munich - Algorithmic Bioinformatics

The Canzar lab at the Gene Center of the University of Munich (LMU) is
recruiting graduate students in algorithmic bioinformatics, to start
in fall 2016.

The successful applicant will develop and engineer efficient
algorithms for analyzing biological high-throughput sequencing data.
Supporting the lab's agenda, the successful candidate will employ
tools and techniques from combinatorial optimization and machine
learning to leverage large numbers of publicly available data sets.
Translated into scalable and usable software, they will facilitate the
systematic exploration of important biological or biomedical
questions, such as the functional impact of alternative splicing.

The Canzar lab is embedded in the stimulating, interdisciplinary
environment of the Graduate School for Quantitative Biosciences Munich
(QBM), which integrates approaches ranging from bioinformatics and
theoretical biophysics to biochemistry, molecular systems biology, and
synthetic biology. The lab is housed in the new Research Center for
Molecular Biosystems (BioSysM) at the life sciences campus
Grosshadern/ Martinsried.

We are seeking motivated candidates with a degree in computer science,
(applied) mathematics, or bioinformatics to join our lab.

To apply, send your application materials, including a motivation
letter, your CV, and names of two referees in a single pdf file before
31 August 2016 to Stefan Canzar (canzar@ttic.edu), who can also supply
further information about this position. The Canzar lab moves to LMU
in September, our website is still at TTI Chicago:
http://ttic.uchicago.edu/~canzar/
**********************************************************
*
* 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] Second call for ADFOCS 2016 - Early Registration Deadline: 15 July 2016

ABOUT ADFOCS
---------------------
ADFOCS is an international summer school held annually at the Max Planck
Institute for Informatics (MPII). It is organized as part of the activities
of the MPII, in particular the International Max-Planck Research School
(IMPRS), MPII's graduate program. The purpose of this summer school is to
introduce young researchers to topics which are the focus of current
research in theoretical computer science. We bring together three leading
researchers in the field and international participants at the graduate
level and above. This year's focus is on "Foundations of Distributed
Computing."

PROGRAM
--------------
Our invited speakers give five 105-minute lectures/exercises, allowing for
discussions. The lecturers are (in alphabetical order):
* Maurice Herlihy, Brown University, USA
* Rotem Oshman, Tel-Aviv University, Israel
* Roger Wattenhofer, ETH Zurich, Switzerland

LOCATION & TRAVEL INFORMATION
------------------------------------------------
ADFOCS will be held at the Max Planck Institute for Informatics in
Saarbrücken, Germany. Saarbrücken is easily reachable from Frankfurt,
Stuttgart, Paris, or Luxembourg. Technically, Saarbrücken also has its own
international airport.

REGISTRATION
--------------------
The registration fee is EUR 130 for *early registration until July 15* and
EUR 180 after that date. The fee covers lunches and social events. It does
not include accommodation, but we can help you with your reservations.
Per-night prices, including taxes and breakfast, typically range from about
EUR 20 (youth hostel, double room) to about EUR 70 (hotel, single room). A
limited number of grants for graduate students or young researchers are
available. For application please send your CV until *June 1*. Further,
please have your supervisor at your institute send an email with a brief
letter of recommendation, certifying in particular your relation with the
topics in ADFOCS, before the *deadline*.

-----------------------------------------------------------------------------
For further details, please refer to the ADFOCS homepage:

http://www.mpi-inf.mpg.de/conference/adfocs

Organizers: Cosmina Croitoru and Christoph Lenzen

--
"Nur wer erwachsen wird, und Kind bleibt, ist ein Mensch!" :D (Erich
Kästner)

Cosmina Croitoru
Raum 329
Tel. 0681/30393082

**********************************************************
*
* 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] Funded PhD position, optimization / medical robotics, Hamburg

The Institute of Medical Technology at Hamburg University of Technology
has an open position for a Research Assistant / PhD candidate. The
fulltime position is funded for two years (salary according to level E13,
app. 43K EUR p.a.).

We have a research focus on robotics and navigation in medicine.
Particularly, we are currently interested in multi-criteria optimization
and machine learning methods to plan ultrasound image guidance for robotic
radiosurgery. This involves a large scale combinatorial optimization
problem. Your tasks include developing and publishing new methods,
fostering and extending collaborations with clinical and in-dustrial
partners, and preparing further grant proposals.

The successful applicant finished a Master's in computer science or
similar fields with outstanding results and has a solid background in
optimization (particularly mathematical programming), heuristic search and
machine learning methods. Excellent programming skills (Java / C++) and
fluency in English are essential; experience in pub-lishing papers is a
strong plus.

The offcial job posting is available online:
http://intranet.tuhh.de/aktuell/stellen/stelle.html?kenn_nr=D-16-106

Please, note that the deadline for sending your complete application is
August 7th, 2016. For further information, feel free to contact Professor
Alexander Schlaefer (schlaefer@tuhh.de) directly.

--
Alexander Schlaefer
Institute of Medical Technology
Hamburg University of Technology
+49 (0) 40 42878 3050
www.tuhh.de/mtec
**********************************************************
*
* 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/
*
**********************************************************

2016 Autumn School on Computational Logic

(Apologies if you receive multiple copies of this email.
Please distribute to interested parties.)

The 2016 Autumn School on Computational Logic will be held on
October 16-17, 2016, in New York, affiliated to the
32nd International Conference on Logic Programming (ICLP'16).
Researchers and PhD students are encouraged to attend. Student
scholarships are available (Deadline for application: July 20)

Association for Logic Programming

2016 Autumn School on Computational Logic

http://iclp16school.webs.upv.es/
October 16-17, New York, USA
(Affiliated to ICLP'16)

Researchers interested in research in computational logic are
invited to attend the 2016 Autumn School. The 2-day school is
suited for those who wish to learn advanced topics in computational
logic and logic programming. It will consist of four half-day
tutorials on the following topics:

1. Constraint Logic Programming
Lecturer: Roman Bartak, Charles University, Czech Republic

2. Language processing through logic grammars and constraints
Lecturer: Veronica Dahl, Simon Fraser University, Canada

3. Answer Set Programming: foundations and applications
Lecturer: Torsten Schaub, University of Potsdam, Germany

4. Verification and probabilistic programming
Lecturer: C.R. Ramakrishnan, SUNY Stony Brook, USA

A number of scholarships for students that cover local expenses for the
duration of the school are available. To apply for these scholarships,
students should also register to the Doctoral Consortium and send the
following information to German Vidal at gvidal@dsic.upv.es by July 20th:
- A short vita of the applicant.
- A letter of recommendation from applicant's faculty advisor.
- A one paragraph statement outlining how the school will benefit the applicant.
The letter from the advisor should also certify that the applicant is a
full-time student.

Organizers:
John Gallagher, Roskilde University, Denmark
German Vidal, Universitat Politecnica de Valencia, Spain

Friday, July 8, 2016

[DMANET] IPCO 2017 Call for Papers

Call for Papers for the Nineteenth
Conference on Integer Programming and Combinatorial Optimization
IPCO XIX, June 26-28, 2017 to be held at the University of Waterloo, Ontario, Canada.

Submission deadline : November 20, 2016 (23:59 CET)

The IPCO conference is a forum for researchers and practitioners working on various aspects of integer programming and combinatorial optimization. The aim is to present recent developments in theory, computation, and applications. The scope of IPCO is viewed in a broad sense, to include algorithmic and structural results in integer programming and combinatorial optimization as well as revealing computational studies and novel applications of discrete optimization to practical problems.

Authors are invited to submit extended abstracts of their recent work by November 20, 2016 (23:59 CET); see the conference website for more information. The Program Committee will select the papers to be presented on the basis of the submitted extended abstracts. Contributions are expected to be original, unpublished and not submitted to journals or conferences with proceedings before the notification date (January 31, 2017). Papers violating these requirements will not be considered by the Program Committee.

During the conference, approximately 33 papers will be presented in single-track sessions. Each lecture will be 30 minutes long. The proceedings will be published as a volume of Springer Lecture Notes in Computer Science. They will contain extended abstracts of all accepted submissions. Each participant will receive a copy of the proceedings at the conference. It is expected that revised and extended versions will subsequently be submitted for publication in appropriate journals.

More information can be found on the conference website http://www.math.uwaterloo.ca/ipco2017

Programme commitee:
Nikhil Bansal (TU Eindhoven)
Gérard Cornuéjols (Carnegie Mellon University)
Daniel Dadush (CWI Amsterdam)
Santanu Dey (Georgia Institute of Technology)
Fritz Eisenbrand (EPFL, chair)
Samuel Fiorini (Université libre de Bruxelles)
Anupam Gupta (Carnegie Mellon University)
Satoru Iwata (University of Tokyo)
Jochen Koenemann (University of Waterloo, local arrangements chair)
Seffi Naor (Technion)
Kurt Mehlhorn (Max Planck Institute for Computer Science)
Britta Peis (RWTH Aachen)
Laura Sanità (University of Waterloo)
Laurence Wolsey (Université catholique de Louvain)
Rico Zenklusen (ETH Zürich)

[Mycolleagues] CFP - Workshop on Quantum Communications and Information Technology (QCIT=?utf-8?Q?=E2=80=9916=29?=

Call for Contributions for Workshop on

Quantum Communications and Information Technology (QCIT'16)
===========================================================

http://www-mobile.ecs.soton.ac.uk/events/GC_16_QCIT_CFP.htm

At IEEE Globecom'16, Washington, DC, USA, December, 8. 2016
http://globecom2016.ieee-globecom.org/

The Quantum Communications and Information Technology (QCIT'16) workshop is
dedicated to explore the new opportunities for application of communications
theory and technologies to quantum technology.
Over the last decade, a variety of physical quantum computing devices has been
demonstrated and used for fundamental experiments in laboratories. Results
confirm the feasibility of practical applications in quantum communications
and quantum information processing related fields. Some specific applications,
such as quantum key distribution are already close to the market. However, the
step from a quantum technology based device to a real system carrying out a
communications or information processing task has not been completed at the
time of writing.
Come and join this workshop to connect with people from academia and industry
to discuss and progress all the theory, technology and applications and to
exchange ideas conceived for progressing the engineering and development of
this exciting new field.

Topics include (but are not limited to) the following:
- RF technology, components and control
- Coding theory
- Communications and information theory
- Photonic communications technology
- Interconnection and complexity theory
- Error correction
- RF based programming and algorithms
- Modeling and simulation
- Systems architecture
- Optimized algorithms and applications
- Experimental results
- Control instrumentation
- Signal processing

Submission info for camera-ready manuscripts:
Original and unpublished regular papers are solicited from the above-mentioned
areas. Regular papers have a length of 4 to 6 pages with an optional payable
7th page, they get peer reviewed and published in the workshop proceedings and
after presentation in the IEEE Xplore. Templates for the manuscripts can be
downloaded from:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
The formatted manuscript should be electronically submitted as pdf via EDAS:
https://edas.info/newPaper.php?c=22562
Further information is available in the Globecom 2016 webpages:
http://globecom2016.ieee-globecom.org

Important dates:
Abstract registration due date: July, 15. 2016
Manuscript submission due date: July, 18. 2016 (extension on request)
Notification date: September, 1. 2016
Final manuscript due date: October, 1. 2016
Workshop date: December, 8. 2016

Workshop organizers:
Lajos Hanzo, University of Southampton, United Kingdom, lh@ecs.soton.ac.uk
Andrea Conti, University of Ferrara, Italy, a.conti@ieee.org
Soon Xin Ng, University of Southampton, United Kingdom, sxn@ecs.soton.ac.uk
Peter Mueller, IBM Zurich Research Laboratory, Switzerland, pmu@zurich.ibm.com

Sponsored by:
IEEE Communications Society (ComSoc) - http://www.comsoc.org
Quantum Information Processing and Communication in Europe (QUROPE) -
http://qurope.eu/

Join the IEEE Interest Group on Quantum Communications and Information
Technology (QCIT)
Please send an email to list@comsoc.org using your own email account. In the
body of your message, type "JOIN QCIT" to join QCIT list.

[DMANET] Two post-doc positions @ IIT-CNR, Pisa, Italy: OSN analysis & Fog/Edge computing

==========================================================
Two post-doc positions are open @ IIT-CNR, Pisa, Italy:
#1: Analysis of large-scale Online Social Networks (H2020 SoBigData)
#2: Fog/Edge computing in IoT (with application to Industry 4.0) (H2020
AUTOWARE)

** Position type: postdoctoral fellowship, 12 months (renewable)
** Starting date: ASAP, from September 2016
** Location: IIT-CNR, Pisa, Italy - http://www.iit.cnr.it/
** Supervisor: Andrea Passarella - http://cnd.iit.cnr.it/andrea/
** Entry-level salary: EUR 1640-1940 per month (net) depending on experience
** Application deadline: continuous evaluation, up until the end of
August 2016

Position #1: Analysis of large-scale Online Social Networks
-----------------------------------------------------------
Job description
---------------
Online Social Networks are one of the main sources of Big Data to
analyse the
human social behaviour, and design smart human-centric services that exploit
this knowledge. The post-doc activities will be focused on
(i) collecting and analysing large-scale datasets that describe
the structure of human social networks in OSNs, and
(ii) designing radically new data-centric services based on this knowledge.

Successful candidates will be supervised by Dr. Andrea Passarella
(http://cnd.iit.cnr.it/andrea), and will work in the H2020 SoBigData
European
Project, the only EC-funded H2020 Research Infrastructure for the
analysis of
human social behaviour from BigData (http://www.sobigdata.eu/).

The post-doc activities will involve developing interdisciplinary
approaches,
mixing efficient data crawling and collection techniques, large-scale data
analysis, complex network analysis and modelling, knowledge extraction
according
to quantitative models describing the humans' social behaviour, design of
data-centric services in OSN platforms.

Candidate profile
-----------------
Ideal candidates should have or about to obtain a PhD in Computer Science,
Computer Engineering, Physics, Statistics, or closely related
disciplines, and a
proven track record of publications in relevant top-tier conferences and
journals. Preferably, the topic of the PhD should have been in one of the
relevant research areas (BigData analytics, OSN analysis/programming,
Complex
network analysis). Good written and spoken communication skills in
English are
required.

Position #2: Fog/Edge computing in IoT (with application to Industry 4.0)
-------------------------------------------------------------------------
Job description
---------------
The expected amount of data generated by pervasive devices in IoT
environments
calls for fog/edge computing approaches where data management and
analysis is
carried out at the edge of the network.

One post-doc position is open in this area, and on the application of
fog/edge
computing to Industry 4.0 systems, the emerging paradigm for the
Factories of
the Future. Industry 4.0 systems are expected to revolutionise the entire
manufacturing process. They will be entirely data-driven, thanks to tight
integration with IoT and data analytics tools. Data will be dynamically
generated, analysed on the fly, and shared across the various actors and
enterprises in the production value chains and between producers and
consumers.

Successful candidates will be supervised by Dr. Andrea Passarella, and the
activities will be carried out in the H2020 FoF AUTOWARE European
Project, expected to start in September 2016.

The post-doc will work on these topics (in the framework of AUTOWARE)
(i) fog computing solutions applied to industry 4.0 environments;
(ii) design of data management and analysis on mobile edge networks;
(iii) optimisation of data management and communication in industry 4.0
environments.
Both protocol design/evaluation and theoretical approaches are expected
to be
applied.

Candidate profile
-----------------
Ideal candidates should have or about to obtain a Phd in Computer Science,
Computer Engineering, or closely related disciplines, and a proven track
record
of publications in relevant top-tier conferences and journals.
Preferably, the
topic of the PhD should have been in one of the relevant research areas
(IoT,
mobile networking and computing, cloud computing, BigData management and
analysis). Good written and spoken communication skills in English are
required.

Research group
--------------
The Post-doc will be in the Ubiquitous Internet group of IIT-CNR in
Pisa, Italy
(http://cnd.iit.cnr.it). UI activities range over multiple topics
related to the
design and analysis of Future Internet networking and computing systems,
including data-centric networks, mobile computing, online/mobile social
networks, self-organising networks, hybrid wireless/wired networking and
computing. The UI group has a strong track record of successful
activities in
European projects, from FP6 to H2020, which is reflected in the many
international collaborations in EU and USA activated by the researchers
of the
group.

Application procedure
---------------------
Applications should consist of (all documents in English):
- a complete CV
- a 1-page research statement showing motivation, understanding and
knowledge
on the topic of the position
- up to 3 contacts persons that could act as references, if needed

The applications and any request of information should be sent to:
a.passarella@iit.cnr.it, with subject, respectively:
"Post-doc application: Online Social Network Analysis", or
"Post-doc application: Fog/Edge computing in IoT".

Applications will be continuously evaluated upon reception.
Interviews will be organised with selected candidates.
Applications will be considered until the position is filled, up until
the end of
August 2016.

Contact point
-------------
For any additional information or clarification, please send a message to
a.passarella@iit.cnr.it

--
Andrea Passarella
--
Institute for Informatics and Telematics (IIT)
National Research Council (CNR)
Via G. Moruzzi, 1 voice: +39 050 315 3269 <tel://+39%20050%20315%203269>
56124 Pisa, Italy fax: +39 050 315 2593 <tel://+39%20050%20315%202593>
@/sip: a.passarella@iit.cnr.it <mailto:a.passarella@iit.cnr.it> mobile:
+39 346 0082 540 <tel://+39%20346%200082%20540>
http://cnd.iit.cnr.it/andrea

========================================================================
Just Published!
V. Arnaboldi, A. Passarella, M. Conti, R.I.M. Dunbar
Online Social Networks: Human Cognitive Constraints in Facebook and
Twitter Personal Graphs
Elsevier, October 2015
http://store.elsevier.com/Online-Social-Networks/Valerio-Arnaboldi/isbn-9780128030233/

[DMANET] Funded positions for doctoral research in Algorithmic Game Theory at Teesside University, UK

Opportunities to undertake a fully funded PhD program in Algorithmic
Game Theory are available at Teesside University, UK.

A first route is via a graduate tutor position. This role allows to
study for a PhD program over 4 years, whilst also gaining the
opportunity to acquire regular and structured experience through a
light contribution to the teaching activities of the School of
Computing. The salary is higher than a normal PhD studentship (and
additionally all fees are paid).

We now accept applications to this role; deadline is July 31, 2016.

More details, including application procedure, can be found at
https://recruitment.tees.ac.uk/itrentlive_webrecruitment/wrd/run/etrec107gf.open?VACANCY_ID=5166081sUE&WVID=3395700LFi&LANG=USA.

Moreover, we anticipate the possibility of having a fully-funded PhD
studentship (without teaching commitments) at a later stage
(presumably after the summer).

Prospective candidates for either role must have (or expect to have)
at least a good honours degree Computer Science, Mathematics or
Economics at grade 2:1 (or equivalent) or higher. The role requires
good background knowledge in Theoretical Computer Science, discrete
mathematics related to computer science and algorithm design.
Background knowledge in Microeconomics or Algorithmic Game Theory is
also desirable.

Prospective applicants are welcome to contact myself for informal
enquiries (about the roles and/or the application procedure).

Finally, with similar modalities, we do have other projects in the
general area of game theory; namely, "Evolutionary Mechanism Design"
and "Emergence of Co-operative Behaviour and AI Cognition". Do have a
look at http://www.tees.ac.uk/sections/research/projects2.cfm and feel
free to contact me for further info on those projects as well.

[DMANET] DISC 2016 -- CALL FOR PARTICIPATION

[Do not hesitate to forward to your colleagues, students...]

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

DISC 2016 -- CALL FOR PARTICIPATION

30th International Symposium on Distributed Computing
September 26-30, 2016, Paris, France
www.disc-conference.org/wp/disc2016

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

Please remember to register soon for DISC 2016!

The early registration deadline is July 21st:

http://www.disc-conference.org/wp/disc2016/registration/

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

Keynote speakers:

Serge Abiteboul: Personal information management systems and
knowledge integration
Graham Cormode: Matching and Covering in Streaming Graphs
Javier Esparza: Verification of population protocols

List of accepted papers available:

http://www.disc-conference.org/wp/disc2016/accepted-papers/

Workshops on September 26th:

Advances in Distributed Graph Algorithms (AGDA)
Moving and Computing (MAC)

Workshop on September 30th:

Dynamic Graph in Distributed Computing (DGDC)

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

Swan DUBOIS
UPMC Sorbonne Universités
DISC 2016 Publicity 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] WABI 2016 - 2nd Call for Posters - Deadline, Aug 1

===================================================================
Call for Posters - WABI 2016 - Submission deadline Aug 1, 2016

16th Workshop on Algorithms in Bioinformatics

August 22-24, 2016. Aarhus, Denmark

http://conferences.au.dk/algo16/wabi
===================================================================

Scope:

All research in algorithmic work in bioinformatics, computational biology and systems biology. The emphasis is mainly on discrete algorithms and machine-learning methods that address important problems in molecular biology, that are founded on sound models, that are computationally efficient, and that have been implemented and tested in simulations and on real datasets. The goal is to present recent research results, including significant work-in-progress, and to identify and explore directions of future research.

Poster Submission:

We invite researchers to submit their latest results that fall into the general area of algorithms in bioinformatics in the form of a poster. Therefore they are requested to submit an abstract that will be included in the conference package handed out at the workshop. A poster abstract must be in plain text and no longer than 500 words, not including bibliographic references. The submission form can be found via:

http://conferences.au.dk/algo16/wabi/call-for-posters/

Poster submission deadline: Monday, August 1, 2016.
Notification of poster acceptance: Monday, August 8, 2016.
Workshop: August 22-24, 2016

The poster session will be in the afternoon of Tuesday, August 23. The format will be A0 vertical (84cm=33.1" wide, 118cm=46.8" high). At least one author of each accepted poster is required to register for and attend the workshop.

--
Christian Nørgaard Storm Pedersen
Bioinformatics Research Center (BiRC), Aarhus University
http://www.birc.au.dk/~cstorm

Thursday, July 7, 2016

[DMANET] CfP: Special Issue in Journal of Heuristics on Metaheuristics for Combinatorial Optimization (extended deadline: July 31st, 2016)

===============================================================
Special Issue in Journal of Heuristics
on Metaheuristics for Combinatorial Optimization
(extended deadline: July 31st, 2016)

http://www.franciscochicano.es/joh-metacop
===============================================================

** DESCRIPTION

Combinatorial Optimization Problems consist in finding an optimal
solution (according to some objective function) from a finite search
space. These problems arise in Industry and Academia and, unfortunately,
most of them cannot be solved efficiently, that is, they are NP-hard and
no polynomial time algorithm is known to solve them. For this reason, in
the last decades researches have investigated the use of approximated
algorithms to find near optimal solutions to these problems. In
particular, a great research effort has been devoted to the development
of metaheuristic algorithms to solve combinatorial optimization
problems, like Evolutionary Algorithms, Ant Colony Optimization,
Particle Swarm Optimization, Iterated Local Search, Variable
neighbourhood Search, Hybrid Metaheuristics, etc.

Successfully solved problems include scheduling, timetabling, network
design, transportation and distribution problems, vehicle routing,
traveling salesman, graph problems, satisfiability, energy optimization
problems, packing problems and planning problems.

Prominent examples of metaheuristics include evolutionary algorithms,
simulated annealing, tabu search, scatter search, memetic algorithms,
ant colony optimization, particle swarm optimization, variable
neighbourhood search, iterated local search, greedy randomized adaptive
search procedures, estimation of distribution algorithms,
hyperheuristics and hybrid algorithms.

We encourage authors to submit original high-quality research on the
application of metaheuristic algorithms to combinatorial optimization
problems.

** SUBMISSION GUIDELINES

All submissions have to be prepared according to the "instructions for
authors" as published in the journal website at
http://www.springer.com/mathematics/applications/journal/10732 . Authors
should submit their manuscripts to the Journal of Heuristics Editorial
Manager at https://www.editorialmanager.com/heur . When submitting a
paper, please select the special issue article type "S.I. :
Metaheuristics for Combinatorial Optimization".

** TENTATIVE SCHEDULE

31 July 2016 submission deadline (extended)
15 November 2016 authors notification
15 February 2017 authors' revisions
5 June 2017 final notification
12 June 2017 final manuscript
Fall 2017 tentative publication

** GUEST EDITORS

Bin Hu
e-mail: Bin.Hu@ait.ac.at
Austrian Institute of Technology, Austria

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

[DMANET] PhD studentships in Mathematics at The Open University, UK

PHD STUDENTSHIPS IN MATHEMATICS & STATISTICS
AVAILABLE FROM 3 OCTOBER 2016

As part of the launch of our Graduate School, the Open University has
announced 30 PhD studentships for study commencing 3 October 2016.
Applications in Mathematics and Statistics are particularly
encouraged. Studentships cover full-time fees, include a stipend
(currently £14,296 per annum) plus £1000 annual travel allowance, and
are for three years.

Situated on the OU Campus in Milton Keynes, the Department of
Mathematics and Statistics provides a friendly and flexible working
environment for all of its staff and students, and holds a Bronze
Athena SWAN award. We particularly welcome applications from women:
the Department ensures that every female PhD student is allocated a
female member of staff as a point of contact, and organises networking
events for female academic staff and PhD students.

Several research projects are available, covering topics in pure
mathematics, applied mathematics and statistics, and include projects
related to discrete mathematics. Full details of projects are
available from:
http://www.mathematics.open.ac.uk/study/phd

Informal enquiries are welcome, and should be made to the Research
Director mct-maths-stats-res-dir@open.ac.uk in the first instance.

Completed application forms, together with a covering letter
indicating your suitability and reasons for applying, should be sent
to Science-PhD-Recruitment@open.ac.uk to arrive by 5pm on Friday, 29
July 2016. Application forms are available from:
http://www.openuniversity.co.uk/phd

This opportunity is available only to applicants from the UK, EU or
EEA who have been ordinarily resident in the UK, EU or EEA for the
last three years.

[DMANET] GAMES and EC'16, call for participation

Final Call for Participation for

* GAMES 2016, the 5th World Congress of the Game Theory Society

* EC'16, the 17th ACM Conference on Economics and Computation

These events will run in parallel, July 24-28 2016, at the same venue in Maastricht, the Netherlands.

Information on programs and excellent speakers is available at the websites

* www.games2016.nl<http://www.games2016.nl>

* http://www.sigecom.org/ec16/index.html

If you want to participate, please register as soon as possible, preferably before July 19.
In case of questions, please contact Frank Thuijsman, local organizing committee, at f.thuijsman@maastrichtuniversity.nl<mailto:f.thuijsman@maastrichtuniversity.nl>
- -- --- ----

[DMANET] DEADLINE EXTENSION: 14th ACM MobiWac 2016, MALTA

==================================================================
The 14th ACM International Symposium on Mobility Management
and Wireless Access (MobiWac 2016)
November 13 - 17, 2016 - Malta
http://mobiwac-symposium.org/
==================================================================

The MOBIWAC series of event is intended to provide an international forum
for the discussion and presentation of original ideas, recent results and
achievements by researchers, students, and systems developers on issues and
challenges related to mobility management and wireless access protocols. To
keep up with the technological developments, we also open up new areas such
as mobile cloud computing starting from this year.

Authors are encouraged to submit both theoretical and practical results of
significance on all aspects of wireless and mobile access technologies, with
an emphasis on mobility management and wireless access. Authors are invited
to submit full papers describing original research. Submitted papers must
neither have been published elsewhere nor currently be under review by
another conference or journal.

TOPICS OF INTEREST include, but are not limited to:

- Mobile Cloud Computing
- Wireless/Mobile Access Protocols
- Wireless/Mobile Web Access
- Wireless Internet and All-IP integration
- Next Generation Wireless systems
- Mobile Broadband Wireless Access
- Pervasive Communication and Computing
- Ubiquitous and mobile access
- Wireless Applications and testbeds
- Multi-Homing and Vertical Handoff
- Multi-Channel Multi-Radio MAC / network layer management
- Channels and resource allocation algorithms
- Energy and power management algorithms
- Mobility Models
- Multi-technology switching using Software Defined Radios
- Context-aware services and applications
- Context-aware protocols and protocol architectures
- Interactive applications
- Mobile database management
- Wireless Multimedia Protocols
- Mobile and Wireless Entertainment
- Mobile Info-services
- Social mobile networks
- Social mobile applications
- Data analysis for mobile and wireless networks
- SDN solutions in mobile and wireless networks
- QoS management
- Mobility Control and Management
- Localization and tracking
- Mobile/Vehicular environment access
- Wireless ad hoc and sensor networks
- Security,Trust management and Privacy issues
- Fault Tolerance solutions
- Wireless Systems' Design
- Analysis/Simulation of wireless mobile systems
- Testbeds for experimental and simulation analysis

=========================
Paper Submission, Publication, and Important Dates:

All accepted papers will appear in the Symposium Proceedings published by
ACM press.

- Submission Deadline: July 15, 2016 11:59PM EST (FIRM)

- Notification of Acceptance: August 15, 2016 11:59PM EST

Papers are submitted via the EDAS system (https://edas.info/N22672).
For any question or problems related to MobiWac 2015 submissions, please
contact the PC Chairs.

ORGANIZING COMMITTEE:

General Chair
Ángel Cuevas, Universidad Carlos III de Madrid, Spain

Program Co-Chairs
Periklis Chatzimisios, Alexander TEI of Thessaloniki, Greece
Robson De Grande, University of Ottawa, Canada

Technical Program Committee
Antonio A.F. Loureiro, Federal University of Minas Gerais, Brazil
Michele Albano, CISTER, Portugal
Chadi Assi, Concordia University, Canada
Jalel Ben-othman, University of Paris 13, France
Fernando Boavida, University of Coimbra, Portugal
Juan Carlos Cano, Technical University of Valencia, Spain
Yuh-Shyan Chen, National Taipei University, Taiwan
Stefano Chessa, University of Pisa, Italy
Danny De Vleeschauwer, Alcatel-Lucent, Belgium
Andrés García Saavedra, Hamilton Institute, Ireland
Roch Glitho, Concordia University, Canada
Roberto González, NEC Laboratories Europe, Germany
Khaled Harras, Carnegie Mellon University, USA
Charalampos Konstantopoulos, University of Piraeus, Greece
Pierre Leone, University of Geneva, Switzerland
Sotiris Nikoletseas, University of Patras & Computer Technology
Institute, Greece
Ai-Chun Pang, National Taiwan University, Taiwan
Grammati Pantziou, Technological Educational Institution of Athens, Greece
Cristina M. Pinotti, University of Perugia, Italy
Paulo Pinto, Universidade Nova de Lisboa, Portugal
Victor Ramos, Universidad Autonoma Metropolitana, Mexico
Victor Rangel, National University of Mexico, Mexico
Thierry Turletti, INRIA, France
Alicia Triviño, Universidad de Málaga, Spain
Manuel Urueña, Universidad Carlos III de Madrid, Spain
Emmanouel Varvarigos, University of Patras & Computer Technology
Institute, Greece
Zainab Zaidi, National ICT Australia, Ltd, Australia

Posters/Demo Chair
Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico

Publicity Chairs
Khalil El-Khatib, UOIT, Canada
Mirela. A. M. Notare, Sao Jose Municipal University, Brazil

FOR MORE INFORMATION about the conference, organizing committee, submission
instructions, and venue please see the conference website
(http://mobiwac-symposium.org).
==============================================

[DMANET] PostDoc / PhD Positions in Algorithms at Hasso Plattner Institute Potsdam

Applications are invited for a

Postdoctoral Researcher in Algorithms

and a

PhD student in Algorithms

at the recently founded research group Algorithm Engineering at the Hasso Plattner Institute (HPI) in Potsdam, Germany. The HPI is a unique research and teaching institute in Germany, which was founded in 1999 as an institute of the University of Potsdam. HPI carries out internationally acclaimed research and offers innovative academic majors in the field of IT Systems Engineering. The institute offers a vibrant scientific environment at the beautiful Campus Griebnitzsee, which is located at the border to Berlin.

All positions are full-time and can be started as soon as possible for the applicant. The postdoc salary is competitive and depends on the applicant's qualification. The contract for the postdoc will be limited to two years with the possibility of extension. Ph.D. students receive a competitive stipend and generous travel support.

Applicants should have a theoretical/mathematical background and an interest in at least one of the following topics:
— random structures and algorithms;
— theory of evolutionary algorithms and swarm intelligence;
— distributed and parallel computing;
— mathematical optimization;
— analysis of scale-free network models.

Postdoctoral researchers from other fields of theoretical computer science and discrete mathematics may apply as well, but should provide a one-page motivation letter detailing how they fit in the research profile of the group.

All applicants should have an excellent first academic degree in computer science, mathematics, or a related discipline. Applications should include a detailed CV, a copy of master (or PhD) thesis, a brief statement of research interests, and a list of publications (if applicable). Please also mention names and contact details of one or two references -- preferably one from the thesis advisor. Applicants interested in doing a PhD should also include a transcript with a list of courses and grades.

For further information, also on other offers, please refer to https://hpi.de/friedrich/offers. Applications must be sent via email, preferably as a single PDF, to jobs-friedrich@hpi.de. Application closing date is 15 August 2016; in exceptional cases a decision can be made earlier.

--
Prof. Dr. Tobias Friedrich
Algorithm Engineering Group
Hasso Plattner Institute
Prof.-Dr.-Helmert-Str. 2-3
14482 Potsdam / Germany

Tel.: +49 331 5509 410
E-Mail: friedrich@hpi.de
Office: office-friedrich@hpi.de
URL: https://hpi.de/friedrich
**********************************************************
*
* 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, July 6, 2016

[DMANET] Assistant Professorship (Tenure Track) in Algorithms at the University of Salzburg

Assistant Professorship (Assistenzprofessur, Tenure Track) at the Department
of Computer Sciences, University of Salzburg, Austria in the field of
Algorithms.

The Rectorate of the University of Salzburg invites applications for a
full-time tenure track assistant professorship at the Department of
Computer Sciences in the field of Algorithms.
Begin: March 1st, 2017.

The successful candidate is expected to conduct independent research
at high quality level in one or more of the following areas: parallel
and distributed algorithms, algorithm engineering, algorithmic game
theory, approximation algorithms, online algorithms, streaming
algorithms; Furthermore, it is expected that the candidate will be
active in the acquisition of third-party funding as well as in
students supervision.

Within the first two years of employment, the University of Salzburg
will offer a "qualification agreement". It is expected that the
candidate completes his/her habilitation within the first four years
after the qualification agreement is signed.
In case the goals of this agreement are met, the employment (first
limited to a period of at most 6 years) will be made permanent and the
title of the employee will be changed to "Associate Professor"
(assoziierte/r ProfessorIn).

The appointee is expected to possess a PhD in Computer Science or
Discrete Mathematics
and to have an excellent publication record in at least one area of
algorithms.

Desired qualifications:
- Postdoc experience
- experience in teaching
- experience in acquisition of third party funding
- strengths, creativity, team-working ability

Applications are to be sent to the Rector of the University of
Salzburg, Univ.-Prof. Dr. Heinrich Schmidinger, Personalabteilung,
Kapitelgasse 4, 5020 Salzburg.

The application should include an academic CV containing all
publications, as well as names and email addresses of at least three
references. The reference number A0050/1-2016 has to be mentioned in
the cover letter.

Closing date is July 27, 2016. The official announcement (in German)
can be found in the "Mitteilungsblätter der Universität Salzburg", see
https://online.uni-salzburg.at/plus_online/wbMitteilungsblaetter.display?pNr=1642419
Informal inquiries may be addressed to Prof. Dr. Robert Elsässer
(robert.elsaesser@sbg.ac.at).

[DMANET] Session on CI for Aerospace, IEEE SSCI 2016 - Deadline Approaching

Dear Colleague,

this is a gentle reminder that the deadline for the submission of the paper to the Special Session on Computational Intelligence in Aerospace Sciences & Engineering within the framework of the IEEE Symposium Series on Computational Intelligence (6-9 December, 2016, Athens, Greece) is fast approaching.

http://ssci2016.cs.surrey.ac.uk
http://ssci2016.cs.surrey.ac.uk/CIVTS.htm

*Important Dates
Paper Submission: 18 July 2016
Decision Notification: 12 September 2016
Final submission: 10 October 2016

*Submission Guidelines
Manuscripts should be prepared according to the standard format for IEEE papers specified on the conference website and submitted online through the Easychair system (https://easychair.org/conferences/?conf=ssci16). Papers submitted for these session will be peer-reviewed with the same criteria used for other contributed papers. All accepted papers in the special sessions will be included in the published conference proceedings.
Conference guidelines for paper submission: http://ssci2016.cs.surrey.ac.uk/Paper%20Submission.htm

Best regards,
Special Session Organisers

Dr Christie Maddock,
Dr Annalisa Riccardi,
Dr Edmondo Minisci,
Prof Massimiliano Vasile
Aerospace Centre of Excellence
University of Strathclyde, UK

[DMANET] NetworKit 4.1 released

We have just released the next version of NetworKit, the open-source toolkit for large-scale network analysis. NetworKit is a Python package, with performance-critical algorithms implemented in C++/OpenMP. The package provides a growing selection of scalable graph algorithms for network analysis, including novel results from algorithm engineering research. For more information, as well as more detailed release notes, please refer to the website:

https://networkit.iti.kit.edu/news.html#news-1

Best regards
Christian Staudt

Tuesday, July 5, 2016

[DMANET] Call for participation - CIMPA School on Mathematical Models for Security Applications

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

SECOND CALL FOR PARTICIPATION

CIMPA School on Mathematical Models for Security Applications
Havana, Cuba, Aug. 29 - Sep. 9

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

School websites:

http://www.cig.udl.cat/CIMPAHavana

http://cimpa.matcom.uh.cu/

http://www.cimpa-icpam.org/ecoles-de-recherche/ecoles-de-recherche-2016/liste-chronologique-des-ecoles-de/article/mathematical-models-for-security?lang=fr

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

This ICPAM School will introduce participants to selected topics of
Mathematics with direct applications in privacy and security issues. For
more detailed descriptions of the particular topics covered in the school,
see course outlines. The presentations will include the necessary
background in order to understand the main concepts, as well as many
motivating examples of the application of these topics to particular
security and privacy issues, together with open problems in the
corresponding areas. The aim is to motivate a group of bright students to
continue working in those areas at the doctoral or postdoctoral level. The
school will conclude with presentations by researchers and students.

The school is dedicated to the memory of Professor Mirka Miller who
suggested that it was held in Havana and who made important contributions
in many of the topics to be discussed.

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

COURSES

C1 Security of Statistical Databases,
by Joe Ryan & Julián Salas

C2 Algebraic Geometry Codes, Gröbner bases and linear codes,
by Mijaíl Borges Quintana & Edgar Martínez Moro

C3 Secret Sharing,
by Edy Tri Baskoro

C4 Topological Vulnerabilities of Networks,
by Hebert Pérez-Rosés

C5 Cryptographic protocols using elliptic curves,
by Mireille Fouquet, Josep M. Miret & Francisco Rodríguez

C6 Convolutional Codes, their Mathematical Properties and Applications to
Multimedia Streaming,
by Joan-Josep Climent & Joachim Rosenthal

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

REGISTRATION

Registration is open at the website http://cimpa.matcom.uh.cu/

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

[DMANET] POSTDOCTORAL POSITION IN ALGORITHMS RESEARCH AND/OR LOWER BOUNDS

POSTDOCTORAL POSITION IN ALGORITHMS RESEARCH AND/OR LOWER BOUNDS

Application deadline 1 August, 2016. Start date negotiable but
ideally by Autumn/Fall 2016.

Salary: 35,609 to £40,082 UK pounds

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

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

Our current work focuses on algorithms and lower bounds for streaming
and dynamically changing
data however we also have a broader interest in other aspects of
algorithms/theory research.

The ideal candidate will have a Ph.D. in theoretical computer science
("Track A") or closely related mathematical area together with a
strong track record of international publications in algorithms or
theoretical computer science ("Track A") venues. This may include for
example, ICALP/SODA/STOC/FOCS.

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

Informal enquires should be made to Raphael Clifford at
clifford@cs.bris.ac.uk .

[DMANET] FSTTCS 2016 --- Call for Papers [papers due by July 15]

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

IARCS, the Indian Association for Research in Computing Science,
announces the 36th Foundations of Software Technology and Theoretical
Computer Science (FSTTCS) conference at Chennai Mathematical Institute,
Chennai, India.

December 13--15, 2016, Chennai, India
http://www.fsttcs.org/

The FSTTCS conference is a forum for presenting original results in
foundational aspects of Computer Science and Software Technology.

Scope
-----

Representative areas include, but are not limited to, the following.

* Algorithms & data structures * Automata & formal languages
* Algorithmic graph theory * Models of concurrent, distributed
& combinatorics & mobile systems
* Approximation algorithms * Cryptography & security
* Combinatorial optimization * Game theory & mechanism design
* Communication complexity * Logic in computer science
* Computational complexity * Model theory & temporal logics
* Computational geometry * Computational biology
* Computational learning theory * Models of timed, reactive,
hybrid & stochastics systems
* Parallel, distributed * Principles & semantics of
& online algorithms programming languages
* Parameterized complexity * Program analysis & transformation
* Proof complexity * Specification, verification
& synthesis
* Quantum computing * Theorem proving & model checking
* Randomness in computing * Type systems, type theory & calculi

Submissions
-----------

Submissions will be in electronic form via EasyChair. Submissions must
not exceed 12 pages (including the title page, but excluding
bibliography). The authors may include a clearly marked appendix
containing extra material, which will be read at the discretion of the
program committee. The submission must be formatted in the LIPIcs style
(see the conference website for more details). Simultaneous submissions
to journals or other conferences with published
proceedings are disallowed.

Submissions must be uploaded via
http://www.easychair.org/conferences/?conf=fsttcs2016

Accepted papers will be published as proceedings of the conference in
the Leibniz International Proceedings in Informatics (LIPIcs).

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

Paper submission: July 15, 2016
Notification to authors: September 15, 2016
Camera-ready version due: October 15, 2016
Conference: December 13-15, 2016

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

Tevfik Bultan (UCSB)
Holger Hermanns (Saarland Univ.)
Mooly Sagiv (Tel Aviv Univ.)
Mikkel Thorup (Univ. Copenhagen)
(more to be added)

Program Committee Chairs
------------------------

Akash Lal (MSR India)
S. Akshay (IIT Bombay)
Saket Saurabh (IMSc)
Sandeep Sen (IIT Delhi)

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

Olaf Beyersdorff (University of Leeds)
Umang Bhaskar (TIFR)
Parinya Chalermsook (MPI)
Arkadev Chattopadhyay (TIFR)
Ajit Diwan (IIT Bombay)
Samir Datta (CMI)
Fabrizio Grandoni (IDSIA)
Daniel Lokshtanov (University of Bergen)
M. S. Ramanujan (TU Wien)
Chandan Saha (IISc Bangalore)
Saket Saurabh (IMSc)
Sandeep Sen (IIT Delhi)
Mohit Singh (MSR, Redmond)
Chaitanya Swamy (University of Waterloo)
Kasturi R. Varadarajan (The University of Iowa)
Neal Young (University of California, Riverside)

S. Akshay (IIT Bombay)
Patricia Bouyer (LSV Cachan)
Krishnendu Chatterjee (IST Austria)
Pedro D'Argenio (Univ. Nac. Cordoba)
Alastair Donaldson (Imperial College, London)
Pranav Garg (Amazon India)
Aditya Kanade (IISc Bangalore)
Steve Kremer (LORIA, Nancy)
Shuvendu Lahiri (MSR)
Akash Lal (MSR India)
Slawomir Lasota (University of Warsaw)
Madhavan Mukund (CMI)
Sophie Pinchinat (University of Rennes 1)
M Praveen (CMI)
Ashish Tiwari (SRI)
James Worrell (University of Oxford)

Organizing Committee
------------------

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

Monday, July 4, 2016

[DMANET] Data Lab MSc scholarships at Strathclyde Business School (deadline: 25 July 2016)

Data Lab Scholarships for Msc Operational Research and MSc Business Analysis and Consulting

With a generous funding from the Data Lab (http://www.thedatalab.com/), Department of Management Science are delighted to offer up to 4 scholarships towards tuition fees for the MSc Operational Research and MSc Business Analysis and Consulting 2016 entry (full-time only). Applications are open to *Scottish and EU students only*, and each of these scholarships will be worth £9500, covering the full tuition fee. The application deadline is 25 July 2016 Monday. Further details below.

ELIGIBILITY
The applicants are expected to have (or near completion of) a Upper Second Class Honours (undergraduate) degree, or equivalent (a minimum 3.2 GPA in a 4.0 GPA system, or a minimum 85% average, or a minimum average of B+ in a letter system). Final year undergraduate students are eligible to apply.

Candidates interested in applying for these prestigious scholarships are required to provide a brief statement (up to 300 words) in their online applications which should clearly articulate their interest in the growing area of data science and analytics and their reasons for applying for the scholarship.

Applicants must have an offer of a place on the programme.

CONDITIONS AND SELECTION PROCESS
If you are rewarded this scholarship, you will be required to undertake the elective module 'MS979 Analytics for Big Data' for MSc Operational Research students or 'MS980 Business Analytics' for MSc Business Analysis and Consulting students. Funded students will be expected to complete the MSc course, and also to participate in events organised by Data Lab, including the Data Talent Scotland event to be held in Edinburgh on 22nd March 2017 (all travel costs will be reimbursed for these events by the Data Lab).

The selected students will be announced early August. The selection process will be based on your background (in particular the level of your degree) as well as the short statement you provide. Msc Operational Research students will be given preference in the selection process in case of equal standing, however, we strongly encourage MSc Business Analysis and Consulting with a strong standing to apply as well.

MORE INFORMATION AND HOW TO APPLY
For more information about the courses, please refer to:

MSc OR: http://www.strath.ac.uk/courses/postgraduatetaught/operationalresearch/
MSc BAC: http://www.strath.ac.uk/courses/postgraduatetaught/businessanalysisconsulting/

For scholarship applications, please visit the following page and click "How to Apply": http://www.strath.ac.uk/studywithus/scholarships/strathclydebusinessschoolscholarships/managementsciencescholarships/datalabscholarshipsformscoperationalresearchandmscbusinessanalysisandconsulting/

For admissions into the programmes, please visit: http://www.strath.ac.uk/studywithus/

For further information or any questions, please contact: sbs.admissions@strath.ac.uk

[DMANET] Workshop on Random Processes in Discrete Structures: SAVE THE DATE!

Dear all,

I'm happy to announce the "*Workshop on Random Processes in Discrete
Structures*", which I am organizing together with Alexandre Stauffer
(Bath).
The workshop is about recent advances on random processes on graphs and
other discrete structures, including percolation, voter model, contact
processes and random graphs, and will take place at the *University
of Warwick *from *Tuesday 30th of August *until *Friday 2nd of September
2016*.
More information (including the list of speakers) can be found on the
website
http://www2.warwick.ac.uk/fac/sci/statistics/crism/workshops/randomprocesses
.

Registration is FREE but COMPULSORY (mainly for catering purposes).
If you would like to register to this event, please send an email to
E.Candellero@warwick.ac.uk including the subject "Workshop on Random
Processes in Discrete Structures" by **Tuesday 9th of August**.

I'm looking forward to seeing many of you there!

Best regards,

Elisabetta Candellero

Sunday, July 3, 2016

[DMANET] Exact Exponential Algorithms book

A free copy of Exact Exponential Algorithms book by Fedor Fomin and Dieter
Kratsch is available for download
http://www.ii.uib.no/~fomin/BookEA/index.html

[DMANET] CFP: MATCOS 2016 -- sudent session

(Sorry for a multiple posting. Note, that full version of selected
student papers will be published in special post-conference proceedings
by University of Primorska Press).

Thanx and LPA

---------------
Call for Papers
Student session in the frame of

Middle-European Conference on Applied Theoretical Computer Science
(MATCOS-16)

Koper, Slovenia, October 12th and 13th, 2016.
http://matcos.iam.upr.si

Scope and Topics The Middle-European Conference on Applied
Theoretical Computer Science (MATCOS-16) is held in Koper at the
Slovenian Adriatic Coast, 12th and 13th of October, 2016. MATCOS-16
will be held in the frame of the 19th Multi-Conference on Information
Society (http://is.ijs.si/).

Scope and Topics
----------------

During the MATCOS-16 conference, a student session is organized for
which we invite papers from distinguished MSc students and early stage
PhD students pursuing research under the guidance of a supervisor.
Preliminary research results and papers reporting ongoing research are
also being sought.

Suggested, but not exclusive, topics of interest include:

- Algorithms and data structures,
- Computational complexity,
- Artificial intelligence, machine learning,
- Optimization, approximation methods, NP-hard problems,
- Graph theory,
- Automata and formal languages, computability,
- Computational geometry.

Special emphasis on use in applications such as simulation,
bioinformatics, digital signal and image processing, data compression,
logistics etc.

The student session of MATCOS-16 is collocated with the 3rd Student
Computer Science Research Conference:
http://labraj.feri.um.si/stucosrec/2016

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

Jacek Blazevicz (Poznan, Poland)
Andrej Brodnik (Koper, Ljubljana, Slovenia), chair
Angel Corberan (Valencia, Spain)
Ruben Dorado Vicente (Jaén, Spain)
Elena Fernandez (Barcelona, Spain)
Gábor Galambos (Szeged, Hungary)
Gabriel Istrate (Timisoara, Romania)
Miklós Krész (Szeged, Hungary)
Silvano Martello (Bologna, Italy)
Benedek Nagy (Famagusta, Cyprus, Turkey)
Gerhard Reinelt (Heidelberg, Germany)
Giovanni Rinaldi (Rome, Italy)
Borut Žalik (Maribor, Slovenia)

Keynote speaker
---------------

Sándor Fekete (TU Braunschweig, Germany)

Paper submission
----------------

Papers presenting student research in conference topics are being
sought. Papers must be in English and the supervisor should be also
represented. Submissions are limited to 4 pages. Revised versions of
selected full papers will appear in post-conference proceedings
published by the University of Primorska Press. Instructions for
preparing the papers can be downloaded from Conference Website.

Only electronic submissions will be accepted (in pdf format), via
EasyChair:

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

Important dates
---------------
Paper submission: August 31st, 2016.
Notification: September 15th, 2013.

Website and Contacts
--------------------

More detailed on-line information is displayed at
http://matcos.iam.upr.si Personal inquires should be sent to
matcos16@iam.upr.si

Organized by University of Primorska, Institute Andrej Marušič, and
Faculty of Mathematics, Natural Sciences and Information Technologies.

--
Andrej (Andy) Brodnik

University of Ljubljana
Faculty of Computer and Information Science

[DMANET] CFP: MATCOS 2016

(Sorry for a multiple posting. Note, however, that full version of
selected papers will be published in a special issue of informatica).

Thanx and LPA

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

Middle-European Conference on Applied Theoretical Computer Science
(MATCOS-16)

Koper, Slovenia, October 12th and 13th, 2016.
http://matcos.iam.upr.si

Held in conjunction with the 19th Multi-Conference on Information
Society, October 10-14, 2016, Ljubljana, Slovenia. (http://is.ijs.si)

Scope and Topics
----------------
During the past years, other fields have used several subjects,
methods and approaches of Theoretical Computer Science, and several
results have been integrated into practical applications. Solutions
for NP-hard problems, algorithmic-oriented AI and data mining
procedures, new models and methods in system biology and
bioinformatics, automata theory approaches in software and hardware
verification, prospective new models of computation and future
computer architecture are good examples to buttress the above
statement.

We set double aims as the scope of this conference: on one hand side
we expect ideas and solutions from the field of Theoretical Computer
Science which have been directly applied in real world
applications. On the other side we want to collect theoretical results
based on some fruitful idea that may be useful to adopt for practical
problems.

Suggested, but not exclusive, topics of interest include:
- Automata and formal languages, computability,
- Algorithms and data structures,
- Computational complexity,
- Artificial intelligence, machine learning,
- Optimization, approximation methods, NP-hard problems,
- Graph theory,
- Computational geometry.

There is a special emphasis on use in applications such as simulation,
bioinformatics, digital signal and image processing, data compression,
logistics etc.

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

Jacek Blazevicz (Poznan, Poland)
Andrej Brodnik (Koper, Ljubljana, Slovenia) co-chair
Angel Corberan (Valencia, Spain)
Ruben Dorado Vicente (Jaén, Spain)
Elena Fernandez (Barcelona, Spain)
Gábor Galambos (Szeged, Hungary) co-chair
Gabriel Istrate (Timisoara, Romania)
Miklós Krész (Szeged, Hungary)
Silvano Martello (Bologna, Italy)
Benedek Nagy (Famagusta, Cyprus, Turkey)
Gerhard Reinelt (Heidelberg, Germany)
Giovanni Rinaldi (Rome, Italy)
Borut Žalik (Maribor, Slovenia)

Keynote speaker
---------------

Sándor Fekete, TU Braunschweig, Germany

Paper submission
----------------

Papers presenting original research in conference topics are being
sought. Papers must be in English and provide sufficient details to
allow the program committee to assess their merits. Submissions, as
well as final versions, are limited to 4 pages sharp and will be
published in an Information Society multicon-ference proceeding.
Revised versions of full papers will appear in special issue of
journal Informatica (http://www.informatica.si/). Instructions for
preparing the papers can be downloaded from Conference Website.

Only electronic submissions will be accepted (in pdf format), via
EasyChair:

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

Important dates
---------------
Paper submission: August 15th, 2016.
Notification: September 15th, 2016.

Website and Contacts
--------------------

More detailed on-line information is at http://matcos.iam.upr.si.
Personal inquires should be sent to matcos16@iam.upr.si.

Organized by University of Primorska, Institute Andrej Marušič, and
Faculty of Mathematics, Natural Sciences and Information Technologies.

--
Andrej (Andy) Brodnik

University of Ljubljana
Faculty of Computer and Information Science

Saturday, July 2, 2016

[DMANET] Helsinki ICT network: fully funded doctoral student positions

The Helsinki Doctoral Education Network in Information and
Communications Technology (HICT) is a joint initiative by Aalto
University and the University of Helsinki, the two leading universities
within this area in Finland. The network involves at present 62
professors and over 200 doctoral students, and the participating units
graduate altogether more than 40 new doctors each year.

The activities of HICT are structured along five research area specific
tracks:
- Algorithms and machine learning
- Life science informatics
- Networks, networked systems and services
- Software and service engineering and systems
- User centered and creative technologies

The participating units of HICT provide fully funded positions for
exceptional doctoral students. The supervising professors of HICT, whose
research groups you can apply to join via this call, are listed at
"http://www.hict.fi/supervisors".

For more information on the call, go to "http://www.hict.fi/admission".

The online application form closes August 4, 2016 noon Finnish time. For
more information and application instructions, see "http://www.hict.fi".
**********************************************************
*
* 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, July 1, 2016

[DMANET] Metaheuristics for optimization problems

Dear Colleague,

On behalf of the Organizing Committee, we invite you to participate in
the special session (workshop) on "APPLICATIONS OF METAHEURISTICS TO
LARGE-SCALE PROBLEMS" at the 10th International Conference on Large
Scale Scientific Computation - LSSC'17, June 5 - 9, 2017, Sozopol,
Bulgaria, with arrival: June 4 and departure: noon June 9.

The session is organized by:
Assoc. Prof. Stefka Fidanova (stefka@parallel.bas.bg)
from the Institute of Information and Communication Technologies
(former Institute for Parallel Processing), Bulgarian Academy of
Sciences and
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.

Topics

The list of topics includes, but is not limited to:

combinatorial optimization
global optimization
multiobjective optimization
optimization in dynamic and/or noisy environments
large scale optimization
parallel and distributed approaches in optimization
random search algorithms,
simulated annealing,
tabu search
other derivative free optimization methods
nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
optimization methods for learning processes and data mining
computational optimization methods in statistics, econometrics,
finance, physics, medicine, biology, engineering etc

Proceedings
We plan to continue publishing the proceedings of only refereed and
presented papers as a special volume of Springer Lecture Notes in
Computer Science (LNCS).

Important deadlines
Deadline for submission of abstracts
January 15, 2017
Notification of acceptance of the talks on the basis of the
submitted abstract
January 31, 2017
Deadline for submission of full papers
March 01, 2017
Notification of acceptance of full papers
April 15, 2017

Abstracts and contributed papers
The abstracts (up to 1 page stating clearly the originality of the
results) are to be written in standard LaTeX. The length of the
contributed papers is limited up to 8 pages. It is assumed that one
participant will present not more than one talk.

Send the abstracts and papers to special session organizers and
conference organizers, indicating the name of the special session.
After sending the abstract go to the conference web page and fill in
the registration form (personal data of the participants, minimum one
per paper, and the name of the special session).

Information about abstract and paper preparation, accommodation,
transportation, registration form and conference location you can find
at the conference web page
http://parallel.bas.bg/Conferences/SciCom17/

Special session organizers
Prof. Stefka Fidanova
Prof. Gabriel Luque
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Tuesday, July 12, 2016

Monday, July 11, 2016

Friday, July 8, 2016

Thursday, July 7, 2016

Wednesday, July 6, 2016

Tuesday, July 5, 2016

Monday, July 4, 2016

Sunday, July 3, 2016

Saturday, July 2, 2016

Friday, July 1, 2016

Mailing Lists

Subscribe To

Search This Blog

Blog Archive