DMANET: DISCRETE MATHEMATICS AND ALGORITHMS

Wednesday, May 21, 2014

dmanet Digest, Vol 75, Issue 19

Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de

To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de

You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."

Today's Topics:

1. Lecturer or Senior Lecturer in Computer Science (Theory and
Algorithms), University of Bristol (Raphael C)
2. Two more Lectureships in Computer Science, University of
Bristol (Raphael C)
3. Extended Deadline: NaBIC 2015-- 6th World Congress on Nature
and Biologically Inspired Computing (Ajith Abraham)
4. Assistant Professor in Multicore Computing at Chalmers
University of Technology (Philippas Tsigas)
5. Call for Participation: 11th International Summer School on
Software Engineering (ISSSE14) (Sarro, Federica)

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

Message: 1
Date: Tue, 20 May 2014 18:53:24 +0100
From: Raphael C <drraph@gmail.com>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Lecturer or Senior Lecturer in Computer Science
(Theory and Algorithms), University of Bristol
Message-ID:
<CAFHc1QYm9Pj2TPPv8V-fK3285Bv7+gimT+eU=ptmE_N8ebaGXw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

Lecturer or Senior Lecturer in Computer Science (Theory and
Algorithms), University of Bristol

Closing date for applications: 22-Jun-2014

The Department of Computer Science at the University of Bristol is
seeking to appoint a Lecturer or Senior Lecturer to join its Theory
and Algorithms group. The appointment is a fixed term post for 3 years
in the first instance and is part of a wider strategic plan to expand
the Department over the next 5 years. The group studies various
aspects of the theory and practice of algorithms, covering algorithms
and lower bounds in classical models of computation, as well as
quantum computing.

The full advert and application process can be found at
http://www.bristol.ac.uk/jobs/find/details.html?nPostingId=1996&nPostingTargetId=6909&id=Q50FK026203F3VBQBV7V77V83&lg=UK
and the Theory and Algorithms web page is at
http://www.cs.bris.ac.uk/Research/Algorithms/ .

For informal discussion about the post, candidates are welcome to
contact Dr Rapha?l Clifford (Head of Theory and Algorithms),
Raphael.Clifford@bristol.ac.uk , or Dr Andrew Calway (Head of
Department), Andrew.Calway@bristol.ac.uk.

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

Message: 2
Date: Tue, 20 May 2014 19:45:09 +0100
From: Raphael C <drraph@gmail.com>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Two more Lectureships in Computer Science,
University of Bristol
Message-ID:
<CAFHc1QZ8abfGurDFBM83j0U6FaZCQAmOcNcMtFp+WzLW8PePwQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

Two more Lectureships in Computer Science, University of Bristol

Closing date for applications: 22-Jun-2014

The Department of Computer Science at the University of Bristol is
seeking to appoint two lecturers or senior lecturers in computer
science. These positions are in addition to the recently advertised
Theory and Algorithms lectureship and are open to all those in
relevant research fields.

One of these lectureships is an open ended (i.e. permanent) post and
the other is a fixed term post for 3 years in the first instance. Both
posts are full time.

You will have demonstrated that you are on track to become an
outstanding researcher, carrying out innovative research to complement
that currently being pursued in the Department. You will have already
achieved international recognition and have a significant number of
high quality publications in top venues. You will have proven ability
or potential to attract research funding from government and/or
industrial sources. Our strategy is to grow our research portfolio and
you will be expected to take a major role in achieving that goal.

In addition, you will be expected to take an active role in providing
high quality and innovative teaching in areas of Computer Science
according to your experience. We are looking to enhance our teaching
in core computer science; both theoretical aspects (such as formal
methods, complexity, information theory, theory of programming
languages, automated theorem proving/protocol analysis), as well as
engineering aspects (such as programming languages, operating systems,
distributed computing and software engineering). Interest in
developing innovative ways of integrating teaching and research, and
linking our teaching with the general computing industry, is
particularly welcomed. The Department operates a reduced teaching load
policy for new staff to enable their research activities to be
established.

Bristol is consistently ranked as one of the top places in the UK for
Research and Teaching in Computer Science. We carry out
internationally renowned research in Bioinformatics, Cryptography,
Computational Neuroscience, Intelligent Systems, Interaction and
Graphics, Microelectronics, Quantum Computing, Theory and Algorithms,
Robotics and Visual Information. We run undergraduate programmes with
a high quality student intake (typical entry grades are A*AA at UK
A-level) and several advanced MSc programmes. Our focus is on
providing a high quality and innovative learning and research
environment, which promotes independent learning and problem solving,
and in which our research informs the content of our curriculum.

The full advert and application system is at
http://www.bristol.ac.uk/jobs/find/details.html?nPostingId=1995&nPostingTargetId=6905&id=Q50FK026203F3VBQBV7V77V83&lg=UK
.

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

Message: 3
Date: Wed, 21 May 2014 09:38:34 +0530
From: Ajith Abraham <ajith.abraham@ieee.org>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Extended Deadline: NaBIC 2015-- 6th World Congress
on Nature and Biologically Inspired Computing
Message-ID:
<CAGkggF4t_Qr9SwnRmEou9tc8mf0ujW8ikjUczydK57J48Ba3LA@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

----NaBIC' 2014 Extended Deadline: May 31, 2014
-------------------------------------

[Please distribute widely and accept our apologies for cross-posting]

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

NaBIC 2014 - FINAL CALL FOR PAPERS

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

NaBIC -- 6th World Congress on Nature and Biologically Inspired Computing

30th July to 1st August, 2014, Porto, Portugal

http://www.mirlabs.net/nabic14

Past events: http://www.informatik.uni-trier.de/~Ley/db/conf/nabic/index.html

The 6th World Congress on Nature and Biologically Inspired Computing
(NaBIC) brings together international researchers, developers,
practitioners, and users. The aim of NaBIC is to serve as a forum to
present current and future work as well as to exchange research ideas
in this field.

NaBIC 2014 invites authors to submit their original and unpublished
work that demonstrates current research in all areas of Nature and
Biologically Inspired Computing namely on (but not limited),
Industrial Applications and on Innovative Approaches of Nature and
Biologically Computing.

All registered and presented papers will be included in the conference
proceedings and indexing in IEEE Xplore Digital Library.

Paper Submission:

? Paper should not exceed 6 pages IEEE 8.5 two-column template.

? Please submit your paper at Nabic2014 web site:
http://www.mirlabs.net/nabic14/submission.php

Important Dates:

? Paper submission: May 31, 2014

? Notification of paper acceptance: June 30, 2014

? Final manuscript and registration due: July 01, 2014

? Conference: 30th July to 1st August

Journal Special Issue

Selected papers presented at the NaBIC 2014 conference will be
considered for publication in special issues of several international
Journals:

? Journal of Intelligent Systems, John Wiley, USA

? International Journal of Computer Information Systems and
Industrial Management (IJCISIM), Dynamic Publishers, USA

? Journal of Intelligent and Fuzzy Systems (JIFS), IOS
Press, Netherlands

? International Journal of Hybrid Intelligent Systems
(IJHIS), IOS Press, Netherlands

? International Journal of Combinatorial Optimization
Problems and Informatics, Mexico

** Contact **

Ana Maria Madureira (amd@isep.ipp.pt )

Ajith Abraham (ajith.abraham@ieee.org )

For more information, please visit: http://www.mirlabs.net/nabic14

____________________________________

Ana Maria Madureira

Professora Coordenadora

Departamento de Engenharia Inform?tica
Instituto Superior de Engenharia do Porto
Rua Dr. Bernardino de Almeida, 431
4200-072 Porto

email: amd@isep.ipp.pt

Telefone: +351 22 834 05 00 ext:1472
Fax: +351 22 834 05 24

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

Message: 4
Date: Wed, 21 May 2014 07:46:13 +0000
From: Philippas Tsigas <philippas.tsigas@chalmers.se>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Assistant Professor in Multicore Computing at
Chalmers University of Technology
Message-ID:
<E7805880B242C8469F872868F8A62C59A13B8AB4@wrex.ita.chalmers.se>
Content-Type: text/plain; charset="utf-8"

