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: 2016 Joint Workshop on Cyber-Physical Security and
Resilience in Smart Grids (Marco Tiloca)
2. PODC 2016 Call for Papers - the submission site is now open
(Jukka Suomela)
3. London Stringology Days & London Algorithmic Workshop 2016:
call for participation (Robert Mercas)
4. PhD position in Discrete Optimization / Robust Optimization /
Algorithmic Graph Theory (Arie M.C.A. Koster)
5. SPIN 2016 - CFP - deadline approaching (Wijs, A.J.)
----------------------------------------------------------------------
Message: 1
Date: Sat, 9 Jan 2016 13:28:28 +0100
From: Marco Tiloca <marco@sics.se>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: 2016 Joint Workshop on Cyber-Physical Security
and Resilience in Smart Grids
Message-ID: <5690FCEC.9090507@sics.se>
Content-Type: text/plain; charset=utf-8
**********************
Call for Papers
**********************
Title: 2016 Joint Workshop on Cyber-Physical Security and Resilience in
Smart Grids
Date: 12th April 2016, Vienna, Austria
Workshop Chairs: Anna Magdalena Kosek (DTU, Denmark), Paul Smith (AIT,
Austria), Reinder Wolthuis (TNO, The Netherlands)
Supporting Projects: SPARKS, SEGRID, SALVAGE
This workshop is part of the CPS week 2016, 11th - 14th April 2016,
Vienna, Austria
Workshop Scope
Future power systems and smart grids will include a greater Information
and Communication Technology (ICT) component,
in order to support future energy services. Whilst this prospect has
many benefits, it also makes power systems and
smart grids more vulnerable to cyber-attacks and introduces increasingly
critical dependencies between the cyber
and physical domain of power systems. The purpose of this workshop is to
be a forum for discussion on the key
challenges in ensuring the security and resilience of cyber-physical
smart grids. This multi-disciplinary
workshop is being co-organized by three major European-funded research
projects in the smart grid area,
namely the SALVAGE, SEGRID and SPARKS projects. The workshop will run
for a full day and include a keynote
speech plus regular paper presentations.
Paper Submissions
Submitted papers should not exceed six pages, the workshop language is
English. The submitted papers are required
to comply with the IEEE conference format guidelines
(http://www.ieee.org/conferences_events/conferences/publishing/templates.html).
Please submit your original work via EasyChair submission system
(https://easychair.org/conferences/?conf=cpsrsg2016).
Accepted and presented papers will be submitted to IEEE Xplore
(http://ieeexplore.ieee.org/), subject to final approval
by the conference committee.
Important Dates
Full paper submission deadline: 1st February 2016
Notification deadline: 1st March 2016
Final paper submission deadline: 25th March 2016
Workshop date: 12th April 2016
Links and Resources
Paper guidelines and templates:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
Submit your PDF: https://easychair.org/conferences/?conf=cpsrsg2016
Registration: http://www.cpsweek.org/2016/reg.html
Venue: http://www.cpsweek.org/2016/venue.html
Topics of interest include, but are not limited to
Intrusion detection systems and security analytics for the smart grid
Resilient control of power systems
Security and resilience metrics for the cyber-physical smart grid
Privacy issues and protection schemes for the smart grid
(Co-)simulation and testbed environments for analyzing security and
resilience
Cyber vulnerability detection and assessment
Risk analysis of cyber-attacks to smart grids
Security architectures for the smart grid
The economics of security and resilience for the smart grid
Regulatory and legal aspects
Program Committee
Rohan Chabukswar, (UTRC, Ireland)
Mathias Ekstedt (KTH, Sweden)
Frank Fransen (TNO, The Netherlands)
Oliver Gehrke (DTU, Denmark)
Robert Griffin (RSA, Switzerland)
Lucie Langer (AIT, Austria)
Kieran McLaughlin, (Queen's University Belfast, UK)
Nuno Neves (FFCUL, Portugal)
Eugeniusz Rosolowski (PWR, Poland)
Judith Rossebo (ABB, Germany)
Alberto Schaeffer-Filho (UFRGS, Brazil)
André Herdeiro Teixeira (TU Delft, The Netherlands)
Marco Tiloca (SICS, Sweden)
------------------------------
Message: 2
Date: Sun, 10 Jan 2016 19:55:52 +0200
From: Jukka Suomela <jukka.suomela@aalto.fi>
To: <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] PODC 2016 Call for Papers - the submission site is
now open
Message-ID: <56929B28.8080609@aalto.fi>
Content-Type: text/plain; charset="utf-8"; format=flowed
------------------------------------------------------
PODC 2016 Second Call for Papers
------------------------------------------------------
The 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
(PODC 2016)
July 25-28, 2016
Chicago, Illinois, USA
http://www.podc.org/
------------------------------------------------------
Deadlines:
Submission: February 12, 2016
Notification: April 29, 2016
Camera-ready: May 23, 2016
All deadlines are 23:59 HAST time zone and firm.
The submission site is now open.
------------------------------------------------------
PODC solicits papers in all areas of distributed computing. Papers from
all viewpoints, including theory, practice, and experimentation, are
welcome. The common goal of the conference is to improve understanding
of the principles underlying distributed computing.
Topics of interest include, but are not limited to, the following subjects:
- distributed algorithms: design, analysis, and complexity
- communication networks: algorithms, architectures, services,
protocols, applications
- multiprocessor and multi-core architectures and algorithms
- shared and transactional memory, synchronization protocols, concurrent
programming
- fault-tolerance, reliability, availability, self-organization,
self-stabilization
- codes and reliable communication
- Internet applications, social networks, recommendation systems
- dynamic, adaptive and machine learning based distributed algorithms
- distributed operating systems, middleware platforms, databases
- game-theoretic approaches to distributed computing
- distributed mechanisms design
- peer-to-peer systems, overlay networks, distributed data management
- high-performance, cluster, cloud and grid computing
- wireless networks, mobile computing, autonomous agents and robots
- context-aware distributed systems
- security in distributed computing, cryptographic protocols
- distributed cryptocurrencies and blockchain protocols
- quantum and optics based distributed algorithms
- nanonetworks
- biological distributed algorithms
- sensor, mesh, and ad hoc networks
- specification, semantics, verification of concurrent systems
Submission: Papers are to be submitted electronically through EasyChair, at
https://easychair.org/conferences/?conf=podc2016
following the guidelines available on the conference web page
(http://www.podc.org/). All submissions must be in English, in pdf
format. Note that the deadline is firm.
A submission for a regular presentation must report original research.
Papers submitted for regular presentations must contain results that
have not previously appeared, and have not been concurrently submitted
to a journal or conference with published proceedings. Any partial
overlap with any such published or concurrently submitted paper must be
clearly indicated. Papers for regular presentation must include:
(1) a cover page, stating the title of the paper, the authors' names and
affiliations, the corresponding author's e-mail, an abstract, and an
indication of whether the paper should be considered for the best
student paper award, and if so the name(s) of the student(s) recommended
for the award;
(2) an extended abstract of up to 10 pages (excluding the cover page and
references);
(3) references.
Additional details may be included in a clearly marked appendix, which
will be read at the discretion of the program committee. This appendix
may simply be the complete paper. A regular submission that is not
selected for regular presentation may be invited for a brief announcement.
A submission for a brief announcement must be no longer than 3
single-column pages on letter-size paper, including title, authors'
names and affiliations, and references. Such submissions may describe
work in progress or work presented elsewhere. The title of a brief
announcement must begin with the words "Brief Announcement:"
Formatting for both regular submissions and brief announcements:
letter-size (8 1/2 x 11 inch) paper, single-column format, using at
least 1 inch margins, 11-point font. Submissions deviating from these
guidelines risk rejection without consideration of their merits.
Publication: Regular papers and brief announcements will be included in
the conference proceedings. Regular papers receive up to 10 pages, and
brief announcements receive up to 3 pages in the proceedings.
Extended and revised versions of selected papers will be considered for
a special issue of the Distributed Computing journal. Two papers will be
considered for publication in JACM.
Awards: Every regular paper is eligible for the best paper award.
Regular papers co-authored by full-time students may also be eligible
for the best student paper award. For a paper to be considered for this
award, the nominated authors should be full time students at the time of
submission and they should be principally responsible for the paper's
contributions. The program committee may decline to make these awards or
may split them.
------------------------------------------------------
Keynote Speakers
Andrew A. Chien (University of Chicago)
Faith Ellen (University of Toronto)
Phillip B. Gibbons (Carnegie Mellon University)
------------------------------------------------------
Program Committee
Ittai Abraham (VMware Research Group, USA)
Yehuda Afek (Tel-Aviv University, Israel)
Marcos K. Aguilera (VMware Research Group, USA)
Dan Alistarh (Microsoft Research, Cambridge, UK)
James Aspnes (Yale University, USA)
Leonid Barenboim (The Open University of Israel, Israel)
Shiri Chechik (Tel-Aviv University, Israel)
Colin Cooper (King's College London, UK)
Oksana Denysyuk (University of Calgary, Canada)
Ittay Eyal (Cornell University, USA)
Hugues Fauconnier (LIAFA, Paris Diderot, France)
Pascal Felber (Universite de Neuchatel, Switzerland)
Wojciech Golab (University of Waterloo, Canada)
Rachid Guerraoui (EPFL, Lausanne, Switzerland)
Bernhard Haeupler (Carnegie Mellon University, USA)
Anne-Marie Kermarrec (INRIA, Rennes, France)
Valerie King (University of Victoria, Canada)
Adrian Kosowski (LIAFA, Paris Diderot, France)
Shay Kutten (Technion, Israel)
Christoph Lenzen (MPI Saarbruecken, Germany)
Achour Mostefaoui (Universite de Nantes, France)
Calvin Newport (Georgetown University, USA)
Merav Parter (MIT, USA)
Andrzej Pelc (Universite du Quebec en Outaouais, Canada), PC chair
Sergio Rajsbaum (UNAM, Mexico)
Andrea Richa (Arizona State University, USA)
Liam Roditty (Bar-Ilan University, Israel)
Nicola Santoro (Carleton University, Canada)
Thomas Sauerwald University of Cambridge, UK)
Jukka Suomela (Aalto University, Finland)
Gadi Taubenfeld (IDC Herzliya, Israel)
Philipp Woelfel (University of Calgary, Canada)
Haifeng Yu (National University of Singapore, Singapore)
Vassilis Zikas (ETH, Zurich, Switzerland)
------------------------------------------------------
Conference Committee
Chen Avin (Workshop Coordinator) - Ben-Gurion University, Israel
George Giakkoupis (General Chair) - INRIA, France
Avery Miller (Communication Co-Chair) - Tel-Aviv University, Israel
Andrzej Pelc (PC Chair) - Universite du Quebec en Outaouais, Canada
Elad Schiller (Treasurer) - Chalmers University of Technology, Sweden
Jukka Suomela (Communication Co-Chair) - Aalto University, Finland
Mark Tuttle (Publicity Chair) - Intel, USA
Nitin Vaidya (Organizing Chair) - University of Illinois, USA
------------------------------------------------------
Steering Committee
Shlomi Dolev - Ben-Gurion University, Israel
Pierre Fraigniaud - CNRS, Universite Paris-Diderot, France
George Giakkoupis - INRIA, France
Andrzej Pelc - Universite du Quebec en Outaouais, Canada
Elad Schiller - Chalmers University of Technology, Sweden
Paul Spirakis - University of Liverpool, UK
Nitin Vaidya (Chair) - University of Illinois, USA
------------------------------------------------------
------------------------------
Message: 3
Date: Mon, 11 Jan 2016 10:43:56 +0100
From: Robert Mercas <robertmercas@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] London Stringology Days & London Algorithmic
Workshop 2016: call for participation
Message-ID:
<CAGY2dbfEVMfKQ_wODAdne_G6aSMt8JxrMr7Ts2WupysUVhv+XA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Dear all,
In less than a month we will be hosting LSD & LAW 2016 (London Stringology
Days & London Algorithmic Workshop 2016). The meeting will take place at
King's College London on the 4th and 5th of February 2016 (
http://www.inf.kcl.ac.uk/events/LSD&LAW16/).
There will not be a formal registration, but if you would like to take part
in this two-day workshop, we would be grateful if you would send us a short
message expressing your intent, such as to help us with the preparations.
This year's LSD & LAW meeting will have an additional theme: From Symbolic
Dynamics to Approximation Methods.
We hope to see you in London!
Best Regards,
Golnaz Badkobeh, Jakub Radoszewski, and Robert Mercas
on behalf of the LSD & LAW 2016 organising committee.
------------------------------
Message: 4
Date: Mon, 11 Jan 2016 15:34:23 +0100
From: "Arie M.C.A. Koster" <koster@math2.rwth-aachen.de>
To: <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] PhD position in Discrete Optimization / Robust
Optimization / Algorithmic Graph Theory
Message-ID: <5693BD6F.6020008@math2.rwth-aachen.de>
Content-Type: text/plain; charset="utf-8"; format=flowed
We invite applications for a
Ph.D. student position
in the area of Discrete Optimization
at RWTH Aachen University (Lehrstuhl II für Mathematik, Prof. Arie Koster).
About the Research Group
The discrete optimization group at RWTH Aachen University, headed by
Professor Arie Koster, develops novel mathematical methods for the
application of mixed-integer (non-)linear optimization, robust
optimization, and algorithmic graph theory to actual application fields
like the design of communication networks or the planning of
decentralized energy systems.
About the position
A position for a PhD student is available, initially for 18 months, from
April 2016 (a later starting date is negotiable). The position is
full-time and paid according at TV-L 13 level.
Topic of research will be in a branch of discrete optimization and/or
its application, e.g., algorithmic graph theory, integer linear
programming, or robust optimization. The succesful candidate will
contribute to the group's teaching obligations, both regarding
elementary courses in mathematics for engineers and optimization courses
for mathematicians at bachelor and master level. Participation in
3rd-party funded projects is welcomed.
About you
The candidate should have (or expect to have shortly) an excellent
master degree in mathematics with solid knowledge in the area of
discrete optimization. Profound computer programming skills (C++) as
well as experience with modelling languages (ampl, GAMS) are desirable.
Candidates with experience as student teaching assistant have an added
value.
Further Information
The full text of this vacancy can be found at
http://web-p.zhv.rwth-aachen.de/mainzhv.php?scriptid=job¶m=vorschau&nr=16740&typ=wiss
(german) or
http://web-p.zhv.rwth-aachen.de/mainzhv.php?scriptid=job¶m=vorschau&nr=16774&typ=engl
(english).
RWTH Aachen University has been certified as a "Family Friendly University".
RWTH is committed to promoting the careers of women and therefore looks
forward to receiving applications by female candidates.
For positions in organisational units where women are underrepresented,
in cases of equal qualification, ability and professional achievement,
preference will be given to female applicants unless reasons specific to
an individual candidate tilt the balance in his favor.
The University positively welcomes applications from suitably qualified
disabled people.
How to apply
Please send your application in a *single* PDF file containing an
academic CV, list of publications, letter of motivation, research
statement, the names of two references, and any other supporting
material no later than
January 31, 2016
to
Prof. Dr. Arie M.C.A. Koster
koster@math2.rwth-aachen.de
Applications reaching us by the above date will receive full
consideration, however, the search remains open until the position is
filled.
Questions can be directed to the same address anytime.
--
Prof. Dr. Arie M.C.A. Koster
RWTH Aachen University
Lehrstuhl II für Mathematik
Pontdriesch 14-16, 2.0G, Raum 307
D-52062 Aachen
E: koster@math2.rwth-aachen.de
W: http://www.math2.rwth-aachen.de/~koster/
T: +49 (0)241 80-94995 (Secretary) -94524 (Direct)
F: +49 (0)241 80-92136
------------------------------
Message: 5
Date: Mon, 11 Jan 2016 15:15:46 +0000
From: "Wijs, A.J." <A.J.Wijs@tue.nl>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] SPIN 2016 - CFP - deadline approaching
Message-ID: <D55668EB-0240-4DC9-9C4A-606B07ED4BB5@tue.nl>
Content-Type: text/plain; charset="us-ascii"
======================================================================
SPIN 2016
23rd International SPIN Symposium on Model Checking of Software
7--8 April 2016, Eindhoven, The Netherlands
http://www.spin2016.info
(colocated with ETAPS 2016)
======================================================================
---- Important Dates ----
Submission of papers: 18 January 2016 (Anywhere on Earth)
Notification of acceptance/rejection: 12 February 2016
Final version due: 24 February 2016
Symposium: 7--8 April 2016
---- Aims and Scope ----
The 23rd edition of the SPIN symposium aims at bringing together
practitioners and researchers interested in symbolic and state
space-based techniques for the validation and analysis of software
systems. Techniques and empirical evaluations based
on explicit representations of state spaces, as implemented in
the SPIN model checker or other tools, or techniques based on the
combination of explicit representations with other representations,
are the focus of this symposium.
We particularly welcome papers describing the development and
application of state space exploration techniques in testing and
verifying embedded software, safety-critical software, enterprise
and web applications, and other interesting software platforms. The
symposium aims to encourage interactions and exchanges of ideas with
all related areas in software engineering.
Topics of interest include, but are not limited to:
- Formal verification techniques for automated analysis of software
- Algorithms and storage methods for explicit-state model checking
- Theoretical and algorithmic foundations of model checking
- Model checking for programming languages and code analysis
- Directed model checking using heuristics
- Parallel or distributed model checking
- Verification of timed and probabilistic systems
- Model checking techniques for biological systems
- Formal verification techniques for concurrent software
- Formal verification techniques for embedded software
- Abstraction and symbolic execution techniques in relation to
software verification
- Static analysis for state space reduction
- Combinations of enumerative and symbolic techniques
- Analysis for modelling languages, such as UML/state charts
- Property specification languages, including temporal logics
- Automated testing using state space and/or path exploration
- Derivation of specifications, test cases, or other useful material
from state spaces
- Combination of model checking techniques with other analyses
- Modular and compositional verification techniques
- Case studies of interesting systems or with interesting results
- Engineering and implementation of software verification tools
- Benchmark and comparative studies for formal verification tools
- Insightful surveys or historical accounts on topics of relevance to
the symposium
SPIN 2016 will be colocated with the 19th European Joint Conferences on
Theory and Practice of Software (ETAPS 2016). An overview of the previous
SPIN symposia can be found at http://spinroot.com/spin/Workshops.
---- Paper Submission and Publication ----
The proceedings of SPIN will be published in Springer's Lecture Notes in
Computer Science series. A selection of papers will be invited to a special
issue of the International Journal on Software Tools for Technology Transfer
(STTT).
With the exception of survey and history papers, the papers should contain
original work which has not been submitted or accepted for publication
elsewhere. Submissions should adhere to the LNCS format:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
We solicit three kinds of papers:
- Technical Research Papers:
At most 18 pages in LNCS format. All accepted technical papers will be
included in the proceedings.
- Idea Papers:
At most 6 pages in LNCS format that describe novel
research directions in software model checking. New idea
submissions are intended to describe well-defined research ideas
that are at an early stage of investigation and may not be fully
validated.
- Tool Presentations:
This kind of submission should consist of two parts: the first part
is at most a 6-page description of the tool. If accepted, this part
will be published in the symposium proceedings. The second part
should describe an informal plan for an oral presentation of the
tool. This part will not be included in the proceedings and may
also be in the form of a five minute video. Tools must be
available online for reviewers to inspect.
All papers that conform to submission guidelines will be
peer-reviewed by members of the program committee. Submissions will
be evaluated on the basis of originality, importance of contribution,
soundness, evaluation, quality of presentation, and appropriate
comparison to related work.
At least one author of each accepted paper must attend the symposium
and present the paper.
---- Organisation ----
Program Chairs
- Dragan Bosnacki (Eindhoven University of Technology)
- Anton Wijs (Eindhoven University of Technology)
Program Committee
Erika Abraham (RWTH Aachen University, GER)
Jiri Barnat (Masaryk University, CZE)
Aleksandar Dimovski (IT University of Copenhagen, DEN)
Stefan Edelkamp (University of Bremen, GER)
Bernd Fischer (Stellenbosch University, RSA)
Jaco Geldenhuys (Stellenbosch University, RSA)
Alex Groce (Oregon State University, USA)
Jan Friso Groote (Eindhoven University of Technology, NED)
Gerard Holzmann (NASA / Jet Propulsion Laboratory, USA)
Franjo Ivancic (Google, USA)
Alfons Laarman (Vienna University of Technology, AUT)
Stefan Leue (University of Konstanz, GER)
Alberto Lluch Lafuente (Technical University of Denmark, DEN)
Radu Mateescu (INRIA Rhone-Alpes, FRA)
Eric Mercer (Brigham Young University, USA)
Pedro Merino (University of Malaga, ESP)
Alice Miller (University of Glasgow, UK)
Jun Pang (University of Luxembourg, LUX)
Corina Pasareanu (NASA Ames / Carnegy Mellon University, USA)
Theo Ruys (RUwise, NED)
Jun Sun (Singapore University of Technology and Design, SIN)
Michael Tautschnig (Queen Mary University, UK)
Mohammad Torabi Dashti (ETH Zuerich, SUI)
Martin Wehrle (University of Basel, SUI)
------------------------------
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 95, Issue 7
*************************************
No comments:
Post a Comment