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: AMBIENT 2015 || July 19 - 24, 2015 - Nice, France
(Cristina Pascual)
2. Ten PhD positions in Computer Science at GSSI - L'Aquila
(Italy) (Gianlorenzo D'Angelo)
3. Fully funded PhD Position in Smart Grid Research (Volker Turau)
4. Lecturer or Senior Lecturer in Computer Science, University
of Bristol (Raphael C)
5. CFP: Graphical Models for Security (GraMSec 2015) (Barbara Kordy)
6. Postdoc position in combinatorics (Dan Kral)
----------------------------------------------------------------------
Message: 1
Date: Tue, 3 Mar 2015 10:17:54 +0100
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Last Mile: AMBIENT 2015 || July 19 - 24, 2015 -
Nice, France
Message-ID: <201503030917.t239HrMH013381@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii
INVITATION:
=================
The submission deadline is March 18, 2015.
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to AMBIENT 2015.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== AMBIENT 2015 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
AMBIENT 2015, The Fifth International Conference on Ambient Computing, Applications, Services and Technologies
July 19 - 24, 2015 - Nice, France
General page: http://www.iaria.org/conferences2015/AMBIENT15.html
Call for Papers: http://www.iaria.org/conferences2015/CfPAMBIENT15.html
Submission page: http://www.iaria.org/conferences2015/SubmitAMBIENT15.html
Contributions:
- regular papers [in the proceedings, digital library]
- short papers (work in progress) [in the proceedings, digital library]
- ideas: two pages [in the proceedings, digital library]
- extended abstracts: two pages [in the proceedings, digital library]
- posters: two pages [in the proceedings, digital library]
- posters: slide only [slide-deck posted at www.iaria.org]
- presentations: slide only [slide-deck posted at www.iaria.org]
- demos: two pages [posted at www.iaria.org]
- doctoral forum submissions: [in the proceedings, digital library]
Proposals for:
- mini-symposia: see http://www.iaria.org/symposium.html
- workshops: see http://www.iaria.org/workshop.html
- tutorials: [slide-deck posed on www.iaria.org]
- panels: [slide-deck posed on www.iaria.org]
Submission deadline: March 18, 2015
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 comply with the Editorial rules: http://www.iaria.org/editorialrules.html
AMBIENT 2015 Topics (topics and submission details: see CfP on the site)
Track 1: Ambient computing environments, sensors and hardware
Fundamental for ambient computing and mechanisms; Environmental sensing and computing; Distributed ambient and artificial intelligence; Autonomic ambient networks and communications; Smart environments and applications; Ubiquitous and mobile computing
Track 2: Ambient computing and modeling
Sentient Computing; Tracking and sensing networks; Location-based computing; Ambient context modeling and reasoning; Context-aware computing; Local and global sensing; Multi-sensory and multi-modal fusion
Track 3: Ambient devices, applications and systems
Ambient media and devices; Ambient content and methods for adding intelligence to media objects; Sentient offices; Smart phones; Glasses and filters for ambient game and movie; Social networks and social computing; Semantic-location; Body sensors; Wearable devices; Smart sensors
Track 4: Ambient services, technology and platforms
Personalized services; Ambient assisted living (AAL) ; Social games; Domotics (Home Automation) ; Domestic robotics; Intelligent homes; Tele-care and Telemedicine; Mobile media; Mobile learning; Emergency services; Ambient-oriented technologies (wireless, social networks) ; Universal access; Ambient platforms; Ambient and mobile social networks
Track 5: User Friendly Interfaces
Haptic interfaces; Smart user interfaces; Ambient interfaces (touch, gesture, haptics, biometrics) ; Multimodal interfaces and interaction
Track 6: Ambient Business Models, Privacy and Trust
Business model and business cases, security, privacy and trust, Real-life implementations
-------------
Committee: http://www.iaria.org/conferences2015/ComAMBIENT15.html
================================================
------------------------------
Message: 2
Date: Tue, 03 Mar 2015 14:49:54 +0100
From: "Gianlorenzo D'Angelo" <gianlorenzo.dangelo@univaq.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Ten PhD positions in Computer Science at GSSI -
L'Aquila (Italy)
Message-ID: <54F5BC02.9090002@univaq.it>
Content-Type: text/plain; charset=utf-8; format=flowed
The Gran Sasso Science Institute (GSSI - http://www.gssi.infn.it/ ), a
recently established international PhD school and a Center for advanced
studies in L'Aquila (ITALY) offers 10 PhD positions in Computer Science.
These positions are related to the pillars of the PhD program in
Computer Science (http://cs.gssi.infn.it), namely:
Foundations of social and computer networks
Software systems and services
Specifications and analysis of concurrent reactive systems
Apart from pursuing their own research studies, the successful
candidates will have the opportunity to cooperate with members of the
research group and of the Scientific Board
(http://cs.gssi.infn.it/phd-program/information/), as well as with the
frequent guests of the institute.
Facilities and benefits:
All PhD students will have tuition fees waived;
all PhD students will have free accommodation on GSSI facilities (a
financial substitute of 350,00 Euros gross/month may be offered upon
request);
all PhD students will have free luncheon vouchers;
all PhD students will be covered by insurance against any accident
and/or injury that may occur while carrying out their PhD activities.
The deadline for application is: April 15, 2015 at 6:00 pm (Rome time)
The PhD programs last three years. The yearly amount of the scholarship
is of ? 16.159,91 gross.
For information see http://www.gssi.infn.it/phd/.
For any further information feel free to contact Rocco De Nicola
(rocco.denicola@imtlucca.it), the coordinator of the PhD program in
Computer Science, or any other member of the research group or of the
Scientific Board http://cs.gssi.infn.it/phd-program/information/.
------------------------------
Message: 3
Date: Tue, 03 Mar 2015 14:51:36 +0100
From: Volker Turau <turau@tuhh.de>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Fully funded PhD Position in Smart Grid Research
Message-ID: <54F5BC68.9060708@tuhh.de>
Content-Type: text/plain; charset=utf-8; format=flowed
-----------------------------------------------------------------------
Please distribute to interested people
-----------------------------------------------------------------------
Fully funded PhD Position in Smart Grid Research
Technical University Hamburg, Germany
We are looking for a PhD candidate to do research in the area of smart
grid, decentralized power networks, micro-grids, and demand-response
systems. The focus of this research is on applying information and
communication technologies in these areas. We are a highly motivated
international team of researchers situated in the south of Hamburg. We
offer ideal working conditions, a beautiful campus, and a competitive
salary.
Requirements:
-- excellent M.S. in computer science, computer engineering, electrical
engineering, mathematics, physics or related studies
-- strong interest in design, implementation, simulation of distributed
algorithms
-- skills in creative problem solving
The position will be filled starting June, 1st, 2015. Deadline for
applications is April 3rd, 2015. More details and information about
applications (including the identifier D-15-34) are published at
http://intranet.tuhh.de/aktuell/stellen/stelle.html?kenn_nr=D-15-34
For more information contact:
Prof. Volker Turau (turau at tuhh.de)
Further information about the Institute of Telematics can be found on
http://www.ti5.tu-harburg.de/. Women are especially encouraged to
apply. The position is in the first instance limited to one year with
the possibility of extending for another three years. Applications
should include a detailed CV, a motivation letter, a list of your
M.SC. courses and grades, and a copy of your master thesis.
Applications can be send by email to telematik at tuhh.de using
reference number D-15-34.
---
Prof.Volker Turau
Institute of Telematics
Technische Universit?t Hamburg-Harburg
Schwarzenbergstr. 95
D-21073 Hamburg
Tel.: (+4940) 42878-3530
Fax: (+4940) 42878-2581
E-Mail: turau@tuhh.de
http://www.ti5.tu-harburg.de/staff/turau/
------------------------------
Message: 4
Date: Tue, 3 Mar 2015 15:41:19 +0000
From: Raphael C <drraph@gmail.com>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Lecturer or Senior Lecturer in Computer Science,
University of Bristol
Message-ID:
<CAFHc1QZ=jd0buo98tg4y90DM9K0jr0WpZyoW2bpKgW2OqCKErA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Lecturer or Senior Lecturer in Computer Science, University of Bristol
Closing date for applications: 01-April-2015
The Department of Computer Science at the University of Bristol is
seeking to appoint a Lecturer/Senior Lecturer in Computer Science.
You will have demonstrated that you are on track to become an
outstanding researcher, carrying out innovative research to complement
that currently being pursued in the department. You will have already
achieved international recognition and have a significant number of
high quality publications in top venues. You will have proven ability
or potential to attract research funding from government and/or
industrial sources. Our strategy is to grow our research portfolio and
you will be expected to take a major role in achieving that goal.
This is a full time, open ended post.
The full advert and application process can be found at
http://www.bristol.ac.uk/jobs/find/details.html?nPostingID=2981&nPostingTargetID=10709&option=28&sort=DESC&respnr=1&ID=Q50FK026203F3VBQBV7V77V83&JobNum=ACAD101302&Resultsperpage=10&lg=UK&mask=uobext
For informal discussion about the post candidates are welcome to
contact: Dr Andrew Calway (Head of Department),
Andrew.Calway@bristol.ac.uk.
------------------------------
Message: 5
Date: Tue, 03 Mar 2015 16:53:45 +0100
From: Barbara Kordy <barbara.kordy@irisa.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: Graphical Models for Security (GraMSec 2015)
Message-ID: <54F5D909.4010904@irisa.fr>
Content-Type: text/plain; charset=utf-8; format=flowed
CALL FOR PAPERS
GraMSec 2015
The Second International Workshop on Graphical Models for Security
July 13, 2015, Verona, Italy
http://gramsec.uni.lu/
Co-located with CSF 2015
=================================
Graphical security models provide an intuitive but systematic
methodology to analyze security weaknesses of systems and to evaluate
potential protection measures. Formal methods and computer security
researchers, as well as security professionals from industry and
government, have proposed various graphical security modeling schemes.
Such models are used to capture different security facets (digital,
physical, and social) and address a range of challenges including
security assessment, risk analysis, automated defensing, secure
services composition, policy validation and verification. The
objective of GraMSec is to contribute to the development of
well-founded graphical security models, efficient algorithms for their
analysis, as well as methodologies for their practical usage.
The workshop seeks submissions from academia, industry, and government
presenting novel research on all theoretical and practical aspects of
graphical models for security. The topics of the workshop include, but
are not limited to:
- Attack trees, attack graphs, and their variants
- Petri nets, Markov chains, and Bayesian networks for security
- UML-based models and other graphical modeling approaches for security
- Enhancement and/or optimization of existing graphical security models
- Methods for (semi-)automatic generation of graphical security models
- Scalability of graphical security models
- Software tools for graphical security modeling and analysis
- Risk assessment and risk management using graphical security models
- Methods for quantitative analysis of graphical security models
- Formal semantics of graphical security models
- Formal verification of graphical security models
- Game theoretical approaches to graphical security models
- Visualization of system security
- Visual security modeling and analysis of socio-technical and
cyber-physical systems
- Graphical models for system, organizational, and business security
- Graphical security models for emerging paradigms (e.g., Cloud
computing, IoT, Software Defined Networks, Big Data)
- Case studies and experience reports on the use of graphical security
models
SUBMISSION INSTRUCTIONS
We solicit two types of submissions:
- Regular papers (up to 15 pages) describing original and unpublished
work within the scope of the workshop.
- Tool papers (up to 5 pages) describing software supporting graphical
security modeling, analysis, and evaluation. Tool papers will be
presented during a special tool session.
All submissions must be prepared using the LNCS style.
Each paper will undergo a thorough review process. All accepted
(regular and tool) papers will be included in the final proceedings,
which we plan to publish as a Springer LNCS volume (pending
confirmation). Submissions should be made using the GraMSec'15
EasyChair web site.
IMPORTANT DATES
Submission deadline: April 19, 2015
Acceptance notification: May 26, 2015
Camera ready version: June 15, 2015
Workshop: July 13, 2015
GENERAL CHAIR
Sushil Jajodia, George Mason University, USA
PC CO-CHAIRS
Sjouke Mauw, University of Luxembourg, LU
Barbara Kordy, INSA Rennes, IRISA, FR
PROGRAM COMMITTEE
- Mathieu Acher, IRISA, France
- Massimiliano Albanese, George Mason University, USA
- Ludovic Apvrille, Institut Mines-Telecom, Telecom ParisTech, CNRS
LTCI, France
- Thomas Bauereiss, DFKI GmbH, Germany
- Giampaolo Bella, University of Catania, Italy
- Stefano Bistarelli, University of Perugia, Italy
- Ahto Buldas, Cybernetica, Estonia
- Jason Crampton, Royal Holloway University of London, UK
- Frederic Cuppens, Telecom Bretagne, France
- Mathias Ekstedt, Royal Institute of Technology, Sweden
- Olga Gadyatskaya, University of Luxembourg, Luxembourg
- Paolo Giorgini, University of Trento, Italy
- Erlend Andreas Gjare, SINTEF, Norway
- Dieter Gollmann, TU Hamburg, Germany
- Olivier Heen, Technicolor, France
- Siv Hilde Houmb, Secure-NOK AS, and Gjovik University College, Norway
- Ravi Jhawar, University of Luxembourg, Luxembourg
- Henk Jonkers, BiZZdesign, The Netherlands
- Jan Jurjens, Technical University Dortmund, Germany
- Jean-Louis Lanet, INRIA, France
- Gurvan Le Guernic, DGA Maitrise de l'Information, France
- Dong Seong Kim, University of Canterbury, New Zealand
- Per Haakon Meland, SINTEF, Norway
- Jogesh Muppala, HKUST, Hong Kong
- Flemming Nielson, Technical University of Denmark, Denmark
- Steven Noel, MITRE and George Mason University, USA
- Andreas L. Opdahl, University of Bergen, Norway
- Stephane Paul, Thales Research and Technology, France
- Wolter Pieters, TU Delft and University of Twente, The Netherlands
- Ludovic Pietre-Cambacedes, EDF, France
- Sophie Pinchinat, University Rennes 1, IRISA, France
- Vincenzo Piuri, University of Milan, Italy
- Cristian Prisacariu, University of Oslo, Norway
- Nicolas Prigent, Supelec, France
- Christian W. Probst, Technical University of Denmark, Denmark
- David Pym, University College London, UK
- Sasa Radomirovic, ETH Zurich, Switzerland
- Indrajit Ray, Colorado State University, USA
- Arend Rensink, University of Twente, The Netherlands
- Yves Roudier, EURECOM, France
- Pierangela Samarati, University of Milan, Italy
- Guttorm Sindre, Norwegian University of Science and Technology, Norway
- Ketil Stolen, Sintef, Norway
- Axel Tanner, IBM Research Zurich, Switzerland
- Kishor S. Trivedi, Duke University, USA
- Luca Vigano, King's College London, UK
- Lingyu Wang, Concordia University, Canada
- Jan Willemson, Cybernetica, Estonia
This call for papers and additional information about the workshop
can be found at http://gramsec.uni.lu/
------------------------------
Message: 6
Date: Tue, 3 Mar 2015 18:19:05 +0000
From: Dan Kral <D.Kral@warwick.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoc position in combinatorics
Message-ID:
<CAO6OfRFdwLK3aAKa0zQdiY7rsHu3Ttar2sN+75z8y50-=R-Pvg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Dear colleagues,
I would like to advertise an opening for an ERC funded postdoctoral
position in combinatorics at the University of Warwick. The details are
enclosed below. Note that we are open to hiring a candidate with no prior
experience in theory of combinatorial limits and/or extremal combinatorics.
Best regards,
Dan Kral
Job id: 75569-035
University of Warwick, Coventry
Department of Computer Science
Research Fellow
Fixed Term Contract from 1 Oct 2015 to 30 Sep 2017 (negotiable)
You will be expected to perform high quality research in the theory of
combinatorial limits and/or extremal combinatorics. You will possess, or
shortly be obtaining, a PhD, or an equivalent qualification in Mathematics
or Computer Science. You should have a strong background in one or more of
the following areas: structural graph theory, theory of graph limits,
extremal combinatorics, probability theory and model theory. Prior
experience in the theory of combinatorial limits or extremal combinatorics
is not essential; applications from PhD graduates working in probability
theory or model theory with an interest in combinatorial limits and
extremal combinatorics are particularly welcome.
This post is based in the Department of Computer Science, but a close
interaction with members of the Warwick Mathematics Institute and members
of the DIMAP center is expected. The position is funded by the ERC Starting
grant CCOSA and the ERC Consolidator grant LaDIST of Professor Daniel Kral.
Candidates should provide with their application form a CV, a list of
publications and a research statement.
Closing date: 31 Mar 2015
------------------------------
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 85, Issue 4
*************************************
No comments:
Post a Comment