The Department of Computer Science and Engineering (CSE) at Chalmers University of Technology invites applicants to a position as Assistant Professor in?
-? Multicore Computing?

Chalmers is one of the most renowned technical universities in the Nordic countries. The CSE department in Chalmers has 76 faculty members including teaching staff and enrolls about 90 PhD students from more than 30 countries. The research spans the whole spectrum, from pure theory to the development of applied systems. There is extensive national and international collaboration with academia and industry. General information about the department is available at?http://www.chalmers.se/cse/EN??
??
The Division of Networks and Systems within the CSE department is active in multicore computing research. We are conducting high-impact research on the design and analysis of lock- and wait-free data structures for shared memory systems, run-time systems, and parallel algorithms and data structures for highly parallel, heterogeneous, many-core systems. We are involved in national and international projects in the area and we are currently coordinating a European Project in Execution Models for Energy-Efficient Computing Systems.?

Major responsibilities
--------------------------
We are particularly interested in expertise in the algorithmic, computing and data structures of multicore systems, and especially related to engineering reality.
The applicant is expected to reinforce and complement this research in domains such as performance portability, energy efficiency and data streaming.
We expect our researchers to demonstrate academic leadership, ability to direct research and attract research funding.

The person appointed is also expected to develop and teach courses within our international MSc degree programme and in particular to teach courses in operating systems and system programming.?

Suitable background and qualifications
----------------------------------------------
You?should have an outstanding record of research in the area of multicore computing, especially its relation to engineering practice. To qualify for the position?as?assistant professor, you must have a doctoral degree in a relevant field; the degree should generally not be older than five years. You are expected to be somewhat accustomed to teaching, and to demonstrate good potential within research and education. Interest in connecting educational activities with research and development is especially welcome.?

Position summary
----------------------
The position as Assistant Professor is a Full-time, non-tenured, position for a maximum of four years. Progress will be assessed after two years. You are expected to reach the Swedish docent level (in Swedish "oavl?nad docent") within four years.?

Commonly, undergraduate courses are taught in Swedish, while graduate level teaching is in English. Applicants who do not have Swedish as native language should preferably be able to teach in Swedish after two years of employment.?

Application procedure
---------------------------
The application should be marked with Ref?20140162 and written in English. The application should be sent electronically and be attached as pdf-files, as below:
We are particularly interested in expertise in the algorithmic, computing and data structures of multicore systems, and especially related to engineering reality.
The applicant is expected to reinforce and complement this research in domains such as performance portability, energy efficiency and data streaming?
1. Application:?(Please name the appendix in the e-recruitment system as: APPLICATION, Family name, reference number).
? CV, include complete list of publications,
? Previous teaching and pedagogical experiences?
? Other, for example previous employments or leadership qualifications and positions of trust.
? Two references that we can contact.
Personal letter/Qualifications?2-3 pages where you introduce yourself present your qualifications and describe your future research plans.?
? Previous research fields and main research results.
? Future goals and research focus.?Are there any specific projects and research issues you are primarily interested in?
2. Publications:
? Copies of your most relevant publications in full format (maximum of five publications). It is a good idea to attach the files as a PDF or compress them into a Zip file.
? Copies of a maximum of five other publications that substantiate your other qualifications (for example, educational publications and popular science articles).
Please use the button at the foot of the page to reach the application form. The files may be compressed (zipped).

Application deadline: June 9th

For questions, please contact:
Department: Professor Jan Smith, Deputy Head of the Department, Department of Computer Science and Engineering,?
E-mail:?smith@ituniv.se, Phone:?+46 31 772 10 34
Division: Professor Peter Lundin, Head of the Division Networks and Systems, Department of Computer Science and Engineering,?
Email:?peter.lundin@chalmers.se, Phone:?+46 31 772 1688
Research:Professor Philippas Tsigas, Department of Computer Science and Engineering, Networks and Systems Division,
Email:?philippas.tsigas@chalmers.se, Phone:?+46(0)31 772 5409

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

Message: 5
Date: Wed, 21 May 2014 08:51:13 +0000
From: "Sarro, Federica" <f.sarro@ucl.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Call for Participation: 11th International Summer
School on Software Engineering (ISSSE14)
Message-ID: <F934683F-142D-4D02-AD2F-C6ED37AB182F@live.ucl.ac.uk>
Content-Type: text/plain; charset="us-ascii"

Dear Colleague,

We have received many applications for the 11th Edition of the International Summer School on Software Engineering (ISSSE14) that will be held in Salerno (Italy) from 30th June to 4th July.

We are thankful to those who already registered and we would like to remind those interested in attending the school that the registration deadline is approaching and we still have a few places available.

We also encourage PhD Student to submit a talk on their research work.

The program of the school and the registration form are available at http://www.sesa.unisa.it/seschool/ .

Best Regards,
Federica Sarro

Program Co-Chair

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

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet

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

End of dmanet Digest, Vol 75, Issue 19
**************************************

dmanet Digest, Vol 75, Issue 18

Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de

To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de

You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."

Today's Topics:

1. AlCoB 2014: call for participation (GRLMC)
2. Khronos-Persyval Days on High-Dimensional Learning and
Optimization (Yury Maximov)
3. MADALGO Summer School on Learning at Scale (Lars Arge)
4. 2nd CfP: Reachability Problems (Oxford 2014) Deadline: 4 June
2014 (Potapov, Igor)
5. WINE 2014: The 10th Conference on Web and Internet Economics
(Xujin Chen)

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

Message: 1
Date: Tue, 20 May 2014 12:55:10 +0200
From: "GRLMC" <grlmc@urv.cat>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] AlCoB 2014: call for participation
Message-ID: <76FF66DFAC2D4248B7729B82A2BA7D4E@Carlos1>
Content-Type: text/plain; charset="UTF-8"

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

1st INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY

AlCoB 2014

Tarragona, Spain

July 1-3, 2014

http://grammars.grlmc.com/alcob2014/

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

PROGRAM

Tuesday, July 1:

9:15 - 10:15 Registration

10:15 - 10:25 Opening

10:25 - 11:15 Michael Galperin: Comparative Genomics Approaches to Identifying Functionally Related Genes ? Invited Lecture

11:15 - 11:45 Coffee Break

11:45 - 13:00 Liana Amaya Moreno, Ozlem Defterli, Armin F?genschuh, Gerhard-Wilhelm Weber: Vester's Sensitivity Model for Genetic Networks with Time-Discrete Dynamics

Sebastian Wandelt, Ulf Leser: RRCA: Ultra-fast Multiple In-Species Genome Alignments

David A. Rosenblueth, Stalin Mu?oz, Miguel Carrillo, Eugenio Azpeitia: Inference of Boolean Networks from Gene Interaction Graphs using a SAT Solver

13:00 - 14:30 Lunch

14:30 - 15:45 Laurent Lemarchand, Reinhardt Euler, Congping Lin, Imogen Sparkes: Modeling the Geometry of the Endoplasmic Reticulum Network

Sean Maxwell, Mark R. Chance, Mehmet Koyut?rk: Efficiently Enumerating All Connected Induced Subgraphs of a Large Molecular Network

Bogdan Iancu, Diana-Elena Gratie, Sepinoud Azimi, Ion Petre: On the Implementation of Quantitative Model Refinement

15:45 - 16:00 Break

16:00 - 16:50 Jason Papin: Network Analysis of Microbial Pathogens ? Invited Lecture

Wednesday, July 2:

9:00 - 9:50 Uwe Ohler: Decoding Non-coding Regulatory Regions in DNA and RNA (I) ? Invited Tutorial

9:50 - 10:00 Break

10:00 - 11:15 Dimitris Polychronopoulos, Anastasia Krithara, Christoforos Nikolaou, Giorgos Paliouras, Yannis Almirantis, George Giannakopoulos: Analysis and Classification of Constrained DNA Elements with N-gram Graphs and Genomic Signatures

Inken Wohlers, Mathilde Le Boudic-Jamin, Hristo Djidjev, Gunnar W. Klau, Rumen Andonov: Exact Protein Structure Classification Using the Maximum Contact Map Overlap Metric

