Monday, November 4, 2013

dmanet Digest, Vol 69, 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. 3rd CFP: Special Issue on "Heuristics for Reliable and
Efficient, Wireless Sensor Networks Deployments" (J. of
Heuristics, Springer, Q1) (Juan A. Gomez-Pulido)
2. CfP: DEBS 2014: 8th ACM International Conference on
Distributed Event Based Systems (Boris Koldehofe)
3. CiE 2014: Language, Life, Limits - Budapest, Hungary, 23-27
June, 2014 -1st CfP (S B Cooper)
4. Final CFP: PODS 2014, June 23-25, Snowbird, Utah, USA
(Andre Hernich)


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

Message: 1
Date: Thu, 31 Oct 2013 23:19:23 +0100
From: "Juan A. Gomez-Pulido" <jangomez@unex.es>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] 3rd CFP: Special Issue on "Heuristics for Reliable
and Efficient, Wireless Sensor Networks Deployments" (J. of
Heuristics, Springer, Q1)
Message-ID: <5272D76B.8060800@unex.es>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

[Apologies if you got multiple copies of this email]

SECOND CALL FOR PAPERS:
Special Issue on "HEURISTICS FOR RELIABLE AND EFFICIENT WIRELESS SENSOR
NETWORKS DEPLOYMENTS"

PDF: http://arco.unex.es/hrewsn
http://www.springer.com/mathematics/applications/journal/10732

Journal of Heuristics
Springer, ISSN: 1381-1231. Editor-in-Chief: Manuel Laguna.
Impact factor (2012): 1.471 (Q1, COMPUTER SCIENCE, THEORY & METHODS).


Aims and Scope:
==============
Wireless Sensor Networks are nowadays an extended engineering technology
for many markets due to the great amount of their possibilities in
collecting data from complex environments and processing them for
different purposes. Nevertheless, this interest is not enough to apply
this kind of networks as trustworthy solution for many real-world
environments, such as industrial processes and critical infrastructures,
where high reliability is required, together with other related key
aspects as energy, security and efficiency. Many companies could
overcome their reluctances if economic, reliable and easily deployed
solutions are provided in this field. In this scenario, the heuristics
and computational intelligence play an important role to solve many
involved optimization problems, doing necessary the research on advanced
solutions that result in a successful product. In this sense, there are
many challenges, trends and open possibilities in this area that deserve
to be known. In this special issue, we seek original, high quality
articles, clearly focused on theoretical or practical aspects of the
heuristics and mathematical optimization methods for obtaining reliable
and efficient wireless sensor networks, including but not limited to the
topics shown below.


Topics of Interest:
==================
The topics related to heuristics for reliable and efficient Wireless
Sensor Networks deployments that are relevant to this special issue
include but are not limited to:

* Energy minimization aspects: network lifetime and power savings.
* Efficient networks deployments.
* Heuristics and computational intelligence applied for solving
optimization problems.
* Multiobjective optimization problems.
* Fault tolerance and quality of service.
* Robust routing algorithms, network protocols and operating systems.
* Security and privacy aspects of the communications.
* Microprocessors, circuits, and embedded applications.
* Application cases, user studies and experiences.

Papers must be tailored to the problem of the wireless sensor networks
and explicitly consider heuristics and mathematical optimization
methods. The editors maintain the right to reject papers they deem to be
out of scope of this special issue. Only originally unpublished
contributions and invited articles will be considered for the issue.
Authors should submit their manuscripts through Editorial Manager
http://www.editorialmanager.com/heur/, selecting "SI - HREWSN" as the
article type.


Important Dates:
===============
Submission deadline: December 1st, 2013.
Acceptation notification: April 1st, 2014.
Final Papers: June 1st, 2014.


Guest Editors:
=============
Lead Editor:
Dr. Juan A. Gomez-Pulido
Dept. of Technologies of Computers and Communications, Univ. of
Extremadura, Spain
http://arco.unex.es/jangomez
E-mail
: jangomez@unex.es

Editor#2:
Jose M. Lanza-Gutierrez
Dept. of Technologies of Computers and Communications, Univ. of
Extremadura, Spain
E-mail: jmlanza@unex.es



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

