Thursday, December 1, 2016

dmanet Digest, Vol 106, Issue 1

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

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

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

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


Today's Topics:

1. Call for Papers - 5th Workshop on Hot Issues in Security
Principles and Trust (HotSpot 2017) (Ralf Kuesters)
2. PhD Positions available: Vienna Graduate School in
Computational Optimization (Guenther Raidl)
3. I-SPAN 2017 CFP (Ralf Klasing)


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

Message: 1
Date: Wed, 30 Nov 2016 10:02:25 +0100
From: Ralf Kuesters <kuesters@uni-trier.de>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Call for Papers - 5th Workshop on Hot Issues in
Security Principles and Trust (HotSpot 2017)
Message-ID: <4b88781f-a5e7-8750-96e1-e432ba517347@uni-trier.de>
Content-Type: text/plain; charset="utf-8"

CALL FOR PAPERS
===============

HotSpot 2017
5th Workshop on Hot Issues in Security Principles and Trust
===========================================================

Affiliated with ETAPS 2017 ( http://www.etaps.org/2017/ )
Uppsala, Sweden
April 23rd, 2017

https://infsec.uni-trier.de/events/hotspot2017

Important Dates
===============
Deadline for submissions: January 15th, 2017
Notification: February 13th, 2017
Final version for informal proceedings (optional): February 20th, 2017
Workshop: April 23rd, 2017

Invited Speaker
===============
Andrei Sabelfeld, Chalmers University of Technology, Sweden

Taint Tracking without Tracking Taints

Scope
=====
This workshop is intended to be a less formal counterpart to the
Principles of Security and Trust (POST) conference at ETAPS with an
emphasis on "hot topics", both of security and of its theoretical
foundations and analysis.

Submissions about new and emerging topics (for example, those that have
not appeared prominently in conferences and workshops until now) are
particularly encouraged. Submissions of preliminary, tentative work are
also encouraged.

This workshop is organized by the IFIP WG 1.7: Theoretical Foundations
of Security Analysis and Design (http://www.dsi.unive.it./IFIPWG1_7/)


Program Committee Chair
=======================

Ralf Küsters, University of Trier, Germany


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

Aslan Askarov, Aarhus University, Denmark
David Basin, ETH Zurich, Switzerland
Véronique Cortier, CNRS, Loria, France
Cas Cremers, University of Oxford, UK
Riccardo Focardi, Ca' Foscari University, Italy
Joshua Guttman, Worcester Polytechnic Institute, USA
Boris Köpf, IMDEA Software Institute, Spain
Ninghui Li, Purdue University, USA
Frank Piessens, Katholieke Universiteit Leuven, Belgium
Tamara Rezk, INRIA, France
Peter Ryan, University of Luxembourg, Luxembourg
Mark Ryan, University of Birmingham, UK
Geoffrey Smith, Florida International University, USA
Nikhil Swamy, MSR Redmond, USA


Submissions
===========
Submissions are via
EasyChair: https://easychair.org/conferences/?conf=hotspot2017

There is no page limit, but the length of your submission should be
appropriate to its content. There will be no formal proceedings.
Inclusion in informal proceedings is optional.

Contact
=======
Ralf Küsters (PC chair): kuesters@uni-trier.de


Registration, accommodation, and travel
=======================================
See ETAPS web site http://www.etaps.org/2017/


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

Message: 2
Date: Wed, 30 Nov 2016 10:44:51 +0100
From: Guenther Raidl <raidl@ac.tuwien.ac.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD Positions available: Vienna Graduate School in
Computational Optimization
Message-ID: <37a7018f-e843-ba22-79fb-23cea9fb0822@ac.tuwien.ac.at>
Content-Type: text/plain; charset=utf-8; format=flowed

The *Vienna Graduate School in Computational Optimization* offers
contracts for PhD students in different areas of optimization such as
Combinatorial Optimization, Global Optimization, Heuristic Optimization,
Nonlinear Optimization, Stochastic Optimization, Dynamic Optimization,
Algorithmic Game Theory, Optimization for intelligent Data Analysis.

The doctoral program is a joint initiative between the University of
Vienna, TU Wien, and the Institute of Science and Technology. Candidates
must follow the rules for PhD studies at one of the aforementioned
institutions and participate in the joint teaching and research program.

The program started on October 1, 2016, but two PhD candidate positions
are still available.

The application deadline is *December 31, 2016*.

For a successful application, the following is required:
- Applicants must have a Master Degree in Computer Science,
Mathematics, or in a related field with a strong mathematical
background.
- The diploma thesis and other publications have to be included in the
application.
- A minimum of two recommendation letters is mandatory.
- Fluent skills in English language have to be proven.
- A motivation letter should express the candidate's visions and
expectations, the area of interest and a possible supervisor,
see faculty members at http://vgsco.univie.ac.at.
- For a possible interview, the skype address should be provided.

For information in particular with respect to the fields of
combinatorial optimization, please contact Prof. Günther Raidl
raidl@ac.tuwien.ac.at.

More information can be found on our website http://vgsco.univie.ac.at

The contract duration is 3 years, extendable to 3,5 years if the
candidate stays one semester abroad (outside of Austria). The gross
salary is EUR 35.900 per annum.

As part of the university we pursue a non-discriminatory employment
policy and values equal opportunities, as well as diversity
(http://diversity.univie.ac.at). The university lays special emphasis on
increasing the number of women in senior and in academic positions.
Given equal qualifications, preference will be given to female applicants.

--
+- Guenther Raidl -+
+- Institute of Computer Graphics and Algorithms, TU Wien -+
+- Favoritenstrasse 9-11/1861, 1040 Vienna, Austria, Europe -+
+- email: raidl@ac.tuwien.ac.at | phone: +43(1)58801/18616 -+
+- http://www.ac.tuwien.ac.at/ | fax: +43(1)58801/18699 -+
(DVR: 0005886)

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

Message: 3
Date: Wed, 30 Nov 2016 14:11:29 +0100
From: Ralf Klasing <ralf.klasing@labri.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] I-SPAN 2017 CFP
Message-ID: <583ED001.6050806@labri.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

******************************** I-SPAN 2017 CFP
*******************************
*The 14th International Symposium on Pervasive Systems, Algorithms, and
Networks*
*(I-SPAN 2017)*
http://cse.stfx.ca/~ISPAN2017/__
*Exeter, England, UK, 21-23 June 2017*
INTRODUCTION
=============
Pervasive systems, intelligent Algorithms, and multi-faceted Networks
are emerging fields of research and revolutionary paradigm for
next-generation computing, information and communication technologies.
The 14th International Symposium on Pervasive Systems, Algorithms, and
Networks (I-SPAN 2017) aims to establish an international forum for
engineers and scientists to present their excellent ideas, latest
innovations and experiences on Pervasive Systems, Algorithms, and Networks.
The 14th International Symposium on Pervasive Systems, Algorithms, and
Networks (I-SPAN 2017) follows the tradition of previous successful
I-SPAN conferences, I-SPAN 1994 (Kanazawa, Japan), I-SPAN 1996 (Beijing,
China), I-SPAN 1997 (Taipei, Taiwan), I-SPAN 1999 (Perth/Freemantle,
Australia), I-SPAN 2000 (Dallas/Richardson, USA), I-SPAN 2002 (Manila,
Philippines), I-SPAN 2004 (Hong Kong, China), I-SPAN 2005 (Las Vegas,
USA), I-SPAN 2008 (Sydney, Australia), I-SPAN 2009 (Kaoshiung, Taiwan),
I-SPAN 2011 (Dalian, China), I-SPAN 2012 (San Marcos, Texas, USA), and
I-SPAN 2014 (Chengdu, China).
I-SPAN 2017 will be held in Exeter, the capital city of Devon and
provides the county with a central base for education, medicine,
religion, commerce and culture. The city is also home to the magnificent
Exeter Cathedral, which dates back to Norman times. Exeter is also
ideally placed to base a trip to branch out visiting places such as the
famous Dartmoor National Park and the serene beaches of the North and
South Devon coastlines.
SCOPE AND TOPICS
================
*Topics of interest include, but are not limited to:*
·Track 1: Big Data Analytics and Applications

* Track 2: Graphs and Interconnection networks
* Track 3: Health and Biomedical Informatics
* Track 4: Distributed Algorithms and Graph Computing
* Track 5: Parallel, Distributed and Edge-Computing Systems
* Track 6: Mobile Computing and Communication
* Track 7: Cloud Computing and Data Center Management
* Track 8: Global Networking and Cyber Security
* Track 9: Multimedia Communication and Computing

IMPORTANT DATES
================
·Workshop Proposal Due: 15 December 2016
·Paper Submission Deadline: 16 February 2017
·Authors Notification: 22 April 2017
·Camera-Ready Paper Due: 15 May 2017
·Early Registration Due: 15 May 2017
·Conference Date: 21-23 June 2017
PAPER SUBMISSION GUIDELINE
==========================
All papers need to be submitted electronically through the conference
submission website ( http://cse.stfx.ca/~ISPAN2017/sub/
<http://cse.stfx.ca/%7EISPAN2017/sub/> ) with PDF format. The materials
presented in the papers should not be published or under submission
elsewhere. Each paper is limited to 8 pages (or 10 pages with over
length charge) including figures and references using IEEE Computer
Society Proceedings Manuscripts style (two columns, single-spaced, 10
fonts). If the authors believe that more details are essential to
substantiate the claims of the paper, they may include a clearly marked
appendix (with no space limit) that will be read at the discretion of
the Program Committee. You can confirm the IEEE Computer Society
Proceedings Author Guidelines at the following web page:
http://www.computer.org/web/cs-cps/
Manuscript Templates for Conference Proceedings can be found at
https://www.ieee.org/conferences_events/conferences/publishing/templates.html
Once accepted, the paper will be included into the IEEE conference
proceedings published by IEEE Computer Society Press (indexed by EI). At
least one of the authors of any accepted paper is requested to register
the paper at the conference.
JOURNAL SPECIAL ISSUES
======================
Distinguished papers selected from the conferences and associated
workshops, after further extensions, will be recommended for submission
and publication in the following prestigious journals or their Special
Issues:
- Journal of Interconnection Networks
- Theory and Applications of Graphs


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

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

No comments:

Post a Comment