Theory Announcements: July 2014

Thursday, July 31, 2014

[DMANET] 3rd Call for Papers NetSys 2015

**** Apologies if you receive multiple copies of this message ****

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

NetSys 2015
2nd International Conference on Networked Systems
http://www.netsys2015.com

Cottbus, Germany, March 9-13, 2015
========================================================================

The Conference on Networked Systems (NetSys 2015) provides an
international forum for engineers and scientists in academia, industry,
and government to discuss recent innovations in the realm of networked
systems – including aspects of networking, distributed systems,
communications, middleware, and applications. NetSys is a biennial
conference that originates from the major scientific event on networked
systems in German-speaking countries KiVS (Kommunikation in Verteilten
Systemen) – a series of conferences that was initiated 35 years ago. In
2013, NetSys was first organized on international scale in Stuttgart.
NetSys is organized by the special interest group "Communication and
Distributed Systems" (KUVS), which is anchored both in the German
Computer Science society (Gesellschaft für Informatik (GI)) and in the
Information Technology society (Informationstechnische Gesellschaft im
VDE (ITG)). The conference proceedings will be submitted to IEEE
Xplore (R).

NetSys solicits submission of high-quality, original scientific papers
presenting novel research on the wide range of networked systems,
including but not limited to:

* Network architectures and protocols
* Transport- and application-layer protocols
* Emerging networked applications
* Peer-to-peer and overlay networks
* Software-defined networking
* SOA, Web services, and mobile services
* Cloud computing
* Virtualization in networked systems
* Social networks
* Internet of Things
* Cyber-physical systems
* Smart grid
* Cyber security and privacy
* Mobile, ad-hoc, opportunistic, vehicular and sensor networks
* Middleware architectures and platforms for networked systems
* Methods for design, implementation, and analysis of networked systems

Separate workshops, tutorials, demonstrator presentations, and a
doctoral forum will complement the technical sessions.

Important Dates:
----------------
* Paper Registration: August, 25th, 2014
* Paper Submission: September 1st, 2014
* Author Notification: November 8th, 2014
* Final Manuscript: December 10th, 2014

Submission Guidelines:
----------------------
All submissions must describe original research, not published or
currently under review for another workshop, conference, or journal.
Papers must be submitted electronically in PDF format via the
conference submission website
(see http://www.netsys2015.com/calls/call-for-papers/ for further
information). Submissions should be restricted to 8 camera-ready pages
and must be formatted in IEEE style (10pt font, double column, US
letter size [8.5 x 11 inches]).

General Chairs:
---------------
H. König, BTU Cottbus, Germany
P. Langendörfer, IHP Frankfurt (Oder), Germany

Program Chairs:
------------------
K. Zieliński, AGH Krakow, Poland
H. König, BTU Cottbus, Germany
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

14 PhD scholarships 2014 -- Computer Science -- Pisa

********** PLEASE POST ************

We would like to announce 14 grants at the PhD in Computer Science of the University of Pisa:

http://dottorato.unipi.it/index.php/en/competition-for-admission-academic-year-2014-2015.html

The deadline for applications is September 5th, 2014, and the selection will be made on CV, reference letters and an interview, also via teleconferencing (check *carefully* the relevant fields required).

For further details please preferably contact

Mrs Enrico Carpentras <enrico@di.unipi.it>

or otherwise the chairman of the PhD Programme

Prof. Pierpaolo Degano <degano@di.unipi.it>

Tuesday, July 29, 2014

[DMANET] Graph Drawing (Call for Posters)

Call for Posters - Graph Drawing 2014
22nd International Symposium on Graph Drawing
September 24-26, 2014 * Wuerzburg, Germany
http://gd2014.informatik.uni-wuerzburg.de/

Graph Drawing is concerned with the geometric representation of graphs
and networks and the algorithmic methods for visualizing them. It is
motivated by applications where it is crucial to visually analyze and
interact with relational datasets. Examples of such application areas
include social sciences, Internet and Web computing, information
systems, computational biology, networking, VLSI circuit design, and
software engineering.

The International Symposium on Graph Drawing is the main annual event
in this area and will be hosted by the University of Wuerzburg from
September 24 to 26, 2014, in Wuerzburg, Germany. Researchers and
practitioners working on any aspect of graph drawing and network
visualization are invited to contribute papers and posters and to
participate in the symposium and the graph drawing contest.

POSTERS

Submissions of posters on graph drawing and related areas are
currently being solicited. The poster session will provide a forum for
the communication of late-breaking research results (WHICH MAY ALSO
APPEAR ELSEWHERE) to the graph drawing community. Posters should be
accompanied by an abstract (up to two pages in the single-spaced LNCS
style).

Abstract and poster must be submitted as a single pdf document via the
conference web site by August 19 (23:59 GMT). Notification of poster
acceptance will be made by August 29.

The maximum size for any poster is A0 (84,1 cm x 118,9 cm). The
posters must be in portrait mode.

BEST POSTER AWARD

To recognize the effort of participants in preparing and presenting
their posters in a clear and elegant way, a best-poster award will be
given this year.

IMPORTANT DATES

All deadlines are 23:59 GMT and fixed. There will be no extensions.

o Poster submission deadline: August 19
o Notification of poster acceptance: August 29
o Final versions due: September 3
o Contest submission deadline: September 22
o PhD School (CCC): September 22-23
o Symposium on Graph Drawing: September 24-26

INVITED SPEAKERS

Oswin Aichholzer, TU Graz
Jean-Daniel Fekete, INRIA, Paris

PROGRAM COMMITTEE

Patrizio Angelini, Univ. Roma Tre
Daniel Archambault, Swansea Univ.
David Auber, LaBRI, Univ. Bordeaux
Michael Bekos, Nat. Tech. Univ. Athens
Anastasia Bezerianos, LRI-Univ. Paris-Sud
Franz Brandenburg, Univ. Passau
Erin Chambers, St. Louis Univ.
Stephan Diehl, Univ. Trier
Christian Duncan (co-chair), Quinnipiac Univ.
Tim Dwyer, Monash Univ.
David Eppstein, Univ. of California, Irvine
Emden Gansner, AT&T Research Labs
Michael Kaufmann, Univ. Tuebingen
Stephen Kobourov, Univ. of Arizona
Jan Kratochvil, Charles Univ. Prague
Giuseppe Liotta, Univ. of Perugia
Maarten Loeffler, Utrecht Univ.
Anna Lubiw, Univ. of Waterloo
Petra Mutzel, Univ. Dortmund
Lev Nachmanson, Microsoft Research
Antonios Symvonis (co-chair), Nat. Tech. Univ. Athens
Ioannis Tollis, Univ. of Crete
Dorothea Wagner, Karlsruhe Inst. Tech.
Hsu-Chun Yen, Nat. Taiwan Univ.

ORGANIZING COMMITTEE

Krzysztof Fleszar, Univ. of Würzburg
Philipp Kindermann, Univ. of Würzburg
Joachim Spoerhase, Univ. of Würzburg
Alexander Wolff (chair), Univ. of Würzburg

CONTEST COMMITTEE

Carsten Gutwenger (chair), TU Dortmund
Maarten Loeffler, Utrecht Univ.
Lev Nachmanson, Microsoft Research
Ignaz Rutter, Karlsruhe Inst. Tech.

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

Monday, July 28, 2014

[DMANET] W2-Professorships in Mathematics and quatitative Economics at HCM (Bonn)

The Hausdorff Center for Mathematics (HCM) at the University of Bonn
brings together researchers in Theoretical and Applied Mathematics, and
Mathematical Economics. In this framework, the center is looking forward
to filling up to four

W2-Professorships
("Bonn Junior Fellows")

within the next few years. These are temporary positions for a period of
five years. To some of these positions, a tenure-track option is
associated, and, in exceptional cases, a position may be tenured
immediately.

The University of Bonn is an equal opportunity employer and is committed
to increase the number of female professors in disciplines where they
are underrepresented, in particular on tenured positions. It is
therefore intended to fill about half of the positions offered with
women. Women are strongly encouraged to apply. Preference will be given
to suitably qualified women or persons with disabilities, all other
considerations being equal.
The general conditions of employment are according to § 36 of the Higher
Education Act of North Rhine-Westphalia (Hochschulgesetz des Landes
Nordrhein-Westfalen).

The professorships.
The professorships intend to encourage independent research by
outstanding young researchers, in analogy to the research groups of the
"Max-Planck-Society" or the "Emmy-Noether-Program" of the German
Research Foundation. The professorships are endowed with travel and
guest funds, and with a postdoc position during the initial period. Bonn
Junior Fellows also participate in the additional resources of the
Hausdorff Center. Professors are encouraged to supervise doctoral
students. For an initial period, teaching obligations amount to four
hours per week during semesters.

The candidates.
We are looking for young researchers holding a doctoral degree who are
about to develop their own research agenda and who have already
demonstrated their scientific independence by relevant publications.
Candidates should have some international research experience. German
language skills are not required.

Research focus.
We seek candidates who fit into the broad spectrum of the Cluster of
Excellence.

Depending on the respective research focus, candidates become members of
the "Faculty of Mathematics and Natural Sciences" or of the "Faculty of
Law and Economics" at the University of Bonn.
Not all positions will be assigned at the same time; there will be
several separate selection rounds.

The deadline for the third application round is 11th October 2014.
Expected starting date is not later than 1st October 2015. Deadlines for
the following rounds and further details will be published at:
www.hcm.uni-bonn.de/opportunities/bonn-junior-fellows

Applications should be sent, using our online application form
www.hcm.unibonn.de/bjf/application, to the joint hiring committee: Prof.
Dr. Karl-Theodor Sturm, Coordinator Hausdorff Center for Mathematics,
Endenicher Allee 62, D-53115 Bonn, Germany

--
Daniela Schmidt

Administrative Assistant
Hausdorff Center for Mathematics
Endenicher Allee 62, Villa Maria, Room 0.005
53115 Bonn
Tel: +49-228-73-4881, Fax: +49-228-73-62251
E-Mail: daniela.schmidt@hcm.uni-bonn.de

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

[DMANET] Postdoctoral Positions in Mathematics and quantitative Economics at HCM (Bonn)

Postdoctoral Positions

