Monday, January 13, 2014

dmanet Digest, Vol 71, Issue 12

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. 1st CfP: HM 2014 (9th Intl. Workshop on Hybrid
Metaheuristics) in Hamburg (Maria Jose Blesa)
2. CFP: IJPR special issue of Operations Research in Healthcare
(Garaix Thierry)
3. CfP: UNIF 2014 (Temur Kutsia)
4. Last Mile, January 27 || ADAPTIVE 2014 || May 25 - 29, 2014 -
Venice, Italy (Cristina Pascual)
5. postdoctoral positions at LIAFA, Paris, France (Adi Rosen)


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

Message: 1
Date: Mon, 13 Jan 2014 12:01:07 +0100
From: Maria Jose Blesa <mjblesa@lsi.upc.edu>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] 1st CfP: HM 2014 (9th Intl. Workshop on Hybrid
Metaheuristics) in Hamburg
Message-ID: <52D3C773.1020707@lsi.upc.edu>
Content-Type: text/plain; charset=ISO-8859-1


HM 2014
9th International Workshop on Hybrid Metaheuristics

June 9-13, 2014
Hamburg, Germany
(http://iwi.econ.uni-hamburg.de/hm14/)

Back to back with the
5th international Workshop on Model-Based Metaheuristics


CALL FOR PAPERS

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

General Chair

Stefan Voss (Universit?t Hamburg, Germany)

Program chair

Christian Blum (IKERBASQUE and Univ. of the Basque Country, Spain)

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

Steering Committee

Maria Blesa (Universitat Polit?cnica de Catalunya, Spain)
Christian Blum (IKERBASQUE and Univ. of the Basque Country, Spain)
Luca di Gaspero (University of Udine, Italy)
Paola Festa (University of Napoli FEDERICO II, Italy)
G?nther Raidl (Technische Universit?t Wien, Austria)
Michael Sampels (Universit? Libre de Bruxelles, Belgium)

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

Important Dates

Submissions Due: February 21, 2014
Notification: March 28, 2014
Final Papers Due: April 4, 2014

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

Aims & Scope

The HM Workshops are intended to be an international forum for
researchers in the area of design, analysis, and experimental
evaluation of metaheuristics. Metaheuristics, such as simulated
annealing, evolutionary algorithms, tabu search, ant colony
optimization, scatter search and iterated local search, are
considered state-of-the-art methods for many problems. In
recent years, however, it has become evident that the
concentration on a sole metaheuristic is rather restrictive. A
skilled combination of concepts from different optimization
techniques can provide a more efficient behavior and a higher
flexibility when dealing with real-world and large-scale
problems.

Hybrid Metaheuristics are such techniques for optimization that
combine different metaheuristics or integrate AI/OR techniques
into metaheuristics. Previously organized Workshops were held
in Ischia Island (HM 2013), Vienna (HM 2010), Udine (HM 2009),
Malaga (HM 2008), Dortmund (HM 2007), Gran Canaria (HM 2006),
Barcelona (HM 2005), and Val?ncia (HM 2004).

HM2014 is organized as a non-profit event.

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

Topics of Interest

Contributions solicited cover a variety of topics including but
not limited to:

- Novel combinations of components from different metaheuristics
- Hybridization of metaheuristics and AI/OR techniques
- Low-level hybridization
- High-level hybridization, portfolio techniques, expert systems
- Cooperative search
- Automated parameter tuning
- Empirical and statistical comparison
- Theoretical aspects of hybridization
- Parallelization
- Software libraries

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

Paper Submission

Authors are invited to submit a full paper describing original,
unpublished research with at most 15 pages (in LNCS style).
Proofs omitted due to space constraints must be put into an
appendix to be read by the program committee members at their
discretion.

Electronic submissions should be formatted in pdf. Simultaneous
submission to other conferences or workshops with published
proceedings is not allowed.

The proceedings will be published in Springer's LNCS series.

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

Further and Contact information:

Stefan Voss (stefan.voss@uni-hamburg.de)
Institute of Information Systems
Department for Business and Economics
University of Hamburg
Von-Melle-Park 5
Office VMP 5, Room 3064
D-20146 Hamburg
Germany

Tel.: +49 (0)40 42838-3064
Fax: +49 (0)40 42838-5535

Conference Website: http://iwi.econ.uni-hamburg.de/hm14/

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


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

Message: 2
Date: Mon, 13 Jan 2014 11:43:46 +0100
From: Garaix Thierry <garaix@emse.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: IJPR special issue of Operations Research in
Healthcare
Message-ID: <52D3C362.5070207@emse.fr>
Content-Type: text/plain; charset=windows-1252; format=flowed

Call for Papers
Special Issue on "Operations Research in Healthcare"
in
International Journal of Production Research
http://www.tandfonline.com/toc/tprs20/current

Special Issue Editors
Xiaolan Xie, Ecole des Mines de Saint Etienne, France (xie@emse.fr) and
Shanghai Jiao Tong University
Mark Lawley, Purdue University, USA (malawley09@yahoo.com)

Motivation ?
Demographic change and increasing health expenditures in the world make the
healthcare delivery research a hot topic. Hospitals in the world are
becoming larger and larger to take advantage of the scale economic but also
become more and more complex to design and to operate. Aging population
makes chronic diseases increasingly important and leads to the need of
better disease prevention, diagnostic, treatment planning and proactive
cares. Patients are more and more concerned by healthcare safety and
traceability. Healthcare systems are also changing and new health services
such as home healthcare and telemedicine are growing. Most hospitals used to
empiric management are not prepared for and innovative systems engineering
approaches are needed.

Recent development of advance medical technologies makes the systems
engineering approach possible. The increasing availability of healthcare
relevant data makes possible better disease prevention, diagnostic and
healthcare system operations. Automation technologies such as robotics and
ICT technologies are making healthcare logistics more efficient and safer.
Innovative operations research techniques have been developed for a wide
range of healthcare applications such as operating room planning, emergency
department staffing, breast cancer screening, radiotherapy treatment
planning, home healthcare planning, long-term care planning and scheduling,

Scope and Topics ?
The goal of this IJPR special issue is to provide a comprehensive view of
health services improvement by systems engineering approaches such as
operations research, industrial engineering and control theories. It
includes, but not limited to, the following topics:

Healthcare delivery planning and scheduling
Hospital logistics & supply chain management
Health information analytics
Healthcare safety and traceability
Work-force staffing and planning
Emergency Department Models
Disease modelling and prevention
Clinical pathways and workflow modelling
Emergency response planning and evaluation
Home healthcare

Important Dates (tentative)
Original, full-paper, manuscript submission by authors: April 1, 2014
Reviews sent to authors: July 1, 2014
Revised manuscript submission by authors: October 1, 2014
Final revised manuscript submission to the publisher: December 1, 2014
Online publication: January 2015
Only high quality papers that require limited modifications will be accepted
to meet the deadlines.

Submission procedure
Each manuscript will be refereed for publication by at least 2 reviewers.
The length of the submitted article should be within 6,000 words including
tables, references and appendices. Manuscripts must be prepared in the
English language and should conform to International Journal of Production
Research?s guidelines which are available at:
http://www.tandfonline.com/action/authorSubmission?journalCode=tprs20&page=i
nstructions

Papers should be submitted viahttp://mc.manuscriptcentral.com/tprs

Please ensure that you select the special issue on ?Operations Research in
Healthcare? while submitting the manuscript.

===

Prof. Xiaolan XIE
Head, Department Healthcare engineering - Centre for Health Engineering
Head, IEOR team - LIMOS CNRS UMR 6158
------------------------
Ecole Nationale Superieure des Mines
158 cours Fauriel
42023 Saint-Etienne cedex 2 France
Tel. +33 (0)4 77 42 66 95
Fax +33 (0)4 77 42 02 49
xie@emse.fr
------------------------

AND

chair professor
Director, Center for Healthcare Engineering
-----------------------
Dept. Industrial Engineering & Logistics Management
Shanghai Jiao Tong University
800 Dong Chuan Rd., Shanghai 200240, P.R. China
Tel: +86 21 3420 6101, Mobile: +86 1521 4327 830
Email:xie@sjtu.edu.cn
-----------------------



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

Message: 3
Date: Mon, 13 Jan 2014 14:43:54 +0100
From: Temur Kutsia <kutsia@risc.jku.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CfP: UNIF 2014
Message-ID: <52D3ED9A.60308@risc.jku.at>
Content-Type: text/plain; charset=windows-1252; format=flowed

====================================================
Call for Papers
UNIF 2014
The 28th International Workshop on Unification
July 13, 2014. Vienna, Austria
a FLoC workshop hosted by RTA-TLCA and IJCAR
http://vsl2014.at/unif
====================================================

UNIF 2014 is the 28th event in a series of international meetings
devoted to
unification theory and its applications. Unification is concerned with the
problem of identifying terms, finding solutions for equations, or making
formulas equivalent. It is a fundamental process used in a number of fields
of computer science, including automated reasoning, term rewriting, logic
programming, natural language processing, program analysis, types, etc.

The International Workshop on Unification (UNIF) is a yearly forum for
researchers in unification theory and related fields to meet old and new
colleagues, to present recent (even unfinished) work, and to discuss new
ideas
and trends. It is also a good opportunity for young researchers and
scientists
working in related areas to get an overview of the current state of the
art in
unification theory.


Topics
------
A non-exhaustive list of topics of interest includes:

* syntactic and equational unification
* matching
* constraint solving
* unification in modal, temporal, and description logics
* narrowing
* disunification
* anti-unification
* semi-unification
* higher-order unification
* complexity issues
* implementation techniques
* applications


Submission
----------
Short papers or extended abstracts, up to 5 pages in EasyChair style,
should be
submitted electronically as PDF files through the EasyChair submission site:

https://www.easychair.org/conferences/?conf=unif2014

Accepted abstracts will be presented at the workshop and included in the
preliminary proceedings, available in the electronic form at the
workshop and
also at the UNIF web page:

http://www.pps.jussieu.fr/~treinen/unif/


Important Dates
----------------
* Paper Submission: April 16, 2014
* Notification of Acceptance: May 21, 2014
* Final version: May 28, 2014
* Conference: July 13, 2014


Invited Speakers
----------------
TBA


Programme Committee
-------------------

* Franz Baader, TU Dresden, Germany
* Mnacho Echenim, University of Grenoble, France
* Santiago Escobar, Technical University of Valencia, Spain
* Maribel Fernandez, King's College London, UK
* Temur Kutsia, RISC, Johannes Kepler University Linz, Austria (chair)
* Christopher Lynch, Clarkson University, USA
* Mircea Marin, West University of Timisoara, Romania
* Barbara Morawska, TU Dresden, Germany
* Paliath Narendran, University at Albany?SUNY, USA
* Jan Otop, IST Austria
* Christophe Ringeissen, LORIA-INRIA Lorraine, France (chair)
* Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
* Ralf Treinen, PPS, Universit? Paris Diderot, France
* Mateu Villaret, Universitat de Girona, Spain


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

Message: 4
Date: Mon, 13 Jan 2014 15:21:27 +0100
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Last Mile, January 27 || ADAPTIVE 2014 || May 25 -
29, 2014 - Venice, Italy
Message-ID: <201401131421.s0DELRlu005165@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii


INVITATION:

=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ADAPTIVE 2014.

The submission deadline has been extended to January 27, 2014.

Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================


============== ADAPTIVE 2014 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

ADAPTIVE 2014, The Sixth International Conference on Adaptive and Self-Adaptive Systems and Applications

May 25 - 29, 2014 - Venice, Italy


General page: http://www.iaria.org/conferences2014/ADAPTIVE14.html

Call for Papers: http://www.iaria.org/conferences2014/CfPADAPTIVE14.html

- regular papers

- short papers (work in progress)

- posters

Submission page: http://www.iaria.org/conferences2014/SubmitADAPTIVE14.html


Submission deadline: January 27, 2014

Sponsored by IARIA, www.iaria.org


Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org

Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html

Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org


Please note the Poster and Work in Progress options.

The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.

All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.

Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html


ADAPTIVE 2014 Topics (topics and submission details: see CfP on the site)


Fundamentals and design of adaptive systems

Fundamentals on adaptive and self-adapting systems; Frameworks and architectures for adaptive supporting platforms; Architectures for adaptive applications; Specification of adaptive behavior; Specification of adaptive structures and topologies; Design and implementation of adaptive components; Composition of adaptive behaviors and structures; Adaptive individual and collective behavior and structures; Adaptive deterministic and non-deterministic behavior; Semantic modeling

Adaptive entities

Adaptive environments; Adaptive hardware configurations; Adaptive software applications; Adaptive protocols; Adaptive algorithms; Adaptive and interactive interfaces; Adaptive filters; Adaptive clock speeds; Adaptive schedulers; Adaptive load balancers

Adaptive mechanisms

Adaptive real-time strategies; Learning-based adaptive strategies; Adaptive mechanisms (trees, ant algorithms, fuzzy-logic, etc. ); Agent based-adaptive mechanisms; Policy- based adaptation; Feedback-based adaptive systems; Context-aware adaptation; User-aware adaptation

Adaptive applications

Adaptive artificial intelligence in computer wargames; Intelligent complex adaptive systems; Adaptive virtualization; Adaptive social networks; Adaptive entertainment applications; Adaptive disaster recovery systems; Anticipative adaptive systems; Fault-tolerant adaptive systems; Adaptive ad hoc networks; Application domains, e,g., building (AEC projects, simulation models, facility management), tourism, etc.; Adaptive economic applications (finance, stock exchange, regulatory decisions, etc.); Adaptive vehicular traffic

Adaptivity in robot systems

Adaptive robot behavior; self-organization and emergence; flexible and reconfigurable robot structures; adaptation in collective and swarm robotics

Self-adaptation

Theory of self-adaptation and control; Self-adaptive networks, systems, and applications; Self-adaptive services; Self-adaptive behavior and topology/structure; Specification of self-adaptive behavioral control

Self-adaptation applications

Self-monitoring and self-management; Self-configuration, self-healing, self-management; Self-defense, self-protection, self-diagnosis; Self-adaptation of overlay networks; Self-adaptation in ad hoc sensor networks; Context-aware self-adaptation of networks and services

Computational Trust for Self-Adaptive Systems

Trust models for adaptive systems; Trust models for self-organizing and autonomics systems; Agent-based trust models for cooperation; Privacy and Security in self-organizing and adaptive systems; Human and social factors involved in trust and adaptation; Applications of trust and security on adaptive systems, with a focus on web-based applications, social networks, social search; Trust models for self-organizing systems of information (wikis, forums, blogs.); Trust and personalisation for enabling adaptation; Models for learning trust and the evolution of trust; Decentralised trust models; Case studies; Theoretical trust models for self-adaptation

Metrics for adaptive and self-adaptive systems

Stability and convergence; Optimal (self-) adaptation; Accuracy validation of (self-) adaptation; Real-time (self-) adaptive performance

------------------------------
Committee: http://www.iaria.org/conferences2014/ComADAPTIVE14.html

ADAPTIVE Advisory Chairs
Radu Calinescu, University of York, UK
Thomas H. Morris, Mississippi State University, USA
Serge Kernbach, University of Stuttgart, Germany
Antonio Bucchiarone, FBK-IRST of Trento, Italy
Jose Alfredo F. Costa, Universidade Federal do Rio Grande do Norte (UFRN), Brazil
Marc Kurz, Johannes Kepler University Linz - Institute for Pervasive Computing, Austria

ADAPTIVE Industry/Research Chairs
Dalim�r Orf�nus, ABB Corporate Research Center, Norway
Weirong Jiang, Xilinx Research Labs, San Jose, USA

ADAPTIVE Publicity Chairs
Kier Dugan, University of Southampton, UK
Kai Nehring, TU Kaiserslautern, Germany
================================================


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

Message: 5
Date: Mon, 13 Jan 2014 15:39:34 +0100
From: Adi Rosen <adiro@liafa.univ-paris-diderot.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] postdoctoral positions at LIAFA, Paris, France
Message-ID:
<D03A0D50-C09C-4861-91B5-094A575902C0@liafa.univ-paris-diderot.fr>
Content-Type: text/plain; charset=us-ascii

