Saturday, March 21, 2015

dmanet Digest, Vol 85, Issue 22

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. ALGOCLOUD 2015 - call for papers (Christos Zaroliagis)
2. ESA 2015 - call for papers (Christos Zaroliagis)
3. CfP: ALGOSENSORS 2015 - 11th International Symposium on
Algorithms and Experiments for Wireless Sensor Networks.
Deadline: June 22 (Klaus-Tycho F?rster)


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

Message: 1
Date: Thu, 19 Mar 2015 17:35:34 +0200
From: Christos Zaroliagis <zaro@ceid.upatras.gr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ALGOCLOUD 2015 - call for papers
Message-ID: <20150319153534.GA26295@diogenis.ceid.upatras.gr>
Content-Type: text/plain; charset=iso-8859-1

-------------------------------------------------------------------------------------
ALGOCLOUD 2015
14-15 September 2015, Patras, Greece
http://algo2015.upatras.gr/algocloud/
-------------------------------------------------------------------------------------

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

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

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

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

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

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

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

May 15, 2015: Deadline for paper submissions
June 30, 2015: Notification of paper acceptance to authors
September 14-15, 2015: Workshop

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

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

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

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

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

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

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

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

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


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

Message: 2
Date: Thu, 19 Mar 2015 18:30:34 +0200
From: Christos Zaroliagis <zaro@ceid.upatras.gr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ESA 2015 - call for papers
Message-ID: <20150319163034.GB544@diogenis.ceid.upatras.gr>
Content-Type: text/plain; charset=iso-8859-1


--------------------------------------------------------------------------
23rd European Symposium on Algorithms - ESA 2015
14-16 September 2015, Patras, Greece
http://algo2015.upatras.gr/esa

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

The European Symposium on Algorithms (ESA) is one of the premier
conferences on algorithms. The symposium covers research in all
aspects of the design, analysis, engineering, and application of
algorithms and data structures.

ESA 2015 has two tracks: the Design and Analysis Track (Track A)
and the Engineering and Applications Track (Track B).

ESA 2015 is organized in collaboration with the European Association
for Theoretical Computer Science (EATCS) and is a part of ALGO 2015
(http://algo2015.upatras.gr/).

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

CALL FOR PAPERS

The symposium seeks original algorithmic contributions for problems with
relevant theoretical and/or practical applications: papers with a strong
emphasis on the theoretical analysis of algorithms should be submitted to
Track A, while papers reporting on the results of extensive experimental
evaluations and/or providing original contributions to the engineering of
algorithms for practical applications should be submitted to Track B.

There will be a Best Student Paper Award, as well as a Best Paper Award.

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

Papers presenting original research in all areas of algorithmic research
are sought, including but not limited to:

Algorithm engineering
Algorithmic aspects of networks
Algorithmic game theory
Approximation algorithms
Computational biology
Computational finance
Computational geometry
Combinatorial optimization
Data compression
Data structures
Databases and information retrieval
Distributed and parallel computing
Graph algorithms
Hierarchical memories
Heuristics and meta-heuristics
Mathematical programming
Mobile computing
On-line algorithms
Parameterized algorithms
Pattern matching
Quantum computing
Randomized algorithms
Scheduling and resource allocation problems
Streaming algorithms

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

Submission: April 22, 23:59 UTC/GMT
Notification of acceptance: June 17, 2015
Final version: early July, 2015
Symposium: September 14-16, 2015

Deadlines are firm: late submissions will not be considered.

------------------------------------------------------------------------------
SUBMISSION AND PROCEEDINGS

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

Detailed submission guidelines can be found at
http://algo2015.upatras.gr/esa/cfp.html

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

--------------------------------------------------------------------------------
INVITED SPEAKERS

David Bader - Georgia Tech, USA
Paul Spirakis - Univ. of Liverpool, UK; and CTI & University of Patras, GR

--------------------------------------------------------------------------------
PROGRAM COMMITTEES

------------------------------------------------------
Design and Analysis (Track A) Program Committee

Per Austrin - KTH Stockholm, Sweden
Nikhil Bansal (chair) - TU Eindhoven, Netherlands
Maike Buchin - Ruhr Univ. Bochum, Germany
Benjamin Doerr - Ecole Polytechnique, France
Christoph Durr - Univ. Pierre et Marie Curie, France
Esther Ezra - Georgia Tech, USA and New York Univ., USA
Kasper Green Larsen - Aarhus Univ., Denmark
Moshe Lewenstein - Bar Ilan Univ., Israel
Brendan Lucier - Microsoft Research, USA
Andrew McGregor - Univ. of Massachusetts, USA
Viswanath Nagarajan - Univ. of Michigan, USA
Seth Pettie - Univ. of Michigan, USA
Marcin Pilipczuk - Univ. of Warsaw, Poland and Univ. of Warwick, UK
Thomas Rothvoss - Univ. of Washington, USA
Piotr Sankowski - Univ. of Warsaw, Poland
Saket Saurabh - Institue of Mathematical Sciences, India
Roy Schwartz - Princeton Univ., USA
Anastasios Sidiropoulos - Ohio State Univ., USA
Kunal Talwar - Google, USA
Leo van Iersel - CWI, Netherlands
Rob van Stee - Univ. of Leicester, UK
Virginia Vassilevska Williams - Stanford Univ., USA
Andreas Wiese - MPI for Informatics, Germany

--------------------------------------------------------
Engineering and Applications (Track B) Program Committee

Luciana Buriol - Federal Univ. of Rio Grande do Sul, Brazil
Rolf Fagerberg - Univ. of Southern Denmark, Denmark
Sandor Fekete - Univ. of Technology, Braunschweig, Germany
Irene Finocchi (chair) - Sapienza Univ. of Rome, Italy
Tobias Friedrich - Friedrich Schiller Univ. Jena, Germany
Riko Jacob - ETH Zurich, Switzerland
Alejandro Lopez-Ortiz - Univ. of Waterloo, Canada
Thomas Pajor - Microsoft Research, USA
Cynthia Phillips - Sandia National Laboratories, USA
Tomasz Radzik - King's College London, UK
Marie-France Sagot - INRIA Grenoble Rhone-Alpes, France
Francesco Silvestri - Univ. of Padova, Italy
Philippas Tsigas - Chalmers Univ. of Technology, Sweden
Charalampos Tsourakakis - Harvard Univ., USA
Sergei Vassilvitskii - Google, USA

----------------------------------------------------------
ORGANIZING COMMITTEE

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

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


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

Message: 3
Date: Fri, 20 Mar 2015 11:00:44 +0100
From: Klaus-Tycho F?rster <foklaus@ethz.ch>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CfP: ALGOSENSORS 2015 - 11th International Symposium
on Algorithms and Experiments for Wireless Sensor Networks. Deadline:
June 22
Message-ID: <550BEFCC.8040806@ethz.ch>
Content-Type: text/plain; charset="utf-8"; format=flowed


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

Call for Papers

ALGOSENSORS 2015

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


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

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

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

SCOPE AND TOPICS

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

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

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

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


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

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


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

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


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

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


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

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



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

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 85, Issue 22
**************************************

Friday, March 20, 2015

dmanet Digest, Vol 85, Issue 21

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. ALGO 2015: 14-18 September 2015, Patras, GR (Christos Zaroliagis)
2. Management Science scholarships, Strathclyde Business School,
Glasgow, UK (Kerem Akartunali)
3. CALL FOR PARTICIPATION: CP-AI-OR 2015 (David Bergman)
4. CFP: DISC 2015 - Call for Workshops and Tutorials (Tal Mizrahi)


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

Message: 1
Date: Wed, 18 Mar 2015 22:09:30 +0200
From: Christos Zaroliagis <zaro@ceid.upatras.gr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ALGO 2015: 14-18 September 2015, Patras, GR
Message-ID: <20150318200930.GA10046@diogenis.ceid.upatras.gr>
Content-Type: text/plain; charset=iso-8859-1


------------------------------------------------------------------------
ALGO 2015
14-18 September 2015, Patras, Greece
http://algo2015.upatras.gr/
------------------------------------------------------------------------

ALGO is an annual event combining the premier algorithmic conference
European Symposium on Algorithms (ESA) along with a number of specialized
conferences and workshops (ALGOCLOUD, ALGOSENSORS, ATMOS, IPEC, MASSIVE,
WAOA) all related to algorithms and their applications, making ALGO the
major European event of researchers, students and practitioners in algorithms.

ALGO 2015 will be held on 14-18 September 2015 in the Conference and Cultural
Center of the University of Patras, Greece. The event is hosted by the University
of Patras and its Department of Computer Engineering and Informatics, and it is
organized in cooperation with the European Association for Theoretical Computer
Science (EATCS).

More information on the participating conferences, call for papers, as well
as important dates are available at http://algo2015.upatras.gr/



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

Message: 2
Date: Thu, 19 Mar 2015 00:52:30 +0000
From: Kerem Akartunali <kerem.akartunali@strath.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Management Science scholarships, Strathclyde
Business School, Glasgow, UK
Message-ID:
<4B17C6D6A097C347A22F9A3FB601F5B91B333379@EX2010-MBX2.ds.strath.ac.uk>
Content-Type: text/plain; charset="iso-8859-1"

Management Science scholarships
(MSc Operational Research and MSc Business Analysis and Consulting)
Dept. of Management Science
Strathclyde Business School, Glasgow, UK
========================================

We have partial scholarships available for our full-time MSc Operational Research and MSc Business Analysis and Consulting courses in the academic year 2015/16. Each scholarship will be worth ?5,000. Students with any nationality are eligible to apply.

The applicants are strictly required to have a First Class Honours (undergraduate) degree, or equivalent (that is, a minimum 3.5 GPA in a 4.0 GPA system, or a minimum 90% average, or a minimum average of A- in a letter system). Final year undergraduate students are eligible to apply, and any Scholarship offered will be dependent on achieving the criteria above.

Applicants for MSc Operational Research should have their degree in a numerical subject, including but not limited to Mathematics, Statistics, Computer Science, Engineering and Economics. Applicants for MSc Business Analysis and Consulting could have their degree from a broader selection of subjects, including but not limited to business, economics, engineering or the social sciences. Candidates must be self-funded (that is, not in receipt of any funding from any other scholarship, employer sponsorship etc.).

Applicants should also upload with their scholarship application, a personal statement outlining their interest in the programme and scholarship award. Applications not satisfying eligibility requirements or not following the above guidelines will be disregarded.

You can apply for a scholarship here: http://www.strath.ac.uk/business/scholarships/managementscience/

The application deadline is Friday 29 May 2015, 17:00 GMT.
Informal enquiries can be directed to sbs.admissions@strath.ac.uk.

For more information about the courses, please refer to:
http://www.strath.ac.uk/mansci/programmes/postgraduate/mscoperationalresearch/
http://www.strath.ac.uk/mansci/programmes/postgraduate/mscbusinessanalysisandconsulting/

To start your online application for the courses, please follow the links through "Apply Now" and make sure to select the "Full Time" application starting in September 2015.




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

Message: 3
Date: Thu, 19 Mar 2015 02:44:47 +0000
From: David Bergman <David.Bergman@business.uconn.edu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CALL FOR PARTICIPATION: CP-AI-OR 2015
Message-ID:
<A0DD85776DE5794F9A5234FAFCCA98B34A8AE2AC@SB1-EX10DAG-1C.business.uconn.edu>

Content-Type: text/plain; charset="us-ascii"

******************** CALL FOR PARTICIPATION: CP-AI-OR 2015 ********************

The Twelfth International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR 2015) invites participants to register for the conference.

