DMANET: DISCRETE MATHEMATICS AND ALGORITHMS

Thursday, March 6, 2014

dmanet Digest, Vol 73, Issue 6

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. Special issue OR-Spectrum on Quantitative Solutions for
Future Energy Systems and Markets (Johann Hurink)
2. CFP: (EXTENDED DEADLINE) IEEE WoWMoM Workshop SmartVehicles
2014 - new submission deadline is 14 March 2014! (Valerio Arnaboldi)
3. Last Mile, March 18 || ICIW 2014 || July 20 - 24, 2014 -
Paris, France (Cristina Pascual)

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

Message: 1
Date: Wed, 05 Mar 2014 12:13:53 +0100
From: Johann Hurink <j.l.hurink@utwente.nl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Special issue OR-Spectrum on Quantitative Solutions
for Future Energy Systems and Markets
Message-ID: <531706F1.8060406@utwente.nl>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

Dear colleagues,

We would like to invite you to submit a paper for publication in a

Special Issue of OR-Spectrum
on
Quantitative Solutions for Future Energy Systems and Markets.

The submission deadline is June 30, 2014.

More information can be found on
http://static.springer.com/sgw/documents/1445006/application/pdf/Call+for+Papers_Special+Issue+on+Energy_Deadline_June_30_2014.pdf

and on the website of OR-Spectrum
http://www.springer.com/business+&+management/operations+research/journal/291

Best regards,
The Special Issue Editors:

Johann Hurink, University of Twente
R?diger Schultz, Universit?t Duisburg-Essen
David Wozabal, Technische Universit?t M?nchen

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

Message: 2
Date: Wed, 05 Mar 2014 17:46:01 +0100
From: Valerio Arnaboldi<valerio.arnaboldi@iit.cnr.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: (EXTENDED DEADLINE) IEEE WoWMoM Workshop
SmartVehicles 2014 - new submission deadline is 14 March 2014!
Message-ID: <531754c9.yuwymGnPshe3wegn%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 Submission Deadline: March 14, 2014 (EXTENDED) *****
****************************************************************

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

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 Submission Deadline: (EXTENDED) March 14, 2014
Notification Deadline: April 18, 2014
Camera Ready Due: May 7, 2014
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: 3
Date: Thu, 6 Mar 2014 08:12:42 +0100
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Last Mile, March 18 || ICIW 2014 || July 20 - 24,
2014 - Paris, France
Message-ID: <201403060712.s267CgB1006231@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 ICIW 2014.
The submission deadline is extended to March 18, 2014.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================

============== ICIW 2014 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

ICIW 2014, The Ninth International Conference on Internet and Web Applications and Services

July 20 - 24, 2014 - Paris, France

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

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

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

Contributions:
- regular papers
- short papers (work in progress)
- posters
- ideas
- presentations
- demos
- doctoral forum submissions

Proposals for:
- symposia
- workshops

Submission deadline: March 18, 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

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

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

IWAS : Internet and Web-based Applications and Services

Web technologies, frameworks, languages, mechanisms; Web applications design and development; Interaction with/from Web-based applications; Web-based applications� features; Management of Web-based applications; Evaluation of Web applications; Specialized Web applications; Aggregating multimedia documents; E-business, appliances, and services; IP Grid Management and Grid Services; IP-based convergent solutions and next generation networks; Standards, case studies and special groups on web-based applications; E-business system design, development, and management for SMEs

WSSA : Web Services-based Systems and Applications

Service Innovations; Service Architectures; Model-driven development of context-aware services; Context-aware service models, architectures and frameworks; Model-driven development of semantic Web services; Web services foundation, architectures, frameworks, languages; Web services architecture and business continuity; Special Web services mechanisms; Semantic Web, Ontology, and Web services; Web service applications ; Data Management aspects in Web Services; Autonomic e-Business integration and collaboration; Web service based Grid computing and P2P computing; Web services based applications for e-Commerce; Multimedia applications using Web Services; Automatic computing for Web services; Web services challenges on trust, security, performance, scalability; Enterprise Web services; Web services discovery, announcing, monitoring and management; Platforms, technologies, mechanisms and case studies; Grid architectures, middleware and toolkits

ENSYS: Entertainment Systems

Developing entertainment systems and applications; Platforms for entertainment systems; Speech technology & its usability for entertainment systems; Networking requirements for entertainment systems; Traffic generated by entertainment applications; QoS/SLA on entertainment systems; Reliability and high availability of entertainment systems; Identify aspects in entertainment systems; Real-time access to entertainment systems; Customized access entertainment systems; Navigation and entertainment systems; Integration and interoperability aspects in entertainment systems; Entertainment systems and applications; Networking and system support for entertainment systems; Wireless and mobile technologies for entertainment; Wireless multimedia for entertainment; Systems for music and movie distribution; Games on mobile and resource-constrained devices; Mobile video entertainment systems; Car/flight/train entertainment systems; Ubiquitous entertainment systems; Interactive televisi!
on; Tec
hnologies for sport and entertainment; WiFi wireless home entertainment systems; Wearable technologies for entertainment

P2PSA: P2P Systems and Applications

P2P architectures, techniques, paradigms; P2P programming and data handling; P2P security features; Data and compute intensive applications; P2P networks and protocols; P2P management; P2P Trust and reputation management; Fault tolerance in P2P, quality of availability, accounting in P2P; Self-adaptiveness in P2P overlay networks; Self-configurable P2P systems; Case studies, benchmarking; Copyright and intellectual property; Electronic marketplace, Digital asset management and trading systems; Platforms, environments, testbeds

ONLINE: Online Communications, Collaborative Systems, and Social Networks

Theory, frameworks, mechanisms, and tools for online communication; Methodologies and languages for on-line communications; Web services and XML use for online communications; Tools for assessing online work, distributed workload; Shared business processes; Collaborative groups and systems; Theory and formalisms of group interactions; Group synergy in cooperative networks; Online gambling, gaming, children groups; Identity features, risks, jurisdiction for online communications; Specifics emergency and e-coaching on online communications; B2B and B2E cooperation; Privacy, identify, security on online communications; Individual anonymity, group trust, and confidentiality on online groups; Conflict, delegation, group selection; Community costs in collaborative groups; Building online social networks with popularity contexts, persuasion, etc.; Technology support for collaborative systems; Techniques, mechanisms, and platforms for remote cooperation

SERCOMP: Service computing

Adaptive Architecture; Business process integration and management; Cloud Computing; Collective Intelligence for Service Computing; Computational Intelligence; Data Mining of Actual Services; Decision Science; Digital EcoSystems Infrastructure; Economic Clusters; Economics and Economic Experiments; Game Theory; Human Modeling in Services; Intelligent Agents and Multi-Agent Systems; Intra- and Inter-enterprise services; Knowledge Discovery for Service Computing; Nature Inspired Computing Techniques for Service Computing; Optimization of Service Processes; Psychological Approaches to Services; Self Organizing Infrastructure; Sensing of Human Behaviors; Service-centric business models and their economics; Service discovery, repository and registry; Service Engineering; Service evaluation, measurements and delivery audit; Service interaction, service ontologies and service composition; Service Marketing; Service-Oriented Architecture; Service Oriented computing; Soft Computi!
ng; Soc
iety and business services (public, utility, business, healthcare, consulting, etc.); Sustainable Frameworks; Swarm Intelligence; Ubiquitous and pervasive services (technology, context, security); Value Creation in Services; Web-based basics on service modeling, deployment and maintenance

