Wednesday, May 7, 2014

dmanet Digest, Vol 75, Issue 5

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

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

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

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


Today's Topics:

1. ACM CHANTS 2014 (co-located with ACM MobiCom): call for
papers (Elisabetta Biondi)
2. WABI 2014 CfP (Workshop on Algorithms in Bioinformatics Sept.
8-10, 2014, Wroc?aw, Poland) (Zsuzsanna Lipt?k)
3. SLSP 2014: extended submission deadline 14 May (GRLMC)


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

Message: 1
Date: Wed, 07 May 2014 11:08:01 +0200
From: Elisabetta Biondi<chants14_publicity@iit.cnr.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ACM CHANTS 2014 (co-located with ACM MobiCom): call
for papers
Message-ID: <5369f7f1.M8HHIjDh9ia9Rvra%chants14_publicity@iit.cnr.it>
Content-Type: text/plain; charset=us-ascii

______________________________________________________________________

ACM CHANTS 2014 - 9th Workshop on Challenged Networks
co-located with ACM MobiCom 2014
7 September 2014, Maui, Hawaii, USA

www.acm-chants.org/14


Supported by the FP7 EU MOTO project
http://www.fp7-moto.eu
______________________________________________________________________


SCOPE AND OVERVIEW
__________________

Challenged networks comprise those situations where communication is desired,
but traditional Internet architectures fail to provide it effectively.
Such networks may be characterized by intermittent connectivity, a heterogeneous
mix of nodes, nodal churn, and widely varying network conditions. Traditional
examples of challenged networks include inter-planetary networks, sensor and
wildlife monitoring networks, underwater networks, rural and remote areas,
and military battlefields. Recently, challenged networking has also found
applications in everyday settings, for which they were not initially conceived,
such as opportunistic networking supporting data-centric communications,
traffic offloading from cellular networks, mobile cloud computing,
opportunistic and participatory sensing. Inter-disciplinary approaches to
challenged networking protocols are also successfully explored, exploiting,
for example, findings in the area of social networking.
The availability of enabling technologies in mobile devices, such as
WiFi direct in Android and D2D communication in latest LTE releases, will
further push towards practical developments of challenged networking solutions.

This workshop builds on the success of the eight previous CHANTS workshops,
and WDTN 2005, to stimulate research on the most novel and challenging topics
of challenged network research. CHANTS provides an ideal venue for researchers
and engineers to present cutting-edge work and results, as research papers or demos,
in the following topics:

- Delay/disruption-tolerant networks (DTNs)
- Opportunistic communication and computing
- Architecture, design, and implementation of communication systems
for challenged networks
- Modeling, analysis and characterization of challenged networks and protocols
- Network Coding in Challenged Networks
- Information Centric and Content-centric Networking in Challenged Networks
- Security/Trust/Privacy concerns and solutions in challenged networks
- Case studies involving real challenged network solutions in various stages
of development or use
- Applications of challenged networks in disrupted scenarios
(e.g. disaster relief and emergency management) and in daily use
(e.g., vehicular networks, mobile social networking, censorship evasion, crowdsourcing,
sensor networks)
- Green and energy-efficient communication using challenged networks
- Real-world mobility trace collection, analysis, and modeling for challenged environments
- Network science methods for challenged networks
- Mobile data offloading via challenged networks
- Test and simulation tools for evaluating challenged network systems
- Configuration, management, and monitoring of challenged networks
- Challenged networking techniques for mobile cloud
- Challenged networking techniques for participatory and opportunistic sensing

Selected papers will be forward-looking, will describe their relationship
to existing work, and will have impact and implications for ongoing or future research.
We aim to have a highly interactive workshop, also including demos, which have been
an integral part of CHANTS. Paper authors who can also run a demo of their work will be
encouraged to do so. In exceptional cases, where live demos are simply not practical
to present, poster or video presentations of practical results are acceptable.


PAPER FORMAT AND SUBMISSION INSTRUCTIONS
________________________________________

Papers should neither have been published elsewhere nor being
currently under review by another conference or journal.
Submitted papers must be no more than 6 pages long, and should adhere to
the standard ACM conference proceedings format.
Demo proposals (to be published as part of the proceedings) must not be longer
than 3 pages plus 1 page description of the precise setup and requirements
(the 1-page setup description will not be published in the proceedings).
Papers will be reviewed single blind.
Please follow the submission link at: http://www.acm-chants.org


EDITORIAL FOLLOW-UPS
_____________________

Extended versions of the selected workshop papers will be considered for
possible fast track publication on the Computer Communications Journal (Elsevier),
in a special section on Challenged Networks.


IMPORTANT DATES
_______________

Abstract Registration: 1 June 2014
Submission Deadline: 8 June 2014
Authors Notification: 20 July 2014
Camera Ready Due: 27 July 2014
Workshop: 7 September 2014



ORGANIZING COMMITTEE
____________________

Program Committee Chairs
- Mario Gerla (UCLA, USA)
- Andrea Passarella (IIT-CNR, Italy)

Technical Program Committee
- Mostafa Ammar (Georgia Institute of Technology, USA)
- Aruna Balasubramanian (University of Washington, USA)
- Fehmi Ben Abdesslem (SICS Swedish ICT, Sweden)
- Chiara Boldrini (IIT-CNR, Italy)
- Scott Burleigh (Jet Propulsion Laboratory, California Institute of Technology, USA)
- Guohong Cao (Penn State University, USA)
- Vania Conan (Thales Communications & Security, France)
- Marco Conti (IIT-CNR, Italy)
- Marcelo Dias de Amorim (CNRS and UPMC, France)
- Roberto Di Pietro (Roma Tre University of Rome, Italy)
- Do Young Eun (North Carolina State University, USA)
- Stephen Farrell (Trinity College Dublin, Ireland)
- Ahmed Helmy (University of Florida, USA)
- Tristan Henderson (University of St Andrews, UK)
- Pan Hui (Deutsche Telekom Laboratories/Hong Kong Univ. of Science and Technology, Hong Kong)
- Karin Anna Hummel (ETH Zurich, Switzerland)
- Mohan Kumar (Rochester Institute of Technology, USA)
- Kyunghan Lee, (UNIST Ulsan National Institute of Science and Technology, Korea)
- Uichin Lee (KAIST-KSE, Korea Advanced Institute of Science and Technology, Korea)
- Anders Lindgren (SICS Swedish ICT, Sweden)
- Giovanni Neglia (INRIA Sophia-Antipolis, France)
- Melek Onen (EURECOM, France)
- Joerg Ott (Aalto University, Finland)
- Elena Pagani (University of Milan, Italy)
- Andreea Hossmann-Picu (ETH Zurich, Switzerland)
- Thrasyvoulos Spyropoulos (EURECOM, France)
- Stavros Toumpis (Athens University of Economics and Business, Greece)
- Eiko Yoneki (University of Cambridge, UK)

Steering Committee
- Kevin Almeroth, UC-Santa Barbara, USA
- Mostafa Ammar, Georgia Tech, USA
- Christophe Diot, Technicolor, France
- Deborah Estrin, UC-Los Angeles, USA
- Kevin Fall, Carnegie Mellon University, USA
- Joerg Ott, Aalto University, Finland
- James Scott, Microsoft Research Cambridge, UK

Publicity Co-Chairs
- Elisabetta Biondi (IIT-CNR, Italy)
- Yong Li (Tsinghua University, China)
- Sungwon Yang (UCLA, USA)

Web Chair
- Fehmi Ben Abdesslem (SICS Swedish ICT, Sweden)

For more information, please check out www.acm-chants.org or write to
the workshop co-chairs at chants2014@iit.cnr.it


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

Message: 2
Date: Wed, 7 May 2014 11:04:35 +0200
From: Zsuzsanna Lipt?k <zsuzsanna.liptak@univr.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] WABI 2014 CfP (Workshop on Algorithms in
Bioinformatics Sept. 8-10, 2014, Wroc?aw, Poland)
Message-ID:
<CAPzvkYhxHo0-F19Aco-gkrUGTRy6NxXZ_cgdJk+Ham2EEKXTQA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

***** We apologize for multiple postings. *****


CALL FOR PAPERS - WABI 2014

14th Workshop on Algorithms in Bioinformatics September 8-10, 2014

Wroc?aw, Poland

http://algo2014.ii.uni.wroc.pl/wabi/


SCOPE

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


TOPICS

Original research papers (including significant work-in-progress) or
state-of-the-art surveys are solicited in all aspects of algorithms in
bioinformatics, computational biology and systems biology - including,
but not limited to:

* Exact and approximate algorithms for sequence analysis, gene and
signal recognition, alignment and assembly, molecular evolution,
structure determination or prediction, gene expression, molecular
pathways and network, proteomics, functional and comparative genomics,
and drug design.

* Methods, software, and data repositories for development and testing
of such algorithms and their underlying models, as well as
high-performance computing approaches to hard learning and optimization
problems.

* Novel approaches to analyzing and modeling next-generation sequence
data, including sequence assembly, population genomics, metagenomics,
metatranscriptomics and ncRNA sequencing.


IMPORTANT DATES

Submission deadline: Saturday 24 May, 2014.
Author notification: Sunday 22 June, 2014.
Final version due: Wednesday 2 July, 2014.
Workshop: 08-10 September, 2014.


DETAILS ON SUBMITTING MANUSCRIPTS

http://algo2014.ii.uni.wroc.pl/wabi/cfp.html


KEYNOTE SPEAKER

H?l?ne Touzet, University of Lille


PROGRAM COMMITTEE CHAIRS

Dan Brown, University of Waterloo
Burkhard Morgenstern, University of G?ttingen

PROGRAM COMMITTEE

Mohamed Abouelhoda, Cairo University
Tatsuya Akutsu, Kyoto University
Anne Bergeron, Universite du Quebec a Montreal
Sebastian B?cker, Friedrich Schiller University Jena
Paola Bonizzoni, Universit di Milano-Bicocca
Marilia Braga, Inmetro - Ditel
Bro?a Brejov?, Comenius University in Bratislava
C.Titus Brown, Michigan State University
Philipp Bucher, Swiss Institute for Experimental Cancer Research
Rita Casadio, UNIBO
Cedric Chauve, Department of Mathematics, Simon Fraser University
Matteo Comin, Dept. Information Engineering, University of Padova
Lenore Cowen, Tufts University
Keith Crandall, George Washington University
Nadia El-Mabrouk, University of Montreal
David Fern?ndez-Baca, Iowa State University
Anna Gambin, Institute of Informatics, Warsaw University
Olivier Gascuel, LIRMM, CNRS - Universit Montpellier 2
Raffaele Giancarlo, Dipartimento di Matematica Universita di Palermo
Nicholas Hamilton, The University of Queensland, Institute for
Molecular Bioscience
Barbara Holland, University of Tasmania
Katharina Huber, University of East Anglila
Steven Kelk, Department of Knowledge Engineering (DKE), University of Maastricht
Carl Kingsford, Carnegie Mellon University
Gregory Kucherov, CNRS/LIGM
Zsuzsanna Lipt?k, University of Verona
Stefano Lonardi, UC Riverside
Veli M?kinen, Department of Computer Science, University of Helsinki
Ion Mandoiu, University of Connecticut
Giovanni Manzini, University of Eastern Piedmont
Paul Medvedev, University of California, San Diego
Irmtraud Meyer, University of British Columbia
Istv?n Mikl?s, Renyi Institute, Budapest
Satoru Miyano, University of Tokyo
Bernard Moret, EPFL, Montpellier
Vincent Moulton, University of East Anglia
Luay Nakhleh, Rice University
Nadia Pisanti, Dipartimento di Informatica, Universita di Pisa, Italy
Mihai Pop, University of Maryland
Teresa Przytycka, NIH
Sven Rahmann, University of Duisburg-Essen
Marie-France Sagot, INRIA Grenoble Rh?ne-Alpes and Universit? de Lyon
S. Cenk Sahinalp, Simon Fraser University
David Sankoff, University of Ottawa
Russell Schwartz, Carnegie Mellon University
Joao Setubal, University of S?o Paulo
Peter F. Stadler, University of Leipzig
Jens Stoye, Bielefeld University
Krister Swenson, Universit? de Montr?al / McGill University
Jijun Tang, University of South Carolina
Lusheng Wang, CS Dept., City Univ. of HK
Louxin Zhang, National University of Singapore
Michal Ziv-Ukelson, Ben Gurion University of the Negev

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

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