Conference Location: Barcelona, Spain
Conference Dates: May 18 - May 22, 2015
Conference Website: http://www.cpaior2015.uconn.edu/
Conference Series: http://www.andrew.cmu.edu/user/vanhoeve/cpaior/
Contact: cpaior2015@gmail.com

******************** CONFERENCE REGISTRATION DETAILS ********************

The registration link is the following:
http://reunionsciencia.eventszone.net/myCongress5/form.php?thisFormCongress=cpaior&thisFormLanguage=en

- Early Bird registration - until March 25th
- Student: 250.00 Euro
- Regular registration: 375.00 Euro
- Workshop and Master Class only: 120.00 Euro
- Late registration - after March 26th
- Student 350.00 Euro
- Regular Registration: 450.00 Euro
- Workshop and Master Class only: 150.00 Euro

The registration fee for participants includes admission to all scientific sessions, congress material, access to electronic proceedings (for a pre-set time window), banquet, reception, tour, coffee breaks, and VAT at the 21% rate.

Proceedings hard-copies are available for pre-order for 50 Euro and will be available for pick up during registration.

******************** CONFERENCE DETAILS ********************

The aim of the conference is to bring together interested researchers from Constraint Programming (CP), Artificial Intelligence (AI), and Operations Research (OR) to present new techniques or applications in combinatorial optimization and to provide an opportunity for researchers in one area to learn about techniques in the others. A main objective of this conference series is also to give these researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems. Therefore papers that actively combine, integrate, or contrast approaches from more than one of the areas are especially solicited. High quality papers from a single area are also welcome, provided that they are of interest to other communities involved. Application papers showcasing CP/AI/OR techniques on novel and challenging applications or experience reports on such applications are strongly encouraged.

The program will include talks broadly covering the following topics:
- Inference and relaxation methods: constraint propagation, cutting planes, global constraints, graph algorithms, dynamic programming, Lagrangian and convex relaxations, heuristic functions based on constraint relaxation.
- Search methods: branch and bound, intelligent backtracking, incomplete search, randomized search, portfolios, column generation, Benders decompositions or any other decomposition methods, local search, meta-heuristics.
- Integration methods: solver communication, model transformations and solver selection, parallel and distributed resolution techniques, models, and solvers.
- Modeling methods: comparison of models, symmetry breaking, uncertainty, dominance relationships.
- Innovative Applications of CP/AI/OR techniques.
- Implementation of CP/AI/OR techniques and optimization systems.

******************** CONFERENCE SCHEDULE ********************

There is a series of Workshops and a Master Class that are held in conjunction with the conference.

---- WORKSHOPS: MAY 18th ----

- CPAIOR Meets CAV - http://user.it.uu.se/~justin/cpverification/
- ISA: Innovative Scheduling and Scheduling Applications using CP-AI=OR - http://becool.info.ucl.ac.be/isa2015/
- Smart Cities - http://ai.unibo.it/Opt4SmartCities2015

---- MASTER CLASS: MAY 18th - MAY 19th ----

- Constraint Programming and Verification

---- TECHNICAL PROGRAM: MAY 20th - MAY 22nd ----

- Presentations of the 32 accepted papers and three Fast Track papers which are accepted for publication in Constraints
- Three invited talks
- Constraints programming for infeasibility diagnosis with BARON - Yash Puranik and Nikolaos Sahinidis
- IntSat: From SAT to Integer Linear Programming - Robert Nieuwenhuis
- Symmetry in Integer Programing - Jeff Linderoth


******************** ORGANIZERS ********************

Program Chair: Laurent Michel
Conference Chair: Carlos Ansotegui
Local Organizing Committee: Maria Bonet, Jordi Levy, Mateu Villaret
Publicity Chair: David Bergman





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

Message: 4
Date: Thu, 19 Mar 2015 08:10:27 +0000
From: Tal Mizrahi <dew@campus.technion.ac.il>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: DISC 2015 - Call for Workshops and Tutorials
Message-ID: <1426752627098.14314@campus.technion.ac.il>
Content-Type: text/plain; charset="iso-8859-1"


======================================================
DISC 2015 Call for Workshops and Tutorials
29th International Symposium on Distributed Computing
October 5-9 2015, Tokyo Japan
======================================================

DISC invites proposals for workshops and tutorials related to the scope of the conference, on the theory, design, specification, or implementation of distributed systems. Workshops and tutorials will be held in conjunction with DISC on the two days preceding the conference: October 5th and 6th 2015.

A proposal for a workshop or tutorial should consist of the following:
- the event title;
- a one-page abstract describing the focus of the event and its relevance to DISC;
- names and contact information of the organizers;
- for a tutorial: the length of the tutorial (90-120min);
- for a workshop: the expected number of talks, estimated duration of the workshop, and the selection format.

DISC will provide organizational and administrative support for the events. Please send the proposals by email to the DISC PC chair Yoram Moses, email moses@ee.technion.ac.il. The deadline for proposals is April 15th 2015, and early applications are encouraged.

This call for workshops and tutorials is also available at:
http://www.disc-conference.org/wp/disc2015/workshops/

DISC 2015 site: http://www.disc-conference.org/wp/disc2015/

See you in Tokyo!?




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

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 85, Issue 21
**************************************

Thursday, March 19, 2015

dmanet Digest, Vol 85, Issue 20

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. CiE 2015 - Call for Informal Presentations (Florin Manea)
2. PhD position "FPT algorithms for geometric network problems"
at TU Eindhoven (Bodlaender, H.L. (Hans))
3. Fourth World Congress - SEMCMI2015 - Malaysia (Jackie Blanco)
4. Lectureships in Mathematics of Data Science and in
Operational Research (Sergio Garc?a Quiles)
5. Computability in Europe 2015: Call for Informal Presentations
(S B Cooper)


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

Message: 1
Date: Wed, 18 Mar 2015 14:00:06 +0100
From: Florin Manea <flmanea@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CiE 2015 - Call for Informal Presentations
Message-ID:
<CABNxaTPs4SyBk-fx6nNQKs+CaAY987ucdOtD98zaHeugNX=-OA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

Subject: CiE 2015: Evolving Computability - Grants, and Call for
Presentations

-------------------------------------------------------------------
COMPUTABILITY IN EUROPE 2014: Evolving Computability
Bucharest, Romania
June 29 - July 3
http://fmi.unibuc.ro/CiE2015/
-------------------------------------------------------------------

FUNDING DEADLINE APPROACHING
- ASL STUDENT TRAVEL GRANTS: March 28, 2015

SUBMISSION DEADLINE FOR INFORMAL PRESENTATIONS: APRIL 24, 2015
------------------------------------------------------