The Algorithms and Complexity group of LIAFA (CNRS and University Paris
Diderot), Paris, France, is seeking excellent candidates for one or more
postdoctoral positions in classical and quantum computing. Topics of
interest include (but are not limited to): algorithms, online
algorithms,streaming algorithms,approximation algorithms,
communication complexity, cryptography, computational game
theory, quantum computing,computational applications of logic,
randomness in computing, privacy.

LIAFA is a joint laboratory of the CNRS (the French National Center
for Scientfic Research) and University Paris Diderot - Paris 7.
For more information about LIAFA, please see
http://www.liafa.univ-paris-diderot.fr ,
and for more information about the Algorithms and Complexity group
please see http://www.liafa.univ-paris-diderot.fr/algocomp .
Further information may be obtained from any of the permanent
members of the group.

To apply please send a CV, a summary of research and names of at
least three references to algocomp-apply@liafa.univ-paris-diderot.fr.
For a starting date of September 2014, applications should be received
by February 1st, 2014.


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

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 71, Issue 12
**************************************

dmanet Digest, Vol 71, Issue 11

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. 2nd CFP OptMAS-DCR@AAMAS: International Workshop on
Optimisation in Multi-Agent Systems and Distributed Constraint
Reasoning (Meritxell Vinyals)
2. CFP - IEEE WoWMoM SmartVehicles 2014 - NEW DEADLINES!!!
(paper registration February 28, 2014) (Valerio Arnaboldi)


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