SLAECE: Social and Legal Aspect of Internet Computing

Principles, theories, and challenges of legal and social aspects; Strategies, modeling, and requirements engineering of legal and social aspects; Architectures, implementations, and deployment consideration of legal and social aspects; Cyber threats, emerging risks, systemic concerns, and emergency preparedness; Social computing and lifestyle computing; Service marketing and customer relationship management; Market structures and emerging business models; Emerging legal issues due to new computing environment; File / information sharing networks and user behavior; Knowledge modeling, management, and application; Negotiation and contracting as well as contract monitoring and enforcement; E-democracy, e-policy, and governance; Legal and social ontologies; Privacy and copyright in collaborative environments and social networks; Intellectual property rights; Trust, security, and privacy; Counterfeit forensic; Identity management and access control; Security and privacy in lo!
cation-
based services

VEWAeL: Virtual Environments and Web Applications for eLearning

E-Learning; Web Technologies and Tools for Educational Purposes; Services for E-Learning Platforms; Virtual Learning Environments (VLE); Course Management Systems; Web applications for Teaching; Social Implications of E-Learning; Lifelong E-learning; Teaching-Learning Experiences using the Internet for Educational Purposes; E-learning in the European Higher Education Area (EHEA) and other HE contexts; Web protocols for VLE; Security for VLE; QoS for VLE; Storage management in VLE

ECC: Enterprise cloud computing

Architectures for enterprise clouds; Principles, concepts and methodologies of enterprise cloud computing; Tools, technologies, methodologies and frameworks for enterprise cloud computing; Enterprise IS architectures such as application, information and technology architectures; Synergies between SOA, Grid Computing and Cloud Infrastructures; Quality of Service (QoS) models; 'Elastic' and on-demand allocation and management of resources to meet business needs; Benefits, issues and limitations of enterprise clouds; Security, data integrity, legal and governance issues for enterprise clouds; Management, monitoring an governance issues; Portability of architectures, applications and data between cloud providers; Reliability and maintenance of cloud-based business architectures; Architectures for Software as a Service, Platform as a Service and Infrastructure as a Service; Network architecture using Storage Clouds; Experience reports with designing, building and using Cloud !
infrast
ructure; Novel application architectures, best practices, case studies and surveys

Committee: http://www.iaria.org/conferences2014/ComICIW14.html

ICIW Advisory Committee

Mario Freire, University of Beira Interior, Portugal

Steffen Fries, Siemens AG, Corporate Technology - Munich, Germany

Vagan Terziyan, University of Jyvaskyla, Finland

Mike Wald, University of Southampton, UK

Sergio De Agostino, Sapienza University of Rome, Italy

Kwoting Fang, National Yunlin University of Science & Technology, ROC

Renzo Davoli, University of Bologna, Italy

Gregor Blichmann, Technische Universit�t Dresden, Germany

Vincent Balat, University Paris Diderot - Inria, France

Ezendu Ariwa, University of Bedfordshire, UK

ICIW Industry/Research Chairs

Giancarlo Bo, Technology and Innovation Consultant- Genova, Italy

Ingo Friese, Deutsche Telekom AG - Berlin, Germany

Sven Graupner, Hewlett-Packard Laboratories - Palo Alto, USA

Alexander W�hrer, Vienna Science and Technology Fund, Austria

Caterina Senette, Istituto di Informatica e Telematica, Pisa, Italy

Nazif Cihan Tas, Siemens Corporate Research - Princeton, USA

Jani Suomalainen, VTT Technical Research Centre of Finland, Finland

Zhixian Yan, Samsung Research America, USA

Samad Kolahi, Unitec Institute of Technology, New Zealand

ICIW Publicity Chairs

Sven Reissmann, University of Applied Sciences Fulda, Germany

David Gregorczyk, University of L�beck, Institute of Telematics, Germany

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

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

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 73, Issue 6
*************************************

Wednesday, March 5, 2014

dmanet Digest, Vol 73, Issue 5

dmanet Digest, Vol 73, Issue 4

Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de

To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de

You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."

Today's Topics:

1. 4th Student Conference on Operational Research (SCOR 2014) -
Deadline extended (M. Moniz)
2. Budapest Summer School in Discrete Mathematics (Andras Frank)
3. Oberwolfach seminar: Recent Methods in Sphere Packing and
Optimization (Frank Vallentin)
4. Funded PhD Position in Algorithms at Oxford's Department of
Computer Science (Stanislav Zivny)
5. The First International Workshop on Recent Advances in WBANs
Design and Deployment, for Real-time and Healthcare Applications
(RA-WERHA 2014) (Kacimi Rahim)
6. 2nd CfP: UNIF 2014 (Temur Kutsia)
7. [CFP] 2nd International workshop on Internet of Things -
Ideas and Perspectives @ IEEE DCOSS 2014 (LAST WEEK) (Valeria Loscri)

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

Message: 1
Date: Tue, 4 Mar 2014 10:39:58 +0000
From: "M. Moniz" <martim.moniz@ulb.ac.be>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] 4th Student Conference on Operational Research (SCOR
2014) - Deadline extended
Message-ID:
<CALWNkF79QuwwGoizV-u90s+93VmCgij8i_vH6OSX+fFFvKs93w@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

Due to numerous request we decided to extend the deadline by a few days.
The new date will be the 10th of March.

******************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*

*******Deadline for abstract (250 words) submission: Monday 10th
March 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 *
***********************************************************

Apologies for cross-posting and/or multiple copies. Appreciate if you can
distribute this announcement to your network.

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

Message: 2
Date: Tue, 4 Mar 2014 12:16:16 +0100 (CET)
From: Andras Frank <frank@cs.elte.hu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Budapest Summer School in Discrete Mathematics
Message-ID: <E1WKnKa-0002MO-PP@frank.cs.elte.hu>
Content-Type: text/plain; charset="US-ASCII"

BUDAPEST SUMMER SCHOOL IN DISCRETE MATHEMATICS

First Announcement

The Institute of Mathematics of Eotvos University Budapest (Hungary) is
organizing again a summer school in Discrete Mathematics for
undergraduate and graduate students between June 23 and June 27, 2014.

There will be 7 mini-courses, 2 x 90 minutes each:

* Arborescence packing and its applications

* Linear algebraic methods in graph theory

* Combinatorial rigidity

* Combinatorial Nullstellensatz with applications

* Finite geometries: from definitions to applications

* Probabilistic methods in discrete geometry

* Geometric algorithms

For abstracts, credits, deadlines, and other details, see:

http://www.math.elte.hu/summerschool

Andras Frank,

Institute of Mathematics, Eotvos University Budapest

frank@cs.elte.hu

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

Message: 3
Date: Tue, 4 Mar 2014 13:35:53 +0100
From: Frank Vallentin <frank.vallentin@uni-koeln.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Oberwolfach seminar: Recent Methods in Sphere
Packing and Optimization
Message-ID: <8A9B3720-FA10-4457-9D6F-FF1A86F04E8A@uni-koeln.de>
Content-Type: text/plain; charset=iso-8859-1

=== CALL FOR PARTICIPATION ===

Oberwolfach seminar: Recent Methods in Sphere Packing and Optimization