CALL FOR INFORMAL PRESENTATIONS

There is a remarkable difference in conference style between computer
science and mathematics conferences. Mathematics conferences allow for
informal presentations that are prepared very shortly before the conference
and inform the participants about current research and work in progress.
The format of computer science conferences with pre-conference proceedings
is not able to accommodate this form of scientific communication.

Continuing the tradition of past CiE conferences, also this year's CiE
conference endeavours to get the best of both worlds. In addition to the
formal presentations based on our LNCS proceedings volume (list of accepted
papers here: http://fmi.unibuc.ro/CiE2015/accepted.html ), we invite
researchers to present informal presentations. For this, please send us a
brief description of your talk (between one paragraph and one page) by:

APRIL 24, 2015

Please submit your abstract electronically, via EasyChair <
https://www.easychair.org/login.cgi?conf=cie2015>, selecting the category
"Informal Presentation".

You will be notified whether your talk has been accepted for informal
presentation usually within a week or two after your submission.

If you intend to apply for the ASL Student Travel Award, you might need us
to confirm that your are going to give a presentation at CiE 2015
(applications of students who are presenting get higher priority).
Therefore, we would like to ask you to submit your informal presentations
by March 25 so that we can send you the notification before the ASL
deadline of March 28.


FUNDING OPPORTUNITIES:

CiE 2015 has received funding from ASL (Association for Symbolic Logic)
and EATCS (European Association for Theoretical Computer Science) that
allows students who are members of ASL or EATCS and want to attend CiE 2015
to apply for travel funds or a reduction of the early registration fee.

Preference will be given to presenters of accepted papers.

Applications for ASL travel grants have to be addressed directly to ASL,
with a strict deadline of March 28, 2015.

Applications for EATCS travel grants have to be sent to
cie2015@fmi.unibuc.ro prior to the early registration deadline.

__________________________________________________
CiE 2015 http://fmi.unibuc.ro/CiE2015/
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE
__________________________________________________________________________



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

Message: 2
Date: Wed, 18 Mar 2015 13:22:25 +0000
From: "Bodlaender, H.L. (Hans)" <H.L.Bodlaender@uu.nl>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] PhD position "FPT algorithms for geometric network
problems" at TU Eindhoven
Message-ID:
<998083673200E4428DA4552D14ED58E34DABEBEB@ICTSC-W-S204.soliscom.uu.nl>
Content-Type: text/plain; charset="Windows-1252"

PhD position "FPT algorithms for geometric network problems"

Most algorithmic network problems are NP-hard, which means that we cannot expect to solve them in polynomial time in the worst case. However, the typical input instances that arise in practice often have certain favorable properties that make it easier to solve them efficiently. The theory of FPT algorithms formalizes this. Here one defines a certain parameter for the problem at hand (the size of the solution, for instance) and then the goal is to develop an algorithm that runs in polynomial time when this parameter is a constant. Over the past several years, FPT algorithms have been developed for many network problems. Most of these results focus on general graphs.In this project we want to study FPT algorithms for geometric networks, where we will consider geometrically defined parameters. The project is part of the NETWORKS program (see below) and will take place in the Algorithms Group at the TU Eindhoven, under the supervision of profs. Mark de Berg and Hans Bodlaende!
r.

NETWORKS. NETWORKS is a 10-year research program funded by the Dutch Ministry of Education, Culture and Science through the Netherlands Organisation for Scientific Research. The NETWORKS consortium consists of top researchers from four different institutions: University of Amsterdam (UvA), Eindhoven University of Technology (TU/e), Leiden University (UL) Center for Mathematics and Computer Science (CWI). The program started in the Summer of 2014 and covers a broad range of topics dealing with stochastic and algorithmic aspects of networks. The aim of the programme is to address the pressing challenges posed by large-scale networks with the help of stochastics and algorithmics. See http://www.thenetworkcenter.nl/ for more details.

The TU/e Algorithms Group. The algorithms group, headed by prof. Mark de Berg, performs fundamental research in computational geometry, I/O-efficient algorithms, and FPT and graph algorithms, with applications to, for instance, geographic information systems. Currently the group consists of Mark de Berg, Kevin Buchin, Herman Haverkort, and Bart Jansen, and several PhD students. Hans Bodlaender (Utrecht University) is associated to the group as a part-time professor.

The TU Eindhoven and the Faculty of Mathematics and Computer Science. The TU Eindhoven (TU/e) was established in 1956 as a polytechnic. It has grown into a university with nine faculties. The TU/e now has approximately 3000 employees (incl. PhD students) and 8000 BSc and MSc students. The Department of Computer Science offers several bachelor and master programs, all of which are taught in English. It has eight well-established research groups, one of which is the Algorithms Group. The TU/e campus is in the center of Eindhoven. The city of Eindhoven is located in the south of the Netherlands. It is a lively city with about 200,000 inhabitants, making it the fifth largest city of the Netherlands. Including suburbs the population is about 400,000.

Being a PhD student in the Netherlands. In the Netherlands, every PhD student gets paid a salary; no additional grants are needed. Moreover, although PhD students sometimes take courses, there is no minimum requirement. Hence, PhD students are more like employees than like students. Indeed, the Dutch word for PhD student translates to "research trainee". The work of a PhD student may include assisting in courses of BSc or MSc programs of the department. This amounts to at most 20% of the time; the remaining time is spent on research and research-related activities. Foreign PhD students need not speak Dutch: it is easy to get by with English, not only at the university but also in everyday life.

We offer.

* A full-time temporary appointment for a period of 4 years, with an intermediate evaluation after 9 months;
* A gross salary of ? 2,125 per month in the first year increasing up to ? 2,717 per month in the fourth year;
* Support for your personal development and career planning including courses, summer schools, conference visits etc.;
* A research position in an enthusiastic and internationally renowned research group;
* A broad package of fringe benefits (e.g. excellent technical infrastructure, child daycare, savings schemes and excellent sport facilities).


More information. If you want to know more about the project, please contact Mark de Berg (mdberg@win.tue.nl) or Hans Bodlaender (h.l.bodlaender@tue.nl)

How to apply. Applications must be done through the Networks website:

http://www.thenetworkcenter.nl/Open-Positions/openposition/9/PhD-position-FPT-algorithms-for-geometric-network-problems-TU-Eindhoven-




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

Message: 3
Date: Tue, 17 Mar 2015 21:17:09 -0600
From: Jackie Blanco <jackie@sdiwc.info>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Fourth World Congress - SEMCMI2015 - Malaysia
Message-ID: <089092214be3fb6ab1d6fb9329b3ffbf@sdiwc.info>
Content-Type: text/plain; charset=US-ASCII; format=flowed

The International Conference on Software Engineering, Mobile Computing
and Media Informatics (SEMCMI2015)
- Part of The Fourth World Congress on Computing, Engineering and
Technology (WCET) -

Asia Pacific University of Technology and Innovation (APU)
Kuala Lumpur, Malaysia
September 8-10, 2015
http://sdiwc.net/conferences/semcmi2015/

All registered papers will be included in SDIWC Digital Library
================================================================
The proposed conference on the above theme will be held at Asia Pacific
University of Technology and Innovation (APU) on September 8-10, 2015
which aims to enable researchers build connections between different
digital applications. The conference welcomes papers on the following
(but not limited to) research topics:

*Software Engineering
Advanced Database Systems
Advanced Human-Computer Interaction
Artificial Intelligence
Data Mining
Economics of Innovation & Entrepreneurship
Electronic Circuits
Embedded Systems Design & Interfacing
Globalisation & the World Economy
Managing the International Enterprise
Service-Oriented Architectures
Spatial and Multimedia Databases
Systems Safety Engineering
Virtual Organisation Management
Advanced Embedded Systems
Algorithms & Data Structures
Carbon & Energy Management
Distributed Computing
Electrical Energy Conversion & Utilisation
Embedded Systems Design & Interfacing
Engineering Project Management
Information Security
Operating Systems Architecture
Signals, Systems & Control
Systems Engineering
Systems Thinking for Sustainability
Web Information Systems

*Mobile Computing
Access Control
Application Service Providers
Bluetooth
Broadband Wireless Networks
Enterprise Asset Management Software
Fixed Wireless Networks
Converged Networks
Data Security
PDA Operating Systems
Satellite Communications Systems
Wireless Application Development
Wireless Applications Software
Wireless Development Tools
Wireless Home Networks
Application Performance Management
Base Stations
Broadband Satellite Systems
Enhanced Messaging Service
Ethernet Cable
Fixed-mobile Convergence
Data Migration
Document Management
Voice Communications Software
Security Managers
Wireless Application Services Providers
Wireless Computing
Wireless Hardware
Wireless Infrared Communications

*Media Informatics
Computer Graphics/Animation/Visualisation
Data Communication
Digital Interactive Media
Game Design
Knowledge Management
Multimedia Technology
Speech/Image/Video Processing and Technology
Cooperative Work Environments
Designing Interactive Systems
E-Business
Internet Infrastructures
Management of Information
Security and Cryptography
Virtual and Augmented Reality

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

