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. ThRaSH 2016 Lyngby, Denmark - Call for Participation
(Christian Gießen)
2. EURO Doctoral Dissertation Award 2016 (Sarah Fores)
3. EURO Excellence in Practice Award 2016 (Sarah Fores)
4. SPIN 2016 - First Call For Papers (Wijs, A.J.)
5. PODC 2016 Call for Workshop Proposals (Jukka Suomela)
----------------------------------------------------------------------
Message: 1
Date: Fri, 6 Nov 2015 16:15:12 +0100
From: Christian Gießen <cgie@dtu.dk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ThRaSH 2016 Lyngby, Denmark - Call for Participation
Message-ID: <20151106151512.GA24392@spock.lan>
Content-Type: text/plain; charset=iso-8859-15
Call for Abstracts and Participation
The 10th Workshop on Theory of Randomized Search Heuristics (ThRaSH 2016)
18-19 March 2016, Lyngby (Copenhagen), Denmark
https://www.imm.dtu.dk/~cgie/thrash2016/
Contact: thrash@compute.dtu.dk
Deadline for abstract submission: 18 February, 2016
Notification of accepted talks: 25 February,
2016 Deadline for registration: 29 February, 2016
Abstract submission and registration (no fee) by e-mail to
thrash@compute.dtu.dk
The 10th Theory of Randomized Search Heuristics workshop continues the
tradition of discussing theoretical aspects of randomised search
heuristics such as evolutionary algorithms, ant colony optimisation,
particle swarm optimisation, simulated annealing, and other heuristics
inspired by natural or physical processes. It provides a forum to
discuss novel and ongoing work, new trends and ideas, and aims at
stimulating interactions within the research field and between related
disciplines. The tenth workshop of the series will take place in Lyngby
(Greater Copenhagen), Denmark on the 18th and 19th of March, 2016;
details about the venue as well as all other information pertaining to
the workshop can be found on the workshop homepage
https://www.imm.dtu.dk/~cgie/thrash2016/.
We invite researchers working on theoretical aspects of randomized
search heuristics who would like to present and discuss their work to
submit a short abstract (a single page, either in plain text or pdf). As
always at ThRaSH, the primary focus is on discussing recent ideas and
detecting challenging topics for future work, rather than on the
presentation of final results.
Registration to the workshop is free. However, we ask participants to
register by the registration deadline. Please let us know if you have
any dietary requirements so that we can take this into account in the
organization.
Carsten Witt and Christian Gießen (Technical University of Denmark)
------------------------------
Message: 2
Date: Fri, 6 Nov 2015 21:04:25 +0000
From: Sarah Fores <manager@euro-online.org>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] EURO Doctoral Dissertation Award 2016
Message-ID:
<CAEfwmuyi8VuS=PbAFiRsVF=yV1MySaepwrSki4CxX8urNHT37A@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
EURO Doctoral Dissertation Award 2016
The EDDA (EURO Doctoral Dissertation Award) is a EURO instrument. It
consists of a prize that is awarded at each EURO-k conference. The purpose
of the prize is to distinguish an outstanding doctoral dissertation in
Operational Research defended in the countries having an OR society that is
a member of EURO. It will be awarded at the closing session of the 28th
European Conference on Operational Research in Poznań.
We invite you to widely disseminate this announcement.
Eligibility of applications
The EDDA 2016 jury will only consider dissertations in Operational Research
defended between 28 February 2015 (i.e., the deadline for the preceding
edition of the prize) and 31 January 2016. The dissertation must have been
defended in a University located in a member country of EURO. The author of
the dissertation must be a member of a member society of EURO.
To be considered, a dissertation should be nominated by the supervisor of
the thesis (one of them in case of multiple supervisors). The supervisor of
the dissertation is asked to provide the jury with the following
information:
-The text of the dissertation;
-An extended abstract (3 to 5 pages) of the dissertation; this abstract
should be written in English and should include precise keywords;
-An itemization of the candidate's contribution to each co-authored article
if the dissertation contains co-authored articles (i.e., published papers
or unpublished manuscripts);
-If the dissertation is not in English, a paper in English which has been
authored or co-authored by the candidate and which describes the core ideas
of the dissertation. This paper should preferably have been published in or
submitted to an international journal;
-Nomination letters (or reports) from two referees selected by the
dissertation supervisor, supporting the submission and stating their
assessment of why the dissertation should win the award;
-An up-to-date CV of the candidate, including a list of publications.
No nomination will be considered without these items.
Since many doctoral dissertations in OR are defended each year, the jury
would like to remind supervisors that only outstanding pieces of work have
a reasonable chance of winning the award.
Jury
The jury consists of:
Ahti Salo (Finland) - chair
Richard Hartl (Austria)
Bernardo Almada-Lobo (Portugal)
Karl Schmedders (Switzerland)
Emilio Carrizosa (Spain)
Selection process
The selection process consists of two phases.
Phase 1:
The material for each dissertation is studied by several members of the
jury. The jury selects a shortlist of three finalists. In its evaluation,
the jury takes the following criteria into account:
Originality and novelty of the subject;
Pertinence of the subject for OR;
Depth and breadth of the results;
Contributions of the dissertation to the theory and practice of OR;
Applications and/or potential applicability of the results;
Impact on related fields;
Quality of the related publications.
Phase 2:
These 3 finalists are invited to present their contribution in front of the
jury and any other interested participants during a special EDDA session
scheduled at the EURO 2016 conference. The jury selects the final laureate
after the session.
Award
The prize consists of a certificate and reward of €1,000.
There is no registration fee for each of the finalists at the EURO 2016
conference which they are expected to attend. EURO will also contribute to
their travel and accommodation expenses.
Deadlines
Please submit the material (zipped file) online on
http://www.euro-online.org/awards/edda2016/registration.php before January
31, 2016.
The nomination of the three finalists will be made public before 15 April
2016.
Contact
Ahti Salo
Systems Analysis Laboratory
Department of Mathematics and Systems Analysis
Aalto University School of Science
P.O. Box 11100
00076 Aalto
Finland
ahti.salo@aalto.fi
--
Dr Sarah Fores
Manager of EURO
<http://www.euro2016.poznan.pl/>
------------------------------
Message: 3
Date: Fri, 6 Nov 2015 21:08:32 +0000
From: Sarah Fores <manager@euro-online.org>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] EURO Excellence in Practice Award 2016
Message-ID:
<CAEfwmuzr7AXqEj8qKFghD+RhTVh=FU74dMwuuwER766E6u08Dw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Sponsored by IBM Research - Zurich
This is an invitation for Authors to submit a paper for the above award.
PURPOSE
The purposes of the competition are to:
recognise outstanding accomplishments in the practice of Operational
Research,
attract more application-oriented papers to EURO-k Conferences,
promote the practice of Operational Research in general.
GUIDELINES
All interested authors are invited to submit a detailed description of an
application of Operational Research which has original features, whether in
methodology, application or implementation. This may be in the form of a
paper written for publication (although not necessarily published at the
time of submission), a client report, or other appropriate documentation.
The documentation must describe the work in a way which illustrates how it
meets the criteria outlined below. The age limit for published papers is
four years. The work must not have been submitted concurrently to another
competition. The application is open to Operational Research specialists
from any part of the world.
EVALUATION CRITERIA
The criteria for the evaluation of the papers are:
-real impact on practice,
-scientific quality,
-relevance to Operational Research,
-appreciation by the organisation involved with the application,
-originality in methodology, implementations and/ or field of application.
Letters of appreciation are important.
THE PROCESS
The jury selects a short-list of finalists who will present their work in a
special session of the 28th European Conference on Operational Research in
Poznań. There is no registration fee for one author of each of the finalist
presentations. The winner will be determined by the jury at the end of the
special session and will be announced by the chairman of the jury during
the closing session of the EURO 2016 Conference.
THE PRIZE
The prize for the winners is a distinct honour, and in material terms
consists of:
a certificate of excellence in OR practice for each author of the paper,
an amount of €3,000 shared between the authors.
THE JURY
Ton G. de Kok (The Netherlands) - chair
Ulrich Dorndorf (Germany)
Erik Demeulemeester (Belgium)
Marco Laumanns (Switzerland)
Markus Bohlin (Sweden)
SUBMISSION
Please submit the material online on
http://www.euro-online.org/awards/eepa2016/registration.php before January
31, 2016.
--
Dr Sarah Fores
Manager of EURO
<http://www.euro2016.poznan.pl/>
------------------------------
Message: 4
Date: Fri, 6 Nov 2015 21:38:03 +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 - First Call For Papers
Message-ID: <4A3CB8F7-47E2-49B9-B5D7-7E65C535AA61@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: 8 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)
------------------------------
Message: 5
Date: Sat, 7 Nov 2015 00:24:49 +0200
From: Jukka Suomela <jukka.suomela@aalto.fi>
To: <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] PODC 2016 Call for Workshop Proposals
Message-ID: <563D28B1.5050607@aalto.fi>
Content-Type: text/plain; charset="utf-8"; format=flowed
------------------------------------------------------
PODC 2016 Call for Workshop Proposals
------------------------------------------------------
The 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
(PODC 2016)
July 25-28, 2016
Chicago, Illinois, USA
http://www.podc.org/podc2016
------------------------------------------------------
The 35h Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed
Computing (PODC 2016) invites proposals for half-day and full-day
workshops that are closely related to the current scope of the
conference or are new emerging research fields complementing or
extending it, including but not restricted to:
- 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
Workshops will be held in conjunction with PODC on Monday, July 25,
2016. Interested members of the community are invited to send proposals
for workshops by email to the workshop coordinator:
Chen Avin <avin@cse.bgu.ac.il>
The following are required in a workshop proposal:
- Title of the workshop;
- An abstract describing the main focus of the workshop and why it would
be of interest to the PODC community;
- Names and contact information of the organizers;
- Estimated number of submitted and accepted papers, duration of the
workshop, and a brief description of the review process.
The proposals should be submitted to the workshop coordinator as soon as
possible, but no later than
Friday, January 8, 2016.
Decision on the proposals will be made no later than January 15, 2016.
The organizers may opt to review and decide on the proposals on a
first-come-first-served basis. We expect to be able to accept two new
workshops, in addition to those listed below.
We are happy to announce that the three following workshops have been
already accepted to be collocated with PODC 2016.
- The 4th Workshop on Biological Distributed Algorithms (BDA 2016)
- The 8th Workshop on the Theory of Transactional Memory (WTTM 2016)
- The 1st Workshop on Distributed Computing: Mixing Systems and Theory
(DeMIST 2016)
------------------------------------------------------
------------------------------
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 93, Issue 5
*************************************
No comments:
Post a Comment