Wednesday, April 9, 2014

dmanet Digest, Vol 74, Issue 10

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

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

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

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


Today's Topics:

1. Second call for papers: APAL special issue on games for logic
and programming languages (Guy McCusker)
2. 36 month postdoc position at Bath (Guy McCusker)
3. Postdoctoral position - UWA (Perth, Australia) (Gordon Royle)
4. School on Parameterized Algorithms and Complexity (second
announcement, and application details) (Marcin Pilipczuk)
5. PhD Thesis proposal: belief functions in optimization
(Daniel Porumbel)
6. PCCR 2014: 2nd Workshop on the Parameterized Complexity of
Computational Reasoning (sergeg@cse.unsw.edu.au)
7. ACM CHANTS 2014 (co-located with ACM MobiCom): initial
announcement and call for papers (Elisabetta Biondi)


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

Message: 1
Date: Tue, 8 Apr 2014 07:12:29 +0100
From: Guy McCusker <G.A.McCusker@bath.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Second call for papers: APAL special issue on games
for logic and programming languages
Message-ID: <40FBCB43-0346-4106-BBDD-7F96118F80F5@bath.ac.uk>
Content-Type: text/plain; charset=us-ascii


ANNALS OF PURE AND APPLIED LOGIC (APAL)

SPECIAL ISSUE ON GAMES FOR LOGIC AND PROGRAMMING LANGUAGES

CALL FOR PAPERS

TOPIC

Game semantics has emerged as a new and successful paradigm in the field of semantics of logics and programming languages. Game semantics made its breakthrough in computer science in the early 90s, providing an innovative set of methods and techniques for the analysis of logical
systems. Subsequently, game-semantic techniques led to the development of the first syntax-independent fully-abstract models for a variety of programming languages, ranging from the purely functional to languages effects such as control, references or concurrency. Nowadays, game semantics has expanded to a variety of fields in theory and analysis of computation, such as theories of concurrency, semantics of lambda calculi and proofs, program analysis, model checking and hardware synthesis.

This special issue, based on the GALOP workshop held at Queen Mary University of London in 2013 (see http://www.gamesemantics.org/galop-viii), aims to reflect new developments in this area.

Topics of interest for contributions to the journal issue include, but are not limited to game semantics and its applications to:

- Game theory and interaction models in semantics
- Games-based program analysis and verification
- Logics for games and games for logics
- Algorithmic aspects of games
- Categorical aspects
- Programming languages and full abstraction
- Higher-order automata and Petri nets
- Geometry of Interaction
- Ludics
- Epistemic game theory
- Logics of dependence and independence
- Computational linguistics


SUBMISSIONS

Submissions must be original work, which has not been previously published in a full form and is not currently under review for publication elsewhere.

Please submit submissions following APAL's style
(http://authors.elsevier.com/JournalDetail.html?PubID=505603)
on the following easychair link: https://www.easychair.org/conferences/?conf=apalgalop2013

The deadline for submission is May 31st, 2014.

GUEST EDITORS

Martin Hyland (University of Cambridge)
Guy McCusker (University of Bath)
Nikos Tzevelekos (Queen Mary University of London)


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

Message: 2
Date: Tue, 8 Apr 2014 07:13:18 +0100
From: Guy McCusker <G.A.McCusker@bath.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] 36 month postdoc position at Bath
Message-ID: <5F2120D2-EEC6-4C6F-8618-BAC7D1043A44@bath.ac.uk>
Content-Type: text/plain; charset=iso-8859-1

A 36-month postdoctoral research position is available at the University of Bath, to work on the EPSRC-funded project "Algebra and Logic for Policy and Utility in Information Security (ALPUIS)."

Please send informal enquiries to Guy McCusker -- G.A.McCusker@bath.ac.uk -- and make applications viahttps://www.bath.ac.uk/jobs/Vacancy.aspx?ref=XVH2268

All the best,

Guy McCusker.

---

Research Associate - Computer Science (fixed-term) https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=XVH2268
Salary: Starting from ?30,728, rising to ?31,664
Closing Date: Tuesday 15 April 2014
Reference: XVH2268
Applications are invited for a postdoctoral position at the University of Bath as part of the EPSRC-funded projectAlgebra and Logic for Policy and Utility in Information Security (ALPUIS).

As an integral member of the ALPUIS team, you will contribute to an interdisciplinary project combining techniques from theoretical computer science (process algebra, logic) with ideas from economics (utility theory) to develop new methodologies for modeling, analyzing and making decisions about information security policy. The ALPUIS consortium comprises mathematicians, economists and policy experts from the University of Bath, University College London, the University of Aberdeen and the University of Exeter. The ideal candidate will bridge between the mathematical theory and realistic examples, producing models that reflect the theoretical development and can scale to describe and address questions of significance in security policy.

Candidates should have, or shortly be expected to complete, a PhD in an area of relevance to the project. Expertise in the use of logical methods to describe and reason about the behaviour of processes or agents would be particularly desirable.

Interviews will be held in April

This is a fixed term post for 36 months


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

Message: 3
Date: Tue, 8 Apr 2014 14:50:10 +0800
From: Gordon Royle <gordon.royle@uwa.edu.au>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Postdoctoral position - UWA (Perth, Australia)
Message-ID: <E50E6972-BCEE-4E70-A26C-B09EB58D951B@uwa.edu.au>
Content-Type: text/plain; charset="us-ascii"

I am seeking a research associate (aka postdoc) who should ideally be someone just completed or with a few years post-PhD research expereience.

The project is studying the real chromatic roots of graphs and matroids, so experience with

- graph polynomials (Tutte, chromatic etc), and/or partition function of the q-state Potts model
- the roots of these polynomials, basic complex analysis
- relationship between graphs and matroids, role of minor-closed classes etc

would be well-received.

Details of rhe application procedure can be found here:

http://external.jobs.uwa.edu.au/cw/en/job/492887/research-associate-ref-492887

Starting date is flexible, and depends on availability of candidate, but sometime in 2014 would be best.

Professor Gordon Royle
School of Mathematics and Statistics
University of Western Australia
Gordon.Royle@uwa.edu.au
















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

Message: 4
Date: Tue, 8 Apr 2014 09:45:20 +0200 (CEST)
From: Marcin Pilipczuk <malcin@mimuw.edu.pl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] School on Parameterized Algorithms and Complexity
(second announcement, and application details)
Message-ID: <alpine.LNX.2.00.1404080944001.30317@duch.mimuw.edu.pl>
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII

School on Parameterized Algorithms and Complexity

when: 17-22 August 2014
where: Conference Center in Bedlewo, Poland.

The school program will contain basic introductory courses as well as an
overview of very recent developments, including many exercises and open
problems. We target at interested excellent master students, grad students
and young researchers willing to join the research in parameterized
algorithms and complexity. However, even a more experienced participant
will find many of the presentations interesting and fruitful.

Please apply by 30 April 2014, through the form at
http://fptschool.mimuw.edu.pl/index.php/application

More info at http://fptschool.mimuw.edu.pl


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

Message: 5
Date: Tue, 8 Apr 2014 10:58:00 +0200
From: Daniel Porumbel <daniel.porumbel@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD Thesis proposal: belief functions in
optimization
Message-ID:
<CADVGAp-bShjoeKExyLXy5-_Ps6sqLSryJHwd87ZEuHoMVA5KXg@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

(Our apologies if you receive multiple copies of this message)

Hello,

Please find below a PhD proposal. We encourage interested
candidates to apply relatively *soon*.

http://www.lgi2a.univ-artois.fr/~porumbel/phd2014.pdf

Best regards,
Daniel Porumbel
Artois University (part of Univ. Lille Nord de France)


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

Message: 6
Date: Tue, 8 Apr 2014 23:07:48 +1000
From: sergeg@cse.unsw.edu.au
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PCCR 2014: 2nd Workshop on the Parameterized
Complexity of Computational Reasoning
Message-ID:
<070f23495e666c21901cd1a30a0c8c33.squirrel@webmail.cse.unsw.edu.au>
Content-Type: text/plain;charset=iso-8859-1

Call for papers and participation

PCCR 2014
2nd Workshop on the Parameterized Complexity of Computational Reasoning
July 17-18, 2014, Vienna, Austria

http://vsl2014.at/pccr/

It is our pleasure to announce PCCR 2014. It will be held during the
Vienna Summer of Logic 2014, the largest logic event in history with an
expected 2500 participants.

*Important Dates*

Submission deadline: 9 May 2014
Notification: 16 May 2014
Camera-ready deadline: 23 May 2014

*Aims and Scope*

PCCR 2014 aims to support a fruitful exchange of ideas between the
research on parameterized complexity on one side and the research on
various forms of computational reasoning (such as nonmonotonic,
probabilistic, and constraint-based reasoning) on the other.

Topics of interest include but are not limited to: multivariate analysis
of reasoning problems, kernelization and preprocessing, fixed-parameter
tractability and hardness, backdoors and decompositions.

The workshop will feature invited and contributed talks with surveys and
new technical results, an open problem session, and a panel discussion on
future research directions. Apart from talks on parameterized complexity
we are also interested in presentations that highlight structural
parameters that have not been studied within the framework of
parameterized complexity so far.

*Invited speakers*