Message: 1
Date: Sun, 12 Jan 2014 23:14:13 +0000
From: Meritxell Vinyals <meritxell.vinyals@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 2nd CFP OptMAS-DCR@AAMAS: International Workshop on
Optimisation in Multi-Agent Systems and Distributed Constraint
Reasoning
Message-ID: <52D321C5.3060003@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 - Submission of contributions to workshops

* February 19, 2014 - Workshop paper acceptance notification

* March 12, 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

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

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
Pradeep Varakantham
Tomas Klos
Sven Koenig
Robert Lass
Hala Mostafa
Gauthier Picard
Christian Blum
Katsutoshi Hirayama

Yoonheui Kim
Bo An
Ana Bazzan
Patricia Gutierrez
Pedro Meseguer
Toni Penya-Alba
Maria Polukarov
Marc Pujol-Gonzalez
Long Tran-Thanh


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

Message: 2
Date: Mon, 13 Jan 2014 10:46:01 +0100
From: Valerio Arnaboldi<valerio.arnaboldi@iit.cnr.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP - IEEE WoWMoM SmartVehicles 2014 - NEW
DEADLINES!!! (paper registration February 28, 2014)
Message-ID: <52d3b5d9.dLhMC2fXfoO5l6LH%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
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,
Jerome Harri, EURECOM, France
Thorsten Hehn, Volkswagen, Germany
Daniel Jiang, Mercedes-Benz R&D North America, USA
Yevgeni Koucheryavy, Tampere University of Technology, Finland
Kun-chan Lan, National Cheng Kung University, Taiwan
Lavy Libman, UNSW, Australia
Robert Schmidt, Denso Automotive Dtld. GmbH, Germany
Katrin Sjoberg, Volvo, Sweden
Erik Strom, Chalmers University of Technology, Sweden
Ozan Tonguz, Carnegie Mellon University, USA
Alexey Vinel, Halmstad University, Sweden
Alberto Zanella, IEIIT-CNR, Italy




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

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 71, Issue 11
**************************************

dmanet Digest, Vol 71, Issue 10

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. Bioinformatics Analyst-Trainer position at OSU (Cropley, Jeannine)
2. CiE 2014: Language, Life, Limits - extended deadline
(CiE Conference Series)
3. Call for Papers (Deadline EXTENDED) -- Seventh International
Conference on FUN WITH ALGORITHMS (FUN 2014) (Giuseppe Prencipe)
4. ADHOC-NOW 2014 (Abstract Subm.: Jan.15, 2014): Ad-Hoc, Mobile
and Wireless Networks (Sandra Sendra)
5. Call For Participation:: ICIEIS2014-Poland
(The Third International Conference on Informatics Engineering and Information Science (ICIEIS2014))


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

Message: 1
Date: Sat, 11 Jan 2014 00:01:20 +0000
From: "Cropley, Jeannine" <Jeannine.Cropley@cgrb.oregonstate.edu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Bioinformatics Analyst-Trainer position at OSU
Message-ID: <CEF5C9CD.1C736%Jeannine.Cropley@cgrb.oregonstate.edu>
Content-Type: text/plain; charset="us-ascii"


Bioinformatics Analyst-Trainer
(Faculty Research Assistant), Oregon State University's (OSU) Center for
Genome
Research and Biocomputing (CGRB). Full time + benefits. Responsibilities
and duties include participating in bioinformatics research, designing and
presenting bioinformatics training courses and supporting peer-to-peer
training
networks in bioinformatics. To review posting and apply, go to
http://jobs.oregonstate.edu/applicants/Central?quickFind=63354
Closing Date: 02/14/14 at 11:59 pm. OSU is an AA/EOE.