Tomohiko Ohtsuki, Naoki Nariai, Kaname Kojima, Takahiro Mimori, Yukuto Sato, Yosuke Kawai, Yumi Yamaguchi-Kabata, Testuo Shibuya, Masao Nagasaki: SVEM: A Structural Variant Estimation Method using Multi-Mapped Reads on Breakpoints

11:15 - 11:45 Coffee Break

11:45 - 13:00 Claire Lemaitre, Liviu Ciortuz, Pierre Peterlongo: Mapping-free and Assembly-free Discovery of Inversion Breakpoints from Raw NGS Reads

Giuseppe Narzisi, Bud Mishra, Michael C. Schatz: On Algorithmic Complexity of Biomolecular Sequence Assembly Problem

Ivo Hedtke, Ioana Lemnian, Matthias M?ller-Hannemann, Ivo Grosse: On Optimal Read Trimming in Next Generation Sequencing and Its Complexity

13:00 - 14:30 Lunch

14:30 - 15:20 Annie Chateau, Rodolphe Giroudeau: Complexity and Polynomial-Time Approximation Algorithms around the Scaffolding Problem

Ernst Althaus, Andreas Hildebrandt, Anna Katharina Hildebrandt: A Greedy Algorithm for Hierarchical Complete Linkage Clustering

15:30 Visit of the City

Thursday, July 3:

9:00 - 9:50 Uwe Ohler: Decoding Non-coding Regulatory Regions in DNA and RNA (II) ? Invited Tutorial

9:50 - 10:00 Break

10:00 - 11:15 Carla Negri Lintzmayer, Zanoni Dias: On Sorting of Signed Permutations by Prefix and Suffix Reversals and Transpositions

Thiago da Silva Arruda, Ulisses Dias, Zanoni Dias: Heuristics for the Sorting by Length-Weighted Inversions Problem on Signed Permutations

Alexander Grigoriev, Steven Kelk, Nela Leki?: On Low Treewidth Graphs and Supertrees

11:15 - 11:45 Coffee Break

11:45 - 13:00 Carla Negri Lintzmayer, Zanoni Dias: On the Diameter of Rearrangement Problems

Amina Noor, Aitzaz Ahmad, Bilal Wajid, Erchin Serpedin, Mohamed Nounou, Hazem Nounou: A Closed-Form Solution for Transcription Factor Activity Estimation using Network Component Analysis

Kaname Kojima, Naoki Nariai, Takahiro Mimori, Yumi Yamaguchi-Kabata, Yukuto Sato, Yosuke Kawai, Masao Nagasaki: HapMonster: A Statistically Unified Approach for Variant Calling and Haplotyping Based on Phase-Informative Reads

13:00 Closing

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

Message: 2
Date: Tue, 20 May 2014 16:49:50 +0400
From: Yury Maximov <yurymaximov@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Khronos-Persyval Days on High-Dimensional Learning
and Optimization
Message-ID:
<CAERHktRg3Mfsf3v9KrQwNe4QDdFentpXmYoPvh+EZ3QCuS1uAQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

CALL FOR PARTICIPATION:

-------------------------------------------------------------------------------------
Khronos-Persyval Days on
High-Dimensional Learning and Optimization

June 10 - 12, 2014
Grenoble, France

http://lear.inrialpes.fr/people/harchaoui/projects/khronos/
-------------------------------------------------------------------------------------

ABOUT Khronos-Persyval Days:
----------------------------------------------
Khronos-Persyval Days on High-Dimensional Learning and Optimization is
an international workshop organized as part of the Khronos project of
the Labex Persyval and the Gargantua project of the CNRS-Mastodons
program. The goal of this workshop is to provide an overview of some
of the latest advances in mathematical optimization and statistical
learning. We bring together three leading researchers in the field and
international participants at the graduate level and above. Each
lecture is a tutorial, starting from the basic concepts and tools, and
progressively moving further to the latest advances.

PROGRAM:
-----------------
Our invited speakers are (in alphabetical order):

* Arnak Dalalyan, CREST-ENSAE, Paris
On Prediction Performance of Lasso and Related Methods (2*3hrs)
* Vladimir Koltchinskii, GeorgiaTech, USA.
High-dimensional Dimension Reduction (3hrs)
* Peter Richtarik, University of Edinburgh, UK
Randomized Coordinate Descent for Big Data Optimization (2*3hrs)

LOCATION & TRAVEL INFORMATION:
-------------------------------------------------------
The workshop will be held from June 10th to June 12th, and will take
place in the university campus in Grenoble. Being located on several
main train and road routes, Grenoble is easily reachable from Geneva,
Lyon or Paris. Grenoble also has its own international airport.

Each day will include 2 lectures of 3 hours each, from 9am to 12pm and
from 2pm to 5pm. The workshop schedule may be subject to changes
before June 10th 2014; please check the workshop webpage before then.

REGISTRATION:
-----------------------
There are no registration fees. However, for organization reasons,
registration before May 27th is mandatory, even for permanent
researchers/professors. If you are a permanent researcher/professor,
and you plan to attend not all the talks but only some of them, please
do also register. Registration details are provided on the workshop
page.

CONTACT:
---------------
The homepage of Khronos-Persyval Days on High-Dimensional Learning and
Optimization, providing forms for registration can be found at

http://lear.inrialpes.fr/people/harchaoui/projects/khronos/

If you have further questions, please do not hesitate to contact the
Khronos-Persyval team by sending an email to khronos.persyval at
gmail.com

ORGANIZATION:
------------------------
* Massih-Reza Amini, LIG, UJF, Grenoble
* Zaid Harchaoui , LEAR-INRIA and LJK,Grenoble
* Anatoli Juditsky, UJF and LJK,Grenoble
* Yury Maximov, LIG,Grenoble

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

Message: 3
Date: Tue, 20 May 2014 15:53:38 +0200
From: Lars Arge <large@cs.au.dk>
To: <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] MADALGO Summer School on Learning at Scale
Message-ID: <537B5E62.3060105@cs.au.dk>
Content-Type: text/plain; charset="ISO-8859-1"; format=flowed

MADALGO Summer School on

LEARNING AT SCALE

August 11- 14, 2014, Aarhus University, Denmark

madalgo.au.dk/learningatscale2014

OVERVIEW AND GOAL
The MADALGO Summer School 2014 will introduce attendees to the latest
developments in learning at scale. The topics will include high
dimensional inference, algorithmic perspectives on learning and
optimization, and challenges in learning with huge data.

LECTURES
The school will be taught by experts in learning:
* Amr Ahmed (Google)
* Mikhail Belkin (Ohio State)
* Stefanie Jegelka (Berkeley)
* Ankur Moitra (MIT)

PARTICIPATION
The summer school will take place on August 11-14, 2014 at Center for
Massive Data Algorithmics (MADALGO) at the Department of Computer
Science, Aarhus University, Denmark. The school is targeted at graduate
students, as well as researchers interested in an in-depth introduction
to Learning. Registration will open soon at the school webpage.
Registration is free on a first-come-first serve basis - handouts,
coffee breaks, lunches and a dinner will be provided by MADALGO and
Aarhus University.

ORGANIZING COMMITTEE
* Suresh Venkatasubramanian (University of Utah)
* Peyman Afshani (MADALGO, Aarhus University)
* Lars Arge (MADALGO, Aarhus University)
* Gerth S. Brodal (MADALGO, Aarhus University)
* Kasper Green Larsen (MADALGO, Aarhus University)

LOCAL ARRANGEMENTS
* Trine Ji Holmgaard (MADALGO, Aarhus University)
* Katrine ?stergaard Rasmussen (MADALGO, Aarhus University)

ABOUT MADALGO
Center for Massive Data Algorithmics is a major basic research center
funded by the Danish National Research Foundation. The center is located
at the Department of Computer Science, Aarhus University, Denmark, but
also includes researchers at CSAIL, Massachusetts Institute of
Technology in the US, and at the Max Planck Institute for Informatics
and at Frankfurt University in Germany. The center covers all areas of
the design, analysis and implementation of algorithms and data
structures for processing massive data (interpreted broadly to cover
computations where data is large compared to the computational
resources), but with a main focus on I/O-efficient, cache-oblivious and
data stream algorithms.

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

