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. GraMSec'14 -- Deadline extended until December 13 (Barbara KORDY)
2. CALL FOR PAPERS-IFORS 2014 Triennial Conference (evrim ursavas)
3. EATCS-IPEC Nerode Prize 2014: Final call for nominations
(Peter Widmayer)
4. PhD position in NoSQL Database Security (Goettingen, Germany)
(Lena Wiese)
5. 3 post-doc positions in Computer Science @GSSI L'Aquila -
Italy (Michele Flammini)
6. Research fellow in random graph theory at the University of
Birmingham (Nikolaos Fountoulakis)
----------------------------------------------------------------------
Message: 1
Date: Wed, 4 Dec 2013 10:38:54 +0000
From: Barbara KORDY <barbara.kordy@uni.lu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] GraMSec'14 -- Deadline extended until December 13
Message-ID: <51604CA7384E4C4A97AD9EE83BC440C11DB1727C@hoshi.uni.lux>
Content-Type: text/plain; charset="iso-8859-1"
Due to numerous requests, the GraMSec'14 deadline has been extended until Friday, December 13.
The full CFP can be found below.
Best regards,
Barbara
------------------------------------
Dr. Barbara Kordy
Research Associate
Universit? du Luxembourg, SnT
Campus Kirchberg, room F012
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Phone:? +352 466 644 5506
Fax:???? +352 466 644 5741
------------------------------------
?????????????????? CALL FOR PAPERS - GraMSec'14
? The First International Workshop on Graphical Models for Security
???????????????????April 12, 2014, Grenoble, France
????????????????????? http://www.gramsec.uni.lu/
???????????????????? (Co-located with ETAPS 2014)
SCOPE
Graphical security models provide an intuitive but systematic
methodology to analyze security weaknesses of systems and to evaluate
potential protection measures. Such models have been subject of
academic research and they have also been widely accepted by the
industrial sector, as a means to support and facilitate threat
analysis and risk management processes. 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.
TOPICS
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, Petri nets for security, Bayesian
? networks for security, UML-based models for security,
- security in system models, organizational models, business models,
? and methods for (semi-)automatic derivation of attack models from
? these,
- methods for quantitative analysis of graphical security models,
- analysis of digital, physical and social (socio-technical) security
? aspects using graphical models,
- risk assessment and risk management using graphical security models,
- software tools supporting security analysis using graphical models,
- case studies and experience reports on the use of graphical
? methodologies for analysis and evaluation of security of systems.
PAPER SUBMISSION
We solicit two types of submissions:
- Regular papers (up to 15 pages) describing original and unpublished
? work within the scope of the workshop.
- Short papers (up to 5 pages) describing work in progress or less
? mature results.
Case studies and tool papers are welcome as well. All submissions must
be prepared in LaTeX using the EPTCS macro package available at
http://style.eptcs.org/. Each paper will undergo a thorough review
process. Submissions should be made using the GraMSec'14 easychair web
site: https://www.easychair.org/conferences/?conf=gramsec14
The final versions of accepted regular and short papers will be
published as a volume of Electronic Proceedings in Theoretical
Computer Science (EPTCS). Furthermore, authors of a selection of the
accepted papers will be invited to submit an extended version of their
articles to a special issue of a high-quality journal, after the
workshop.
Participants are also encouraged to submit position statements on
linking industrial needs to academic research questions. The
statements should not exceed one page and they will not undergo the
review process. Based on the statements, a special session will be
organized.
IMPORTANT DATES
Submission deadline: December 13, 2013 (extended)
Acceptance notification: January 24, 2014
Camera ready version: February 6, 2014
Workshop: April 12, 2014
GENERAL CHAIR
Sjouke Mauw, University of Luxembourg, LU
PC CO-CHAIRS
Barbara Kordy, University of Luxembourg, LU
Wolter Pieters, Delft University of Technology and University of Twente, NL
PC MEMBERS
Giampaolo Bella, University of Catania, Italy
Matt Bishop, University of California at Davis, USA
Stefano Bistarelli, University of Perugia, Italy
Mathias Ekstedt, KTH Royal Institute of Technology, Sweden
Donald Firesmith, Software Engineering Institute, USA
Virginia N. L. Franqueira, University of Central Lancashire, UK
Paolo Giorgini, University of Trento, Italy
Siv Hilde Houmb, Secure-NOK AS and Gj?vik University College, Norway
Sushil Jajodia, George Mason University, USA
Henk Jonkers, BiZZdesign, The Netherlands
Jan J?rjens, Technical University Dortmund, Germany
Peter Karpati, Institute for Energy Technology, Norway
Dong Seong Kim, University of Canterbury, New Zealand
Gabriele Lenzini, University of Luxembourg, Luxembourg
Per H?kon Meland, SINTEF, Norway
Svetla Nikova, KU Leuven, Belgium
Andreas L. Opdahl, University of Bergen, Norway
St?phane Paul, Thales Research and Technology, France
Milan Petkovic, Philips and Eindhoven University of Technology, The Netherlands
Ludovic Pi?tre-Cambac?d?s, EDF, France
Christian W. Probst, Technical University of Denmark, Denmark
William H. Sanders, University of Illinois, USA
Simone Sillem, Delft University of Technology, The Netherlands
Guttorm Sindre, Norwegian University of Science and Technology, Norway
Mari?lle Stoelinga, University of Twente, The Netherlands
Kishor S. Trivedi, Duke University, USA
Luca Vigan?, King's College London, UK ???????????????
Lingyu Wang, Concordia University, Canada
Jan Willemson, Cybernetica, Estonia
CONTACT
For inquiries please send an e-mail to gramsec@uni.lu
------------------------------
Message: 2
Date: Wed, 4 Dec 2013 13:50:07 +0200
From: evrim ursavas <eursavas@hotmail.com>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CALL FOR PAPERS-IFORS 2014 Triennial Conference
Message-ID: <DUB119-W512442F742AB1AAC961068DBD40@phx.gbl>
Content-Type: text/plain; charset="windows-1254"
We are pleased to invite you to participate in the IFORS 2014 Conference to be held on 13-18 July 2014 in the city of Barcelona, in the Mediterranean coast of Spain.
Aims and scope
Port management is a complex activity and in order to achieve the port?s macro goals of maximizing throughput and revenue, a vast number of interconnected operations need to be addressed in the port. Accordingly, the need for effective decision making strategies for managing these port operations have become apparent and therefore have attracted many researchers into the subject. Aim of this event is to bring together a diverse and high quality number of participants to share their new ideas, knowledge and experiences in the logistics and maritime industry.
Topics of interest include:
Port management and policies
Stowage planning
Quayside operations
Yard operations
Transport optimization
To submit an abstract please go to: http://www.ifors2014.org/
Follow the abstract submission link and use the submission code ?a0cf7d2c? under the section ?Abstract in an invited session? to continue.
Important dates:
Abstract submission closes: 31 January 2014
Early Registration: 1 November 2013- 28 February 2014
Regular Registration: 1 March - 30 April 2014
Late and on-site registration: 1 May - 13 July 2014
Prof. Dr. Iris Vis
Dr. Evrim Ursavas
------------------------------
Message: 3
Date: Wed, 4 Dec 2013 14:31:24 +0100
From: Peter Widmayer <widmayer@inf.ethz.ch>
To: <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] EATCS-IPEC Nerode Prize 2014: Final call for
nominations
Message-ID: <529F2EAC.3000004@inf.ethz.ch>
Content-Type: text/plain; charset="ISO-8859-1"; format=flowed
FINAL CALL FOR NOMINATIONS
for the EATCS-IPEC Nerode Prize 2014
for outstanding papers in the area of multivariate algorithmics.
*Deadline for Nominations:* January 1, 2014.
*Decision:* May 1, 2014.
The award is presented annually with the presentation taking place at
IPEC (International Symposium on Parameterized and Exact Computation).
IPEC 2014 takes place within ALGO 2014, September 10-12, 2014, Wroclaw,
Poland.
The Prize is named in honor of Anil Nerode in recognition of his major
contributions to mathematical logic, theory of automata, computability,
and complexity theory.
In 2013, the prize was awarded for the first time, see
http://eatcs.org/index.php/nerode-prize.
*Award Committee *
The winning paper(s) is selected by a committee of three members. This
year's committee consists of the following three people.
Georg Gottlob (Oxford University), georg.gottlob@cs.ox.ac.uk
Jan Arne Telle (University of Bergen), telle@ii.uib.no
Peter Widmayer (ETH Zurich, chair), widmayer@inf.ethz.ch
The Award Committee is solely responsible for the selection of the
winner of the award which may be shared by more than one paper or series
of papers. The Award Committee reserves the right to declare no winner
at all.
*Eligibility *
Any research paper or series of research papers by a single author or by
a team of authors published in a recognized refereed journal. The year
of publication should be at least two years and at most ten years before
the year of the award nomination. The research work nominated for the
award should be in the area of multivariate algorithms and complexity
meant in a broad sense, and encompasses, but is not restricted to, those
areas covered by IPEC. The Award Committee has the ultimate authority to
decide on the eligibility of a nomination. Papers authored by a member
of the Award Committee are not eligible for nomination.
*Nominations *
Nominations may be made by any member of the scientific community
including the members of the Award Committee. A nomination should
contain a brief summary of the technical content of each nominated paper
and a brief explanation of its significance. Nominations are done by an
email to the Award Committee Chair with copies to the members of the
committee.
------------------------------
Message: 4
Date: Wed, 4 Dec 2013 14:37:02 +0100
From: "Lena Wiese" <lena.wiese@udo.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD position in NoSQL Database Security (Goettingen,
Germany)
Message-ID:
<b9d7be664b208308e4f53a461e0c72ae.squirrel@webmail.tu-dortmund.de>
Content-Type: text/plain;charset=iso-8859-1
The Institute of Computer Science at the Georg-August-Universit?t
G?ttingen is looking to fill the position of a Research Assistant at the
Research Group Knowledge Engineering.
The contract will be fulltime (100% of currently 38.9 hours per week) and
limited to a duration of 2 years.
This position should be filled by March 3 rd 2014. Salary: Pay grade 13 TV-L.
Your duties
? Performing research in a project on databases and security (storage of
encrypted data in distributed database systems)
? Collaborating in setting up a research network on NoSQL databases
Your profile
? You hold an excellent degree (Master) in Computer Science, Mathematics
or a related field
? You have a strong background in databases, cryptography and programming
(Java)
? You are proficient in English
This position gives the successful applicant the opportunity to pursue a
PhD degree. The position is suitable for part-time work.
The University of G?ttingen is an equal opportunities employer and places
particular emphasis on fostering career opportunities for women. Qualified
women are therefore strongly encouraged to apply as they are
underrepresented in this field. Disabled persons with equivalent aptitude
will be favored.
Applications should include a motivation letter, short CV, list of
publications, university certificates, and names (incl. contact info) of
two possible references. Please send your application (also in electronic
form) by January 6 th 2014 to Georg-August-Universit?t G?ttingen,
Institute of Computer Science, Dr. Lena Wiese, Goldschmidtstra?e 7, 37077
G?ttingen, E-Mail: wiese@cs.uni-goettingen.de.
If you have any questions, please contact Dr. Wiese (phone: +49 551 39 172
059, e-mail: wiese@cs.uni-goettingen.de).
We request that you send us copies of your application documents, as no
returns will be made. We will destroy the documents after a holding period
of five months. Application documents will only be returned to you if you
provide a self-addressed adequately stamped envelope.
--
Dr. Lena Wiese
Institute of Computer Science, University of Goettingen
Goldschmidtstrasse 7, 37077 Goettingen, Germany
http://wiese.free.fr
------------------------------
Message: 5
Date: Wed, 4 Dec 2013 19:54:24 +0100 (CET)
From: Michele Flammini <michele.flammini@univaq.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 3 post-doc positions in Computer Science @GSSI
L'Aquila - Italy
Message-ID:
<450433260.2394204.1386183264501.JavaMail.zimbra@di.univaq.it>
Content-Type: text/plain; charset=utf-8
Dear Colleagues,
the deadline is approaching, please help us in distributing the following call.
Thanks in advance
Michele Flammini
----------------------------
3 Post Doctoral positions in Computer Science at Gran Sasso Science Institute in L'Aquila (Italy) - http://www.gssi.infn.it
Deadline December 8, 2013
The Gran Sasso Science Institute (GSSI), a recently established international PhD school and a Center for advanced studies in physics, mathematics, computer science and social sciences offers 16 postdoctoral research positions; among these 3 are dedicated to Computer Science and more specifically to themes that are strongly connected to the pillars of the PhD program in Computer Science:
- Foundations of networks.
- Software systems and services.
- Specifications and analysis of concurrent reactive systems
The annual gross salary is EURO 40K, positions are for two years and may be extended to a third year.
Candidates must have earned their doctoral degree not earlier than January 1, 2007. Selected candidates are expected to start their appointments not later than November 1st, 2014.
Online application forms can be found on the GSSI web portal
http://www.gssi.infn.it.
The full text of the call can be downloaded at
http://www.gssi.infn.it/images/bandi2013/bando_RG.pdf
For further information you can contact Rocco De Nicola (rocco.denicola@imtlucca.it), the coordinator of the PhD program in Computer Science at GSSI.
Best regards,
Michele Flammini
-----------
Department of Information Engineering, Computer Science, and Mathematics
University of L'Aquila
Italy
email michele.flammini@univaq.it
------------------------------
Message: 6
Date: Wed, 4 Dec 2013 21:58:40 +0000
From: Nikolaos Fountoulakis <n.fountoulakis@bham.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Research fellow in random graph theory at the
University of Birmingham
Message-ID:
<F06B410E64638A4C922359F973E7C3BA81A2915B@EX5.adf.bham.ac.uk>
Content-Type: text/plain; charset="iso-8859-1"
The University of Birmingham invites applications for a research fellow to work with Nikolaos Fountoulakis on an
EU-funded project on random graph theory.
The post is available for a period of 11 months and must commence by 1 October 2014 or earlier by mutual agreement.
Applicants are expected to have a PhD in Combinatorics or Probability Theory (or about to complete a PhD).
Informal enquiries about this position are welcome and may be made to Nikolaos Fountoulakis
via email: n.fountoulakis at bham.ac.uk (http://web.mat.bham.ac.uk/N.Fountoulakis/)
Salary from ?27,854 a year, in a range up to ?36,298 a year, with potential progression to ?38,522 a year.
Closing date: 2 January 2014, Reference: 52156
Further information about the Combinatorics group in Birmingham is available on http://web.mat.bham.ac.uk/D.Osthus/bham.html
Further information about the Department is available on http://www.mat.bham.ac.uk
Further details of the post, together with information on application procedures, can be found via: http://www.hr.bham.ac.uk/jobs
------------------------------
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 70, Issue 4
*************************************
No comments:
Post a Comment