Technician-Core Lab Position
(Faculty Research Assistant), Oregon State University's (OSU) Center for
Genome
Research and Biocomputing (CGRB). Part-time position, with potential for
adjustment to full-time. Responsibilities and duties include developing
and executing
research services including DNA sequencing, genotyping, high throughput
sequencing and protein expression and analysis. To review posting and
apply, go to
http://jobs.oregonstate.edu/applicants/Central?quickFind=63353
Closing Date: 01/24/14 at 11:59 pm. OSU is an AA/EOE.




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

Message: 2
Date: Sat, 11 Jan 2014 15:15:17 +0000 (GMT)
From: CiE Conference Series <cie.conference.series@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CiE 2014: Language, Life, Limits - extended deadline
Message-ID: <alpine.LNX.2.00.1401111506190.1347@csltab3.site>
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII

FINAL CALL FOR PAPERS (incl. deadline extension due to popular demand)

CiE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://cie2014.inf.elte.hu


IMPORTANT DATES:

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


FUNDING and AWARDS:

CiE 2014 has received funding for student participation from the European
Association for Theoretical Computer Science EATCS. Please contact the PC
chairs if you are interested.

The best student paper will receive an award sponsored by Springer.


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), Ponta
Delgada (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.
We particularly invite papers that build bridges between different parts
of the research community.

For topics covered by the conference, please visit
http://cie2014.inf.elte.hu/?Topics
We particularly welcome submissions in emergent areas, such as
bioinformatics and natural computation, where they have a basic connection
with computability.


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, Csanad Imreh)
Complexity in Automata Theory
(organizers: Markus Lohrey, Giovanni Pighizzini)


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)
* Erzsebet Csuhaj-Varju (Budapest, co-chair)
* Barry Cooper (Leeds) * Michael J. Dinneen (Auckland)
* Erich Graedel (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

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
__________________________________________________________________________



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

Message: 3
Date: Sun, 12 Jan 2014 08:38:03 +0100
From: Giuseppe Prencipe <prencipe@di.unipi.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Call for Papers (Deadline EXTENDED) -- Seventh
International Conference on FUN WITH ALGORITHMS (FUN 2014)
Message-ID:
<CAEX5p9Hg1hSVaMW6FqDi935xdq+1yHrehXnaTHoKBx2cgF8Axg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

[Deadline for paper submission extended to the 22nd of January, 2014]
Apologies for multiple copies.
--------

*** FUN NEWS
*** DEADLINE for submission postponed to Jan 22, 2014
*** NOTIFICATION postponed accordingly
*** KEYNOTES by Paolo Boldi and Erik Demaine

FUN 2014
CALL FOR PAPERS
http://www.di.unipi.it/fun14

Seventh International Conference on FUN WITH ALGORITHMS

July 1-3, 2014, Lipari Island, Sicily, Italy

The Seventh International conference on Fun with Algorithms (FUN 2014)
is dedicated to the use, design, and analysis of algorithms and data
structures, focusing on results that provide amusing, witty but
nonetheless original and scientifically profound contributions to the
area. The previous FUNs were held in Elba Island, Italy; in
Castiglioncello, Tuscany, Italy; in Ischia Island, Italy; and in San
Servolo Island, Venice, Italy. Special issues of Theoretical Computer
Science, Discrete Applied Mathematics, and Theory of Computing Systems
were dedicated to them.

TOPICS OF INTEREST include (but are not limited to):

FUN with biological algorithms
FUN with combinatorial algorithms
FUN with cryptographic algorithms
FUN with distributed algorithms
FUN with game-theoretic algorithms
FUN with geometrical algorithms
FUN with graph algorithms
FUN with internet algorithms
FUN with mobile algorithms
FUN with optimization algorithms
FUN with parallel algorithms
FUN with randomized algorithms
FUN with robotics algorithms
FUN with space-conscious algorithms
FUN with string algorithms
FUN with visualization of algorithms

*** KEYNOTE LECTURES BY
*** Paolo Boldi, University of Milano
*** Erik Demaine, MIT

PROGRAM COMMITTEE
Je?re?mie Chalopin, LIF, CNRS & Aix Marseille Universite?
Pierluigi Crescenzi, University of Florence
Shantanu Das, Aix-Marseille Universite?
Josep Diaz, UPC Barcelona
Yann Disser, TU Berlin
Paolo Ferragina, University of Pisa
Fedor Fomin, University of Bergen
Pierre Fraigniaud, CNRS and University Paris Diderot
Leszek Gasieniec, University of Liverpool
Fabrizio Grandoni, IDSIA, University of Lugano
Evangelos Kranakis, Carleton University
Danny Krizanc, Wesleyan University
Flaminia Luccio, Ca' Foscari University of Venice
Matus Mihalak, ETH Zurich
Linda Pagli, University of Pisa
David Peleg, The Weizmann Institute
Paolo Penna, Autonomous Research, Ancona
Giuseppe Persiano, University of Salerno
Giuseppe Prencipe, University of Pisa
Jose Rolim, University of Geneva
Piotr Sankowski, University of Warsaw
Ryuhei Uehara, Japan Advanced Institute of Science and Technology
Jorge Urrutia, Universidad Nacional Auto?noma de Me?xico
Peter Widmayer (chair), ETH Zurich
Christos Zaroliagis, CTI and University of Patras

IMPORTANT DATES
*** Paper Submission: previously January 15, 2014 --> moved to January
22, 2014
*** Acceptance Notification: previously February 28, 2014 --> moved to
March 7, 2014
Hotel reservation: March 31, 2014
Final version due: March 31, 2014
Conference: July 1-3, 2014

SUBMISSION DETAILS
A full paper should be submitted by January 22, 2014 following the
submission link given at the FUN 2014 web site. Manuscripts should not
exceed 12 pages. Authors of accepted papers are expected to present
their work at the conference.

PUBLICATIONS
Conference proceedings will be published by Springer in the LNCS series.
A special issue of Theoretical Computer Science will be dedicated to a
selected set of papers.

ADDITIONAL DETAILS
Additional details can be found in the conference web page:
http://www.di.unipi.it/fun14

Conference Chairs: Alfredo Ferro and Fabrizio Luccio
PC Chair: Peter Widmayer

--
Giuseppe Prencipe
Dipartimento di Informatica
L.go B. Pontecorvo, 3
56100, Pisa
ITALY
tel. +39 050 2213148
fax. +39 050 2212726



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

Message: 4
Date: Sun, 12 Jan 2014 18:01:08 +0100
From: Sandra Sendra<sandra.sendra.upv@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ADHOC-NOW 2014 (Abstract Subm.: Jan.15, 2014):
Ad-Hoc, Mobile and Wireless Networks
Message-ID: <201401121701.s0CH18eN014252@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii


CALL FOR PAPERS

**************************************************************
News: Abstract Submission: January 15th, 2014
**************************************************************

ADHOC-NOW 2014 : Ad-Hoc, Mobile and Wireless Networks
June 22 - 27, 2014, Benidorm, Spain
Link: www.adhocnow.net/

Link for Submissions Guidelines and Electronic Submissions:
http://www.adhocnow.net/index.php?option=com_content&view=article&id=85&Itemid=88

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

IMPORTANT DATES:

- Abstract Submission: January 15, 2014
- Submission Deadline: January 24, 2014
- Author Notification: March 7th, 2014
- Camera ready: March 28, 2014

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

CALL FOR PAPERS

Since its creation in 2002, the International Conference on Ad Hoc Networks and Wireless (ADHOC-NOW) has become a well-established and well known event dedicated to wireless and mobile computing. It serves as a forum for interesting discussions on ongoing research and new contributions. The conference addresses both experimental and theoretical research in the areas of ad hoc networks, sensor networks, mesh networks and vehicular networks. It focuses on all issues from link layer up to the application layer. The thirteenth edition of ADHOC-NOW will for the first time be organized in Benidorm, Spain, from the 22nd to the 27th of June, 2014.

We seek original contributions as work in progress, experimental and theoretical research in Wireless Sensor, Ad-Hoc, Mobile and Wireless Networks. Submissions must not be published or under review for another conference or journal. We are interested, but not limited to, research papers in any of the following areas:

-Access Control
-Ad Hoc Networks of Autonomous Intelligent Systems
-Algorithmic Issues
-Analytic Methods and Modeling for Performance Evaluation
-Ad Hoc Network Applications and Architectures
-Delay-Tolerant Networking
-Distributed Algorithms for Ad Hoc Networks
-Energy Efficiency
-Geometric Graphs
-Location Discovery and Management
-Mobility Handling and Utilization
-Wireless Mesh Networks
-Mobile Ad Hoc Computing Platforms
-Systems and Testbeds
-Mobile Social Networking
-Quality-of-Service
-Routing Protocols (Unicast, Multicast, etc.)
-Secure Services and Protocols
-Sensor Networks
-Self-Configuration
-Service Discovery
-Timing Synchronization
-Vehicular Networks
-Wireless Internet.

The conference proceedings will be published by Springer-Verlag, as part of the Lecture Notes in Computer Science (LNCS) series. Authors are invited to submit either regular papers or short papers. Regular papers should not exceed 14 pages in LNCS format. Short papers must be limited to up to 4 pages in LNCS format. The paper should provide sufficient detail to allow the Program Committee to evaluate its validity, quality, and relevance. Each accepted paper will be included in the conference proceedings, provided at least one author of the paper registers to present the paper at the conference.

High-quality articles will be invited for submission to a special issue of Ad Hoc & Sensor Wireless Networks and the International Journal of Parallel, Emergent and Distributed Systems.

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

GENERAL CHAIRS
-Jaime Lloret Mauri, Universitat Politecnica de Valencia, Spain
-Ivan Stojmenovic, University of Ottawa, Ottawa, Canada


STEERING COMMITTEE
-Evangelos Kranakis, Carleton University, Ottawa, Canada
-Michel Barbeau, Carleton University, Ottawa, Canada
-Thomas Kunz, Carleton University, Ottawa, Canada
-Ioanis Nikolaidis, University of Alberta, Edmonton, Canada
-S. S. Ravi, SUNY University, Albany, USA
-Violet Sirotiuk, Arizona State University, Temple, USA
-Ivan Stojmenovic, University of Ottawa, Ottawa, Canada


PROGRAM CO-CHAIRS
-Song Guo, University of Aizu, Japan
-Pietro Manzoni, Universitat Politecnica de Valencia, Spain


PUBLICITY CO-CHAIRS
-Paul Yongli, Deakin University, Australia
-Gongjun Yan, Indiana University, USA
-Sandra Sendra, Universidad Polit�cnica de Valencia, Valencia, Spain


PROCEEDINGS CHAIR
-Stefan Ruehrup, FTW - Viena, Austria


SUBMISSIONS CHAIRS
-Miguel Garcia, Universitat Politecnica de Valencia, Spain
-Zhen Huang, University of Ottawa, Canada


WEB CHAIR
-Milos Stojmenovic, Singidunum University, Belgrade, Serbia

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

ADDITIONAL INFORMATION

- The list of members of the Program Committee will be published soon on the web page of the conference.
- Visit Benidorm: see the page http://en.visitbenidorm.es/


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

Message: 5
Date: Mon, 13 Jan 2014 01:45:08 +0400
From: "The Third International Conference on Informatics Engineering
and Information Science (ICIEIS2014)" <ie2014@sdiwc.net>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Call For Participation:: ICIEIS2014-Poland
Message-ID: <42fbca53c044bb6a70fc82bb840aad78.squirrel@sdiwc.net>
Content-Type: text/plain;charset=iso-8859-1

The Third International Conference on Informatics Engineering and
Information Science (ICIEIS2014)
Lodz University of Technology, Lodz, Poland
September 22-24, 2014.
http://sdiwc.net/conferences/2014/icieis2014/

========================================================================
The proposed conference on the above theme will be held at Lodz University
of Technology, Lodz, Poland From September 22-24, 2014 which aims to
enable researchers build connections between different digital
applications.

The conference welcomes papers on the following (but not limited to)
research topics
- Access Controls
- AI / Soft Computing Methods in Machine Learning
- AI Methods in Data Mining and Knowledge Discovery
- AI Tools for Pattern Recognition, Signal, and Image Processing
- Anti-cyberterrorism
- Assurance of Service
- Bioinformatics
- Biometrics Technologies
- Cloud Computing
- Computational Intelligence
- Computer Crime Prevention and Detection
- Computer Forensics
- Computer Security
- Confidentiality Protection
- Critical Computing and Storage
- Critical Infrastructure Management
- Cryptography and Data Protection
- Data Compression
- Data Management in Mobile Peer-to-Peer Networks
- Data Stream Processing in Mobile/Sensor Networks
- Decision Support Systems and Multi-Criteria Decision Analysis
- Distributed and Parallel Applications
- Distributed Information Systems
- E-Business Applications
- E-Commerce Technology
- E-Government
- E-Health Technology
- E-Learning
- Embedded Systems and Software
- E-Skills and Information Literacy for Learning
- E-Technology
- E-Tutoring and e-Facilitating
- Forensics, Recognition Technologies and Applications
- Fuzzy and Neural Network Systems
- Geographic Information System (GIS)
- Green Computing
- Grid Computing
- Health Informatics
- Hybrid and Integrated Intelligent Systems
- Indexing and Query Processing for Moving Objects
- Information Content Security
- Information Ethics
- Information Propagation on Social Networks
- Intelligent Data Acquisition, Selection, and Processing
- Internet Modeling
- Mobile Networking, Mobility and Nomadicity
- Mobile Social Networks
- Mobile, Ad Hoc and Sensor Network Management
- Multimedia Computing
- Multimedia Security
- Network Security
- Oil and Gas Informatics
- Peer-to-Peer Social Networks
- Process Mining and Intelligent Planning
- Quality of Service, Scalability and Performance
- Real-Time Systems
- Resource and Knowledge Discovery Using Social Networks
- Rough Set Theory and its Applications in Data Analysis
- Self-Organizing Networks and Networked Systems
- Semantic Web, Ontologies
- Sensor Networks and Social Sensing
- Smart Homes Technologies
- Soft Computing Techniques
- Software Engineering
- Ubiquitous Computing, Services and Applications
- User Interfaces,Visualization and Modeling
- Utilization of Domain Knowledge in KDD
- Web Intelligence and Web Mining
- Web Services Architecture, Modeling and Design
- Web Services Security
- Wireless Communications
- XML-Based Languages

Researchers are encouraged to submit their work electronically. All papers
will be fully refereed by a minimum of two specialized referees. Before
final acceptance, all referees comments must be considered.

Important Dates
==============

Submission Date : Aug. 22, 2014
Notification of acceptance : Sept. 06, 2014
Camera Ready submission : Sept. 12, 2014
Registration : Sept. 12, 2014
Conference dates : Sept. 22-24, 2014



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

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 71, Issue 10
**************************************

Friday, January 10, 2014

dmanet Digest, Vol 71, Issue 9

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. CoopMAS'14 @AAMAS'14: call for papers (Edith Elkind)


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

Message: 1
Date: Thu, 9 Jan 2014 22:39:51 +0800
From: Edith Elkind <eelkind@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CoopMAS'14 @AAMAS'14: call for papers
Message-ID:
<CADMz9h7xe1hOWZ_uKz-wKw_NNZG15V+eP+0G7h_gdcE6eApJmA@mail.gmail.com>
Content-Type: text/plain; charset=windows-1252

We would like to invite submissions to
CoopMAS'14: the 5th International Workshop on Cooperative Games in
Multiagent Systems, to be co-located with AAMAS'14 in Paris in May
2014.

*********************** Aims and focus **************************
The use of cooperative game theory to study how agents should
cooperate and collaborate, along with the related topic of coalition
formation, has received growing attention from the multiagent systems,
game theory, and electronic commerce communities.

The workshop is intended to focus on topics in cooperation in
multi?agent systems, cooperative game theory, cooperative solution
concepts, coalition formation, and applications.

We encourage submission of papers describing original work, as well as
accepted AAMAS short papers, and work recently published in
conferences other than AAMAS. Topics of interest include, but are not
limited to:

Cooperative game theory
Coalition formation
Joint decision making and voting
Representation issues
Negotiation
Collaborative filtering
Market and economics based cooperation
Behavioral models for cooperative games
Applications of cooperative solution concepts

The workshop should be of interest to researchers who study the
mathematical and algorithmic properties of cooperative games;
researches interested in promoting cooperation in multiagent systems,
designing and implementing collaborating agents and mechanisms that
incentivize cooperation; and researchers studying the underlying
connections between cooperative game theory and other topics in game
theory and computer science.

We also welcome participants who are interested in applications of
cooperative game theory (for example, trading agents, recommender
systems, and energy and water management). In particular we encourage
submissions on empirical and experimental study of applying solution
concepts from cooperative game theory to real world problems.

***************************Key dates****************************

Submission of contributions: 5 Feb 2014
Acceptance notification: 1 March 2014
Workshop: 5-?6 May 2014

*****************Submission Instructions************************

Submission must follow the Springer LNCS format (see
http://www.springer.com/computer/lncs?SGWID=0?164?6?793341?0 for
formatting instructions) and should be a maximum of 15 pages.

Papers must be submitted in PDF through easychair:

https://www.easychair.org/conferences/?conf=coopmas2014

CoopMAS is considered a non?archival venue and there are no published
proceedings, though informal proceedings will be distributed to all
workshop participants.

This means that publishing a paper in CoopMAS should not prevent one
from submitting it to a conference or a journal at the same or later
time. The requirement to use the LNCS format is imposed to ensure
uniformity.

*******************************Organizers: ******************************

Georgios Chalkiadakis, Technical University of Crete, Greece.
gehalk@intelligence.tuc.gr

Edith Elkind, University of Oxford, UK.
elkind@cs.ox.ac.uk

Reshef Meir, Harvard University, USA.
rmeir@seas.harvard.edu

****************************Program Committee: ***********************

Stephane Airiau (LAMSADE ? Universite Paris-Dauphine)
Haris Aziz (NICTA and University of New South Wales)
Yoram Bachrach (Microsoft Research, Cambridge)
Peter Biro (Institute of Economics, Centre for Economic and Regional
Studies, Hungarian Academy of Sciences)
Dinko Dimitrov (Saarland University)
Piotr Faliszewski (AGH University of Science and Technology)
Josep Freixas (Universitat Polit?cnica de Catalunya)
Gianluigi Greco (University of Calabria)
Paul Harrenstein (University of Oxford)
Ziv Hellman (Bar-Ilan University)
Atsushi Iwasaki (Kyushu University)
Bettina Klaus (University of Lausanne)
Ehud Lehrer (Tel Aviv University)
Vangelis Markakis (Athens University of Economic and Business)
Tomasz Michalak (University of Warsaw/Oxford University)
Daniel Paulusma (Durham University)
Maria Polukarov (University of Southampton)
Ariel Procaccia (Carnegie Mellon University)
Talal Rahwan (University of Southampton)
Valentin Robu (University of Southampton)
Jeffrey Rosenschein (The Hebrew University of Jerusalem)
Long Tran-Thanh (University of Southampton)
Nelson Uhan (United States Naval Academy)
Gerhard J. Woeginger (TU Eindhoven)
Michael Wooldridge (University of Oxford)
Lirong Xia (RPI)
Yair Zick (Nanyang Technological University)



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

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 71, Issue 9
*************************************

Thursday, January 9, 2014

dmanet Digest, Vol 71, Issue 8

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: 7th International Workshop on Numerical Software
Verification (BOUISSOU Olivier 209517)


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

Message: 1
Date: Wed, 8 Jan 2014 11:24:09 +0000
From: BOUISSOU Olivier 209517 <Olivier.BOUISSOU@cea.fr>
Subject: [DMANET] CFP: 7th International Workshop on Numerical
Software Verification
Message-ID: <5E1AB57B-1E03-44AF-84CE-EB1956EFADFC@cea.fr>
Content-Type: text/plain; charset="Windows-1252"

[Deadline for paper submission: March 20th 2014]
Apologies for multiple copies.

???

CALL FOR PAPERS

**************
** NSV 2014 **
**************
7th International Workshop on Numerical Software Verification

July 17-18, 2014

A Sattelite Workshop of Vienna Summer of Logic 2014
Vienna, Austria


Web Page: http://www.lix.polytechnique.fr/~bouissou/NSV14


Important Dates
===============
Submissions deadline: March 20th 2014.
Notification: May 4th 2014.
Final version: May 25th 2014.
Workshop: July 17th-18th 2014.


Novelty of this edition
=======================
The 2014 edition of NSV will be published electronically by Elsevier
in the Electronic Notes in Theoretical Computer Science Serie (ENTCS).

In this new NSV edition, we encourage publications about the numerical
issues in new domains, in particular computational finance and
biological systems: problems, consequences and state-of-the-art
approaches.


Description of the Workshop
===========================
Numerical computations are ubiquitous in digital systems: supervision,
prediction, simulation and signal processing rely heavily on numerical
calculus to achieve desired goals. Verification of numerical
algorithms has a unique set of challenges, which set it apart from
the rest of software verification. To achieve the verification and
validation of global properties, numerical techniques need to
precisely represent local behaviors of each component. In fact, in
numerical algorithms, coarse abstractions are unlikely to succeed
essentially because of the above mentioned issue. The implementation
of numerical techniques on modern hardware adds another layer of
approximation: the use of finite representations of infinite
precision numbers usually lack basic arithmetic properties such
as commutativity and associativity. It is hence imperative to develop
logical and mathematical techniques that would allow reasoning about
programmability and reliability. The NSV workshop is dedicated to the
current development and the future prospects for such techniques.


Topics
===============
The scope of the workshop includes, but is not restricted to, the
following topics:
- Models and abstraction techniques
- Specifications of correctness for numerical programs
- Formal specification and verification of numerical programs
- Quality of finite precision implementations
- Propagation of uncertainties, deterministic and probabilistic models
- Numerical properties of control software
- Hybrid systems verification
- Validation for space, avionics, automotive and real-time applications
- Validation for scientific computing programs
- Optimality of program behavior
- Trade-offs between quality of service and resource (for example
energy) consumption in programs
- Benchmarks and tools for numerical software verification
- Numerical issues in computational finance



Submission information
======================
We solicit regular and short papers.
Paper submission must be performed via the EasyChair system:

http://easychair.org/?conf=nsv14

Regular papers must describe original work, be written and presented
in English, and must not substantially overlap with papers that have
been published or that are simultaneously submitted to a journal or a
conference with refereed proceedings. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should clearly identify what has been accomplished and
why it is significant.

Regular paper submissions should not exceed 15 pages in ENTCS style,
including bibliography and well-marked appendices:
http://www.entcs.org/prelim.html
Program committee members are not required to read the appendices, and
thus papers must be intelligible without them.

Short papers are also welcomed, they should present tools, benchmarks,
case-studies or be extended abstracts of ongoing research. Short
papers should not exceed 6 pages.

Regular papers will be published electronically by Elsevier in the
Electronic Notes in Theoretical Computer Science serie ENTCS), all
accepted (regular and short) papers will also be included in the
Vienna Summer of Logic USB-stick distributed to all participants to the VSL.