- Georg Gottlob (University of Oxford, UK),
- D?niel Marx (Hungarian Academy of Sciences (MTA SZTAKI), Hungary), and
- Stefan Szeider (Vienna University of Technology, Austria).

*Submission Instructions*

If you would like to give a talk at the workshop, please submit a 1-2 page
PDF abstract of your talk via Easychair
https://www.easychair.org/conferences/?conf=pccr2014
by the submission deadline. This abstract will be included in the
non-archival FLoC/VSL 2014 proceedings which will be distributed to all
FLoc/VSL 2014 participants on a USB drive. The abstract and talk can be
based on published and unpublished results, and we welcome overview and
survey talks, besides regular technical talks. Contributed talks are
expected to be around 30 minutes each.

See you at PCCR 2014,
Michael R. Fellows, Serge Gaspers, and Toby Walsh (organisers)




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

Message: 7
Date: Tue, 08 Apr 2014 16:08:01 +0200
From: Elisabetta Biondi<chants14_publicity@iit.cnr.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ACM CHANTS 2014 (co-located with ACM MobiCom):
initial announcement and call for papers
Message-ID: <534402c1.6X/qQAhje7v66gsw%chants14_publicity@iit.cnr.it>
Content-Type: text/plain; charset=us-ascii

*************************************
[Our sincere apologies if you receive multiple copies of this message]
*************************************

______________________________________________________________________

ACM CHANTS 2014 - 9th Workshop on Challenged Networks
co-located with ACM MobiCom 2014
7 September 2014, Maui, Hawaii, USA

www.acm-chants.org/14


Supported by the FP7 EU MOTO project
http://www.fp7-moto.eu
______________________________________________________________________


SCOPE AND OVERVIEW
__________________

Challenged networks comprise those situations where communication is desired,
but traditional Internet architectures fail to provide it effectively.
Such networks may be characterized by intermittent connectivity, a heterogeneous
mix of nodes, nodal churn, and widely varying network conditions. Traditional
examples of challenged networks include inter-planetary networks, sensor and
wildlife monitoring networks, underwater networks, rural and remote areas,
and military battlefields. Recently, challenged networking has also found
applications in everyday settings, for which they were not initially conceived,
such as opportunistic networking supporting data-centric communications,
traffic offloading from cellular networks, mobile cloud computing,
opportunistic and participatory sensing. Inter-disciplinary approaches to
challenged networking protocols are also successfully explored, exploiting,
for example, findings in the area of social networking.
The availability of enabling technologies in mobile devices, such as
WiFi direct in Android and D2D communication in latest LTE releases, will
further push towards practical developments of challenged networking solutions.

This workshop builds on the success of the eight previous CHANTS workshops,
and WDTN 2005, to stimulate research on the most novel and challenging topics
of challenged network research. CHANTS provides an ideal venue for researchers
and engineers to present cutting-edge work and results, as research papers or demos,
in the following topics:

- Delay/disruption-tolerant networks (DTNs)
- Opportunistic communication and computing
- Architecture, design, and implementation of communication systems for challenged networks
- Modeling, analysis and characterization of challenged networks and protocols
- Network Coding in Challenged Networks
- Information Centric and Content-centric Networking in Challenged Networks
- Security/Trust/Privacy concerns and solutions in challenged networks
- Case studies involving real challenged network solutions in various stages of development or use
- Applications of challenged networks in disrupted scenarios (e.g. disaster relief and emergency management)
and in daily use (e.g., vehicular networks, mobile social networking, censorship evasion,
crowdsourcing, sensor networks)
- Green and energy-efficient communication using challenged networks
- Real-world mobility trace collection, analysis, and modeling for challenged environments
- Network science methods for challenged networks
- Mobile data offloading via challenged networks
- Test and simulation tools for evaluating challenged network systems
- Configuration, management, and monitoring of challenged networks
- Challenged networking techniques for mobile cloud
- Challenged networking techniques for participatory and opportunistic sensing

Selected papers will be forward-looking, will describe their relationship to existing work,
and will have impact and implications for ongoing or future research. We aim to have a
highly interactive workshop, also including demos, which have been an integral part of CHANTS.
Paper authors who can also run a demo of their work will be encouraged to do so.
In exceptional cases, where live demos are simply not practical to present, poster or video
presentations of practical results are acceptable.


PAPER FORMAT AND SUBMISSION INSTRUCTIONS
________________________________________

Papers should neither have been published elsewhere nor being currently under review by another
conference or journal. Submitted papers must be no more than 6 pages long, and should adhere to
the standard ACM conference proceedings format. Demo proposals (to be published as part of the
proceedings) must not be longer than 3 pages plus 1 page description of the precise setup and
requirements (the 1-page setup description will not be published in the proceedings).
Papers will be reviewed single blind.
Please follow the submission link at: http://www.acm-chants.org


EDITORIAL FOLLOW-UPS
_____________________

Extended versions of the selected workshop papers will be considered for
possible fast track publication on the Computer Communications Journal (Elsevier),
in a special section on Challenged Networks.


IMPORTANT DATES
_______________

Abstract Registration: 1 June 2014
Submission Deadline: 8 June 2014
Authors Notification: 20 July 2014
Camera Ready Due: 27 July 2014
Workshop: 7 September 2014



ORGANIZING COMMITTEE
____________________

Program Committee Chairs
- Mario Gerla (UCLA, USA)
- Andrea Passarella (IIT-CNR, Italy)

Technical Program Committee
- Mostafa Ammar (Georgia Institute of Technology, USA)
- Aruna Balasubramanian (University of Washington, USA)
- Fehmi Ben Abdesslem (SICS Swedish ICT, Sweden)
- Chiara Boldrini (IIT-CNR, Italy)
- Scott Burleigh (Jet Propulsion Laboratory, California Institute of Technology, USA)
- Guohong Cao (Penn State University, USA)
- Vania Conan (Thales Communications & Security, France)
- Marco Conti (IIT-CNR, Italy)
- Marcelo Dias de Amorin (UPMC, France)
- Roberto Di Pietro (Roma Tre University of Rome, Italy)
- Do Young Eun (North Carolina State University, USA)
- Stephen Farrell (Trinity College Dublin, Ireland)
- Ahmed Helmy (University of Florida, USA)
- Tristan Henderson (University of St Andrews, UK)
- Pan Hui (Deutsche Telekom Laboratories/Hong Kong Univ. of Science and Technology, Hong Kong)
- Karin Anna Hummel (ETH Zurich, Switzerland)
- Mohan Kumar (Rochester Institute of Technology, USA)
- Kyunghan Lee, (UNIST Ulsan National Institute of Science and Technology, Korea)
- Uichin Lee (KAIST-KSE, Korea Advanced Institute of Science and Technology, Korea)
- Anders Lindgren (SICS Swedish ICT, Sweden)
- Giovanni Neglia (INRIA Sophia-Antipolis, France)
- Melek Onen (EURECOM, France)
- Joerg Ott (Aalto University, Finland)
- Elena Pagani (University of Milan, Italy)
- Andreea Hossmann-Picu (ETH Zurich, Switzerland)
- Thrasyvoulos Spyropoulos (EURECOM, France)
- Stavros Toumpis (Athens University of Economics and Business, Greece)
- Eiko Yoneki (University of Cambridge, UK)

Steering Committee
- Kevin Almeroth, UC-Santa Barbara, USA
- Mostafa Ammar, Georgia Tech, USA
- Christophe Diot, Technicolor, France
- Deborah Estrin, UC-Los Angeles, USA
- Kevin Fall, Carnegie Mellon University, USA
- Jorg Ott, Aalto University, Finland
- James Scott, Microsoft Research Cambridge, UK

Publicity Co-Chairs
- Elisabetta Biondi (IIT-CNR, Italy)
- Sungwon Yang (UCLA, USA)

Web Chair
- Fehmi Ben Abdesslem (SICS Swedish ICT, Sweden)

For more information, please check out www.acm-chants.org or write to
the workshop co-chairs at chants2014@iit.cnr.it


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

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

Tuesday, April 8, 2014

dmanet Digest, Vol 74, Issue 9

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

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

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

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


Today's Topics:

1. Call for Papers: 14th Haifa Workshop on Graph Theory,
Combinatorics, and Algorithms -- June 11-13, 2014
(Prof. Martin Charles Golumbic)
2. New Date for Submission and New Call for Announcement ?
Conference CSDM 2014 (roda@lix.polytechnique.fr)
3. new deadline Computational optimization (stefka fidanova)
4. Postdoc position in applied cryptography (Ralf Kuesters)
5. Professorship (W2/associate) for Stochastic Processes and
their Applications (Mathias Schacht)


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

Message: 1
Date: Sun, 6 Apr 2014 16:57:31 +0300 (IDT)
From: "Prof. Martin Charles Golumbic" <golumbic@cs.haifa.ac.il>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Call for Papers: 14th Haifa Workshop on Graph
Theory, Combinatorics, and Algorithms -- June 11-13, 2014
Message-ID: <alpine.LNX.2.00.1404061627580.16859@cs.haifa.ac.il>
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII

Deadline for submission is April 30, 2014


The Caesarea Rothschild Institute at the University of Haifa announces the
second CALL FOR PAPERS for contributed talks for our

14th Haifa Workshop on Interdisciplinary Applications of
Graph Theory, Combinatorics, and Algorithms
<http://www.cri.haifa.ac.il>