The Oberwolfach Seminar "Recent Methods in Sphere Packing and Optimization" will take place on June 8-14, 2014 at MFO, Mathematisches Forschungsinstitut Oberwolfach (Germany).

Lectures by Christine Bachoc (Bordeaux), Henry Cohn (Microsoft Research, New England), Frank Vallentin (K?ln)

The Oberwolfach Seminars are organized by leading experts in the field, and address postdocs and Ph.D. students from all over the world. The aim is to introduce the participants to a particular interesting development. The seminars take place at the Mathematisches Forschungsinstitut Oberwolfach. The Institute covers accommodation and food. By the support of the Carl Friedrich von Siemens Foundation, travel expenses can be reimbursed up to 150 EUR in average per person.

Apply directly to Oberwolfach - Details at the MFO webpage:

http://www.mfo.de/occasion/1424b/www_view

Deadline for applications: April 1st, 2014.

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

Message: 4
Date: Tue, 4 Mar 2014 13:33:33 +0000
From: Stanislav Zivny <standa@cs.ox.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Funded PhD Position in Algorithms at Oxford's
Department of Computer Science
Message-ID: <9D706B48-054D-44A9-A830-9AA84598C77E@cs.ox.ac.uk>
Content-Type: text/plain; charset=iso-8859-1

Funded Doctoral Studentship in Oxford University's Department of Computer Science

(http://www.cs.ox.ac.uk/news/762-full.html)

Supervisor: Dr Stanislav Zivny
Start Date: October 2014
End Date: September 2017

PROJECT

The Algorithms Research Group is offering a fully funded D.Phil. studentship in
Oxford University's Department of Computer Science. The studentship provides an
annual stipend to the student of at least ?13863 per annum for 3 years. The
studentship covers university and college fees for home/EU students. Overseas
candidates are eligible to apply but would have to find other sources of funding
for the university and college fees. There will also be provision for some
travel funds.

The position is associated with the Royal Society project "Structure of
Rational-Valued Functions on Discrete Domains", led by Stanislav Zivny. The goal
of this project is to understand the structure of separable rational-valued
functions on discrete domains that appear in the context of valued constraint
satisfaction problems.

REQUIREMENTS

The candidate is expected to have a strong background in theoretical computer
science and mathematics, in particular in computational complexity and universal
algebra, with an interest in algorithms and discrete optimisation in general.
Candidates must have good written, communication, and organisational skills, and
satisfy the usual requirements for a doctorate study at Oxford:

http://www.cs.ox.ac.uk/admissions/dphil/criteria2014

HOW TO APPLY

There is no deadline for applying. We will continue to process applications
until a suitable candidate is found, and candidates are therefore recommended to
apply as soon as possible.

To apply in the first instance candidates should send their CV, a transcript
with a list of courses and grades, and a motivation letter explaining why you
want this studentship, to: julie.sheppard@cs.ox.ac.uk

FURTHER DETAILS

For further information about the studentship or application process please
e-mail: julie.sheppard@cs.ox.ac.uk

For further information about the project details please contact:
stanislav.zivny@cs.ox.ac.uk

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

Message: 5
Date: Tue, 04 Mar 2014 14:54:57 +0100
From: Kacimi Rahim <kacimi@irit.fr>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] The First International Workshop on Recent Advances
in WBANs Design and Deployment, for Real-time and Healthcare
Applications (RA-WERHA 2014)
Message-ID: <5315DB31.6050600@irit.fr>
Content-Type: text/plain; charset=windows-1252; format=flowed

Please accept our apologies if you receive multiple copies of this CFP.

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

The First International Workshop on Recent Advances in WBANs Design and
Deployment
for Real-time and Healthcare Applications (RA-WERHA 2014)
(http://csserver.ucd.ie/~sdjahel/RA-WERHA2014/main.html)
-----------------------------------------------------------------------------------------

To be held in conjunction with The 39th IEEE Conference on Local
Computer Networks (LCN),
Sep. 8-11, 2014, Edmonton, Canada
-----------------------------------------------------------------------------------------

SCOPE

The recent advances in wireless sensing technology have led to the
emergence of a wide
range of applications in different domains such as medical, sports,
consumer electronics,
social networking, and enterprise usage. E-health is recognized as the
most important and
promising among these applications for its potential for health
monitoring of chronic
illnesses, lifesaving in emergency situations, and its ability to
provide round the clock
healthcare to rural and disadvantaged areas. Wireless Body Area Networks
(WBANs) are the
key enabler of remote and in-hospital health monitoring and are expected
to revolutionize
the health and real-time body monitoring industry.

WBAN technology has quickly attracted a lot of attention from
researchers, practitioners
and clinicians as well as mobile health related data managers. The main
objective of WBAN
is to provide cost-effective, flexible, and secure use of biotelemetry
information and
communication technologies to support both medical and non-medical
applications. This
technology enables ambient assisted living by providing more freedom to
the elderly,
disabled, and chronic illness sufferers. Moreover, it can be rapidly
deployed in emergency
and disaster situations facilitating faster and more accurate remote
diagnosis of victims.
WBAN technology unleashes the possibilities and potentials for
personalized medicine which
promises to revolutionize healthcare that will have a significant
societal and economic
impact and improve the citizens? quality of life, particularly in future
smart cities.
However, WBAN applications present several challenges for the research
community including:
passive non-intrusive and power utilisation design issues, security and
reliability with
regards to the integrity of the acquired biotelemetry data and the
real-time transmission
of the monitored data using QoS aware techniques. Moreover, new emerging
applications,
which consider critical flows, are gaining more and more popularity in
various activity domains.

This workshop seeks to bring together leading academic and industrial
researchers,
practitioners, and clinicians to identify and discuss the major
technical challenges
and recent results related to WBANs based medical and non-medical
applications.
All are welcome to present and share their latest research findings,
ideas, simulation
tools and prototype test-beds at the 2014 RA-WERHA workshop.

WORKSHOP TOPICS

Topics of interest include, but are not limited to:

- Wearable and body sensor networks
- Wireless biotelemetry sensor technologies
- Emerging eHealth applications
- Health monitoring, traffic characterization, and management
- Future Network/Communications Infrastructures and Architectures for
Healthcare
- Energy Saving for Long Time Monitoring
- Pervasive and ubiquitous computing on eHealth
- MAC and Routing protocols design for WBANs
- Practical Applications of e-Health
- Intra and Inter WBAN communications
- Storage and Display devices for eHealth
- Telemedicine and mobile telemedicine
- Distributed storage of WBANs data
- Interference mitigation techniques in WBANs
- QoS-mapping from Application level to Network and MAC levels
- Cross-layer Designs for WBANs
- QoS-oriented dynamic reconfiguration in WBANs
- M-healthcare mobile social networks
- Fault tolerant routing techniques in WBANs
- Experimental prototypes and test-beds
- Security and privacy concerns in WBANs

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

IMPORTANT DATES
Submission deadline April 7, 2014
Acceptance notification May 30, 2014
Camera-ready version June 30, 2014

GENERAL CHAIRS
Soufiene Djahel, University College Dublin, Ireland
Rahim Kacimi, Paul Sabatier University, France
John Murphy, University College Dublin, Ireland

TECHNICAL PROGRAM CO-CHAIRS:
Nikki Cranley, University College Dublin, Ireland
Amit Pande, University of California Davis, USA
Andr?-Luc Beylot, INPT/ENSEEIHT, France

PUBLICITY CHAIR
Riadh Dhaou, INPT/ENSEEIHT, France

TECHNICAL PROGRAM COMMITTEE
TBD

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

Message: 6
Date: Tue, 04 Mar 2014 15:30:54 +0100
From: Temur Kutsia <kutsia@risc.jku.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 2nd CfP: UNIF 2014
Message-ID: <5315E39E.4020209@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
----------------
* Jordi Levy, IIIA, CSIC, Barcelona, Spain
* Jose Meseguer, University of Illinois at Urbana-Champaign, USA

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: 7
Date: Wed, 5 Mar 2014 09:43:00 +0100 (CET)
From: Valeria Loscri <valeria.loscri@inria.fr>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] [CFP] 2nd International workshop on Internet of
Things - Ideas and Perspectives @ IEEE DCOSS 2014 (LAST WEEK)
Message-ID:
<2042893371.4487252.1394008980214.JavaMail.zimbra@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1

