Cooperative Robots and Sensor Networks (RoboSense 2012)

The International Workshop on Cooperative Robots and Sensor Networks (RoboSense 2012) 

http://www.coins-lab.org/events/RoboSense12/   
**************************************************************************

Springer Special Edition

Best selected papers will be invited to submit an extended version of their papers to the special edition of Springer Book “Cooperative Robots and Sensor Networks” under the book series “Studies in Computational Intelligence”.

Overview

Wireless connected robots and Wireless Sensor Networks (WSNs) have enabled great potentials and a large space for ubiquitous and pervasive applications. Robotics and WSNs have mostly been considered as separate research fields and little work has investigated the marriage between these two technologies. However, these two technologies share several features, enable common cyber-physical applications and provide complementary support to each other.

The objective of this workshop is to bring together researchers from academia, and industry working in to both robotics and sensor networks areas to present and discuss recent advances and innovative ideas pertaining to these fields. Papers dealing with the coupling between robots and sensor networks are particularly sought. The workshop also looks for contributions about cyber-physical applications based on robotics and sensor networks, such as intelligent transportation systems, healthcare monitoring, industrial automation, etc.

The workshop will provide a relaxed forum to present and discuss new ideas, new research directions and to review current trends in these areas. The workshop will be based on short presentations that should encourage discussions among the attendees. Statements which are innovative, controversial or that present new approaches are specially sought.


Workshop Chairs

Anis Koubaa, Al-Imam Mohamed bin Saud University (Saudi Arabia)/CISTER Research Unit, Portugal.
Abdelmajid Khelil, TU Darmstadt, Germany


Important Dates

Abstract Submission: February 28, 2012 (extended)
Paper Submission: March 06, 2012 (extended)
Notification of Acceptance: April 06, 2012 
Final Manuscript Due: May 01, 2012
Authors Registration Due: May 10, 2012 



Call for Papers

The workshop is seeking original research and position papers dealing with hot topics in mobile robots and sensor networks. Innovative and/or controversial ideas are specially sought. Papers presenting integration between sensor networks and robotics fields will be particularly appreciated. The workshop welcomes papers in three main tracks:

    Wireless Sensor Networks Track
        Communication and Network Protocols (MAC and Network Layers issues)
        Wireless Technologies (IEEE 802.11, IEEE 802.15.4/ZigBee, 6LoWPAN, RPL, WiMax, UWB)
        Localization and Tracking
        Link Quality Estimation
        Fundamental Theoretical Limits and Algorithms
        Performance Evaluation, Simulation and Modelling Tools
        Measurement and Experimental Tools
        Security and Privacy
        Programming Models and Languages
        Operating Systems
        Service-Oriented Architecture
        Hardware Design and Implementation
    Mobile Robots Track
        Path Planning
        Multi-Robot Task Allocation
        Simultaneous Localization and Mapping (SLAM)
        Coordination and Cooperation
        Autonomous Navigation
        Robot Localization
        Swarm Intelligence
        Multi-robot systems
        Unmanned vehicle systems
        Learning for control
        Bio-inspired robotic
        Probabilistic Exploration and Coverage
        Object Detection & Collision Avoidance
        Motion estimation
    Cyber-Physical Applications
        Intelligent Transportation Systems
        Vehicular Networks
        Health-Care Monitoring
        Surveillance
        Smart Home
        Industrial Automation
        Internet-of-Things
        Case Studies


TPC Members (in progress)

    Adel Alimi, National School of Engineering of Sfax, Tunisia
    Luis Almeida, University of Aveiro, Portugal
    Mário Alves, CISTER Research Unit, Portugal
    Raul Aquino, University of Colima, Mexico
    Adel Ben Mnaouer, Dar Al-Uloom University, Saudi Arabia
    Xianghui Cao, Zhejiang University, China
    Michel Devy, LAAS/CNRS Group, France
    José Ramiro Martínez de Dios, University of Seville, Spain
    Fakir Dawood, Yanbu University College, Saudi Arabia
    Bernardine Dias, Carnegie Mellon University, Qatar
    Rüdiger Dillmann, Karlsruhe Institute of Technology, Germany
    Mohamed Elarbi, Al-Imam University, Saudi Arabia
    Joerg Haehner, University of Hannover, Germany
    Tian Huang, University of Warwick, UK
    Geoffrey A. Hollinger, University of Southern California, USA
    Jiong Jin, University of Melbourne, Australia
    Omar Lengerke, Federal University of Rio de Janeiro - Brazil
    Xu Li, University of Waterloo, Canada, Canada
    Rongxing Lu, University of Waterloo, Canada
    Daniel Mosse, University of Pittsburgh, USA
    Gian Pietro Picco, University of Trento, Italy
    Carlos Sagues, University of Zaragoza, Spain
    Silvia Santini, ETH Zurich, Switzerland
    Ye-Qiong Song, IINPL / INRIA Lorraine, France
    Yuuichi Teranishi, University of Osaka, Japan
    Takashi Tsubouchi, University of Tsukuba, Japan
    Naoki Wakamiya, University of Osaka, Japan
    Andreas Willig, Canterbury University, New Zealand
    Habib Youssef, University of Sousse, Tunisia
    Andrea Zanella, University of Padova, Italy
    Fumin Zhang, Georgia Institute of Technology, USA
    Marco Zuniga, University of Duisburg-Essen, Germany