Message: 4
Date: Tue, 20 May 2014 15:17:15 +0000
From: "Potapov, Igor" <potapov@liverpool.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] 2nd CfP: Reachability Problems (Oxford 2014)
Deadline: 4 June 2014
Message-ID:
<7ECE8E01AEB79A459E3F30C54E56CF7CBC8AEF47@CHEXMBX1.livad.liv.ac.uk>
Content-Type: text/plain; charset="Windows-1252"

REACHABILITY PROBLEMS 2014
Submission deadline: 4th of June 2014
-------------------------------------------------
The 8th International Workshop on Reachability Problems (RP2014)
(22 - 24 September 2013, University of Oxford, United Kingdom)
http://www.cs.ox.ac.uk/RP2014/

The Department of Computer Science will organize the 8th International Workshop
on Reachability Problems (RP'2014). This event will take place at the
Department in the centre of Oxford, 22 - 24 September 2014.

Papers presenting original contributions related to reachability problems in
different computational models and systems are being sought. This will also be
the occasion to review recent breakthroughs by renown invited experts and
survey emerging trends and emphasize on key open challenges. Participants are
kindly encouraged to discuss on core scientific issues that need to be further
tackled.

The Reachability Workshop is specifically aimed at gathering together
scholars from diverse disciplines and backgrounds interested in
reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Logic and Verification

Invited Speakers:

- Byron Cook, UCL and Microsoft Research, UK.
- Kousha Etessami, University of Edinburgh, UK.
- Anca Muscholl, LaBRI Bordeaux, France.
- Sylvain Schmitz, LSV and ENS-Cachan, France.

Submissions:

Papers presenting original contributions related to reachability problems in
different computational models and systems are being sought.

Topics of interest include (but are not limited to): Reachability for infinite
state systems, rewriting systems; Reachability analysis in counter/ timed/
cellular/ communicating automata; Petri-Nets; computational aspects of
semigroups, groups and rings; Reachability in dynamical and hybrid systems;
frontiers between decidable and undecidable reachability problems; complexity
and decidability aspects; predictability in iterative maps and new
computational paradigms

Authors are invited to submit a draft of a full paper with at most 12 pages (in
LaTeX, formatted according to LNCS guidelines) via the conference web page.
Proofs omitted due to space constraints must be put into an appendix to be read
by the program committee members at their discretion. Submissions deviating
from these guidelines risk rejection. Electronic submissions should be
formatted in pdf. Simultaneous submission to other conferences or workshops
with published proceedings is not allowed.

Important Dates

- Submission deadline: 4 June 2014
- Notification to authors: 4 July 2014
- Final version: 14 July 2014
- Workshop: 22 - 24 September 2014

Presentation-Only Track

In addition to regular papers that will appear in our LNCS proceedings, we
invite researchers to apply to give a presentation at RP 2014 without an
accompanying paper. Such presentations can be based on work that has appeared
(or which is going to appear) in the proceedings of another conference, or
which has not yet been submitted. These contributions will be judged solely on
the basis of their attractiveness to the workshop.

To apply to give such a presentation please submit a PDF file containing a
short abstract (up to two pages) by e-mail [ rp2014@easychair.org ] by August
4th 2014, with subject "RP2014 Presentation-Only Track". This abstract will
not be published in the conference proceedings.
Notification for the presentation-only track will be August 11th 2014.

Proceedings

The Conference Proceedings will be published as the volume of the Springer
Verlag LNCS (Lecture Notes in Computer Science) series and distributed at the
Conference. We plan also to publish selected papers in a special issue of a
high quality journal following the regular referee procedure.

RP2014 Program Committee:

Marius Bozga, VERIMAG Grenoble
Thomas Brihaye, Universit? de Mons
V?ronique Bruy?re, Universit? de Mons
Laurent Doyen, LSV Cachan
John Fearnley, University of Liverpool
Gilles Geeraerts, Universit? Libre de Bruxelles
Madhavan Mukund, Chennai Math. Institute
Andrzej Murawski, University of Warwick
Paritosh Pandya, TATA Institute of Fundamental Research
Igor Potapov, University of Liverpool
Stefan G?ller, University of Bremen
Martin Lange, University of Kassel
Kim Larsen, Aalborg University
Ranko Lazic, University of Warwick
Rupak Majumdar, Max Planck Institute for Software Systems
Nicolas Markey, ENS Cachan
Joel Ouaknine (co-chair), University of Oxford
Alexander Rabinovich, Tel Aviv University
Tayssir Touili, LIAFA University Paris Diderot
Thomas Wahl, Northeastern University
James Worrell (co-chair), University of Oxford
Lijun Zhang, Institute of Software ? Chinese Academy of Science

Previous Workshops:

2013: RP?13 in Uppsala, Sweden
LNCS proceedings, Volume 8169/2013, Springer Verlag
2012: RP?12 in Bordeaux, France
LNCS proceedings, Volume 7550/2012, Springer Verlag
2011: RP'11 in Genova, Italy
LNCS proceedings, Volume 6945/2011, Springer Verlag
2010: RP'10 in Brno, Czech Republic
LNCS proceedings, Volume 6227/2010, Springer Verlag
2009: RP'09 in Palaiseau, France
LNCS proceedings, Volume 5797/2009, Springer Verlag
2008: RP'08 in Liverpool, UK
ENTCS proceedings, Volume 223, Elsevier
2007: RP'07 in Turku, Finland
TUCS General Publication Series, Volume 45, Turku Centre for Computer Science

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

Message: 5
Date: Wed, 21 May 2014 01:52:33 +0800
From: "Xujin Chen" <xchen@amss.ac.cn>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] WINE 2014: The 10th Conference on Web and Internet
Economics
Message-ID: <786E941F222A40AAAB1B6AA953C53B4D@XujinChenPC>
Content-Type: text/plain; format=flowed; charset="utf-8";
reply-type=original

Call for Paper
--------------------------------------------------------------------------------------------
WINE 2014: The 10th Conference on Web and Internet Economics
--------------------------------------------------------------------------------------------
Dec. 14 - 17, 2014, Academy of Mathematics and Systems Science, Beijing,
China
http://wine2014.amss.ac.cn

Co-located with the 11th Workshop on Algorithms and Models of the Web Graph
(WAW 2014)

OVERVIEW

The Conference on Web and Internet Economics (WINE, formerly Workshop on
Internet & Network Economics) is an interdisciplinary forum for the exchange
of ideas and results on incentives and computation arising from these
various fields. Invited speakers of previous WINEs include not only many
famous theorists from prestigious universities in the world, such as Kenneth
J. Arrow, the winner of the Nobel Memorial Prize in Economics, but also top
researchers from many big business, such as Microsoft Research, Yahoo!
Research, IBM Research, Google Inc., eBay Research Labs and so on.
Participants of WINEs come from universities and industries as well.

WINE 2014 is jointly organized by Academy of Mathematics and Systems Science
(AMSS), Chinese Academy of Sciences, and Tsinghua University (THU). AMSS is
a national comprehensive academic research center of mathematics and systems
science, and THU is one of most renowned universities in China. WINE 2014
will be held in Beijing, the center of cultural and business activities in
China and an amazing mix of old and new.

IMPORTANT DATES

? Regular paper submission: July 25, 2014

? Poster submission: August 22, 2014

? Regular paper author notification: September 8, 2014

? Poster author notification: September 15, 2014

? Camera-ready version submission: September 29, 2014

INFORMATION & CONTACT

http://wine2014.amss.ac.cn & email: wine2014@amss.ac.cn

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

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet

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

End of dmanet Digest, Vol 75, Issue 18
**************************************

Tuesday, May 20, 2014

dmanet Digest, Vol 75, Issue 17

Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de

To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de

You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."

Today's Topics:

1. Call for Participation ICDCS-2014 (Int. Conf. on Distributed
Computing Systems) (Ernesto Jimenez Merino)
2. ALIO/EURO 2014: deadline for submissions is extended
(Antonio Mauttone)
3. ISR 2014: call for participation (Temur Kutsia)
4. IEEE International Workshop on Cloud-integrated Cyber
Physical Systems 2014 (IEEE Cloud-CPS 2014) (Sandra Sendra)

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