Organizers
==========
Olivier Bouissou, CEA, LIST
Khalil Ghorbal, Carnegie Mellon University

All questions about the workshop can be addressed to them via email:
nsv2014@easychair.org


Program Committee
==================

- Sylvie Boldo Inria
- Olivier Bouissou CEA, LIST
- Jyotirmoy Deshmukh Toyota Technical Center
- Khalil Ghorbal Carnegie Mellon University
- Eric Goubault CEA, LIST
- Sylvie Putot CEA, LIST
- Sriram Sankaranarayanan Boulder University





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

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 71, Issue 8
*************************************

Wednesday, January 8, 2014

dmanet Digest, Vol 71, Issue 7

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. SCOR 2014 - 2nd Announcement and Call for Papers (M. Moniz)
2. Deadline extension: JSC - SCSS special issue (Temur Kutsia)
3. LATD 2014: Logic, Algebra and Truth Degrees, Vienna
(Austria), 16-19 Jul 2014 (Bjoern Lellmann)
4. INFORMS Telecommunications 2014 - Extended deadline
(Luis Eduardo Neves Gouveia)


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

Message: 1
Date: Wed, 8 Jan 2014 09:04:35 +0100
From: "M. Moniz" <martim.moniz@ulb.ac.be>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] SCOR 2014 - 2nd Announcement and Call for Papers
Message-ID:
<CALWNkF6xmmmq8w4-Pier26A=RwjBt42rTLDL3mrVo2KSp8ve7A@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

