Thursday, September 3, 2015

dmanet Digest, Vol 91, 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. LATIN'16: Second Call for Papers (David Flores)
2. CFP: Special Issue "Wireless Sensor Networks for Measuring
the Impact of Human Activities over Different Environments" in
(IJDSN) (Sandra Sendra)
3. ETAPS 2016 2nd call for papers (Tarmo Uustalu)
4. Call for chapters - Vehicular Social Networks, CRC Taylor &
Francis Group - DEADLINE EXTENDED TO SEPT. 7 (Valeria Loscri)
5. [Info] CfP - EvoMUSART2016 (Colin Jonhson)


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

Message: 1
Date: Wed, 02 Sep 2015 21:23:35 +0000
From: David Flores <dflorespenaloza@gmail.com>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] LATIN'16: Second Call for Papers
Message-ID:
<CADuZcfcWataeLTxrxAWaaKghUqg1w2uFCF7YxMv9bviiWz4F4w@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

Second Call for Papers (with apologies for possible duplicates):

LATIN 2016
Ensenada, Mexico
April 11-15, 2016

The 12th Latin American Theoretical Informatics
Symposium (LATIN 2016) will be held in Ensenada
Mexico from April 11-15, 2016.

Previous editions of LATIN took place in
Sao Paulo, Brazil (1992),
Valparaiso, Chile (1995),
Campinas, Brazil (1998),
Punta del Este, Uruguay (2000),
Cancun, Mexico (2002),
Buenos Aires, Argentina (2004),
Valdivia, Chile (2006),
Buzios, Brazil (2008),
Oaxaca, Mexico (2010),
Arequipa, Peru (2012),
Montevideo, Uruguay (2014).

Important Dates

Submission deadline:
Sep. 20, 2015 (abstract)
Sep. 27, 2015 (full paper)

Author notification:
Nov. 29, 2015

Final version due:
Dec. 13, 2015

Scope:
The Symposium is devoted to different areas
in theoretical computer science, including,
but not limited to: algorithms (approximation,
online, randomized, algorithmic game theory),
analytic combinatorics and analysis of
algorithms, automata theory and formal
languages, coding theory and data compression,
combinatorial algorithms, combinatorial
optimization, combinatorics and graph theory,
complexity theory, computational algebra,
computational biology, computational geometry,
computational number theory, cryptology,
databases and information retrieval, data
structures, formal methods and security,
Internet and the web, parallel and distributed
computing, pattern matching, programming
language theory, and random structures.

Papers are to be submitted electronically,
following the guidelines on the conference
web page

Additional Details can be found in:
http://latin2016.natix.org/

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

Message: 2
Date: Wed, 2 Sep 2015 23:35:55 +0200
From: Sandra Sendra<sandra.sendra.upv@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: Special Issue "Wireless Sensor Networks for
Measuring the Impact of Human Activities over Different Environments"
in (IJDSN)
Message-ID: <201509022135.t82LZtjl019954@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii

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

International Journal of Distributed Sensor Networks (IJDSN)

Special Issue "Wireless Sensor Networks for Measuring the Impact of Human Activities over Different Environments"

http://www.hindawi.com/journals/ijdsn/si/567042/cfp/

Deadline for manuscript submissions: January 29, 2016

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


=== SPECIAL ISSUE - CALL FOR PAPERS ===

Wireless sensor networks (WSNs) are nowadays used in a wide variety of applications, such as military surveillance, scientific exploration, structural monitoring, and environmental monitoring applications, among others. These sorts of networks are complex systems whose correct operation mainly depends on the integration of physical sensors, computation processes, and communication between devices. Advances in smart device and sensor networks will drive innovation in important sectors such as energy efficiency, city/building design, healthcare, agriculture, transportation, and manufacturing.

Moreover, human actions motivated by achieving various purposes cause side effects on our environment. While the intended effects are usually positive, at least for those who promote action, side effects can be positive but very often are negative. Some most basic actions of how we do our day-to-day routines are the following: the way people move around the city, how people get rid of your waste, excessive cultivation or exploitation of natural resources, misuse of electrical appliances, or celebrating holidays with music and pyrotechnics, among others, which can have a significant impact on our environment, whether natural, social environments, or on our heritage.

For these reasons and taking into account the advantages that WSNs offer, this special issue aims to focus on new proposals and developments of WSNs for monitoring and evaluating the impact of human activity on the environments that surround us. Authors are invited to submit their original and unpublished research contributions to this special issue in relevant areas of WSNs, proposing new design concepts, architectures, and applications versus resource constraints and energy conservation.


Potential topics include, but are not limited to:

- WSN issues and technologies for monitoring the effects of human behaviors on the environment
- Design of energy-efficient WSNs, hardware, software, and systems for monitoring sensitive environments
- Real-world case studies of WSNs where the effects of human behaviors are analyzed
- WSNs data management
- Prototyping of experimental WSNs and its test bench
- Evaluation of WSNs in sensitive scenarios
- WSNs for emergency response in natural/man-made disasters
- New proposals of WSNs architectures
- Efficient communication for WSNs architectures
- WSN for sustainable human behaviors
- Sustainable WSN for environmental sustainability


Authors can submit their manuscripts via the Manuscript Tracking System at:

http://mts.hindawi.com/submit/journals/ijdsn/miha/


=== IMPORTANT DATES ===

Manuscript Due: Friday, 29 January 2016
First Round of Reviews: Friday, 22 April 2016
Publication Date: Friday, 17 June 2016

=== SPECIAL ISSUE EDITORS ===

Lead Guest Editor

Prof. Dr. Jaime Lloret Mauri (jlloret@dcom.upv.es)
Universidad Politecnica de Valencia, Spain

Guest Editors

Dr. Sandra Sendra (sansenco@posgrado.upv.es)
Integrated Management Coastal Research Institute, Universidad Politecnica de Valencia, Spain

Dr. Danda B. Rawat (db.rawat@ieee.org)
Georgia Southern University, Georgia, USA

Dr. Kayhan Z. Ghafoor (kayhan@ieee.org)
Salahaddin University, College of Engineering, Kirkuk Road Erbil, Kurdistan Region-Iraq

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


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

Message: 3
Date: Thu, 3 Sep 2015 09:36:58 +0300
From: Tarmo Uustalu <tarmo@cs.ioc.ee>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ETAPS 2016 2nd call for papers
Message-ID: <20150903093658.07447317@duality>
Content-Type: text/plain; charset=UTF-8

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

CALL FOR PAPERS: ETAPS 2016

19th European Joint Conferences on Theory And Practice of Software

Eindhoven, The Netherlands, 2-8 April 2016

http://www.etaps.org/2016

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

-- ABOUT ETAPS --

ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is the
ninteenth event in the series.


-- MAIN CONFERENCES (4-7 April) --

* ESOP: European Symposium on Programming
(PC chair Peter Thiemann, Universität Freiburg, Germany)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Perdita Stevens, University of Edinburgh, UK,
and Andrzej Wasowski, IT University of Copenhagen, Denmark)
* FOSSACS: Foundations of Software Science
and Computation Structures
(PC chairs Bart Jacobs, Radboud Universiteit Nijmegen,
The Netherlands, and Christof Löding, RWTH Aachen, Germany)
* POST: Principles of Security and Trust
(PC chairs Frank Piessens, Katholieke Universiteit Leuven,
Belgium, and Luca Viganò, King's College London, UK)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Marsha Chechik, University of Toronto, Canada,
and Jean-François Raskin (Université Libre de Bruxelles,
Belgium)
TACAS '16 hosts the 5th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

* Unifying speakers:
Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK)
Rupak Majumdar (MPI Kaiserslautern, Germany)

* ESOP invited speaker:
Cristina Lopes (University of California at Irvine, USA)
* FASE invited speaker:
Oscar Nierstrasz (Universität Bern, Switzerland)
* POST invited speaker:
Vitaly Shmatikov (University of Texas at Austin, USA)


-- IMPORTANT DATES --

* 9 October 2015: Submission deadline for abstracts
* 16 October 2015: Submission deadline for full papers
* 2-4 December 2015: Author response period (ESOP and FoSSaCS only)
* 18 December 2015: Notification of acceptance
* 8 January 2016: Camera-ready versions due


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.

ESOP and FoSSaCS accept only research papers.

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL

http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE will try a light-weight double-blind review process (see
http://www.etaps.org/2016/fase).


- Research papers

FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pp, excluding bibliography of max 2 pp).

Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.

ESOP and FOSSACS do not accept tool demonstration papers.

TACAS has a page limit of 6 pages for tool demonstrations.


-- SATELLITE EVENTS (2-3 April, 8 April) --

Around 20 satellite workshops will take place before and after the
main conferences.


-- HOST CITY --

Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.


-- HOST INSTITUTION --

ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische
Universiteit Eindhoven.


-- ORGANIZERS

* General chair: Jan Friso Groote
* Workshops chair: Erik de Vink and Julien Schmaltz
* Publicity chair: Anton Wijs


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
j.f.groote@tue.nl, a.j.wijs@tue.nl.

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

Message: 4
Date: Thu, 3 Sep 2015 16:06:01 +0200
From: Valeria Loscri <valeria.loscri@inria.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Call for chapters - Vehicular Social Networks, CRC
Taylor & Francis Group - DEADLINE EXTENDED TO SEPT. 7
Message-ID: <BD7FDA2F-F6A5-4073-B609-3945B75EE500@inria.fr>
Content-Type: text/plain; charset=utf-8