Important Dates
==============
Submission Dates : The submission is open from now until August 08,
2015
Notification of Acceptance : August 18, 2015 or 4 weeks from the
submission date
Camera Ready Submission : Open from now until August 29, 2015
Registration : Open from now until August 29, 2015
Conference Dates : September 8-10, 2015



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

Message: 4
Date: Wed, 18 Mar 2015 14:45:28 +0000
From: Sergio Garc?a Quiles <sergio.garcia-quiles@ed.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Lectureships in Mathematics of Data Science and in
Operational Research
Message-ID: <55098F88.1030704@ed.ac.uk>
Content-Type: text/plain; charset=utf-8; format=flowed

Lectureships in Mathematics of Data Science and in Operational Research

As part of a programme of major growth, the School of Mathematics is
advertising lectureships in the Mathematics of Data Science and in
Operational Research. We are looking for candidates of outstanding
talent or potential who will contribute significantly to activity in
these areas, and to our flourishing suite of MSc programmes (in areas
including OR).

This is an exciting time for the School, as a partner in a consortium
that will lead the UK?s Alan Turing Institute. Candidates with relevant
interests are encouraged.

http://www.maths.ed.ac.uk/jobs/lecturers_ds_or

Deadline for both vacancies: 5pm, 14 April 2015



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

Message: 5
Date: Wed, 18 Mar 2015 14:48:16 GMT
From: S B Cooper <pmt6sbc@maths.leeds.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Computability in Europe 2015: Call for Informal
Presentations
Message-ID: <201503181448.t2IEmG0k029316@maths.leeds.ac.uk>

-------------------------------------------------------------------
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3
http://fmi.unibuc.ro/CiE2015/
-------------------------------------------------------------------

FUNDING DEADLINE APPROACHING
- ASL STUDENT TRAVEL GRANTS: March 28, 2015

SUBMISSION DEADLINE FOR INFORMAL PRESENTATIONS: APRIL 24, 2015
-------------------------------------------------------------------

CALL FOR INFORMAL PRESENTATIONS

There is a remarkable difference in conference style between computer
science and mathematics conferences. Mathematics conferences allow
for informal presentations that are prepared very shortly before the
conference and inform the participants about current research and
work in progress. The format of computer science conferences with
pre-conference proceedings is not able to accommodate this form of
scientific communication.

Continuing the tradition of past CiE conferences, also this year's
CiE conference endeavours to get the best of both worlds. In addition
to the formal presentations based on our LNCS proceedings volume, we
invite researchers to present informal presentations. For this, please
send us a brief description of your talk (between one paragraph and
one page) by:

APRIL 24, 2015

Please submit your abstract electronically, via EasyChair
<https://www.easychair.org/login.cgi?conf=cie2015>,
selecting the category "Informal Presentation".

You will be notified whether your talk has been accepted for informal
presentation usually within a week or two after your submission.

If you intend to apply for the ASL Student Travel Award, you might
need us to confirm that your are going to give a presentation at
CiE 2015 (applications of students who are presenting get higher
priority). Therefore, we would like to ask you to submit your informal
presentations by March 25 so that we can send you the notification
before the ASL deadline of March 28.

FUNDING OPPORTUNITIES:

CiE 2015 has received funding from the ASL (Association for Symbolic
Logic) and EATCS (European Association for Theoretical Computer
Science) that allows students who are members of ASL or EATCS and
want to attend CiE 2015 to apply for travel funds or a reduction of
the early registration fee.

Preference will be given to presenters of accepted papers.

Applications for ASL travel grants have to be addressed directly to
ASL, with a strict deadline of March 28, 2015.

Applications for EATCS travel grants have to be sent to
cie2015@fmi.unibuc.ro
prior to the early registration deadline.

___________________________________________________________________
CiE 2015 http://fmi.unibuc.ro/CiE2015
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE) http://www.computability.de/journal
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE
___________________________________________________________________




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

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 85, Issue 20
**************************************

Wednesday, March 18, 2015

dmanet Digest, Vol 85, 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. SIROCCO 2015 - Innovation Award in Distributed Computing and
Invited Speakers (Chen Avin)
2. Non-Standard Multiobjective Optimization - Special Session at
EURO 2015 (Richard Allmendinger)
3. COCOA 2015 Call for Papers (Submission Deadline: July 15)
(Zaixin Lu)
4. Extended Deadline: Session on Multiobjective Optimization and
Decision-Making in Bioinformatics & Bioengineering at CIBCB 2015
in Niagara Falls (Richard Allmendinger)


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

Message: 1
Date: Sun, 15 Mar 2015 09:33:28 +0200
From: Chen Avin <avin@cse.bgu.ac.il>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] SIROCCO 2015 - Innovation Award in Distributed
Computing and Invited Speakers
Message-ID:
<CAB1dc2MVn=kQY=jWunia=3XQc7U2yD8p7mHndxknK0AVO_i45g@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

Dear colleagues,

1. We are happy to announce the winner of the SIROCCO Innovation award
in distributed computing for 2015: *Michel Raynal*. The
detailed announcement can be found bellow. Michel will give a talk at the
prize ceremony during the coming SIROCCCO in
Montserrat, Spain, July 15-17.
2. The Winner of the Innovation award will join the impressive list of
additional invited speakers (partial list).
- Amos Korman
- Bernhard H?upler
- Nati Linial
- Saket Navlakha

See you in Montserrat http://sirocco2015.cs.upb.de/venue.html
(submission deadline April 30th)

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

The Innovation award in distributed computing formal announcement:

Laudatio
It is a pleasure to award the 2014 SIROCCO Prize for Innovation in
distributed
computing to Michel Raynal. Michel has made numerous major
contributions to the field of distributed computing. The prize is awarded
for this
lifetime achievement of his, but especially for his contribution to the
research on
problems related to consensus (such as set agreement); even more
specifically,
we note here his work on the conditions-based approach to consensus.
This approach was a fresh and innovative way to look at a fundamental
problem,
thus a very good match for the spirit of the SIROCCO award.

The consensus problem and its celebrated FLP impossibility result are among
the
oldest, most seminal problems studied in the field of distributed
computing. More
generally, an important concern in distributed systems has been to identify
common behaviors of systems, and to design solutions that behave well in
those
scenarios. Researchers have typically looked at partially synchronous
executions,
in one way or another. Michel introduced a surprising and natural new
dimension
to the area. Consider a distributed system where consensus is trying to be
reached, among the values produced by a set of sensors, or by the votes
selecting
a president by a community. It is often the case that some combinations of
values,
which he called conditions, of the sensors or of the electors, are much
more likely
to occur than others. Michel came up with the idea of designing distributed
algorithms that try to adapt to such conditions.

In SIROCCO 2001, Michel considered the condition-based approach to solving
agreement problems. This work considers solutions to agreement problems,
when
some input combinations are known not to appear in system executions. The
idea
spawned a whole new and fruitful line research line, with many follow-up
contributions, including contributions by Michel himself. It has been
possible to
identify conditions that allow to solve various distributed tasks, in
various models
of computation, and in those cases where a solution exist, to study the time
needed to solve a task assuming a given condition on its inputs holds.

An impressive aspect of this work is that Michel has linked two seemingly
unrelated area: error correcting codes and agreement protocols (IEEE
Transactions on Computers 2007). In a nutshell, this captures the following
insight: an input vector for the consensus problem actually encodes a value
that
the processes have to decode in order to decide it. An exciting side-effect
of this
work is a new proof of the impossibility of designing perfect codes when
digit
erasures are possible. Very cleverly, Michel showed that the design of such
codes
is equivalent to solving consensus despite asynchrony and process crashes.
This
is a very ingenious and perceptive work.

Michel has also used the condition-based approach to establish a strong link
between impossibility results in asynchronous fault-prone systems and
efficiency
in synchronous systems. This is also a remarkable achievement that provides
a
better understanding of fundamental computability limitations in distributed
computing.

It is intuitively clear that although consensus is not solvable in
asynchronous
distributed systems where crash failures can occur, it is actually solvable
in most
executions of such a system, and in some sense randomized algorithms
formalize this claim. Michel?s ideas provide an orthogonal perspective,
where one can
quantify and characterize the structure of the inputs that allow solving
consensus
and other coordination tasks, establishing an essential link to the
topology
approach-based to fault tolerance.

Following its introduction by Michel, the innovative condition-based
approach was
investigated by many researchers leading to many follow-up papers, some of
which appeared in forums as prestigious as Journal of the ACM, and several
of
which were published in SIROCCO.

Michel is one of the most prolific researchers in distributed computing. He
belongs
to a very small group of researchers who are leaders in establishing
distributed
computing as a flourishing research area. In particular, he published 13
papers in
SIROCCO. In particular, in the list below, the first paper is the above
mentioned
SIROCCO paper on the condition-based approach [1].


The 2015 award committee:

Thomas Moscibroda (Microsoft), Guy Even (Tel Aviv University), Shay Kutten
(Technion)- chair, Andrzej Pelc (Universite du Quebec en Outaouais),
Masafumi Yamashita (Kyushu University)*


Selected publications related to Michel Raynal's contribution:

*1. **Achour Most?faoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
Efficient Condition-Based Consensus. SIROCCO 2001:275-292*