******************CALL FOR PAPERS******************
**4th Student Conference on Operational Research**
************************SCOR 2014***********************
******May 2-4 2014, University of Nottingham, UK*****
*********************www.scor14.com*********************


We are pleased to announce the official launch of the PhD Student
Conference on Operational Research (SCOR 2014), now back for its
fourth instalment. We invite you to join us once again, at the
beautiful University of Nottingham campus the 2-4 May 2014.

PhD students from all European Universities studying Operational
Research, Management Science or a related field are kindly invited to
submit an abstract for presentation at the conference. As some
presenters may still be on an early stage of in their careers, the
work presented does not need to be fully developed or thoroughly
explored as of yet. The purpose of SCOR 2014 is to provide a friendly
environment for the next generation of Operational Researchers to
receive constructive feedback on their work and to meet people with
similar interests. The scope of the conference includes, but is not
limited to:

*Big Data & Analytics * Data Mining * Energy * Forecasting * Graphs /
Networks * Healthcare *
*Heuristics * Inventory * Mathematical Programming * Multicriteria
Decision Analysis * *Neural Networks / Machine Learning * Optimisation
and Applications * Reliability / Risk Assessment * Scheduling /
Timetabling * Stochastic Modelling * Supply Chain Management *
*Simulation / System Dynamics * Transport /Logistics*

