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. BC60 - A Workshop in honor of Bernard Chazelle's 60th
birthday (Wolfgang Mulzer)
2. Graphical Models for Security (GraMSec'16) - deadline
extended until April 24 (Barbara Kordy)
3. MINO Mathematical Challenge Announcement (Andrea Lodi)
4. Call for participation: CRITIS 2016 (Maria Paola Scaparra)
5. AUTOMATA 2016 Call for Exploratory Papers (Turlough Neary)
----------------------------------------------------------------------
Message: 1
Date: Wed, 13 Apr 2016 07:39:45 -0700
From: Wolfgang Mulzer <wmulzer@cs.princeton.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] BC60 - A Workshop in honor of Bernard Chazelle's
60th birthday
Message-ID: <570E5A31.3080000@cs.princeton.edu>
Content-Type: text/plain; charset=utf-8; format=flowed
BC60 - A Workshop in honor of Bernard Chazelle's 60th birthday
When? June 17, 2016, 14:30–18:00
Where? Boston, MA
Official page: http://www.cs.technion.ac.il/~nailon/BC60/
Part of CG week and SoCG (http://socg2016.cs.tufts.edu/) at Tufts
University. The event takes place two days before beginning of STOC
(http://acm-stoc.org/stoc2016/). Both SoCG and STOC goers are welcome.
*Schedule* (Check for updates on official page)
14:30-14:40 Pankaj Agarwal: Opening Remarks
14:40-15:20 David Dobkin: Bernard's Research in the 70's
15:20-16:00 Micha Sharir: TBD
16:00-16:30 Coffee break
16:30-17:10 Ken Clarkson: The Thrill Goes On: Bernard Yesterday
and Today
17:10-18:00 Presentation by former students of Bernard
18:00-19:00 Wine, cheese, beer reception
*About Bernard Chazelle*
Bernard Chazelle was born in 1955 in Paris, France. He received his PhD
under the supervision of David P. Dobkin from Yale university in 1980.
He wrote the second PhD thesis on computational geometry and taught the
first class on it. Bernard Chazelle has been a fixture of the field
since the very beginning, and some of the most well-known algorithms
and techniques used by the community are associated with him. He has
also worked on sublinear algorithms and more generally with techniques
for dealing with large data. More recently, he is working on natural
algorithms, bringing insights from theoretical computer science into
the study of natural phenomena. Over the years, he has published more
than 130 journal papers and been a mentor to more than 10 PhD students.
*Registration*
There is no official registration and no registration fee. The event is
sponsored by Princeton University Computer Science Department. In case
you plan to attend and you are not registering for SoCG, please do let
us know by submitting the form at the bottom of the event page
http://www.cs.technion.ac.il/~nailon/BC60/
*Organizers*
Wolfgang Mulzer (FU Berlin, Germany)
Nir Ailon (Technion IIT, Haifa, Israel)
Seshadhri Comandur (U. California, Santa Cruz, CA)
Also, special thanks to Pankaj Agarwal, Sariel Har-Peled and SoCG
organizers, especially Greg Aloupis . For questions, please email Nir
at nailon@cs.technion.ac.il
*Abstracts*
David Dobkin
Bernard's research in the 70's
As Bernard's thesis advisor, I introduced him to the field of
computational geometry when he was a first year graduate students. In
this talk, I survey the situation at that time, his early results and
further research they have inspired.
Ken Clarkson
The Thrill Goes On: Bernard Yesterday and Today
From the excruciatingly difficult to the achingly elegant, Bernard
Chazelle's work on algorithms, especially geometric or natural ones,
has been profoundly influential. I'll sketch a few examples that have
been inspiring to me, including 1-dimensional range queries,
low-stabbing spanning trees, high-order Voronoi diagram construction,
deterministic constructions, and the s-energy of a system.
------------------------------
Message: 2
Date: Wed, 13 Apr 2016 18:30:56 +0200
From: Barbara Kordy <barbara.kordy@irisa.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Graphical Models for Security (GraMSec'16) -
deadline extended until April 24
Message-ID: <570E7440.5090504@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/
*****************************************************************
***** New submission deadline: April 24 (23:59 CET) *****
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 24, 2016, 23:59 CET (extended, firm)
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, excluding the bibliography and
well-marked appendices)
describing original and unpublished work within the scope of the
workshop.
- Short papers (up to 7 pages, excluding the bibliography and
well-marked appendices)
describing original and unpublished work in progress.
PC members are not required to read the appendices, so the papers should be
intelligible without them. 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 (final 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
- Marc Bouissou, EDF R&D, FR
- 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
- Frédéric Remi, Amossys, FR
- 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: 3
Date: Wed, 13 Apr 2016 17:56:49 -0400
From: Andrea Lodi <andrea.lodi@unibo.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] MINO Mathematical Challenge Announcement
Message-ID: <2B1494DB-CC5F-406C-AE82-5B24E9D1FAA5@unibo.it>
Content-Type: text/plain; charset=utf-8
The Marie Curie Initial Training Network on Mixed Integer Nonlinear Optimization (MINO, http://www.mino-itn.unibo.it) is a prestigious program funded by the European Commission. It addresses challenging research topics in the field of Mixed-Integer Nonlinear Optimization, with a primary mission of training the next generation of highly qualified researchers and managers in the field of Optimization in general, and in Mixed-Integer Nonlinear Optimization in particular.
As part of this training program and outreach activity, MINO is organizing an industrial challenge to bring together practitioners and researchers from different fields who are interested in finding better solutions to complex real-world problems. The objective of the challenge is to compare different modeling and search approaches for a specific real-world problem, it being the total waste water network design and operation optimization. All information about the challenge are at http://www.mino-itn.unibo.it/challenge-2016.
The competitors are free to model the problem in any way they please, and design a search algorithm suitable for their models, such that they obtain high quality solutions while satisfying the problem's constraints, and within the allowed time limit. The combination of a model and an algorithm will be referred to as a "Solver".
As a reference, a mathematical model of the problem is made available to the competitors to help them better understand the problem's characteristics, constraints, and objective. The mathematical model can be used, or modified, in any way, yet the participants are encouraged to build their own models, not necessarily a mathematical one, and design algorithms accordingly.
The top three competitors will be invited (with expenses covered) to present their work at the MINO project's final meeting taking place at the University of Bologna around mid-October 2016. More details will follow on the exact date and venue of the meeting. The current prize fund is 2500 Euros, that is to be split between the first (1300), second (800) and third (300) place competitors. Finally, a special issue of an international journal will be edited to publish the best contributions to the competition.
The competition is organized together with ORTEC and Royal Dutch Shell.
______________________
Prof. Andrea Lodi
DEI, University of Bologna
Viale Risorgimento 2
40136 Bologna, Italy
phone: +39 051 2093029
fax: +39 051 2093073
e-mail: andrea.lodi@unibo.it
------------------------------
Message: 4
Date: Thu, 14 Apr 2016 09:24:03 +0000
From: Maria Paola Scaparra <M.P.Scaparra@kent.ac.uk>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] Call for participation: CRITIS 2016
Message-ID: <1460625843945.13663@kent.ac.uk>
Content-Type: text/plain; charset="iso-8859-1"
The 11th International Conference on Critical Information Infrastructures Security (CRITIS) will be held in Paris, France from October 10th to October 12th 2016. CRITIS2016 will be hosted by the International Union of Railways (UIC) Headquarters, in the very heart of Paris.
CRITIS is a global forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in selected perspectives of Critical Information Infrastructure Security and Critical Infrastructure Protection at large.
KEY DATES
Full-text submission: 10 May 2016
Registration open: 1 July 2016
Notification of acceptance: 15 July 2016
Registration closed: 30 September 2016
Event date: 10-12 October 2016
For additional information about CRITIS, including topics, chairs and committees, paper submission, accommodation and venue, please visit the conference website: http://critis2016.org/
Looking forward to seeing you in Paris.
Kind Regards
Maria Paola Scaparra
?
Maria Paola Scaparra| Reader in Management Science |
Kent Business School | University of Kent
+44 (0)1227 824556 | m.p.scaparra@kent.ac.uk<https://owa.connect.kent.ac.uk/OWA/redir.aspx?SURL=-gbexQ_9Hf1rHntca62hwwW1FRc4nm681Sp51ktBUKfiJ9SJO3LSCG0AYQBpAGwAdABvADoAagAuAGEAbABkAHIAaQBkAGcAZQBAAGsAZQBuAHQALgBhAGMALgB1AGsA&URL=mailto%3aj.aldridge%40kent.ac.uk>
www.kent.ac.uk/kbs/profiles/staff/scaparra_maria.html<https://owa.connect.kent.ac.uk/owa/redir.aspx?SURL=ci5j4-KeWwSJLHKbC1rtP1oVYoIMwCDHOVESnNZTDm4i6wfzO3LSCGgAdAB0AHAAcwA6AC8ALwBvAHcAYQAuAGMAbwBuAG4AZQBjAHQALgBrAGUAbgB0AC4AYQBjAC4AdQBrAC8AbwB3AGEALwByAGUAZABpAHIALgBhAHMAcAB4AD8AQwA9AGkAVABEADgAZwBVAFEAaABRAGsAZQA2AF8ANgB3AHcASQBBAEEAcwB1AG4ASQBNAG8AOQBmADUAbwBkAEUASQBfADIAQgBTAG0AQwB3AGsAagBPADQAVAA5AEoAawBoAGQAbgBqAG8AQwBrAFIAOQBlAGcAMQB3AHcAVwB0AEMASwBuADcAdgBXAGEAbQBuAGEAegA4AC4AJgBVAFIATAA9AGgAdAB0AHAAJQAzAGEAJQAyAGYAJQAyAGYAdwB3AHcALgBrAGUAbgB0AC4AYQBjAC4AdQBrACUAMgBmAGsAYgBzACUAMgBmAHAAcgBvAGYAaQBsAGUAcwAlADIAZgBzAHQAYQBmAGYAJQAyAGYAcwBjAGEAcABhAHIAcgBhAF8AbQBhAHIAaQBhAC4AaAB0AG0AbAA.&URL=https%3a%2f%2fowa.connect.kent.ac.uk%2fowa%2fredir.aspx%3fC%3diTD8gUQhQke6_6wwIAAsunIMo9f5odEI_2BSmCwkjO4T9JkhdnjoCkR9eg1wwWtCKn7vWamnaz8.%26URL%3dhttp%253a%252f%252fwww.kent.ac.uk%252fkbs%252fprofiles%252fstaff%252fscaparra_maria.html>
------------------------------
Message: 5
Date: Thu, 14 Apr 2016 12:31:03 +0200
From: Turlough Neary <tneary@ini.phys.ethz.ch>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] AUTOMATA 2016 Call for Exploratory Papers
Message-ID: <1460629863.5653.3.camel@ini.phys.ethz.ch>
Content-Type: text/plain; charset="UTF-8"
AUTOMATA 2016 Call for Exploratory Papers
The 22nd International Workshop on Cellular Automata and Discrete
Complex Systems (AUTOMATA 2016) will be hosted at the University of
Zurich, Switzerland, June 15-17, 2016.
Submission deadline for exploratory papers: May 1, 2016
http://automata2016.ini.uzh.ch
Scope
Papers presenting original and unpublished research on all fundamental
aspects of cellular automata and related discrete complex systems are
sought. Topics of interest include (but are not limited to): dynamics,
topological, ergodic and algebraic aspects, algorithmic and complexity
issues, emergent properties, formal language processing, symbolic
dynamics, models of parallelism and distributed systems, timing
schemes, phenomenological descriptions, scientific modeling and
practical applications.
Important dates
Submission deadline for exploratory papers: May 1, 2016
Notification of acceptance for exploratory papers: May 10, 2016
Early bird registration deadline: May 15, 2016
Online registration deadline: June 6, 2016
AUTOMATA 2016: June 15-17
Invited speakers
Klaus Sutner (Carnegie Mellon University, USA)
Guillaume Theyssier (Université de Savoie, France)
Tommaso Toffoli (Boston University, USA)
Andrew Winslow (Université libre de Bruxelles, Belgium)
Program committee
Matthew Cook (University of Zurich and ETH Zurich, Switzerland)
Nazim Fatès (Inria Nancy, France)
Paola Flocchini (University of Ottawa, Canada)
Enrico Formenti (Université Nice Sophia Antipolis, France)
Anahı́ Gajardo (University of Concepción, Chile)
Eric Goles (Adolfo Ibáñez University, Chile)
Jarkko Kari (University of Turku, Finland)
Martin Kutrib (Universität Gießen, Germany)
Andreas Malcher (Universität Gießen, Germany)
Genaro Martı́nez (University of West England, UK)
Kenichi Morita (Hiroshima University, Japan)
Turlough Neary (University of Zurich and ETH Zurich, Switzerland)
Pedro de Oliveira (Mackenzie Presbyterian University, Brazil)
Nicolas Ollinger (Université d'Orléans, France)
Matthew Patitz (University of Arkansas, USA)
Ivan Rapaport (Universidad de Chile, Chile)
Damien Woods (Caltech, USA)
Thomas Worsch (Karlsruher Institut für Technologie, Germany)
Organizing committee
Matthew Cook
Turlough Neary
Paper categories
There are two categories of submission – full papers (submission now
closed) and exploratory papers. The later submission deadline for
exploratory papers allows quick reporting of recent discoveries, work
-in-progress and/or partial results. Submissions in the exploratory
category go through a less rigorous evaluation process than those in
the full paper category. Exploratory papers will not be included in the
LNCS proceedings; however, they will be printed locally and given to
conference participants.
Submission
Authors are invited to submit extended abstracts of no more than 8
pages via the EasyChair system at
https://easychair.org/conferences/?conf=automata2016
Submissions should contain original research that has not previously
been published. Submission must be formatted in LaTeX using the LNCS
format (see http://www.springer.com/computer/lncs/lncs+authors) and
submitted in Portable Document Format (PDF). Papers authored or co
-authored by PC members are also welcome.
------------------------------
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 98, Issue 13
**************************************
No comments:
Post a Comment