2. Achour Most?faoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy: A
Hierarchy of Conditions for Asynchronous Interactive Consistency. *PACT
2003*:130-140

3. Achour Most?faoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
Condition-Based Protocols for Set Agreement Problems. *DISC 2002*:48-62

4. Achour Most?faoui, Eric Mourgaya, Philippe Raipin Parv?dy, Michel
Raynal: Evaluating the Condition-Based Approach to Solve Consensus. *DSN
2003*:541-550

5. Achour Most?faoui, Sergio Rajsbaum, Michel Raynal: Conditions on
input vectors for consensus solvability in asynchronous distributed
systems. *J. ACM* 50(6):922-954 (2003). (Previously in *STOC* 2001.)

6. Achour Most?faoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
Condition-based consensus solvability: a hierarchy of conditions and
efficient protocols. *Distributed Computing *17(1):1-20 (2004). (Previously
in *PODC 2001*.)

7. Achour Most?faoui, Sergio Rajsbaum, Michel Raynal: Synchronous
condition-based consensus. *Distributed Computing* 18(5):325-343 (2006).
(Previously in *DISC 2003* and *DISC* 2004.)

8. Roy Friedman, Achour Most?faoui, Sergio Rajsbaum, Michel Raynal:
Asynchronous Agreement and Its Relation with Error-Correcting Codes. *IEEE
Trans. Computers* 56(7):865-875 (2007)

9. Achour Most?faoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
The Combined Power of Conditions and Information on Failures to Solve
Asynchronous Set Agreement. *SIAM J. Comput.* 38(4):1574-1601 (2008)
(Previously in *PODC* 2005.)

10. Yoram Moses, Michel Raynal: No Double Discount: Condition-Based
Simultaneity Yields Limited Gain. *Inf. Comput.* 214: 47-58 (2012)
(Previously in *DISC* 2008)

11. Fran?ois Bonnet, Michel Raynal: Conditions for Set Agreement with an
Application to Synchronous Systems. *J. Comput. Sci. Technol. *24(3):418-433
(2009). (Previously in *ICDCS* 2008.)



*
<https://mail.google.com/mail/u/0/#14bf9d79b827e501_14bf9afe44284147_14bf9adfa67dc5ea_14bf8de73c6fed6e_14bf8b7d77f5afdd_14bf5b2e93f29dac__ftnref1>
We wish to thank the nominators for the nomination and for contributing
heavily to this text



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

Message: 2
Date: Sun, 15 Mar 2015 13:33:45 +0000
From: Richard Allmendinger <richard.allmendinger@gmail.com>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Non-Standard Multiobjective Optimization - Special
Session at EURO 2015
Message-ID:
<CAG9V9fLAOrAm6Ono6XHzbkoNL3JOObJuxPm77g_APK9PX-vUCg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

Dear Colleagues,
??

We would like to invite you to submit an abstract to our session on

*Non-Standard Multiobjective Problems *

as part of the forthcoming EURO 27 Conference in Glasgow,
July 12-15, 2015 (http://www.euro2015.org/?). A detailed description of the
session is given below.

To submit your abstract, please visit http://www.euro-online.org/conf/euro27
and use the invitation code 1fe5a562. The submission deadline is on
March 16.

In order to submit a paper, you need to have a EURO account. If you do
not have one, please visit http://www.euro-online.org/web/accounts/register/
and sign up for a new account.

The session organizers,
Richard Allmendinger and Joshua Knowles?

##########################################


This session invites abstracts that address the development of optimization
techniques for non-standard multiobjective problems. The features of such
problems might include (but are not limited to) the following:


- Instead of evaluating the objective and constraint functions by
computational means, the execution of*physical experiments in the real
world* (i.e., cosmetics, detergents, pharmaceuticals, wind tunnel
experiments, taste experiments, to mention a few) is required. Such
experimental problems may be subject to time-consuming and expensive
evaluations, changing variables or objectives (e.g. due to an updated
problem formulation). Moreover, the evolution may be affected by
interruptions or unavailable resources, and the experimental equipment may
dictate some of the algorithm setup choices such as population size.


- The objective and/or constraint functions are *heterogeneous* in the
sense that some functions take longer to be evaluated than others, or are
more complex to optimize or satisfy than others due to differing landscape
structures, feasible regions and borders. Such problems may lead to missing
function values and introduce difficulties in converging to optima with
respect to some of the objective functions and/or satisfying some of the
constraints.


- The 'objective' functions include *subjective criteria*, such as taste
or comfort. Expert or crowd-sourced evaluations are needed.?


- The input and preferences of several disciplines (e.g. aerodynamics
and structural input in an aircraft design problem) needs to be accounted
for to make optimal decisions in a *multidisciplinary optimization
environment*. Challenges in such problems include the intelligent
combination of different preferences, shared variables and objectives, and
ensuring consistency in the decision-making process.


We encourage submission of abstracts describing new concepts, strategies,
challenges and decision-making techniques in or for non-standard
multiobjective problems. In addition, we are interested in application
studies discussing the power and applicability of these novel methods to
real-world problems.

If you have any questions related to the session, then please contact the
session organizers, Richard Allmendinger (r.allmendinger@ucl.ac.uk) and
Joshua Knowles (j.knowles@manchester.ac.uk).


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

Message: 3
Date: Tue, 17 Mar 2015 15:57:10 -0400
From: Zaixin Lu <zaixinlu@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] COCOA 2015 Call for Papers (Submission Deadline:
July 15)
Message-ID:
<CA+=UkVzK7Mv5eLzpUFNzwFZyKBgCTxrg=8ytBycOPv7zywdo8A@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

*COCOA 2015 Call for Papers*

*The 9th Annual International Conference on Combinatorial Optimization and
Applications*

http://theory.utdallas.edu/COCOA2015/

*December 18-20, 2015 Houston, Texas, USA*

The 9th Annual International Conference on Combinatorial Optimization and
Applications (COCOA 2015) will be held during December 18-20, 2015 in
Houston, Texas, USA. Original research papers in the areas of combinatorial
optimization and its applications are solicited. In addition to theoretical
results, we are particularly interested in submissions that report on
experimental and applied research of general algorithmic interest. Special
consideration will be given to research that is motivated by real-world
problems. Experimental and applied papers are expected to show convincingly
the usefulness and efficiency of the algorithms discussed in a practical
setting.

The topics include, but are not limited to:


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


*Important Dates*
Submission: July 15, 2015
Notification of Acceptance: Aug. 15, 2015
Final Version Submission: Sep. 1, 2015

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

*Publication*
The conference proceedings will be published by Springer-Verlag in the
Lecture Notes in Computer Science series. After the conference, selected
papers will be published in special issues of journals: Algorithmica,
Journal of Combinatorial Optimization, Theoretical Computer Science, and
Computational Social Networks.

*Awards*
The Best Paper and the Best Student Paper will be awarded. A paper is
eligible for the Best Student Paper if all authors are full-time students
at the time of submission. To indicate that a submission is eligible,
please add the phrase "Eligible for best student paper" as the last
sentence in the "Abstract" field in the web form on the submission server
as well as in the paper.

*General co-Chairs*
Wei Wayne Li, Texas Southern University
Weili Wu, University of Texas at Dallas

*Program Committee co-Chairs*
Zaixin Lu, Marywood University
Donghyun Kim, North Carolina Central University
Ding-Zhu Du, University of Texas at Dallas



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

Message: 4
Date: Tue, 17 Mar 2015 23:05:02 +0000
From: Richard Allmendinger <richard.allmendinger@gmail.com>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Extended Deadline: Session on Multiobjective
Optimization and Decision-Making in Bioinformatics & Bioengineering at
CIBCB 2015 in Niagara Falls
Message-ID:
<CAG9V9fKZgf3539jRWK_FRYaTm44LPNuq3oz94zx3spEkJ0MvKQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

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

CALL FOR PAPERS
************************************************************
***********************
*Special Session on Multiobjective Optimization and Decision-Making in
Bioinformatics and Bioengineering (MODMBB)*
2015 IEEE Conference on Computational Intelligence in Bioinformatics and
Computational Biology (CIBCB 2015)
August 12-15, 2015, Niagara Falls, Canada
http://www.ucl.ac.uk/~ucberal/SS-MODMBB-IEEE_CIBCB_2015.html
<http://www.ucl.ac.uk/~ucberal/SS-OMBB-IEEE_SSCI_2014.html>

Submission deadline: *3** April 2015*
Submission details: http://cibcb2015.cosc.brocku.ca/submission.html
<http://ieee-cis.org/conferences/ssci2014/upload.php>
************************************************************
***********************

Dear colleagues,


We cordially invite you to submit a paper to the Special Session on
*Multiobjective
Optimization and Decision-Making in Bioinformatics and Bioengineering
(MODMBB) *at the 2015 IEEE Conference on Computational Intelligence in
Bioinformatics and Computational Biology (CIBCB 2015) in Niagara Falls,
Canada.