*********************************************************************************************
Call for papers
IEEE DCOSS
2nd International workshop on Internet of Things - Ideas and Perspectives (IoTIP-14)
May 28, 2014
Marina Del Rey, USA https://iotip2014.hds.utc.fr/

Extended versions of selected papers will be considered for
publication in IEEE IoT Journal

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

Important dates
Submission Deadline: March 9th 2014,
Acceptance Notification: April 1st 2014,
Camera Ready Due: April 13th 2014,
Workshop Date: May 28th, 2014

Call for papers
Slowly but steadily the Internet of Things (IoT) is penetrating and transforming our lives. The first stage of the IoT evolution consisted in the deployment of RFID tags for facilitating routing, taking inventory and loss prevention of goods. After that we witnessed the first wave of RFID and sensor network integration toward vertical-market applications. Nowadays, new generations of RFID tags, in particular active RFID tags, often include built-in sensing capabilities. Whereas, applications based on sensor networks often require means for unique identification and discovery of objects, which are monitored by the sensor network. The convergence of sensing and identification technologies, together with communication and computation systems, enables us to gain impressive awareness about the state of the real world and will drastically change the way we interact with our environment. Urban planning, smart cities, intelligent shopping, smart meters, home automation, security and!
surveillance, industrial applications like process industry automation, supply chain, smart product management and agricultural applications are examples of potential applications for real-world systems. Even though the advent of the IPv6/6LoWPAN protocol suite solved several technical issues, many challenges are still open in the research and development communities concerning the choice of communication paradigms, architectures and technology.

The main focus of this workshop is on technologies, applications and paradigms of the IoT that are already deployed or are under investigation and that belong to the second stage of the IoT evolution.?The next step in the evolution of the IoT is its characterization as the underlying technological layer needed to shape and substantiate higher layer concepts such as semantic web and personalization. In fact, the IoT is the enabling technology to allow virtual and physical worlds to converge in what has already been defined as Web 3.0. If, currently, the IoT is the most suited companion of blogging, podcasting, tagging and social networking, we can imagine that its evolution will foster the rise of statistical, machine-constructed semantic tags and algorithms through the construction and exploitation of semantic databases empowered by distributed and cloud computing. The integration of the IoT with semantic databases, capable of delivering accurate information about the nature!
and the state of every physical object will introduce a staggering amount of new applications opportunities as well as potentially lead to an ultimate "Big brother scenario". Therefore, a particular interest will have to be given to appropriate security and privacy control mechanisms.
The secondary focus of this workshop is on IoT vision and perspective towards Web 3.0.

IoTIP features two tracks:
- Current ideas: for technical works currently under investigation;
- Future perspectives: for vision papers envisaging possible future technologies, paradigms and applications for IoT.

Topics of particular interest include, but are not limited to:
- IoT paradigms, architectures, applications and technologies
- IoT systems and components
- IoT for semantic web and personalization
- Tools for developing IoT applications
- Blogging, Podcasting, Tagging and Social networking through the IoT
- Cloud vs distributed computing for the IoT
- Security and privacy control mechanisms
- Performance assessment and management (QoS, scalability, reliability, etc)
- PHY layer, Spectrum management for IoT radio communications
- MAC protocols (e.g., scheduling, power control etc.) for IoT
- Mobility management
- Naming, address management and End-to-End Addressability
- Object, device and service management
- RFID, sensors, actuator technologies
- Middleware for IoT
- Sustainable design and technologies (e.g. energy-efficiency)
- Test-beds and field trials
- Standardization and regulatory issues

Submission guidelines
Authors are invited to submit original unpublished manuscripts that demonstrate current research on IoTIP research topics. Standard IEEE conference templates for LaTeX/Word formats can be found at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html . Papers should be submitted through EDAS at the following address: http://edas.info/N17145 . All submissions should be written in English using 10 point font and be six (8) printed pages long maximum using 10 point font and including figures and tables. The papers should be submitted to one of the two tracks:

- Current ideas: for technical works currently under investigation;
- Future perspectives: for vision papers envisaging possible future technologies, paradigms and applications for IoT.

Authors must suggest their preferred track for their paper at the time of submission. The workshop chairs, however, reserve the right to switch papers between tracks if they deem them a better fit for another track.

Please note that the proceedings of this workshop will appear in IEEEXplore and will be included in DCOSS conference proceedings.
Extended versions of selected papers will be considered for publication in IEEE IoT Journal.

Program committee members
Daniele Alessandrelli, Scuola Superiore Sant'Anna, Italy
Yacine Challal, Universit? de Technologie de Compi?gne, France
Flavio Esposito, Boston University, USA
Samira Hayat, Alpen-Adria University, Klagenfurt, Austria
Antonio Iera, Universit? "Mediterranea" di Reggio Calabria, Italy
Abdelmajid Khelil, Huawei European Research Center, Germany
Srdjan Krco, Ericsson/University of Belgrade, Serbia
Satish Kumar, Coastal Carolina University, USA
Thomas D.C. Little, Boston University, USA
Valeria Loscr?, Inria Lille - Nord Europe, France (publicity chair)
Nathalie Mitton, Inria Lille - Nord Europe, France (workshop chair)
Enrico Natalizio, Universit? de Technologie de Compi?gne, France (workshop chair)
Giuseppe Ruggeri, Universit? "Mediterranea" di Reggio Calabria, Italy
Anna Maria Vegni, Universit? degli Studi di Roma Tre, Italy
Konrad Wrona, NC3A, Netherlands

Valeria Loscri
Research Scientist FUN Team

Inria Lille-Nord Europe .
Parc scientifique de la Haute Borne
40, avenue Halley - B?t A - Park Plaza
59650 Villeneuve d'Ascq - France

www.inria.fr

Follow us
Twitter ? twitter.com/inria
YouTube? youtube.com/inriachannel

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

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

Tuesday, March 4, 2014

dmanet Digest, Vol 73, Issue 3

dmanet Digest, Vol 73, Issue 2

Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de

To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de

You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."

Today's Topics:

1. 2nd CfP: EUROPT 2014 --- Joint event with IFORS 2014
(Gerhard-Wilhelm Weber)
2. [AOC 2014] Last Days - IEEE WoWMoM Workshop on Autonomic and
(Davide Mascitti)
3. Second CFP: 7th International Workshop on Numerical Software
Verification (BOUISSOU Olivier 209517)
4. 12th Privacy, Security and Trust (PST) Annual Conference,
IEEE Xplore proceedings, Deadline approaching (March 24)
(Joaquin Garcia-Alfaro)
5. ETAPS 2014 2nd call for participation (Tarmo Uustalu)

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