Wednesday-Friday, June 11-13, 2014


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

INVITED SPEAKERS: (alphabetically ordered)

Paz Carmi (Ben-Gurion University, Israel)
L. Sunil Chandran (Indian Institute of Science, Bangalore, India)
Irit Dinur (Weizmann Institute, Israel)
Philip Klein (Brown University, USA)
Carey E Priebe (Johns Hopkins University, USA)

The 5th Uri N. Peled Memorial Lecture will be give by

Edward Scheinerman, co-chair (Johns Hopkins University, USA)

Contributed Talks accepted in the Early Submission call include:
Lowell Abrams (George Washington University, USA)
Charles Colbourn (Arizona State University, USA)
John M. Conroy (IDA, USA)
Adriana Hansburg (UNAM Juriguilla, Mexico)
Ephraim Korach (Ben Gurion University, Beer Sheva, Israel)
Craig Larson (Virginia Commonwealth University, USA)
Vince Lyzinski (Johns Hopkins University, USA)
David Tankus (Ariel University, Israel)

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

CALL FOR PAPERS:
Deadline for submission is April 30, 2014.

Submissions for contributed talks are invited for this year's workshop.
The workshop emphasizes the diversity of the use of combinatorial
algorithms and graph theory in application areas. Examples of such
areas of interest include:

- Randomized Algorithms - Networking
- Graph Algorithms - Internet Congestion and Patterns
- Computational Biology - Applied Combinatorics
- Web Applications - Geometric Graphs and Computation
- Optimization - Graph Theoretic Models

The workshop is non-archival and has no proceedings;
accepted abstracts will be available online. Papers that have been
accepted to recent top international conferences are particularly
welcome, and should be so indicated in the submission.

IMPORTANT DATES:

Early Submission: until January 30, 2014 (completed)
Regular Submission: April 30, 2014
Notification: May 15, 2014
Workshop: June 11-13, 2014 (This year's Haifa Graph Workshop is also a
satellite workshop of the joint meeting of the IMU-AMS to
be held the following week in Tel Aviv and Bar-Ilan
See -- http://imu.org.il/Meetings/IMUAMS2014/index.html

Please submit abstracts (1-2 pages) to HaifaGraphWorkshop2014@gmail.com

REGISTRATION:

The registration site will open shortly after Pesach.

Please visit: http://www.cri.haifa.ac.il

WORKSHOP COMMITTEE:

Martin Charles Golumbic, co-chair (University of Haifa, Israel)
Edward Scheinerman, co-chair (Johns Hopkins University, USA)
Michal Stern, program co-chair (Academic College of Tel-Aviv Jaffa, Israel)
Oren Weimann, program co-chair (University of Haifa, Israel)
Esther Arkin (Stony Brook, USA)
Nili Beck (Academic College of Tel-Aviv Jaffa, Israel)
Haim Kaplan (Tel Aviv University, Israel)
Craig Larson (Virginia Commonwealth University, USA)
Gila Morgenstern (Sapir College, Israel)
Gaia Nicosia (University Roma Tre, Italy)
Aaron Roth (University of Pennsulvania, USA)
Romitt Rubinfeld (MIT, USA and Tel Aviv University, Israel)
Mordechai Shalom (Tel Haifa Academic College, Israel)
Richard Stanley (Massachusetts Institute of Technology, USA)
Andrew Yao (Tsinghua University, China)
Shira Zucker (Sapir College)

For further inquiries, please contact the CRI coordinator:
Mrs. Danielle Friedlander <dfridl1@univ.haifa.ac.il> Tel: +972-4-8288337




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

Message: 2
Date: Mon, 7 Apr 2014 12:21:55 +0200
From: roda@lix.polytechnique.fr
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] New Date for Submission and New Call for
Announcement ? Conference CSDM 2014
Message-ID:
<f25340d521179b3b60c4289a4f46492b.squirrel@webmail.lix.polytechnique.fr>

Content-Type: text/plain;charset=utf-8

CSD&M Paris 2014

5th International Conference on Complex Systems Design & Management

November 12-14, 2014 - Hotel de la Maison des Arts et M?tiers (Paris, France)

LAST CALL FOR PAPERS & NEW CALL FOR ANNOUNCEMENT
----------------------------------------------------------------------------

Designing complex industrial systems is a fundamental strategic challenge
for all industries. This spawned the relatively new academic field of
"system architecture & engineering", producing a body of research that
allows engineers to manage the increasing complexity of the technical
systems they design. This field is at the interface between industry and
academia, and requires its practitioners to understand the industrial
concrete contexts as well as to master a strong theoretical background.
Thus, the ambition of the 5th CSD&M conference is to be the meeting of
reference for the industrial and academic environments working in the
design and management of complex industrial systems.


LAST CALL FOR PAPERS - EXTENDED DEADLINE
? Abstract submission (optional): March 26, 2014
? Paper submission deadline: April 9, 2014 -> Extended to April 16, 2014
midnight (French time)
? Results announcement: May 30, 2014
? Final version for publication: June 30, 2014
? Conference: November 12-14, 2014
? Best papers awards: November 14, 2014

PAPERS SUBMISSION PROCEDURE

As the CSD&M conference is both industrial and academic, the papers'
topics could be industrial, academic or both in transverse. About twenty
selected papers will be fully published in the conference proceedings and
shall give a 30-min contributed talk at dedicated session. Some twenty
other papers will be selected for Poster Workshop of the conference and
have one-page abstract published in the same proceedings (printed by
SPRINGER VERLAG with an ISBN number). Full version of papers selected for
Poster Workshop can also be published in the online scientific journal:
CEUR-WS.

The Program Committee will award the best CSD&M 2014 papers in 2
categories: 1 prize of 2.000? for the best academic or/and industrial
paper and 1 prize of 1.000? for the best student paper.

For more details and submission, see:
http://www.csdm2014.csdm.fr/-Submission-.html


NEW: CALL FOR ANNOUNCEMENT - Significant projects, results or events

CSD&M 2014 proposes new 5-minutes slots dedicated to announcements of
interest relatively to significant innovative, professional, technological
projects, results or events. Please submit a one-page PDF maximum
description of your paper before October 31st, 2014 by email to
announrcements@csdm.fr for selection. For more details, see:
http://www.csdm2014.csdm.fr/NEW-CALL-FOR-ANNOUNCEMENT.html


CONFERENCE TOPICS

? Industrial domains: Aeronautics & Aerospace, Transport constructors &
operators, Defense & security, Electronics & robotics, Energy &
environment, Health & welfare services, Media & communications, Software &
e-services.
? Scientific and technical topics: Systems fundamentals, Systems modeling,
Systems architecture, Systems engineering, Industrial projects, Systems
metrics, Systems quality, Systemic tools.
? Systems types: Embedded systems, Transportation systems, Software
systems, Information systems, Systems of systems, artificial eco-systems.

MORE DETAILS

? More information can be found on the conference website:
www.csdm2014.csdm.fr
? For any question, please email to: contact@csdm.fr









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

Message: 3
Date: Mon, 7 Apr 2014 14:34:01 +0300
From: stefka fidanova <stefka.fidanova@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] new deadline Computational optimization
Message-ID:
<CAAL360s-hofQBq7axTS3mUuDKDtcZmipAhj_UnS3Nxz0t4FJpw@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:

23.04.2012 (April 23, 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: 4
Date: Mon, 7 Apr 2014 17:00:49 +0200
From: Ralf Kuesters <kuesters@uni-trier.de>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Postdoc position in applied cryptography
Message-ID: <5342BDA1.8060202@uni-trier.de>
Content-Type: text/plain; charset="ISO-8859-1"

Subject: Postdoc position in applied cryptography

The Chair for Information Security and Cryptography at
University of Trier, Germany, offers

a full-time position for a postdoctoral researcher

in a project funded by the German Research Foundation (DFG). The goal
of the project is to develop methods for the modular analysis of
real-world cryptographic protocols.

We offer a creative international environment and the possibility to
participate in internationally leading research.

The position is available immediately, with an internationally
competitive salary. The starting date is negotiable. Contracts can
initially be offered for up to three years, with the perspective of an
extension.

There are no teaching obligations.

The successful candidate must have a Master's degree (or an equivalent
degree) in Computer Science, Mathematics, or a related discipline, and
have completed, or be near completion of a PhD degree relevant to the
research area of the project. You should have a proven high level of
analytical capability and mathematical skills. Good English skills
are expected; knowledge of German is not required. Candidates with
severe disabilities will be given priority in case their qualification
level is the same as that of other applicants.

Applications should include:
* CV (including your contact address and work experience)
* Transcripts of all courses and grades for your Bachelor and Master
program
* Publication list
* Research statement, including a summary of your PhD thesis
* Contact details of at least two references

Please send your application by e-mail to Ralf Kuesters
(kuesters (at) uni-trier.de), with the aforementioned documents attached
in pdf format. Applications should be submitted by

May 2nd, 2014.

However, late applications will be considered until the position is filled.

For further inquiries please contact Ralf Kuesters by phone
or email.


Prof. Dr. Ralf Kuesters
Universitaet Trier
FB IV - Informatik
54286 Trier, Germany
Email: kuesters (at) uni-trier.de
Phone: +49 (0)651 2012852
http://infsec.uni-trier.de/


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