We encourage submission of papers describing new concepts, strategies,
challenges and decision-making techniques in the area of Bioinformatics and
Bioengineering (BB). In addition, we are interested in application papers
discussing the power and applicability of these novel methods to real-world
multiobjective problems in BB. You are invited to submit papers that are
unpublished original work for this special session at CIBCB 2015. The
topics are, but not limited to, the following

* Multiobjective optimization techniques for Bioinformatics and
Bioengineering (BB)? problems
- Multiobjective evolutionary algorithms
- Swarm Intelligence
- Metaheuristics
- Hybrid optimization algorithms (combinations of heuristics and exact
methods)

* Multicriteria decision making techniques for BB problems
- Preference elicitation and representation
- Aggregation-based techniques
- Fuzzy logic-based techniques
- Bayesian-based techniques

* Experimental multiobjective optimization of BB problems
- Experimental optimization platforms
- Closed-loop multiobjective challenges
- Resourcing issues (interruptions, missing objective function values,
changes of variables, etc.)
- Closed-loop multiobjective applications

* Learning in multiobjective optimization of BB problems
- Link between Decision Maker's learning and model's learning
- Capturing and learning from user preferences
- Integrating multiobjective optimization with machine learning
- Interactive multiobjective learning and optimization techniques

* Tuning of multiobjective optimization and decision-making techniques for
BB problems
- Performance measures
- Test and benchmark problems
- Visualization techniques
- Optimization and visualization software

* Emerging Topics in multiobjective optimization and decision-kaking in BB
- Novel applications (process design, manufacturing, etc)
- Novel challenges (large-scale problems, dynamic problems, mixed integer
problems, uncertainty, expensive and limited evaluations, etc)
- Bilevel and multilevel optimization
- Interactive visualization techniques
- Multiobjective data mining
- Predictive fitness landscape design
- Many-objective optimization
- Surrogate methods


Submission Instructions
We welcome original contributions describing ongoing projects or completed
work. The instructions for authors, and links to LaTeX and Word templates
can be found at http://cibcb2015.cosc.brocku.ca/submission.html
<http://www.ieee-ssci.org/submission.html>

Key Dates
Paper Submissions due: *3 April 2015*
Notification of Acceptance: 22 May 2015
Camera-Ready Papers due: 26 June 2015

Organizers
Richard Allmendinger, University College London, UK
Sanaz Mostaghim, Otto von Guericke University of Magdeburg, Germany

Program Committee
Allmendinger Richard, University College London, UK
Ashlock Daniel, University of Guelph, Canada
Ashlock Wendy, York University, Canada
Branke J?rgen, University of Warwick, UK
Brown Michael, University of Maryland University College, USA
Coker James, University of Maryland University College, USA
Emmerich Michael, Leiden University, Netherlands
Farid Suzanne, University College London, UK
Handl Julia, University of Manchester, UK
Houghton Sheridan, Brock University, Canada
Jin Yaochu, University of Surrey, UK
Knowles Joshua, University of Manchester, UK
Langdon Bill, University College London, UK
Lavygina Anna, Imperial College London, UK
Mostaghim Sanaz, Otto von Guericke University Magdeburg, Germany
Wiese Kay, Simon Fraser University, Canada

Contact
For further information please contact Richard Allmendinger (
r.allmendinger@ucl.ac.uk)
??



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

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 85, Issue 19
**************************************

Tuesday, March 17, 2015

dmanet Digest, Vol 85, 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. Short-term postdoc position at KTH in dynamic, distributed,
and streaming graph algorithms (there are possibilities for
staying longer) (Danupon Nanongkai)
2. EURO 2015 --- Deadline Extension --- March 30
(Gerhard-Wilhelm Weber)
3. CFP: (EXTENDED DEADLINE) IEEE SmartVehicles 2015 - new
submission deadline is 22 March 2015! (Valerio Arnaboldi)
4. IEEE WoWMoM 2015 Workshop on Autonomic and Opportunistic
Communications (AOC) - DEADLINE EXTENDED (Elisabetta Biondi)
5. MCU'15: final CFP, extended deadline: 2015, March 26
(J?r?me DURAND-LOSE)


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

Message: 1
Date: Tue, 17 Mar 2015 01:05:33 +0100
From: Danupon Nanongkai <danupon@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Short-term postdoc position at KTH in dynamic,
distributed, and streaming graph algorithms (there are possibilities
for staying longer)
Message-ID:
<CAMmtLnhmTDGvYXQb5YyjF4yVSa1AedhccZW_TKm8AOtkA6mpdA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