******* Our apologies for multiple copies of this email *******
Call for Book Chapters
VEHICULAR SOCIAL NETWORKS
to be published by CRC Press, LLC<http://www.crcpress.com/ <http://www.crcpress.com/>>
Editors

Anna Maria Vegni (annamaria.vegni@uniroma3.it <mailto:annamaria.vegni@uniroma3.it><mailto:annamaria.vegni@uniroma3.it <mailto:annamaria.vegni@uniroma3.it>>), Roma TRE University, Italy

Valeria Loscrì (valeria.loscri@inria.fr <mailto:valeria.loscri@inria.fr><mailto:valeria.loscri@inria.fr <mailto:valeria.loscri@inria.fr>>), Inria Lille - Nord Europe, France

Athanasios V. Vasilakos (vasilako@ath.forthnet.gr <mailto:vasilako@ath.forthnet.gr><mailto:vasilako@ath.forthnet.gr <mailto:vasilako@ath.forthnet.gr>>), Lulea University of Technology, Sweden

Abstract
Cars have changed significantly over the last years, and will do so in the near future. Especially the integration of more and more sensors, such as camera or radar, and communication technologies opens up a whole new design space for in-vehicle applications. It is expected a different kind of automotive experience, where city streets will teem with small, driverless cars whose wireless capabilities direct traffic flow smoothly, so that to make traffic lights unnecessary. Furthermore, the use of cloud computing technology will enable passengers to work or play games during their commutes, while listening to their favorite music, as chosen by the car based on user profile. Vehicular communications can be considered as the "first social network for automobiles", since each driver can share data with other neighbors. As an instance, heavy traffic is a common occurrence in some areas on the roads (e.g., at intersections, taxi loading/unloading areas, and so on); as a consequence, roads become a popular social place for vehicles to connect to each other. Social characteristics and human behavior largely impact on vehicular ad hoc networks, and this arises to the vehicular social networks, which are formed when vehicles (individuals) "socialize" and share common interests.

The goal of this book is to provide the main features of Vehicular Social Networks (VSNs), from novel emerging technologies to social aspects used for mobile applications, as well as main issues and challenges. VSNs are described as decentralized opportunistic communication networks formed among vehicles. They exploit mobility aspects, and basics of traditional social networks, in order to create novel approaches of message exchange through the detection of dynamic social structures. Particular interest will be given to social aspects that are exploited in vehicular communications for both safety and entertainment applications. Indeed, vehicular communications can be considered as the "first social network for automobiles," because each driver can share data with other neighbors.

Selected topics that are covered in this book are related to: social networking techniques, social-based routing techniques applied to vehicular networks, data dissemination in VSNs, architectures for VSNs, as well as novel trends and challenges in VSNs. The book aims to provide significant technical and practical insights in different aspects, starting from a basic background on social networking, the inter-related technologies and applications to vehicular ad-hoc networks, the technical challenges, implementation and future trends.

Chapters dealing with the following aspects (but not limited to) are welcome:

* Part I: Basics on Social Networking
* Introduction to social networking technologies
* Traditional online social networks
* Security aspects in social networks
* Cooperative aspects in social networks
* Part II: From Social Networking to Vehicular Networks
* Introduction to VSNs
* Sociability aspects in routing for VSNs
* Data dissemination in VSNs
* Peer-to-peer architectures for VSNs
* Resource management in VSNs
* Cooperative communications in VSNs
* QoS support in VSNs
* Data fusion and aggregation in VSNs
* Part III: Applications for VSNs
* Social-based applications for VSNs
* Infotainment in VSNs
* Crowdsourcing applications for VSNs
* Security, privacy and trust in VSNs
* Gaming in vehicular social networks
* Incentives and other economic aspects of VSNs

Important Dates

Abstract submission: September 7, 2015 - FIRM DEADLINE

Abstract notification: September 15, 2015

Final manuscript: December 31, 2015

Review notification: February 28, 2016

Chapter submission: April 15, 2016

Book submission to CRC Press: May 1, 2016


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

Message: 5
Date: Thu, 3 Sep 2015 17:47:19 +0100
From: Colin Jonhson <evomusart@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] [Info] CfP - EvoMUSART2016
Message-ID:
<CALsnibvQiwizg0HUtxBgHS=5Pea_ZovL0gOnPd-cHpqDZVGowg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

----------------------------------------------------------------------------
Please distribute
(Apologies for cross posting)
----------------------------------------------------------------------------

CALL FOR PAPERS
EvoMUSART 2016
http://www.evostar.org/2016/cfp_evomusart.php

5th International Conference on Evolutionary and Biologically Inspired
Music, Sound, Art and Design

30 March - 1 April 2016
Part of evo* 2016
evo*: http://www.evostar.org