Message: 5
Date: Mon, 07 Apr 2014 17:00:51 +0200
From: Mathias Schacht <schacht@math.uni-hamburg.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Professorship (W2/associate) for Stochastic
Processes and their Applications
Message-ID: <5342BDA3.1020003@math.uni-hamburg.de>
Content-Type: text/plain; charset=ISO-8859-15

Dear colleagues,

the School of Mathematics, Informatics and Natural Sciences
at the University of Hamburg invites applications for a

W2 Professorship
for Stochastic Processes and their applications

Applicants are expected to have international research experience as
well as a successful track record in acquiring external funding and
carrying out externally-funded projects. The University places particular
emphasis on the quality of teaching and therefore requests applicants to
provide details of both their teaching experience and objectives.

Universit?t Hamburg seeks to increase the proportion of women in
teaching and research and we therefore explicitly encourage qualified
female academics to apply. Qualified female applicants receive preference
in the application process.

The successful candidate is expected to conduct research and teach in the
field of stochastic processes and their applications. Applicants shall
demonstrate an outstanding record of research publications in a topical
area of stochastic processes like stochastic analysis or discrete
stochastic
processes that complements the existing fields of research of the group
"Probability Theory and Mathematical Statistics" of the Department of
Mathematics. The successful candidate is expected to cooperate with other
groups in the Department of Mathematics (preferably with the group on
"Applied Mathematics") and within the Faculty of Mathematics, Informatics
and Natural Sciences. Moreover, she or he shall strengthen the research
activities of the "Lothar Collatz Center for Computing in Science".

The deadline for applications is 08 May 2014.

Please submit your application, including the teaching concept, the
certificates
and reference code 2192/W2

to:

An den
Pr?sidenten der Universit?t Hamburg
Organisationsreferat
Ausschreibungsstelle
Mittelweg 177
20148 Hamburg
Germany

or via email to:

UniHHAusschreibungsstelle@verw.uni-hamburg.de

Official Announcements:
http://www.uni-hamburg.de/uhh/stellenangebote/Mathematik_08-05-14.pdf
http://www.uni-hamburg.de/uhh/stellenangebote/Mathematik_08-05-14_e.pdf

For further details you may contact:
Prof. Holger Drees
http://www.math.uni-hamburg.de/home/drees/



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

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

Monday, April 7, 2014

dmanet Digest, Vol 74, Issue 8

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

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

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

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


Today's Topics:

1. Last Mile, April 18 || DATA ANALYTICS 2014 || August 24 - 28,
2014 - Rome, Italy (Cristina Pascual)
2. DEBS 2014: Call for Participation and Program Announcement
(Boris Koldehofe)
3. Deadline extended (April 13th), Advanced Intrusion Detection
and Prevention, IFIP TC-11 SEC 2014 Workshop, Marrakesh, Morocco,
June 4-5, 2014, Indexed Proceedings (Joaquin Garcia-Alfaro)
4. Last Mile, April 18 || SEMAPRO 2014 || August 24 - 28, 2014 -
Rome, Italy (Cristina Pascual)


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

Message: 1
Date: Fri, 4 Apr 2014 20:53:44 +0200
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Last Mile, April 18 || DATA ANALYTICS 2014 || August
24 - 28, 2014 - Rome, Italy
Message-ID: <201404041853.s34IrhUJ011560@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 DATA ANALYTICS 2014.
The submission deadline is April 18, 2014.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================


============== DATA ANALYTICS 2014 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

DATA ANALYTICS 2014, The Third International Conference on Data Analytics

August 24 - 28, 2014 - Rome, Italy


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

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

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


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

Proposals for:
- symposia
- workshops

Submission deadline: April 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


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

Fundamentals for data analytics
Tools, frameworks and mechanisms for data analytics; Open API for data analytics; In-database analytics; Pre-built analytics (pattern, time-series, clustering, graph, statistical analysis, etc.); Analytics visualization; Multi-modal support for data analytics; Google/FaceBook/Twitter/etc. analytics; High-performance data analytics

Mechanisms and features
Scalable data analytics; Big data analytics; Deep data analytics; Mass data analytics; Storing, dropping and filtering data; Relevant/redundant/obsolete data analytics; Volume vs. semantics analytics; Nomad analytics; Predictive analytics; Trust in data analytics; Legal issues analytics; Failure on data analytics

Sentiment/opinion analysis
Architectures for generic sentiment analysis systems; Sentiment analysis techniques on social media; Document-level analysis; Sentence-level analysis; Aspect-based analysis; Comparative-sentiment analysis; Sentiment lexicon acquisition; Optimizing sentiment analysis algorithms; Applications of sentiment analysis.

Application-oriented analytics
Statistical applications; Simulation applications; Crawling web services; Cross-database analytics; Forecast analytics; Financial risk management; ROI analytics

Target analytics
Business analytics; Malware analytics; Cyber-threats analytics; Mining user logs; Reputation analytics; User choice analytics; Branding analytics; Utility proximity-search analytics; Survey-based online asset analytics; Online employment analytics; Geology analytics; Global climate analytics; Remote learning analytics; Homecare analytics; Population growth and migration analytics; Food-borne illness outbreaks analytics

Big Data
Foundational models for Big Data; Big Data Analytics and Metrics; Big Data processing and management; Big Data search and mining; Big Data platforms; Big Data persistence and preservation; Big Data and social networks; Big Data economics

Huge data
Knowledge Discovery from Huge Data; Computational Intelligence for Huge Data; Linked Huge Data; Security Intelligence with Huge Data

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

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

DATA ANALYTICS Advisory Chairs
Fritz Laux, Reutlingen University, Germany
Lina Yao, The University of Adelaide, Australia
Eiko Yoneki, University of Cambridge, UK
Takuya Yoshihiro, Wakayama University, Japan
Felix Heine, University of Applied Sciences & Arts Hannover, Germany
Dominik Slezak, University of Warsaw & Infobright Inc., Poland
Panos M. Pardalos, University of Florida, USA
Michele Melchiori, Universit� degli Studi di Brescia, Italy
Rudolf Berrendorf, Bonn-Rhein-Sieg University, Germany
Kerstin Lemke-Rust, Hochschule Bonn-Rhein-Sieg, Germany
Sergio Ilarri, University of Zaragoza, Spain
Les Sztandera, Philadelphia University, USA
Prabhat Mahanti, University of New Brunswick, Canada
Dominique Laurent, University of Cergy Pontoise, France
Ryan G. Benton, University of Louisiana at Lafayette, USA
Erik Buchmann, Karlsruhe Institute of Technology, Germany
Stratos Idreos, Harvard University, USA
Andrew Rau-Chaplin, Dalhousie University, Canada
Takuya Yoshihiro, Wakayama University, Japan

DATA ANALYTICS Industry/Research Liaison Chairs
Qiming Chen, HP Labs - Palo Alto, USA
Alain Crolotte, Teradata Corporation - El Segundo, USA
Tiziana Guzzo, National Research Council/Institute of Research on Population and Social Policies - Rome, Italy
Shlomo Geva, Queensland University of Technology - Brisbane, Australia
Farhana Kabir, Intel, USA
Prabhanjan Kambadur, IBM TJ Watson Research Center, USA
Serge Mankovski, CA Technologies, Spain
Sumit Negi, IBM Research, India
Vedran Sabol, Know-Center - Graz, Austria
George Tambouratzis, Institute for Language and Speech Processing - Athena Research Centre, Greece
Yanchang Zhao, RDataMining.com, Australia
Masahiro Terabe, Mitsubishi Research Institute, Inc., Japan
Marina Santini, Santa Anna IT Research Institute AB, Sweden
Mario Zechner, Know-Center, Austria

DATA ANALYTICS Publicity Chairs
Johannes Leveling, Dublin City University, Ireland
Tim Weninger, University of Illinois in Urbana-Champaign, USA
Roberto Zicari, Johann Wolfgang Goethe - University of Frankfurt, Germany
Shandian Zhe, Purdue University, USA
Michael Schaidnagel, Reutlingen University, Germany
================================================


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

Message: 2
Date: Fri, 04 Apr 2014 22:19:10 +0200
From: Boris Koldehofe <boris.koldehofe@ipvs.uni-stuttgart.de>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] DEBS 2014: Call for Participation and Program
Announcement
Message-ID: <533F13BE.2030508@ipvs.uni-stuttgart.de>
Content-Type: text/plain; charset=UTF-8

DEBS 2014: 8th ACM International Conference on Distributed Event Based
Systems
May 26th-29th 2014, IIT Bombay, Mumbai, India,
Co-sponsored by ACM SIGMOD and ACM SIGSOFT

http://www.cse.iitb.ac.in/debs2014/

*** DEBS 2014 Registration is Now Open !!! Please visit
http://www.cse.iitb.ac.in/debs2014/?page_id=398 for more
information. ***

Early Registration deadline: April 25, 2014.

DEBS 2014 Conference Schedule

May 26, 2014 4 tutorials (all day, 9 to 5pm)
May 26, 2014 PhD workshop (1 pm to 5pm)
May 27-29, 2014 Conference (ALL day, 9 to 5pm), res papers,
industry track papers, grand challenge papers,
experience sessions



Keynote Speakers
================