Event Recognition

=======================================
Special Issue on Event Recognition
Applied Artificial Intelligence Journal
=======================================

Users and organisations collect data in various structured and unstructured digital formats, but they cannot fully utilise  these  data  to  support content and  resource  management.  It is evident that the analysis  and  interpretation  of  the  available  data  needs  to  be  automated,  in  order  for  large  data volumes to be  transformed into operational  knowledge. Events are particularly important pieces of 
knowledge,  as  they represent activities  of  special  significance  both  for  users  and  organisations. Therefore, the recognition of events is of utmost importance. Consider, for example, the recognition of trends given user contributions in social Web 2.0 applications, the recognition of attacks on nodes of a computer network given the exchanged TCP/IP messages, the recognition of suspicious trader 
behaviour  given  the  transactions  in  a  financial  market,  and  the  recognition  of  various  types  of cardiac arrhythmia given electrocardiograms. 
We  invite quality submissions focusing  on various aspects of event recognition, including  analysis of video, audio, text and other sensor data, as well as recognition on fused data sources. While we place  emphasis  on  theoretical  contributions,  we  also  welcome  papers  describing  interesting applications. 

Broad topics include:
=====================
- Representation languages for event recognition
- Algorithms for real-time event recognition
- Probabilistic reasoning for event recognition 
- Machine learning for event recognition 
- Event recognition architectures 
- Benchmarks, performance evaluations, and testbeds
- Domain-specific deployments of event recognition systems 
- Multimedia and social media analysis for event recognition 
- Clustering, concept recognition and multi-modal/fusion techniques 
- User interaction and interfaces for event navigation, browsing and management

Key Dates
=========
December 1, 2010 - Submissions
July 10, 2011 - Final Decisions
Publication - November 2011

Info
====
Email: events2010@iti.gr
Journal web site: http://www.tandf.co.uk/journals/titles/08839514.asp

Guest Editors
=============
Thomas Winkler, Fraunhofer IAIS, Germany
Alexander Artikis, NCSR Demokritos
Yiannis Kompatsiaris, CERTH-ITI, Greece
Phivos Mylonas, NTUA, Greece

A Special Issue of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE: Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI

                           /---------------\
                          | CALL FOR PAPERS |
                           \---------------/

 "Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI"

   A Special Issue of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
             http://www.kluweronline.com/issn/1012-2443

                     DEADLINE:  10th March 2010
                     --------------------------
 [ See http://www.csc.liv.ac.uk/~michael/AMAI10 for HTML and PDF versions ]

Special Issue editors:
======================
         Manuela Bujorianu [University of Manchester, UK]
         Michael Fisher    [University of Liverpool, UK]
         Corina Pasareanu  [CMU and NASA, USA]


TOPICS OF INTEREST:
===================
The topics of interest of this special issue include (but are not
limited to)
    * new modeling paradigms
    * formal verification of safety properties
    * formal models for cyber-physical systems
    * autonomous and autonomic systems
    * performance modelling and verification
    * heterogeneous and hybrid system models
    * multi-agent systems and coordination technologies
    * probabilistic logics for system specification
    * stochastic modelling and verification methods
    * control techniques that span over multiple disciplines
    * communication and control co-design
specifically formal methods concerning the above within the area of
aerospace.

This special issue is inspired by the FMA workshop held within
FM-2009. However, submission to this special issue is open to
everyone.

IMPORTANT DATES:
================
            Submission deadline:    10th March 2010
            Author notification:    10th May 2010
            Revised papers due:     10th June 2010