The conference takes place just after the NATCOR course, which will
also be held in Nottingham.

*******Deadline for abstract (250 words) submission: Monday 24th
February 2014*********

A notification of acceptance will be sent shortly after this deadline.
In order to encourage a wide
range of students to attend, an affordable conference fee will cover
accommodation, a full social
program and full catering provided.

******************Deadline for PAPERS submission: Friday 11th April
2014******************


Presenters are also invited to submit a paper (no more than 10 pages)
on their work to be
published electronically as part of the SCOR 2014 proceedings. This
will be available in the
Dagstuhl OpenAccess Series in Informatics (OASIcs). Paper submissions
will undergo a selection
process based on refereeing by the Committee. This gives doctoral
candidates a chance to
experience the peer-review process and to enhance their technical
writing skills. Although it
is not mandatory, it is again, highly recommended. To get an idea on
the paper standards
please visit the SCOR2012 proceedings.


See you in Nottingham!!!


**********************Follow us on**********************
* www.scor14.com *
* www.facebook.com/scor2014 *
* www.twitter.com/scor2014 *
* www.linkedin.com/company/scor-2014 *
***********************************************************


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

Message: 2
Date: Tue, 07 Jan 2014 17:34:30 +0100
From: Temur Kutsia <kutsia@risc.jku.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline extension: JSC - SCSS special issue
Message-ID: <52CC2C96.6020005@risc.jku.at>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

[Please post - apologies for multiple copies.]

Deadline extension

----------------------------------------
Special issue of the

JOURNAL OF SYMBOLIC COMPUTATION

on

SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE
----------------------------------------
http://www.risc.jku.at/people/tkutsia/jsc-scss-2013.html


IMPORTANT DATES
---------
Paper submission: January 31, 2014 (extended)
Notification of acceptance: April 25, 2014 (extended)
Publication: Second half of 2014


SCOPE
--------
Symbolic Computation is the science of computing with symbolic objects
(terms, formulae, programs, representations of algebraic objects etc..).
Powerful symbolic algorithms and methods have been developed during the
past decades like computer algebra, theorem proving, automated
reasoning, software verification, model checking, rewriting,
formalization of mathematics, Groebner bases, characteristic sets,
telescoping for recurrence relations, cylindric algebraic decomposition
and other quantifier elimination techniques, etc.

The purpose of this special issue is to promote research on theoretical
and practical aspects of symbolic computation in software science. The
special issue is related to the topics of the International Symposiums
on Symbolic Computation in Software Science - SCSS 2013 and SCSS 2012.
It will be published by Elsevier within the Journal of Symbolic Computation.

