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
*************************************