Querying Distributed Data Streams.
Minos Garofalakis; Technical University of Crete

Smart Energy: the Role of Timely Data Dissemination
Krithi Ramamritham; IIT Bombay

Challenges in personalization of services at Massive scale
Dr. Manish Gupta; Director of Xerox Research Center India (XRCI)


Tutorials
=========

Cloud-based Data Stream Processing
Thomas Heinze Zbigniew Jerzak; Leonardo Querzoni

Internet of Everything (IoE)
Opher Etzion; Fabiana Fournier; Sarit Arcushin

Policy enforcement in emerging distributed event-based systems
Presenters: Jatinder Singh; David Eyers

Mobile CEP in Real-time Big Data Processing: Challenges and Opportunities
Nenad Stojanovic; Ljiljana Stojanovic; Yongchun Xu


Research Track
==============

Complex Event Service Provision and Composition based on Event Pattern
Matchmaking.
Feng Gao; Edward Curry; Sami Bhiri.


An event processing approach to text stream analysis - Basic principles
of event based information filtering
Andreas Bauer; Christian Wolff

Learning From the Past: Automated Rule Generation for Complex Event
Processing
Alessandro Margara; Gianpaolo Cugola; Giordano Tamburrelli.

We have a DREAM: Distributed Reactive Programming with Consistency
Guarantees
Alessandro Margara; Guido Salvaneschi

The Process-oriented Event Model (PoEM) ? A Conceptual Model
for Industrial Events
Om Prasad Patri; Vikrambhai Sorathia; Anand Panangadan; Viktor
Prasanna

Quality Matters: Supporting Quality-aware Pervasive Applications by
Probabilistic Data Stream Management
Christian Kuka; Daniela Nicklas

Automated Quality-of-Service-aware Configuration of Publish-Subscribe
Systems at Design-Time
Thomas Fischer; Andreas M. Wahl; Richard Lenz

Latency-aware Elastic Scaling for Distributed Data Stream Processing Systems
Thomas Heinze; Zbigniew Jerzak; Gregor Hackenbroich; Christof Fetzer

The Overlay Scan Attack: Inferring Topologies of Distributed Pub/Sub
Systems through Broker Saturation
Leonardo Aniello; Roberto Baldoni; Claudio Ciccotelli; Giuseppe Antonio
Di Luna; Francesco Frontali; Leonardo Querzoni

DS-EPL: Domain-Specific Event Processing Language
Ralf Bruns; J?rgen Dunkel; Stefan Lier; Henrik Masbruch.

RECEP: Selection-based Reuse for Distributed Complex Event Processing
Beate Ottenw?lder; Boris Koldehofe; Kurt Rothermel; Kirak Hong; Kishore
Ramachandran

JetStream: Enabling High Performance Event Streaming across Cloud
Data-Centers
Radu Tudoran; Olivier Nano; Ivo Santos; Alexandru Costan; Hakan Soncu;
Luc Boug?; Gabriel Antoniu

Energy-efficient context-aware routing in heterogeneous WSN
Mumraiz K. Kasi; Annika Hinze.

Content-based Filtering Discovery Protocol (CFDP): Scalable and
Efficient OMG DDS Discovery Protocol
Kyoungho An; Sumant Tambe; Paul Pazandak; Gerardo Pardo-Castellote;
Aniruddha Gokhale; Douglas Schmidt

Effective Switch Memory Management in OpenFlow Networks
Anil Vishnoi; Rishabh Poddar; Vijay Mann; Suparna Bhattacharya

Distributed Event Aggregation for Content-based Publish/Subscribe Systems
Navneet Kumar Pandey; Kaiwen Zhang; St?phane Weiss; Hans-Arno Jacobsen;
Roman Vitenberg



Industry and Experience Track
=============================

P2S: A Fault-Tolerant Publish/Subscribe Infrastructure
Tiancheng Chang; Sisi Duan; Hein Meling; Sean Peisert; Haibin Zhang

Handling Location Uncertainty in Event Driven Experimentation
Kartik Muralidharan; Rajesh Krishna Balan; Srinivasan Seshan; Narayan
Ramasubbu

Scalable and Elastic Realtime Click Stream Analysis Using AnonymESP
Andr? Martin; Andrey Brito; Christof Fetzer

An Event Processing Architecture for Operational Risk Management in an
Industrial Environment
Sergio Saad; Reginaldo Arakaki

Using Mobile-based Complex Event Processing to realize Collaborative
Remote Person Monitoring
Nenad Stojanovic; Yongchun Xu; Aleksandar Stojadinovic; Ljiljana
Stojanovic.


Grand Challenge
===============

Predicting Energy Consumption with StreamMine3G
Andrey Brito; Andr? Martin; Rodolfo Marinho; Christof Fetzer

Grand Challenge: Scalable Stateful Stream Processing for Smart Grids
Raul Castro Fernandez; Matthias Weidlich; Peter Pietzuch; Avigdor Gal

Grand Challenge: Predictive Load Management in Smart Grid Environments
Christopher Mutschler; Christoffer L?ffler; Nicolas Witt; Thorsten
Edelh?u?er; Michael Philippsen


Solving the Grand Challenge Using an Opensource CEP engine
Srinath Perera; Sriskandarajah Suhothayan; Sanjiva Sanjiva Weerawarana;
Mohanadarshan Vivekanandalingam; Paul Paul Fremantle


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

Message: 3
Date: Sat, 05 Apr 2014 10:32:24 +0200
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline extended (April 13th), Advanced Intrusion
Detection and Prevention, IFIP TC-11 SEC 2014 Workshop, Marrakesh,
Morocco, June 4-5, 2014, Indexed Proceedings
Message-ID: <533FBF98.1030808@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 -- AIDP 2014

** Deadline Extended: April 13, 2014 (11:59 PM UTC-11) **

***FINAL CALL FOR PAPERS: HARD SUBMISSION DEADLINE***