Dr. Zsuzsanna Lipt?k - Assistant Professor
University of Verona, Dept. of Computer Science
Strada le Grazie, 15, I-37134 Verona, Italy

room: Ca' Vignal, 2, stanza 1.79
tel: +39 045 802-7032, fax: -7068
email: zsuzsanna.liptak@univr.it
web: http://profs.sci.univr.it/~liptak
------------------------------------------------------------------------



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

Message: 3
Date: Wed, 7 May 2014 11:17:17 +0200
From: "GRLMC" <grlmc@urv.cat>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] SLSP 2014: extended submission deadline 14 May
Message-ID: <7BF3AB71661A4C7CA82BC50F978A36BC@Carlos1>
Content-Type: text/plain; charset="iso-8859-1"

----------------------------------------------------------------------------
***** SUBMISSION DEADLINE EXTENDED: May 14 *****
----------------------------------------------------------------------------

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

2nd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING

SLSP 2014

Grenoble, France

October 14-16, 2014

Organised by:

?quipe GETALP
Laboratoire d?Informatique de Grenoble

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

http://grammars.grlmc.com/slsp2014/

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

AIMS:

SLSP is a yearly conference series aimed at promoting and displaying
excellent research on the wide spectrum of statistical methods that are
currently in use in computational language or speech processing. It aims at
attracting contributions from both fields. Though there exist large,
well-known conferences and workshops hosting contributions to any of these
areas, SLSP is a more focused meeting where synergies between subdomains and
people will hopefully happen. In SLSP 2014, significant room will be
reserved to young scholars at the beginning of their career and particular
focus will be put on methodology.

VENUE:

SLSP 2014 will take place in Grenoble, at the foot of the French Alps.

SCOPE:

The conference invites submissions discussing the employment of statistical
methods (including machine learning) within language and speech processing.
The list below is indicative and not exhaustive:

phonology, phonetics, prosody, morphology
syntax, semantics
discourse, dialogue, pragmatics
statistical models for natural language processing
supervised, unsupervised and semi-supervised machine learning methods
applied to natural language, including speech
statistical methods, including biologically-inspired methods
similarity
alignment
language resources
part-of-speech tagging
parsing
semantic role labelling
natural language generation
anaphora and coreference resolution
speech recognition
speaker identification/verification
speech transcription
speech synthesis
machine translation
translation technology
text summarisation
information retrieval
text categorisation
information extraction
term extraction
spelling correction
text and web mining
opinion mining and sentiment analysis
spoken dialogue systems
author identification, plagiarism and spam filtering

STRUCTURE:

SLSP 2014 will consist of:

invited talks
peer-reviewed contributions

INVITED SPEAKERS:

Claire Gardent (LORIA, Nancy, FR), Grammar Based Sentence Generation and
Statistical Error Mining

Roger K. Moore (Sheffield, UK), Spoken Language Processing: Time to Look
Outside?

Martti Vainio (Helsinki, FI), Phonetics and Machine Learning: Hierarchical
Modelling of Prosody in Statistical Speech Synthesis

PROGRAMME COMMITTEE:

Sophia Ananiadou (Manchester, UK)
Srinivas Bangalore (Florham Park, US)
Patrick Blackburn (Roskilde, DK)
Herv? Bourlard (Martigny, CH)
Bill Byrne (Cambridge, UK)
Nick Campbell (Dublin, IE)
David Chiang (Marina del Rey, US)
Kenneth W. Church (Yorktown Heights, US)
Walter Daelemans (Antwerpen, BE)
Thierry Dutoit (Mons, BE)
Alexander Gelbukh (Mexico City, MX)
James Glass (Cambridge, US)
Ralph Grishman (New York, US)
Sanda Harabagiu (Dallas, US)
Xiaodong He (Redmond, US)
Hynek Hermansky (Baltimore, US)
Hitoshi Isahara (Toyohashi, JP)
Lori Lamel (Orsay, FR)
Gary Geunbae Lee (Pohang, KR)
Haizhou Li (Singapore, SG)
Daniel Marcu (Los Angeles, US)
Carlos Mart?n-Vide (Tarragona, ES, chair)
Manuel Montes-y-G?mez (Puebla, MX)
Satoshi Nakamura (Nara, JP)
Shrikanth S. Narayanan (Los Angeles, US)
Vincent Ng (Dallas, US)
Joakim Nivre (Uppsala, SE)
Elmar N?th (Erlangen, DE)
Maurizio Omologo (Trento, IT)
Mari Ostendorf (Seattle, US)
Barbara H. Partee (Amherst, US)
Gerald Penn (Toronto, CA)
Massimo Poesio (Colchester, UK)
James Pustejovsky (Waltham, US)
Ga?l Richard (Paris, FR)
German Rigau (San Sebasti?n, ES)
Paolo Rosso (Valencia, ES)
Yoshinori Sagisaka (Tokyo, JP)
Bj?rn W. Schuller (London, UK)
Satoshi Sekine (New York, US)
Richard Sproat (New York, US)
Mark Steedman (Edinburgh, UK)
Jian Su (Singapore, SG)
Marc Swerts (Tilburg, NL)
Jun'ichi Tsujii (Beijing, CN)
Gertjan van Noord (Groningen, NL)
Renata Vieira (Porto Alegre, BR)
Dekai Wu (Hong Kong, HK)
Feiyu Xu (Berlin, DE)
Roman Yangarber (Helsinki, FI)
Geoffrey Zweig (Redmond, US)

ORGANISING COMMITTEE:

Laurent Besacier (Grenoble, co-chair)
Adrian Horia Dediu (Tarragona)
Benjamin Lecouteux (Grenoble)
Carlos Mart?n-Vide (Tarragona, co-chair)
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 LNAI/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=slsp2014

PUBLICATIONS:

A volume of proceedings published by Springer in the LNAI/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 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 January 16, 2014 to October 14,
2014. The registration form can be found at:

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

DEADLINES:

Paper submission: May 14, 2014 (23:59h, CET) ? EXTENDED ?
Notification of paper acceptance or rejection: June 18, 2014
Final version of the paper for the LNAI/LNCS proceedings: June 25, 2014
Early registration: July 2, 2014
Late registration: September 30, 2014
Submission to the post-conference journal special issue: January 16, 2015

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu@urv.cat

POSTAL ADDRESS:

SLSP 2014
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:

Laboratoire d?Informatique de Grenoble
Universitat Rovira i Virgili




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

Subject: Digest Footer

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


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

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

dmanet Digest, Vol 75, Issue 4

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

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

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

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


Today's Topics:

1. Call For Participation: SWAT 2014 in Copenhagen! (S?ren Juhl Vind)
2. MeCBIC 2014 : 1st Call for Papers (Bogdan Aman)
3. polymake 2.13 (Michael Joswig)
4. DEBS 2014: Final Call for Participation (Boris Koldehofe)
5. PCCR 2014: 2nd Workshop on the Parameterized Complexity of
Computational Reasoning (sergeg@cse.unsw.edu.au)
6. 10 Fellowships for a PhD in Computer Science at GSSI in
L'Aquila (Michele Flammini)


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

Message: 1
Date: Tue, 6 May 2014 08:00:25 +0000
From: S?ren Juhl Vind <sovi@dtu.dk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Call For Participation: SWAT 2014 in Copenhagen!
Message-ID: <E88784A0-EBD1-4DFE-89E7-A9D9CD7854CC@dtu.dk>
Content-Type: text/plain; charset="iso-8859-1"

CALL FOR PARTICIPATION: SWAT 2014
-------------------------------------------
14th Scandinavian Symposium and Workshops on Algorithm Theory
http://algolog.compute.dtu.dk/swat2014/

July 2-4 2014
Copenhagen, Denmark
-------------------------------------------


This year in July, SWAT will be hosted in Copenhagen, Denmark. The symposium,
which alternates with the Algorithms and Data Structures Symposium (WADS),
is a forum for researchers in the area of design and analysis of algorithms
and data structures. We hope to see as many as possible of our wonderful colleagues!

SWAT 2014 is held in Copenhagen, where several other interesting events that
might be of interest take place in the same period (details on the website):
- SEA 2014 takes place immediately before SWAT 2014
- ICALP 2014 takes place just after SWAT 2014
- Copenhagen Jazz Festival (with free music all over the city)
begins on the final day of SWAT 2014.


REGISTRATION
Registration is open on the website: http://algolog.compute.dtu.dk/swat2014/
Early registration: *** Until May 18, 2014 ***
Regular: 340 Euro, Student: 280 Euro

Late registration: *** From May 19, 2014 ***
Regular: 440 Euro, Student: 380 Euro


ACCEPTED PAPERS
http://algolog.compute.dtu.dk/swat2014/accepted.html


KEYNOTE SPEAKERS
Carsten Thomassen, Technical University of Denmark
Nikhil Bansal, Eindhoven University of Technology
Mikkel Thorup, University of Copenhagen


FURTHER INFORMATION AND CONTACTS
W: http://algolog.compute.dtu.dk/swat2014/
E: inge@dtu.dk, sovi@dtu.dk


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

Message: 2
Date: Tue, 6 May 2014 13:23:45 +0300
From: "Bogdan Aman" <baman@iit.tuiasi.ro>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] MeCBIC 2014 : 1st Call for Papers
Message-ID:
<a92c5ac30aa8d5a9f9f53b167e520267.squirrel@iit.iit.tuiasi.ro>
Content-Type: text/plain;charset=utf-8

----------------------------------------------------------------
Call for Papers
MeCBIC 2014
7th Workshop on Membrane Computing
and Biologically Inspired Process Calculi
16th September 2014, Bucharest, Romania

http://profs.info.uaic.ro/~mecbic/mecbic2014/
================================================================
IMPORTANT DATES:

*** Abstract Submission: 22 June, 2014
*** Paper Submission: 29 June, 2014
*** Notification: 9 August, 2014
*** Meeting: 16 September, 2014

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

The 7th Workshop on Membrane Computing and Biologically Inspired Process
Calculi (MeCBIC 2014) will take place in Bucharest on 16th September 2014
as a related event of ICTAC 2014, the 11th International Colloquium on
Theoretical Aspects of Computing.

If your work is related to MeCBIC topics, it is now a good opportunity to
submit a paper (of about 16 pages), using the web page
http://www.easychair.org/conferences/?conf=mecbic2014.

================================================================
AIMS AND SCOPE

The modeling and the analysis of biological systems has attracted the
interest of several research communities. The main aim of the workshop is
to bring together researchers in concurrency theory, formal methods, and
related fields that are interested to present recent results and to
discuss new ideas concerning such formalisms, their properties and
relationships. We welcome contributions that address both theoretical and
applied contributions related to the relevance and potential of formal
methods in biology. Topics of interest include (but not limited to):

- Biologically inspired models and calculi (rewrite systems, process
calculi, Petri nets, etc.);
- Theoretical links and comparison of different biological inspired formal
models;
- Qualitative biological modeling;
- Quantitative formal methods;
- Modelling, analysis and simulation tools for biologically inspired systems.

The workshop proceedings will be published in the Electronic Proceedings
in Theoretical Computer Science. After the event, papers presented at the
workshop will be invited to be furtherly extended and submitted to a
special issue of a visible journal (indexed by DBLP, SCOPUS, Web of
Science, etc)

================================================================
PAST EVENTS

The first edition of MeCBIC was held in Venice in 2006 (co-located with
ICALP 2006). The second MeCBIC was held in Iasi in 2008, the third one
took place in Bologna (as a satellite event of CONCUR 2009), the forth one
in Jena, the fifth in Paris and the sixth in Newcastle. The previous
proceedings of the MeCBIC workshops have been published as ENTCS volumes
171(2) and 227 (2006 and 2008), EPTCS volumes 11, 40 and 100 (2009, 2010
and 2012), in arXiv.org in 2011. A selection of revised papers from 2008,
2009 and 2009 appeared in Theoretical Computer Science volume 431 in 2012.

================================================================
PROGRAM COMMITTEE

Bogdan Aman (co-chair) - Romanian Academy, Iasi, RO
Roberto Barbuti - University of Pisa, Italy
Luca Cardelli - Microsoft, Cambridge, UK
jane Hillston - University of Edinburgh, UK
Florentin Ipate (co-chair) - University of Bucharest, RO
Jean-Louis Giavitto - IRCAM CNRS, Paris, France
Jetty Kleijn - Leiden University, NL
Jean Krivine - University Paris 7, France
Emanuela Merelli - University of Camerino, Italy
Gethin Norman - University of Glasgow, UK
Jun Pang - University of Luxembourg, LU
Anna Philippou - University of Cyprus, Cyprus
G. Michele Pinna - University of Cagliari, Italy
Franck Pommereau - University of Evry, France
Jason Steggles - Newcastle University, UK
Gy?rgy Vaszil - University of Debrecen, Hungary
Angelo Troina - University of Torino, Italy

**********************************************************************
Additional information about the workshop can be found on the MeCBIC 2014
web page http://profs.info.uaic.ro/~mecbic/mecbic2014/.
For information regarding the workshop and other queries, you can use
the chairs email addresses: bogdan.aman@iit.academiaromana-is.ro or
baman@iit.tuiasi.ro (Bogdan Aman) or florentin.ipate@ifsoft.ro (Florentin
Ipate)
**********************************************************************

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.



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

Message: 3
Date: Tue, 06 May 2014 15:32:11 +0200
From: Michael Joswig <joswig@math.tu-berlin.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] polymake 2.13
Message-ID: <5368E45B.6050900@math.tu-berlin.de>
Content-Type: text/plain; charset=ISO-8859-1

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

We are happy to announce polymake 2.13, which already appeared in April. The
tar ball can be downloaded from
http://wiki.polymake.org/lib/exe/fetch.php/download/polymake-2.13-1.tar.bz2

The most important new features include:
* new application "ideal" with interface to Singular, version 4
* new application "fulton" for normal toric varieties
* quadratic field extensions, e.g., to represent the Platonic solids exactly
* updated and modularized iterface to libnormaliz
* new interface to ppl (Parma Polyhedra Library)
* improved computation of convex hulls up to symmetry (via interface to
sympol)
* TikZ output

For details see
http://wiki.polymake.org/doku.php/news/release_2_13

polymake 2.13 also comes as a bundle for MacOS 10.8 and 10.9.

Happy polymaking! On behalf of the entire polymake team,
Michael Joswig

- --
Prof. Dr. Michael Joswig <joswig@math.tu-berlin.de>
Technische Universitaet Institut fuer Mathematik, MA 6-2
Str. des 17. Juni 136 D-10623 Berlin, Germany
phone +49 (30) 314-75904 fax +49 (30) 314-25047
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iQEcBAEBAgAGBQJTaORbAAoJEFvVrjjpdzmcZvgH/jVIr/dtl1exNuFAKM/j4cRM
k24bH5Lp6SfT1PNvaYarc0imH7PL6ZvDpt4hdzK9JFvmCa8M8sl023bLFgrkHTKQ
3Vu7zlThgHOMltFR+U2tQMQdKgjgEdbiW5KIjBZYV5iRq9cvvss7XTTuoz3yl/MD
uMwVz+e13IiA5GxA36wfG8fOwFJZSYxkEiyxphrd3MainpatVAqes5ovqDYuVLjE
XFB9aw4TACrKEXyYLAt0XQoUXSYQifQ7UdlNEKw36IeHcQ38LZQEybqnMEkDO3VY
LfoUONdyNkrpgGLfFUpseN2NEiXx5Z00EZKJk5dbGHzglHzbQKMr14tV9+B0RTE=
=KZom
-----END PGP SIGNATURE-----


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

Message: 4
Date: Tue, 06 May 2014 19:21:51 +0200
From: Boris Koldehofe <boris.koldehofe@ipvs.uni-stuttgart.de>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] DEBS 2014: Final Call for Participation
Message-ID: <53691A2F.3080007@ipvs.uni-stuttgart.de>
Content-Type: text/plain; charset=UTF-8

DEBS 2014: 8th ACM International Conference on Distributed Event Based
Systems
May 26th-29th 2014, IIT Bombay, Mumbai, India,
Co-sponsored by ACM SIGMOD and ACM SIGSOFT

http://www.cse.iitb.ac.in/debs2014/

DEBS 2014 Conference Schedule
=============================

May 26, 2014 4 tutorials (all day, 9 to 5pm)
May 26, 2014 PhD workshop (1 pm to 5pm)
May 27-29, 2014 Conference (ALL day, 9 to 5pm), res papers,
industry track papers, grand challenge papers,
experience sessions



Keynote Speakers
================

Querying Distributed Data Streams.
Minos Garofalakis; Technical University of Crete

Smart Energy: the Role of Timely Data Dissemination
Krithi Ramamritham; IIT Bombay

Challenges in personalization of services at Massive scale
Dr. Manish Gupta; Director of Xerox Research Center India (XRCI)


Tutorials
=========

Cloud-based Data Stream Processing
Thomas Heinze Zbigniew Jerzak; Leonardo Querzoni

Internet of Everything (IoE)
Opher Etzion; Fabiana Fournier; Sarit Arcushin

Policy enforcement in emerging distributed event-based systems
Presenters: Jatinder Singh; David Eyers

Mobile CEP in Real-time Big Data Processing: Challenges and Opportunities
Nenad Stojanovic; Ljiljana Stojanovic; Yongchun Xu


Research Track
==============

Complex Event Service Provision and Composition based on Event Pattern
Matchmaking.
Feng Gao; Edward Curry; Sami Bhiri.


An event processing approach to text stream analysis - Basic principles
of event based information filtering
Andreas Bauer; Christian Wolff

Learning From the Past: Automated Rule Generation for Complex Event
Processing
Alessandro Margara; Gianpaolo Cugola; Giordano Tamburrelli.

We have a DREAM: Distributed Reactive Programming with Consistency
Guarantees
Alessandro Margara; Guido Salvaneschi

The Process-oriented Event Model (PoEM) ? A Conceptual Model
for Industrial Events
Om Prasad Patri; Vikrambhai Sorathia; Anand Panangadan; Viktor
Prasanna

Quality Matters: Supporting Quality-aware Pervasive Applications by
Probabilistic Data Stream Management
Christian Kuka; Daniela Nicklas

Automated Quality-of-Service-aware Configuration of Publish-Subscribe
Systems at Design-Time
Thomas Fischer; Andreas M. Wahl; Richard Lenz

Latency-aware Elastic Scaling for Distributed Data Stream Processing Systems
Thomas Heinze; Zbigniew Jerzak; Gregor Hackenbroich; Christof Fetzer

The Overlay Scan Attack: Inferring Topologies of Distributed Pub/Sub
Systems through Broker Saturation
Leonardo Aniello; Roberto Baldoni; Claudio Ciccotelli; Giuseppe Antonio
Di Luna; Francesco Frontali; Leonardo Querzoni

DS-EPL: Domain-Specific Event Processing Language
Ralf Bruns; J?rgen Dunkel; Stefan Lier; Henrik Masbruch.

RECEP: Selection-based Reuse for Distributed Complex Event Processing
Beate Ottenw?lder; Boris Koldehofe; Kurt Rothermel; Kirak Hong; Kishore
Ramachandran

JetStream: Enabling High Performance Event Streaming across Cloud
Data-Centers
Radu Tudoran; Olivier Nano; Ivo Santos; Alexandru Costan; Hakan Soncu;
Luc Boug?; Gabriel Antoniu

Energy-efficient context-aware routing in heterogeneous WSN
Mumraiz K. Kasi; Annika Hinze.

Content-based Filtering Discovery Protocol (CFDP): Scalable and
Efficient OMG DDS Discovery Protocol
Kyoungho An; Sumant Tambe; Paul Pazandak; Gerardo Pardo-Castellote;
Aniruddha Gokhale; Douglas Schmidt

Effective Switch Memory Management in OpenFlow Networks
Anil Vishnoi; Rishabh Poddar; Vijay Mann; Suparna Bhattacharya

Distributed Event Aggregation for Content-based Publish/Subscribe Systems
Navneet Kumar Pandey; Kaiwen Zhang; St?phane Weiss; Hans-Arno Jacobsen;
Roman Vitenberg



Industry and Experience Track
=============================

P2S: A Fault-Tolerant Publish/Subscribe Infrastructure
Tiancheng Chang; Sisi Duan; Hein Meling; Sean Peisert; Haibin Zhang

Handling Location Uncertainty in Event Driven Experimentation
Kartik Muralidharan; Rajesh Krishna Balan; Srinivasan Seshan; Narayan
Ramasubbu

Scalable and Elastic Realtime Click Stream Analysis Using AnonymESP
Andr? Martin; Andrey Brito; Christof Fetzer

