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. CFP: Graphical Models for Security (GraMSec'16) (Barbara Kordy)
2. PhD position at Graz University of Technology (Peter Grabner)
3. internship in optimization and bioinformatics
(Djidjev, Hristo Nikolov)
4. BDA 2016 --- call for presentations (Yuval Emek)
5. BCTCS 2016, March 22-24, Queen's University Belfast (second
announcement) (Michele Zito)
6. WG 2016 - final CFP (Pinar Heggernes)
----------------------------------------------------------------------
Message: 1
Date: Tue, 2 Feb 2016 16:04:58 +0100
From: Barbara Kordy <barbara.kordy@irisa.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: Graphical Models for Security (GraMSec'16)
Message-ID: <56B0C59A.4010005@irisa.fr>
Content-Type: text/plain; charset=utf-8; format=flowed
*****************************************************************
GraMSec'16
The Third International Workshop on Graphical Models for Security
Co-located with CSF 2016
Lisbon, Portugal - June 27, 2016
http://gramsec.uni.lu/
*****************************************************************
Graphical security models provide an intuitive but systematic approach to
analyze security weaknesses of systems and to evaluate potential protection
measures. Formal methods and cyber 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 vulnerability assessment, risk analysis, defense analysis,
automated defensing, secure services composition, policy validation and
verification. The objective of the GraMSec workshop 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:
- Graphical models for threat modeling and analysis
- Graphical models for risk analysis and management
- Graphical models for requirements analysis and management
- Textual and graphical representation for system, organizational, and
business security
- Visual security modeling and analysis of socio-technical and
cyber-physical systems
- Graphical security modeling for cyber situational awareness
- Graphical models supporting the security by design paradigm
- Methods for quantitative and qualitative analysis of graphical
security models
- Formal semantics and verification of graphical security models
- Methods for (semi-)automatic generation of graphical security models
- Enhancement and/or optimization of existing graphical security models
- Scalable evaluation of graphical security models
- Evaluation algorithms for graphical security models
- Dynamic update of graphical security models
- Game theoretical approaches to graphical security modeling
- Attack trees, attack graphs and their variants
- Stochastic Petri nets, Markov chains, and Bayesian networks for security
- UML-based models and other graphical modeling approaches for security
- Software tools for graphical security modeling and analysis
- Case studies and experience reports on the use of graphical security
modeling paradigm.
IMPORTANT DATES
Submission deadline: April 18, 2016
Acceptance notification: May 20, 2016
Camera ready version: June 3, 2016
GraMSec'16 workshop: June 27, 2016
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.
- Short papers (up to 7 pages) describing original and unpublished work in
progress.
All submissions must be prepared using the LNCS style.
Each paper will undergo a thorough review process. All accepted (regular
and
short) papers will be included in the workshop's post-proceedings. As last
year, we plan to publish the GraMSec'16 post-proceedings in the Lecture
Notes
in Computer Science (LNCS) series of Springer (confirmation pending).
Submissions should be made using the GraMSec'16 EasyChair web site:
https://www.easychair.org/conferences/?conf=gramsec16.
INVITED SPEAKER
The invited lecture of GraMSec'16 will be given by Xinming Ou, associate
professor at Computer Science and Engineering, University of South
Florida, USA
GENERAL CHAIR
Barbara Kordy, INSA Rennes, IRISA, France
PROGRAM COMMITTEE CO-CHAIRS
Mathias Ekstedt, KTH Royal Institute of Technology, Sweden
Dong Seong Kim, University of Canterbury, New Zealand
PROGRAM COMMITTEE
- Mathieu Acher, IRISA, FR
- Massimiliano Albanese, George Mason University, USA
- Ludovic Apvrille, Télécom ParisTech, CNRS LTCI, FR
- Thomas Bauereiss, DFKI GmbH, DE
- Giampaolo Bella, University of Catania, IT
- Stefano Bistarelli, University of Perugia, IT
- Frédéric Cuppens, Télécom Bretagne, FR
- Nora Cuppens-Boulahia, Télécom Bretagne, FR
- Binbin Chen, Advanced Digital Sciences Center, SG
- Jason Crampton, RHUL, UK
- Hervé Debar, Télécom SudParis, FR
- Giovanna Dondossola, RSE, IT
- Ulrik Franke, SICS, SE
- Frank Fransen, TNO, NL
- Olga Gadyatskaya, University of Luxembourg, LU
- Paolo Giorgini, University of Trento, IT
- Erlend Andreas Gjare, SINTEF, NO
- Dieter Gollmann, TU Hamburg, DE
- Olivier Heen, Technicolor, FR
- Hannes Holm, Swedish Defence Research Agency, SE
- Siv Hilde Houmb, Secure-NOK AS, NO
- René Rydhof Hansen, Aalborg University, DK
- Ravi Jhawar, University of Luxembourg, LU
- Henk Jonkers, BiZZdesign, NL
- Sushil Jajodia, George Mason University, USA
- Florian Kammueller, Middlesex University London, UK
- Nima Khakzad, TU Delft, NL
- Pascal Lafourcade, University of Auvergne, FR
- Jean-Louis Lanet, INRIA, FR
- Jean Leneutre, Télécom ParisTech, FR
- David Lubicz, DGA, FR
- Sjouke Mauw, University of Luxembourg, LU
- Per Hakon Meland, SINTEF, NO
- Jogesh Muppala, HKUST, HK
- Simin Nadjm-Tehrani, Linköping University, SE
- Steven Noel, MITRE, USA
- Andreas L. Opdahl, University of Bergen, NO
- Xinming Ou, University of South Florida, USA
- Stéphane Paul, Thales Research & Technology, FR
- Ludovic Piètre-Cambacédès, EDF, FR
- Sophie Pinchinat, University Rennes 1, IRISA, FR
- Vincenzo Piuri, University of Milan, IT
- Marc Pouly, Lucerne University of Applied Sciences and Arts, CH
- Cristian Prisacariu, University of Oslo, NO
- Nicolas Prigent, Supélec, FR
- Christian W. Probst, TU Denmark, DK
- David Pym, University College London, UK
- Sasa Radomirovic, ETH Zurich, CH
- Indrajit Ray, Colorado State University, USA
- Arend Rensink, University of Twente, NL
- Yves Roudier, EURECOM, FR
- Pierangela Samarati, University of Milan, IT
- Guttorm Sindre, NUST, NO
- Ketil Stolen, Sintef, NO
- Mariëlle Stoelinga, University of Twente, NL
- Axel Tanner, IBM Research Zürich, CH
- Kishor S. Trivedi, Duke University, USA
- Alexandre Vernotte, KTH, SE
- Luca Vigano, King's College London, GB
- Lingyu Wang, Concordia University, CA
- Jan Willemson, Cybernetica, EE
This call for papers and additional information about the workshop
can be found at http://gramsec.uni.lu/
------------------------------
Message: 2
Date: Tue, 2 Feb 2016 16:14:36 +0100
From: Peter Grabner <peter.grabner@tugraz.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD position at Graz University of Technology
Message-ID: <56B0C7DC.5080908@tugraz.at>
Content-Type: text/plain; charset=utf-8
The Department of Analysis and Number Theory at the Graz University of
Technology announces an
Assistant position without PhD
The contract is for five years with starting date 01.05.2016 and for 40
hours a week.
Requirements:
University degree in mathematics with master degree.
Additional Qualifications:
Excellent knowledge in analysis, probability theory and number theory.
Willingness to prepare a doctoral dissertation in one of the above subjects.
Experiences in the scientific work in the above field and teaching
experiences in
mathematics for engineers.
Participation in the administration of the institute.
Knowledge of foreign languages.
Graz University of Technology wants to increase the number of female
employees and therefore invites women to apply for the above position.
Deadline for application: 03.03.2015
Please send your application (including a curriculum vitae) to:
Dean of the Faculty of mathematics, physics and geodesy
O. Univ.-Prof. Mag. Dr. Wolfgang Ernst
Petersgasse 16
A-8010 Graz
Either per usual mail or per email to:
bewerbungen.mpug@tugraz.at
--
Peter Grabner
Institut für Analysis und Zahlentheorie
Technische Universität Graz
Steyrergasse 30/II
8010 Graz
Austria
Tel: +43 316 873 7124
Fax: +43 316 873 107124
------------------------------
Message: 3
Date: Tue, 2 Feb 2016 20:53:28 +0000
From: "Djidjev, Hristo Nikolov" <djidjev@lanl.gov>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] internship in optimization and bioinformatics
Message-ID: <D2D66556.453A%djidjev@lanl.gov>
Content-Type: text/plain; charset="us-ascii"
=============================
Bioinformatics internship
Los Alamos National Laboratory
=============================
The Information Sciences group at the Los Alamos National Laboratory has
an opening for a graduate level student to work at Los Alamos for a limited
period of time, usually 3-4 months. The starting date is negotiable. The
research will involve elements of mathematical optimization, algorithm design,
and software engineering. It will be a part of a multi-year project on
developing optimization techniques and tools for protein structure prediction.
Qualifications:
(1) Research-level expertise in at least one of the following: bioinformatics,
global optimization, combinatorial algorithm design, parallel computing;
(2) Very strong programming skills;
(3) Demonstrated ability to publish research in peer-reviewed journals or conference
proceedings.
Interested candidates should send their resumes including a brief description of their
research interests to Hristo Djidjev, djidjev@lanl.gov. Applications received no later
than March 15, 2016, will receive full consideration.
US citizenship is NOT required for this position.
------------------------------
Message: 4
Date: Tue, 2 Feb 2016 23:02:51 +0200
From: Yuval Emek <yemek@ie.technion.ac.il>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] BDA 2016 --- call for presentations
Message-ID: <mailman.262.1454527592.2539.dmanet@zpr.uni-koeln.de>
Content-Type: text/plain; charset=UTF-8
*** Apologies for multiple messages ***
=======================================================
The 4th Workshop on Biological Distributed Algorithms (BDA 2016)
Co-located with PODC 2016. July 25, 2016 in Chicago, IL USA
http://www.snl.salk.edu/~navlakha/BDA2016/
=======================================================
We are excited to announce the 4th workshop on Biological Distributed
Algorithms (BDA). The aim of the workshop is to foster collaborative research
between biologists and distributed computing theory researchers, with the hope
of producing better understanding of the behavior of distributed biological
systems, as well as new ideas for design of algorithms for engineered or
computational networks.
BDA 2016 will include presentations on distributed algorithms related to a
variety of biological systems, with special attention to communication and
coordination in insect colonies (e.g. foraging, navigation, task allocation,
construction) and networks in the brain (e.g. learning, decision-making,
attention).
This is a one-day workshop.
===========
SUBMISSIONS
===========
We solicit submissions of extended abstracts describing recent results
relevant to biological distributed computing. We especially welcome extended
abstracts describing new insights and / or case studies regarding the
relationship between distributed computing and biological systems even if
these are not fully formed. Since a major goal of the workshop is to explore
new directions and approaches, we especially encourage the submission of
ongoing work. Selected contributors would be asked to present, discuss and
defend their work at the workshop. Submissions should be in PDF and include
title, author information, and a 4-page extended abstract.
Please use the following EasyChair submission link:
https://easychair.org/conferences/?conf=bda20160
Note: The workshop will not include published proceedings. In particular, we
welcome submissions of papers describing work that has appeared or is expected
to appear in other venues.
===============
IMPORTANT DATES
===============
April 25, 2016 – Extended abstract submission deadline
May 25, 2016 – Decision notifications
July 25, 2016 – Workshop
================
INVITED SPEAKERS [PRELIMINARY; MORE TO COME!]
================
Bernard Chazelle - Princeton
Melanie Moses - UNM
=================
PROGRAM COMMITTEE
=================
Ziv Bar-Joseph - CMU
Anna Dornhaus - University of Arizona
Yuval Emek - Technion (co-chair)
Amos Korman - CNRS and University of Paris Diderot
Nancy Lynch - MIT
Saket Navlakha - Salk Institute (co-chair)
--
Yuval Emek, Ph.D.
Assistant Professor
Industrial Engineering and Management
Technion - Israel Institute of Technology
http://ie.technion.ac.il/~yemek/
------------------------------
Message: 5
Date: Tue, 2 Feb 2016 22:23:38 +0000 (GMT)
From: Michele Zito <Michele@liverpool.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] BCTCS 2016, March 22-24, Queen's University Belfast
(second announcement)
Message-ID: <alpine.LRH.2.11.1602022222150.31250@ssh2.csc.liv.ac.uk>
Content-Type: TEXT/PLAIN; CHARSET=UTF-8; FORMAT=flowed
Support for graduate students willing to travel to BCTCS is still
available.
====================================================
British Colloquium for Theoretical Computer Science
Queen's University Belfast
22nd-24th March 2016
https://sites.google.com/a/monoid.at/bctcs-2016/
The 32th British Colloquium for Theoretical Computer Science (BCTCS)
will be hosted by the Department of Computer Science, Queen's University
of Belfast, from 22nd to 24th March, 2016.
The purpose of BCTCS is to provide a forum in which researchers in
theoretical computer science can meet, present research findings, and
discuss developments in the field. It also aims to provide an
environment in which PhD students can gain experience in presenting
their work, and benefit from contact with established researchers.
The scope of the colloquium includes all aspects of theoretical computer
science, including automata theory, algorithms, complexity theory,
semantics, formal methods, concurrency, types, languages and logics.
Both computer scientists and mathematicians are welcome to attend, as
are participants from outside of the UK.
The colloquium features both invited and contributed talks. This year
the invited speakers are as follows:
- Michael J Butler, University of Southampton
- Rob Gilles, Queen's University Belfast
- Magnús Halldórsson, Reykjavik University
- Matthew Hennessy, Trinity College Dublin
- Valerie King, University of Victoria, Canada
(The LMS Keynote Speaker in Discrete Maths)
We are grateful for support from the Heilbronn Institute for
Mathematical Research which will provide bursaries for 5 students to
cover registration fees and accommodation. If you wish to apply for a
bursary, please email bctcs@qub.ac.uk as soon as possible, indicating
that you would be willing to give a contributed talk and stating the
name of your supervisor. Subsequently, a title and abstract should be
provided. The supervisor should write a letter of support to the same
email address, confirming that the student will attend BCTCS'16.
Participants wishing to give a 30 minute contributed talk on any topic
in the scope of the colloquium are invited to email a title and abstract
to bctcs@qub.ac.uk. Presentations from research students and early
career researchers are particularly encouraged. The titles and abstracts
of invited and contributed talks will appear in the Bulletin of the EATCS.
To register for the colloquium, go to the Colloquium web page at
https://sites.google.com/a/monoid.at/bctcs-2016/
The early registration deadline is 15 February 2016, before which the
fee for the colloquium is £160, which includes lunches/coffee/tea on all
days and a drinks reception and conference dinner on Wednesday 23 March.
After this date, a late registration fee will apply.
For any queries, please contact bctcs@qub.ac.uk.
------------------------------
Message: 6
Date: Wed, 3 Feb 2016 12:08:39 +0200
From: Pinar Heggernes <Pinar.Heggernes@uib.no>
To: DMANET@zpr.uni-koeln.de, THEORYNT@LISTSERV.NODAK.EDU
Subject: [DMANET] WG 2016 - final CFP
Message-ID: <56B1D1A7.1000001@uib.no>
Content-Type: text/plain; charset=utf-8; format=flowed
WG 2016: FINAL CALL FOR PAPERS
42nd International Workshop on Graph-Theoretic Concepts in Computer Science
June 22-24, Istanbul, Turkey
Submission Deadline: Feb 27, 2016
http://www.ie.boun.edu.tr/~wg2016/
LOCATION
The WG 2016 conference is the 42nd edition of the WG series. It will
take place on the campus of Bogazici University in Istanbul, Turkey. The
conference will be from Wednesday June 22 to Friday June 24, 2016.
Participants expected to arrive in Istanbul on Tuesday June 21, where we
will have a welcome reception in the evening. Cheap/student
accommodation will be available close to campus, and we will otherwise
suggest hotels in the popular Taksim area, with a metro connection to
the campus.
AIMS AND SCOPE
WG conferences aim to connect theory and applications by demonstrating
how graph-theoretic concepts can be applied in various areas of computer
science. The goal is to present recent results and to identify and
explore directions for future research. Submitted papers should describe
original results in any aspects of graph theory related to computer
science, including but not restricted to:
- design and analysis of sequential, parallel, randomized,
parameterized, and distributed graph and network algorithms,
- structural graph theory with algorithmic or complexity applications,
- computational complexity of graph and network problems,
- graph grammars, graph rewriting systems and graph modeling,
- graph drawing and layouts,
- computational geometry,
- random graphs and models of the web and scale-free networks, and
- support of these concepts by suitable implementations and applications.
SUBMISSIONS AND PROCEEDINGS
Contributors are invited to submit an extended abstract of at most 12
pages Springer LNCS format (www.springer.com/lncs) including title,
abstract and references. Proofs omitted due to space restrictions must
be placed in an appendix, to be read by program committee members at
their discretion. Simultaneous submission of papers to any other
conference with proceedings published or made publicly available, or
submitting papers previously accepted for journal publication is not
allowed. Invited papers and accepted contributions will be published in
the conference post-proceedings in the Lecture Notes in Computer Science
(ARCoSS/LNCS) series of Springer-Verlag. Please submit a pdf file
containing your extended abstract via EasyChair at the following address:
https://easychair.org/conferences/?conf=wg2016
BEST PAPER AWARD
Thanks to a generous donation by Springer Verlag, WG 2016 is able to
offer an EUR 1000 best paper award, to be decided by the program committee.
BEST STUDENT PAPER AWARD
WG 2016 offers also an award for the best student paper. The main work
in a paper that is a candidate for this award must be done by co-authors
that were students at the time of submission, and the award can be
received only by such co-authors. It must be indicated at the time of
submission whether a paper is candidate for this award.
IMPORTANT DATES
Submission of papers: February 27, 2016
Acceptance notification: April 24, 2016
Conference: June 22-24, 2016
Final version: July 31, 2016
INVITED SPEAKERS
Saket Saurabh (Bergen, Norway)
Kavitha Telikepalli (Mumbai, India)
Dominique de Werra (Lausanne, Switzerland)
PROGRAM COMMITTEE
Isolde Adler, Goethe University, Frankfurt, Germany
Manu Basavaraju, National Institute of Technology, Karnataka, India
Cristina Bazgan, Université Paris Dauphine, France
Hans Bodlaender, Utrecht University, The Netherlands
Christophe Crespelle, Université Claude Bernard, Lyon, France
Tinaz Ekim, Bogazici University, Istanbul, Turkey
Celina de Figueiredo, Federal University of Rio de Janeiro, Brasil
Petr Golovach, University of Bergen, Norway
Gregory Gutin, Royal Holloway, London, UK
Pinar Heggernes (Chair), University of Bergen, Norway
Mamadou Kanté, Université Blaise Pascal, Aubiere, France
Jan Kratochvil, Charles University, Prague, Czech Republic
Erik Jan van Leeuwen, MPI, Saarbrücken, Germany
Martin Milanic, University of Primorska, Koper, Slovenia
Rolf Niedermeier, Technical University of Berlin, Germany
Naomi Nishimura, University of Waterloo, Canada
Yota Otachi, Japan Advanced Institute of Science and Technology
Daniel Paulusma, Durham University, UK
Michał Pilipczuk, University of Warsaw, Poland
Hadas Shachnai, Technion, Haifa, Israel
ORGANIZING COMMITTEE
Arman Boyaci, Bogazici University, Istanbul, Turkey
Cemil Dibek, Bogazici University, Istanbul, Turkey
Tinaz Ekim, Bogazici University, Istanbul, Turkey
Pinar Heggernes, University of Bergen, Norway
Caner Taskin, Bogazici University, Istanbul, Turkey
CONTACT INFORMATION
wg2016@easychair.org
------------------------------
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 96, Issue 4
*************************************
No comments:
Post a Comment