A postdoctoral position is available in the Theoretical Computer Science
Department at KTH Royal Institute of Technology. A successful candidate
will work with Danupon Nanongkai (
https://sites.google.com/site/dannanongkai/), but is also encouraged to
persue his/her own research interest. The research focus for this position
will be on developing algorithms and hardness results for basic graph
problems in dynamic, distributed and streaming settings. Considered graph
problems include, but not limited to, shortest paths, maximum matching,
minimum cut, and routing. Candidates that have backgrounds related to these
areas and problems are encouraged to apply. Related areas do not only
include dynamic, distributed and streaming algorithms, but also online
algorithms, sublinear-time algorithms, property testing, and graph
algorithms in general.

This is a full-time position. It is initially available for 6 months. Those
who prefer a long-term position are encouraged to contact me to discuss the
possibilities. The successful candidate is expected to start in July 2015,
although this is to some extent negotiable.

To apply, send your CV and a list of references to danupon@gmail.com.

About KTH: KTH Royal Institute of Technology is the largest and oldest
technical university in Sweden. No less than one-third of Sweden's
technical research and engineering education capacity at university level
is provided by KTH. The School of Computer Science and Communication (KTH
CSC) is one of the leading research environments in Information Technology
in Sweden with activities at KTH and partly at Stockholm University. The
Theoretical Computer Science department (http://www.csc.kth.se/tcs/) offers
a strong research environment covering a wide range of research topics such
as complexity theory and approximation algorithms, computer and network
security, cryptography, formal methods and natural language processing. The
group has a consistent track record of publishing in the leading
theoretical computer science conferences and journals worldwide, and the
research conducted here has attracted numerous international awards and
grants in recent years.



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

Message: 2
Date: Tue, 17 Mar 2015 08:58:04 +0200
From: Gerhard-Wilhelm Weber <gweber@metu.edu.tr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] EURO 2015 --- Deadline Extension --- March 30
Message-ID: <20150317085804.20336h3h5oyk98qk@horde.metu.edu.tr>
Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes";
format="flowed"

EURO 2015 in Glasgow
www.euro2015.org



Due to a large number of requests, the program committee has decided
to extend the deadline for submission of abstracts until

Monday, March 30, 2015.

We already have received more than 1900 interesting abstracts, and
more than 550 sessions have been organized, so please sign up for this
unique event where we can share knowledge and get inspired.

Below is the most recent CfP.

Professor Tim Bedford, Professor Val Belton and Professor David Pisinger
Co-chairs of EURO 2015


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


Submit Your Abstract
By Monday 30 March (extended deadline)



Dear Colleagues and Friends,

The next European Conference on Operational Research, takes place at
the University of Strathclyde, Glasgow, UK, from 12-15 July 2015
(www.euro2015.org). One of the main themes is "Operational Research in
Practice".

It is the place to present your work and find out about cutting edge
ideas emerging from the Operational Research community.

We have already received more than 550 session proposals but new
proposals are still being received and are welcome.

Abstract submission is still open with extended deadline Monday 30 March 2015.


Visiting Glasgow:

In addition to the conference, EURO2015 also provides the opportunity
to visit the lively city of Glasgow and the beautiful countryside of
Scotland. Host to the 2014 Commonwealth Games, Glasgow was recently
voted the 'friendliest city in the world' in a Rough Guides' poll and
named a Must Visit destination by The Guardian and The New York Times,
earning its reputation as one of the world's greatest cities.

You can expect a very warm welcome and when you add world-class
architecture, a vibrant and cosmopolitan restaurant scene described by
Lonely Planet as 'the best and most eclectic dining city in Europe',
breathtaking parks, remarkable art galleries and museums, including
the 2013 European Museum of the Year, and outstanding shopping, you
might never want to leave!

One of the beauties of Glasgow is its compact size - you can see a lot
of the city in a remarkably short space of time. And in only a short
journey from the city centre you can be exploring ancient castles,
picture-postcard distilleries, tranquil lochs, outstanding golf
courses and miles of unspoilt coastline.


The EURO2015 Conference:

Just to remind you. Practitioners, students, researchers and academics
interested in any branch of Operational Research, mathematical
modelling or economic analysis are invited to submit abstracts or
organise sessions in EURO2015. If you would like to organise a
session, please contact the Programme Committee.

More information is on the website www.euro2015.org, including details
of the main topical areas, the Programme and Organising Committee
members, and details of how to submit your abstract.


We are really looking forward to welcoming you to Glasgow.

Kind regards

Professor Tim Bedford, Professor Val Belton and Professor David Pisinger
Co-chairs of EURO2015



Contact:

EURO2015 Conference Secretariat
c/o MCI UK Ltd
Suite 4.1
Turnberry House
175 West George Street
Glasgow
G2 2LB

Tel: +44 (0) 141 354 1660
Twitter: @euroconf2015
Email: euro2015@mci-group.com

www.euro2015.org







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

Message: 3
Date: Tue, 17 Mar 2015 13:03:01 +0100
From: Valerio Arnaboldi<smartvehicles2015@iit.cnr.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: (EXTENDED DEADLINE) IEEE SmartVehicles 2015 -
new submission deadline is 22 March 2015!
Message-ID: <550817f5.kJX8wYGb5KCK0A9K%smartvehicles2015@iit.cnr.it>
Content-Type: text/plain; charset=us-ascii


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

Paper Registration Deadline: March 22, 2015 (EXTENDED)
Full manuscript due: March 22, 2015 (EXTENDED)
Acceptance notification: April 20, 2015

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

CALL FOR PAPERS

The Second IEEE WoWMoM Workshop on
Smart Vehicles: Connectivity Technologies and ITS Applications
(SmartVehicles 2015)
June 14-17, 2015, Boston, MA, USA
http://cnd.iit.cnr.it/smartvehicles2015

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

SCOPE AND OVERVIEW
--------------------------------
The development of smart vehicles and more sustainable transportation systems has emerged as one of the most fundamental societal challenges of the next decade. At the same time, automotive manufacturers are striving to make vehicles safer and more environmentally friendly to fulfil consumers' expectations and new regulations. To revolutionise our mobile lifestyle towards a more sustainable and connected future it is of paramount importance to develop innovative cooperative systems enabling road users and other actors to exchange information in real time and in an autonomous manner, pervasive sensing to monitor the status of vehicles and the surroundings, big data analytics for the processing of sheer amount of data coming from the transportation infrastructure, middleware platforms for information management and sharing, and appropriate interaction interfaces between drivers and vehicles. Clearly, the seamless integration between mobile devices, vehicular communication netw!
orks, and information and transportation systems will face a number of technical, economical and regulatory challenges.


Authors are encouraged to submit full papers presenting recent developments, current research challenges and future directions in the use of networking, communications, data management, and applications to realise vehicular mobility systems that are more connected, sustainable and safe.

Topics of interest for SmartVehicles 2015 include, but are not limited to:

+ Vehicular Network as a Sensor Network;
+ V2V, V2I and V2X communications
+ Vehicular mobility support in next-generation wireless technologies
+ Communications protocol design (MAC, routing, data dissemination)
+ Data storage, management, and retrieval in vehicular networks
+ Solutions to connect vehicles with the Internet
+ Big data analytics for ITS applications
+ Security and privacy in ITS applications
+ Multimedia applications, infotainment
+ Cooperative driving, autonomous and smart vehicles
+ Traffic management and efficiency applications
+ Electrification of transportation systems
+ Simulation environments, experimental testbeds, field operational tests
+ Mobile (smart) device integration in vehicles and transport systems
+ Integration of cloud technologies in ITS applications

PAPER SUBMISSION AND PUBLICATION
--------------------------------
Submission will be managed electronically through EDAS (http://edas.info/N19487).

Papers should neither have been published elsewhere nor being currently under review by another conference or journal. Manuscripts are limited to 6 pages, single spacing, double column, and must strictly adhere to the template format. Guidelines on paper submission and formatting are available at: http://cnd.iit.cnr.it/smartvehicles2015

Accepted papers will appear in the symposium proceedings published by IEEE. Workshop papers will be included and indexed in the IEEE Digital Library (IEEEXplore), showing their affiliation with IEEE WoWMoM. At least one author of each accepted paper is required to register and present his/her work at the workshop in order for that paper to appear in the proceedings.


IMPORTANT DATES
---------------
Paper Registration Deadline: March 22, 2015 (EXTENDED)
Paper Submission Deadline: March 22, 2015 (EXTENDED)
Notification Deadline: April 20, 2015
Workshop Date: June 14-17, 2015


ORGANISING COMMITTEE
--------------------

Workshop Co-Chairs
Raffaele Bruno, IIT, CNR, Italy
Salil Kanhere, UNSW, Australia
John B. Kenney, Toyota InfoTechnology Center, USA

Publicity Chair
Valerio Arnaboldi, IIT, CNR, Italy

Program Committee
Jose M. Barcelo-Ordinas, Universitat Politecnica de Catalunya, Spain
Gaurav Bansal, Toyota InfoTechnology Center, USA
Azzedine Boukerche, University of Ottawa, Canada
Maria Calderon, Universidad Carlos III de Madrid, Spain
David Eckhoff, University of Erlangen, Germany
Marco Di Felice, University of Bologna, Italy
Marco Fiore, IEIIT-CNR, Italy
Emma Fitzgerald, Lund University, Sweden
Raphael Frank, University of Luxembourg, Luxembourg
Javier Gozalvez, University Miguel Hernandez, Spain
Jerome Harri, EURECOM, France
Hannes Hartenstein, Karlsruhe Institute of Technology, Germany
Geert Heijenk, University of Twente, Netherlands
Daniel Jiang, Mercedes-Benz R&D North America, USA
Frank Kargl, Ulm University, Germany
Kun-chan Lan, National Cheng Kung University, Taiwan
Evangelos Mitsakis, Centre for Research and Technology Hellas, Greece
Radovan Miucic, Honda R&D, USA
Panagiotis Papadimitratos, KTH, Sweden
Yves Roudier, EURECOM, France
Robert Schmidt, Denso Automotive Dtld. GmbH, Germany
Katrin Sjoberg, Volvo, Sweden
Erik Strom, Chalmers University of Technology, Sweden
Alexey Vinel, Halmstad University, Sweden
Alberto Zanella, IEIIT-CNR, Italy



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

Message: 4
Date: Tue, 17 Mar 2015 15:34:01 +0100
From: Elisabetta Biondi<aoc2015_publicity@iit.cnr.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] IEEE WoWMoM 2015 Workshop on Autonomic and
Opportunistic Communications (AOC) - DEADLINE EXTENDED
Message-ID: <55083b59.syiXcxjDyhTHV0CV%aoc2015_publicity@iit.cnr.it>
Content-Type: text/plain; charset=us-ascii

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

Full manuscript due: March 20, 2015 (EXTENDED)
Acceptance notification: April 20, 2015
---------------------------------------------------------------------

CALL FOR PAPERS

The Ninth IEEE International Workshop on
Autonomic and Opportunistic Communications
(AOC 2015)

http://cnd.iit.cnr.it/aoc2015

sponsored by
IEEE Computer Society,
EU FP7 MOTO Project

June 14-17 2015, Boston, MA, USA



The diffusion of lightweight, powerful portable devices, also enriched with a
variety of sensing capabilities, is enabling new ways for users' communication,
and laying the foundation for realizing the ubiquitous networking idea. Acting
either as the main communication mode or as complement to existing mobile
network infrastructures, opportunistic networking can leverage the mobility of
end users and enhance their communication capabilities. The opportunistic
exploitation of extemporary contacts among the users of the network paves the
way to a number of applications but also poses new and challenging problems to
the networking research community. The AOC 2015 workshop aims at serving as a
meeting point for people working in the area and a forum for exchanging ideas,
discussing solutions, and sharing experiences among researchers, professionals,
and application developers, both from industry and academia. As with the
previous eight editions of the AOC workshop series, the scope of this year's
workshop will remain on general issues related to opportunistic networking and
computing. Yet, AOC 2015 will have a primary interest in new directions of
opportunistic communications, such as mobile social networking, autonomous
solutions for smart cities, big data for autonomic and opportunistic systems
service composition techniques, scenarios of co-existence with infrastructure
networks, and insights to their operation coming from other disciplines such as
game theory and cognitive psychology. The workshop will solicit original papers
addressing theoretical and practical aspects of autonomic and opportunistic
communications but also papers describing prototype implementations and
deployments.


Topics of interest for AOC 2015 include, but are not limited to:

- Techniques for data dissemination and replication
- Context and social awareness mechanisms and algorithms
- Autonomous and self-adaptive systems for smart cities
- Autonomous solutions for IoT and cyber-physical systems
- Big data for autonomic and opportunistic systems
- Mobile social networking algorithms and applications
- Co-existence of opportunistic networks with infrastructure mobile wireless
networks
- Mobility models and statistical analysis of mobility traces
- Service composition in autonomic and opportunistic networks
- Cognition-driven information processing and decision making
- Performance modelling, scaling laws, and fundamental limits for autonomic and
opportunistic communications
- Participatory and urban sensing in autonomic and opportunistic networks
- Game-theoretic insights to the operation of autonomic and opportunistic
networks
- Trust, security, and reputation
- Autonomic and opportunistic communication testbeds and prototypes, measurement
data from real experiments
- Socio-economic models for autonomic and opportunistic communications
- Autonomic and opportunistic solutions for mobile cloud applications
- Applications and middleware support
- Routing, transport, and reliability issues



PAPER SUBMISSION AND PUBLICATION
------------------------------------------------------------------------
All submissions must describe original research, not published or
currently under review for another workshop, conference, or journal.
Papers must be submitted electronically through EDAS. You can find
detailed submission instructions at:
http://cnd.iit.cnr.it/aoc2015/submission.html

IEEE AOC 2015 is using the EDAS Conference Management Software.
Paper submission is possible via this link:
http://edas.info/N19275

Manuscripts are limited to 6 pages, single spacing, double column, and must strictly adhere to the IEEE conference template format. Guidelines on paper submission and formatting are available at http://cnd.iit.cnr.it/aoc2015/submission.html

********************************************************************************
Submission implies the willingness of at least one author to attend the workshop
and present the paper. Accepted papers will be included in the proceedings of
IEEE WoWMoM 2015 and published in the IEEE Digital Library. Workshop organizers
reserve the right to exclude a paper from distribution after the workshop
(e.g., removal from IEEE Xplore) if the paper is not presented at the conference.

There will be no separate registration for workshop, but one single registration
will cover both conference and workshops participation. At least one author of
each accepted paper is required and present his/her work at the workshop.
********************************************************************************

EDITORIAL FOLLOW-UP
------------------------------------------------------------------------
Extended versions of workshop selected papers will be considered for possible
fast track publication on the Computer Communications Journal (Elsevier).

IMPORTANT DATES (EXTENDED DEADLINES)
------------------------------------------------------------------------
- Full manuscript due: March 20, 2015 (EXTENDED)
- Acceptance notification: April 20, 2015
- Camera Ready: May 7, 2015


CONTACTS
------------------------------------------------------------------------
For further information, please visit the conference website at
http://cnd.iit.cnr.it/aoc2015, or contact the PC Chairs:
aoc2015@iit.cnr.it


ORGANIZING COMMITTEE
------------------------------------------------------------------------
WORKSHOP Co-Chairs
Lorenzo Valerio, IIT-CNR, Italy
Matteo Mordacchini, IIT-CNR, Italy

STEERING Committee
Marco Conti, IIT-CNR, Italy
Silvia Giordano, SUPSI, Switzerland
Ioannis Stavrakakis, University of Athens, Greece

PUBLICITY Chair
Elisabetta Biondi, IIT-CNR, Italy

PROGRAM Committee
Andreea Picu, ETH Zurich, Switzerland
Anna Forster, SUPSI, Switzerland
Chiara Boldrini, IIT-CNR, Italy
Christian Rohner, Uppsala University, Sweden
Daniele Miorandi, Create-net, Italy
Daniele Puccinelli, SUPSI, Switzerland
Eiko Yoneki, University of Cambridge, UK
Elena Pagani, University of Milano, Italy
Eleonora Borgia, IIT-CNR, Italy
Franck Legendre, ETH Zurich, Switzerland
Franco Zambonelli, University of Modena and Reggio Emilia, Italy
Gunnar Karlsson, KTH, Sweden
Hongyi Wu, University of Louisiana at Lafayette, USA
Jian-Nong Cao, Hong Kong Polytechnic University, HK
Jorg Ott, Aalto University, Finland
Katia Obraczka, University of California Santa Cruz, USA
Konstantinos Oikonomou, Ionian University, Greece
Kyunghan Lee, North Carolina State University, USA
Michela Papandrea, SUSPSI, Switzerland
Melek Onen, EURECOM, France
Nils Aschenbruck, University of Osnabruck, Germany
Roger Whitaker, Cardiff University, UK
Sebastian Zander, Swinbourne University of Technology, Australia
Serge Fdida, UPMC Sorbonne Universites, France
Thrasyvoulos Spyropoulos, EURECOM, France
Tristan Henderson, University of St Andrews, United Kingdom
Valerio Arnaboldi, IIT-CNR, Italy
Valtteri Niemi, University of Turku, Finland
Vania Conan, Thales Communication and Security, France


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

Message: 5
Date: Tue, 17 Mar 2015 15:53:04 +0100
From: J?r?me DURAND-LOSE <jerome.durand-lose@univ-orleans.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] MCU'15: final CFP, extended deadline: 2015, March 26
Message-ID: <55083FD0.5050406@univ-orleans.fr>
Content-Type: text/plain; charset=utf-8