An Event Processing Architecture for Operational Risk Management in an
Industrial Environment
Sergio Saad; Reginaldo Arakaki

Using Mobile-based Complex Event Processing to realize Collaborative
Remote Person Monitoring
Nenad Stojanovic; Yongchun Xu; Aleksandar Stojadinovic; Ljiljana
Stojanovic.


Grand Challenge
===============

Predicting Energy Consumption with StreamMine3G
Andrey Brito; Andr? Martin; Rodolfo Marinho; Christof Fetzer

Grand Challenge: Scalable Stateful Stream Processing for Smart Grids
Raul Castro Fernandez; Matthias Weidlich; Peter Pietzuch; Avigdor Gal

Grand Challenge: Predictive Load Management in Smart Grid Environments
Christopher Mutschler; Christoffer L?ffler; Nicolas Witt; Thorsten
Edelh?u?er; Michael Philippsen


Solving the Grand Challenge Using an Opensource CEP engine
Srinath Perera; Sriskandarajah Suhothayan; Sanjiva Sanjiva Weerawarana;
Mohanadarshan Vivekanandalingam; Paul Paul Fremantle


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

Message: 5
Date: Wed, 7 May 2014 12:09:38 +1000
From: sergeg@cse.unsw.edu.au
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PCCR 2014: 2nd Workshop on the Parameterized
Complexity of Computational Reasoning
Message-ID:
<e7b54b3a3c33431fe4f817783069e52f.squirrel@webmail.cse.unsw.edu.au>
Content-Type: text/plain;charset=iso-8859-1

Call for papers and participation

PCCR 2014
2nd Workshop on the Parameterized Complexity of Computational Reasoning
17-18 July 2014, Vienna, Austria

http://vsl2014.at/pccr/

PCCR 2014 will be held during the Vienna Summer of Logic 2014, the largest
logic event in history with an expected 2500 participants.
Abstracts for contributed talks are due by 9 May 2014.
Registration is now open and the early registration deadline is 8 June 2014.

*Important Dates*

Submission deadline: 9 May 2014
Notification: 16 May 2014
Camera-ready deadline: 23 May 2014
Early registration: 8 June 2014

*Aims and Scope*

PCCR 2014 aims to support a fruitful exchange of ideas between the
research on parameterized complexity on one side and the research on
various forms of computational reasoning (such as nonmonotonic,
probabilistic, and constraint-based reasoning) on the other.

Topics of interest include but are not limited to: multivariate analysis
of reasoning problems, kernelization and preprocessing, fixed-parameter
tractability and hardness, backdoors and decompositions.

The workshop will feature invited and contributed talks with surveys and
new technical results, an open problem session, and a panel discussion on
future research directions. Apart from talks on parameterized complexity
we are also interested in presentations that highlight structural
parameters that have not been studied within the framework of
parameterized complexity so far.

*Invited speakers*

- Georg Gottlob (University of Oxford, UK),
- D?niel Marx (Hungarian Academy of Sciences (MTA SZTAKI), Hungary), and
- Stefan Szeider (Vienna University of Technology, Austria).

*Submission Instructions*

If you would like to give a talk at the workshop, please submit a 1-2 page
PDF abstract of your talk via Easychair
https://www.easychair.org/conferences/?conf=pccr2014
by the submission deadline. This abstract will be included in the
non-archival FLoC/VSL 2014 proceedings which will be distributed to all
FLoc/VSL 2014 participants on a USB drive. The abstract and talk can be
based on published and unpublished results, and we welcome overview and
survey talks, besides regular technical talks. Contributed talks are
expected to be around 30 minutes each.

See you at PCCR 2014,
Michael R. Fellows, Serge Gaspers, and Toby Walsh (organisers)




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

Message: 6
Date: Wed, 7 May 2014 10:33:46 +0200 (CEST)
From: Michele Flammini <michele.flammini@univaq.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 10 Fellowships for a PhD in Computer Science at GSSI
in L'Aquila
Message-ID:
<110675874.1941983.1399451626955.JavaMail.zimbra@di.univaq.it>
Content-Type: text/plain; charset=utf-8

PLEASE DIFFUSE AMONG INTERESTED PEOPLE
--- APOLOGIES FOR MULTIPLE COPIES ---


10 fellowships at GSSI L'AQUILA Italy, for the PhD program in
Computer Science
In collaboration with IMT - Institute for Advanced Studies - Lucca
http://www.imtlucca.it


Core Topics:
- Foundations of (Modern) Networks,
- Specification and Analysis of Concurrent Reactive Systems,
- Software Systems and Services.

Download the call for applications at
http://www.gssi.infn.it/phd/docs/call_english_14-15.pdf

Online applications
http://www.gssi.infn.it/phd/

Deadline June 22, 2014


Scholarships
GSSI awards scholarships for 3 years.
The yearly amount of the scholarship is of ? 16.159,91 gross

Facilities and benefits
All PhD students will receive free accommodation, tuition fees waived, free luncheon vouchers.

Further Informations
http://www.gssi.infn.it/

For additional informations please contact: info@gssi.infn.it



-----------
Michele Flammini
Department of Information Engineering, Computer Science, and Mathematics
University of L'Aquila
Italy

email michele.flammini@univaq.it




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

Subject: Digest Footer

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


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

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

dmanet Digest, Vol 75, Issue 3

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

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

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

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


Today's Topics:

1. Final call for submissions LaSh 2014 (Oikarinen Emilia)
2. CFP: The 17th Korea-Japan Joint Workshop on Algorithms and
Computation (Yoshio Okamoto)
3. Deadline Approaching (May 30), 9th DATA PRIVACY MANAGEMENT
workshop, co-located with ESORICS 2014, LNCS proceedings,
Wroclaw, Poland (Joaquin Garcia-Alfaro)
4. DISC 2014: Final CFP, extended deadlines (Sebastian Daum)


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

Message: 1
Date: Sun, 4 May 2014 09:11:41 +0000
From: Oikarinen Emilia <emilia.oikarinen@aalto.fi>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Final call for submissions LaSh 2014
Message-ID:
<274585DE7BDBEB47A4AF18BAEEC7F114EC10218C@EXMDB07.org.aalto.fi>
Content-Type: text/plain; charset="iso-8859-1"


[apologies for any cross-posting]

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

WORKSHOP ON LOGIC AND SEARCH - LaSh 2014
Representing and Solving Computational Search Problems

Final Call For Submissions

With Revised Submission Deadline (May 15), Final PC, Confirmed Speakers

Vienna, Austria, July 18, 2014
http://vsl2014.at/lash/

A FLoC 2014 Workshop, Associated with SAT and ICLP

OVERVIEW

The purpose of the LaSh workshops is to foster scientific exchange on
subjects related to languages for representing, and methods for solving,
computationally challenging search problems. The scope includes study of
relevant logics, algorithms, and logic-based systems, and also study of
other languages and systems from the viewpoint of logic, broadly construed.

Hard combinatorial search and optimization problems abound in science,
engineering, and other areas. Examples include planning, scheduling and
configuration problems. Several communities have developed general purpose
solving technologies for such problems, supported by declarative modelling
or specification languages. These include answer set programming (ASP)
from knowledge representation (KR), constraint solvers and modelling languages
from constraint programming (CP), and integer linear programming (ILP) solvers
and algebraic modelling languages from mathematical programming. Other
relevant areas include propositional satisfiability (SAT), satisfiability
modulo theories (SMT), and representation languages based on classical
logic and FO(ID).

Differences in emphasis notwithstanding, these share the same purpose.
Indeed, there are many similarities in solving technologies, and increasing
exchange between the areas both in solving and representational issues.
>From a logical point of view, whether a given language or system is
described in logical terms or not, we have languages which define some
class of structures, and systems whose purpose is to compute structures
in the class. Logic may be seen as an explicit basis for building systems,
as an analytic tool, or as a formal approach to viewing the diversity of
systems more uniformly.

Topics of interest include, but are not limited to:

- Logics relevant to the study of search and optimization problems
- Languages for specifying or modelling search or optimization problems
- Reasoning about or with specifications of search problems
- Grounding and related language transformation methods
- Expressiveness and complexity of logics and languages
- Ground Solvers and their languages: SAT, ASP, SMT, FlatZinc, etc.
- New or extended ground solver languages: SAT+Cardinality, SAT+TC, etc.
- Design of systems, solvers, and related tools
- Approximation, tractable problem classes, etc.
- Proof systems and inference methods underlying solvers.
- Comparisons of different languages or methods
- Interesting applications, either as case studies or challenges
- Benchmark problems and instance collections

CONFIRMED SPEAKERS

Plenary: Konstantin Korovin, University of Manchester

Tomi Janhunen, Aalto University
Stefan Woltran, TU Wien

IMPORTANT DATES

Submission: May 15 (Extended)
Notification: May 21 (Revised)
Final Versions: May 27 (Revised)
Workshop: July 18

ORGANIZERS

Marc Denecker, KU Leuven
David Mitchell, Simon Fraser University
Emilia Oikarinen, Aalto University

PROGRAM COMMITTEE

David Bergman (University of Connecticut)
Marc Denecker (K.U.Leuven) - chair
Alan Frisch (University of York)
Wolfgang Faber (University of Huddersfield)
Marijn Heule (The University of Texas at Austin)
Tomi Janhunen (Aalto University)
Matti J?rvisalo (University of Helsinki)
Ian Miguel (University of St Andrews)
David Mitchell (Simon Fraser University) - chair
Emilia Oikarinen (Aalto University) - chair
Shahab Tasharrofi (Simon Fraser University)
Eugenia Ternovska (Simon Fraser University)
Mirek Truszczynski (University of Kentucky)

SUBMISSION INFORMATION

To encourage communication across areas, LaSh is a non-archival meeting.
In addition to new technical work, we welcome presentation of relevant material
which has appeared at conferences area-specific meetings or general conferences,
and also position papers, challenges, system descriptions and speculative work.



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

Message: 2
Date: Sun, 04 May 2014 20:57:51 +0900
From: Yoshio Okamoto <okamotoy@uec.ac.jp>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: The 17th Korea-Japan Joint Workshop on
Algorithms and Computation
Message-ID: <53662B3F.8050105@uec.ac.jp>
Content-Type: text/plain; charset=ISO-2022-JP


****************************************************************************
Call for Papers
The 17th Korea-Japan Joint Workshop on Algorithms and Computation
(WAAC 2014)

July 13-15, 2014
Okinawa Convention Center
http://dopal.cs.uec.ac.jp/waac14/
****************************************************************************

The aim of this workshop is to provide a forum for researchers working
on algorithms and the theory of computation, to promote the exchange
of recent results, to foster new collaborations among
researchers. Historically, the workshop has established for the
purpose of collaboration of researchers of Japan and Korea; however,
participation from any country is welcome.

The workshop is organized by the Special Interest Group on Algorithms
(SIGAL) of the Information Processing Society of Japan and the Special
Interest Group on Theoretical Computer Science (SIGTCS) of the Korean
Institute of Information Scientists and Engineers (KIISE).