The Hausdorff Center for Mathematics (HCM) at Bonn University offers
several postdoctoral positions in all fields of mathematics and
quantitative economics. The duration of these positions is 2 years.
Expected starting date is no later than October 2015. There may be an
option of extension by up to one year, depending on the availability of
funding. There are no teaching obligations but such opportunities are
provided if desired by the candidates.

Your application should contain your CV (with the grade for the
dissertation if applicable), a publication list and a research plan
relating to the research in HCM. Moreover, you have to choose one of the
ten HCM-Research-Areas as well as a potential local postdoctoral mentor
from among the professors in HCM listed as leaders and investigators of
the respective research area whom you are requested to contact regarding
the proposed research plan prior to submitting your application.
Applicants who have not yet completed their PhD are requested to include
a two page outline of their dissertation project comprising results up
to now as well as a detailed evaluation written by his/her supervisor.
In addition we need by the deadline at least two letters of
recommendation from scientists not associated with Bonn University. The
letters of recommendation are to be sent by e-mail to the Board of
Directors of the Hausdorff Center for Mathematics, c/o Daniela Schmidt
(daniela.schmidt(at)hcm.uni-bonn.de).

The University of Bonn is an equal opportunity employer and is committed
to increasing the number of female researchers in disciplines where they
are underrepresented. Therefore, it is intended to fill at least one
third of the positions offered with women, and preference will be given
to suitably qualified female candidates, all other considerations being
equal. Women are strongly encouraged to apply.

Preference will be given to severely disabled applicants with equivalent
qualifications.
If you have any questions please contact Daniela Schmidt
(daniela.schmidt(at)hcm.uni-bonn.de).
Please apply using our online application form
(www.hcm.uni-bonn.de/postdocs/application).
The deadline for the current application round is 1st November 2014.

--
Daniela Schmidt

Administrative Assistant
Hausdorff Center for Mathematics
Endenicher Allee 62, Villa Maria, Room 0.005
53115 Bonn
Tel: +49-228-73-4881, Fax: +49-228-73-62251
E-Mail: daniela.schmidt@hcm.uni-bonn.de

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

[DMANET] Postdoc position in Lyon, France

One postdoc opportunity at Inria in Lyon, France, to start no
later than November 1st, 2014