Message: 2
Date: Sat, 02 Nov 2013 12:32:31 +0100
From: Boris Koldehofe <boris.koldehofe@ipvs.uni-stuttgart.de>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] CfP: DEBS 2014: 8th ACM International Conference on
Distributed Event Based Systems
Message-ID: <5274E2CF.4090105@ipvs.uni-stuttgart.de>
Content-Type: text/plain; charset=ISO-8859-15

DEBS 2014: 8th ACM International Conference on Distributed Event Based
Systems
May 26th-29th 2014, IIT Bombay, Mumbai, India

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

The scope of DEBS conference covers all topics relevant to event-based
computing ranging from those discussed in related disciplines (e.g.,
software systems, distributed systems, data management, dependability,
knowledge management, networking, programming languages, security and
software engineering), to domain-specific topics of event-based
computing (e.g., real-time analytics, mobile computing, social
networking, pervasive, green computing and ubiquitous computing, sensors
networks, user interfaces, big data processing, spatio-temporal
processing, Cloud computing, the internet of things, peer-to-peer
computing, embedded systems and stream processing), and
enterprise-related topics (e.g., complex event detection, enterprise
application integration, real-time enterprises and web services).


=== DEBS2014 tracks:

- A Research Track featuring high-quality, peer-reviewed research papers.
- An Industry Track for systems and concepts and experience reports.
- A Tutorial Track geared towards both academia and industry.
- A Demonstration and Posters Track with practical demonstrations and
early work.
- A Grand Challenges Track to test research and commercial systems.
- A Doctoral Workshop.


=== DEBS 2014 Important Dates:

Research Track:

Abstracts due January 24, 2014
Full papers due February 1, 2014
Author Notification March 31, 2014
Camera Ready papers April 15, 2014

Industry Track
Papers due Feb 15, 2014
Author Notification March 31, 2014
Camera Ready papers April 15, 2014

Tutorials:
Proposals due February 1, 2014
Presenter Notification March 15, 2014
Tutorials date May 26, 2014


Grand Challenge
Grand Challenge Problem Posted November 22, 2013
Submissions due March 1, 2014
Author Notification March 31, 2014
Camera Ready Submission April 15, 2014


Doctoral Symposium:
Papers due April 5, 2014
Author Notification April 15, 2014


Poster and Demo Track
Submissions due April 5, 2014
Author Notifications April 15, 2014
Camera Ready Copies due April 20, 2014


=== Submissions

All submissions must be original and unpublished. Accepted papers will
be published by ACM and disseminated through the ACM Digital Library.

More information about the tracks and submission information can be
found on the DEBS 2014 website:

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

=== Scope of the Conference

The topics addressed by the conference include (but are not limited to):

*** Models, Architectures and Paradigms

- Event-driven architectures
- Big Data (event-processing in Big Data)
- Internet of Things (event-processing in M2M)
- Basic interaction models
- Event algebras, event schemas and type systems
- Languages for event correlation and patterns, streaming and continuous
queries, data fusion
- Models for static and dynamic environments
- Complex event processing
- Design and programming methodologies
- Event-based business process management and modeling
- Experimental methodologies
- Performance modeling and prediction based on analytic approaches
- Functional Reactive Programming

*** Middleware Infrastructures for Event-Based Computing

- Federated event-based systems
- Middleware for actuator and sensor networks
- Algorithms and protocols
- Optimization techniques for event-based (or streaming) systems
- Event dissemination based on p2p systems
- Context and location awareness
- Fault-tolerance, reliability, availability, and recovery
- Security issues
- (Self-)Management
- Mobility and resource constrained device support
- Streaming queries, transformations, or correlation engines
- Logic-based event processing
- Semantic event processing
- Business Process Management with events

*** Applications, Experiences, and Requirements

- Use cases and applications of event-based systems
- Real-world application deployments using event-based middleware
- Domain-specific deployments of event-based systems
- Real-world data characterizing event-based applications
- Benchmarks, performance evaluations, and testbeds
- Application requirements for next-generation event-based solutions
- Relation to other architectures
- Enterprise application integration
- Event-driven business process management
- Information logistics
- Seamless integration of event-based mechanisms into middleware platforms