Dear Colleagues,

Due to several requests the deadline for submissions to MCU'15 is extended,
please find the final call for papers below.

************************************************************************
7th International conference MCU '15

Machines, Computations and Universality 2015

Famagusta, North-Cyprus, 9-11 September 2015


FINAL CALL FOR PAPERS - EXTENDED DEADLINE FOR SUBMISSIONS: 26 March 2015


The International conference MCU series traces its roots back to the
mid 90's, and has always been concerned with gaining a deeper
understanding of computation and universality through the study of
models of general purpose computation.
The MCU conference series was initiated in Paris in 1995. Following
editions were held in Metz in 1998, in Chisinau in 2001, in
St. Petersburg in 2004, in Orleans in 2007, and in Zurich in 2013.


SCOPE

The scope of the conference topics includes, but is not limited to,
computation in the setting of various discrete models (Turing
machines, register machines, cellular automata, tile assembly systems,
rewriting systems, molecular computing models, neural models...) and
analog and hybrid models (BSS machines, infinite time cellular
automata, real machines, quantum computing...) and the meaning and
implantation of universality in these contexts. Particular emphasis is
given towards search for frontiers between decidability and
undecidability in the various models, search for the simplest
universal models, computational complexity of predicting the evolution
of computations in the various models... Parallel computing models
and their connections to decidability, complexity and universality.


TOPICS ADDRESSED

MCU 2015 conference topics include, but not exclusively:

* Analog computation
* Automata theory
* Cellular automata
* Classical computability and degree structures
* Computability theoretic aspects of programs
* Computable analysis and real computation
* Computable structures and models
* Continuous computing
* Decidability of theories
* DNA computing, self-assembly and tiling
* Dynamical systems and computational models
* Emerging and non-standard models of computation
* Finite model theory
* Generalized recursion theory
* Higher type computability
* Hypercomputational models
* Infinite time Turing machines
* Membrane computing
* Molecular computation
* Morphogenesis and developmental biology
* Multi-agent systems
* Natural computation and Hybrid systems
* Neural nets and connectionist models
* Physics and computability
* Proof theory and computability
* Randomness and Kolmogorov complexity
* Relativistic computation
* Swarm intelligence and self-organisation
* Theory of Petri nets
* Turing, Counter, Register, Signal machines
* Universality of systems

We particularly welcome submissions in emergent areas, such as
parallel models of computing, bioinformatics and unconventional
computation...


IMPORTANT DATES

Submission Deadline: 26 March 2015
Notification of authors: 27 May 2015
Deadline for final version: 20 June 2015


SUBMISSIONS

Authors of accepted papers are expected to present their work at the
conference. Submitted papers must describe work not previously
published, and they must neither be accepted nor under review at a
journal or at another conference with refereed proceedings.
Authors are required to submit their manuscripts electronically in PDF
using the LNCS style. Authors using LaTeX can download the needed macros
at Springer-Verlag site. Papers should not exceed 15 pages; full proofs
may appear in a clearly marked technical appendix which will be read at
the reviewers' discretion.
The submission process is managed by EasyChair.

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

The proceedings will be available at the conference venue. It will be an
LNCS volume by Springer Verlag.

There will be a best paper and a best student paper award.


INVITED SPEAKERS

* Matthew Cook (University of Z?rich and ETH Z?rich, Switzerland)
* Jetty Kleijn (Leiden University, The Netherlands)
* Linqiang Pan (Huazhong University of Science and Technology, China)
* Anne Siegel (IRISA/CNRS, Dyliss, France)
* Mike Stannett (University of Sheffield, UK)


PROGRAM COMMITTEE

* Andrew Adamatzky, University of the West of England, UK
* Rza Bashirov, Eastern Mediterranean University, Famagusta
* Laurent Bienvenu, CNRS, Universit? Paris Diderot
* Erzs?bet Csuhaj-Varj?, E?tv?s Lor?nd University, Hungary
* J?r?me Durand-Lose, University of Orl?ans, France (co-chair)
* Henning Fernau, University of Trier, Germany
* Rudolf Freund, University of Vienna, Austria
* Gabriel Istrate, West University of Timisoara, Romania
* Jarkko Kari, University of Turku, Finland
* Martin Kutrib, Universit?t Gie?en, Germany
* Peter Leupold, University of Leipzig, Germany
* Maurice Margenstern, University of Lorraine, France
* Kenichi Morita, Hiroshima University, Japan
* Benedek Nagy, Eastern Mediterranean University, Famagusta and
University of Debrecen, Hungary (co-chair)
* Turlough Neary, University of Z?rich and ETH Z?rich
* Matthew Patitz, University of Arkansas, USA
* Gheorghe Paun, Romanian Academy, Bucharest, Romania
* Igor Potapov, University of Liverpool, UK
* Kumbakonam Govindarajan Subramanian, University of Science, Malaysia
* Klaus Sutner, University Carnegy-Mellon, USA
* Gy?rgy Vaszil, University of Debrecen, Hungary
* Sergey Verlan, University of Paris Est, France


Contact: Benedek Nagy - mcu2015 (at) emu.edu.tr
J?r?me Durand-Lose - jerome.durand-lose (at) univ-orleans.fr
Website: http://mcu2015.emu.edu.tr
************************************************************************


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

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 85, Issue 18
**************************************