In the context of a FP7 KBBE European Project, BacHBerry
("BACterial Hosts for production of Bioactive phenolics from
bERRY fruits"), we are seeking for one postdoc candidate,
for one year renewable for up to two years.

The BacHBerry project is interested in the generation of
bacterial platforms for sustainable bio-based production of
phenolic compounds found in berry fruits. Phenolics are
recognised for their antioxydant health-promoting and functional
properties, and applied across applications as diverse as
aromas, colours, nutraceuticals, and medicines. The platform
may involve a single bacterial species, or a community of
different bacteria in interaction. Both approaches will be
explored.

Ideally, the candidate should have a strong background in at
least one of: biochemistry, systems biology of bacterial
communities, metabolic bioengineering; together with an
interest and some expertise in the use and development of
mathematical models and algorithmic methods. The person
should have a strong taste for inter-disciplinary research, and
very good interpersonal skills.

The candidate will work in the BAMBOO team at the
Inria-UCBL in Lyon, France (http://team.inria.fr/bamboo/), in
interaction with the partners of BacHBerry, in particular the
CSI team at the IDMEC-IST in Lisbon, Portugal
(http://www.idmec.ist.utl.pt/).

Applications should include a motivation letter, a CV, and
the address of three references.

The applications should be sent to:
Marie-France Sagot, marie-france.sagot@inria.fr
putting also in copy the partner in Lisbon:
Susana Vinga, susanavinga@gmail.com
ideally before August 31, 2014.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Sunday, July 27, 2014

[DMANET] Become a member of the Association for Constraint Programming

Don't miss out on the latest developments in Constraint Programming:
Become a member of the Association for Constraint Programming (ACP)

Please go to http://www.a4cp.org/user/register to join.
(Membership is free)

The Association for Constraint Programming aims at promoting constraint
programming in every aspect of the scientific world, by encouraging its
theoretical and practical developments, its teaching in the academic
institutions, its adoption in the industrial world, and its use in
application fields.

The ACP is led by an Executive Committee (EC), which takes all the
decisions necessary to achieve the goals of the association. This
includes the organization of the international annual conference
'Principles and Practice of Constraint Programming', the annual summer
school, and the sponsoring of other workshops and conferences related to
constraint programming.

As a member of the ACP you can stay informed via our quarterly
newsletter and mailinglist announcements. In addition, ACP members are
allowed to vote for the members of the Executive Committee. If you
become a member before July 31st, you can still vote in this year's
election to be held in August!

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

[DMANET] NSysS 2015- Deadline Extension

Deadline Extension
=========================================================================
NSysS 2015
January 5-7, 2015
Dhaka, Bangladesh
Web: http://www.buet.ac.bd/cse/nsyss/
Submission: https://www.easychair.org/conferences/?conf=nsyss2015
========================================================================

Important Dates
===============
Abstract submission deadline: August 9, 2014 (Extended)
Paper submission deadline: August 17, 2014 (Extended)
Notification of paper acceptance: September 30, 2014
Poster and demo submission deadline: October 7, 2014
Notification of poster and demo acceptance: October 14, 2014
Program: January 5-7, 2015

The 1st International Conference on Networking Systems and Security 2015
(NSysS 2015) aims at providing a forum of researchers, practitioners,
developers, and users to exchange new ideas and results related to computer
networks, networking systems, and security across academia and industry. NSysS
2015 will be held during January 5-7, 2015 in Dhaka, the capital of
Bangladesh.

We solicit original technical papers articulating novel ideas, protocols, and
algorithms with ground-breaking results and/or quantified experiences
involving networking systems and security. The conference values papers, which
will take a broad networking and/or security perspective(s) covering
contemporary and future applications. Of particular interest are technical
contributions that enable new and compelling networking and security
paradigms.

TPC Co-Chairs
=============
Md. Mostofa Akbar, BUET, Bangladesh
Suman Kumar Nath, Microsoft Research, USA

Invited Speakers
================
Raouf Boutaba, University of Waterloo, Canada
Mohammed Atiquzzaman, University of Oklahoma, USA
Manzur Murshed, Federation University, Australia
Venkat Padmanabhan, Microsoft Research

Scope:
Scope of the workshop covers, but is not limited to, the following:

Addressing and location management
Broadband access technologies
Capacity planning
Cellular and broadband wireless nets
Challenges for 'Big Sensor Data'
Cognitive radio networking
Congestion control
Content-based network service
Cross layer design and optimization
Cyber‐physical systems and networking
Data centers
Data reduction, inference, and signal processing
Delay/disruption tolerant networks
Denial of service
Detection, classification, tracking, reasoning, and decision making
Dynamic spectrum management
Economic aspects of the Internet
Embedded software for sensor networks
Energy harvesting
Experience with real-world applications
Experimental results from operational networks or network applications
Fault-tolerance, reliability, and troubleshooting
Future Internet design
Innovative applications and deployment experiences
Innovative sensing and processing platforms including cloud, crowd, and
consumer devices
Insights into network and traffic characteristics
Middleware support for networking
Mobile, participatory, and social sensing
Multicast, broadcast and anycast
Multimedia protocols
Near field communication
Network applications and services
Network architectures
Network coding
Network control
Network health monitoring and management
Network management and traffic engineering
Network security and privacy
Network simulation and emulation
Network, transport, and application-layer protocols
Networking issues for emerging applications
New models of sensor usage (e.g. mobile sensing, body sensing, RFIDs, robots)
Novel components, devices and architectures for networked sensing
Operating system and host support for networking
Operating systems and runtime environments
Optical networks
P2P, overlay, and content distribution networks
Peer‐to‐peer networks
Performance evaluation
Power control and management
Pricing and billing
Programming paradigms for sensing systems
Provable correctness and performance guarantees
Quality of service
Resource allocation and management
Resource management
Resource management, QoS, and signaling
RFID networks and protocols
Routing protocols
Satellite networks
Scheduling and buffer management
SDNs and network programming
Security, trust and privacy
Self-organizing networks
Sensor data processing, mining, and machine learning
Sensor data quality, integrity, and trustworthiness
Sensor data storage, retrieval, processing and management
Sensor tasking, control, and actuation
Social computing and networks
Support for integrated sensing, actuation and control
Switches and switching
Techniques for network measurement and simulation
Testing, Verification and Validation
Theoretical foundation and fundamental bounds
Topology characterization and inference
Underground and underwater networks
User interfaces for sensing applications and systems
Vehicular networks
Web services and performance
Wireless, mobile, ad-hoc, and sensor networks

Author Instructions
Authors are invited to submit papers describing original research of
theoretical or practical significance to Network Systems and Security.
Submitted papers must describe work not previously published. They must not be
submitted simultaneously to another conference with refereed proceedings or to
a journal. Papers should not exceed 10 pages in IEEE style. Please find the
template of IEEE style here. Papers significantly shorter than 10 pages,
however, having sufficient novelty and depth are also welcome. Only
electronic submissions will be allowed. The submission system will be open
soon.

Proceedings
Accepted papers will be published in the conference proceedings, which will be
indexed in various reputed computer science index databases.

Journal Special Issue
A special issue in a reputed journal is planned for selected papers appeared
in the conference.

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

[DMANET] PPDP 2014: Program and 2nd Call for Participation

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

CALL FOR PARTICIPATION:

PPDP 2014
16th International Symposium on
Principles and Practice of Declarative Programming
Canterbury, Kent, September 8-10, 2014
http://users-cs.au.dk/danvy/ppdp14/

co-located with

LOPSTR 2014
24th International Symposium on
Logic-Based Program Synthesis and Transformation
Canterbury, Kent, September 9-11, 2014
http://www.iasi.cnr.it/events/lopstr14/

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

Two weeks left for early registration (until August 8):
http://www.cs.kent.ac.uk/events/2014/ppdp-lopstr-14/

A significant discount is available when registering to both events,
especially as a student (until August 8).

PPDP 2014 features
* an invited talk by Roberto Giacobazzi, shared with LOPSTR:
"Obscuring Code -- Unveiling and Veiling Information in Programs"
* no fewer than 4 distilled tutorials by
- Henrik Nilsson and Ivan Perez:
"Declarative Game Programming"
- Danko Ilik:
"Proofs in Continuation-Passing Style:
normalization of Gödel's System T extended with sums and
delimited control operators"
- Jerzy Karczmarczuk:
"On the Declarative Structure of Quantum Concepts:
States and Observables"
- Ralf Laemmel, Andrei Varanovich, and Martin Leinberger:
"Declarative Software Development"
* the most influential paper 10-year award for PPDP 2004

Tentative program:

==========

Monday 8 September

Welcome to PPDP 2014 - 08:45-09:00
Olaf Chitil and Andy King

Distilled Tutorial - 9:00-10:00
Ralf Laemmel
"Declarative Software Development"

Break - 10:00-10:15

Session - 10:15-11:15

10:15-10:45
Rémi Douence and Nicolas Tabareau
"Lazier Imperative Programming"

10:45-11:15
Stefan Mehner, Daniel Seidel, Lutz Straßburger and Janis Voigtländer
"Parametricity and Proving Free Theorems for Functional-Logic Languages"

Break - 11:15-11:30

Session - 11:30-12:30

11:30:-12:00
Paul Tarau
"Bijective Collection Encodings and Boolean Operations
with Hereditarily Binary Natural Numbers"

12:00-12:30
Flavio Cruz, Ricardo Rocha and Seth Goldstein
"Design and implementation of a multithreaded virtual machine
for executing linear logic programs"

Lunch break - 12:30-14:00

Distilled tutorial - 14:00-15:00
Danko Ilik
"Proofs in Continuation-Passing Style:
normalization of Gödel's System T
extended with sums and delimited control operators"

Break - 15:00-15:15

Session - 15:15-16:15

15:15-15:45
Kenichi Asai, Luminous Fennell, Peter Thiemann and Yang Zhang
"A Type Theoretic Specification for Partial Evaluation"

15:45-16:15
Paul Downen, Luke Maurer, Zena Ariola and Daniele Varacca
"Continuations, Processes, and Sharing"

Break - 16:15-16:30

Session - 16:30-17:30

16:30-17:00
Pierre Neron
"Partial Inlining for Program Transformation"

17:00-17:30
Jean-Louis Giavitto and José Echeveste
"Real-Time Matching of Antescofo Temporal Patterns"

Program-chair report - 17:30-17:45
Olivier Danvy

----------

Tuesday 9 September

Distilled tutorial - 9:00-10:00
Jerzy Karczmarczuk
"On the Declarative Structure of Quantum Concepts:
States and Observables"

Break - 10:00-10:15

Session - 10:15-11:15

10:15-10:45
José Meseguer and Salvador Lucas
"Proving Operational Termination of Declarative Programs in General
Logics"

10:45-11:15
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer and
Paliath Narendran
"Theories of Homomorphic Encryption, Unification, and the Finite
Variant Property"

Break - 11:15-11:30

Session - 11:30-12:30

11:30:-12:00
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida
"On the Preciseness of Subtyping in Session Types"

12:00-12:30
Hugo Pacheco, Tao Zan and Zhenjiang Hu
"BiFluX: A Bidirectional Functional Update Language for XML"

Lunch break - 12:30-14:00

Distilled tutorial - 14:00-15:00
Henrik Nilsson
"Declarative Game Programming"

Break - 15:00-15:15

Session - 15:15-16:15

15:15-15:45
Francisco Ferreira and Brigitte Pientka
"Bidirectional Elaboration of Dependently Typed Programs"

15:45-16:15
Steven Ramsay
"Exact Intersection Type Abstractions for Safety Checking of
Recursion Schemes"

Break - 16:15-16:30

Session - 16:30-17:30

16:30-17:00
Julian Kranz and Axel Simon
"Structure-Preserving Compilation:
Efficient Integration of Functional DSLs into Legacy Systems"

17:00-17:30
Ulrich Schöpp
"Organising Low-Level Programs using Higher Types"

----------

Wednesday 10 September

Invited talk - 9:00-10:00
Roberto Giacobazzi
Obscuring Code -- Unveiling and Veiling Information in Programs

Break - 10:00-10:15

Session - 10:15-11:15

10:15-10:45
Rémy Haemmerlé
"On Combining Backward and Forward Chaining in Constraint Logic
Programming"

10:45-11:15
Nataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo
"Assertion-based Debugging of Higher-Order (C)LP Programs"

Break - 11:15-11:30

Session - 11:30-12:30

11:30:-12:00
Takahito Aoto and Sorin Stratulat
"Decision Procedures for Proving Inductive Theorems without Induction"

12:00-12:30
Joachim Jansen, Ingmar Dasseville, Jo Devriendt and Gerda Janssens
"Experimental Evaluation of a State-of-the-Art Grounder"

Lunch break - 12:30-13:30

Session - 13:30-14:30

13:30:-14:00
Tom Schrijvers, Nicolas Wu, Benoit Desouter and Bart Demoen
"Heuristics entwined with handlers combined"

14:00-14:30
James Cheney, Amal Ahmed and Umut Acar
"Database queries that explain their work"

==========

Also, please note a change of dates: LOPSTR will start on September 9,
rather than September 10 as previously announced.

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

Saturday, July 26, 2014

[DMANET] LATA 2015: 1st call for papers

9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS

LATA 2015

Nice, France

March 2-6, 2015

Organized by:

CNRS, I3S, UMR 7271
Nice Sophia Antipolis University

Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University

http://grammars.grlmc.com/lata2015/

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

AIMS:

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

VENUE:

LATA 2015 will take place in Nice, the second largest French city on the Mediterranean coast. The venue will be the University Castle at Parc Valrose.

SCOPE:

Topics of either theoretical or applied interest include, but are not limited to:

algebraic language theory
algorithms for semi-structured data mining
algorithms on automata and words
automata and logic
automata for system analysis and programme verification
automata networks
automata, concurrency and Petri nets
automatic structures
cellular automata
codes
combinatorics on words
computational complexity
data and image compression
descriptional complexity
digital libraries and document engineering
foundations of finite state technology
foundations of XML
fuzzy and rough languages
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
parallel and regulated rewriting
parsing
patterns
power series
string and combinatorial issues in bioinformatics
string processing algorithms
symbolic dynamics
term rewriting
transducers
trees, tree languages and tree automata
unconventional models of computation
weighted automata

STRUCTURE:

LATA 2015 will consist of:

invited talks
invited tutorials
peer-reviewed contributions

INVITED SPEAKERS:

to be announced

PROGRAMME COMMITTEE:

Andrew Adamatzky (West of England, Bristol, UK)
Andris Ambainis (Latvia, Riga, LV)
Franz Baader (Dresden Tech, DE)
Rajesh Bhatt (Massachusetts, Amherst, US)
José-Manuel Colom (Zaragoza, ES)
Bruno Courcelle (Bordeaux, FR)
Erzsébet Csuhaj-Varjú (Eötvös Loránd, Budapest, HU)
Aldo de Luca (Naples Federico II, IT)
Susanna Donatelli (Turin, IT)
Paola Flocchini (Ottawa, CA)
Enrico Formenti (Nice, FR)
Tero Harju (Turku, FI)
Monika Heiner (Brandenburg Tech, Cottbus, DE)
Yiguang Hong (Chinese Academy, Beijing, CN)
Kazuo Iwama (Kyoto, JP)
Sanjay Jain (National Singapore, SG)
Maciej Koutny (Newcastle, UK)
Antonín Kučera (Masaryk, Brno, CZ)
Thierry Lecroq (Rouen, FR)
Salvador Lucas (Valencia Tech, ES)
Veli Mäkinen (Helsinki, FI)
Carlos Martín-Vide (Rovira i Virgili, Tarragona, ES, chair)
Filippo Mignosi (L'Aquila, IT)
Victor Mitrana (Madrid Tech, ES)
Ilan Newman (Haifa, IL)
Joachim Niehren (INRIA, Lille, FR)
Enno Ohlebusch (Ulm, DE)
Arlindo Oliveira (Lisbon, PT)
Joël Ouaknine (Oxford, UK)
Wojciech Penczek (Polish Academy, Warsaw, PL)
Dominique Perrin (ESIEE, Paris, FR)
Alberto Policriti (Udine, IT)
Sanguthevar Rajasekaran (Connecticut, Storrs, US)
Jörg Rothe (Düsseldorf, DE)
Frank Ruskey (Victoria, CA)
Helmut Seidl (Munich Tech, DE)
Ayumi Shinohara (Tohoku, Sendai, JP)
Bernhard Steffen (Dortmund, DE)
Frank Stephan (National Singapore, SG)
Paul Tarau (North Texas, Denton, US)
Andrzej Tarlecki (Warsaw, PL)
Jacobo Torán (Ulm, DE)
Frits Vaandrager (Nijmegen, NL)
Jaco van de Pol (Twente, Enschede, NL)
Pierre Wolper (Liège, BE)
Zhilin Wu (Chinese Academy, Beijing, CN)
Slawomir Zadrozny (Polish Academy, Warsaw, PL)
Hans Zantema (Eindhoven Tech, NL)

ORGANIZING COMMITTEE:

Sébastien Autran (Nice)
Adrian Horia Dediu (Tarragona)
Enrico Formenti (Nice, co-chair)
Sandrine Julia (Nice)
Carlos Martín-Vide (Tarragona, co-chair)
Christophe Papazian (Nice)
Julien Provillard (Nice)
Pierre-Alain Scribot (Nice)
Bianca Truthe (Giessen)
Florentina Lilica Voicu (Tarragona)

SUBMISSIONS:

Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).

Submissions have to be uploaded to:

https://www.easychair.org/conferences/?conf=lata2015

PUBLICATIONS:

A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.

A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.

REGISTRATION:

The period for registration is open from July 21, 2014 to March 2, 2015. The registration form can be found at:

http://grammars.grlmc.com/lata2015/Registration.php

DEADLINES:

Paper submission: October 10, 2014 (23:59 CET)
Notification of paper acceptance or rejection: November 18, 2014
Early registration: November 25, 2014
Final version of the paper for the LNCS proceedings: November 26, 2014
Late registration: February 16, 2015
Submission to the journal special issue: June 6, 2015

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu@urv.cat

POSTAL ADDRESS:

LATA 2015
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34 977 559 543
Fax: +34 977 558 386

ACKNOWLEDGEMENTS:

Nice Sophia Antipolis University
Rovira i Virgili University

---
Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa.
http://www.avast.com

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

Friday, July 25, 2014

[DMANET] ALGO 2014 early registration deadline

This is to remind you that the deadline for early registration
for ALGO 2014 is approaching. Early registration for ALGO
is possible only until the end of July (local time).

ALGO is a multi-conference on algorithms built around ESA
and organized every year. This year ALGO is organized in Wroclaw,
Poland in the week of 8-12 September.
ALGO 2014 includes ESA, WABI, IPEC, ALGOSENSORS, WAOA, MASSIVE, and ATMOS.
See http://algo2014.ii.uni.wroc.pl/index.html for more details.

Partially due to the generosity of our sponsors this year's registration
fee is slightly lower,
please see registration web-page for precise calculations
http://algo2014.ii.uni.wroc.pl/registration.html

It will be an interesting period in Wroclaw.
In parallel to ALGO there will be:
- a music festival Wratislavia Cantans
http://2014.wratislaviacantans.pl/#!en/program
- Men's Volleyball World Championships

http://en.wikipedia.org/wiki/2014_FIVB_Volleyball_Men%27s_World_Championship
organized in Wroclaw at the same time.
Please consider booking hotels and flights early.

We are convinced ALGO will be a pleasant and stimulating event.
Please consider attending it even if you have no paper accepted.
In case of any questions please contact us at algo2014@cs.uni.wroc.pl
Looking forward to see you in Wroclaw in September.

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

[DMANET] Call for Papers STACS 2015

(apologies for duplicates)

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

STACS 2015 CALL FOR PAPERS

32nd International Symposium on Theoretical Aspects of Computer Science

March 4 - 7, 2015, Garching near Munich, Germany

Submission Deadline: Sep 21, 2014 (23:59:59 GMT/UTC)

http://www14.in.tum.de/STACS2015

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

SCOPE
*****
Authors are invited to submit papers presenting original and unpublished
research on theoretical aspects of computer science. Typical areas include
(but are not limited to):

- algorithms and data structures, including: parallel, distributed,
approximation, and randomized algorithms, computational geometry,
cryptography, algorithmic learning theory, algorithmic game theory,
analysis of algorithms;
- automata and formal languages;
- computational complexity, parameterized complexity, randomness in
computation;
- logic in computer science, including: semantics, specification
and verification, rewriting and deduction;
- current challenges, for example: natural computing, quantum computing,
mobile and net computing.

PROGRAM COMMITTEE
*****************
Andris Ambainis, FPM, U Riga
Hagit Attiya, CS, Technion, Haifa
Johannes Blömer, CS, U Paderborn
Mikolaj Bojanczyk, II, U Warsaw
Tomás Brázdil, Masaryk U, Brno
Niv Buchbinder, SOR, Tel Aviv U
Anuj Dawar, CL, U Cambridge
Adrian Dumitrescu, CS, U Wisconsin-Milwaukee
Matthias Englert, DIMAP/DCS, U Warwick
Funda Ergun, SoIC, Indiana U
Fedor Fomin, IN, U Bergen
Tobias Friedrich, FMI, FSU Jena
Christian Glaßer, I1, U Würzburg
Etienne Grandjean, GREYC, Caen
Tomasz Jurdzinski, U Wrozlaw
Manfred Kufleitner, FMI, U Stuttgart
Jerome Leroux, CNRS, LaBRI, Bordeaux
Ernst W. Mayr, TUM, München (co-chair)
Peter Bro Miltersen, CS, U Aarhus
Nicolas Ollinger, LIFO, Orléans (co-chair)
Sylvain Perifel, LIAFA, Paris 7
Jayalal Sarma, IIT, Madras
Nicolas Schabanel, CNRS, LIAFA, Paris 7
Lutz Schröder, FAU Erlangen-Nürnberg
Dimitrios M. Thilikos, CNRS, LIRMM, Montpellier
Gerhard Woeginger, TUE, Eindhoven

INVITED SPEAKERS
****************
Sanjeev Arora, CS, Princeton
Manuel Bodirsky, CNRS, LIX, Palaiseau
Peter Sanders, KIT, Karlsruhe

TUTORIAL
********
Felix Brandt, TUM, Munich: Computational Social Choice
tba: Algorithmic Game Theory

IMPORTANT DATES
***************
Submission website opens: Jun 22, 2014
Submission deadline: Sep 21, 2014 (23:59:59 GMT/UTC)
Rebuttal period: Nov 15 - 17, 2014
Notification: Dec 5, 2014
Final version due: Jan 7, 2015
Symposium: Mar 4 - 7, 2015

SUBMISSIONS
***********
Authors are invited to submit a draft of a full paper with at most 12 pages
(excluding the references section). The usage of pdflatex and the LIPIcs
style file (see below) are mandatory; no changes to font size, page geometry
etc. are permitted. Submissions not in the correct format or submitted
after the deadline will not be considered.

The paper should contain a succinct statement of the issues and of their
motivation, a summary of the main results, and a brief explanation of their
significance, accessible to non-specialist readers. Proofs omitted due to
space constraints must be put into an appendix, to be read by the program
committee members at their discretion.

Simultaneous submission to other conferences with published proceedings or
to journals is not allowed. PC members are excluded from submitting. As a
novelty for STACS, there will also be a rebuttal period for authors. Authors
will receive the reviews of their submissions (via EasyChair) on Nov 14/15
and have three days (Nov 15 - 17) to submit rebuttals (via EasyChair). These
rebuttals become part of the PC meeting, but entail no specific responses.

The submission site, which opens on Jun 22, 2014, is
https://www.easychair.org/conferences/?conf=stacs2015

LIPICS STYLE FILES
******************
LIPIcs homepage: http://www.dagstuhl.de/en/publications/lipics
tar ball: http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz

CONTACT INFORMATION
*******************
http://www14.in.tum.de/STACS2015 (for general information)
pc-chairs-stacs2015@easychair.org (for information regarding paper
submission)

_______________________________________________________________________
Prof. Ernst W. Mayr Tel.: +49-89-289-17704
Lehrstuhl für Effiziente Algorithmen Sekr.: +49-89-289-17706
Fakultät für Informatik, I14 Fax: +49-89-289-17707
TU München E-Mail: mayr@in.tum.de
Boltzmannstraße 3
85748 Garching Raum: MI 03.09.052
Germany URL: http://www.in.tum.de/~mayr/
_______________________________________________________________________

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

[DMANET] Research Associate, RWTH Aachen, Mathematical Optimization

RWTH Aachen University, Operations Research, www.or.rwth-aachen.de

research associate in
mathematics, computer science, operations research

We invite applications for a position as the scientific and technical team lead in the RWTH Aachen university course timetabling project "carpe diem!". The position as research associate is paid according to German TV-L E13 100%, and should be filled as soon as possible. The project duration is 1.5 years, to be extended by 2.5 more years.

Our team of nine research staff is interested in integer programming, computational optimization, algorithm engineering, scheduling, and graph and network algorithms, both in theory and practical applications thereof. The "carpe diem!" project is a joint effort together with many university members, in collaboration with the TU Berlin, with the aim of providing course timetables which are most beneficial for students and teaching staff. It is a challenging task in many ways.

The successful candidate is responsible for the further development of mathematical optimization models and algorithms, to research in practically relevant directions, such as robust timetabling and mechanism design for gathering teaching preferences. We expect a profound knowledge in mathematical (in paticular discrete and integer) optimization. A talent in producing theoretical results is as desired as a determination to successfully solve real-world optimization problems. The existing software needs to be maintained and extended. Therefore, very good computer skills in general and experience with software development are a must. The post requires strong communication skills, creativity, curiosity, and commitment. There is no teaching obligation. Fluency in the German language is indispensable.

We provide the opportunity to work towards a doctoral degree. It is natural to pick a research topic related to the practical project, but this is not a requirement.

For more information on formal requirements and how to apply please follow the link to the German official opening: http://www.zhv.rwth-aachen.de/mainzhv.php?scriptid=job&param=vorschau&nr=14277&typ=wiss

Application deadline is August 15, 2014.

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

[DMANET] CSoNet'14: Deadline Extended: July 31: Workshop on Computational Social Networks, Hawaii, Dec. 2014

Our apology if you receive multiple copies of this
==========================================================
CFP: 3rd Workshop on Computational Social Networks
CSoNet 2014 - http://csonet14.vcu.edu/
Dec. 21, 2014, Maui, Hawaii, In conjunction with COCOA '14
==========================================================

Computing in social network science has recently become one of the
central themes across mathematical science, information and
communication technology, which attracts a significant interest from
researchers in mathematics, computer science, system science, and
social science. The objective of this workshop is to advance and
promote the theoretical foundation, mathematical aspects as well as
applications of social computing.

The topics of interest include (but are not limited to):
* Mathematical modelling and analysis
* Real-world complex systems
* Information retrieval in social contexts, political analysts
* Network structure analysis
* Network dynamics optimization
* Complex network robustness and vulnerability
* Information diffusion models and analysis
* Security and privacy
* Searching in complex networks
* Efficient algorithms

IMPORTANT DATES
------------------
* Paper submission due: ***July 31, 2014***
* Notification of Acceptance: August 21, 2014
* Camera-ready: September 04, 2014

PUBLICATION
----------------
Accepted papers will be published in LNCS - Springer along with main
papers of COCOA 2014. Extended version of selected papers will be
published in a special issue of Computational Social Networks journal
by Springer.

SUBMISSION
----------------
Authors who are interested in the above topics can submit their
unpublished work to this workshop via Easychair using LNCS style. The
maximum length of paper (including references) is 10 pages.

ORGANIZERS
-----------------
Steering Committee
My T. Thai, University of Florida, USA
Zhi-Li Zhang, University of Minnesota, USA
Weili Wu, University of Texas - Dallas, USA

PC Chairs
My T. Thai, University of Florida, USA
Thang Dinh, Virginia Commonwealth University, USA

Publicity Chair
Nam P. Nguyen, Towson University, USA

Technical Program Committee
Nitin Agarwal, (University of Arkansas at Little Rock, USA)
Thang Dinh, (Virginia Commonwealth University, USA) (Co-Chair)
Carol Fung, (Virginia Commonwealth University, USA)
Konstantinos Georgiou, (University of Waterloo, Canada)
Donghyun Kim, (North Carolina Central University, USA)
Sang-Wook Kim, (Hanyang University, South Korea)
Ee-Peng Lim, (Singapore Management University, Singapore)
Ramasuri Narayanam, (IBM Research, India)
Nam Nguyen, (Towson University, USA)
Vinh Nguyen, (University of Melbourne, Australia)
Georgios Piliouras, (Georgia Institute of Technology, USA)
Panos Pardalos, (University of Florida, USA)
Yang Song, (IBM Research, USA)
My Thai, (University of Florida, USA) (Co-Chair)
Mario Ventresca, (Purdue University, USA)
Anil Kumar Vullikanti, (Virginia Tech, USA)
Ying Zhao, (Tsinghua University, China)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] ICDCN 2015: Extended submission deadline to Aug. 4, 2014

[We apologize if you receive multiple copies of this CFP.]

16th International Conference on Distributed Computing and Networking
January 4-7 2015, Goa, India http://www.icdcn.org

Important Dates
Due date for submission: August 4th 2014 (extended)
Date for notification: September 26th 2014
Date for camera-ready submission: October 15th 2014

ICDCN is a premier international conference dedicated to addressing
advances in Distributed Computing and Communication Networks, which over
the years, has become a leading forum for disseminating the latest
research results in these fields. As in the past, ICDCN 2015 will be
organized in two tracks: Distributed Computing and Networking, and will
comprise a highly selective technical program consisting of refereed
concise papers, panel discussions as well as focused workshops on
emerging topics. Papers describing original research work and practical
experiences/experimental results are solicited on topics including, but
not limited to:

I. Distributed Computing Track
- Distributed algorithms : design, analysis, and complexity
- Local algorithms and Congestion aware algorithms
- Distributed biological algorithms and bio-inspired distributed
algorithms
- Concurrent data structures
- Concurrent, Synchronization, and transactional memory
- Distributed operating systems and distributed database systems
- Embedded distributed systems
- Experiments and performance evaluation of distributed systems
- Fault-tolerance, reliability, and availability
- Multiprocessor & multi-core architectures & algorithms
- Self-organization, self-stabilization, & autonomic computing
- High performance computing, grid/cluster/cloud computing
- Security, cryptography, & game theory in distributed systems
- Distributed computing issues in large scale systems such as the
Internet

II. Networking Track
- Ad hoc, sensor and mesh networks
- BANs, PANs and home networks
- Cellular networks (4G/LTE/WiMax)
- Vehicular area networks
- Integration of heterogeneous networks
- Network virtualization
- Data center and cloud networking
- Software defined and cognitive radio networks
- Future Internet design
- Next generation & converged network architectures
- Overlay & peer-to-peer networks and services
- Internetworking protocols & Internet applications
- Network security & privacy
- Energy-efficient networking
- Networking for the smart grid
- Pricing and network economics

GENERAL CHAIRS
Sajal K. Das (Co-chair), Missouri University of Science and Technology,
USA, sdas@mst.edu
Dilip Krishnaswamy (Co-chair), IBM Research, Bangalore, India,
dilikris@in.ibm.com
Santonu Sarkar (Vice-chair), Infosys Labs, Bangalore, India
Santonu_Sarkar01@infosys.com

DISTRIBUTED COMPUTING
TRACK PC CHAIRS
Amos Korman, CNRS, Univ of Paris, France, amos.korman@gmail.com
Srikanth Sastry, Google, New York, USA, ssastry@google.com

NETWORKING TRACK PC CHAIRS
Mohan Kumar, Rochester Institute of Technology, USA, mjkvcs@rit.edu
Marius Portmann, University of Queensland, Australia, marius@itee.uq.edu.au

ORGANIZING COMMITTEE
Bharat Deshpande (Chair), BITS-Goa campus, India,
bmd@goa.bits-pilani.ac.in
Sanjay Kumar Sahay, BITS-Goa campus, India,
ssahay@goa.bits-pilani.ac.in

STUDENT SYMPOSIUM CHAIRS
Kishore Kothapalli, IIIT Hyderabad, India, kkishore@iiit.ac.in
Sathya Peri, IIT Patna, India, peri.sathya@gmail.com

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

Submisson Instructions
-----------------------
Papers should not exceed 10 pages double column including figures,
tables, and references in standard ACM format. Additional details may be
included in a clearly-marked appendix, not exceeding one page that will
be read at the discretion of the program committee. Papers must be
submitted electronically in printable pdf form via the EasyChair
submission management system at
https://www.easychair.org/conferences/?conf=icdcn2015.
Templates for the standard ACM format can be found at
http://www.acm.org/sigs/publications/proceedings-templates. Both strict
and alternate styles are acceptable for submission. No changes to
margins, spacing, or font sizes are allowed from those specified by the
style files. Papers violating the formatting guidelines will be returned
without review. The proceedings will be published through ACM and will
be available in ACM Digital library. Some papers not accepted as regular
papers may be accepted as "Concise papers" with 4 ACM pages in the
proceedings while full papers will be allowed 10 ACM pages.
Warning: It is ACM policy not to allow double submissions, where the
same paper is submitted to more than one conference/journal
concurrently. Any double submissions detected will be immediately
rejected from all conferences/journals involved. At least one author of
each accepted paper must register for the conference and present the paper.

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

Thursday, July 24, 2014

[DMANET] PhD studentship in Mathematics and Statistics, The Open University

Department of Mathematics and Statistics, Faculty of Mathematics,
Computing and Technology, The Open University

We have one full-time PhD studentship available, to start 1st October 2014.

The studentship covers full-time fees, and includes a stipend
(currently £13,726 per annum) and a £1250 annual travel allocation.
Students are based on-campus in Milton Keynes, UK.

Research projects are available in applied mathematics, pure
mathematics, history of mathematics and statistics, and can be seen at
http://www.mathematics.open.ac.uk/phd
They include one project in discrete mathematics/combinatorics.

Interested persons are strongly encouraged to make informal enquiries to
mcs-mathematics-enquiries@open.ac.uk as soon as possible, and ideally
by 11th August 2014.

Overseas applicants are welcome but those from a non-European Economic
Area country that is not majority English-speaking must hold a Common
European Framework of Reference for Languages (CEFR) certificate for
English at B2 level or higher.

[DMANET] PostDoc Position in GraphDrawing

We announce

ONE PostDoc Position for 18 months

at the Westfälische Wilhelms-Universität Münster, Germany, at the Institute of
Mathematical Logic, as part of the research project "Graph Drawing with Low Visual
Complexity" funded by the German Research Foundation (DFG). The position is
for 18 months with the chance of an extension for another 18 month.
The project is supervised by Prof. André Schulz ( http://cs.uni-muenster.de/u/schulz ).

The aim of the project is to develop and to evaluate new algorithms for drawing graphs
in the plane while using a small ground set of geometric objects. The
developed algorithms will be evaluated with theoretical methods and also in
online user studies.

We expect that the candidate has (or is very close to) a PhD in Computer Science
or Mathematics and a solid background in discrete math and algorithms. Ideally, the
applicant has knowledge and interest in at least one of the following fields:

- graph drawing
- algorithms
- graph theory
- computational geometry

Good programming skills are mandatory. Experience in statistical analysis of
empirical data would be a plus.

Please send your applications consisting of

- a cover letter,
- curriculum vitae,
- the PhD thesis (preliminary version, if not finished),
- a letter of reference (to be directly sent to us),

to

Prof. Dr. André Schulz
Institut für Mathematische Logik und Grundlagenforschung
Fachbereich Mathematik und Informatik der Universität Münster
Einsteinstraße 62
D-48149 Münster, Germany

It is also possible to apply via email. In this case send your application as
one single pdf-file to andre.schulz[at]uni-muenster.de .

The deadline is September 30, but applications will be considered until the position
is filled.

If you have further questions about the position, please send an email
to andre.schulz[at]uni-muenster.de .

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

[DMANET] ICDCN 2015: One day before the deadline !

[We apologize if you receive multiple copies of this CFP.]

16th International Conference on Distributed Computing and Networking
January 4-7 2015, Goa, India http://www.icdcn.org

Important Dates
Due date for submission: July 25th 2014
Date for notification: September 26th 2014
Date for camera-ready submission: October 15th 2014

ICDCN is a premier international conference dedicated to addressing
advances in Distributed Computing and Communication Networks, which over
the years, has become a leading forum for disseminating the latest
research results in these fields. As in the past, ICDCN 2015 will be
organized in two tracks: Distributed Computing and Networking, and will
comprise a highly selective technical program consisting of refereed
concise papers, panel discussions as well as focused workshops on
emerging topics. Papers describing original research work and practical
experiences/experimental results are solicited on topics including, but
not limited to:

I. Distributed Computing Track
- Distributed algorithms : design, analysis, and complexity
- Local algorithms and Congestion aware algorithms
- Distributed biological algorithms and bio-inspired distributed
algorithms
- Concurrent data structures
- Concurrent, Synchronization, and transactional memory
- Distributed operating systems and distributed database systems
- Embedded distributed systems
- Experiments and performance evaluation of distributed systems
- Fault-tolerance, reliability, and availability
- Multiprocessor & multi-core architectures & algorithms
- Self-organization, self-stabilization, & autonomic computing
- High performance computing, grid/cluster/cloud computing
- Security, cryptography, & game theory in distributed systems
- Distributed computing issues in large scale systems such as the
Internet

II. Networking Track
- Ad hoc, sensor and mesh networks
- BANs, PANs and home networks
- Cellular networks (4G/LTE/WiMax)
- Vehicular area networks
- Integration of heterogeneous networks
- Network virtualization
- Data center and cloud networking
- Software defined and cognitive radio networks
- Future Internet design
- Next generation & converged network architectures
- Overlay & peer-to-peer networks and services
- Internetworking protocols & Internet applications
- Network security & privacy
- Energy-efficient networking
- Networking for the smart grid
- Pricing and network economics

GENERAL CHAIRS
Sajal K. Das (Co-chair), Missouri University of Science and Technology,
USA, sdas@mst.edu
Dilip Krishnaswamy (Co-chair), IBM Research, Bangalore, India,
dilikris@in.ibm.com
Santonu Sarkar (Vice-chair), Infosys Labs, Bangalore, India
Santonu_Sarkar01@infosys.com

DISTRIBUTED COMPUTING
TRACK PC CHAIRS
Amos Korman, CNRS, Univ of Paris, France, amos.korman@gmail.com
Srikanth Sastry, Google, New York, USA, ssastry@google.com

NETWORKING TRACK PC CHAIRS
Mohan Kumar, Rochester Institute of Technology, USA, mjkvcs@rit.edu
Marius Portmann, University of Queensland, Australia, marius@itee.uq.edu.au

ORGANIZING COMMITTEE
Bharat Deshpande (Chair), BITS-Goa campus, India,
bmd@goa.bits-pilani.ac.in
Sanjay Kumar Sahay, BITS-Goa campus, India,
ssahay@goa.bits-pilani.ac.in

STUDENT SYMPOSIUM CHAIRS
Kishore Kothapalli, IIIT Hyderabad, India, kkishore@iiit.ac.in
Sathya Peri, IIT Patna, India, peri.sathya@gmail.com

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

Submisson Instructions
-----------------------
Papers should not exceed 10 pages double column including figures,
tables, and references in standard ACM format. Additional details may be
included in a clearly-marked appendix, not exceeding one page that will
be read at the discretion of the program committee. Papers must be
submitted electronically in printable pdf form via the EasyChair
submission management system at
https://www.easychair.org/conferences/?conf=icdcn2015.
Templates for the standard ACM format can be found at
http://www.acm.org/sigs/publications/proceedings-templates. Both strict
and alternate styles are acceptable for submission. No changes to
margins, spacing, or font sizes are allowed from those specified by the
style files. Papers violating the formatting guidelines will be returned
without review. The proceedings will be published through ACM and will
be available in ACM Digital library. Some papers not accepted as regular
papers may be accepted as "Concise papers" with 4 ACM pages in the
proceedings while full papers will be allowed 10 ACM pages.
Warning: It is ACM policy not to allow double submissions, where the
same paper is submitted to more than one conference/journal
concurrently. Any double submissions detected will be immediately
rejected from all conferences/journals involved. At least one author of
each accepted paper must register for the conference and present the paper.

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

[DMANET] Last Week, July 26 || SENSORDEVICES 2014 || November 16 - 20, 2014 - Lisbon, Portugal

INVITATION:

=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to SENSORDEVICES 2014.
The submission deadline is extended to July 26, 2014.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================

============== SENSORDEVICES 2014 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

SENSORDEVICES 2014, The Fifth International Conference on Sensor Device Technologies and Applications
November 16 - 20, 2014 - Lisbon, Portugal

General page: http://www.iaria.org/conferences2014/SENSORDEVICES14.html

Call for Papers: http://www.iaria.org/conferences2014/CfPSENSORDEVICES14.html

Submission page: http://www.iaria.org/conferences2014/SubmitSENSORDEVICES14.html

Contributions:
- regular papers
- short papers (work in progress)
- posters
- ideas
- presentations
- demos
- doctoral forum submissions

Proposals for:
- symposia
- workshops

Submission deadline: July 26, 2014

Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org

The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.

All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.

Before submission, please check and comply with the Editorial rules: http://www.iaria.org/editorialrules.html

SENSORDEVICES 2014 Topics (topics and submission details: see CfP on the site)

Sensor devices

Movement sensors (acceleration, rotation, speed, inclination, torque, vibrations, resonance); Atmosphere sensors (gas, oxygen, temperature, moisture, vacuum, pressure, wind); Position sensors (displacement, position, proximity, level, gap); Liquid sensors (flow, moisture, humidity, pH, pressure); Sound sensors (acoustic, ultrasonic, resonance); Technology-oriented sensors (nanosensors, optical, chemical, magnetic, biosensors)

Ultrasonic and Piezosensors

Design; Technologies; Signal conditioning; Applications

Photonics

Photonics-based sensors; Optoelectronics; Photonics-based metrology and instrumentation; Photonic integrated circuits; Opto-electro-mechanical sensors and systems

Infrared

Infrared sensing; Passive infrared sensors; Infrared proximity sensors; Infrared temperature sensors; Infrared motion sensors; Infrared sonics; Pyroelectric infrared

Gas Sensors

Non-Dispersive Infrared Gas Sensors; Electrochemical Gas Sensors; Optical Gas Sensors; Gas Sensors Applications: Health & Safety; Environmental Monitoring; Water & Waste Treatment ; Aerospace & Automobile Industries; Materials for Gas Sensors; Physical, Chemical and Biological Methods in Gas Sensing; Micro and Nano Technology in Gas Sensing.

Geosensors

Geosensor networks; Monitoring geographic space change, Tracking moving objects; Spatiotemporal sensors; Motion imagery records and analysis; Geovisualization; Application of geosensor networks

Sensor device technologies

Energy harvesting for autonomous sensors; Smart sensors; Embedded sensors; Nanomaterials for sensors; Nanowire sensors; Nanoparticule-based technologies; Ultrasonic technologies; Film-bases sensors; Resonant systems; Optical interferometry; Micro-and nanofabrication; Coating materials

Sensors signal conditioning and interfacing circuits

Direct sensor-to-microcontroller interfacing; ASICs and ICs for sensors; Signal conditioning; Signal processing; Sensors buses and interfaces; Multi-sensor signal conditioning and sensor arrays; Smart sensor interfaces; Digital and analog sensor interfaces; Universal sensors and transducers interface

Medical devices and sensors applications

Design and technologies for medical devices and sensors; Specialized sensors: EEG, ECG, accelerometers, pressure sensors, temperature sensors; Body sensors

Sensors domain-oriented devices, technologies, and applications

Environmental sensors; Bridges and civil construction sensors; Security sensors; Surveillance sensors; Space sensors; Image sensors

Sensor-based localization and tracking technologies

Distributed and cooperative methods for ad hoc sensor networks; Measurement techniques (RSS, TOA, TDOA, etc.); Indoor/outdoor localization and tracking; Localization and tracking using satellites (GPS, Galileo); Radars; Remote sensing

Sensors and Transducers for Non-Destructive Testing

Ultrasonic Transducers for NDT; Ground Penetrating Radars; Acoustic Guided Waves Transducers; Piezoelectric and Acoustic Materials for Transducers Applications; Fluxgate and Magneto Inductive Sensors; Optical Fiber Sensors; Eddy Current Sensors.

---------------------------------
Committee: http://www.iaria.org/conferences2014/ComSENSORDEVICES14.html

SENSORDEVICES Advisory Chairs
Sergey Y. Yurish, International Frequency Sensor Association (IFSA), Spain
Petre Dini, Concordia University, Canada / China Space Agency Center, China
Elena Gaura, Coventry University, UK
Vittorio Ferrari, Universit� di Brescia, Italy

SENSORDEVICES 2014 Research/Industry Chairs
Raluca - Ioana Stefan-van Staden, National Institute of Research for Electrochemistry and Condensed Matter, Bucharest, Romania
Alberto Y�fera, Centro Nacional de Microelectronica (CNM-CSIC) - Sevilla, Spain

SENSORDEVICES Special Area Chairs

Ultrasonic and piezoelectric sensors
Thomas Herzog, Fraunhofer Institute for Non-Destructive Testing IZFP - Dresden, Germany
Henning Heuer, Fraunhofer Institute for Non-Destructive Testing IZFP - Dresden, Germany

Optical sensors
V�tor Carvalho, Minho University, Portugal
Irinela Chilibon, National Institute of Research and Development for Optoelectronics - Bucharest, Romania

Gas sensors
Dongfang Yang, National Research Council Canada - London, Canada

Nanosensors
Marco Tartagni, University of Bologna - Cesena, Italy

Testing and validation
Ksenia V. Sapozshnikova D.I. Mendeleyev Institute for Metrology - St. Petersburg, Russia

Vibration sensors
Subodh Kumar Singhal, National Physical Laboratory, New Delhi, India

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

Tuesday, July 22, 2014

[DMANET] Deadline Extended (July 28), Symposium on Foundations & Practice of Security (FPS 2014), Montreal, Canada, Springer LNCS proceedings

Apologies for cross-posting
---------------------------

** Deadline Extended: July 28, 2014 (11:59 PM UTC-11) **

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

**The 7th International Symposium on Foundations & Practice of Security
(FPS'2014), Montreal, Canada, November 3-5, 2014.**

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

| Event | Date |
|--------------------------|--------------------------------------|
| Submission Deadline: | July 28, 2014 (Extended) |
| Acceptance Notification: | August 20, 2014 |
| Camera Ready: | September 10, 2014 |
| Conference: | November 3-5, 2014, Montreal, Canada |

Conference Website
------------------

<http://conferences.telecom-bretagne.eu/fps/2014>

Scope
-----

Protecting the communication and data infrastructure of an
increasingly inter-connected world has become vital to the normal
functioning of all aspects of our world. Security has emerged as an
important scientific discipline whose many multifaceted complexities
deserve the attention and synergy of the mathematical, computer
science and engineering communities.

After the previous meetings held in La Rochelle, Montreal, Grenoble,
Toronto and Paris, this 7th edition of the FPS symposium will be held
at Montreal.

The aim of this event is to discuss and exchange theoretical and
practical ideas that address security issues in inter-connected
systems. It aims to provide scientific presentations as well as to
establish links, promote scientific collaboration, joint research
programs, and student exchanges between institutions involved in this
important and fast moving research field.

We also invite papers from researchers and practitioners working in
security, privacy, trustworthy data systems and related areas to
submit their original papers. The main topics, but not limited to,
include:

* Security in Service Oriented Architecture & Web Services
* Security Administration & Policy-based Security Architectures
* Access Control Languages
* Cryptography & Cryptanalysis
* Threat Analysis
* Privacy & Sensitive Data Management
* Security on P2P Systems and their Applications
* Policy-based Distributed Information Systems and Security Policies
* Security in Sensor Networks and RFID
* Security of Cloud Computing, Grid Computing and their Applications
* Trust Management
* Security of Distributed Embedded Middleware
* Distributed Security Protocols
* Privacy in Social Networks
* Formal foundations in Information Security
* Side-channel analysis and Fault injection attacks
* Countermeasures against physical attacks
* Protected implementations, security by design
* Formal Verification of security properties
* Methods and Platforms for evaluation of attacks and countermeasures
* Malware, botnets, binary analysis

Submissions Guidelines
----------------------

Full papers should be at most 16 pages (using 11-point font),
excluding the bibliography and well-marked appendices. Position
papers, as well as extended abstract and contributed talks, should be
up to 8 pages (using 11-point font). Committee members are not
required to read the appendices, so the paper should be intelligible
without them. All submissions must be written in English. Authors must
submit their papers by the deadline indicated below, using the
EasyChair web site (using the link
<http://www.easychair.org/conferences/?conf=fps2014>) and following
the requirements stated there. All papers will be refereed. The
submitted contribution should be formatted according to Springer's
LNCS style. Submissions by PhD students as well as surveys and
controversial ideas are encouraged. Case studies (successful or not)
are also encouraged.

Authors should indicate whether their paper is a "position paper" to
differentiate them from regular ones (you mention "Position paper" in
the title).

Publication
-----------

Proceedings will be published by Springer-Verlag in the Lecture Notes
in Computer Science (LNCS) series. At least one author of each
accepted paper must register to the symposium, by the date indicated
by the organizers, and present the paper.

Committees
------------------

General Chair

Mourad Debbabi (University of Conccordia)

Program Committee Chairs

Philip W. L. Fong (University of Calgary)
Frédéric Cuppens (Telecom Bretagne)

Organization Chairs

Lingyu Wang (University of Concrdia)

Publicity and Publication Chairs

Joaquin Garcia-Alfaro (Telecom SudParis)
Nur Zincir Heywood (Dalhousie University)

Program Committee

Diala Abi Haidar (Dar Al Hekma College)
Carlisle Adams (Ottawa University)
Gildas Avoine (UCL, Belgium)
Guillaume Bonfante (Université de Lorraine, LORIA)
Jordi Castellà-Roca (Rovira i Virgili Univ.)
Ana Cavalli (Télécom SudParis)
Frédéric Cuppens (TELECOM Bretagne)
Nora Cuppens-Boulahia (TELECOM Bretagne)
Mila Dalla Preda (Bologna University)
Jean-Luc Danger (Telecom ParisTech)
Mourad Debbabi (Concordia University)
Nicola Dragoni (Technical University of Denmark)
Philip W. L. Fong (University of Calgary)
Sara Foresti (Univ. degli Studi di Milano)
Eric Freyssinet (Université Paris 6)
Sebastien Gambs (Université de Rennes 1)
Joaquin Garcia-Alfaro (Telecom SudParis)
Ali Ghorbani (UNB)
Roberto Giacobazzi (University of Verona)
Sylvain Guilley (Télécom ParisTech)
Abdelwahab Hamou-Lhadj (Concordia University)
Jordi Herrera (Universitat Autònoma de Barcelona)
Bruce Kapron (University of Victoria)
Hyoungshick Kim (SungKyunKwan University )
Evangelos Kranakis (Carleton University)
Pascal Lafourcade (University Joseph Fourier)
Yassine Lakhnech (University Joseph Fourier)
Georgios Lioudakis (National Technical University of Athens)
Luigi Logrippo (Université du Québec en Outaouais)
Stefan Mangard (Infineon Technologies)
Jean-Yves Marion (Mines de Nancy)
Joan Melia-Segui (Universitat Pomepu Fabra)
Ali Miri (Ryerson University)
Guillermo Navarro-Arribas (UAB)
Jordi Nin (UPC)
Andreas Pashalidis (K.U.Leuven)
Emmanuel Prouff (ANSSI)
Silvio Ranise (FBK-Irst)
Jean-Marc Robert (Ecole de technologie superieure)
Alessandro Sorniotti (SAP Research)
Anna Squicciarini (The Pennsylvania State University)
Chamseddine Talhi (ETS, Montreal)
Nadia Tawbi (Université LAVAL)
Alexandre Viejo (Universitat Rovira i Virgili)
Lena Wiese (Georg-August-Universität Göttingen)
Nicola Zannone (Eindhoven University of Technology)
Mohammad Zulkernine (Queen's University, Canada)

Webmaster

Said Oulmakhzoune (TELECOM Bretagne)

Submission Website
------------------

<https://www.easychair.org/conferences/?conf=fps2014>

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

[DMANET] IFIP/IEEE IM 2015 in Ottawa, Canada - Submissions due in less than 8 weeks

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

CALL FOR PAPERS - IFIP/IEEE IM 2015

The 14th IFIP/IEEE Symposium on Integrated Network and Service
Management

Ottawa, Ontario, Canada, 11-15 May 2015

http://www.ieee-im.org/

(Paper Submission Date: September 15, 2014)

"Integrated Management in the Age of Big Data"
<http://im2015.ieee-im.org/>

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

The 14th IFIP/IEEE Symposium on Integrated Network and Service
Management (IM 2015) will be held 11-15 May 2015 in Ottawa, Ontario,
Canada and hosted by the Ottawa Convention Centre. Held in
odd-numbered years since 1989, IM 2015 follows the 27 years tradition
of NOMS and IM as the primary IEEE Communications Society's forum for
technical exchange on management of information and
communication technology focusing on research, development,
integration, standards, service provisioning, and user communities. IM
2015 will focus on the theme "Integrated Management in the Age
of Big Data" presenting recent, emerging approaches and technical
solutions for dealing with Big Data as well as
using it for management solutions. IM 2015 will offer five
types of sessions: technical, experience, poster, panel and
dissertation.

High quality will be assured through a well qualified Technical
Program Committee and stringent peer review of paper submissions. A
special call for demonstrations is organized to allow
industry partners and researchers to demonstrate early products and
prototypes.

TOPICS OF INTEREST

Authors are invited to submit papers that fall into or are related to
the topic areas that are listed below. In addition, we invite
submissions of proposals for demonstrations, exhibits, technical
panels, tutorials and workshops. Papers can be submitted as
technical session full papers, technical session
short papers, experience session papers and dissertation papers.

Network Management & Operational Experience
- Software Defined Networks (SDN)
- Smart Cities, Smart Grids
- Internet of Things (IoT)
- Future Internet
- Content Distribution Networks (P2P, CDN, ICN)
- Virtual and Overlay Networks
- Data Centers, Storage Area Networks
- Cyber-Physical Systems
- Wireless and Mobile Networks (Ad-Hoc, Mesh, Sensor, Vehicular)
- Smart Devices and Home Networks
- Broadband Access Networks
- Cognitive Radio Networks
- IP/MPLS Networks
- Optical Networks
- Heterogeneous Networks

Service Management
- Cloud Services (IaaS, PaaS, SaaS)
- IT Service Management
- Multimedia and Data Services
- QoE-Centric Management
- Service Discovery, Migration and Orchestration
- Resource Provisioning and Management
- Hosting and Virtualized Infrastructures
- OTT Service Management
- Management as a Service

Business Management
- Legal and Ethical Issues
- Process Management

Functional Areas
- Deployment
- Fault Management
- Diagnostics, Tracing, Troubleshooting
- Configuration Management
- Accounting and Billing Management
- Performance Management
- Service Level Management
- Security Management, IDS, IPS

Management Approaches
- Centralized management
- Distributed management
- Autonomic and self-management
- Policy-based management
- Federated Management
- Pro-Active Management
- Energy-Aware Management
- Management Architectures

Management Enablers & Technologies
- Network Programmability
- Cloud Computing
- Network Function Virtualization (NFV), Service Chaining
- (Big) Data, Information and Semantic Modeling
- Protocols and Languages
- Message and Software Buses
- Middleware, Grids
- Mobile Agents
- Social Networking
- Human-Machine Interactions
- Operations and Business Support Systems (OSS/BSS)

Methodologies for Network Operations and Management
- (Big) Data Analytics and Data Mining
- Monitoring and Measurements
- Control Theories
- Optimization Theories
- Economic Theories
- Machine learning and Genetic Algorithms
- Probability, Stochastic Processes, and Queuing Theory
- Design and Simulation
- Experimental Studies
- Visualization

SUBMISSION INSTRUCTIONS

Authors are invited to submit original contributions (written in
English) in PDF format through the IM 2015 web site. Only original
papers that have not been published or submitted for publication
elsewhere can be submitted.

Each submission will be limited to 8 pages (full papers) or 4 pages
(short papers) in IEEE 2-column style. Papers exceeding these
limits, multiple submissions, and self-plagiarized papers will be
rejected without further review. The authors of the
IM 2015 top papers will be encouraged to extend their work and
submit to IEEE TNSM (IEEE Transactions on Network and Service
Management. These extended papers will undergo the normal TNSM
peer-review process.

More information about technical paper submissions on:
http://www.ieee-im.org/content/technical-session-papers

IMPORTANT DATES

Paper submission: September 15, 2014
Notification of acceptance: November 30, 2014
Camera ready submission: February 1, 2015

SUMMARY OF IM 2015 CALLS

Technical Papers (deadline: September 15, 2014)
http://www.ieee-im.org/content/technical-session-papers

Experience Papers (deadline: September 15, 2014)
http://www.ieee-im.org/content/experience-session-papers

Dissertation Papers (deadline: October 30, 2014)
http://www.ieee-im.org/content/dissertation-papers

Panel Proposals (deadline: October 31, 2014)
http://www.ieee-im.org/content/panels

Tutorial Proposals (deadline: October 17, 2014)
http://www.ieee-im.org/content/tutorials-0

Workshop Proposals (deadline: August 1, 2014)
http://www.ieee-im.org/content/workshops-0

Exhibit and Demo Proposals (deadline: January 30, 2015)
http://www.ieee-im.org/content/demos

GENERAL CO-CHAIRS

- Raouf Boutaba, University of Waterloo, Canada
- Wahab Almuhtadi, Algonquin College, Canada

TPC CO-CHAIRS

- Shingo Ata, Osaka City University, Japan
- Remi Badonnel, TELECOM Nancy - LORIA/INRIA, France
- Jin Xiao, IBM T.J. Watson, USA

STEERING COMMITTEE

- Raouf Boutaba, University of Waterloo, Canada
- Marcus Brunner, Swisscom, Switzerland
- Alex Clemm, Cisco, USA
- Olivier Festor, Telecom Nancy, France
- Nobuo Fujii, NTT, Japan
- Lisandro Zambenedetti Granville, UFRGS, Brazil
- Aiko Pras, University of Twente, Netherlands
- Doug Zuckerman, Telcordia Technologies, USA

TECHNICAL PROGRAM COMMITTEE

- Abdelkader Lahmadi, ENSEM, France
- Adarsh Sethi, University of Delaware, USA
- Adel El-Atawy, Google, USA
- Aiko Pras, University of Twente, Netherland
- Akihiro Nakao, The University of Tokyo, Japan
- Alberto Gonzalez, Cisco Systems, USA
- Aldri dos Santos, Universidade Federal do Paraná, Brazil
- Alexander Clemm, Cisco Systems, USA
- Alexander Keller, IBM Global Technology Services, USA
- Alva Couch, Tufts University, USA
- Andrzej Kochut, IBM T. J. Watson, USA
- Anna Sperotto, University of Twente, Netherlands
- Anwar Haque, Bell Canada, Canada
- Arosha Bandara, The Open University, UK
- Artur Ziviani, LNCC, Brazil
- Bradley Simmons, York University, Canada
- Brendan Jennings, TSSG - Waterford Institute of Technology, Ireland
- Burkhard Stiller, University of Zurich and ETH Zurich, Switzerland
- Carlos Westphall, Federal Uiversity of Santa Catarina, Brazil
- Carol Fung, Virginia Commonwealth University, USA
- Chonggang Wang, InterDigital Communications, USA
- Choong Seon Hong, Kyung Hee University, South Korea
- Christopher Ward, SiriusXM, USA
- Clarissa Marquezan, Duisburg-Essen University, Germany
- Danny Raz, Technion, Israel
- David Breitgand, IBM - Haifa Research Lab, Israel
- David Hausheer, TU Darmstadt, Germany
- Deep Medhi, University of Missouri-Kansas City, USA
- Edmundo Madeira, UNICAMP, Brazil
- Emil Lupu, Imperial College, UK
- Fetahi Wuhib, Ericsson Research, Sweden
- Filip De Turck, Ghent University - iMinds, Belgium
- Gabi Dreo Rodosek, University of Federal Armed Forces, Munich Germany
- George Pavlou, University College London, UK
- Gerard Parr, University of Ulster, UK
- Giovane Moura, Delft University of Technology, Netherlands
- Guillaume Doyen, UTT, France
- Hanan Lutfiyya, University of Western Ontario, Canada
- Helmut Reiser, Leibniz-Supercomputing Centre, Germany
- Henning Sanneck, Nokia Siemens Networks GmbH & Co KG, Germany
- Hongtaek Ju, Keimyung University, South Korea
- Isabelle Chrisment, Université de Lorraine, France
- Iyad Katib, King Abdulaziz University Saudi, Arabia
- James Hong, POSTECH, South Korea
- Javier Baliosian, University of the Republic, Uruguay
- Jérôme François, INRIA Nancy Grand Est, France
- Jean-Philippe Martin-Flatin, EPFL, Switzerland
- Jeroen Famaey, Ghent University - iMinds, Belgium
- Jerry Rolia, HP Laboratories, USA
- Jiahai Yang, Tsinghua University, China
- Jinho Hwang, IBM Research, USA
- Joan Serrat, Universitat Politècnica de Catalunya, Spain
- Joe Betser, The Aerospace Corporation, USA
- John Strassner, Huawei Technologies (US), USA
- Jorge López de Vergara, Universidad Autónoma de Madrid, Spain
- Jorge Lobo, Universitat Pompeu Fabra, Spain
- José De Souza, UFC, Brazil
- Jose-Marcos Nogueira, Universidade Federal de Minas Gerais, Brazil
- Juergen Schoenwaelder, Jacobs University Bremen, Germany
- Kazuhiko Kinoshita, Osaka University, Japan
- Liam Fallon, Ericsson, Ireland
- Lisandro Zambenedetti Granville, UFRGS, Brazil
- Luca Deri, ntop.org, Italy
- Luciano Paschoal Gaspary, UFRGS, Brazil
- Lucy Cherkasova, Hewlett Packard Labs, USA
- Malgorzata Steinder, IBM T. J. Watson Research Center, USA
- Marcus Brunner, Swisscom, Switzerland
- Marinos Charalambides, University College London, UK
- Mario Golling, University of Federal Armed Forces Munich, Germany
- Masum Hasan, Cisco Systems, USA
- Mauro Tortonesi, University of Ferrara, Italy
- Maxwell, Young Drexel University, USA
- Metin Feridun, IBM Research, Switzerland
- Michael Bauer, University of Western Ontario, Canada
- Michael Menth, University of Tuebingen, Germany
- Michele Nogueira, Universidade Federal do Paraná, Brazil
- Nancy Samaan, University of Ottawa, Canada
- Nikos Anerousis, IBM T.J. Watson Research Center, USA
- Noriaki Kamiyama, Osaka University/NTT Laboratories, Japan
- Noura Limam, University of Waterloo, Canada
- Nur Zincir-Heywood, Dalhousie University, Canada
- Olivier Festor, TELECOM Nancy, France
- Omar Cherkaoui, University of Quebec in Montreal, Canada
- Osamu Akashi, NTT, Japan
- Paulo Simoes, University of Coimbra, Portugal
- Peer Hasselmeyer, NEC Laboratories Europe, Germany
- Philippe Owezarski, LAAS-CNRS, France
- Piotr Cholda, AGH University of Science and Technology, Poland
- Prasad Calyam, University of Missouri, Columbia, USA
- Prosper Chemouil, Orange Labs, France
- Qi Zhang, University of Toronto, Canada
- Quanyan Zhu, New York University, USA
- Radu State, University of Luxembourg, Luxembourg
- Rami Langar, UPMC - Paris University, France
- Ramin Sadre, Aalborg University, Denmark
- Raouf Boutaba, University of Waterloo, Canada
- Reaz Ahmed, University of Waterloo, Canada
- Ritu Chadha, Applied Communication Sciences (formerly Telcordia), USA
- Roberto Riggio, CREATE-NET, Italy
- Rocky K. C. Chang, The Hong Kong Polytechnic University, China
- Sejun Song, University of Missouri Kansas City, USA
- Serge Mankovskii, CA Labs, USA
- Sidath Handurukande, Ericsson Ireland, Ireland
- Stefan Wallin, Tail-f Systems, Sweden
- Stefano Secci, Pierre and Marie Curie University - Paris 6, France
- Steven Latre, University of Antwerp - iMinds, Belgium
- Sven van der Meer, Ericsson, Ireland
- Taghrid Samak, Lawrence Berkeley National Laboratory, USA
- Tamar Eilam, IBM, USA
- Thomas Bocek, University of Zurich, Switzerland
- Thomas Magedanz, Fraunhofer Institut FOKUS, Germany
- Thomas Schaaf, University of Munich (LMU), Germany
- Toshio Tonouchi, NEC, Japan
- Toufik Ahmed, University of Bordeaux, France
- Tsuyoshi Ide, IBM Research, Japan
- Xiaoyun Zhu, VMware Inc., USA
- Yacine Ghamri-Doudane, University of La Rochelle, France
- Yang Song, IBM Research, USA
- Yixin Diao, IBM Research, USA
- Yoshiaki Kiriha, NEC, Japan
- Young-Tak Kim, Yeungnam University, South Korea
- Zhikui Wang, HP Laboratories, USA

For more information, please feel free to contact the TPC chairs
at im2015tpcchairs@gmail.com or visit http://www.ieee-im.org

--
Giovane C. M. Moura, PhD
Postdoctoral Researcher
Economics of Cybersecurity Group
Faculty of Technology, Policy, and Management
Delft University of Technology
http://homepage.tudelft.nl/6a4w6/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Theory Announcements

Thursday, July 31, 2014

[DMANET] 3rd Call for Papers NetSys 2015

14 PhD scholarships 2014 -- Computer Science -- Pisa

Tuesday, July 29, 2014

[DMANET] Graph Drawing (Call for Posters)

Monday, July 28, 2014

[DMANET] W2-Professorships in Mathematics and quatitative Economics at HCM (Bonn)

[DMANET] Postdoctoral Positions in Mathematics and quantitative Economics at HCM (Bonn)

[DMANET] Postdoc position in Lyon, France

Sunday, July 27, 2014

[DMANET] Become a member of the Association for Constraint Programming

[DMANET] NSysS 2015- Deadline Extension

[DMANET] PPDP 2014: Program and 2nd Call for Participation

Saturday, July 26, 2014

[DMANET] LATA 2015: 1st call for papers

Friday, July 25, 2014

[DMANET] ALGO 2014 early registration deadline

[DMANET] Call for Papers STACS 2015

[DMANET] Research Associate, RWTH Aachen, Mathematical Optimization

[DMANET] CSoNet'14: Deadline Extended: July 31: Workshop on Computational Social Networks, Hawaii, Dec. 2014

[DMANET] ICDCN 2015: Extended submission deadline to Aug. 4, 2014

Thursday, July 24, 2014

[DMANET] PhD studentship in Mathematics and Statistics, The Open University

[DMANET] PostDoc Position in GraphDrawing

[DMANET] ICDCN 2015: One day before the deadline !

[DMANET] Last Week, July 26 || SENSORDEVICES 2014 || November 16 - 20, 2014 - Lisbon, Portugal

Tuesday, July 22, 2014

[DMANET] Deadline Extended (July 28), Symposium on Foundations & Practice of Security (FPS 2014), Montreal, Canada, Springer LNCS proceedings

[DMANET] IFIP/IEEE IM 2015 in Ottawa, Canada - Submissions due in less than 8 weeks

Mailing Lists

Search This Blog

Blog Archive

Thursday, July 31, 2014

Tuesday, July 29, 2014

Monday, July 28, 2014

Sunday, July 27, 2014

Saturday, July 26, 2014

Friday, July 25, 2014

Thursday, July 24, 2014

Tuesday, July 22, 2014

Mailing Lists

Subscribe To

Search This Blog

Blog Archive