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
*************************************
No comments:
Post a Comment