Topics
- Automata, languages and computability
- Algorithms (combinatorial/graph/geometric/randomized)
- VLSI and parallel algorithms
- Networks and distributed algorithms
- Learning theory and data mining
- Number theory and cryptography
- Graph drawing and visualization
- Computational logic
- Combinatorics and optimization

Important Dates
- Paper submission deadline: May 25, 2014
- Notification of acceptance: June 7, 2014
- Final version submission: June 20, 2014
- Conference: July 13-15, 2014

Submission
Authors are invited to submit papers up to 8 pages in English via the
EasyChair submission system no later than May 25, 2014. Follow the URL
https://www.easychair.org/conferences/?conf=waac2014

Page Style and Limit
The paper must be written in English. The camera-ready version must be
printed to fit A4 size sheet. It cannot exceed 8 pages including the
title page. The first page should contain the title, authors,
affiliations, addresses (including authors' e-mail addresses), and
abstract.

Proceedings
The proceedings will be available at the conference site. Since the
proceeding is only distributed at the workshop, the submission of
preliminary material that is to be submitted to or extended material
to appear in other international conferences or journals is allowed
and encouraged.

PC Chairs
Sung-Ryul Kim (Konkuk University, Korea)
Ryuhei Uehara (JAIST, Japan)

Program Committee
Jinhee Chun (Tohoku Univ., Japan)
Sung-Ryul Kim (Konkuk University, Korea; Chair)
Yoshio Okamoto (Univ. Electro-Comm., Japan)
Kei Uchizawa (Yamagata Univ., Japan)
Ryuhei Uehara (JAIST, Japan; Chair)
Yukiko Yamauchi (Kyusyu Univ., Japan)
TBA

Local organizers
Takashi Horiyama (Saitama Univ., Japan)
Yoshio Okamoto (Univ. Electro-Comm., Japan)
Yota Otachi (JAIST, Japan)
Yukiko Yamauchi (Kyusyu Univ., Japan)
Kei Uchizawa (Yamagata Univ., Japan)
Ryuhei Uehara (JAIST, Japan)

Invited Speakers
Takeshi Tokuyama (Tohoku Univ., Japan)
TBA

More Information
Web page: http://dopal.cs.uec.ac.jp/waac14/
Contact email address: waac14@jaist.ac.jp
Okinawa Convention Center: http://www.oki-conven.jp/


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

Message: 3
Date: Sun, 04 May 2014 18:30:53 +0200
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline Approaching (May 30), 9th DATA PRIVACY
MANAGEMENT workshop, co-located with ESORICS 2014, LNCS proceedings,
Wroclaw, Poland
Message-ID: <53666B3D.2040902@telecom-sudparis.eu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

[Apologies if you receive multiple copies of this message]

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

DPM 2014, 9th International Workshop on
DATA PRIVACY MANAGEMENT,

http://deic.uab.cat/conferences/dpm/dpm2014/

Wroclaw, Poland, September 10-11, 2014
(co-located with ESORICS'2014)
Springer LNCS Proceedings
========================================================================

========================================================================
Important Dates

* Paper Submission Deadline: May 30, 2014
* Acceptance Notification: July 11, 2014
* Camera Ready Version: August 14, 2014

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

Scope: Organizations are increasingly concerned about the privacy of
information that they manage (several people have filed lawsuits
against organizations violating the privacy of customer's data). Thus,
the management of privacy-sensitive information is very critical and
important for every organization. This poses several challenging
problems, such as how to translate the high-level business goals into
system-level privacy policies, administration of privacy-sensitive
data, privacy data integration and engineering, privacy access control
mechanisms, information-oriented security, and query execution on
privacy-sensitive data for partial answers.

Topics: The aim of this workshop is to discuss and exchange the ideas
related to privacy data management. We invite papers from researchers
and practitioners working in privacy, security, trustworthy data
systems and related areas to submit their original papers in this
workshop. The main topics, but not limited to, include:

* Privacy Information Management
* Privacy Policy-based Infrastructures and Architectures
* Privacy-oriented Access Control Languages and Models
* Privacy in Trust Management
* Privacy in Digital Currencies
* Privacy Data Integration
* Privacy Risk Assessment and Assurance
* Privacy Services
* Cryptography and Cryptanalysis
* Privacy Policy Analysis
* Query Execution over Privacy Sensitive Data
* Privacy Preserving Data Mining
* Hippocratic and Water-marking Databases
* Privacy for Integrity-based Computing
* Privacy Monitoring and Auditing
* Privacy in Social Networks
* Privacy in Ambient Intelligence (AmI) Applications
* Individual Privacy vs. Corporate/National Security
* Privacy in computer networks
* Privacy and RFIDs
* Privacy and Big Data
* Privacy in sensor networks

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

Submission guidelines: Papers should be at most 15 pages (using
11-point font), excluding the bibliography and well-marked appendices.
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 (at easychair.org/conferences/?conf=dpm2014)
and following the requirements stated there.

The submitted paper (in PDF format) should follow the template
indicated by Springer (see http://springer.de/comp/lncs/authors.html).
It must start with a title, a short abstract, names and affiliations
of the authors, and a list of keywords.

All papers will be refereed. Accepted papers should be presented at
the Workshop. At least one author of each accepted paper must register
to the workshop, by the early date indicated by the organizers, and
present the paper.

The proceedings will be published in a volume of Lecture Notes in
Computer Science (Springer-Verlag).

Submissions by PhD students as well as controversial ideas are
encouraged. Case studies (successful or not) are also encouraged.

It is expected that extended and revised version of the best papers
from the workshop will be considered for international journal special

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

General Chairs:
* Jordi Castella-Roca (Universitat Rovira i Virgili)

Program Committee Chairs:

* Joaquin Garcia-Alfaro (Telecom SudParis)
* Jordi Herrera-Joancomarti (Universitat Autonoma de Barcelona)

Program Committee:

* Rainer Bohme (University of Munster, Germany)
* Ana Cavalli (Telecom SudParis, France)
* Frederic Cuppens (Telecom Bretagne, France)
* Nora Cuppens (Telecom Bretagne, France)
* Josep Domingo-Ferrer (Universitat Rovira i Virgili, Catalonia)
* Christian Duncan (Quinnipiac University, USA)
* Nicola Dragoni (Technical University of Denmark, Denmark)
* David Evans (University of Derby, UK)
* Sara Foresti (University of Milan, Italy)
* Sebastien Gambs (University of Rennes 1, France)
* Flavio D. Garcia (Radboud University Nijmegen, The Netherlands)
* Paolo Gasti (New York Institute of Technology, USA)
* Stefanos Gritzalis (University of the Aegean, Greece)
* Marit Hansen (Unabhangiges Landeszentrum fur Datenschutz, Germany)
* Artur Hecker (Telecom ParisTech, France)
* Sokratis Katsikas (University of Piraeus, Greece)
* Evangelos Kranakis (Carleton University, Canada)
* Pascal Lafourcade (Joseph Fourier University, France)
* Maryline Laurent (Telecom SudParis, France)
* Georgios Lioudakis (National Technical University of Athens, Greece)
* Giovanni Livraga (University of Milan, Italy)
* Javier Lopez (University of Malaga, Spain)
* Sotirios Maniatis (Hellenic Authority for Communications Privacy, Greece)
* Refik Molva (EURECOM, France)
* Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona, Catalonia)
* Melek Onen (EURECOM, France)
* Cristina Perez-Sola (Autonomous University of Barcelona, Catalonia)
* Silvio Ranise (FBK, Security and Trust Unit, Trento)
* Yves Roudier (EURECOM, France)
* Mark Ryan (University of Birmingham, UK)
* Pierangela Samarati (University of Milan, Italy)
* David Sanchez (Universitat Rovira i Virgili, Catalonia)
* Claudio Soriente (ETH Zurich, Switzerland)
* Alessandro Sorniotti (IBM Research, Switzerland)
* Vicenc Torra (Artificial Intelligence Research Institute, Catalonia)
* Alexandre Viejo (Universitat Rovira i Virgili, Catalonia)
* Jens Weber (University of Victoria, Canada)
* Lena Wiese (University of Gottingen, Germany)
* Nicola Zannone (Eindhoven University of Technology, The Netherlands)

=======================================
FURTHER INFORMATION
=======================================

Additional information about paper submission and conference topics and
events can be found at the DPM'2014 web site:
http://deic.uab.cat/conferences/dpm/dpm2014/



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

Message: 4
Date: Mon, 05 May 2014 17:44:31 +0200
From: Sebastian Daum <sdaum@cs.uni-freiburg.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] DISC 2014: Final CFP, extended deadlines
Message-ID: <5367B1DF.6080501@cs.uni-freiburg.de>
Content-Type: text/plain; charset=windows-1252; format=flowed

(Apologies for crosspostings)

The DISC deadlines have been extended by a few days (see below). This
gives all authors an additional week-end to polish their submissions,
and it adds a few days between the PODC camera-ready deadline and the
DISC submission deadline. Note that there will not be an additional
deadline extension and all deadlines are firm (abstract registration
by May 14 is mandatory in order to be able to submit a paper).

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

CALL FOR PAPERS

- DISC 2014 -

The 28th International Symposium on Distributed Computing
October 12-15, 2014
Austin TX, USA
http://www.disc-conference.org/wp/disc2014

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

DISC is the International Symposium on Distributed Computing, organized
in cooperation with the European Association for Theoretical Computer
Science (EATCS).


Important Dates
---------------
Abstract Registration: May 14, 2014 (extended)
Paper Submission: May 18, 2014 (extended)
Notification: July 12, 2014 (extended)
Camera-Ready Submission: August 5, 2014
Conference: October 12-15, 2014


Submission Link
---------------
http://www.easychair.org/conferences/?conf=disc2014


Scope
-----
Original contributions to theory, design, implementation, modeling,
analysis, or application of distributed systems and networks are
solicited. Topics of interest include, but are not limited to:
- Distributed algorithms; correctness and complexity
- Concurrency, synchronization, and transactional memory
- Distributed operating systems, middleware, database systems
- Self-stabilizing, self-organizing, and autonomic systems
- Wireless, mobile, sensor and ad-hoc networks
- Fault tolerance, reliability, availability
- Game-theoretic approaches to distributed computing
- Specification, verification, and testing: tools, methodologies
- Networks: protocols, architectures, services, applications
- Multiprocessor and multicore architectures and algorithms
- Security in distributed computing, cryptographic protocols
- Distributed computing issues in the Internet and the Web
- Cloud and peer-to-peer computing
- Mobile agents and autonomous robots

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

Program Committee
-----------------
James Aspnes, Yale University, USA
Hagit Attiya, Technion, Israel
Chen Avin, Ben Gurion University, Israel
Shiri Chechik, Microsoft Research SVC, USA
Faith Ellen, University of Toronto, Canada
Vijay Garg, University of Texas, Austin, USA
George Giakkoupis, INRIA Rennes, France
Seth Gilbert, National University of Singapore
Rachid Guerraoui, EPFL, Switzerland
Bernhard Haeupler, Microsoft Research SVC, USA
Danny Hendler, Ben Gurion University, Israel
Majid Khabbazian, University of Alberta, Canada
Fabian Kuhn (chair), University of Freiburg, Germany
Christoph Lenzen, MIT, USA
Victor Luchangco, Oracle Labs, USA
Dahlia Malkhi, Microsoft Research SVC, USA
Thomas Moscibroda, Microsoft Research Asia, China
Yoram Moses, Technion, Israel
Danupon Nanongkai, Brown University, USA
Boaz Patt-Shamir, Tel Aviv University, Israel
Andrzej Pelc, University of Quebec, Canada
Jared Saia, University of New Mexico, USA
Thomas Sauerwald, Max Planck Institute, Germany
Christian Schindelhauer, University of Freiburg, Germany
Jukka Suomela, Aalto University, Finland
Sebastien Tixeuil, UPMC Sorbonne University, France


Organization Committee
----------------------
Chen Avin (publicity), Ben Gurion University, Israel
Sebastian Daum (publicity), University of Freiburg, Germany
Mohamed Gouda (general chair), University of Texas, Austin
Alessia Milani (workshops/tutorials), LaBRI, France
Corentin Travers (workshops/tutorials), LaBRI, France


Steering Committee
------------------
Marcos Aguilera, Microsoft Research SVC, USA
Yehuda Afek, Tel Aviv University, Israel
Keren Censor-Hillel, Technion, Israel
Shlomi Dolev, Ben Gurion University, Israel
Antonio Fernandez Anta (chair), IMDEA Netw., Spain
Fabian Kuhn, University Freiburg, Germany
Achour Mostefaoui, University Nantes, France

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

Submission
----------
Papers are to be submitted electronically, following the guidelines on
the conference web page. Submissions must be in English, in .ps or .pdf
format, and begin with a cover page (not a cover letter) including:
(1) title,
(2) authors? names and affiliations,
(3) contact author?s postal and email address,
(4) a short abstract of the paper,
(5) indication of whether this is a regular paper or a brief
announcement, and
(6) indication of whether the paper is eligible for best student paper
award.

A submission for a regular presentation must report on original research
that has not previously appeared, and has not been concurrently
submitted to a journal or conference with published proceedings. Any
overlap with a published or concurrently submitted paper must be clearly
indicated. A regular submission must not exceed 10 single-column pages
using at least 11 point font on letter paper (excluding cover page and
references). Authors are expected to include all the ideas necessary for
an expert to verify the central claims in the paper. If necessary, the
details may appear in a clearly marked appendix, which will be read at
the discretion of the program committee.

A brief announcement submission must not exceed 3 pages in the same
format. It is permissible for the material in brief announcements to be
published in other conferences. Submissions not conforming to these
rules and papers outside of the scope of the conference will be rejected
without consideration. If requested by the authors on the cover page, a
regular submission that is not selected for a regular presentation can
be considered for the brief announcement format. Such a request will not
affect consideration of the paper for a regular presentation.


Publication
-----------
The proceedings will be published as a volume in the ARCoSS Springer
Lecture Notes in Computer Science series. Camera-ready versions of
accepted papers must be submitted in the LNCS format.


Awards
------
Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper.



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

Subject: Digest Footer

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


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

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

dmanet Digest, Vol 75, Issue 2

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

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

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

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


Today's Topics:

1. BPCAS 2014: Business Processes in Collective Adaptive Systems
(Deadline: June 1) (Lavygina, Anna)
2. DINWC2014:: Czech Republic
(The International Conference on Digital Information, Networking, and Wireless Communications (DINWC2014))
3. PPDP 2014: 2nd Call for Papers (Jacob Johannsen)
4. Special Issue of Springer CASM on Interdependent Networks:
Deadline June, 14 (Muaz Niazi)
5. 1st CFP : Operational Research Practice in Africa Conference
2015 (Serigne Gueye)


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

Message: 1
Date: Fri, 2 May 2014 10:58:16 +0000
From: "Lavygina, Anna" <a.lavygina@imperial.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] BPCAS 2014: Business Processes in Collective
Adaptive Systems (Deadline: June 1)
Message-ID: <C1A1DDE6-A3AD-4489-9A34-AD5C3BA6270B@imperial.ac.uk>
Content-Type: text/plain; charset="Windows-1252"

[ Apologies for multiple copies. Please forward to interested colleagues. ]

CALL FOR PAPERS

Business Processes in Collective Adaptive Systems
(BPCAS 2014)

September 8, 2014, Haifa, Israel

In conjunction with the 12th International Conference on Business Process Management (BPM 2014)

Submission deadline: 1 June 2014

http://www.bpcas.org


ABOUT THE WORKSHOP

BPCAS is a new workshop focusing on all topics related to Collective Adaptive Systems (CAS). It aims to provide a high-quality forum for the presentation of developments in CASs and for bringing together researchers and practitioners from diverse disciplines interested in CASs both within the business process community and outside. The latter are particularly welcome to submit to the workshop.

Topics of interest include:

* business process modeling for CAS
* collective configuration of business processes in CAS
* context/knowledge-aware business processes in CAS
* adaptation and evolution in CAS
* formal methods for CAS
* distribution and mobility in CAS
* big data in CAS
* process similarity and emergent properties of CAS
* security and privacy in CAS
* machine learning and data mining techniques for CAS
* optimization of CAS
* frameworks, tools and programming paradigms for CAS
* usability aspects of CAS
* case studies and scenarios

Accepted papers will be published by Springer as a post-workshop proceedings volume in the series Lecture Notes in Business Information Processing (LNBIP). In addition authors of the best papers will be invited to submit a revised and extended version of their paper to a special issue of the IET Software journal. The workshop is sponsored by the EU?s Fundamentals of Collective Adaptive Systems programme initiative (http://focas.eu/about-focas/).

IMPORTANT DATES

Submission deadline: June 1, 2014
Author notification: July 1, 2014
Camera-ready submission: July 23, 2014
Workshop date: September 8, 2014

KEYNOTE SPEAKER

Manfred Reichert, Universit?t Ulm, Germany

WORKSHOP ORGANISATION

Organisers
Antonio Bucchiarone, Fondazione Bruno Kessler, Italy
Naranker Dulay, Imperial College London, UK
Dimka Karastoyanova, University of Stuttgart, Germany
Anna Lavygina, Imperial College London, UK
Adnan Tariq, University of Stuttgart, Germany

Program Committee
Vasilios Andrikopoulos, University of Stuttgart, Germany
Salima Benbernou, Universit? Paris Descartes, France
Marina Bitsaki, University of Crete, Greece
Alexei Lapouchnian, University of Toronto, Canada
Kim Larsen, Aalborg University, Denmark
Lior Limonad, IBM Haifa, Israel
Christos Nikolaou, University of Crete, Greece
Francisco Pereira, SMART-MIT, Singapore
Marco Pistore, Fondazione Bruno Kessler, Italy
Manfred Reichert, Universit?t Ulm, Germany
Kurt Rothermel, University of Stuttgart, Germany
Alessandra Russo, Imperial College, UK
Nikola Serbedija, Fraunhofer FIRST, Germany
Pnino Soffer, University of Haifa, Israel
Arnon Sturm, Ben-Gurion University of the Negev, Israel
Yury Tsoy, Institut Pasteur Korea, South Korea
Ingo Weber, NICTA, Australia

PAPER SUBMISSION DETAILS

We invite submissions in two forms: full papers and position papers. Submitted papers must be written in English, should not have been submitted for review or published elsewhere, and should not exceed 12 pages for full papers, and 6 pages for position papers (including figures, bibliography and appendices).

Submissions are only accepted in PDF format via the EasyChair system (https://www.easychair.org/conferences/?conf=bpcas2014). Submissions should be formatted according to the LNBIP format specified by Springer.

At least one author of each accepted paper is required to present the paper at the workshop.

CONTACT

For further information contact Anna Lavygina (a.lavygina@imperial.ac.uk)


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

Message: 2
Date: Fri, 2 May 2014 19:04:35 +0400
From: "The International Conference on Digital Information,
Networking, and Wireless Communications (DINWC2014)" <din@sdiwc.net>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] DINWC2014:: Czech Republic
Message-ID: <13b980506418ab4d5f45367f094c96a5.squirrel@sdiwc.net>
Content-Type: text/plain;charset=iso-8859-1

CALL FOR PAPERS SUBMISSION
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
The International Conference on Digital Information, Networking and
Wireless Communications (DINWC2014)
VSB-Technical University of Ostrava, Czech Republic
June 24-26, 2014
http://sdiwc.net/conferences/2014/dinwc2014

+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

Important Dates:
+-+-+-+-+-+-+-+-+
Submission Deadline : May 25, 2014
Notification of Acceptance: June 05, 2014
Camera Ready Submission : June 14, 2014
Registration : June 14, 2014, however, it is recommended to
do it few days before
Conference Dates : June 24-26, 2014



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

Message: 3
Date: Fri, 2 May 2014 22:02:48 +0200
From: Jacob Johannsen <cnn@cs.au.dk>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PPDP 2014: 2nd Call for Papers
Message-ID: <5363F9E8.8090207@cs.au.dk>
Content-Type: text/plain; charset="ISO-8859-1"; format=flowed

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

2nd Call for papers
16th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2014

Canterbury, Kent, September 8-10, 2014
(co-located with LOPSTR 2014)

http://users-cs.au.dk/danvy/ppdp14/

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

SUBMISSION DEADLINE: 15 MAY, 2014

PPDP 2014 is a forum that brings together researchers from the
declaratrive programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to

* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative
programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application

This year the conference will be co-located with the 24th
International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR 2014).

The conference will be held in Canterbury, UK. Previous symposia were
held at Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg
(Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland),
Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden),
Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris
(France). You might have a look at the contents of past PPDP symposia.

Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of
questions). The proceedings will be published in the ACM Digital
Library.

