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. CFP for IEEE SmartVehicles 2014 (workshop collocated with
IEEE WoWMom 2014) - paper registration deadline: February 28
(Valerio Arnaboldi)
2. Tenure-track assistant professorship at LAMSADE, University
Paris-Dauphine (Laurent Gourv?s)
3. LAST CFP Optimisation in Multi-Agent Systems and Distributed
Constraint Reasoning Workshop - deadline 10th February
(MERITXELL VINYALS)
4. PhD ad (Gregory Gutin)
5. ETAPS 2014 call for participation (Tarmo Uustalu)
----------------------------------------------------------------------
Message: 1
Date: Thu, 06 Feb 2014 10:46:01 +0100
From: Valerio Arnaboldi<valerio.arnaboldi@iit.cnr.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP for IEEE SmartVehicles 2014 (workshop collocated
with IEEE WoWMom 2014) - paper registration deadline: February 28
Message-ID: <52f359d9.L9+eASzYoH7l18BK%valerio.arnaboldi@iit.cnr.it>
Content-Type: text/plain; charset=us-ascii
Please accept our apologies if you receive multiple copies of this CFP.
----------------------------------------------------------------------
CALL FOR PAPERS
The 1st IEEE WoWMoM Workshop on
Smart Vehicles: Connectivity Technologies and ITS Applications
(SmartVehicles 2014)
June 16-19, 2014, Sydney, Australia
http://cnd.iit.cnr.it/smartvehicles2014
**** Paper Registration Deadline --- February 28, 2014 ****
**** Paper Submission Deadline --- March 7, 2014 ****
----------------------------------------------------------------------
SCOPE AND OVERVIEW
--------------------------------
The development of smart vehicles and more sustainable transportation systems has emerged as one of the most fundamental societal challenges of the next decade. At the same time, automotive manufacturers are striving to make vehicles safer and more environmentally friendly to fulfil consumers' expectations and new regulations. To revolutionise our mobile lifestyle towards a more sustainable and connected future it is of paramount importance to develop innovative cooperative systems enabling road users and other actors to exchange information in real time and in an autonomous manner, pervasive sensing to monitor the status of vehicles and the surroundings, big data analytics for the processing of sheer amount of data coming from the transportation infrastructure, middleware platforms for information management and sharing, and appropriate interaction interfaces between drivers and vehicles. Clearly, the seamless integration between mobile devices, vehicular communication netw!
orks, and information and transportation systems will face a number of technical, economical and regulatory challenges.
Authors are encouraged to submit full papers presenting recent developments, current research challenges and future directions in the use of networking, communications, data management, and applications to realise vehicular mobility systems that are more connected, sustainable and safe.
Topics of interest for SmartVehicles 2014 include, but are not limited to:
+ Vehicular Network as a Sensor Network;
+ V2V, V2I and V2X communications
+ Vehicular mobility support in next-generation wireless technologies
+ Communications protocol design (MAC, routing, data dissemination)
+ Data storage, management, and retrieval in vehicular networks
+ Solutions to connect vehicles with the Internet
+ Big data analytics for ITS applications
+ Security and privacy in ITS applications
+ Multimedia applications, infotainment
+ Cooperative driving, autonomous and smart vehicles
+ Traffic management and efficiency applications
+ Electrification of transportation systems
+ Simulation environments, experimental testbeds, field operational tests
+ Mobile (smart) device integration in vehicles and transport systems
+ Integration of cloud technologies in ITS applications
PAPER SUBMISSION AND PUBLICATION
--------------------------------
Submission will be managed electronically through EDAS (http://edas.info/N16795).
Papers should neither have been published elsewhere nor being currently under review by another conference or journal. Manuscripts are limited to 6 pages, single spacing, double column, and must strictly adhere to the template format. Guidelines on paper submission and formatting are available at: http://cnd.iit.cnr.it/smartvehicles2014
Accepted papers will appear in the symposium proceedings published by IEEE. Workshop papers will be included and indexed in the IEEE Digital Library (IEEEXplore), showing their affiliation with IEEE WoWMoM. At least one author of each accepted paper is required to register and present his/her work at the workshop in order for that paper to appear in the proceedings.
IMPORTANT DATES
---------------
Paper Registration Deadline: February 28, 2014 (mandatory)
Paper Submission Deadline: March 7, 2014
Notification Deadline: April 15, 2014
Camera Ready Due: TBA
Workshop Date: June 16-19, 2014
ORGANISING COMMITTEE
--------------------
Workshop Co-Chairs
Raffaele Bruno, IIT, CNR, Italy
Salil Kanhere, UNSW, Australia
John B. Kenney, Toyota InfoTechnology Center, USA
Publicity Chair
Valerio Arnaboldi, IIT, CNR, Italy
Program Committee (to be completed)
Karl Andersson, Lulea University of Technology, Sweden
Fan Bai, General Motors, USA
Gaurav Bansal, Toyota InfoTechnology Center, USA
Saeed Bastani, University of Sydney, Australia
Azzedine Boukerche, University of Ottawa, Canada
Claudio Casetti, Politecnico di Torino, Italy
Marco Di Felice, University of Bologna, Italy
Yaser Fallah, West Virginia University, USA
Marco Fiore, IEIIT-CNR, Italy
Emma Fitzgerald, Lund University, Sweden
Javier Gozalvez, University Miguel Hernandez, Spain
Hannes Hartenstein, Karlsruhe Institute of Technology, Germany
Jerome Harri, EURECOM, France
Thorsten Hehn, Volkswagen, Germany
Geert Heijenk, University of Twente, Netherlands
Daniel Jiang, Mercedes-Benz R&D North America, USA
Frank Kargl, Ulm University, Germany
Yevgeni Koucheryavy, Tampere University of Technology, Finland
Kun-chan Lan, National Cheng Kung University, Taiwan
Lavy Libman, UNSW, Australia
Radovan Miucic, Honda R&D Americas, USA
Robert Schmidt, Denso Automotive Dtld. GmbH, Germany
Katrin Sjoberg, Volvo, Sweden
Erik Strom, Chalmers University of Technology, Sweden
Ozan Tonguz, Carnegie Mellon University, USA
Elisabeth Uhlemann, Malardalen University, Sweden
Alexey Vinel, Halmstad University, Sweden
Alberto Zanella, IEIIT-CNR, Italy
------------------------------
Message: 2
Date: Thu, 06 Feb 2014 12:13:06 +0100
From: Laurent Gourv?s <laurent.gourves@lamsade.dauphine.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Tenure-track assistant professorship at LAMSADE,
University Paris-Dauphine
Message-ID: <52F36E42.5080904@lamsade.dauphine.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
The Laboratoire d'Analyse et Modelisation de Systemes pour l'Aide a la Decision (LAMSADE, head Alexis Tsoukias) of the University Paris-Dauphine opens a tenure-track assistant professor's position on a profile "Algorithms with Performance Garantees" which is one of the research projects of the team "Combinatorial Optimization, Algorithms, Data" within the LAMSADE. Successful candidate is expected to work on one or more research themes among:
-- Approximation of hard problems (polynomial, moderately exponential and/or subexponential, parameterized)
-- Exact and parameterized complexity of hard problems -- On-line computation, probabilistic optimization and algorithms in dynamic environments
-- Algorithmic games.
We seek for excellent candidates having strong skills in the aforementioned fields; applicants should demonstrate their abilities in conducting original top-level research in them. An outstanding doctoral degree and scientific publication record at the international level are prerequisites for this position.
Teaching requirements: Teaching load in French Universities is of 192h/year, but the first three years several teaching discharges are given by the University (92h for the first year and 64h for the second and third year). Teaching will take place within several Departments of the University, mainly within the Department of Mathematics and Computer Science (head Tristan Cazenave).
For more information please contact :laurent.gourves@dauphine.fr,jerome.monnot@dauphine.fr andtristan.cazenave@dauphine.fr
Link of the team :http://www.lamsade.dauphine.fr/spip.php?article259
------------------------------
Message: 3
Date: Thu, 06 Feb 2014 14:16:04 +0000
From: MERITXELL VINYALS <meritxell.vinyals@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] LAST CFP Optimisation in Multi-Agent Systems and
Distributed Constraint Reasoning Workshop - deadline 10th February
Message-ID: <52F39924.9030704@gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
=======================================================================
CFP: International Workshop on
Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning
(OptMAS-DCR)
To be held in conjunction with the
Thirteenth International Conference on Autonomous and Multi-Agent Systems
(AAMAS 2014)
=======================================================================
Workshop Website
---------------------------
http://www.cs.nmsu.edu/~wyeoh/optmas-dcr2014/
Call
------
We are glad to announce that a Joint Call for papers has been agreed
between the Workshop on Optimization
in Multi-Agent Systems (OptMAS) and the Workshop on Distributed
Constraint Reasoning (DCR). This joint
OptMAS-DCR workshop invites works from different strands of the
multi-agent systems community that pertain
to the design of algorithms, models, and techniques to deal with
multi-agent optimisation problems. We will also
place a particular emphasis on DCR approaches, which include the
modeling, formulation and solution of DCR
problems, including both Distributed Constraint Satisfaction and
Optimization problems.
Important dates
-----------------------
* January, 22, 2014 February 10th, 2014 - Submission of contributions to
workshops
* February 19, 2014 March 1st, 2014 - Workshop paper acceptance
notification
* March 10, 2014 - Submission of camera-ready version
* May 5-6, 2014 - Workshop takes place in conjunction with AAMAS 2014.
Invited Talk
-----------------------
An invited speech will be given by Prof. Toby Walsh
www.cse.unsw.edu.au/~tw/?
Background
-----------------
The number of novel applications of multi-agent systems has followed an
exponential trend
over the last few years, ranging from online auction design, through
multi-sensor networks,
to scheduling of tasks in multi-actor systems. Multi-agent systems
designed for all these
applications generally involve some form of very hard optimization
problems that are
substantially different from problems traditionally dealt with in other
areas (e.g. industrial
processes or scheduling applications). More specifically, the technical
issues that multi-agent
algorithm designers have to deal with include:
* Open systems:algorithms to compute solutions to mechanisms that deal
with different
stakeholders, who may be self-interested or may have different
computation/communication
capabilities from their peers.
* Distributed systems:algorithms that are across different system
components, such as those
that deal with agents that are tied to physical devices. This involves
considerations of
computation and communication constraints, and the possibility of
failures of the components
and/or communication links.
* Privacy concerns:optimizing while minimising the exchange of private
information.
* Solution quality bounds:problems requiring algorithms with quality
bounds.
* Robust optimisation:techniques to deal with optimizations that are
repeated with only slight
changes in the input data and/or unreliable input data.
* Highly parallel architectures:e.g., multi-core, GPGPU, which deal with
large-scale problems.
Keywords
--------------
Topics include but are not limited to:
* Distributed constraint optimization/satisfaction
* Winner determination algorithms in auctions
* Coalition formation algorithms
* Algorithms to compute Nash and other equilibria in games
* Optimization under uncertainty
* Optimization with incomplete or dynamic input data
* Algorithms for real-time applications
* GPU for general purpose computations (GPGPU)
* Multi-core and many-core computing
* Cloud, distributed and grid computing
Submission
-----------------
Participants should submit a paper (maximum *15* pages in LNCS Springer
style), describing their work
on one or more of the topics relevant to the workshop. Alternatively,
participants may submit a shorter
paper (maximum *5* pages in LNCS Springer style) presenting a research
statement or perspective on
topics relevant to the workshop.
All submissions are conducted via the OptMAS-DCR 2014 EasyChair website:
http://www.easychair.org/conferences/?conf=optmasdcr2014
Reviewing process
---------------------------
Papers will be reviewed by at least 2 program committee members.
Criteria for selection of papers
will include: technical quality, novelty, significance, and clarity.
Publication
-----------------
Pre-proceedings containing all accepted papers are provided
electronically on a USB stick as a part
of the AAMAS workshop registration package. Best papers from OptMAS 2008
and OptMAS 2009
were selected for publication in the special issue on Optimisation in
Multi-Agent System of the
Journal of Autonomous and Multiagent Systems. Best papers from OptMAS
2011 and 2012 were
invited to submit to a special issue on Optimisation in Multi-Agent
System of the Computer Journal.
We plan to continue this initiative for the current and next editions.
Organizing committee
--------------------------------
Dr. Archie Chapman, University of Sydney
Dr. Meritxell Vinyals, University of Southampton
Dr. William Yeoh, New Mexico State University
Dr. Roie Zivan, Ben-Gurion University of the Negev
Programme Committee
--------------------------------
Muddasser Alam
Tenda Okimoto
Roger Mailler
Christian Bessiere
Jesus Cerquides
Alessandro Farinelli
Juan Rodriquez-Aguilar
Marius Silaghi
Matthew Taylor
Chongje Zhang
Jose Fernandez-Marquez
Talal Rahwan
Onn Shehory
Kagan Tumer
Pradeep Varakantham
Tomas Klos
Sven Koenig
Robert Lass
Hala Mostafa
Gauthier Picard
Christian Blum
Fei Fang
Katsutoshi Hirayama
Yoonheui Kim
Bo An
Ana Bazzan
Patricia Gutierrez
Pedro Meseguer
Toni Penya-Alba
Maria Polukarov
Marc Pujol-Gonzalez
Long Tran-Thanh
------------------------------
Message: 4
Date: Thu, 6 Feb 2014 15:12:15 -0000
From: "Gregory Gutin" <gutin@cs.rhul.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD ad
Message-ID:
<6e4af27b88e3b4e4348adf276f5b21be.squirrel@mailhost.cs.rhul.ac.uk>
Content-Type: text/plain;charset=iso-8859-1
PhD Scholarships in Department of Computer Science, Royal Holloway,
University of London
We are looking for a PhD candidate with a strong mathematical background
interested in doing a PhD in the area of parameterized algorithms and
complexity,
see, e.g., http://fpt.wikidot.com/
To be considered for a scholarship, your application should be
submitted by the end of March via
http://www.rhul.ac.uk/studyhere/researchdegrees/applying/home.aspx
The PhD student will start in September/October 2014 and will be
supervised by
Prof. Gregory Gutin and/or Dr Magnus Wahlstr?m. To express your interest
and make sure
we'll consider your application, please write to gutin@cs.rhul.ac.uk or
magnus.wahlstrom@rhul.ac.uk.
-----------------------------------------------------------------------------------
Professor Gregory Z. Gutin
Royal Society Wolfson Research Merit Award Holder
Department of Computer Science, Royal Holloway, University of London
Egham, Surrey, TW20 0EX, UK; tel: +44-1784414229;
www.cs.rhul.ac.uk/home/gutin
-----------------------------------------------------------------------------------
------------------------------
Message: 5
Date: Fri, 7 Feb 2014 01:44:58 +0200
From: Tarmo Uustalu <tarmo@cs.ioc.ee>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ETAPS 2014 call for participation
Message-ID: <20140207014458.001d83fc@duality>
Content-Type: text/plain; charset=UTF-8
To notice:
- The programme of the main conferences of ETAPS 2014 is on the web.
- Early registration is until Friday, 14 February 2014.
******************************************************************
CALL FOR PARTICIPATION
ETAPS 2014
17th European Joint Conferences on Theory And Practice of Software
Grenoble, France, 5-13 April 2014
http://www.etaps.org/2014
******************************************************************
-- ABOUT ETAPS --
The European Joint Conferences on Theory And Practice of Software
(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 six main annual
conferences, accompanied by satellite workshops. ETAPS 2014 is already
the seventeenth event in the series.
-- MAIN CONFERENCES (7-11 April) --
* CC: Compiler Construction
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation
Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of
Systems
-- INVITED TALKS --
* Unifying speakers:
John Launchbury (Galois, US)
Geoffrey Smith (Florida International University, US)
* CC invited speaker:
Benoit Dupont de Dinechin (Kalray, France)
* ESOP invited speaker:
Maurice Herlihy (Brown University, US)
* FASE invited speaker:
Christel Baier (Technical University of Dresden, Germany)
* FoSSaCS invited speaker:
Petr Jancar (Technical Univ of Ostrava, Czech Republic)
* POST invited speaker:
David Mazi?res (Stanford University, US)
* TACAS invited speaker:
Orna Kupferman (Hebrew University Jerusalem, Israel)
-- TUTORIALS
* Andy Gordon (Microsoft Research, Cambridge, UK)
* Bernd Finkbeiner (Univ des Saarlandes, Germany)
-- CONTRIBUTED PAPERS
See the accepted paper lists and the programme of the main conferences
at the conference website.
-- SATELLITE EVENTS (5-6 and 12-13 April) --
23 satellite workshops will take place before or after ETAPS 2014.
CMCS, DICE, F-IDE, Graphite, GT-VMT, MBT, MEALS, RePP, Sifakis event,
SR, SynCop, VSSE, WRLA will be held 5-6 April 2014.
AiSOS, Cassting, FESCA, GALOP, GramSec, HAS, HotSpot, MSFP, PLACES,
QAPL have been scheduled for 12-13 April 2014.
-- REGISTRATION
Early registration is until Friday, 14 February 2014.
Normal-rate registration is until Monday, 10 March 2014.
-- ACCOMMODATION
We request that participants arrange their accommodation on their own.
See our recommendations on the website.
-- HOST CITY --
Located in the southeastern part of France, Grenoble is considered as
the capital of the Alps. Grenoble is surrounded by nature and high
mountains: down the Alps, Grenoble is the meeting point of two
important rivers, Drac and Isere. Grenoble has important historical
and gastronomic heritages. Leisure activities in breathtaking nature
are easily organizable and within short-distance. Grenoble is also a
major scientific center in Europe dedicated to high-tech technologies,
e.g., nano, micro, bio, and information technologies.
-- ORGANIZERS
* General chair: Saddek Bensalem
* Conferences chair: Alain Girault
* Workshops chair: Axel Legay
* Publicity chair: Ylies Falcone
* Finance chair: Nicolas Halbwachs
* Website chair: Marius Bozga
Host institution: VERIMAG, U Joseph Fourier / CNRS / Grenoble INP
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
etaps2014.organization@imag.fr.
------------------------------
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 72, Issue 8
*************************************
No comments:
Post a Comment