=== Organization:

General Co-Chairs:
Umesh Bellur (IIT Bombay, India)
Ravi Kothari (IBM India Research Labs)

Program Co-Chairs:
Dharanipragada Janakiram (IIT Madras, India)

Pascal Felber (U. of Neuchatel, Switzerland)

Proceedings Chairs:
David Eyers (U. of Otago, New Zealand)

Industry Co-Chairs:
Koustuv Dasgupta (Xerox Research Center, India)
Todd Montogomery (Informatica, USA)

Local Organization Chair:
Shruti Kunde (Xerox Research Center India)

Tutorial Co-Chairs:
Alexander Wolf (Imperial College, London, UK)
R K Shyamsundar (TIFR, India)

Poster & Demo Co-Chairs:
Vana Kalogeraki (U. of Athens, Greece)
Puru Kulkarni (IIT Bombay, India)

Doctoral Workshop Co-Chairs:
Niloy Ganguly (IIT Kharagpur, India)
Nalini Venkatasubramanian (UC Irvine, USA)

Grand Challenge Co-Chairs:
Zbigniew Jerzak (SAP AG, Germany)
Holger Ziekow (AGT International, Germany)

Publicity Co-Chairs:
Annika Hinze (U. of Waikato, New Zealand)
Boris Koldehofe (U. of Stuttgart, Germany)
Madhu Kumar SD (NIT Calicut, India)



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

Message: 3
Date: Sat, 2 Nov 2013 12:19:45 GMT
From: S B Cooper <pmt6sbc@maths.leeds.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CiE 2014: Language, Life, Limits - Budapest,
Hungary, 23-27 June, 2014 -1st CfP
Message-ID: <201311021219.rA2CJjwH003980@maths.leeds.ac.uk>

*******************************************************************
FIRST CALL FOR PAPERS:

CiE 2014: Language, Life, Limits

Budapest, Hungary

June 23 - 27, 2014

http://cie2014.inf.elte.hu


IMPORTANT DATES:

Submission Deadline for LNCS: 10 January 2014
Notification of authors: 3 March 2014
Deadline for final revisions: 31 March 2014


CiE 2014 is the tenth conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte
Dalgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013).

The motto of CiE 2014 "Language, Life, Limits" intends to put a special
focus on relations between computational linguistics, natural and
biological computing, and more traditional fields of computability theory.

This is to be understood in its broadest sense including computational
aspects of problems in linguistics, studying models of computation and
algorithms inspired by physical and biological approaches as well as
exhibiting limits (and non-limits) of computability when considering
different models of computation arising from such approaches.

As with previous CiE conferences the allover glueing perspective is to
strengthen the mutual benefits of analyzing traditional and new
computational paradigms in their corresponding frameworks both with
respect to practical applications and a deeper theoretical understanding.

TUTORIAL SPEAKERS:

Wolfgang Thomas (RWTH Aachen)
Peter Gruenwald (CWI, Amsterdam)

INVITED SPEAKERS:

Lev Beklemishev (Steklov Mathematical Institute, Moscow)
Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris)
Maribel Fernandez (King's College London)
Przemyslaw Prusinkiewicz (University of Calgary)
Eva Tardos (Cornell University)
Albert Visser (Utrecht University)

SPECIAL SESSIONS:

History and Philosophy of Computing (organizers: Liesbeth de Mol,
Giuseppe Primiero)
Computational Linguistics (organizers: Maria Dolores
Jimenez-Lopez, Gabor Proszeky)
Computability Theory (organizers: Karen Lange, Barbara
Csima)
Bio-inspired Computation (organizers: Marian Gheorghe,
Florin Manea)
Online Algorithms (organizers: Joan Boyar, Csan??d Imreh)
Complexity in Automata Theory (organizers: Markus Lohrey,
Giovanni Pighizzini)


CiE 2014 conference topics include, but not exclusively:

* Admissible sets
* Algebraic models of computation
* Algorithms
* Analog computation
* Artificial intelligence
* Automata theory
* Bioinformatics and Bio-inspired computation
* Bounded arithmetic
* Classical computability and degree structures
* Cognitive science and modelling
* Complexity classes
* Computability theoretic aspects of programs
* Computable analysis and real computation
* Computable structures and models
* Computational and proof complexity
* Computational biology
* Computational creativity
* Computational learning and complexity
* Computational linguistics
* Concurrency and distributed computation
* Constructive mathematics
* Cryptographic complexity
* Decidability of theories
* Derandomization
* DNA computing
* Domain theory and computability
* Dynamical systems and computational models
* Effective descriptive set theory
* Emerging and non-standard models of computation
* Finite model theory
* Formal aspects of program analysis
* Formal methods
* Foundations of computer science
* Games
* Generalized recursion theory
* History of computation
* Hybrid systems
* Higher type computability
* Hypercomputational models
* Infinite time Turing machines
* Kolmogorov complexity
* Lambda and combinatory calculi
* L-systems and membrane computation
* Machine learning
* Mathematical models of emergence
* Membrane computing
* Molecular computation
* Morphogenesis and developmental biology
* Multi-agent systems
* Natural computation
* Neural nets and connectionist models
* Philosophy of science and computation
* Physics and computability
* Probabilistic systems
* Process algebras and concurrent systems
* Programming language semantics
* Proof mining and applications
* Proof theory and computability
* Proof complexity
* Quantum computing and complexity
* Randomness
* Reducibilities and relative computation
* Relativistic computation
* Reverse mathematics
* Semantics and logic of computation
* Swarm intelligence and self-organisation
* Type systems and type theory
* Uncertain reasoning
* Weak systems of arithmetic and applications


We particularly welcome submissions in emergent areas, such as
bioinformatics and natural computation, where they have a basic
connection with computability.

Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:


* Gerard Alberts (Amsterdam) * Sandra Alves (Porto)
* Hajnal Andreka (Budapest) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau)
* Vasco Brattka (Munich) * Bruno Codenotti (Pisa)
* Barry Cooper (Leeds) * Erzsebet Csuhaj-Varju (Budapest, co-chair)
* Michael J. Dinneen (Auckland) * Erich Gr??del (Aachen)
* Marie Hicks (Chicago IL) * Natasha Jonoska (Tampa FL)
* Jarkko Kari (Turku) * Elham Kashefi (Edinburgh)
* Viv Kendon (Leeds) * Satoshi Kobayashi (Tokyo)
* Andras Kornai (Budapest) * Marcus Kracht (Bielefeld)
* Benedikt Loewe (Amsterdam & Hamburg)* Klaus Meer (Cottbus, co-chair)
* Joseph R. Mileti (Grinnell IA) * Georg Moser (Innsbruck)
* Benedek Nagy (Debrecen) * Sara Negri (Helsinki)
* Thomas Schwentick (Dortmund) * Neil Thapen (Prague)
* Peter van Emde Boas (Amsterdam) * Xizhong Zheng (Glenside PA)


The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE 2014.

The submission site https://www.easychair.org/conferences/?conf=cie2014
is open.

For submission instructions consult
http://cie2014.inf.elte.hu/?Submission_Instructions

We particularly invite papers that build bridges between different parts
of the research community.

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.

Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu
Website: http://cie2014.inf.elte.hu/
************************************************************************

__________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
AssociationCiE on Twitter http://twitter.com/AssociationCiE
ALAN TURING YEAR http://www.turingcentenary.eu
AlanTuringYears on Twitter http://twitter.com/AlanTuringYear
__________________________________________________________________________


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

Message: 4
Date: Mon, 04 Nov 2013 11:46:50 +0000
From: Andre Hernich <andre.hernich@liverpool.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Final CFP: PODS 2014, June 23-25, Snowbird, Utah,
USA
Message-ID: <5277892A.7040700@liverpool.ac.uk>
Content-Type: text/plain; charset=ISO-8859-1

FINAL CALL FOR PAPERS

33rd ACM SIGMOD-SIGACT-SIGART Symposium on
PRINCIPLES OF DATABASE SYSTEMS
(PODS 2014)

June 23 - June 25, 2014, Snowbird, Utah, USA