Message: 1
Date: Mon, 03 Mar 2014 11:15:09 +0200
From: Gerhard-Wilhelm Weber <gweber@metu.edu.tr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 2nd CfP: EUROPT 2014 --- Joint event with IFORS
2014
Message-ID: <20140303111509.2060462q9s6dv09p@horde.metu.edu.tr>
Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes";
format="flowed"

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

Second Announcement
Deadline for submission of abstract: March 15, 2014
------------------------------------------------------------------
EUROPT 2014
Joint event with IFORS 2014

Date: July 10-12, 2014
Venue: Perpignan, France (1h30 to/from Barcelona by train)

Second Call for Papers
We invite all researchers from the optimization
community to take part in the EUROPT2014, to be held
in Perpignan, France, July 10-12, 2014.
EUROPT2014 is the annual event of the "EUROPT group",
the Continuous Optimization Working Group of EURO
(The Association of European Operational Research
Societies). EUROPT2014 is the 12th Workshop on advances
in continuous optimization. EUROPT2014 is a joint event of
the EURO/IFORS 2014 conference to be held in Barcelona,
July 13-18, 2014.

The academic program will consist in plenary talks and
parallel sessions covering several aspects of continuous
optimization.

Conference website:
http://europt2014.univ-perp.fr/index.html

Plenary speakers:
- Miguel F. Anjos, Polytechnique Montr?al Canada
- Jean-Baptiste Hiriart-Urruty, Universit? Paul Sabatier,
Toulouse, France
- Daniel Ralph, Cambridge UK
EUROPT Fellow Lecture by Immanuel Bomze, Vienna, Austria

Special Issue
A post-conference special issue of the journal Optimization
will be published.

Important Dates
January 1, 2014 Paper/abstract submission begins.
March 15, 2014 Paper submission deadline.
April 15, 2014 Paper acceptance/rejection notification.
January 1, 2014 Early registration begins.
May 15, 2014 Late registration begins.

Conference Topics
Classical topics developed in this series of
conferences are, but are not limited to:
- convex optimization and generalized convexity;
- local nonlinear optimization;
- global nonlinear optimization;
- optimal control - theory and applications;
- multiobjective optimization;
- conic optimization and semidefinite programming;
- semiinfinite optimization;
- robust optimization;
- stochastic optimization;
- large-scale methods in global search;
- optimization in data mining;
- data visualization for optimal decisions;
- applications of continuous optimization to combinatorial problems;
- optimization in industry, business and finance;
- supply chain management;
- analysis and engineering of algorithms;
- software development.

Didier Aussel and J.-N. Corvellec
(on behalf of the organizing committee)

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

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

Message: 2
Date: Mon, 03 Mar 2014 11:23:01 +0100
From: Davide Mascitti<d.mascitti@iit.cnr.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] [AOC 2014] Last Days - IEEE WoWMoM Workshop on
Autonomic and
Message-ID: <201403031019.s23AJd8e030163@solitaire.mi.uni-koeln.de>

Opportunistic Communications (AOC 2014)
Message-ID: <53145805.IGeXJuBO9psleche%d.mascitti@iit.cnr.it>
User-Agent: Heirloom mailx 12.4 7/29/08
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

---------------------------------------------------------------------
CALL FOR PAPERS
Eighth IEEE WoWMoM Workshop on
Autonomic and Opportunistic Communications (AOC 2014)
June 16, 2014 - Sydney, Australia
http://aoc2014.conference.nicta.com.au

Fast Track on Computer Communication Journal
http://www.elsevier.com/locate/comcom

**** Submission Deadline --- March 7, 2014 ****
---------------------------------------------------------------------

The recent proliferation of sensor-rich portable devices is enabling
novel communication paradigms for users and contributing to the
implementation of the ubiquitous computing and networking vision.
Opportunistic networking represents a key communication paradigm for
this vision. Either as a standalone communication mode or as a
complement to infrastructure-based communication, opportunistic
networking leverages the mobility of end users to enhance their ability
to communicate in the absence of reliable end-to-end connectivity.
Opportunistic networking opens up many possibilities but also poses
countless new challenges. The goal of the AOC 2014 workshop is to serve
as a forum for researchers, professionals, application developers, and
other experts from both academia and industry to exchange new ideas,
discuss new solutions, and share their experiences. As with previous
editions, this year's workshop is particularly interested in novel
research directions, such as service composition techniques,
co-existence with infrastructure networks, and insights from game
theory, social networking analysis, and cognitive psychology. The
workshop will solicit original papers addressing theoretical and
practical aspects of autonomic and opportunistic communications as well
as papers describing prototype implementations and deployments.

Topics of interest for AOC 2014 include, but are not limited to:
* Routing, transport, and reliability issues
* Techniques for data dissemination and replication
* Applications and middleware support, mobile social networking
applications
* Mobility models and statistical analysis of mobility traces
* Context and social awareness mechanisms and algorithms
* Co-existence of opportunistic networks with infrastructure mobile
wireless networks
* Service composition in autonomic and opportunistic networks
* Cognition-driven information processing and decision making
* Performance modelling, scaling laws, and fundamental limits for
autonomic and opportunistic communications
* Game-theoretical insights to the operation of autonomic and
opportunistic networks
* Participatory and urban sensing in autonomic and opportunistic
networks
* Trust, security, and reputation
* Autonomic and opportunistic communication testbeds and prototypes,
measurement data from real experiments
* Socio-economic models for autonomic and opportunistic communications
* Mobile Social networks

PAPER SUBMISSION AND PUBLICATION
================================

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.

Accepted papers will appear in the symposium proceedings published by
IEEE. There will be no separate workshop registration, as one single
registration will cover both conference and workshops participation. At
least one author of each accepted paper is required and present his/her
work at the workshop.

Submissions and reviews will be done through EDAS. Please submit your
manuscript at http://edas.info/N16861. Extended versions of the
selected workshop papers will be considered for possible fast track
publication on the Computer Communications Journal (Elsevier).

IMPORTANT DATES
===============

* Full papers due: March 7, 2014
* Notification: April 15, 2014
* Workshop: June 16, 2014

ORGANIZING COMMITTEE
====================

Workshop Chairs
~~~~~~~~~~~~~~~
* Mohan Kumar, Rochester Institute of Technology, USA
* Peizhao Hu, NICTA, Australia

Steering Committee
~~~~~~~~~~~~~~~~~~
* Marco Conti, IIT-CNR, Italy
* Silvia Giordano, SUPSI, Switzerland
* Ioannis Stavrakakis, University of Athens, Greece

Publicity Chairs
~~~~~~~~~~~~~~~~
* Olivier Mehani, NICTA, Australia
* Davide Mascitti, IIT-CNR, Italy

Webmaster
~~~~~~~~~
* Christoph Dwertmann, NICTA, Australia

Program Committee (tentative)
=============================