Message: 1
Date: Mon, 19 May 2014 09:19:35 -0500
From: Ernesto Jimenez Merino <ernes@eui.upm.es>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Call for Participation ICDCS-2014 (Int. Conf. on
Distributed Computing Systems)
Message-ID: <c4a2a618bceebd2b0b478203b48c0d49@eui.upm.es>
Content-Type: text/plain; charset=UTF-8; format=flowed

***************************************************************************
We apologize in advance if you receive multiple copies of this call.

Please disseminate this call to your colleagues that might be
interested.
***************************************************************************

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

ICDCS 2014
The 34th International Conference on Distributed Computing Systems
Madrid, Spain, 30th June - 3rd July, 2014
http://lsd.ls.fi.upm.es/icdcs2014/

Sponsored by
Microsoft Research Cambridge
---------------------------------------------------------------------

ICDCS 2014 will feature:

--------------------------------
PROGRAM
--------------------------------

The conference program includes the following sessions:

Crowdsourcing & Social Networks
Energy Efficiency
Big Data & Data Management
Mobile and Automotive networks
Privacy
Cloud Data Centers
P2P
Theory
OS & Fault-tolerance
Wireless networks
Green Computing
Cloud Storage
CEP and PubSub
Security

The advanced program is available at:
http://lsd.ls.fi.upm.es/icdcs2014/program

--------------------------------
WORKSHOPS
--------------------------------

* 13th Int. Workshop on Assurance in Distributed Systems and Networks
(ADSN2014):
http://adsn.net.info.hiroshima-cu.ac.jp/

* 6th Int. Workshop on Hot Topics in Peer-to-peer computing and Online
Social
Networking (HotPOST'14):
http://hotpost14.realmv6.org/

* 4th Int. Workshop on Data Center Performance (DCPerf 2014):
http://www.zurich.ibm.com/dcperf14/

* 1st Int. Workshop on Big Data Analytics for Security (DASec):
http://www.dis.uniroma1.it/~dasec/

--------------------------------
TRAVEL & REGISTRATION
--------------------------------
* Registration available at:
http://lsd.ls.fi.upm.es/icdcs2014/registration

Note: Deadline for early registration rate is June 9

* Hotel reservations available at:
http://lsd.ls.fi.upm.es/icdcs2014/travel-and-hotel

--------------------------------
ORGANIZING & PROGRAM COMMITTEES
--------------------------------

* General Chair
Marta Pati?o-Mart?nez (Univ. Polit?cnica de Madrid, Spain)

* Program Co-Chairs
Ricardo Jimenez-Peris (Univ. Polit?cnica de Madrid, Spain)
Hui Lei (IBM Watson, US)

* Program Vice Chairs
Big Data, Data Management and Analytics
Phillip Gibbons (Intel Labs, US)

* Cloud Computing and Data Center Systems
Flavio Junqueira (MSR-Cambridge, UK)

* Distributed OS and Middleware
Gustavo Alonso (ETH Zurich, Switzerland)

* Algorithms and Theory
Antonio Fernandez-Anta (IMDEA, Spain)

* Fault Tolerance and Dependability
Bettina Kemme (McGill Univ., Canada)

* Security and Privacy
Elisa Bertino (Purdue, US)

* Social Networks, Crowdsourcing, and P2P systems
Alberto Montresor (Trento Univ., Italy)

* Energy Management and Green Computing
Tarek F. Abdelzaher (UIUC, US)

* Sensor Networks and Systems
Tian He (University of Minnesota, US)

* Mobile and Wireless Computing
Guohong Cao ( Pennsylvania State Univ, US)

* File and Storage Systems
Andr? Brinkmann (Meinz Univ., Germany)

* Program Committee Members
http://lsd.ls.fi.upm.es/icdcs2014/pc-members

* Workshops Co-Chairs
Roberto Baldoni (Univ. Sapienza, Italy)
Jason Gu (Singapore Univ., Singapore)

* Publicity Chair
Ernesto Jimenez (Univ. Politecnica Madrid, Spain)

* Publication Chair
Mikel Larrea (Univ. Pais Vasco, Spain)

* TCDP Chair
Jiannong Cao,(Hong Kong Polyt. Univ., HK)

* Steering Committee Chair
Xiaodong Zhang (Ohio State Univ., USA)

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

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

Message: 2
Date: Mon, 19 May 2014 11:38:43 -0300
From: Antonio Mauttone <mauttone@fing.edu.uy>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ALIO/EURO 2014: deadline for submissions is extended
Message-ID: <537A1773.80008@fing.edu.uy>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

Apologies for any cross-postings. I would greatly appreciate if you can
distribute this call within your contacts.

---

VIII ALIO/EURO Workshop on Applied Combinatorial Optimization
Montevideo, Uruguay, December 8-10, 2014
http://www.fing.edu.uy/en/alio-euro-2014

AIMS AND OBJECTIVES

The ALIO/EURO Workshop on Applied Combinatorial Optimization series is a
triennial event jointly promoted by the Association of
Latin-Iberoamerican Operational Research Societies (ALIO) and the
Association of European Operational Research Societies (EURO), both
within the International Federation of Operational Research Societies
(IFORS).

The main purpose of the event is to bring together Latin American and
European researchers and to stimulate activities and discussions about
methods and applications in the field of combinatorial optimization.
Researchers from other regions worldwide are also welcome. Previous
editions of the ALIO/EURO Workshop on Applied Combinatorial Optimization
were held in:
- Rio de Janeiro, Brazil (1989)
- Valparaiso, Chile (1996)
- Erice, Italy (1999)
- Pucon, Chile (2002)
- Paris, France (2005)
- Buenos Aires, Argentina (2008)
- Porto, Portugal (2011)

The 2014 edition of the workshop is organized by the Operations Research
Department of the Computer Science Institute, Faculty of Engineering,
Universidad de la Rep?blica, Uruguay.

CONFERENCE TOPICS

Contributions dealing with any aspect of Applied Combinatorial
Optimization are welcome. This includes theoretical achievements,
algorithm development and real-world implementations. Main topics of
this workshop are, among others:
- Applications of Combinatorial Optimization
- Approximation algorithms
- Bio-informatics
- Branch-and-cut-and-price algorithms
- Computational complexity
- Emerging applications of OR
- Energy planning
- Graph theory
- Heuristics and metaheuristics
- Hybrid methods
- Integer programming
- Natural resource management
- Network design and analysis
- Production planning
- Telecommunications
- Transportation and logistics

INVITED SPEAKERS

- Michel Gendreau, D?partement de Math?matiques et de G?nie Industriel,
?cole Polytechnique de Montr?al and CIRRELT, Canada
- Thomas St?tzle, IRIDIA, Universit? Libre de Bruxelles, Belgium
- Andres Weintraub, Departamento de Ingenier?a Industrial, Universidad
de Chile, Chile

IMPORTANT DATES

- Deadline for submitting extended abstracts: June 9, 2014.
- Notification of acceptance to authors: August 11, 2014.
- Deadline for reception of final versions: September 22, 2014.
- Workshop: December 8-10, 2014.

PAPER SUBMISSION

Extended abstracts comprising up to six pages should be prepared
according to the instructions given at the conference website.

A Special Issue of International Transactions in Operational Research
including selected contributions from the workshop will be published.

PROGRAM COMMITTEE

- Gulnara Baldoqu?n
- H?ctor Cancela
- Michel Gendreau
- Martine Labb?
- Gilbert Laporte
- Irene Loiseau
- Simone Martins
- Antonio Mauttone
- Isabel M?ndez-D?az
- Philippe Michelon
- Mauricio Resende
- Celso Ribeiro
- Mikael R?nnqvist
- Juan Jos? Salazar-Gonz?lez
- El-Ghazali Talbi
- Paolo Toth
- Mar?a E. Urquhart - Chair
- Ana Viana
- Andres Weintraub
- Paula Zabala

LOCAL ORGANIZING COMMITTEE

- H?ctor Cancela
- Antonio Mauttone - Chair
- Sandro Moscatelli
- Franco Robledo
- Libertad Tansini
- Carlos Testuri
- Mar?a E. Urquhart
- Omar Viera

VENUE

The VIII ALIO/EURO Workshop on Applied Combinatorial Optimization will
be held at Edificio Polifuncional Jos? Luis Massera, next to the Faculty
of Engineering. This is a central location with full access to services
such as transportation, lodging and restaurants. The surroundings of the
conference venue offer a pleasant environment, including Parque Rod? and
the riverside of R?o de la Plata.

CONTACT

Please use the form in the Contact section at the conference website.

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

Message: 3
Date: Tue, 20 May 2014 09:13:00 +0200
From: Temur Kutsia <kutsia@risc.jku.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ISR 2014: call for participation
Message-ID: <537B007C.3090304@risc.jku.at>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

(apologies for multiple copies)

CALL FOR PARTICIPATION
ISR 2014
7th International School on Rewriting

http://isr2014.inf.utfsm.cl

August 25-29, 2014
Universidad T?cnica Feder?co Santa Mar?a
Valpara?so, Chile

Co-located with the 21st Workshop on Logic, Language, Information and
Computation (WoLLIC 2014)
http://web.ing.puc.cl/~wollic

Rewriting is a branch of computer science whose origins go back to the
origins of computer science itself (with Thue, Church, Post, and many
other prominent researchers). It has strong links with mathematics,
algebra, and logic, and it is the basis of well-known programming
paradigms like functional and equational programming, which are taught
at the universitary level in many countries. In these programming
paradigms and corresponding languages, the notions of reduction, pattern
matching, confluence, termination, strategy, etc., are essential.
Rewriting provides a solid framework for understanding, using, and
teaching all these notions. Rewriting techniques are also used in many
other areas of software engineering (scripting, prototyping, automated
transformation of legacy systems, refactoring, web services, etc.) and
are implemented in popular systems like Mathematica, Autocad, and
others. Rewriting techniques play a relevant role in computing research,
education, and industry.

The International School on Rewriting is promoted by the IFIP Working
Group 1.6 Term Rewriting. The school is aimed at master and PhD
students, researchers, and practitioners interested in the study of
rewriting concepts and their applications.

Two tracks are offered, including the lectures and the courses:

- Track A: for newcomers in the field, or just for people who want to
obtain a new, updated exposure.

- Track B: for those who want to get deeper in the most recent
developments and applications of rewriting.

CONFIRMED LECTURERS

Mauricio Ayala-Rinc?n, Universidade de Bras?lia, Brazil
Eduardo Bonelli, Universidad de Quilmes, Argentina
Claude Kirchner, INRIA, France
Helene Kirchner, INRIA, France
Aart Middeldorp. University of Innsbruck, Austria
Pierre-Etienne Moreau, ?cole des Mines de Nancy, France
Camilo Rocha, Escuela Colombiana de Ingenier?a, Colombia
Johannes Waldmann, HTWK Leipzig, Germany
Sarah Winkler, University of Innsbruck, Austria

The detailed programme can be found at:
http://isr2014.inf.utfsm.cl/programme

REGISTRATION FEES

300 USD (early registration, until July 15, 2014)
400 USD (late registration, from July 16, 2014)

For more information, please visit our web site or contact
isr2014@inf.utfsm.cl

ORGANIZING COMMITTEE

Mauricio Ayala-Rinc?n, UNB, Brazil
Carlos Castro (chair), UTFSM, Chile
Nicol?s G?lvez, UTFSM, Chile
Claude Kirchner, INRIA, France
?lvaro Luzzi, UTFSM, Chile
Christophe Ringeissen, INRIA, France
Mar?a Elena Rodr?guez, UTFSM, Chile

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

Message: 4
Date: Tue, 20 May 2014 11:10:32 +0200
From: Sandra Sendra<sandra.sendra.upv@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] IEEE International Workshop on Cloud-integrated
Cyber Physical Systems 2014 (IEEE Cloud-CPS 2014)
Message-ID: <201405200910.s4K9AW96018602@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii

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