After the symposium, a selection of the best papers will be invited to
extend their submissions in the light of the feedback solicited at the
symposium. The papers are expected to include at least 30% extra
material over and above the PPDP version. Then, after another round of
reviewing, these revised papers will be published in a journal.

Important Dates

Abstract Submission: 12 May, 2014
Paper submission: 15 May, 2014
Notification: 30 June, 2014
Camera-ready: To be announced

Symposium: 8-10 September, 2014

Invites for journal publication: To be announced
Submission of journal version: To be announced
Notification: To be announced
Camera-ready version: To be announced


Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2014. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.

Program Committee

Michael Adams University of Illinois at Urbana-Champaign, USA
Elvira Albert Complutense University of Madrid, Spain
Dariusz Biernacki University of Wroclaw, Poland
Bernd Brassel Recordbay, Germany
Mike Codish Ben-Gurion University of the Negev, Israel
Olivier Danvy (chair) Aarhus University, Denmark
Marc Denecker KU Leuven, Belgium
Joshua Dunfield Max Planck Institute for Software Systems, Germany
Zoe Drey ENSTA Bretagne/Lab-STICC, France
Thibaut Feydy NICTA, Australia
Danko Ilik Inria, France
Yukiyoshi Kameyama University of Tsukuba, Japan
Chantal Keller Microsoft Research -- Inria Joint Centre
Temur Kutsia RISC, Johannes Kepler University Linz, Austria
Dan Licata Wesleyan University, USA
Akimasa Morihata University of Tokyo, Japan
Matthias Puech McGill University, Canada
Tiark Rompf Oracle Labs and EPFL, Switzerland
Kristoffer H. Rose Two Sigma Labs, New York, USA
Ilya Sergey IMDEA Software Institute, Spain
Ralf Treinen University Paris-Diderot, France
Frank D. Valencia CNRS and LIX, Ecole Polytechnique, France