* Nils Aschenbruck, University of Osnabruck, Germany
* Chiara Boldrini, IIT-CNR, Italy
* Eleonora Borgia, IIT-CNR, Italy
* Jian-Nong Cao, Hong Kong Polytechnic University, HK
* Vania Conan, Thales, France
* Serge Fdida, UPMC, Paris VI, France
* Laura Galluccio, University of Catania, Italy
* Tristan Henderson, University of St. Andrews, UK
* Kyunghan Lee, North Carolina State University, USA
* Franck Legendre, ETH Zurich, Switzerland
* Daniele Miorandi, Create-net, Italy
* Valtteri Niemi, Nokia, Switzerland
* Katia Obraczka, University of California, Santa Cruz, USA
* Konstantinos Oikonomou, Ionian University, Greece
* Joerg Ott, HUT, Finland
* Elena Pagani, Universita' degli Studi di Milano, Italy
* Andrea Passarella, IIT-CNR, Italy
* Daniele Puccinelli, SUPSI, Switzerland
* Christian Rohner, Uppsala University, Sweden
* Abdullatif Shikfa, Alcatel Lucent Bell Labs, France
* Weisheng Si, University of Western Sydney, Australia
* Thrasyvoulos Spyropoulos, EURECOM, France
* Roger Whitaker, Cardiff University, UK
* Hongyi Wu, University of Louisiana at Lafayette, USA
* Eiko Yoneki, University of Cambridge, UK
* Franco Zambonelli, University of Modena-Reggio, Italy
* Sebastian Zander, Swinburne University of Technology, Australia

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

Message: 3
Date: Mon, 3 Mar 2014 15:26:44 +0000
From: BOUISSOU Olivier 209517 <Olivier.BOUISSOU@cea.fr>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] Second CFP: 7th International Workshop on Numerical
Software Verification
Message-ID: <13692B31-AA62-4F2C-95FF-9D475295C642@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.

Confirmed Invited Speakers
===========================
* Jean-Michel Muller, LIP, Ecole Normale Sup?rieure de Lyon
* Sumit Kumar Jha, University of Central Florida, Orlando

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

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

Message: 4
Date: Mon, 03 Mar 2014 19:26:47 +0100
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 12th Privacy, Security and Trust (PST) Annual
Conference, IEEE Xplore proceedings, Deadline approaching (March 24)
Message-ID: <5314C967.7060609@telecom-sudparis.eu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

[Apologies if you receive multiple copies of this message]
==========================================================================

Call for Papers

Twelfth Annual Conference on Privacy, Security and Trust (PST 2014)
Toronto, Canada, July 23 - 24 2014
http://pst2014.ryerson.ca/

***** SUBMISSION DEADLINE: March 24, 2014 *******
==========================================================================

The PST2014 Annual Conference on Privacy, Security and Trust (PST) is
being held in Toronto, Canada, July 23-24, 2014. PST2014 is the twelfth
such annual conference focusing on PST technologies. PST2014 provides a
forum for researchers world-wide to unveil their latest work in privacy,
security and trust and to show how this research can be used to enable
innovation.

PST2014 topics include, but are NOT limited to, the following:

- Privacy Preserving / Enhancing Technologies
- Critical Infrastructure Protection
- Network and Wireless Security
- Operating Systems Security
- Intrusion Detection Technologies
- Secure Software Development and Architecture
- PST Challenges in e-Services, e.g. e-Health, e-Government, e-Commerce
- Network Enabled Operations
- Digital forensics
- Information Filtering, Data Mining and Knowledge from Data
- National Security and Public Safety
- Cryptographic techniques for privacy preservation
- Security Metrics
- Recommendation, Reputation and Delivery Technologies
- Continuous Authentication
- Trust Technologies, Technologies for Building Trust in e-Business Strategy
- Observations of PST in Practice, Society, Policy and Legislation
- Digital Rights Management
- Identity and Trust management
- PST and Cloud Computing
- Human Computer Interaction and PST
- Implications of, and Technologies for, Lawful Surveillance
- Biometrics, National ID Cards, Identity Theft
- PST and Web Services/SOA
- Privacy, Traceability, and Anonymity
- Trust and Reputation in Self-Organizing Environments
- Anonymity and Privacy vs. Accountability
- Access Control and Capability Delegation
- Representations and Formalizations of Trust in Electronic and Physical
Social Systems

========================
SUBMISSIONS
========================

High-quality papers in all PST related areas that, at the time of
submission, are not under review and have not already been published or
accepted for publications elsewhere are solicited. Accepted papers will
be accepted as 'regular' papers up to 8 pages, or 'short' papers of up
to 4 pages. Up to 2 additional pages will be allowed in each category
with over-length charges. The standard IEEE two-column conference format
should be used for all submissions. A copy of the IEEE Manuscript
Templates for Microsoft Word or LaTeX and additional information about
paper submission and conference topics and events can be found at the
conference web site. All accepted papers will be published in the
conference proceedings and by IEEE and will be accessible via IEEE
Xplore Digital Library.

Best Paper and Best Student Paper awards will be presented.

=======================================
IMPORTANT DATES
=======================================
Submission Deadline: March 24, 2014
Notification of Acceptance: May 12, 2014
Final Manuscript Due: May 25, 2014
PST 2014: July 23-24, 2014

=======================================
FURTHER INFORMATION
=======================================

Additional information about paper submission and conference topics and
events can be found at the conference web site:
http://pst2014.ryerson.ca/

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

Message: 5
Date: Tue, 4 Mar 2014 00:52:26 +0200
From: Tarmo Uustalu <tarmo@cs.ioc.ee>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ETAPS 2014 2nd call for participation
Message-ID: <20140304005226.6b8ae5b3@duality>
Content-Type: text/plain; charset=UTF-8

To notice:

- Normal-rate registration is until Monday, 10 March 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

Normal-rate registration is until Monday, 10 March 2014.

After that date, late rates apply.

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

dmanet Digest, Vol 73, Issue 1

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. CLAIO Monterrey 2014: Call for Papers (Extended deadline)
(Roger Z Rios)
2. IPCO 2014: Summer School and Conference - Call for
Participation (Jens Vygen)
3. Metaheuristics for optimization problems (stefka fidanova)
4. Computational optimization (stefka fidanova)
5. FRICO 2014: Call for Registration (Stefan Weltge)
6. W2 Professorship at the Otto-von-Guericke University
Magdeburg, Germany (Alexander Pott)
7. BCTCS 2014 Registration Deadline Approaching (Paul Bell)

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

Message: 1
Date: Thu, 27 Feb 2014 08:20:05 -0600 (CST)
From: Roger Z Rios <rzrm@yalma.fime.uanl.mx>
To: DMANET <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] CLAIO Monterrey 2014: Call for Papers (Extended
deadline)
Message-ID: <Pine.GSO.4.60.1402270819330.1981@yalma.fime.uanl.mx>
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed

***
*** The paper submission deadline is extended to 15 March 2014
*** Only-abstract submission deadline remains on 01 May 2014
***

=================================================
CLAIO XVII / CSMIO III
Joint ALIO/SMIO Conference
Monterrey, Mexico
6-10 October 2014
http://pisis.fime.uanl.mx/claio2014/
=================================================

CALL FOR PAPERS

We invite members of the Latin-Iberian-American Association of
Operations Research (ALIO) and the worldwide Operational
Research (OR) community to take part in the
XVII Latin-Iberian-American Conference on Operations Research
held jointly with the III Conference of the Mexican Society of
Operations Research (CLAIO/CSMIO 2014) in Monterrey, Mexico,
October 6-10, 2014. The academic program will consist of parallel,
technical, plenary talks, tutorials, and short courses,
covering several aspects of OR.