The PODS symposium series, held in conjunction with the SIGMOD
conference series, provides a premier annual forum for the
communication of new advances in the theoretical foundations of
data management, traditional or non-traditional
(see http://www.sigmod.org/the-pods-pages).

=== Topics of Interest

Topics that fit the interests of the symposium include the following:

- design, semantics, and optimization of query and database languages;
- data modeling; data structures and algorithms for data management;
- dynamic aspects of databases (updates, views);
- query languages for semi-structured data (including XML and RDF);
- search query languages (including techniques from information
retrieval);
- web services; automatic verification of database-driven systems;
- incompleteness, inconsistency, and uncertainty in databases;
- constraints (specification, reasoning, mining, constraint databases);
- domain-specific databases (multi-media, scientific, spatial,
temporal, text);
- schema and query extraction;
- mining and learning of data models and queries;
- data integration; data exchange;
- provenance; workflows;
- metadata management; meta-querying;
- semantic, linked, networked, and crowdsourced data;
- foundation of "big data";
- recommendation systems and social networks;
- distributed and parallel aspects of data management; cloud computing
and distributed query processing;
- data streams; real-time and sensor data; approximate query answering;
- privacy; security;
- model theory, logics, algebras and computational complexity.

=== Important Dates

Short abstracts due: November 25, 2013 (4:59 PST)
Paper submission: December 2, 2013 (4:59 PST)
Notification: February 24, 2014 (4:59 PST)

=== Submission Guidelines

Submitted papers should be at most twelve pages, including
bibliography, using reasonable page layout and font size of at least
10pt (note that the SIGMOD style file does not have to be followed).
Additional details may be included in an appendix, which, however, will
be read at the discretion of the PC. Papers longer than twelve pages
(excluding the appendix) or in font size smaller than 10pt risk
rejection without consideration of their merits.

The submission process will be through the easychair website:

http://www.easychair.org/conferences/?conf=pods2014.

Note that, unlike the SIGMOD conference, PODS does not use double-blind
reviewing, and therefore PODS submissions should have the names and
affiliations of authors listed on the paper.

The results must be unpublished and not submitted elsewhere, including
the formal proceedings of other symposia or workshops. Authors of an
accepted paper will be expected to sign copyright release forms, and
one author is expected to present it at the conference.

=== Awards

Best Paper Award: An award will be given to the best submission, as
judged by the PC.

Best Student Paper Award: There will also be an award for the best
submission, as judged by the PC, written by a student or exclusively by
students. An author is considered as a student if at the time of
submission, the author is enrolled in a program at a university or
institution leading to a doctoral/master's/bachelor's degree.

The PC reserves the right to give both awards to the same paper, not to
give an award, or to split an award among several papers. Papers
authored or co-authored by PC members are not eligible for an award.

=== Organization

PODS General Chair: Richard (Rick) Hull (IBM T.J. Watson Research)
PODS Program Chair: Martin Grohe (RWTH Aachen University)
Publicity & Proceedings Chair: Andre Hernich (University of Liverpool)

Program Committee:

Serge Abiteboul (INRIA Saclay)
Pablo Barcelo (Universidad de Chile)
Jan van den Bussche (Hasselt University)
Andrea Cali (Birkbeck College)
Sara Cohen (Hebrew University of Jerusalem)
Dario Colazzo (Universite Paris Sud)
Claire David (Universite Paris Est MLV)
Daniel Deutch (Ben Gurion University)
Thomas Eiter (TU Wien)
Alexandre Evfimievski (IBM Almaden Research Center)
Roberto Grossi (Universita di Pisa)
Sudipto Guha (University of Pennsylvania)
Andre Hernich (University of Liverpool)
David Karger (MIT)
Kristian Kersting (University of Bonn)
Jure Leskovec (Stanford University)
Sebastian Maneth (University of Edinburgh)
Gabriele Puppis (LaBRI)
Dan Suciu (University of Washington)
Tony Tan (Hasselt University)
Wang-Chiew Tan (University of California, Santa Cruz)
Yufei Tao (Chinese University of Hong Kong)
Ke Yi (Hong Kong University of Science and Technology)

=== SIGMOD/PODS Webpage:

http://www.sigmod2014.org/


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

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 69, Issue 2
*************************************

No comments:

Post a Comment