Following the success of previous events and the importance of the
field of evolutionary and biologically inspired (artificial neural
network, swarm, alife) music, sound, art and design, evomusart has
become an evo* conference with independent proceedings since 2012.
Thus, evomusart 2016 is the fifth International Conference on
Evolutionary and Biologically Inspired Music, Sound, Art and Design.

The use of biologically inspired techniques for the development of
artistic systems is a recent, exciting and significant area of
research. There is a growing interest in the application of these
techniques in fields such as: visual art and music generation,
analysis, and interpretation; sound synthesis; architecture; video;
poetry; design; and other creative tasks.

The main goal of evomusart 2016 is to bring together researchers who
are using biologically inspired computer techniques for artistic
tasks, providing the opportunity to promote, present and discuss
ongoing work in the area.

The event will be held in April, 2016 in Porto, Portugal, as part of
the evo* event.

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

Submission: 1 November 2015
Notification to authors: 04 January 2016
Camera-ready deadline: 18 January 2016
Evo*: 30 March - 1 April 2016

----------------------------------------------------------------------------
Publication Details
----------------------------------------------------------------------------

Submissions will be rigorously reviewed for scientific and artistic
merit. Accepted papers will be presented orally or as posters at the
event and included in the evomusart proceedings, published by Springer
Verlag in a dedicated volume of the Lecture Notes in Computer Science
(LNCS) series. The papers which receive the best reviews will be
nominated for the Best Paper Award. The acceptance rate at EvoMUSART
2015 was 27.9% for papers accepted for oral presentation, and 25.6%
for poster presentation.

Submitters are strongly encouraged to provide in all papers a link for
download of media demonstrating their results, whether music, images,
video, or other media types. Links should be anonymised for
double-blind review, e.g. using a URL shortening service.

----------------------------------------------------------------------------
Topics of interest
----------------------------------------------------------------------------

Submissions should concern the use of biologically inspired computer
techniques -- e.g. Evolutionary Computation, Artificial Life,
Artificial Neural Networks, Swarm Intelligence, other artificial
intelligence techniques -- in the generation, analysis and
interpretation of art, music, design, architecture and other artistic
fields. Topics of interest include, but are not limited to:

-- Generation
- Biologically Inspired Design and Art -- Systems that create
drawings, images, animations, sculptures, poetry, text, designs,
webpages, buildings, etc.;
- Biologically Inspired Sound and Music -- Systems that create
musical pieces, sounds, instruments, voices, sound effects, sound
analysis, etc.;
- Robotic-Based Evolutionary Art and Music;
- Other related artificial intelligence or generative techniques in
the fields of Computer Music, Computer Art, etc.;

-- Theory
- Computational Aesthetics, Experimental Aesthetics; Emotional
Response, Surprise, Novelty;
- Representation techniques;
- Surveys of the current state-of-the-art in the area; identification
of weaknesses and strengths; comparative analysis and classification;
- Validation methodologies;
- Studies on the applicability of these techniques to related areas;
- New models designed to promote the creative potential of
biologically inspired computation;

-- Computer Aided Creativity and computational creativity
- Systems in which biologically inspired computation is used to
promote the creativity of a human user;
- New ways of integrating the user in the evolutionary cycle;
- Analysis and evaluation of: the artistic potential of biologically
inspired art and music; the artistic processes inherent to these
approaches; the resulting artefacts;
- Collaborative distributed artificial art environments;

-- Automation
- Techniques for automatic fitness assignment;
- Systems in which an analysis or interpretation of the artworks is
used in conjunction with biologically inspired techniques to produce
novel objects;
- Systems that resort to biologically inspired computation to perform
the analysis of image, music, sound, sculpture, or some other types of
artistic object.


----------------------------------------------------------------------------
Additional information and submission details
----------------------------------------------------------------------------

Submit your manuscript, at most 16 A4 pages long, in Springer LNCS
format (instructions downloadable from
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0)

Submission link: http://myreview.csregistry.org/evomusart16/

*** NEW Page limit: 16 pages ***

The reviewing process will be double-blind; please omit information
about the authors in the submitted paper.

Website: http://www.evostar.org/
Facebook: fb.com/evostarconf
Twitter: twitter.com/Evostar2016
LinkedIn: www.linkedin.com/groups/EVOstar-1908983


----------------------------------------------------------------------------
Conference chairs
----------------------------------------------------------------------------

Colin Johnson
University of Kent, UK
c.g.johnson(at)kent.ac.uk

Vic Ciesielski
RMIT University, Australia
vic.ciesielski(at)rmit.edu.au


Publication chair
João Correia
University of Coimbra, Portugal
jncor(at)dei.uc.pt

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

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 91, Issue 4
*************************************

No comments:

Post a Comment