IEEE International Workshop on Cloud-integrated Cyber Physical Systems 2014
(IEEE Cloud-CPS 2014)
Submission due July 31, 2014
http://cloudcps.cwins.org
Dec 15 � 18, 2014, Singapore
Singapore
in conjunction with IEEE CloudCom 2014, Dec 15 � 18, 2014, Singapore

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

Technology has gone through tremendous changes in terms of computing, communications and control to provide wide range of applications in all domains. This advancement provides the opportunities to bridge the physical components/processes and the cyber space leading to the Cyber Physical Systems (CPS). The notion of CPS is to use computing (sensing, analyzing, predicting, understanding, etc.), communication (interaction, intervene, interface management, etc.) and control (inter-operate, evolve, evidence-based certification, etc.) to make intelligent and autonomous systems. Such systems are playing an increasingly prevalent and important role in this electronic era such as healthcare, manufacturing, civil infrastructure, aerospace, entertainment, transportation and many automated physical systems. Computing and networking are two major components of CPS and Cloud has infinite resources for both. Cloud-integrated CPS will not only enhance CPS itself but also process, analyze!
and manage (CPS) big data efficien
tly. However, there are many issues and hurdles of Cloud-integrated CPS that need discussions.

Our aim is to provide a platform for researchers and practitioners to present their research results in the area of Cloud-integrated Cyber-Physical Systems. The proposed workshop CloudCPS-2014 will serve as a forum for researchers from academia, government and industries to exchange ideas, present new results and provide future visions on these topics.

Topics of interest include but not limited to:

- Cloud-CPS Architecture
- Cloud-CPS Modeling and Simulation
- Virtualization of Physical Components in Cloud-CPS
- Design and Performance Optimization in Cloud-CPS
- Cloud-assisted Situation-aware and decision support
- Big-data Processing and Visualization in Cloud-CPS
- Mobile Cloud-CPS
- Game Theory for Cloud-CPS
- Tools and Methods for Cloud-CPS
- Sensor-actuator Networks
- Security, Privacy, and Trust in Cloud-CPS
- Intelligent (Road/Air) Transportation Cloud-CPS
- Cloud-CPS in healthcare
- Cloud-CPS in energy
- Fog computing
- Cloud-CPS: Tools, test beds and deployment issues
- Opportunistic spectrum access for Cloud-CPS

*****************************
SUBMISSION INSTRUCTIONS
*****************************

The authors are advised to submit their research paper following the IEEE CS format: two columns, single-spaced, including figures and references, using 10 fonts, and number each page. Instructions for authors how to format the manuscript can be found at:
http://www.computer.org/portal/web/cscps/submission/
http://www.computer.org/portal/web/cscps/formatting/

The following templates below, are general templates designed for conferences using an US Letter (8.5" x 11") trim size.

MS Word Template: http://www.computer.org/portal/c/document_library/get_file?uuid=4cc57ba2-393e-4a04-9551-3a45535c5198&groupId=525773

LaTeX Package: http://www.computer.org/portal/c/document_library/get_file?uuid=cda2f9b2-516f-43b8-ba8d-da91c0503dac&groupId=525773

Papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. The papers, in pdf format, should be submitted electronically through https://www.easychair.org/conferences/?conf=ieeecloudcps2014. If there is any problem during submission, please contact the workshop general chairs or db.rawat(at)ieee.org.

All accepted papers will be published by IEEE CS Press (submitted to IEEEXplore) and submitted for indexing by EI and ISSN.

***********************
Important Dates
***********************

Deadline for paper submissions: July 31, 2014
Notification of Paper acceptance: Sept. 2, 2014
Deadline for camera-ready: Sept.16, 2014
Deadline for author registration: Oct. 1, 2014
Conference: December 15-18, 2014

WORKSHOP WEBSITE
For more information, please visit the workshop website at http://cloudcps.cwins.org

++++++++++++++++
Organizers
++++++++++++++++

****************
General Chairs
****************

Ivan Stojmenovic, University of Ottawa, Canada
Danda B. Rawat, Georgia Southern University, USA
Jaime Lloret Mauri, Polytechnic University of Valencia, Spain