**************************************************************************
Advanced Intrusion Detection and Prevention Workshop (AIDP'14)

Co-located with IFIP SEC 2014
Marrakesh, Morocco, June 4-5, 2014

http://adax.boun.edu.tr/aidp2014/
**************************************************************************

Scope:

The workshop will provide a focused and outstanding forum opportunity
for researchers, technologists and network engineers to discuss new and
emerging technologies in the field of network security and intrusion
detection/prevention.


Topics:

* Analysis and management of risks
* Intrusion detection algorithms
* Specification of security and privacy requirements and policies
* Testing for security
* Countermeasure selection methodologies
* DDoS mitigation
* Anomaly detection and event correlation for IDS/IPS
* Intrusion detection and prevention for M2M
* Intrusion detection and prevention for 5G networks
* Intrusion detection and prevention for financial systems
* IDS/IPS for mobile security
* IDS/IPS for e-commerce
* IDS/IPS for adaptive cyber security
* IDS/IPS in cloud computing environments
* IDS/IPS for DDoS
* IDS/IPS for emerging malware
* Detection and prevention of coordinated/complex attacks
* Visual analytics for intrusion detection and prevention
* Threat modelling
* Security assessment for intrusion detection and prevention
* Privacy and IDS/IPS
* Countermeasure simulation and impact analysis

Paper Submission:

Authors must submit their papers using the following link:

http://www.easychair.org/conferences/?conf=aidp2014

Full Technical Papers should be at most 15 pages (using 11-point
font), excluding the bibliography and well-marked appendices.
Committee members are not required to read the appendices, so the
paper should be intelligible without them. Short papers should be at
most 15 pages, including the bibliography and appendices. All
submissions must be written in English. All papers will be refereed.
Accepted papers should be presented at the Workshop. At least one
author of each accepted paper must register to the workshop, by the
early date indicated by the organizers, and present the paper.

Contributed Talk Abstracts should be at most 2 pages (using 11-point
font). Submissions must be written in English. They will be reviewed
as oral presentations. They may contain work in progress, as well as
opinion pieces, state positions on controversial issues or simply new
open problems. Accepted abstract authors will be invited to present
their research at the workshop. For those presentations that are
meritorious, the Committee will recommend them to submit extended
versions for their publication in the proceedings. All extended
versions will be refereed.

Papers must be uploaded in PDF format. Final camera-ready versions
must follow the template indicated at the following link:

http://style.eptcs.org/

Papers must start with a title, a short abstract, names and affiliations
of the authors, and a list of keywords.

All the accepted contributions will be published in the Electronic
Proceedings in Theoretical Computer Science series (DOI:
10.4204/EPTCS; ISSN: 2075-2180).

Contributions from academia and industry are welcome. Submissions by
PhD students as well as controversial ideas are encouraged. Case
studies (successful or not) are also encouraged.

Important Dates:

* Paper Submission: April 13, 2014 (11:59 PM UTC-11)
* Paper Acceptance Notification: May 12, 2014
* Camera Ready Version: May 26, 2014



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

Program Committee Co-Chairs:

* Joaquin Garcia-Alfaro (Telecom SudParis, France)
* Gurkan Gur (Provus, Turkey)

Program Committee:

* Diala Abihaidar (Dar Al Hekma College, Saudi Arabia)
* Sahin Albayrak (TU Berlin, Germany)
* Serif Bahtiyar (Provus, Turkey)
* Gregory Blanc (Telecom SudParis, France)
* Summerjit Das (Carnegie Mellon University, USA)
* Ernesto Damiani (University of Milan, Italy)
* Thomas Dean (Queen's University, Canada)
* Damien Deville (Netasq, France)
* Christian Duncan (Quinnipiac University, USA)
* Stefanos Gritzalis (University of the Aegean, Greece)
* Vincenzo Gulisano (Chalmers University of Technology, Sweden)
* Dina Hadziosmanovic (Delft University of Technology, The Netherlands)
* Sotiris Ioannidis (FORTH-ICS, Greece)
* Ulas C. Kozat (DOCOMO Innovations, USA)
* Gunes Karabulut (Istanbul Technical University, Turkey)
* Giovanni Livraga (University of Milan, Italy)
* Yao Liu (University of South Florida, USA)
* Guillermo Navarro (Autonomous University of Barcelona, Spain)
* Balaji Palanisamy (University of Pittsburgh, USA)
* Andreas Pashalidis ( K.U.Leuven, Belgium)
* Christophe Ponchel (Cassidian Cybersecurity, France)
* Silvio Ranise (FBK, Security and Trust Unit, Italy)
* Indrajit Ray (Colorado State University, USA)
* Jean-Marc Robert (Ecole de Technologie Superieure, Canada)
* Christian Rossow (Vrije Universiteit, The Netherlands)
* Thierry Sans (Carnegie Mellon University, Qatar)
* Ibrahim Sogukpinar (Gebze Institute of Tech, Turkey)
* Chamseddine Talhi (Ecole de Technologie Superieure, Canada)
* Jouni Viinikka (6cure, France)
* Isaac Woungang (Ryerson University, Canada)

Advisory Committee:

* Fatih Alagoz (Bogazici University, Turkey)
* Adrien Becue (Cassidian Cybersecurity, France)
* Bulent Yener (Rensselaer Polytechnic Institute, USA)
* Frederic Cuppens (Institut Mines-Telecom, France)
* Nora Cuppens-Boulahia (Institut Mines-Telecom, France)


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

Additional information about paper submission and conference topics and
events can be found at the AIDP'2014 web site:

http://adax.boun.edu.tr/aidp2014/




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

Message: 4
Date: Sat, 5 Apr 2014 18:17:33 +0200
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Last Mile, April 18 || SEMAPRO 2014 || August 24 -
28, 2014 - Rome, Italy
Message-ID: <201404051617.s35GHXbA024110@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 SEMAPRO 2014
The submission deadline is April 18, 2014.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================


============== SEMAPRO 2014 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

SEMAPRO 2014, The Eighth International Conference on Advances in Semantic Processing

August 24 - 28, 2014 - Rome, Italy


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

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

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


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

Proposals for:
- symposia
- workshops

Submission deadline: April 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


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

Basics on semantics

Fundamental of semantics processing; Semantic-based techniques for feature selection; Semantic-based pruning; Semantic interoperability; Semantics uncertainty; Semantics pre-processing and post-processing; Semantics harmonization; Constraint-based semantics processing; Embedded semantics into the discovery process; Semantics in spatial and spatio-temporal models

Ontology fundamentals for semantic processing

Ontology learning; Ontology for semantic interoperability; Ontologies and data pre-processing; Ontology-based evaluation and semantic patterns; Global core ontologies; Progressive ontologies; Bridging semantics through ontologies; Ontology mapping and ontology visualization; Ontology in information systems; Ontology-based semantic mediation; Ontology design and maintenance for conceptual model integration; Reverse engineering of ontologies from conceptual model; Ontologies for explanation generation

Semantic technologies

Basics of Ontology and Semantic Web; Semantic storing, computing, representation, communications; Semantic-driven system design; Syntactic and semantic processing models; Hardware and software support for semantic processing; Microprocessors for semantic processing; Multi-model semantic systems; Semantic annotation of multimedia supports; Semantic multimedia information retrieval; Natural language semantic processing; Context-based semantic processing; Content-based semantic processing; Scalability to the Web level; Performance in semantic processing; Information security in semantic processing; Explaining semantic processing and its results

Models and ontology-based design of protocols, architectures and services

Fundamentals in theory; Modeling methodologies; Models and Ontology-driven Technologies (for the communications system design); Models and ontology relationships; Multi-models coherence. Models and ontology-based communications services and protocols; Semantics of services and service modeling; Protocol models and semantics; Application and quality of experience semantics; Services and protocols semantics; Models and ontology-based cross-layer services and architectures design; Models and ontology-based software frameworks; Composition of Services and Composability rules; Cross-layering services models, components and implementations

Semantic Deep Web

Ontology plug-in search; Information extraction from the Deep Web /e-commerce sites/; Semantic Deep Web annotation and indexing; Deep Web-based ontology; Semantic Deep Web crawlers; Semantic browsing and visualization; Semantic Deep Web data fusion; Semiautomatic ontology generation; Metrics for quality of ontology; Similarity measures for ontology alignment; Measurements for quality of search; Tools for semantic Deep Web; Experience extraction from the Web

Semantic reasoning

Reasoning methods; Reasoning for the Web; Ontology expressiveness; Ontology alignment, mapping and merging; Expressing formal semantics; Languages (RDF, RDF Schema, OWL, etc); Robustness of reasoning on the Web; Patterns on semantic reasoning; Querying and searching; Scalable and tolerant reasoning; Dynamic reasoning for the Semantic Web; Ontologies and problem-solving methods; Computational learning theory; Approximate reasoning/computing; Strategies for abstraction and compression of information; Cognitive semantic reasoning; Attention semantic scoping; Recency-based self-optimizing memory; Cost-benefit trade-off reasoning models; Negotiation in obtaining near-optimal reasoning results under bounded resources; Case-based reasoning

Semantic content searching

Methodologies for innovative information retrieval technologies; Combinatorial search; Massive search-spaces with heuristics (e.g., based on Monte Carlo simulations); Searching using metadata, semantics, and ontology; Advanced searching in digital libraries; Advanced use of RDF and OWL; Expressiveness of the content ontologies; Inherent inconsistency and incompleteness of data on the Web; Scalability of semantic processing; Specialized search engines (Hakia, Matrixware and seekda)

Hypertext and hypermedia semantic

Hypertext techniques and semantic applications; Hypertext and ontologies; Hypertext semantic models; Spatial semantic hypertext; Self-organized hypertext; Semantic adaptive hypertext; Web and hypertext link analysis; Hypertexts and semantic Web; Hypertext semantic applications

Semantic voice-video-speech (VVS) searching

Engines and methods for VVS advanced searching; Patterns in VVS searching; Contextual VVS searching; Rapid VVS searching; Accuracy in VVS searching; Noise in VVS searching; Performance in VVS searching; Metrics for VVS searching; Text and VVS searching; Applications of VVS

Semantic multimedia

Efficient storage of structured data that scale to a very large size; Automatic generation of multimedia presentations; Advanced process for multimedia information mining; Semantic metadata extraction; Annotation tools and methods for content semantics; Media ontology generation/learning/reasoning; Semantic multimedia streaming; Semantics enabled multimedia applications /annotation/browsing/storage/retrieval/visualization

Semantic social media

Community detection and evolution in social media; Recommendation and ranking systems; Search in social media; Event detection, trend identification and tracking in social media; Influence, trust and reputation in social media; Opinion/sentiment analysis, polarity identification; Feed distillation and ranking blogs; Mining microblogging and real time data; Folksonomy, tag semantics, clustering and usage; Advertising models for the social web; Indexing social media content, index freshness; Visualizing social network data; Spam detection, social network spam and profile spam

Semantics for sentiment/opinion analysis

Architectures for generic sentiment analysis systems; Sentiment analysis techniques on social media; Document-level analysis; Sentence-level analysis; Aspect-based analysis; Comparative-sentiment analysis; Sentiment lexicon acquisition; Optimizing sentiment analysis algorithms; Applications of sentiment analysis

Semantic networking

Semantic-based QoS (Quality of Service) control and scheduling; Semantic QoE (Quality of Experience) evaluation; Semantic-based Internet data streaming and delivery; Semantics enabled networking and middleware; Semantic routing; Semantic interfaces

Domain-oriented semantic applications

Semantics for managing pharmaceutical data; Semantic processing for biomedical knowledge; Speech, text and picture recognition; Semantic email workflow and content; Semantic blogs and wikis; Semantic email addressing; Semantic web and digital libraries; Semantic processing in e-Health; Semantic-driven tutoring systems

Economics and governance of semantics technologies

Organizational views; Legal; Business; Regulations; Assessment; Standards; Harmonization; Cross-nation mediation

Semantic applications/platforms/tools

Market for semantic technologies; Applications, services and systems based on semantic processing; User friendly semantic system integration tools; Ontology-based data transformation and data migration tools; Ontology mapping tools and languages; Ontology-enabled interoperability in e-science, life sciences, e-business, culture; Commercial cost models for semantic applications; Semantic solutions for business intelligence; Semantic processing platforms ; Supporting ontology platforms/tools (Prot�g�, etc); Semantic query languages (SPARQL, etc); Ontology-enabled search engines; Semantic Web search engines; Interoperability of data, systems, and organizations; Experiments and lessons learned; Standard activities

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

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

SEMAPRO Advisory Chairs
Wladyslaw Homenda, Warsaw University of Technology, Poland
Bich-Lien Doan, SUPELEC, France
Alexey Cheptsov, High Performance Computing Center Stuttgart (HLRS), Germany
Shu-Ching Chen, Florida International University, USA
Sule Yildirim Yayilgan, Gj�vik University College, Norway
Jesper Zedlitz, Christian-Albrechts-Universit�t Kiel, Germany
Soon Ae Chun, City University of New York, USA
Fabio Grandi, University of Bologna, Italy
David A. Ostrowski, Ford Motor Company, USA
Andrea Perego, European Commission - Joint Research Centre, Ispra, Italy

SEMAPRO Industry/Research Liaison Chairs
Riccardo Albertoni, IMATI-CNR-Genova, Italy
Panos Alexopoulos, iSOCO S.A., Spain
Sofia Athenikos, IPsoft, USA
Isabel Azevedo, ISEP-IPP, Portugal
Sam Chapman, The Floow Limited, UK
Daniele Christen, Parsit Company, Italy
Frithjof Dau, SAP Research Dresden, Germany
Thierry Declerck, DFKI GmbH, Germany
Alessio Gugliotta, Innova SpA, Italy
Peter Haase, Fluid Operations, Germany
Shun Hattori, Muroran Institute of Technology, Japan
Xin He, Airinmar Ltd., UK
Tracy Holloway King, eBay Inc., USA
Lyndon J. B. Nixon, STI International, Austria
Zolt�n Theisz, evopro Innovation LLC, Hungary
Thorsten Liebig, derivo GmbH - Ulm, Germany
Michael Mohler, Language Computer Corporation in Richardson, USA
Michael Schmidt, fluid Operations AG, Germany

SEMAPRO Publicity Chairs
Felix Schiele, Reutlingen University, Germany
Bernd Stadlhofer, University of Applied Sciences, Austria
Ruben Costa, UNINOVA, Portugal
Andreas Emrich, German Research Center for Artificial Intelligence (DFKI), 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 74, Issue 8
*************************************

Saturday, April 5, 2014

dmanet Digest, Vol 74, Issue 7

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

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

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

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


Today's Topics:

1. Workshop "Analytics and Scheduling in Public Transport" in
Rotterdam (Leo Kroon)
2. ICDCN 2015: Call For Papers (St?phane Devismes)


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

Message: 1
Date: Fri, 4 Apr 2014 11:06:39 +0000
From: Leo Kroon <lkroon@rsm.nl>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Workshop "Analytics and Scheduling in Public
Transport" in Rotterdam
Message-ID:
<D5D8E7E1A17E9941AC63B9D7DFFFC88D7B8822E9@stff-mb05.staff.eur.nl>
Content-Type: text/plain; charset="us-ascii"

Dear colleague,

Hereby we want to inform you that we will organize a workshop "Analytics and Scheduling in Public Transport" in Rotterdam on Friday, May 16.
The workshop starts at 10:00 and ends around 15:30 with drinks. Participation is free, but registration in advance is required.
For details, see the website indicated below.

Speakers from academia, public transport operators and consultants will share their views on applying analytics and optimization methods in Public Transport. The speakers in this workshop are:

* David Pisinger, Technical University of Denmark.
* Erwin Abbink, Netherlands Railways.
* Marcel van Kooten Niekerk, Qbuzz and Utrecht University.
* Jeroen van den Heuvel, Netherlands Railways and Delft University of Technology.
* Luuk Veelenturf, Rotterdam School of Management, Erasmus University.
* Jesper Larsen, Technical University of Denmark.
* Niels van Oort, Goudappel Coffeng and Delft University of Technology.

For further details about the program and registration information, please visit the website: http://www.eur.nl/ese/english/departments/department_of_econometrics/ecopt/events/analytics_and_scheduling_in_public_transport_may_2014/

Best regards,

Twan Dollevoet
Leo Kroon
Dennis Huisman


Disclaimer
________________________________
De informatie verzonden in dit e-mail bericht is vertrouwelijk en is uitsluitend bestemd voor de geadresseerde van dit bericht. Lees verder: www.eur.nl/email-disclaimer <http://www.eur.nl/email-disclaimer>
The information in this e-mail message is confidential and may be legally privileged. Read more: www.eur.nl/english/email-disclaimer<http://www.eur.nl/english/email-disclaimer>
________________________________




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

Message: 2
Date: Fri, 04 Apr 2014 13:37:23 +0200
From: St?phane Devismes <stephane.devismes@imag.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ICDCN 2015: Call For Papers
Message-ID: <533E9973.6050608@imag.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

[We apologize if you receive multiple copies of this CFP.]

CALL FOR PAPERS - DEADLINE July 25, 2014

16th International Conference on Distributed Computing and Networking
BITS Pilani, K K Birla Goa Campus
Goa, India, January 4-7, 2015
http://www.icdcn.org/

----------------------------------------------------------------------------
ICDCN is a premier international conference dedicated to addressing
advances in Distributed Computing and Communication Networks, which
over the years, has become a leading forum for disseminating the
latest research results in these fields. ICDCN 2015 will be hosted by
BITS Pilani K K Birla Goa Campus. ICDCN 2015 will be organized in two
tracks: Distributed Computing and Networking, and will comprise a
highly selective technical program consisting of refereed concise
papers, panel discussions as well as focused workshops on emerging
topics. Papers describing original research work and practical
experiences/experimental results are solicited on topics including,
but not limited to:
----------------------------------------------------------------------------

I. Distributed Computing Track

- Distributed algorithms & concurrent data structures: design, analysis,
and complexity
- Distributed operating systems
- Distributed database systems
- Embedded distributed systems
- Experiments and performance evaluation of distributed systems
- Fault-tolerance, reliability, and availability
- Multiprocessor & multi-core architectures & algorithms
- Self-organization, self-stabilization, & autonomic computing
- High performance computing, grid computing, & cloud computing
- Security, cryptography, & game theory in distributed systems

II. Networking Track

- Integration of heterogeneous wireless & wired networks
- Internetworking protocols & Internet applications
- Mobile and pervasive computing, context-aware distributed systems
- Next generation & converged network architectures
- Overlay & peer-to-peer networks and services
- Home Networking & Services
- Resource management & quality of service
- Network security & privacy
- Energy-Efficient Networking & Smart Grids
- Sensor, PAN & ad-hoc networks
- Traffic engineering, pricing, network management

-----------------------------------------------------------------------------
Submission Instructions:

Papers must be unpublished and must not be submitted for publication
elsewhere. All papers will be reviewed by Technical Program Committee
members and other experts active in the field to ensure high quality
and relevance to the conference. Papers should be written in English
and should not exceed 17 pages (double-spaced) in 10 point Times Roman
font, inclusive of any cover sheet. No paper templates are provided in
this phase. You may use your own template. Authors are encouraged to
submit papers in Adobe Acrobat pdf electronic format only. Each
submission must be accompanied by a paper title, a short abstract, a
complete list of authors and their affiliations, a contact person for
correspondence with email and postal address, and a list of at least
one or more relevant topics selected from the conference topics listed
in the CFP. Conference attendance by at least one author of an
accepted paper is mandatory. Questions from authors may be directed to
the General Chairs/Vice-chair or the PC co-chairs.


Important Dates

- Submission Deadline: July 25th 2014
- Notification: September 26th 2014
- Camera-Ready: October 15th 2014

-----------------------------------------------------------------------------
GENERAL CHAIRS

- Sajal K. Das, Missouri University of Science and Technology, USA,
(Co-chair)
- Dilip Krishnaswamy, IBM Research, Bangalore, India, (Co-chair)
- Santonu Sarkar, Infosys, Bangalore, India, (Vice-chair)

PC CHAIRS

Distributed Computing Track
- Amos Korman, CNRS and University of Paris Diderot, France, (Co-chair)
- Srikanth Sastry, Google, New York, USA, (Co-chair)

Networking Track
- Mohan Kumar, Rochester Institute of Technology, USA, (Co-chair)
- Marius Portmann, University of Queensland, Australia, (Co-chair)

ORGANIZING COMMITTEE

- Bharat Deshpande, BITS-Goa campus, India, (Chair)

PUBLICITY CHAIRS

- Doina Bein, Pennsylvania State University
- St?phane Devismes, University of Grenoble
- Prashant Nair, Amrita University, India
- Nirmalya Roy, University of Maryland, Baltimore County
- Pushpendra Singh, IIIT Delhi,

STUDENT SYMPOSIUM CHAIRS (FORMERLY PHD FORUM)

- Kishore Kothapalli, IIIT Hyderabad, India
- Sathya Peri, IIT Patna, India

STEERING COMMITTEE

- Sajal K. Das, Missouri University of Science and Technology, USA,
(Co-chair)
- Vijay Garg, University of Texas at Austin, USA
- Sukumar Ghosh, University of Iowa, USA, (Co-Chair)
- Dilip Krishnaswamy, IBM Research, Bangalore, India
- Sanjoy Paul, Accenture, India
- David Peleg, Weizmann Institute of Science, Israel
- Michel Raynal, IRISA, France



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

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

Friday, April 4, 2014

dmanet Digest, Vol 74, 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. 11th International Summer School on Software Engineering -
Topic: Search-Based Software Engineering (Sarro, Federica)
2. 2014 ACP Summer School on "Practical Constraint Programming"
(Michele Lombardi)


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

Message: 1
Date: Fri, 4 Apr 2014 08:59:09 +0000
From: "Sarro, Federica" <f.sarro@ucl.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] 11th International Summer School on Software
Engineering - Topic: Search-Based Software Engineering
Message-ID: <D67648D9-840D-4DEC-8E5D-42727AE49FA1@live.ucl.ac.uk>
Content-Type: text/plain; charset="us-ascii"

Apologies for Multiple Copies of this Message
________________________________________________________________

11th International Summer School on Software Engineering

30 June - 3 July, 2014
University of Salerno, Italy
http://www.sesa.unisa.it/seschool


THEME

The eleventh edition of the International Summer School on Software
Engineering intends to provide a contribution to PhD students
and academic and industrial researchers on latest findings in the
field of Software Engineering.

This year the school will be jointly organised by University of
Salerno and UCL-CREST and will have as topic Search-Based
Software Engineering (SBSE).

SBSE is a field in which search based optimisation algorithms are used
to address problems in Software Engineering. In particular, SBSE considers
problems that involve finding a suitable balance between competing and
potentially conflicting goals, such as looking for the set of requirements
that balances software development cost and customer satisfaction,
search for the best allocation of resources to a software development
project, search for the smallest set of test cases that covers all branches
in a software program, find the best way to structure the architecture
of a software system to enhance its maintainability, and so on.

SBSE has been successfully applied to different problems across
the Software Engineering lifecycle, from cost estimation, requirements and
project planning to testing, maintenance and re-engineering. There is also
an increasing interest in search based optimisation from the industrial
sector, as illustrated by work on testing involving Google and Microsoft,
and requirements engineering involving Motorola and Ericsson, to cite few.

The program of the school aims at creating discussion forums between
lecturers and industrial and academic attendees. It will include introductory
tutorials on SBSE as well as tutorials on well-established SBSE areas
and emerging SBSE topics. Previous knowledge or experience with search
based optimisation is not required. The main aim of the school is to allow
the attendees to become productive in successfully applying search based
optimisation to a chosen Software Engineering problem of interest.

Submission of PhD student talks is encouraged to further stimulate the discussion.
Moreover, we are pleased to announce the "ISSSE 2014 Travel Grant" to encourage also
Bachelor and Master Computer Science or Software Engineering students to attend the school.


TUTORIALS

Lionel Briand, University of Luxembourg, Luxembourg
"Search-Based Approaches to Model-Based Testing and Verification"

Andrea De Lucia, Annibale Panichella, University of Salerno
"Diversity Mechanisms for Evolutionary Populations in Search Based Software Engineering"

Massimiliano Di Penta, University of Sannio, Italy
"Search-based Software Maintenance: Automated or Human-Intensive?"

Mark Harman, CREST, University College London, United Kingdom
"Introduction to Search-Based Software Engineering"

Yue Jia, CREST, University College London, United Kingdom
"Search-Based approaches for Mutation Testing"

Gabriela Ochoa, University of Stirling, United Kingdom
"Search-Based Approaches and Hyper-heuristics"

Justyna Petke, CREST, University College London, United Kingdom
"Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class"

Federica Sarro, CREST, University College London, United Kingdom
"Search-Based Project Management"

Chris Simons, University of the West of England, United Kingdom
"Searching for Software Designs: A Fusion of Software Engineer and Computer"

Paolo Tonella, Fondazione Bruno Kessler, Italy
"Search-Based Test Data Generation"

David White, University of Glasgow, United Kingdom
"Cloud Computing and Search-Based Software Engineering"

Yuanyuan Zhang, CREST, University College London, United Kingdom
"Multi-Objective Search-Based Requirements Selection and Optimisation"


SCHOOL LOCATION

The school will be held at the campus of the University of Salerno,
located in Via Giovanni Paolo II, 132 I-84084 Fisciano (SA), Italy.
The University of Salerno is very close to some of the most beautiful
and historical places of Italy, such as Amalfi Coast, Capri, Pompei,
and Paestum.


REGISTRATION AND INFORMATION

Registration fees are EUR 500 for academic and industrial
researchers and EUR 250 for PhD students (proof required).
They include admission to all the lectures, copy of the slides
and other materials prepared by the lecturers, luncheons,
and social functions.

Attendees can also register for specific tutorials. In this
case, registration fees are EUR 150 for each attended tutorial
and include admission to the registered lecture, copy of the
slides and other materials prepared by the lecturer, luncheons,
and the coffee break.

The deadline for registration is May 20, 2014.

Detailed information about program, registration, travel, and
accommodation is available at: http://www.sesa.unisa.it/seschool


STUDENT TALKS

Student talks and tool demos are intended for attendees (mainly PhD
students) who want to present their research work.
Attendees interested in giving a talk or demonstrating a tool should
register and submit the slides of their presentation by May 20, 2014.
Attendees will be notified about the inclusion of their talk/demo in
the program by June 3, 2014.

Further information is available at: http://www.sesa.unisa.it/seschool


ISSSE 2014 TRAVEL GRANT
We are pleased to announce the "ISSSE 2014 Travel Grant" to encourage bachelor
and master students to attend ISSSE 2014. We encourage all Bachelor/Master
Computer Science or related topic full time students interested to apply.

The grant will cover accommodation and travel expenses.
The deadline for applying is April 17, 2014.
For further information on Eligibility and How to apply
visit http://www.sesa.unisa.it/seschool


ORGANIZED BY

Software Engineering Lab
DISTRA (Management and Information Technology)
University of Salerno, Italy

CENTRE FOR RESEARCH ON EVOLUTION, SEARCH AND TESTING (CREST)
Department of Computer Science
University College London, UK


CONTACT INFORMATION

International Summer School on Software Engineering
Scientific Secretariat
University of Salerno
Via Giovanni Paolo II, 132, I84084 Fisciano (SA), Italy
phone: +39 089 963324
fax: +39 089 963303
e-mail: seschool@unisa.it
URL: http://www.sesa.unisa.it/seschool


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

Message: 2
Date: Fri, 4 Apr 2014 09:31:02 +0000
From: Michele Lombardi <michele.lombardi2@unibo.it>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] 2014 ACP Summer School on "Practical Constraint
Programming"
Message-ID: <05AFEC10-AEA2-4035-958A-37729252BD70@unibo.it>
Content-Type: text/plain; charset="Windows-1252"