ABSTRACT / PAPER SUBMISSION

To participate, an abstract of 1000 characters must be submitted. Additionally,
an 8-page paper going through a review process may be submitted.

Papers and abstracts may be written in Spanish, English, or
Portuguese, the three official languages of CLAIO. Accepted papers
of registered authors will be published in the conference proceedings
CD-ROM with an ISBN. All accepted abstracts will be published in
the conference book of abstracts.

A post-conference special issue of "Annals of Operations Research"
devoted to the best works of the conference will be published.
See details in the conference web site.

IMPORTANT DATES

15/Mar/2014 (Optional) Paper submission deadline (extended deadline).
01/May/2014 Abstract submission deadline.
15/May/2014 Paper acceptance/rejection notification.
01/Jun/2014 Abstract acceptance/rejection notification.
15/Jun/2014 Camera-ready paper deadline.
31/Jul/2014 Early registration deadline

CONFIRMED PLENARY SPEAKERS

Carlos Coello Coello, CINVESTAV-IPN, Mexico
Elena Fernandez, Universitat Politecnica de Catalunya, Spain
Hector Cancela, Universidad de La Republica, Uruguay
Jonathan F. Bard, U. of Texas at Austin, USA
Sheldon M. Ross, U. of Southern California, USA

CONFIRMED TUTORIAL SPEAKERS

Alexis Takvorian, Dell, USA
Andres Weintraub, Universidad de Chile, Chile
Ignacio Grossmann, Carnegie-Mellon University, USA
Jose Holguin-Veras, Rensselaer Polytechnic Institute, USA
Ruben Ruiz, Universitat Politecnica de Valencia, Spain

CONFIRMED MINI COURSE SPEAKERS

Angelica Lozano, UNAM
Cristina Gigola, ITAM
Eduardo Fernandez, UAS
Idalia Flores, UNAM
Juan A. Diaz, UDLA

COMMITTEES

Conference Chairs:
Jose Luis Gonzalez-Velarde (Tecnologico de Monterrey)
and Roger Z. Rios (UANL)

Program Committee: Chair - Manuel Laguna (U. of Colorado, USA)
Adenso Diaz (Universidad de Oviedo, Spain)
Andres Medaglia (Universidad de los Andes, Colombia)
Andres Weintraub (Universidad de Chile, Chile)
Belen Melian (Universidad de La Laguna, Spain)
Carlos Andres Romano (Universitat Politecnica de Valencia, Spain)
Carlos Paternina (Universidad del Norte, Colombia)
Francisco R. Angel-Bello (Tecnologico de Monterrey, Mexico)
Francisco Saldanha-da-Gama (Universidad de Lisboa, Portugal)
Gladys Maquera (Universidad Peruana Unin, Peru)
Gregorio Tirado (Universidad Complutense de Madrid, Spain)
Gulnara Baldoqun (Pontificia Universidad Javeriana, Colombia)
Irene Loiseau (Universidad de Buenos Aires, Argentina)
Joaquin Pacheco (Universidad de Burgos, Spain)
Jose Hernandez (Universidad Metropolitana de Caracas, Venezuela)
Lorena Pradenas (Universidad de Concepcion, Chile)
Luis Miguel Torres (Escuela Politecnica Nacional, Ecuador)
Maria Alvarez Rivas (Universidad Nacional Mayor de San Marcos, Peru)
Marita Urquhart (Universidad de La Republica, Uruguay)
Nelson Maculan (Universidad Federal de Rio de Janeiro, Brazil)
Onesimo Hernandez (CINVESTAV-IPN, Mexico)
Pablo Miranda (Pontificia Universidad Catolica de Valparaso, Chile)
Regina Berretta (University of Newcastle, Australia)
Vincent Boyer (UANL, Mexico)

Organizing Committee: Ada Alvarez (UANL), Angelica Salazar (UANL),
Fernando Camacho (UANL), Iris Martinez (UANL), Maricarmen Temblador
(Tecnologico de Monterrey), Romeo Sanchez (UANL), Tomas Sanchez
(Tecnologico de Monterrey), Yajaira Cardona (Tecnologico de Monterrey),
Yasmin Rios (UANL)

See you in Monterrey!!!!

_______________________________________________
PISIS-L mailing list
PISIS-L@lists.uanl.mx
http://lists.uanl.mx/mailman/listinfo/pisis-l

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

Message: 2
Date: Thu, 27 Feb 2014 17:59:06 +0100
From: Jens Vygen <vygen@or.uni-bonn.de>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] IPCO 2014: Summer School and Conference - Call for
Participation
Message-ID: <D3F8FCB8-014A-4DD6-8F69-D99F28B21978@or.uni-bonn.de>
Content-Type: text/plain; charset=iso-8859-1

Call for Participation
in the
17th Conference on
Integer Programming and Combinatorial Optimization
(IPCO XVII)
Bonn, Germany

Poster submission deadline: March 31, 2014
Early registration deadline: April 20, 2014
Summer school: June 20-22, 2014
IPCO Conference: June 23-25, 2014

Website for additional details and registration:
http://www.or.uni-bonn.de/ipco/

---

The IPCO conference is a forum for researchers and practitioners working on various aspects of integer programming and combinatorial optimization. The aim is to present recent developments in theory, computation, and applications. The scope of IPCO is viewed in a broad sense, to include algorithmic and structural results in integer programming and combinatorial optimization as well as revealing computational studies and novel applications of discrete optimization to practical problems.

---

Summer School:
The following distinguished lecturers will give two 90-minute lectures each (see the website for abstracts):

G?rard Cornu?jols (Carnegie Mellon University, Pittsburgh): Cut-generating functions in integer programming
Andr?s Frank (E?tv?s University, Budapest): Constructive characterizations
Thomas Rothvo? (University of Washington, Seattle): Extended formulations
David Shmoys (Cornell University, Ithaca): t.b.a.

---

IPCO conference:

34 papers, selected by the program committee (chaired by Jon Lee), will be presented in single-track sessions.
The detailed program is online now.
Each participant will receive a copy of the proceedings (Springer LNCS) at the conference.

---

Poster session:

We plan a poster session at the welcome reception on June 22.
If you want to present a poster, submit title and abstract before March 31.
Acceptance notifications will be sent a few days later.

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

Message: 3
Date: Fri, 28 Feb 2014 10:23:45 +0200
From: stefka fidanova <stefka.fidanova@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Metaheuristics for optimization problems
Message-ID:
<CAAL360tB+ipbb8fNtm5OdOA_34TcK=wh-Mp8n3UCTzHHfUnOEQ@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

Dear Colleagues,

On behalf of the Organizing Committee, we invite you to participate in
the special session (workshop) on "METAHEURISTICS FOR OPTIMIZATION
PROBLEMS" at the
8th Conference on Numerical Methods and Applications NM&A'14,
to be held 20-24 August 2014 in Borovets, Bulgaria.
The session is organized by:
Assoc. Prof. Stefka Fidanova (stefka@parallel.bas.bg)
from the Institute of Information and Communication Technologies,
Bulgarian Academy of Sciences and
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.

Topics

The list of topics includes, but is not limited to:

- unconstrained and constrained optimization
- combinatorial optimization
- global optimization
- multi-objective optimization
- optimization in dynamic and/or noisy environments
- large scale optimization
- parallel and distributed approaches in optimization
- random search algorithms (simulated annealing, tabu search, free
search and other derivative free optimization methods).
- nature inspired optimization methods (evolutionary algorithms,
ant colony optimization, particle swarm optimization, immune
artificial systems etc.).
- hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
- optimization methods for learning processes and data mining
- computational optimization methods in statistics, econometrics,
finance, physics, medicine, biology, engineering etc

Proceedings
The refereed and presented papers will be published as a special
volume of Springer Lecture Notes in Computer Science (LNCS).

Important deadlines
Deadline for submission of abstracts
April 15, 2014
Notification of acceptance of the talks on the basis of the
submitted abstract
April 30, 2014
Deadline for submission of full papers
May 15, 2014
Notification of acceptance of full papers
June 30, 2014
Submission of accommodation forms
July 15, 2014

Abstracts and contributed papers
The abstracts (up to 1 page stating clearly the originality of the
results) are to be written in standard LaTeX. The length of the
contributed papers is limited up to 8 pages. It is assumed that one
participant will present not more than one talk.

Send the abstracts and papers to special session organizers and
conference organizers, indicating the name of the special session.
After sending the abstract go to the conference web page and fill in
the registration form (personal data of the participants, minimum one
per paper, and the name of the special session).

Information about abstract and paper preparation, accommodation,
transportation, registration form and conference location you can find
at the conference web page http://parallel.bas.bg/dpa/NMA_2014/

Special session organizers
Assoc. Prof. S. Fidanova, Institute of Parallel Processing, Bulgarian Academy of
Science, stefka@parallel.bas.bg
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.

--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642

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

Message: 4
Date: Fri, 28 Feb 2014 10:28:37 +0200
From: stefka fidanova <stefka.fidanova@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Computational optimization
Message-ID:
<CAAL360vAh6qrECepM=B54N0QRZzu=oB2CcXzypDW6k05Qx-YUw@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

[Please post - apologies for multiple copies.]

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

Call for Papers

7th Workshop on Computational Optimization (WCO 2014
Warsaw, Poland, September 7 - 10, 2014

organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2014

http://www.fedcsis.org/

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

We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:

* unconstrained and constrained optimization
* combinatorial optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
*computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, medicine, engineering etc

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

Important dates:

11.04.2012 (April 11, 2014) - Full paper submission

12.05.2014 (May 12, 2014) - Position paper submission

19.05.2011 (May 19, 2014) - Notification of acceptance

17.06.2012 (June 17, 2014) - Camera-ready version of the accepted
paper and registration

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

Submission and Publication

* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 8 pages (IEEE style).
IEEE style templates are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented paper will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s), we will announce later the
publisher.
====================

If you have any question do not hesitate to send a mail to wco2014@fedcsis.org .

Organizing Committee

Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Daniela Zaharie, West University of Timisoara, Romania
Antonio Mucherino, IRISA, France

--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642

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

Message: 5
Date: Fri, 28 Feb 2014 09:39:22 +0100
From: Stefan Weltge <weltge@ovgu.de>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] FRICO 2014: Call for Registration
Message-ID: <53104B3A.90409@ovgu.de>
Content-Type: text/plain; charset=ISO-8859-15; format=flowed

FRICO 2014
Future Research in Combinatorial Optimization

July 30 - August 02, 2014
Magdeburg, Germany
http://www.frico.ovgu.de

Workshop for young researchers (students, Ph.D. students, postdocs)

********************** CALL FOR REGISTRATION ************************

We are pleased to announce that this year's FRICO will take place at
Institute of Mathematical Optimization, Otto-von-Guericke-Universit?t
Magdeburg, Germany.

FRICO 2014 is the 18th workshop in a sequence of successful meetings
that bring together young researchers in order to establish new contacts
and exchange ideas in the field of combinatorial optimization.

FRICO is intended to be a workshop in the original meaning of the word.
In particular, we encourage the submission and presentation of on-going
and future research (even work containing gaps and unsolved problems).
Besides plenty of time between sessions, there will be a social program
that allows participants to exchange ideas and have fruitful discussions.

Participation is free of charge. Registration due date: May 31, 2014

As in the tradition of previous FRICOs, a best-talk prize will be
awarded. Furthermore, we also plan to invite partners from the industry
to highlight the application of combinatorial optimization in practice.

More information on http://www.frico.ovgu.de

The FRICO team

Julia Lange
Matthias Walter
Stefan Weltge

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

Message: 6
Date: Fri, 28 Feb 2014 12:53:20 +0100
From: Alexander Pott <alexander.pott@ovgu.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] W2 Professorship at the Otto-von-Guericke University
Magdeburg, Germany
Message-ID: <20140228125320.69776sbxqm8fwmgg@webmail.uni-magdeburg.de>
Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes";
format="flowed"

The Faculty for Mathematics of the Otto-von-Guericke-University Magdeburg,
Germany, invites applications for a

W2-Professorship for Pure Mathematics

at the Institute of Algebra and Geometry, to be filled as
soon as possible. A W2-Professorship is comparable to an
Associate Professorship.

We are looking for an internationally renowned scientist in the field
of Combinatorics, ideally with a focus in Algebraic or Geometric
Combinatorics.

More information is available through

www.uni-magdeburg.de/unimagdeburg/en/University/Job+Seekers/Job+Advertisements+for+Professorships.html

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

Prof. Dr. Alexander Pott
Faculty for Mathematics
Otto-von-Guericke-University Magdeburg
39106 Magdeburg

alexander.pott@ovgu.de

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

Message: 7
Date: Sat, 1 Mar 2014 19:56:15 +0000
From: Paul Bell <P.Bell@lboro.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] BCTCS 2014 Registration Deadline Approaching
Message-ID:
<C3BD61A15B13EC4CA62A9962F31E9D313070ADA5@ITSMBX-4.lunet.lboro.ac.uk>
Content-Type: text/plain; charset="us-ascii"

30th British Colloquium for Theoretical Computer Science (BCTCS)

9th to 11th April 2014
Loughborough University
http://bctcs.lboro.ac.uk/

*** DEADLINE for guaranteed on-campus accommodation: 11 MARCH ***
*** DEADLINE for bursary applications: 7 MARCH ***

REGISTRATION OPEN - PLEASE REGISTER EARLY

We must start to release pre-booked accommodation on 11th March, please book early to ensure rooms are available.

INVITED SPEAKERS

BCTCS 2014 will include invited lectures by the following distinguished speakers:

* Leszek Gasieniec (Liverpool)
* Achim Jung (Birmingham)
* Timo Koetzing (Jena)
* Jeffrey Shallit (Waterloo) LMS-sponsored Keynote Speaker in Discrete Mathematics

STUDENT BURSARIES
DEADLINE: 7th MARCH

A small number of student bursaries are still available. The bursaries are intended to cover registration, accommodation, meals, all sessions and 1 year's EATCS membership.

CONTRIBUTED TALKS

Participants at the colloquium are encouraged to present a contributed talk. Abstracts of contributed talks can be uploaded when registering. The abstracts of accepted contributed talks will be published in the Bulletin of the European Association for Theoretical Computer Science (EATCS).

ORGANISATION AND FURTHER INFORMATION

More information about the meeting including updates is available from the conference webpages at: http://bctcs.lboro.ac.uk/

Queries can be sent to: bctcs@lboro.ac.uk

We hope to see you in Loughborough in April!

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

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 73, Issue 1
*************************************