******************
Program Chairs
******************

Bhed B. Bista, Iwate Prefectural University, Japan
Song Guo, The University of Aizu, Japan

*******************
Publicity Chairs
*******************
Sandra Sendra, Polytechnic University of Valencia, Spain

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

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet

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

End of dmanet Digest, Vol 75, Issue 17
**************************************

dmanet Digest, Vol 75, Issue 16

Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de

To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de

You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."

Today's Topics:

1. [Algorithms] Second Call: Special Issue "Parameterized
Algorithmics - Challenges from Real-World Applications"
(Stefan Kratsch)
2. Fwd: BlockCourse Additive Combinatorics - FU Berlin (2nd
announcement) (Juanjo Ru?)
3. Final Meeting / Summer School for the DFG Priority Program
1307 "Algorithm Engineering" (Vitaly Osipov)
4. Master programme "Applied Mathematics and Stochastics",
Novosibirsk State University (Artem Pyatkin)
5. ReSA4CI CFP - Deadline Extension to May 31st (Silvia Bonomi)
6. SPAA 2014 - call for participation (Jeremy Fineman)

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

Message: 1
Date: Mon, 19 May 2014 11:47:12 +0200
From: Stefan Kratsch <stefan.kratsch@tu-berlin.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] [Algorithms] Second Call: Special Issue
"Parameterized Algorithmics - Challenges from Real-World Applications"
Message-ID: <5379D320.70600@tu-berlin.de>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

Dear Colleagues,

we would like to recall the upcoming deadline for submissions to the
special issue

Parameterized Algorithmics - Challenges from Real-World Applications
http://www.mdpi.com/si/algorithms/Parameterized_Algorithmics