Program Chair

Olivier Danvy
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: danvy@cs.au.dk

Symposium Chairs:

Andy King
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: A.M.King@kent.ac.uk

Olaf Chitil
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: O.Chitil@kent.ac.uk

Publicity Chair:

Jacob Johannsen
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: cnn@cs.au.dk



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

Message: 4
Date: Sat, 3 May 2014 11:00:10 +0500
From: "Muaz Niazi" <thhgttg@gmail.com>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Special Issue of Springer CASM on Interdependent
Networks: Deadline June, 14
Message-ID: <015201cf6694$f3aa7020$daff5060$@gmail.com>
Content-Type: text/plain; charset="us-ascii"

<Apologies if you receive multiple postings>

Topic:
Interdependent Networks: Structure, Dynamics and Evolution
Not only are our interactions limited and thus best described not by
well-mixed models but rather by models entailing networks, it is also a fact
that these networks are often interconnected and indeed very much
interdependent. From the World economy to Google Circles, it is clear that
processes taking place in one network might affect what is happening in many
other networks. Within an interdependent system, each type of interaction
has certain relevance or meaning, so that treating all the links identically
inevitably leads to information loss. Interdependent or multiplex networks
are therefore a much better description of such systems, and this Special
Issue is devoted to their structure, dynamics and evolution, as well as to
the study of emergent properties in multi-layered systems in general. Topics
of interest include but are not limited to the spread of epidemics and
information, synchronization, diffusion, random walks, collective behavior
and evolutionary games on interdependent networks.

Deadline for submissions: June 30, 2014

http://www.casmodeling.com/sites/10349/pdf/A01900_DF_SO_CFP_CASModelling_web
.pdf


Springer Complex Adaptive Systems Modeling
http://www.casmodeling.com/

Waiver of Article Charges
If you have no funds to cover the Article Processing Charge (APC) and would
like to apply for a waiver of the APC, you may contact the Editor-in-Chief.

Lead guest editor:
Matjaz Perc, University of Maribor
matjaz.perc@gmail.com



Kind regards,

Muaz Niazi
Email: muaz.niazi@ieee.org, niazi@alum.bu.edu
Alternate: muaz.niazi@gmail.com



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

Message: 5
Date: Sun, 04 May 2014 00:29:31 +0200
From: Serigne Gueye <serigne.gueye@univ-avignon.fr>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] 1st CFP : Operational Research Practice in Africa
Conference 2015
Message-ID: <53656DCB.7080008@univ-avignon.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

First Call For Papers

*ORPA'2015 : Operational Research Practice in Africa Conference 2015*

*University of Sciences and Technology Houari Boumedienne (USTHB), in
Algiers (Algeria), April 20-22, 2015*

We are pleased to give a notice of the above OR conference scheduled for
Algiers in April 2015, at the University of Sciences and Technology
Houari Boumedienne. ORPA'2015 follows on from a series of meetings
started in 2005. The conference is intended to bring academics to
discuss and present recent developments in our field, and OR
applications. A non-exhaustive list of Applied topics are : OR in
Transport and Logistic, Urban Transport Network Design, Public
Transportation Studies, Traffic Control, Multimodal Freight Network
Design, OR in Water Resources Management, Management and Control of
Delivery Water Resource, OR in Energy and Environment Management,
Renewable Energy System, Optimization in Sustainable Development, OR in
Natural Resources Management, Operational Research Models in the
Management of Agricultural Resources, Operational Research Models in the
Management of Forestry Resources, etc. These applications are
fundamentally based on theoretical OR and Optimization topics also in
the scope of the conference. A non-exhasutive list of such topics are :
Integer Programming (linear, quadratic, non-linear), Multicriteria
Optimization, Global Optimization, Stochastic Programming, Scheduling,
Facility Location Problems, etc. We also invite submissions covering
other topics related to OR for development as well as OR applications in
government and industry.

All details of the meeting are available on the conference web site :

http://orpa2015.sciencesconf.org/

*Key dates* :
October 5, 2014 : Deadline for submission of extended abstracts
January 20, 2015 : Deadline for early registration
February 20, 2015 : Deadline for conference registration

*Organizing Committee (USTHB)* :
Mohamed El-Amine CHERGUI : President
Hac?ne BELBACHIR
Mourad BOUDHAR
Fay?al HAMDI
Abdelkrim A?T ZA?
Amina HANED
Wafaa LABBI
Karim AMROUCHE
Brahim BENMEDJDOUB
Nawel KAHOUL
Abdelhak MEZGHICHE
Mohamed Amine BOUTICHE
Mohamed YAGOUNI


*Program Committee* :
Hac?ne BELBACHIR, Professeur, RECITS, USTHB
Mourad BOUDHAR, Professeur, RECITS, USTHB
Jean-Charles BILLAUT, Professeur, LI, Universit? de Tours
James COCHRAN, Research Professor, Louisiana Tech University
Mohamed el-Amine CHERGUI, Assistant Professor, RECITS, USTHB
Serigne GUEYE, Assistant Professor, LIA, UAPV
Fay?al HAMDI, Assistant Professor, RECITS, USTHB
Hans ITTMAN, HWI Consulting, South Africa
Miloud MIHOUBI, Assistant Professor, RECITS, USTHB
Djenat SEDDIKI-MERAD, Assistant Professor, RECITS, USTHB
Ourida SADKI, Assistant Professor, RECITS, USTHB
Ridha MAHJOUB, Professor, LAMSADE, University of Paris-Dauphine
Celso RIBEIRO, Professor, Universidade Federal Fluminense
Th?o STEWART, Professor, University of Capetown
Mozart MENEZES, Associate Professor, University of Calgary
Philippe MICHELON, Professor, LIA, University of Avignon
Babacar M. NDIAYE, Assistant Professor, University Cheikh Anta Diop of
Dakar
Jacques TEGHEM, Professor, Mons University
Claude YUGMA, Assistant Professor, Ecole des Mines de Saint-Etienne

*Contacts* :
orpa2015@sciencesconf.org
mchergui@usthb.dz


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

Subject: Digest Footer

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


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

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

Friday, May 2, 2014

dmanet Digest, Vol 75, Issue 1

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

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

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

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


Today's Topics:

1. Don't miss the ACM PODC Workshop on Software-Defined
Networking (Stefan Schmid)
2. Post doctoral researcher in network analysis and modelling,
University of Reading, UK (Danica Vukadinovic Greetham)
3. 1st Greifswald Phylogenetics Meeting (Mareike Fischer)
4. Engineering, Doctoral and Post-Doctoral positions in Bordeaux
(Francois Vanderbeck)
5. Full professor opening at Warwick (Dan Kral)
6. CLAIO Monterrey 2014: Abstract extended deadline (Roger Z Rios)
7. Post-Doctorate position in Operations Research / Discrete
Optimization (Igor Averbakh)


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

Message: 1
Date: Wed, 30 Apr 2014 05:54:13 -0400
From: "Stefan Schmid" <stefan@net.t-labs.tu-berlin.de>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Don't miss the ACM PODC Workshop on Software-Defined
Networking
Message-ID: <068a01cf645a$254225c0$6fc67140$@net.t-labs.tu-berlin.de>
Content-Type: text/plain; charset="iso-8859-1"

CALL FOR CONTRIBUTIONS:

PODC Workshop on Distributed Software-Defined Networks (DSDN)

http://www.podc.org/podc2014/dsdn14/

July 15, 2014
Paris, France

NEWS

-????????? Confirmed Invited Speakers: Nate Foster (Cornell University,
USA), Marco Canini (UC Louvain, Belgium), Yehuda Afek (TAU, Israel)


OVERVIEW

The Workshop on Distributed Software-Defined Networks (DSDN) is a forum to
discuss new algorithmic and distributed computing challenges offered by the
emerging field of
Software Defined Networking (SDN). SDN abstracts the cumbersome task of
computer network management to a distinct control plane with a standard
programming interface.
Distributed implementations of the control plane give rise to new and
interesting concurrency scenarios to be addressed by the distributed
computing community.

DETAILS

The workshop is going to take place on 15 July in Paris, France, co-located
with PODC 2014.

The program will combine peer-reviewed presentations (around 30min) with
invited talks (between 30 and 60 min), both from researchers in the field of
distributed
computing as well as from researchers in the field of networking. As such,
the goal of the DSDN workshop is to provide a forum where the distributed
computing and
networking communities can meet and learn from their respective fields.

SUBMISSIONS

Submissions (in PDF) are done by email to
petr.kuznetsov@telecom-paristech.fr and stefan.schmid@tu-berlin.de, and
should briefly (in 1-2 pages)? describe the content of
the presentation. The abstracts will appear on the DSDN website, but will
not be included in the PODC proceedings.

The presentations can report on and summarize previous work, present early
new results or put forward new and outrageous ideas.

SCHEDULE

? Submission deadline: May 30, 2014
? Notification: June 10, 2014





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

Message: 2
Date: Wed, 30 Apr 2014 13:47:08 +0100
From: Danica Vukadinovic Greetham <vukadin@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Post doctoral researcher in network analysis and
modelling, University of Reading, UK
Message-ID:
<CABQaw=ZbDkRDv7DU9o2G2nbA-CfDAbBAdvB6Lzb6oBoJZJjVDg@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