Dear all,

In the hope this may be of interest for your or your students, I am sending the call for applications for the 2014 ACP Summer School on Constraint Programming, with topic ?Practical Constraint Programming?.

The school will be held in Bologna (Italy) on coming June and will feature lectures about Constraint Programming, hybrid CP-OR optimization methods, and the speakers? personal experience with real world optimization problems.

If you find the event interesting, feel free to forward the call to the internal mailing list of your department.

Best regards,

Michele Lombardi



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

2014 ACP Summer School in Constraint Programming

Practical Constraint Programming

June 16-20 2014, Bologna (IT)

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

Chairs
Alessio Bonfietti (Universit? di Bologna, Italy)
Michele Lombardi (Universit? di Bologna, Italy)
Pierre Schaus (ICTEAM, UCLouvain, Belgium)

The event is co-organized with the CEUR Foundation

=== TOPICS AND SPEAKERS ===

The 2014 edition of the ACP Summer School will be held in Bologna (Italy), with
the topic "Practical Constraint Programming".

The school is meant for CP researchers and practitioners with an academic or
industrial background, interested in using Constraint Programming and Hybrid
Methods to tackle real world optimization problems.

The school lecturers include renowned experts in the field as well as young
talented researchers. In particular, lectures will be given by:

* Michela Milano (University of Bologna)
* Pascal Van Hentenryck (NICTA)
* Laurent Perron (Google)
* Paul Shaw (IBM)
* Willem-Jan van Hoeve (Carnegie Mellon University)
* Andrea Lodi (University of Bologna and IBM)
* Louis-Martin Rousseau (CIRRELT, Polytechnique de Montr?al)
* Hadrien Cambazard (Grenoble Institute of Technology)

The lectures will cover technical topics as well as the experience of the
speakers about tackling real world problems. More details can be found on the
school web site at: http://school.a4cp.org/summer2014/

The school will also feature a substantial amount of hands-on sessions,
organized by Laurent Perron, using the "Google or-tools" system (participants
should bring their laptops).

The school has a fee of 150? and the application deadline is May 15 2014

=== APPLICATION ===

Any motivated candidate is encouraged to apply: this includes Ph.D. students,
but also Master Students, Post-Docs, researchers, and professionals or R&D
staff from the industry.

The school has a fee of 150?. The fee covers all course materials, coffee
breaks, WiFi Internet Connection at the conference centre, and the social
program (including a dinner in an Italian restaurant). You can register here:
http://school.a4cp.org/summer2014/registration

=== ACCOMMODATION ===

Rooms are available for a convenient price at Camplus Living Bononia (the same
building where the lectures take place). For more information, check the summer
school web site.

=== SUMMARY OF IMPORTANT INFORMATION ===

contact email: acpsummerschool2014@gmail.com<mailto:acpsummerschool2014@gmail.com>
registration: http://school.a4cp.org/summer2014/registration
deadline for applications: May 15



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

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