Participants of the SCSS 2013 and SCSS 2012 symposiums, as well as other
authors are invited to submit contributions.


EXAMPLES of TOPICS
-------------------
This special issue focuses on advanced symbolic computation techniques
for algorithm and software testing, property analysis, termination,
verification, induction assertion generation, synthesis, systematic
generation from components, equivalent transformation, library build-up.
Relevant topics include (but are not limited to) the following:

- automated synthesis of algorithms by symbolic computation
- automated generation of verification conditions of programs by
algebraic methods
- automated generation of inductive program properties
- analysis of algorithm complexity and program termination by algebraic
methods
- algebraic reasoning for computational origami
- efficient decision procedures for hybrid systems
- synthesis of numerical algorithms by algebraic methods
- symbolic model checking
- business process representations and analysis by symbolic methods
- symbolic preprocessing of numerical algorithms
- symbolic techniques for debugging and testing
- formalization and computerization of knowledge (maths, medicine,
economy, etc.)
- rewriting algorithms
- component-based programming by algebraic methods
- query languages (in particular for XML documents)
- symbolic methods for the semantic web, cloud computing and big data



SUBMISSION GUIDELINES
-------------------

This special issue welcomes original high-quality contributions that
have been neither published in nor simultaneously submitted to any
journals or refereed conferences. Submissions will be peer-reviewed
using the standard refereeing procedure of the Journal of Symbolic
Computation.

Authors of papers presented at the SCSS 2013 and SCSS 2012 symposiums
are welcome and encouraged to submit extended and revised versions of
their papers. Furthermore, submissions of papers that are in the scope
of SCSS, but did not appear in SCSS 2013 and SCSS 2012 are welcome as well.

Submitted papers must be in English and include a well written
introduction addressing the following questions in succinct and informal
manner:

- What is the problem?
- Why is the problem important?
- What has been done so far on the problem?
- What is the main contribution of the paper on the problem?
- What aspect of symbolic computation helps solving the problem?
- Is the contribution original? Explain why.
- Is the contribution non-trivial? Explain why.

All the main definitions, theorems and algorithms should be illustrated
by simple but meaningful examples.


SUBMISSION
--------------------

Please prepare your submission in LaTeX using the JSC document format from:
http://www4.ncsu.edu/~hong/jsc.htm
(link to the submission template:
http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip)

Submission is via the EasyChair submission site at:
https://www.easychair.org/conferences/?conf=jscscss13

GUEST EDITORS
--------------------
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Laura Kovacs (Chalmers University of Technology, Sweden)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)


FURTHER INFORMATION
-------------------------------
Laura Kovacs <laura.kovacs@chalmers.se>
Temur Kutsia <kutsia@risc.jku.at>


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

Message: 3
Date: Wed, 08 Jan 2014 10:16:49 +0100
From: Bjoern Lellmann <lellmann@logic.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] LATD 2014: Logic, Algebra and Truth Degrees, Vienna
(Austria), 16-19 Jul 2014
Message-ID: <52CD1781.7040701@logic.at>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

(Apologies for multiple postings)

Logic, Algebra and Truth Degrees 2014

July 16 - 19, Vienna, Austria

Call for papers


The conference "Logic, Algebra and Truth Degrees 2014" will be
held on 16-19 July 2014 in Vienna, Austria, as part of the
Vienna Summer of Logic event http://vsl2014.at.

Logic, Algebra and Truth Degrees is the fourth official meeting
of the EUSFLAT Working Group on Mathematical Fuzzy Logic.

Mathematical Fuzzy Logic is the sub-discipline of Mathematical
Logic that is concerned with the notion of comparative truth.
The assumption that "truth comes in degrees" has proved to be
very useful in many theoretical and applied areas of Mathematics,
Computer Science, and Philosophy.

The featured topics include:

- Proof theory and computational complexity
- Algebraic semantics and abstract algebraic logic
- First, higher-order and modal formalisms
- Applications and foundational issues
- Geometric and game theoretic aspects

We particularly welcome contributions on many-valued and
related logical systems.

Invited speakers:

- Silvio Ghilardi, Italy
- Melvin Fitting, USA
- George Metcalfe, Switzerland
- Dale Miller, France
- Dana Scott, USA
- Alasdair Urquhart, Canada


Tutorials:

- Franz Baader, Germany
- Vincenzo Marra, Italy


Programme Committee:

- Arnon Avron, Israel
- Matthias Baaz (Chair), Austria
- Agata Ciabattoni (Co-Chair), Austria
- Petr Cintula, Czech Republic
- Nikolaos Galatos, USA
- Lluis Godo, Spain
- Rosalie Iemhoff, The Netherlands
- Nicola Olivetti, France
- Hiroakira Ono, Japan
- Kazushige Terui, Japan
- Richard Zach, Canada

Contributed talks:

Abstracts of contributed talks, 2-4 pages, are to be prepared
using the ASL abstract template and submitted via Easychair.
The accepted abstracts will be available on-line and published
in the joint volume of abstracts with the Logic Colloquium.

The deadline for contributions is 6th April 2014. The
notification of acceptance will be sent by 10th May 2014.

For more information please visit the official web page
of the conference: http://www.logic.at/latd2014.
All correspondence should be directed to latd2014@logic.at.


Please feel free to distribute this call.


The Organizing Committee
Agata Ciabattoni (Chair), Paolo Baldi, Petr Cintula,
Bjoern Lellmann, Revantha Ramanayake, Lara Spendier


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

Message: 4
Date: Wed, 8 Jan 2014 09:43:57 +0000
From: Luis Eduardo Neves Gouveia <legouveia@fc.ul.pt>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] INFORMS Telecommunications 2014 - Extended deadline
Message-ID:
<4752EA098FED804AB3DF056A70B412145688F9004B@FC-MBXCLUSTER.fc.ul.pt>
Content-Type: text/plain; charset="iso-8859-1"


INFORMS Telecommunications 2014 (www.informstelecom2014.fc.ul.pt) - Extended Deadline

The 12th INFORMS Telecommunications Conference will be held March 2 - 4, 2014 in Campo Grande, Lisboa, Portugal.

In the tradition of the previous conferences, the 12th Conference will focus on the theory and application of operations research and management science to problems in telecommunications, with particular emphasis on new and emerging technologies. The conference is organized by the INFORMS Technical Section on Telecommunications.

Conference chair: Lu?s Gouveia
Conference co-chairs: Maur?cio Resende and Youngho Lee

Plenary speakers: Thomas Bonald (Telecom Paris Tech), Martin Gr?tschel (Zuse Institut Berlin) and Guy Leduc (Universit? de Li?ge)

2014 Doctoral Dissertation Award for Operations Research in Telecommunications

Abstract submission - EXTENDED DEADLINE: January 17th, 2014

The 3rd International Symposium in Combinatorial Optimization (ISCO 2014) will also be held from the 5th to the 7th of March, just after the INFORMS Telecommunications Conference, also at Campo Grande, Lisbon.

See the registration (to be updated) for reduced fees for people attending the two conferences.


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

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 71, Issue 7
*************************************