As a part of EPSRC funded Horizon Hub, we have a 9 months fixed term
position for a post-doctoral researcher in social network analysis and
modelling. The position is based in the Centre for the mathematics of
human behaviour (CMoHB, https://www.reading.ac.uk/cmohb/ ), Department
of Mathematics and Statistics, University of Reading and will be
focused on analysis and modelling of dynamics and mood on social
networks, based on two small human studies and a large online social
network dataset.
Deadline for applications: May 22, 2014.

Contact information
-----------------------
For further inquiries please contact:
Dr. Danica Greetham (d.v.greetham@reading.ac.uk)


For more information about this vacancy please check
http://www.jobs.ac.uk/job/AIQ564/post-doctoral-research-assistant-in-social-network-analysis-and-modelling/


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

Message: 3
Date: Wed, 30 Apr 2014 14:40:01 +0200
From: Mareike Fischer <email@mareikefischer.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 1st Greifswald Phylogenetics Meeting
Message-ID: <69F28A1E-33E0-43F5-A8BD-4EE8C39B8C20@mareikefischer.de>
Content-Type: text/plain; charset=iso-8859-1

Attention! Only few slots still available! Due to various requests, even though the deadline for registration and abstract submission has already passed, we will fill additional slots on a first-come, first-serve basis. So if you are interested to attend our meeting or if you know someone who might be, please spread the word!!!


I herewith want to announce the 1st Greifswald Phylogenetics Meeting,
which will be held in Greifswald (north eastern Germany) from the 14th
till the 16th of July 2014.

Registration is now open and the deadline (both for registration as well as for abstract submission) has been postponed due to various requests. There are still a few free slots, so please register asap!

Our conference poster can be found here: http://stubber.math-inf.uni-greifswald.de/~spillner/gpm-2014/poster-gpm-2014.pdf Feel free to print it and forward it to anybody who might be interested! For more details, please visit the conference website:
http://stubber.math-inf.uni-greifswald.de/~spillner/gpm-2014/gpm-2014.html


This meeting will have a particular focus on mathematical (e.g. graph
theoretical, combinatorial, probabilistic and algebraic) aspects of
evolutionary tree or network reconstruction, but it will also bring
together scientists from different disciplines in order to provide the
opportunity of close collaboration.

Scope:

Phylogenetics is an interdisciplinary research area that aims at
reconstructing the evolutionary history of biological systems such
as, for example, collections of species, populations or groups of
bio-molecules. To achieve this, biologists work closely together with
mathematicians and computer scientists. The conference will provide
researchers from all three involved disciplines an opportunity to present
their recent work and exchange ideas.

Location: Greifswald is a beautiful little town located directly at
the Baltic Sea in close proximity to the famous islands R?gen and
Usedom. Greifswald university was founded in 1496 and has therefore a
long tradition and history. Being a former Hanse town, Greifswald is
famous for its historic market square, its cathedral and the museum
harbor. Other famous towns like Stralsund with the Oceaneum or the
world cultural heritage city of Wismar are nearby, as well as the
city of Rostock with its newly established Darwineum. The region is a
holiday region but not too crowded by tourists. In July the weather is
most likely to be great and we hope that if you can come to our meeting,
you will find the time to stay longer and enjoy this unique area. There
is a direct and regular train connection to and from Berlin, and the
nearest international airports are Hamburg and Berlin.

Please note that the meeting starts early on the 14th with one of our
highlight talks and ends in the evening of the 16th with another highlight
talk - so if possible, please plan your stay from the 13th till the 17th
of July.

The registration fee is 150 Euros (100 Euros for students).

Organizers: Mareike Fischer, Andreas Spillner, Martin Haase

Invited speakers: Olaf Bininda-Emonds, Mike Steel, Vince Moulton, Allen Rodrigo

For more details, visit our website
http://stubber.math-inf.uni-greifswald.de/~spillner/gpm-2014/gpm-2014.html
or contact Mareike Fischer: email@mareikefischer.de


Mareike Fischer <email@mareikefischer.de>



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

Message: 4
Date: Wed, 30 Apr 2014 16:26:00 +0200
From: Francois Vanderbeck <fv@math.u-bordeaux1.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Engineering, Doctoral and Post-Doctoral positions in
Bordeaux
Message-ID: <1999B154-D3E4-41D9-8592-4818761343A9@math.u-bordeaux1.fr>
Content-Type: text/plain; charset=us-ascii

RealOpt is a joint team between INRIA and the University of Bordeaux, doing research in mathematical optimization with a focus on decomposition and extended formulation approaches. Current academic and industrial projects concern large scale planning problems, accounting for stochastic events, and online re-optimization. Partners include both large groups (EDF, Saint-Gobain, Thales) and local firms (Exeo, Ertus). To contribute to these projects, the team is recruiting on Engineering, Doctoral and Post-Doctoral positions.

Please forward this announcement to any potential candidates (French or English speaking), with a strong background in mathematical programming methods and numerical validation, inviting them to contact us for further details.

Francois Vanderbeck
fv@math.u-bordeaux1.fr
Institut of Mathematics (IMB), University of Bordeaux
Team ReAlOpt, INRIA-Bordeaux-Sud-Ouest
https://realopt.bordeaux.inria.fr




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

Message: 5
Date: Wed, 30 Apr 2014 17:48:32 +0100
From: Dan Kral <D.Kral@warwick.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Full professor opening at Warwick
Message-ID:
<CAO6OfREKHAJXaoM=E4cKAktGuMtN_WO3xwerrmQD89BeSzjcTw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

Dear colleagues,

I would like to draw your attention to a full professor opening at the
Department of Computer Science of the University of Warwick. The call
is open for candidates from all areas of computer science including
those related to theoretical computer science and discrete
mathematics, which fall in the research areas of the university
interdisciplinary Centre for Discrete Mathematics and its Applications
(DIMAP). Further details can be found via the following link:

http://www2.warwick.ac.uk/fac/sci/dcs/news/?newsItem=094d434545460b4f0145711f55fa5d18

Best regards,

Dan Kral


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

Message: 6
Date: Thu, 1 May 2014 06:53:02 -0500 (CDT)
From: Roger Z Rios <rzrm@yalma.fime.uanl.mx>
To: DMANET <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] CLAIO Monterrey 2014: Abstract extended deadline
Message-ID: <Pine.GSO.4.60.1405010652270.20282@yalma.fime.uanl.mx>
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed



***
*** The only-abstract submission deadline is extended to 15 May 2014
***

=================================================
CLAIO XVII / CSMIO III
Joint ALIO/SMIO Conference
Monterrey, Mexico
6-10 October 2014
http://pisis.fime.uanl.mx/claio2014/
=================================================


CALL FOR PAPERS

We invite members of the Latin-Iberian-American Association of
Operations Research (ALIO) and the worldwide Operational
Research (OR) community to take part in the
XVII Latin-Iberian-American Conference on Operations Research
held jointly with the III Conference of the Mexican Society of
Operations Research (CLAIO/CSMIO 2014) in Monterrey, Mexico,
October 6-10, 2014. The academic program will consist of parallel,
technical, plenary talks, tutorials, and short courses,
covering several aspects of OR.


ABSTRACT SUBMISSION

To participate, an abstract of 1000 characters must be submitted.

Abstracts may be written in Spanish, English, or
Portuguese, the three official languages of CLAIO.
All accepted abstracts will be published in
the conference book of abstracts.

A post-conference special issue of "Annals of Operations Research"
devoted to the best works of the conference will be published.
See details in the conference web site.


IMPORTANT DATES

15/Mar/2014 (Optional) Paper submission deadline (CLOSED).
15/May/2014 Abstract-only submission deadline (extended).
01/Jun/2014 Paper acceptance/rejection notification.
15/Jun/2014 Abstract acceptance/rejection notification.
15/Jun/2014 Camera-ready paper deadline.
31/Jul/2014 Early registration deadline


CONFIRMED PLENARY SPEAKERS

Carlos Coello Coello, CINVESTAV-IPN, Mexico
Elena Fernandez, Universitat Politecnica de Catalunya, Spain
Hector Cancela, Universidad de La Republica, Uruguay
Jonathan F. Bard, U. of Texas at Austin, USA
Sheldon M. Ross, U. of Southern California, USA


CONFIRMED TUTORIAL SPEAKERS

Andres Weintraub, Universidad de Chile, Chile
Ignacio Grossmann, Carnegie-Mellon University, USA
Jose Holguin-Veras, Rensselaer Polytechnic Institute, USA
Paolo Toth, University of Bologna, Italy
Ruben Ruiz, Universitat Politecnica de Valencia, Spain


CONFIRMED MINI COURSE SPEAKERS

Angelica Lozano, UNAM
Cristina Gigola, ITAM
Eduardo Fernandez, UAS
Idalia Flores, UNAM
Juan A. Diaz, UDLA


COMMITTEES

Conference Chairs:
Jose Luis Gonzalez-Velarde (Tecnologico de Monterrey)
and Roger Z. Rios (UANL)

Program Committee:
Chair - Manuel Laguna (U. of Colorado, USA)
Adenso Diaz (Universidad de Oviedo, Spain)
Andres Medaglia (Universidad de los Andes, Colombia)
Andres Weintraub (Universidad de Chile, Chile)
Belen Melian (Universidad de La Laguna, Spain)
Carlos Andres Romano (Universitat Politecnica de Valencia, Spain)
Carlos Paternina (Universidad del Norte, Colombia)
Debora Ronconi (Universidade de Sao Paulo, Brazil)
Francisco R. Angel-Bello (Tecnologico de Monterrey, Mexico)
Francisco Saldanha-da-Gama (Universidad de Lisboa, Portugal)
Geraldo Robson Mateus (Universidade Federal de Minas Gerais, Brazil) Gladys
Maquera (Universidad Peruana Unin, Peru)
Gregorio Tirado (Universidad Complutense de Madrid, Spain)
Gulnara Baldoqun (Pontificia Universidad Javeriana, Colombia)
Irene Loiseau (Universidad de Buenos Aires, Argentina)
Joaquin Pacheco (Universidad de Burgos, Spain)
Jose Hernandez (Universidad Metropolitana de Caracas, Venezuela)
Lorena Pradenas (Universidad de Concepcion, Chile)
Luis Miguel Torres (Escuela Politecnica Nacional, Ecuador)
Maria Alvarez Rivas (Universidad Nacional Mayor de San Marcos, Peru)
Marita Urquhart (Universidad de La Republica, Uruguay)
Nelson Maculan (Universidad Federal de Rio de Janeiro, Brazil)
Onesimo Hernandez (CINVESTAV-IPN, Mexico)
Pablo Miranda (Pontificia Universidad Catolica de Valparaso, Chile)
Regina Berretta (University of Newcastle, Australia)
Vincent Boyer (UANL, Mexico)

Organizing Committee: Ada Alvarez (UANL), Angelica Salazar (UANL),
Fernando Camacho (UANL), Iris Martinez (UANL), Maricarmen Temblador
(Tecnologico de Monterrey), Romeo Sanchez (UANL), Tomas Sanchez
(Tecnologico de Monterrey), Yajaira Cardona (Tecnologico de Monterrey),
Yasmin Rios (UANL)


See you in Monterrey!!!!



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

Message: 7
Date: Thu, 1 May 2014 18:16:59 -0700 (PDT)
From: Igor Averbakh <averbakh@utsc.utoronto.ca>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] Post-Doctorate position in Operations Research /
Discrete Optimization
Message-ID:
<1398993419.77543.YahooMailNeo@web160603.mail.bf1.yahoo.com>
Content-Type: text/plain; charset=iso-8859-1

POST-DOCTORAL FELLOWSHIP
IN OPERATIONS RESEARCH / DISCRETE OPTIMIZATION

Applications are invited for a Post-Doctoral position at the University of Toronto. The broad area of research is Operations Research with possible focus areas in Discrete Optimization, Scheduling, Network Optimization, Facility Location, or Stochastic Modeling. However, strong applicants in all areas of Operations Research will be considered. The applicants should be within 5 years (or close to completion) of their Ph.D. in Operations Research / Management, Computer Science, Applied Mathematics, or a related field.
??? The initial contract will be for 6-12 months, with a possibility of extensions for up to 2 years. To apply, send a C.V. and a sample of recent research (papers, preprints, etc.) electronically to professor Igor Averbakh at averbakh@utsc.utoronto.ca



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

Subject: Digest Footer

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


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

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