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. 3rd International Workshop on Reliability and Security
Aspects for Critical Infrastructure Protection - ReSA4CI 2016
co-located with DSN 2016 (Silvia Bonomi)
2. 2nd announcement: MINO/COST PhD school on Mixed Integer
Nonlinear Optimization (Claudia D'Ambrosio)
3. SIGOPT 2016 (Mirjam Dür)
4. CFP: DEBS 2016 - The 10th ACM International Conference on
Distributed and Event-Based Systems (Vinay Setty)
5. Jobs at the University of Manchester (Mark Kambites)
6. MIP 2016: Call for registration and poster submissions
(Kati Wolter)
----------------------------------------------------------------------
Message: 1
Date: Thu, 21 Jan 2016 22:54:36 +0100
From: Silvia Bonomi <bonomi@dis.uniroma1.it>
Subject: [DMANET] 3rd International Workshop on Reliability and
Security Aspects for Critical Infrastructure Protection - ReSA4CI 2016
co-located with DSN 2016
Message-ID: <CAE6518C-71A9-4904-A53E-4ECA4FF1C4E8@dis.uniroma1.it>
Content-Type: text/plain; charset=utf-8
================================================================
3rd International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection
ReSA4CI 2016
co-located with DSN 2016
June 28 – July 1, 2016, Toulouse, France
www.dis.uniroma1.it/∼resa4ci
================================================================
Scope. Critical infrastructures (CIs) are at the hearth of any advanced civilized country. This workshop aims at providing a forum for researchers and engineers in academia and industry to foster an exchange of research results, experiences, and products in the area of reliable, dependable and secure computing for critical systems protection from both a theoretical and practical perspective. Its ultimate goal is to envision new trends and ideas about aspects of designing, implementing, and evaluating reliable and secure solutions for the next generation critical infrastructures. Critical Infrastructures present several challenges in the fields of distributed systems, dependability and security methods and approaches crucial for improving trustworthiness on ICT facilities. The workshop aims at presenting the advancement on the state of art in these fields and spreading their adoption in several scenarios involving main infrastructures for modern society.
Topics of interest are (but not limited to):
- Model-based and experimental assessment of safety, reliability and security
- Security & Privacy
- Quantitative analysis of dependability and security metrics
- Risk Assessment and Management
- Fault tolerant and Dependable Distributed Algorithm
- Threat Analysis
- Monitoring systems
- Adaptive solutions for secure and safe systems
- Self-* solutions
Domains of application are (but not limited to):
- Critical infrastructure, Smart Grid, and SCADA systems
- Medical device and healthcare
- Telecommunication and networks
- Railways, automotive, aerospace, and avionics
- Defence, cyber intelligence
================================================================
General Chair
Silvia Bonomi, University of Rome La Sapienza, Italy
Ilaria Matteucci, IIT-CNR, Italy
Program Committee
François Bonnet, Japan Advanced Institute of Science and Technology, Japan
Silvia Bonomi, University of Rome La Sapienza, Italy (co-chair)
Andrea Ceccarelli, University of Florence, Italy
Vittoria Cozza, IIT-CNR, Italy
Barbara Gallina, Malardalen University, Sweden
Joaquin Garcia-Alfaro, Institut Mines-Telecom, France
Felicita Di Giandomenico, ISTI-CNR, Italy
Ilaria Matteucci, IIT-CNR, Italy (co-chair)
Paolo Masci, INESC-TEC, PT
Leonardo Montecchi, University of Florence, Italy
Federica Paci, University of Southampton, UK
Marco Platania, AT&T, USA
================================================================
Important dates
Submission deadline: March 21, 2016
Authors notification: April 18, 2016
================================================================
Submission and Publication. Submitted papers must be written in English and must contain results that have not previously published nor concurrently submitted to a journal or conference with published proceedings. Any partial overlap with any published or concurrently submitted paper must be clearly indicated. Submissions are limited to 6 pages in the IEEE format and submitted electronically to the EasyChair server (https://easychair.org/conferences/?conf=resa4ci2016). The selection of accepted contributions will be based on peer-reviews by the PC. Accepted papers will be included in the DSN Supplemental Proceedings and it must be presented at the workshop by one of its authors.
Please refer to the workshop website for full submission instructions.
------------------------------
Message: 2
Date: Fri, 22 Jan 2016 09:04:39 +0100
From: "Claudia D'Ambrosio" <dambrosio@lix.polytechnique.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 2nd announcement: MINO/COST PhD school on Mixed
Integer Nonlinear Optimization
Message-ID:
<444F94CB-A139-4252-A505-E9EAA0F74FAE@lix.polytechnique.fr>
Content-Type: text/plain; charset=utf-8
Dear colleagues,
this is the 2nd announcement of the third MINO/COST PhD school on Mixed Integer Nonlinear Optimization, see http://www.mino-itn.unibo.it/mino-cost-springschool/paris. The school will be held at CNAM (Paris, France) on April 5th to 8th 2016. Some travel grants for students will be sponsored by COST Action TD1270 (http://cost- <http://cost-/>td1207.zib.de <http://td1207.zib.de/>).
Registration is free but compulsory. It will stay open until the maximum number of attendees is reached. To register please follow the instructions that can be found here: http://www.mino-itn.unibo.it/mino-cost-springschool/paris#Registration
2-hour minicourses will be given by:
Paula Amaral (Universidade Nova de Lisboa, Portugal)
Pierre Bonami (IBM Spain)
Jean-Bernard Lasserre (LAAS-CNRS, France)
Ruth Misener (Imperial College, UK)
Frederic Roupin (Univ. Paris 13, France)
Research talks or tutorials will be given by:
Sourour Elloumi ( ENSIIE, France)
Fabio Furini (Univ. Paris Dauphine, France)
Amelie Lambert (CNAM, France)
Emiliano Traversi (Univ. Paris 13, France)
The detailed planning is available at the school webpage.
Looking forward to seeing you there!
The organizing committee:
Claudia D'Ambrosio
Sourour Elloumi
Amelie Lambert
Leo Liberti
------------------------------
Message: 3
Date: Fri, 22 Jan 2016 13:44:30 +0100
From: Mirjam Dür <duer@uni-trier.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] SIGOPT 2016
Message-ID: <60c59f6c21f9e60b71de0d4244286d0d@uni-trier.de>
Content-Type: text/plain; charset=UTF-8; format=flowed
Conference Announcement:
SIGOPT 2016
6-8 April 2016, University of Trier, Germany
&
Official Opening of the
Research Training Group (Graduiertenkolleg)
Algorithmic Optimization
Invited speakers:
* Volker Kaibel (Magdeburg)
* Kathrin Klamroth (Wuppertal)
* Oliver Stein (Karlsruhe)
* Günter Leugering (Erlangen)
The conference is organized by the Special Interest Group in
Optimization within the German Mathematical Society (DMV).
It covers theory and practice of all branches of mathematical
optimization. Young researchers from all areas of optimization
are especially encouraged to participate and to present their
work. The conference will provide a good opportunity to exchange
ideas and to establish contacts with colleagues in a friendly
atmosphere.
Deadline for Abstract Submission (extended): 15 February 2016
More details: https://www.uni-trier.de/index.php?id=49211
We look forward to welcoming you in Trier!
Sven de Vries
Volker Schulz
Mirjam Duer
------------------------------
Message: 4
Date: Fri, 22 Jan 2016 14:09:46 +0100
From: Vinay Setty <vsetty@mpi-inf.mpg.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: DEBS 2016 - The 10th ACM International
Conference on Distributed and Event-Based Systems
Message-ID: <56A22A1A.4090409@mpi-inf.mpg.de>
Content-Type: text/plain; charset=windows-1252
----------------------------------------------------------------------
----------------------------------------------------------------------
CALL FOR PAPERS
10th ACM International Conference on Distributed Event-Based Systems
Irvine, CA, USA,
June 20-24 2016
http://www.debs2016.org
----------------------------------------------------------------------
----------------------------------------------------------------------
OBJECTIVES:
Over the past decade, the ACM International Conference on Distributed
and Event- based Systems (DEBS) has become the premier venue for
contributions in the fields of distributed and event-based systems.
The objectives of the ACM International Conference on Distributed and
Event-Based Systems (DEBS) are to provide a forum dedicated to the
dissemination of original research, the discussion of practical
insights, and the reporting of experiences relevant to distributed
systems and event-based computing. The conference aims at providing a
forum for academia and industry to exchange ideas through industry
papers and demo papers.
SCOPE:
Starting this year DEBS is extending its scope to embrace a broader
set of topics related to distributed systems and event-based
computing. Topics of particular interest may include (but are not
limited to) models, architectures and paradigms of distributed and
event-based systems, middleware systems and frameworks, and
applications, experiences and requirements. The scope of the DEBS
conference covers all topics relevant to distributed and event-based
computing ranging from those discussed in related disciplines (e.g.,
software systems, distributed systems, distributed data processing,
data management, dependability, knowledge management, networking,
programming languages, security and software engineering), to domain-
specific topics of event-based computing (e.g., real-time analytics,
mobile computing, social networking, pervasive, green computing and
ubiquitous computing, sensors networks, user interfaces, big data
processing, spatio-temporal processing, cloud computing, the Internet
of things, peer-to-peer computing, embedded systems and stream
processing), to enterprise-related topics (e.g., complex event
detection, enterprise application integration, real-time enterprises
and web services).
In addition to these traditional topics, the scope of DEBS 2016 will
include the increasingly important area of Internet of Things. New
advances in distributed and event-based systems pose a great potential
for a major contribution in this area. For further information, please
refer to the call for contributions in the track of your choice.
TOPICS COVERED INCLUDE, BUT ARE NOT LIMITED TO:
1) Models, Architectures and Paradigms: Event-driven architectures,
event processing in big data, complex event processing, rule-based
systems, logic-based event recognition, event correlation and pattern
languages.
2) Middleware infrastructures: Distributed data processing,
distributed programming, federated event-based systems, event
dissemination on P2P systems, fault tolerance, reliability and
availability and scalability.
3) Applications, Experience and Requirements: Use cases and
applications of distributed and event-based systems in various domains
including Internet of Things, Smart Cities, Smart Grids, Finance,
Logistics.
Submission Dates:
Abstract submission for research track: Feb 22nd, 2016
Research and industry paper submission: Feb 27th, 2016
Tutorial proposal submission: Mar 7th, 2016
Grand Challenge solution submission: Mar 30th, 2016
Author notification: Apr 18th, 2016
Poster, demo, doctoral
symposium submission: Apr 30th, 2016
Camera ready submission: May 6th, 2016
STRUCTURE:
DEBS 2016 will be organized along six tracks:
1. Research Track that presents original research contributions.
Submissions will be evaluated by an experienced program committee
consisting of eminent researchers from all over the world.
2. Industry and Experience Reports Track meant to report on innovative
deployments of event-based systems. Contributions will be reviewed by
researchers and industry practitioners working in event-based
computing.
3. The Tutorial Track where recognized experts in the field will
present their tutorials on relevant emerging areas of research.
4. Poster and Demo Track where authors can report on work in progress
and/or arrange to demonstrate interesting ideas and applications
pertaining to event- based systems.
5. Doctoral Symposium Track meant for doctoral candidates whose
research area overlaps with event-based systems.
6. Grand Challenge Track: Here the committee will set out a grand
challenge problem and then judge the most innovative approaches for
its solution.
PROCEEDINGS:
Accepted papers will appear in the conference proceedings, which will
be published in the ACM Digital Library. The authors of accepted
papers will be given a choice between different copyright agreements,
in accordance with the recent changes in the ACM policy. The options
will include new opportunities for open access as well as the
traditional ACM copyright agreement.
AUTHORS TAKE NOTE: A new policy by ACM will allow DEBS 2016 to make
the proceedings available ahead of the conference via the ACM Digital
Library. Thus, the official publication date is the date the
proceedings appear in the ACM Digital Library. This date may be up to
two weeks prior to the first day of the conference. The official
publication date affects the deadline for any patent filings related
to published work.
SUBMISSION INFORMATION: http://www.debs2016.org/submission-
guidelines.html
GENERAL CO-CHAIRS:
Avigdor Gal, Technion, Israel
Matthias Weidlich, Humboldt-Universitaet zu Berlin, Germany
RESEARCH TRACK CO-CHAIRS:
Vana Kalogeraki, Athens University of Economics and Business, Greece
Nalini Venkasubramanian, University of California, Irvine, USA
INDUSTRY TRACK CO-CHAIRS:
Malu Castellanos, HP, USA
Alejandro Buchmann, Technische Universitaet Darmstadt, Germany
DOCTORAL SYMPOSIUM CO-CHAIRS:
David Eyers, University of Otago, New Zeland
Leonardo Querzoni, Sapienza University, Italy
TUTORIALS CO-CHAIRS:
Gianpaolo Cugola, Politecnico di Milano, Italy
Bugra Gedik, Bilkent University, Germany
GRAND CHALLENGE CO-CHAIRS:
Vincenzo Gulisano, Chalmers University of Technology, Sweden
Zbigniew Jerzak, SAP AG, Germany
Holger Ziekow, Furtwangen University, Furtwangen, Germany
DEMO AND POSTERS CO-CHAIRS:
Nesime Tatbul, Intel Labs/MIT, USA
Ioannis Katakis, University of Athens, Greece
SPONSORSHIP CO-CHAIRS:
Opher Etzion, Yezreel Valley College, Israel
Christoph Emmersberger, University of Regensburg, Germany
PROCEEDINGS CHAIR:
Thomas Heinze, SAP, USA
PUBLICITY CO-CHAIRS:
Mohammad Sadoghi, IBM T.J. Watson Research Center, USA
Izchak Tzachi Sharfman, Technion, Israel
Vinay Setty, MPI, Germany
WEB CO-CHAIRS:
Matthew Forshaw, Newcastle University, UK
Ye Zhao, Google Inc., USA
------------------------------
Message: 5
Date: Fri, 22 Jan 2016 15:51:25 +0000 (GMT)
From: Mark Kambites <Mark.Kambites@manchester.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Jobs at the University of Manchester
Message-ID: <alpine.LRH.2.20.1601201734140.5891@vummath.ma.man.ac.uk>
Content-Type: text/plain; format=flowed; charset=US-ASCII
Dear All,
The School of Mathematics at the University of Manchester is currently
recruiting to the Fielden Chair in Pure Mathematics and also to a
Lectureship in Pure Mathematics.
The Fielden Chair is the University's senior professorship in pure
mathematics: previous holders are Louis J. Mordell, Max Newman, Frank
Adams, Ian Macdonald, Norman Blackburn, Mark Pollicott and Alex Wilkie.
The Lectureship is a junior tenure-track position, roughly equivalent to
Assistant or Associate Professor in the US.
Both are open to researchers in any area of pure mathematics (broadly
defined), and applications from combinatorialists would be very welcome.
Applications for both positions close on 26th February 2016. Full details,
including instructions on how to apply, are available at....
http://www.maths.manchester.ac.uk/about-us/jobvacancies/
Best wishes, Mark Kambites
(Head of Pure Mathematics, The University of Manchester)
------------------------------
Message: 6
Date: Fri, 22 Jan 2016 17:01:22 +0100
From: "Kati Wolter" <wolter@zib.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] MIP 2016: Call for registration and poster
submissions
Message-ID: <6d8170f40ff36d735b5b9547457bce41.squirrel@imap.zib.de>
Content-Type: text/plain;charset=iso-8859-1
*** MIP 2016: CALL FOR REGISTRATION AND POSTER SUBMISSIONS ***
Date: May 23 - 26, 2016
Location: University of Miami in Coral Gables, FL
Web site and registration: https://sites.google.com/site/mipworkshop2016/
Poster submission deadline: March 1, 2016
Registration deadline: April 1, 2016
You are cordially invited to participate in the upcoming workshop in Mixed
Integer Programming (MIP 2016). The registration page is now open until
April 1, 2016:
https://sites.google.com/site/mipworkshop2016/registration
The 2016 Mixed Integer Programming workshop will be the thirteenth in a
series of annual workshops held in North America designed to bring the
integer programming community together to discuss very recent developments
in the field. The workshop series consists of a single track of invited
talks and features a poster session that provides an additional
opportunity to share and discuss recent research in MIP.
All workshop participants are invited to submit a poster abstract before
March 1, 2016. There will be an award for the best poster presented by a
student. To submit an abstract, please email a two page PDF containing a
detailed abstract of the poster to:
mip2016@lists.discovery.wisc.edu
Space for posters is limited; and the submitted poster abstracts will be
used to select the accepted posters. Therefore, it is important that the
abstract provides a good description of the research to be presented. We
expect to send out acceptance notifications around March 15.
One of the aims of the workshop is to facilitate research collaboration;
thus it is designed to provide ample time for discussion and interaction
between the participants. Thanks to the generous support by our sponsors,
registration is free; and travel support is available for some students
and postdocs who present posters at the workshop. Students and postdocs
who wish to apply for travel support must submit a poster abstract by the
March 1 deadline and indicate that they wish to be considered for funding.
We expect to make funding decisions around March 15.
This year's confirmed speakers are:
Tobias Achterberg, Gurobi Optimization
Amir Ali Ahmadi, Princeton University
Shabbir Ahmed, Georgia Institute of Technology
Gustavo Angulo, Pontificia Universidad Católica de Chile
Egon Balas, Carnegie Mellon University
Merve Bodur, Georgia Institute of Technology
Natashia Boland, Georgia Institute of Technology
Claudia D'Ambrosio, Laboratoire d'Informatique de l'École Polytechnique
Daniel Espinoza, Universidad de Chile
Vineet Goyal, Columbia University
Qie He, University of Minnesota
Stefan Heinz, FICO
Ruth Misener, Imperial College London
Timm Oertel, ETH Zurich
Dimitri Papageorgiou, ExxonMobil
Kostya Pashkovich, University of Waterloo
Mohit Tawarmalani, Purdue University
Hans Raj Tiwary, Charles University
Alejandro Toriello, Georgia Institute of Technology
Levent Tuncel, University of Waterloo
Tallys Yunes, University of Miami
Giacomo Zambelli, London School of Economics and Political Sciences
See you in Miami!
Sincerely,
Program Committee
- Alberto Del Pia (chair), University of Wisconsin-Madison
- Sanjeeb Dash, IBM Research
- Fatma Kilinc-Karzan, Carnegie Mellon University
- Dan Steffy, Oakland University
- Kati Wolter, MOSEK ApS
Local Committee
- Tallys Yunes, University of Miami
- Hari Natarajan, University of Miami
------------------------------
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 21
**************************************
No comments:
Post a Comment