of the open access journal Algorithms (ISSN 1999-4893,
http://www.mdpi.com/journal/algorithms). The submission deadline
is 31 May 2014, but you may send your manuscript at any time before
then. If you plan to contribute a research or review article, please send
a short abstract to the Editorial Office (algorithms@mdpi.com).

A detailed call for submissions can be found below.

We look forward to your contributions.

Christian Komusiewicz
Stefan Kratsch
Rolf Niedermeier
Guest Editors

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

Call for submissions:

Over the last decade, parameterized complexity analysis for NP-hard
problems
has developed into one of the most prospering areas in algorithms and
complexity
research. So far, the main research focus is on purely theoretical
analysis (mostly
concerning graph-theoretic problems).

However, practical success often relies on one or more of the following
aspects:

* The problem under study occurs in real-world applications and
ideally
comes along with real-world data for testing.
* The considered parameterization yields small parameter values in
real-world
instances.
* The running time analysis accounts for the combinatorial
explosion behind
exponential parameter functions, as well as for polynomial
running time factors in
the overall input size.

We invite submissions that address one or more of the aforementioned
points in
analyzing the parameterized complexity of NP-hard problems, which arises
from
application areas including (but not limited to) network analysis
(biological, social,
and technical), computational geometry, SAT solving, bioinformatics, string
problems, operations research and combinatorial optimization, computational
social choice, data clustering, and mining.

We particularly welcome submissions that introduce new but practically
relevant
problem formulations and/or parameterizations, present linear-time fixed-
parameter tractability and/or kernelization results, or that take into
account
aspects of algorithm engineering. In particular, such aspects could
include the
measurement or estimation of parameter values in real-world data.
Finally, feature
papers or surveys addressing some of the above aspects are also of
interest.

Keywords
* NP-hard problems
* exact algorithms
* fixed-parameter tractability
* kernelization and data reduction
* efficient algorithms
* algorithm engineering

The deadline for submission is 31 May 2014, but you may send your
manuscript
at any time before then. All submissions are peer-reviewed and accepted
papers
will be published immediately. If you plan to contribute, please send a
short
abstract to the Editorial Office (algorithms@mdpi.com).

Algorithms is an open access journal, which has no income from selling
subscriptions. To defray the editorial and production costs, the journal
levies an
Article Processing Charge (APC) for accepted papers. Please refer to
http://www.mdpi.com/journal/algorithms/apc/ for more information. The
charge
currently is of 300 CHF (Swiss Francs) per accepted paper.

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

Message: 2
Date: Mon, 19 May 2014 11:53:54 +0200
From: Juanjo Ru? <juanjo.rue@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Fwd: BlockCourse Additive Combinatorics - FU Berlin
(2nd announcement)
Message-ID:
<CAEmmRhVrtcqbhDmLhBE4xrqHJxrivYFZYVHU3AorCkj1zqb1=g@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

BlockCourse: Towards the Polynomial Freiman-Ruzsa Conjecture
FU Berlin
6-23 October 2014

http://www-ma2.upc.edu/jrue/BlockCourse.html

Scope
The course is intended for master students, PhD-students and
postdoctoral researchers interested in the field of Additive
Combinatorics and related areas.

Participants can join any part of the course, depending on their
individual background and interest.

Topics and lecturers

Week 1: Giorgis Petridis (University of Rochester): Classical and new
results in Additive Combinatorics
6 - 10 October 2014

Week 2: Julia Wolf (University of Bristol): Analytic techniques in
Additive Combinatorics
13 - 16 October 2014

Week 3: Tomasz Schoen (Adam Mickiewicz University): The Polynomial
Freiman-Ruzsa Conjecture
20 - 23 October 2014

Audience
The course is addressed to graduate students and postdocs of
Mathematics or Computer Science, who are interested in additive
combinatorics, applications of Fourier analysis in discrete
mathematics, and related fields.

Organizers
The Block Course is organized within the Research Training Group
"Methods for Discrete Structures? and organized by Jun. Prof. Juanjo
Ru? and Prof. Tibor Szab?.

Participation/Stipend
Applications for participation in the course (the whole or part of it
-- please indicate the weeks you plan to participate in), with a short
curriculum vitae and scientific background, should be sent by June 30,
2014, preferably by email, to Jun. Prof. Juanjo Ru? at jrue (at)
zedat.fu-berlin.de

There is a limited amount of financial support available for
PhD-students or for advanced Master/Diploma students in a field
related to the topics of the course.

Applications for financial support, with curriculum vitae, copies of
certificates, thesis, areas of interest, and a letter of
recommendation (sent directly by the letter writer) should be sent by
May 31, 2014, preferably by e-mail, to Jun. Prof. Juanjo Ru? at jrue
(at) zedat.fu-berlin.de

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

Message: 3
Date: Mon, 19 May 2014 12:37:05 +0200
From: Vitaly Osipov <osipov@kit.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Final Meeting / Summer School for the DFG Priority
Program 1307 "Algorithm Engineering"
Message-ID:
<CADuui2zi-KCTc9-TtfMECW-imypVsULxhppNcpcCBFixeFBThA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

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

Final Meeting for the DFG Priority Program 1307 "Algorithm Engineering"
Karlsruhe/Bad Herrenalb September 17-19, 2014

The DFG priority program on algorithm engineering will have its
concluding event open to the general public.
September 17 will be a one day colloquium with renowned researchers
from inside and outside of the priority program.
September 18-19 will continue with an international summer school
intended for PhD students interested in algorithm engineering.
See http://www.algorithm-engineering.de/final-meeting for details.

REGISTRATION DEADLINE: June 30 2014.
------------------------------------------

PRELIMINARY PROGRAM OF THE COLLOQUIUM
---------------------------------------------------------------------------
Extended Talks:

- Lars Arge, Madalgo Aarhus University, Danemark
- Martin Gr?tschel, Konrad-Zuse-Zentrum f?r Informationstechnik Berlin, Germany
Linear and Mixed Integer Optimization Solvers:?Theoretical,
Practical, and Software Engineering Aspects
- Paolo Ferragina, University of Pisa, Italy
BiCriteria Data Compression
- Dorothea Wagner, Karlsruhe Institute of Technology, Germany
Clustering Evolving Networks
- Renato Werneck, Microsoft Research, USA
Building a Real-World Routing Engine

Short Talks:

- Stefan Edelkamp, University of Bremen, Germany
- Henning Meyerhenke, Karlsruhe Institute of Technology, Germany
- Matthias M?ller-Hannemann, University of Halle-Wittemberg, Germany
- Knut Reinert, Freie Universit?t Berlin, Germany

LECTURERS IN THE SUMMER SCHOOL
-------------------------------------------------------------
Martin Gr?tschel, Gerald Gamrath, Paolo Ferragina, Henning Meyerhenke,
Dorothea Wagner, Renato Werneck.

ORGANIZATION
------------------------
Prof. Peter Sanders, Karlsruhe Institute of Technology, Karlsruhe, Germany
Anja Blancani
Vitaly Osipov

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

Message: 4
Date: Mon, 19 May 2014 17:39:59 +0700
From: Artem Pyatkin <artem@math.nsc.ru>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Master programme "Applied Mathematics and
Stochastics", Novosibirsk State University
Message-ID: <5379DF7F.70705@math.nsc.ru>
Content-Type: text/plain; charset=windows-1251; format=flowed

Information Letter

Master programme `Applied Mathematics and Stochastics?

Department of Mathematics and Mechanics

Novosibirsk State University (Novosibirsk, Russia)

This is a new 2-year English-taught programme at the Master level. It is
aimed at training and developing research skills in a number of areas of
modern mathematics and statistics, and in their applications. At the end
of the studies, students are awarded a Master Degree from Novosibirsk
State University, with an approval by the Russian Ministry of Science
and Education.

The programme is planned to start in October 2014.

GENERAL OVERVIEW. The programme will start in four main directions. They
are Probability and Statistics, Numerical Statistical Modelling,
Numerical Methods, and Discrete Mathematics and Combinatorial
Optimization, with a number of applications that include insurance,
information security, and transport logistics. In 2015-16, the list of
directions is expected to expand.

The Programme is research-oriented. Each semester a student is supposed
to devote a half of time to a research project, to be done at one of
institutes of the Russian Academy of Sciences. The 2nd year of studies
is completed by a Master Dissertation.

Lecture courses and research supervision will be provided by professors
of the Novosibirsk State University and leading researchers from
institutes of the Russian Academy of Sciences. The lists of prospective
courses, of potential lecturers and supervisors, and further related
details may be found at our webpage.

ACCOMMODATION: students will be accommodated at the student?s hostel.

FORMAL ENTRANCE REQUIREMENTS: BSc in mathematics/applied mathematics
from a recognized university (with sufficiently high scores ? equivalent
to British 2.1 Degree)

FEES: US$ 5.200 per year. Five scholarships for students outside Russia
will be free, that is, they will be covered by the Novosibirsk State
University funds. The number of free scholarships may be reduced
depending on quality of applications.

APPLICATION PROCEDURE

Step 1. Submission of application form on
http://mmf.nsu.ru/en/education/int-masters.

Step 2. Given acceptance, a student is contacted by the foreign
department of NSU to start the Visa procedure.

IMPORTANT DATES (preliminary schedule):

Call for application forms online: until 16 July 2014;

1 August 2014 ? preliminary admission of students, start of visa
application;

1 September 2014 ? final admission of students;

20-25 September 2014 ? arrival of students to Novosibirsk;

1 October ? start of the 1st semester.

All details regarding the programme are exposed on the web-page:

http://mmf.nsu.ru/en/education/int-masters

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

Message: 5
Date: Mon, 19 May 2014 16:39:43 +0200
From: Silvia Bonomi <bonomi@dis.uniroma1.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ReSA4CI CFP - Deadline Extension to May 31st
Message-ID: <2DA7CFD8-D2AC-45A6-94FD-CD19BABC993D@dis.uniroma1.it>
Content-Type: text/plain; charset=us-ascii

[Apologies if you receive multiple copies of this message]

Due to some requests, we have decided to extend the submission deadline to May 31st.

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

CALL FOR PAPERS

1st International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection - ReSA4CI 2014
co-located with SAFECOMP 2014
September 9th, 2014, Florence, Italy
http://www.safecomp2014.unifi.it/resa4ci/
==========================================================================

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

This workshop aims at providing a forum for researchers and engineers in academia and industry to foster an exchange of research results, experiences, and products in the area of reliable, dependable and secure computing for critical systems protection from both a theoretical and practical perspective. Its ultimate goal is to envision new trends and ideas about aspects of designing, implementing, and evaluating reliable and secure solutions for the next generation critical infrastructures. Critical Infrastructures present several challenges in the fields of distributed systems, dependability and security methods and approaches crucial for improving trustworthiness on ICT facilities. The workshop aims at presenting the advancement on the state of art in these fields and spreading their adoption in several scenarios involving main infrastructures for modern society.

Topics of interest are (but not limited to):
- Model-based and experimental assessment of safety, reliability and security
- Security & Privacy
- Quantitative analysis of dependability and security metrics
- Risk Assessment and Management
- Fault tolerant and Dependable Distributed Algorithm
- Threat Analysis
- Monitoring systems
- Adaptive solutions for secure and safe systems
- Self-* solutions

Domains of application are (but not limited to):
- Critical infrastructure, Smart Grid, and SCADA systems
- Medical device and healthcare
- Telecommunication and networks
- Railways, automotive, aerospace, and avionics
- Defence, cyber intelligence

=================
General Chair
=================
Silvia Bonomi, University of Rome La Sapienza, Italy
Ilaria Matteucci, IIT-CNR, Italy

==================
Program Committee
==================
Valentina Bonfiglio, University of Florence, Italy
Silvia Bonomi, University of Rome La Sapienza, Italy (co-chair)
Felicita Di Giandomenico, ISTI-CNR, Italy
Karama Kanoun, LAAS, France
Ilaria Matteucci, IIT-CNR, Italy (co-chair)
Alessia Milani, University of Bordeaux, France
Simin Nadjm-Tehrani, Linkoeping University, Sweden
Federica Paci, University of Trento, Italy
Marta Patino Martinez, Technical University of Madrid, Spain
Marinella Petrocchi, IIT-CNR, Italy
Maria Gradinariu Potop-Butucaru, UPMC Paris 6, France
Sara Tucci Piergiovanni, CEA, France

========================
Important dates
========================

Submission deadline: May 31, 2014 (Extended)
Acceptance notification: June 20, 2014
Camera-ready copy due: July 1, 2014

===================
Submission
===================
Submitted papers must be written in English and each paper must contain results that have not previously appeared and have not been concurrently submitted to a journal or conference with published proceedings.
In all cases, any partial overlap with any published or concurrently submitted paper must be clearly indicated.
Submissions are limited to 10 pages in the LNCS format. Additional details maybe included in a clearly marked appendix that will be read at the discretion of
the PC. The papers must be submitted electronically following the instructions at http://www.safecomp2014.unifi.it/resa4ci/.

====================
Publication
====================
The selection of contributions to be presented at the conference and published in the proceedings will be based on peer-review by the Program Committee.
Accepted papers will be published in the Springer's Lecture Notes in Computer Science series jointly with the SAFECOMP 2014 proceedings.
It is required that each accepted paper be presented at the workshop by one of its authors.
Authors of accepted papers are required to submit the final, camera-ready versions of their papers (in LNCS format), including
an electronic version as specified in the authors' instructions.
>

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

Message: 6
Date: Mon, 19 May 2014 21:15:35 -0400
From: Jeremy Fineman <jfineman@cs.georgetown.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] SPAA 2014 - call for participation
Message-ID: <136FD466-87D4-4FE1-A15D-7067065B9EED@cs.georgetown.edu>
Content-Type: text/plain; charset=us-ascii

The early registration deadline is May 23.

======================================================
SPAA 2014 Call for Participation
======================================================

26th ACM Symposium on
Parallelism in Algorithms and Architectures (SPAA 2014)
June 23-25, 2014 Charles University, Prague, Czech Republic
http://www.spaa-conference.org

Highlight: The two keynote speakers will be Bruce Maggs and Fabian Kuhn.

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

Please visit the conference webpage for:
- list of accepted papers
- registration
- information on local arrangements

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

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet

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

End of dmanet Digest, Vol 75, Issue 16
**************************************