dmanet Digest, Vol 104, Issue 24

Send dmanet mailing list submissions to
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. Workshop celebrating Ridha Mahjoub's 60th birthday
(Pesneau Pierre)
2. Conference announcement: MathSport International 2017
(Dries Goossens)
3. PhD position in optimization in human-computer interaction at
Aalto University (Oulasvirta Antti)
4. CS faculty position at USI, Lugano, Switzerland
(Evanthia Papadopoulou)

----------------------------------------------------------------------

Message: 1
Date: Wed, 26 Oct 2016 15:07:37 +0200
From: Pesneau Pierre <pierre.pesneau@math.u-bordeaux.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Workshop celebrating Ridha Mahjoub's 60th birthday
Message-ID: <6fc0fba3-3fcf-c49f-e7f5-fb9de280f39c@math.u-bordeaux.fr>
Content-Type: text/plain; charset=utf-8; format=flowed

Dear colleagues,

As you might know, Ridha Mahjoub was 60 years old in May. We would
take this opportunity to celebrate his scientific achievements and
his everlasting dynamism.

We organize a 2-days "birthday" workshop on "Polyhedral Approaches
for Combinatorial Optimization". This workshop will be held in the
Henri Poincarré Institute in Paris the 8th and 9th of December,
2016. We hope that this event will be an opportunity to share
scientific discussions and convivial times.

There is no registration fees, but for practical reasons we ask
you to fill and send back a short form (see the registration page
on the website).

We plan to offer the gala dinner to every participant.

You can find more informations on the workshop website:http://www.lamsade.dauphine.fr/~poc/PACO/index.html

With our best regards,

Pierre Pesneau
For the organizing committee

--
******************************************
Pierre Pesneau

Université Bordeaux 1
IMB (Institut des Mathématiques de Bordeaux)
INRIA Bordeaux - Sud-Ouest / RealOpt
351, Cours de la Liberation
33405 Talence Cedex, FRANCE
Phone: +33 (0)5 40 00 21 21
Email: pierre.pesneau@math.u-bordeaux1.fr
******************************************

------------------------------

Message: 2
Date: Wed, 26 Oct 2016 13:14:31 +0000
From: Dries Goossens <Dries.Goossens@ugent.be>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Conference announcement: MathSport International
2017
Message-ID: <a61178c7d03143deb6d97390901c1f53@xmail102.UGent.be>
Content-Type: text/plain; charset="utf-8"

MathSport International 2017: The 6th International Conference on Mathematics in Sport

26 - 28 June 2017

Padua, Italy

First Call for Papers

http://www.mathsportinternational2017.math.unipd.it/index.html



We invite you to submit an abstract for the 6th International Conference on Mathematics in Sport. Submissions in all areas where sports and mathematics meet are welcome. The term sport is interpreted liberally and includes games, gambling, and lotteries. Topics of interest include, but are not limited to: Mathematical and physical models in sports, Performance measures and models, Optimisation of sport performance, Statistics and probability models in sport, Match outcome models, Operations Research in Sport, Competitive strategy, Game theoretical models, Optimal tournament design, Sports scheduling, Decision support systems, Analysis of rules and adjudication, Econometrics in sport, Analysis of sporting technologies, Mathematics education and sport, Computationally intensive methods, Financial valuation in sport, E-sports (gaming), Betting and sports



Abstracts should be at most 2000 characters (spaces included) long, in English, and they must be submitted through the EasyChair website. The final date for abstract submission is 30 January 2017, and you will be notified of acceptance by 24 February 2017. At least one author of each accepted paper must register and present the work at the conference. Registration will be at the conference website, http://www.mathsportinternational2017.math.unipd.it/index.html, at a discounted rate until 15 May 2017. Accommodation info at the website.



Authors of accepted abstracts are encouraged to submit their paper for the conference Proceedings (even if it is work in progress), until 24 April 2017. Padova University Press will distribute the book of accepted proceedings (in digital form in a USB pen drive with ISBN) to all participants.



There will be a special issue of Journal of Quantitative Analysis in Sports (http://www.degruyter.com/view/j/jqas) devoted to papers from MathSport International 2017, containing work beyond that published in the conference proceedings. Details to follow.



Deadlines:

Abstract submission: 30 January 2017

Latest notification of acceptance: 24 February 2017 Submission of papers for Proceedings: 24 April 2017 Early registration: 15 May 2017



Keynote speakers:

To be announced



Venue: The MathSport 2017 Conference will be held at the Orto Botanico (Botanical Garden) (UNESCO site) of University of Padova. Padua is a beautiful city of art, with plenty of historical buildings, located in the central area of the Veneto plains. The University of Padova, established in 1222, is one of the oldest universities in Europe, and one of the biggest in Italy: 2,100 research staff, 60,000 students and 1,500 PhD students. From the logistic point of view, Padua is well connected to the rest of the world: Venice Marco Polo airport is the third biggest in Italy. Venice and Treviso airports can be reached by public buses or shuttle services. There are frequent high-speed trains to Padua from Milan (2h10m) and Rome (3h20m). Padua is 20 minutes away by train from Venice.



Registration fees:

Until 15 May: €380 (students: €250, accompanying person: €100) From 16 May: €450 (students: €300, accompanying person: €120)



Supported by:

This conference is supported by: University of Padova, Mathematics Department of University of Padova, EURO Working Group OR in Sports, Royal Statistical Society Statistics in Sport section



Local Organizing Committee:

Marco Ferrante (University of Padova), Carla De Francesco (University of Padova), Luigi De Giovanni (University of Padova), Giovanni Fonseca (University of Udine), Francesco Lisi (University of Padova)



MathSport International Committee:

Phil Scarf (University of Salford), Anthony Bedford (RMIT University), Dries Goossens (Gent University), Ruud Koning (University of Groningen), Alun Owen (University of Worcester), Frits Spieksma (KU Leuven), Ray Stefani (California State University Long Beach)



For further information, please visit the conference website: http://www.mathsportinternational2017.math.unipd.it/index.html



Please circulate this announcement to any colleagues who may be interested.

------------------------------

Message: 3
Date: Wed, 26 Oct 2016 14:44:21 +0000
From: Oulasvirta Antti <antti.oulasvirta@aalto.fi>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PhD position in optimization in human-computer
interaction at Aalto University
Message-ID: <D4369BF5.1CA2B%antti.oulasvirta@aalto.fi>
Content-Type: text/plain; charset="iso-8859-1"

Doctoral Candidate in Applications of Optimization and Data Sciences in
Human-Computer Interaction
Aalto University, Finland

http://www.aalto.fi/en/about/careers/jobs/view/1043/

We are looking for a doctoral candidate to join cutting-edge research in
an exciting new area of human-computer interaction: computational design
of interaction, and in particular 1) automatic UI generation using machine
learning or optimization or 2) data-driven design of web interfaces. The
successful candidate will focus on the methods and principles of real-time
computational generation and refinement of user interfaces for the benefit
of people. The User Interfaces group, headed by Assoc. Prof. Antti
Oulasvirta and funded by the European Research Council (ERC), is a leading
group in the area of modeling and optimization of user interface designs.
It has a strong track record in the top venues of HCI, including CHI,
UIST, and IUI. The group has previously studied the principles of
computational design of keyboards, menu systems, gestural interaction,
interaction techniques, information search, and interaction design.

Profile

Applicants with a strong academic record in any of the four following
topic areas are requested to apply:

1. optimization or operations research; 2. machine learning, for example
Bayesian inference or deep learning, with
applications to interactive systems; 3. neurosciences, especially
neurocomputational modeling and
neural computing; 4. Web technologies, especially web UI technologies and
their real-time adaptation

A Master's degree in computer science, electrical engineering,
neurosciences, cognitive science, or a related area is required. The
position is fully funded for 4 years. Salary starts at around 2,600
EUR/month and increases with merits such as publications.

How to apply

Please send your application as a single PDF file at earliest convenience
by November 5, 2016 through the recruitment system via "Apply for this
job" link below. The application should include 1) a one page statement of
interest, 2) academic CV, 3) course transcripts from Master's and
Bachelor's with grades, and 4) names and contact information of two
recommenders. Review of the applications will start on November 5, 2016.

Apply for this job at
https://www.saimanet.com/aaltohome/application_edit_welcome.html?job_id=104
3&field_id=0&place_id=59&did=5900&jc=1&lang=en

For more information

For further information, please contact the Associate Professor Antti
Oulasvirta (firstname.lastname@aalto.fi)
http://users.comnet.aalto.fi/oulasvir/ , HR Coordinator Anne Petroff
(application process, practical arrangements).
Research group homepage: http://userinterfaces.aalto.fi
<http://userinterfaces.aalto.fi/>

About Aalto University and Living in Finland

Aalto University offers an ambitious and lively environment with top-class
research efforts in computer science and electrical engineering. The
university was founded in 2010 as Helsinki University of Technology, the
Helsinki School of Economics and the University of Art and Design Helsinki
were merged. Aalto University focuses on four key research areas: ICT and
digitalisation, Materials and sustainable use of natural resources, Global
business dynamics and Art and design knowledge building. The main campus
is located in Otaniemi in Espoo, Finland. The other campuses are in Töölö
and Arabia in Helsinki. The university consistently ranks high in
evaluations of computer science and electrical engineering research in the
world. MIT ranked Aalto University among the 5 rising stars in the world
in its comparison of 200 universities. According to OECD, Finland ranks
high in measures of well-being and is at the top in education and skills,
and above average in most dimensions: jobs and earnings, environmental
quality, subjective well-being, personal security, social connections,
housing and work-life balance.

------------------------------

Message: 4
Date: Wed, 26 Oct 2016 22:20:41 +0200
From: Evanthia Papadopoulou <evanthia.papadopoulou@usi.ch>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CS faculty position at USI, Lugano, Switzerland
Message-ID: <e4bb238c-d6ca-2de3-19b5-aef88c8ee994@usi.ch>
Content-Type: text/plain; charset="utf-8"; format=flowed

The faculty of Informatics at the Univesità della Svizzera italiana
(USI), Lugano, Switzerland, has an opening for a tenure track faculty
position, preferably at the rank of assistant professor. The position is
open in all areas of Computer Science including Theory and Algorithms.
For more information see:

http://www.usi.ch/call-inf-assistant-professor-tenure-track-291728.pdf

Applications received by December 15, 2016 will be given priority.

--
Prof. Evanthia Papadopoulou
Faculty of Informatics
USI, Lugano, Switzerland
Phone: +41(0)58 6664122
http://www.inf.usi.ch/faculty/papadopoulou/

------------------------------

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 104, Issue 24
***************************************

dmanet Digest, Vol 104, Issue 23

Send dmanet mailing list submissions to
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. new doctoral training course in systems dynamics (Letchford, Adam)
2. COCOON 2017 Call For Papers (Yixin Cao)
3. CP2017: Call for Thematic Tracks (Tommaso Urli)
4. CFP: 17th International Conference on Algorithms and
Architectures for Parallel Processing (ICA3PP-2017) (Ding Daisy)
5. CFP: The 11th International Conference on Network and System
Security (NSS 2017) (Ding Daisy)

----------------------------------------------------------------------

Message: 1
Date: Tue, 25 Oct 2016 15:47:56 +0000
From: "Letchford, Adam" <a.n.letchford@lancaster.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] new doctoral training course in systems dynamics
Message-ID:
<06185FC256DE8543BD7F3AF9F51ACC34844704EF@EX-0-MB1.lancs.local>
Content-Type: text/plain; charset="us-ascii"

In 2017, NATCOR will be running week-long residential courses in Stochastic Modelling, Simulation
and Combinatorial Optimisation. Although based in the UK, the courses are open to PhD students and post-docs from any country working in a relevant area, such as Operational Research, Statistics, Engineering, Computer Science or Quantitative Finance.

Detailed descriptions of these courses, and information about registration and accommodation fees may be found on our website (http://www.natcor.ac.uk). Our courses are approved by the UK Research Councils and also by EURO (the European Association of Operational Research Societies).

Professor Adam N. Letchford
NATCOR Director
Department of Management Science
Lancaster University
United Kingdom

------------------------------

Message: 2
Date: Wed, 26 Oct 2016 06:01:34 +0800
From: Yixin Cao <comp.unix.solaris@gmail.com>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] COCOON 2017 Call For Papers
Message-ID:
<CAK72vChd9BME6M2Z5CEMFW_BhGF44fHPeu1bVoUzrc3Js0wMqQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

The 23rd Annual International Computing and Combinatorics Conference
August 3--5, 2017, Hong Kong, China
http://cocoon2017.comp.polyu.edu.hk/

The 23rd Annual International Computing and Combinatorics Conference
(COCOON'17) will be held in Hong Kong, China, during August 3--5,
2017. Original research papers in the areas of algorithms, theory of
computation, computational complexity, and combinatorics related to
computing are solicited. In addition to theoretical results, we are
particularly interested in submissions that report on experimental and
applied research of general algorithmic interest. Special
consideration will be given to research that is motivated by
real-world problems. Experimental and applied papers are expected to
show convincingly the usefulness and efficiency of the algorithms
discussed in a practical setting.

Papers of high quality will be invited to special issues of
Algorithmica, Theoretical Computer Science (TCS), and Journal of
Combinatorial Optimization (JOCO).

The topics of interest include, but are not limited to, the following:

Algorithms and Data Structures
Algorithmic Game Theory
Approximation Algorithms and Online Algorithms
Automata, Languages, Logic, and Computability
Complexity Theory
Computational Learning Theory and Knowledge Discovery
Cryptography, Reliability and Security, and Database Theory
Computational Biology and Bioinformatics
Computational Algebra, Geometry, and Number Theory
Graph Drawing and Information Visualization
Graph Theory, Communication Networks, and Optimization
Parallel and Distributed Computing

Important dates
==============

Paper submission due: March 20, 2017 (Anywhere on Earth)
Notification of Acceptance: May 20, 2017
Camera-ready and Registration: June 1, 2017
Conference Dates: August 3--5, 2017

Submission instructions
====================

Authors are invited to submit an extended abstract of original
research on Computing and Combinatorics. Submissions must contain a
scholarly exposition of the ideas, techniques, and a full description
of the results achieved. A clear indication of the motivation and
comparison with prior related work should be presented. Simultaneous
submission to other refereed conferences is disallowed. Papers
authored or co-authored by members of the program committee are not
allowed.

Submissions must adhere to the following guidelines: Papers must be
formatted using the LNCS style file
(ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip)
without altering margins or the font point. The maximum length of the
paper (excluding references and the optional appendix) is 12 pages.
Proofs omitted due to space constraints must be placed in an appendix
to be read by the program committee members at their discretion.
Papers that deviate from these guidelines risk being rejected without
consideration of their merits. Papers should be submitted
electronically via EasyChair
(https://www.easychair.org/account/signin.cgi?conf=cocoon2017).

Invited speakers
==============
Dániel Marx (Hungarian Academy of Sciences, Hungary)
Shang-Hua Teng (University of Southern California, USA)
Virginia Vassilevska Williams (Stanford University, USA)

Program committee
=================
Jarek Byrka (University of Wrocław, Poland)
Liming Cai (University of Georgia, USA)
Yixin Cao (Hong Kong Polytechnic University, China, co-chair)
Hubert Chan (University of Hong Kong, China)
Jianer Chen (Texas A&M University, Texas, co-chair)
Rajesh Chitnis (Weizmann Institute of Science, Israel)
Vida Dujmovic (University of Ottawa, Canada)
Funda Ergun (Indiana University, Indiana)
Siyao Guo (New York University, USA)
Magnús Már Halldórsson (Reykjavik University, Iceland)
Pinar Heggernes (University of Bergen, Norway)
Juraj Hromkovic (ETH Zurich, Switzerland)
Kazuo Iwama (Kyoto University, Japan)
Iyad Kanj (DePaul Universit, USA)
Bingkai Lin (National Institute of Informatics, Japan)
Daniel Lokshtanov (University of Bergen, Norway)
Monaldo Mastrolilli (IDSIA, Switzerland)
Ross McConnell (Colorado State University, Fort Collins, USA)
Vangelis Th. Paschos (University Paris-Dauphine, France)
Youming Qiao (University of Technology Sydney, Australia)
Piotr Sankowski (University of Warsaw, Poland)
Ryuhei Uehara (JAIST, Japan)
Magnus Wahlström (Royal Holloway, University of London, UK)
Lusheng Wang (City University of Hong Kong, China)
Gerhard Woeginger (Eindhoven University of Technology, Netherland)
Mary Wootters (Stanford University, USA)
Chee Yap (New York University, USA)
Grigory Yaroslavtsev (Indiana University, USA)
Neal Young (University of California, Riverside, USA)
Huacheng Yu (Stanford University, USA)
Shengyu Zhang (Chinese University of Hong Kong, China)
Daming Zhu (Shandong University, China)

------------------------------

Message: 3
Date: Tue, 25 Oct 2016 22:52:51 +0000
From: Tommaso Urli <Tommaso.Urli@data61.csiro.au>
To: <dmanet@zpr.uni-koeln.de>, <secretary@a4cp.org>
Subject: [DMANET] CP2017: Call for Thematic Tracks
Message-ID: <1477435971455.77896@data61.csiro.au>
Content-Type: text/plain; charset="iso-8859-1"

CP2017: Call for Thematic Tracks
--------------------------------

The International Conference on Principles and Practice of Constraint Programming will take place in Melbourne, Australia, from August 29 to September 1, 2017. This is the 23rd edition of the annual conference on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning.

Full details (soon) at http://cp2017.a4cp.org

Following on the successful introduction of THEMATIC TRACKS at CP2016, we are seeking proposals for tracks for 2017. Each track represents a particular sub-field or application area of constraint computation and has its own program sub-committee to ensure relevant reviewers. Both repeat tracks and new tracks are enthusiastically encouraged.

As an example, the CP2016 tracks were:
- testing and verification
- CP and biology
- computational sustainability
- preferences, social choice, and optimisation
- music

A far-from-exhaustive set of other suggestions:
- configuration
- CP, data mining, and machine learning
- CP and AI
- CP and Operations Research

!! Track topics are open to any relevant themes including those from CP2016. !!

Of course, CP2017 will continue to have TECHNICAL and APPLICATION tracks, as usual. This call is for thematic tracks beyond these.

Details for Proposers

Track chairs will have the following responsibilities, working with the CP2017 organizers:
- Recruitment of a track program committee
- Advertising and encouraging submissions, especially outside the usual CP channels
- Assignment of papers to reviewers
- Membership on the Senior Program Committee with associated reviewing, discussion, and meta-reviewing duties

Track proposals can be in the form of an email to Chris Beck (jcb@mie.utoronto.ca), the CP2017 Program Chair, containing:
- The names and email addresses of at most two track co-chairs (one is fine, too).
- A paragraph justifying and demonstrating the relevance of the theme to the CP community.
- A list of 6 to 10 people who have expressed interest in either serving on the program committee of or submitting a paper to the track.

As a general guideline, track chairs should be confident of at least a half-dozen submissions.

Potential chairs are encouraged to contact Chris Beck (jcb@mie.utoronto.ca) for informal discussions.

Deadline: October 31, 2017
Email: jcb@mie.utoronto.ca

?

Dr Tommaso Urli

Researcher | Optimisation Platforms

DATA61 | CSIRO

E tommaso.urli@data61.csiro.au<mailto:tommaso.urli@data61.csiro.au> T +61 2 6218 3862 M +61 403 464 731

Tower A Level 3, 7 London Circuit, Canberra ACT 2601

www.data61.csiro.au

CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61

[Data61 | CSIRO logo]

------------------------------

Message: 4
Date: Wed, 26 Oct 2016 12:47:28 +0800
From: Ding Daisy <wxding89@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: 17th International Conference on Algorithms and
Architectures for Parallel Processing (ICA3PP-2017)
Message-ID:
<CAJhhpvNyDdS2WbN-EHoYbD9gLzXmd-kLXJPgYPMRxYOgki=-=g@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

*17th International Conference on Algorithms and Architectures for Parallel
Processing (ICA3PP-2017)*
August 21-23, 2017, Helsinki, Finland
URL: https://research.comnet.aalto.fi/ICA3PP2017/

ICA3PP 2017 will be held jointly with IEEE CIT 2017 and NSS 2017 in
Helsinki, Finland on 21-23 August 2017.

Important News!
* Keynote speakers
Prof. Francisco Herrera, University of Granada, Spain (EiC of Information
Fusion)
Prof. Y. Thomas Hou (Tom Hou), Virginia Tech, USA (IEEE Fellow)
Dr. Anand Prasad, NEC Corporation, Japan (3GPP SA3 Chair)
Prof. Yang Xiang, Deakin University, Australia
Prof. Laurence T. Yang, St. Francis Xavier University, Canada

ICA3PP 2017 is the 17th in this series of conferences started in 1995 that
are devoted to algorithms and architectures for parallel processing. ICA3PP
is now recognized as the main regular event of the world that is covering
the many dimensions of parallel algorithms and architectures, encompassing
fundamental theoretical approaches, practical experimental projects, and
commercial components and systems. As applications of computing systems
have permeated in every aspects of daily life, the power of computing
system has become increasingly critical. This conference provides a forum
for academics and practitioners from countries around the world to exchange
ideas for improving the efficiency, performance, reliability, security and
interoperability of computing systems and applications.

Following the traditions of the previous successful ICA3PP conferences held
in Hangzhou, Brisbane, Singapore, Melbourne, Hong Kong, Beijing, Cyprus,
Taipei, Busan, Melbourne, Fukuoka, Vietri sul Mare, Dalian,Japan,
Zhangjiajie, and Granada, ICA3PP 2017 will be held in Helsinki, Finland.
The objective of ICA3PP 2017 is to bring together researchers and
practitioners from academia, industry and governments to advance the
theories and technologies in parallel and distributed computing. ICA3PP
2017 will focus on two broad areas of parallel and distributed computing,
i.e., architectures, algorithms and networks, and systems and applications.
The conference of ICA3PP 2017 is co-organized by Aalto University, Finland
and Xidian University, China.

Topics of interest include but are not limited to:

Scope and Interests
- Parallel and Distributed Architectures
- Software Systems and Programming Models
- Distributed and Network-based Computing
- Big Data and its Applications
- Parallel and Distributed Algorithms
- Applications of Parallel and Distributed Computing
- Service Dependability and Security in Distributed and Parallel Systems
- Internet of Things and Cyber-Physical-Social Computing
- Performance Modeling and Evaluation

Submission Guidelines

Submitted papers must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal or a conference
with proceedings. Papers must be clearly presented in English, must not
exceed 14 pages, including tables, figures, references and appendixes, in
Springer LNCS Format with Portable Document Format (.pdf). Please submit
your paper via https://research.comnet.aalto.fi/ICA3PP2017/submit.html

Papers will be selected based on their originality, timeliness,
significance, relevance, and clarity of presentation. Submission of a paper
should be regarded as a commitment that, should the paper be accepted, at
least one of the authors will register and attend the conference to present
the work. The conference proceeding will be published by Springer Lecture
Notes in Computer Science (LNCS, EI indexed). Excellent Papers will be
recommended to high-quality journal special issues as below (SCI/SCIE
indexed).

1. Special Issue on IEEE Access (SCI indexed, Impact Factor: 1.27)
2. Special Issue on IEEE Internet of Things (SCI indexed)
... More journal special issues will be announced soon.

Important Dates

Paper Submission Deadline: 15 March, 2017
Author Notification: 10th June, 2017
Camera-ready and Registration: 25th June, 2017
Conference Dates: 21-23 August, 2017

WORKSHOPS
The ICA3PP 2017 Organizing Committee invites proposals for one-day
workshops affiliated with the conference and addressing research areas
related to the conference. The workshop proceedings will be published by
Springer Lecture Notes in Computer Science (LNCS, EI indexed). Excellent
Papers will be recommended to high-quality journal special issues (SCI/SCIE
indexed). Submit workshop proposals via emails to liukeen@mail.xjtu.edu.cn;
zheng.yan@aalto.fi.

Organization Committee

Honorary chair:
Xinbo Gao, Xidian University, China

General Chairs:

Witold Pedrycz, Alberta Unviersity, Canada
Geoffrey Fox, Indiana University, USA
Zheng Yan, Xidian University, China

Program Chairs:

Kim-Kwang Raymond Choo, University of Texas at San Antonio, USA
Shadi Ibrahim, Eurecom, INRIA, France
Ruppa Thulasiram, University of Manitoba, Canada

Workshop Chairs

Jun Liu, Xi'an Jiaotong University, China
KP Lam, Keele University, UK

Publication Chair

Peng Zhang, Zalando, Finland

Publicity Chairs

Wenxiu Ding, Xidian University, China

Local & Finance Chair

Raimo Kantola, Aalto University, Finland

Steering Committee

Yang Xiang, Deakin University, Australia (Chair)
Weijia Jia, Shanghai Jiaotong University, China
Yi Pan, Georgia State University, USA
Laurence T. Yang, St. Francis Xavier University, Canada
Wanlei Zhou, Deakin University, Australia

Web Chairs

Mingjun Wang, Xidian University, China
Huaqing Lin, Xidian University, China

Technical Program Committee
See ICA3PP 2017 website: https://research.comnet.aalto.fi/ICA3PP2017/

------------------------------

Message: 5
Date: Wed, 26 Oct 2016 13:03:40 +0800
From: Ding Daisy <wxding89@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: The 11th International Conference on Network
and System Security (NSS 2017)
Message-ID:
<CAJhhpvNpdq49oE1rmGoEvZd12TDZ82DqkcAGfTPyBE9-TMyktw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

*The 11th International Conference on Network and System Security (NSS
2017)*
August 21-23, 2017, Helsinki, Finland
URL: https://research.comnet.aalto.fi/NSS2017/

NSS 2017 will be held jointly with IEEE CIT 2017 and ICA3PP 2017 in
Helsinki, Finland on 21-23 August 2017.

Important News!
* Keynote speakers
Prof. Francisco Herrera, University of Granada, Spain (EiC of Information
Fusion)
Prof. Y. Thomas Hou (Tom Hou), Virginia Tech, USA (IEEE Fellow)
Dr. Anand Prasad, NEC Corporation, Japan (3GPP SA3 Chair)
Prof. Yang Xiang, Deakin University, Australia
Prof. Laurence T. Yang, St. Francis Xavier University, Canada

While the attack systems have become more easy-to-use, sophisticated, and
powerful, interest has greatly increased in the field of building more
effective, intelligent, adaptive, active and high performance defense
systems which are distributed and networked. The conference will cover
research on all theoretical and practical aspects related to network and
system security, such as authentication, access control, availability,
integrity, privacy, confidentiality, dependability, trustworthiness, and
sustainability of computer networks and systems. The aim of NSS is to
provide a leading edge forum to foster interaction between researchers and
developers with the network and system security communities, and to give
attendees an opportunity to interact with experts in academia, industry,
and governments. NSS 2017 is the next event in a series of highly
successful events of Network and System Security. Previous editions were
held in: Taipei (2016), New York City, USA (2015), Xi'an, China (2014),
Madrid, Spain (2013); Wu Yi Shan, China (2012); Milan, Italy (2011);
Melbourne, Australia; (2010); Gold Coast, Australia (2009); Shanghai, China
(2008); and Dalian, China (2007).

Topics of interest include but are not limited to:
- Active Defense Systems
- Adaptive Defense Systems
- Analysis, Benchmark of Security Systems
- Applied Cryptography
- Authentication
- Big Data Trust, Security and Privacy
- Biometric Security
- Complex Systems Security
- Database and System Security
- Data Protection
- Data/System Integrity
- Digital Forensics
- Distributed Access Control
- Distributed Attack Systems
- Denial-of-Service
- High Performance Network Virtualization
- High Performance Security Systems
- Hardware Security
- Identity Management
- Intelligent Defense Systems
- Insider Threats
- Intellectual Property Rights Protection
- Internet and Network Forensics
- Intrusion Detection and Prevention
- Key Distribution and Management
- Large-scale Attacks and Defense
- Malware
- Network Resiliency
- Network Security
- RFID/NFC Security and Privacy
- Security Architectures
- Security for Critical Infrastructures
- Security for Cyber Physical Systems
- Security in Cloud and Grid Systems
- Security in Pervasive/Ubiquitous Computing
- Security and Privacy in Smart Grid
- Security and Privacy in Social Networks
- Security and Privacy in Wireless Networks
- Secure Mobile Agents and Mobile Code
- Security Policy
- Security Protocols
- Security Simulation and Tools
- Security Theory and Tools
- Standards and Assurance Methods
- Trusted Computing
- Trust Management
- World Wide Web Security

Submission Guidelines

Submitted papers must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal or a conference
with proceedings. Papers must be clearly presented in English, must not
exceed 14 pages, including tables, figures, references and appendixes, in
Springer LNCS Format with Portable Document Format (.pdf). Please submit
your paper via https://research.comnet.aalto.fi/NSS2017/submit.html

Papers will be selected based on their originality, timeliness,
significance, relevance, and clarity of presentation. Submission of a paper
should be regarded as a commitment that, should the paper be accepted, at
least one of the authors will register and attend the conference to present
the work. The conference proceeding will be published by Springer Lecture
Notes in Computer Science (LNCS, EI indexed). Excellent Papers will be
recommended to high-quality journal special issues as below (SCI/SCIE
indexed).

1. Special Issue on IEEE Access (SCI indexed, Impact Factor: 1.27)
2. Special Issue on IEEE Internet of Things (SCI indexed)
... More journal special issues will be announced soon.

Important Dates

Paper Submission Deadline: 15 March, 2017
Author Notification: 10th June, 2017
Camera-ready and Registration: 25th June, 2017
Conference Dates: 21-23 August, 2017

WORKSHOPS
The NSS 2017 Organizing Committee invites proposals for one-day workshops
affiliated with the conference and addressing research areas related to the
conference. The workshop proceedings will be published by Springer Lecture
Notes in Computer Science (LNCS, EI indexed). Excellent Papers will be
recommended to high-quality journal special issues (SCI/SCIE indexed).
Submit workshop proposals via emails to raimo.kantola@aalto.fi;
zheng.yan@aalto.fi.

Organization Committee

General Chairs:
Raimo Kantola, Aalto University, Finland
Valtteri Niemi, University of Helsinki, Finland

Program Chairs:
Zheng Yan, Xidian University, China
Refik Molva, Eurocom, France
Wojciech Mazurczyk, Warsaw University of Technology, Poland

Workshop Chair
Silke Holtmmans, Nokia, Finland
Xin Huang, Xi'an Jiaotong-Liverpool University, China

Publicity Chair
Li Yang, Xidian University, China

Steering Committee
Elisa Bertino, Purdue University, USA
Robert H. Deng, Singapore Management University, Singapore
Dieter Gollmann, Hamburg University of Technology, Germany
Xinyi Huang, Fujian Normal University, China
Kui Ren, University at Buffalo, State University of New York, USA
Ravi Sandhu, University of Texas at San Antonio, USA
Yang Xiang (Chair), Deakin University, Australia
Wanlei Zhou, Deakin University, Australia

Web Chair
Mingjun Wang, Xidian University, China
Huaqing Lin, Xidian University, China

------------------------------

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 104, Issue 23
***************************************

dmanet Digest, Vol 104, Issue 22

Send dmanet mailing list submissions to
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. CIAC 2017 - 10th International Conference on Algorithms and
Complexity - Final CFP (Dimitris Fotakis)

----------------------------------------------------------------------

Message: 1
Date: Tue, 25 Oct 2016 14:05:15 +0300
From: "Dimitris Fotakis" <fotakis@cs.ntua.gr>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CIAC 2017 - 10th International Conference on
Algorithms and Complexity - Final CFP
Message-ID: <B5EA02E51E8E4E568A164998550CEDD8@DimitrisPC>
Content-Type: text/plain; format=flowed; charset="iso-8859-7";
reply-type=original

CIAC 2017 - CALL FOR PAPERS

10th International Conference on Algorithms and Complexity
May 24-26, 2017, Athens, Greece
http://www.corelab.ntua.gr/ciac2017/

----------------------------------------------
AIM AND SCOPE
----------------------------------------------

The 10th International Conference on Algorithms and Complexity is intended
to
provide a forum for researchers working in all aspects of computational
complexity and the use, design, analysis and experimentation of efficient
algorithms and data structures.

Papers presenting original research in the areas of algorithms and
complexity
are sought, including (but not limited to):

- sequential, parallel and distributed algorithms and data structures;
- approximation and randomized algorithms;
- graph algorithms and graph drawing;
- on-line and streaming algorithms;
- analysis of algorithms and computational complexity;
- algorithm engineering;
- web algorithms;
- exact and parameterized computation;
- algorithmic game theory;
- computational biology;
- foundations of communication networks;
- computational geometry;
- discrete optimization.

This year there will be a CIAC 2017 Best Paper Award, accompanied by a prize
of EUR 1,000 offered by Springer. Submissions co-authored by a member of the
"Best Paper Award Committee" are not eligible for the award.

The conference proceedings will be published by Springer-Verlag in its
Lecture Notes in Computer Science (LNCS) series. Simultaneous submission to
another conference with published proceedings or journal is not allowed.
Results previously published in another conference proceedings or journal
(or
scheduled for publication prior to CIAC) will not be considered.

----------------------------------------------
IMPORTANT DATES
----------------------------------------------
Deadline for submission: November 4, 2016.
Notification of acceptance: December 20, 2016.
Final manuscript, camera ready: January 31, 2017.
Conference: May 24-26, 2017.

----------------------------------------------
PROGRAM COMMITTEE
----------------------------------------------
Vincenzo Bonifaci, IASI-CNR, Rome, Italy,
Jarek Byrka, University of Wroclaw, Poland
Tiziana Calamoneri, Universita di Roma I, "La Sapienza", Italy
Eric Colin de Verdiere, CNRS and Universite Paris-Est Marne-la-Vallee,
France
Dimitris Fotakis, National Technical University of Athens, Greece
Thomas Erlebach, University of Leicester, UK
Irene Finocchi, Universita di Roma I, "La Sapienza", Italy
Evangelos Kranakis, Carleton University, Canada
Dieter Kratsch, University of Lorraine, France
Michael Lampis, University Paris-Dauphine, France
Vangelis Markakis, Athens University of Economics and Business, Greece
Daniel Marx, Hungarian Academy of Science, Hungary
Monaldo Mastrolilli, IDSIA, Switzerland
Aris Pagourtzis, National Technical University of Athens, Greece
Vangelis Th. Paschos, University Paris-Dauphine, France (chair)
Francesco Pasquale, Universita di Roma I, "La Sapienza", Italy
Giuseppe Persiano, Universita di Salerno, Italy
Tomasz Radzik, King's College London, UK
Adi Rosen, CNRS and University Paris Diderot, France
Guido Schafer, CWI, Netherlands
Maria Serna, Universitat Politecnica de Catalunya, Spain
Paul Spirakis, University of Liverpool, UK and CTI, Greece
Ioan Todinca, University of Orleans, France
Angelika Steger, ETH Zurich, Switzerland
Andreas Wiese, Universidad de Chile, Chile

----------------------------------------------
INVITED SPEAKERS
----------------------------------------------
Giuseppe Italiano, Universita di Roma 2, Italy
Klaus Jansen, University of Kiel, Germany
Christos Papadimitriou, University of California Berkeley, USA

----------------------------------------------
BEST PAPER AWARD COMMITTEE
----------------------------------------------
Ljiljana Brankovic, University of Newcastle, Australia
Ralf Klasing, CNRS and University Bordeaux 1, France (chair)
Cecile Murat, University Paris-Dauphine, France
Vangelis Th. Paschos, University Paris-Dauphine, France
Peter Widmayer, ETH Zurich, Switzerland

----------------------------------------------
STEERING COMMITTEE
----------------------------------------------
Giorgio Ausiello, Universita di Roma I, "La Sapienza", Italy
Vangelis Paschos, University Paris-Dauphine, France
Rossella Petreschi, Universita di Roma I, "La Sapienza", Italy
Paul Spirakis, University of Liverpool, UK and CTI, Greece
Peter Widmayer, ETH Zurich, Switzerland

----------------------------------------------
ORGANIZING COMMITTEE
----------------------------------------------
Dimitris Fotakis, National Technical University of Athens (co-chair)
Euripides Markou, University of Thessaly
Ioannis Milis, Athens University of Economics and Business
Aris Pagourtzis, National Technical University of Athens (co-chair)
Dimitris Sakavalas, National Technical University of Athens
Vassilis Zissimopoulos, National and Kapodistrian University of Athens

------------------------------

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 104, Issue 22
***************************************

dmanet Digest, Vol 104, Issue 21

Send dmanet mailing list submissions to
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. Special issue of Discrete Applied Mathematics: CTW 2016
(deadline March 31th, 2017) (Roberto Cordone)
2. 22nd ACM International Conference on Intelligent User
Interfaces (IUI 2017): First Call for Demos and Posters
(Announce Announcements)
3. [GECCO 2017] Second Call for Proposals for Tutorials,
Workshops and Competitions (Javier Ferrer)

----------------------------------------------------------------------

Message: 1
Date: Fri, 21 Oct 2016 20:34:06 +0200
From: Roberto Cordone <roberto.cordone@unimi.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Special issue of Discrete Applied Mathematics: CTW
2016 (deadline March 31th, 2017)
Message-ID: <f0901a8d-15c5-9e91-50c1-33b384e9c62b@unimi.it>
Content-Type: text/plain; charset=utf-8; format=flowed

---------------------------------------------------------------------

Discrete Applied Mathematics

Special Issue: 14th Cologne-Twente Workshop on
Graphs and Combinatorial Optimization (CTW 2016)

--------------------------------------------------------------------

The 14th edition of the Cologne-Twente Workshop on Graphs and
Combinatorial Optimization (CTW 2016, http://http://ctw16.di.unimi.it/)
was held on June 6-8, 2016 at Palazzo Feltrinelli in Gargnano, Italy,
a historical building belonging to the University of Milan.

Following the tradition of previous CTWs, a special issue of
Discrete Applied Mathematics will be devoted to a selection of papers
on topics related to the themes of the workshop (graph theory,
combinatorial optimization and the design and analysis of algorithms).

All interested researchers are invited to contribute to this special issue.
Submissions of contributions not presented at the workshop are also welcome.

All articles will be thoroughly refereed according to the high standards of
Discrete Applied Mathematics.

The full papers must be submitted through the Elsevier Editorial System
(http://ees.elsevier.com/dam). When submitting your paper, be sure to
specify
that the paper is a contribution for the Special Issue of CTW 2016,
so that your paper is assigned to the guest editors. Please see the
Author Instructions on the site if you have not yet submitted a paper
through this web-based system. Be sure to note that your work is intended
for the Special Issue and to select the article type SI: CTW 2016.

The deadline for submission is March 31, 2017.

Accepted papers will be published online individually, before print
publication.
We are looking forward to receiving your contribution.

The Guest Editors,

Alberto Ceselli
Roberto Cordone

------------------------------

Message: 2
Date: Sat, 22 Oct 2016 13:01:22 +0300
From: Announce Announcements <announce@cs.ucy.ac.cy>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] 22nd ACM International Conference on Intelligent
User Interfaces (IUI 2017): First Call for Demos and Posters
Message-ID: <A5SAXBKK-PE7S-DV0B-BCXP-3SJV1RIZGYY@cs.ucy.ac.cy>
Content-Type: text/plain; charset=iso-8859-1; format=flowed

*** First Call for Demos and Posters ***

22nd ACM International Conference on Intelligent User Interfaces
IUI 2017

St. Raphael Resort, Limassol, Cyprus

March 13-16, 2017

http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZG1hbmV0CQkJZG1hbmV0QHpwci51bmkta29lbG4uZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBGaXJzdCBDYWxsIGZvciBEZW1vcyBhbmQgUG9zdGVycwk4MwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiui.acm.org%2F2017%2Fdemopost.html

ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces
community and serves as a premier international forum for reporting
outstanding research and development on intelligent user interfaces.

The 22nd edition of the conference will be held in Limassol, Cyprus.
Limassol (or Lemesos) is a multicultural bustling town, flanked by two
ancient cities, Amathus and Kourion, and guarded by the Amathusian
Aphrodite and Appolo Hylates. It is a town of great visual diversity and
contrast from spectacular seafront views, historic places like the mediaeval
Castle, and Byzantine churches. Along the 17 km long sandy beaches, two
Marinas, world renowned 5 star hotels, and a most exciting dining, shopping,
nightlife and yachting scene create a year-round vibrant lifestyle well beyond
the expectations of a Mediterranean island.

ACM IUI is where the Human-Computer Interaction (HCI) community meets
the Artificial Intelligence (AI), with contributions from related fields such as
psychology, behavioral science, cognitive science, computer graphics, design
or the arts. Our focus is to improve the interaction between humans and
machines, by leveraging both more traditional HCI approaches, as well as
solutions that involve state-of-the art AI techniques such as machine
learning, natural language processing, data mining, knowledge
representation and reasoning. ACM IUI welcomes contribution from any
relevant arena: academia, business, or non-profit organizations.

Posters

Posters provide an opportunity for sharing valuable ideas, eliciting useful
feedback on early-stage work and fostering discussions and collaborations
among colleagues. We invite submissions on all topics of the conference. All
submissions should convey a scientific result or work in progress that is not
yet ready to be published as a full length research paper at a refereed
conference. Submitting a draft poster along with your submission is not
required but highly recommended. The page limit for poster papers is 4
pages (including references). Accepted poster papers will appear in the
companion proceedings in the ACM Digital Library.

Demos

The demonstrations track complements the overall program of the
conference. Demonstrations show implementations of novel, interesting,
and important intelligent user interface concepts or systems. We invite
submissions relevant to intelligent user interfaces and which address, but
are not limited to, the topics of the conference. All submissions are intended
to convey a scientific result or work in progress and should not be
advertisements for commercial software packages. The page limit for demo
papers is 4 pages (including references). Accepted demo papers will be
published in the companion proceedings in the ACM Digital Library.

Submission Guidelines

Demo and poster submissions do not need to be anonymized. The page limit
is 4 pages (including references) in HCI extended abstract format (MS Word
template, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZG1hbmV0CQkJZG1hbmV0QHpwci51bmkta29lbG4uZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBGaXJzdCBDYWxsIGZvciBEZW1vcyBhbmQgUG9zdGVycwk4MwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform%2Fsigchi-extended-abstracts-format-2016%2Fview,
LaTeX template, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZG1hbmV0CQkJZG1hbmV0QHpwci51bmkta29lbG4uZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBGaXJzdCBDYWxsIGZvciBEZW1vcyBhbmQgUG9zdGVycwk4MwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fgithub.com%2Fsigchi%2FDocument-Formats%2Ftree%2Fmaster%2FLaTeX%29.
Submitting a draft poster along with your poster submission is not required
but highly recommended. Submit your demos and posters at
http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZG1hbmV0CQkJZG1hbmV0QHpwci51bmkta29lbG4uZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBGaXJzdCBDYWxsIGZvciBEZW1vcyBhbmQgUG9zdGVycwk4MwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fprecisionconference.com%2F%7Esigchi.
Poster and Demo presenters: 120cm x 147cm (47" x 58") poster boards and
pushpins will be provided to mount your posters.

Important Dates

· Submissions Due: December 16, 2016
· Notifications to Authors: January 8, 2017
· Camera Ready Due: January 13, 2017

Demos/Posters Co-Chairs

· Andrina Granic, University of Split, Croatia
· Denis Parra, PUC, Chile
· Jingtao Wang, University of Pittsburgh, USA

------------------------------

Message: 3
Date: Mon, 24 Oct 2016 09:59:50 +0200
From: Javier Ferrer <ferrer@lcc.uma.es>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] [GECCO 2017] Second Call for Proposals for
Tutorials, Workshops and Competitions
Message-ID: <cac0f76e-37eb-a903-77ed-fe95ba1e5c31@lcc.uma.es>
Content-Type: text/plain; charset=utf-8; format=flowed

2017 Genetic and Evolutionary Computation Conference (GECCO 2017)
July, 2017, Berlin, Germany
http://gecco-2017.sigevo.org/

Important Dates:

Tutorials, Workshops and Competitions Proposals: November 7, 2016
Conference [tentative]: 15-19 July, 2017

*** Call for Tutorials ***

Deadline for tutorial proposals: November 7, 2016
Tutorial acceptance decision: TBA

Tutorials at GECCO 2017 will be presented by domain experts to cover
current topics relevant to evolutionary computation researchers and
practitioners. Each tutorial will be 110 minutes long. We encourage the
inclusion of interactive activities and demos.

Tutorials will be free to all GECCO 2017 attendees. It is expected that
all the instructors involved in an accepted tutorial will attend the
conference. One instructor/presenter of each accepted tutorial will be
able to register for GECCO at half the regular rate. (The discount can
be divided among tutorial instructors if there are more than one. Each
presenter is eligible for only a single tutorial discount, i.e., it is
not possible to aggregate discounts from more tutorials).

Accepted tutorials' slide sets will be collected by Sheridan/ACM Press,
and published as part of a companion volume to the conference
proceedings in the ACM Digital library.

* Submission Process *

Each tutorial proposal should include:

1. A half-page extended abstract (in plain text) that includes: the
title of the tutorial, the name and affiliation of the instructor(s),
and a description of the tutorial scope and content.
2. Short bio of the instructor(s) (about half page in plain text).
3. [Highly encouraged] A description of any interactive activity or demo
planned within the tutorial presentation.

* Reviewing *

Tutorial proposals will be reviewed by the GECCO 2017 organising
committee, based on the GECCO attendees' likely interest in them, the
breadth and depth of the topic(s), and the expertise and credentials of
the instructor(s).

* Information and Submissions *

Submit the tutorial proposals to:

Petr Posik, GECCO 2017 Tutorials Chair
Czech Technical University, Prague, Czech Republic
Email: petr.posik (at) fel.cvut.cz

*** Call for Workshops ***

GECCO workshops provide the possibility to commonly develop visions and
exchange ideas in an informal setting, especially if focused on an
emerging research field or interdisciplinary research area. In contrast
to regular sessions, workshops can (and should) host interactive
sessions (posters, discussions, demonstrations, etc.). Attendance at the
workshops will be free to all GECCO attendees.

Workshop organisers are responsible for coordination and publicity. They
collect and review papers, and provide a list of accepted papers and
their authors, if applicable. If required, the GECCO organisers may
provide additional support to the workshop organisers, such as
publicity. Note that organisers, participants and presenters must
register for the conference. Accepted workshop papers will be collected
by Sheridan/ACM Press, and published in a companion volume to the
conference proceedings.

* Submission Process *

Each workshop proposal needs to include:

1. A half-page extended abstract (in plain text) that includes: the
workshop title, the name and affiliation of the organiser(s), and a
description of scope and content. Please refrain from using special
characters in the title.
2. Short bio of the organiser(s) (about half-page in plain text).
3. [Highly encouraged] A description of any interactive activity or demo
planned within the workshop.
4. A draft schedule of the workshop, including the estimated duration (1
to max 4 sessions) and type of sessions.
5. If this workshop (or a similar event coordinated by the same
organisers or a subset of them) has taken place in previous years,
either at GECCO or at other events, then include URLs to the event pages.

* Reviewing of Proposals *

Workshop proposals will be reviewed by the GECCO 2017 organising
committee, based on GECCO attendees' likely interest, the breadth and
the depth of the topic(s), and the expertise and credentials of the
organiser(s).

* Information and Proposal Submissions *

Julia Handl and Markus Wagner, GECCO 2017 Workshops Chairs
Manchester Business School, United Kingdom
University of Adelaide, Australia
Email: julia.handl (at) mbs.ac.uk
markus.wagner (at) adelaide.edu.au
Webpage: http://gecco-2017.sigevo.org/index.html/Workshops

*** Call for Competitions ***

Competitions demonstrate how Evolutionary Computation and related
techniques can be utilized in challenging practical, real-world and
gaming settings. They also enable fair comparisons between algorithms
and (for recurrent competitions) provide the possibility to follow the
development of approaches over time.

* Submission process *

Each competition proposal should include:

1. A half-page abstract (plain text) that includes: competition title,
the name and affiliation of the organiser(s), a description of the
competition, and web address of last edition if already held before.

* Information and Submissions *

Mike Preuss, GECCO 2017 Competitions Chair ERCIS/Westfaelische
Wilhelms-Universitaet Muenster
Email: geccocompetitions (at) sigevolution.org
Webpage: http://gecco-2017.sigevo.org/index.html/Competitions

********
GECCO is sponsored by the Association for Computing Machinery Special
Interest Group for Genetic and Evolutionary Computation (ACM SIGEVO).
********

--
Javier Ferrer
E.T.S. Ingeniería Informática
University of Málaga
Tel: +34 95213 2815
Fax: +34 95213 1397
ferrer [at] lcc.uma.es
http://neo.lcc.uma.es/staff/javi/

*********************************
Publicity Chair for GECCO 2017
*********************************

------------------------------

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 104, Issue 21
***************************************

dmanet Digest, Vol 104, Issue 20

Send dmanet mailing list submissions to
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. Scientific Coordinator at the Vienna Graduate School in
Computational Optimization (Monika Henzinger)
2. Special Issue of Networks: Vehicle Routing and Logistic,
Submission deadline: November 15, 2016 (Wolfler)

----------------------------------------------------------------------

Message: 1
Date: Fri, 21 Oct 2016 11:46:22 +0200
From: Monika Henzinger <monika.henzinger@univie.ac.at>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Scientific Coordinator at the Vienna Graduate School
in Computational Optimization
Message-ID: <988dc1a9-5143-cd56-3146-3dece6fae5a5@univie.ac.at>
Content-Type: text/plain; charset=utf-8; format=flowed

The *Vienna Graduate School in Computational Optimization (VGSCO)*
offers a contract for a Scientific Coordinator (PostDoc Assistant). The
position is meant to provide a young scientist in the years after
obtaining a PhD with support to broaden and deepen his/her research
agenda. Applicants should have successfully completed their PhD in
Mathematics, Statistics, Computer Science or a related field with
excellent results or close to it. He/she will complement research areas
pursued at VGSCO and will conduct original research independently.
He/she will participate in the Graduate School's teaching, research and
administrative activities and contribute to linking the Graduate School
with the national and international scientific community, cooperating
with other academic departments/institutions and supporting PhD
students. He/She administrates the series of guest lectures and
workshops and actively participates in the selection process of Visiting
Professors. Experience in teaching and administration at university is
of advantage. Employment (40 hrs/week) is based on a 3-year contract.

The Vienna Graduate School on Computational Optimization is a joint
initiative between the University of Vienna, the TU Wien and the
Austrian Institute of Science and Technology (IST) funded by the
Austrian Science Fund (FWF). The goal of the Graduate School is to give
the PhD candidates a comprehensive education in many aspects of
optimization including modeling, theory and implementation. It is
intended to cover by the research topics the broad scope of
Theory-Algorithms-Applications. In addition to the main scientific
goals, other skills will be trained such as efficient literature search,
writing scientific papers, presentation of results, the transformation
of mathematical ideas into working algorithms, understanding the
peculiar problems of application areas and putting them into a
mathematical formulation. In the long term we will foster collaboration
between the members and their respective institutions in order to make
Vienna a place of excellence in Computational Optimization. For more
information, visit our website at http://vgsco.univie.ac.at

Profile:

The successful applicant has an excellent background in Computational
Optimization and should demonstrate a strong interest in research in
that field. He/She has a record of innovative research papers that aim
to be published in top general interest and field journals. He/She is
able to comprehend complex issues and communicate them in a structured
way. He/She likes to work in an international team and is interested
also transporting research standards to PhD students and introducing
them into the scientific network.

Required documents for a successful application include:

·Completed PhD thesis and degree (certificate and transcripts)

·Motivation letter expressing the candidate's visions and expectations

·CV including scientific interests, publications and scientific
achievements

·A minimum of 2 recommendation letters

·Excellent command of written and spoken English

(knowledge of other languages is an asset)

·Skype address for a possible interview

Applications should be submitted via email to vgsco@univie.ac.at
<mailto:vgsco@univie.ac.at>

Deadline for applications is *November 25, 2016*.

Please note that incomplete applications will not be considered.

For further information, please contact Prof. Georg Pflug at the
Department of Statistics and OR, University of Vienna, at
vgsco@univie.ac.at <mailto:vgsco@univie.ac.at>

As part of the university we pursue a non-discriminatory employment
policy and value equal opportunities, as well as diversity
(http://diversity.univie.ac.at). The university lays special emphasis on
increasing the number of women in senior and in academic positions.
Given equal qualifications, preference will be given to female applicants.

------------------------------

Message: 2
Date: Fri, 21 Oct 2016 13:43:49 +0200
From: Wolfler <roberto.wolfler@lipn.univ-paris13.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Special Issue of Networks: Vehicle Routing and
Logistic, Submission deadline: November 15, 2016
Message-ID:
<959b8caa381cab851119bb4af6fb61c0@lipn-imap1.lipn.univ-paris13.fr>
Content-Type: text/plain; charset=UTF-8

Call for Papers

Special Issue of_ Networks_:

Logistic and Vehicle Routing

Guest Editors:
Roberto Wolfler Calvo

LIPN, Laboratoire d'Informatique de Paris Nord,

Université Paris13, Villetaneuse, France

Roberto Baldacci

DEIS, Department of Electronics, Computer Sciences and Systems,
University of Bologna, Italy

Lucas Letocart

LIPN, Laboratoire d'Informatique de Paris Nord,

Université Paris13, Villetaneuse, France

SUBMISSION DEADLINE: NOVEMBER 15, 2016

EXPECTED PUBLICATION DATE: EARLY 2018

ROUTE is a biennial series of international workshops and provides a
high quality forum for recent developments, trends and advances in the
theory, practice and application of mathematical models and optimization
methodologies in the field of Transportation with a special focus on
Routing. This year's ROUTE was held in Rambouillet , France from June 1
to 4 2016 and brought together around 30 academics, researchers, and
practitioners from more than 10 countries.
In connection with the activities of ROUTE 2016, this special issue on
"Vehicle Routing" invites both theoretical and methodological
contributions towards the design and development of innovative solution
approaches (exact, heuristic, and matheuristic approaches) to address
challenging logistic problems with a particular focus, but not
exclusively, on vehicle routing problems (new models and problem
formulations).

Submissions are open to all, not only to ROUTE 2016 participants.

All contributions will be peer reviewed according to the usual standards
of the journal. Please submit your manuscript at wolfler@lipn.fr.

For further information on the special issue, please contact the Guest
Editors, Roberto Wolfler Calvo (wolfler@lipn.fr), Roberto Baldacci
(r.baldacci@unibo.it) and Lucas Létocart (letocart@lipn.fr).

------------------------------

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 104, Issue 20
***************************************

dmanet Digest, Vol 104, Issue 19

Send dmanet mailing list submissions to
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. Assistant prof.position, TU Graz, Austria (Wolfgang Woess)
2. FM 2016: 21st International Symposium on Formal Methods --
Call for Participation (Announce Announcements)

----------------------------------------------------------------------

Message: 1
Date: Wed, 19 Oct 2016 14:13:20 +0200 (CEST)
From: Wolfgang Woess <woess@tugraz.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Assistant prof.position, TU Graz, Austria
Message-ID:
<alpine.DEB.2.11.1610190924330.30635@olperer.math.tu-graz.ac.at>
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII

Open position - Assistant Professor with PhD
maternity substitution, expected for 1 year
Graz University of Technology
Institute of Discrete Mathematics
Working Group Structure Theory and Stochastics

Starting date: January 1st 2017.
Requirements: PhD or equivalent university degree in
Mathematics, awarded before the beginning of the engagement.
Desired qualifictations: scientific work in the fields
of Stochastic Processes (random walks), Graph Theory,
Geometric Group Theory, possibly combining those topics;
in particular stochastic and deterministic aggregation
models. Readiness to collaborate in research projects
in these areas.
Teaching duties of at least 4 hours per week per semester,
in particular for Mathematics in the Engineering sciences,
in German (!).

Deadline for applications: November 10, 2016.
For details regarding position and applications, see
http://www.math.tugraz.at/~woess/position

Graz, October 2016, Wolfgang Woess

Institut fuer Diskrete Mathematik,
Technische Universitaet Graz,
Steyrergasse 30, A-8010 Graz, Austria
Tel: ++43 (0)316 8737130
Mobile: ++43 (0)664 60 8737130
Fax: ++43 (0)316 8734507
email: woess@TUGraz.at
http://www.math.TUGraz.at/~woess

------------------------------

Message: 2
Date: Wed, 19 Oct 2016 16:17:52 +0300
From: Announce Announcements <announce@cs.ucy.ac.cy>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] FM 2016: 21st International Symposium on Formal
Methods -- Call for Participation
Message-ID: <ERGVJE4D-5BUY-ZBIV-3P4F-CFYQV7KCTOLA@cs.ucy.ac.cy>
Content-Type: text/plain; charset=iso-8859-1; format=flowed

----------------------------------------------------------------------------------
**** CALL FOR PARTICIPATION ****
FM 2016: 21st International Symposium on Formal Methods
Limassol, Cyprus, 7-11 November 2016
fm2016.cs.ucy.ac.cy
Early Registration Deadline: 6 October 2016
----------------------------------------------------------------------------------

FM 2016, the 21st International Symposium on research and practice in Formal Methods, will be held this year on the ancient and beautiful Mediterranean island of Cyprus. Every 18 months, the FM symposium attracts practitioners and researchers from industry and academia to present and discuss the most recent results and experience in formal methods. Those who join us in Cyprus this year will enjoy a highly selective programme of papers covering the broad range of formal methods, as well as a featured track on industry practice. Workshops will provide an opportunity to work in smaller groups on current challenges; tutorials will allow the acquisition of new skills; and a doctoral symposium will offer advice and encouragement to researchers just beginning their careers in this exciting and rapidly evolving field.
The conference will take place in Limassol, Cyprus. Limassol is the second largest city in Cyprus. It is located on the south coast of the island, between the ancient towns of Amathus and Kourion. Limassol is renowned for its extensive cultural traditions, and it offers a wide spectrum of activities and a number of museums and archaeological sites to the interested visitor. Indeed, this richly cultured, cosmopolitan, seaside city has become one of the most important tourism destinations in Cyprus. The venue of the summer school will be the 5-star St. Raphael Resort, located on one of the most renowned and largest beaches, only a short coastal drive from the lively centre of Limassol.

REGISTRATION
You can register at the FM 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZG1hbmV0CQkJZG1hbmV0QHpwci51bmkta29lbG4uZGUJRk0gMjAxNjogMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAtLSBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTgyCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fregistration.html

HIGHLIGHTS
- 44 regular papers and ten short papers reflecting the current state of research and practice in formal methods, including a track on industry practice
- Three world-class keynote speakers
- A Doctoral Symposium, six specialist workshops and eight tutorials
- Presentation of the first FME Lucas Award for a Highly Influential Publication
- Launch of Springer's new LNCS Formal Methods subline

KEYNOTE SPEAKERS
- Manfred Broy, Technical University of Munich, Germany
- Peter O'Hearn, University College London and Facebook, UK
- Jan Peleska, University of Bremen and Verified Software International, Germany

WORKSHOPS (http://fm2016.cs.ucy.ac.cy/workshops.html)
- ESSS 2016: 5th International Workshop on Engineering Safety and Security Systems
- F-IDE 2016: 3rd Workshop on Formal Integrated Development Environment
- FM-Priv 2016: 1st Workshop on Formal Methods for Privacy
- Overture 2016: 14th Overture Workshop
- TLA+ 2016: International Workshop on the TLA+ Method and Tools
- USE 2016: 2nd Workshop on Usages of Constraint Solving and Symbolic Execution

DOCTORAL SYMPOSIUM (http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html)
This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics.
- Keynote Speaker: John S. Fitzgerald, Newcastle University, UK

TUTORIALS (http://fm2016.cs.ucy.ac.cy/tutorials.html )
- Abstraction and Rely/Guarantee Thinking
Tutors: Cliff Jones, Newcastle University, UK; Ian Hayes, University of Queensland, AU
- Compositional Verification using AADL and the Assume Guarantee Reasoning Environment (AGREE)
Tutor: Michael Whalen, University of Minnesota, USA
- Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools
Tutors: John Fitzgerald, Newcastle University, UK; Peter Gorm Larsen, Aarhus University, DK; Jim Woodcock, University of York, UK; Ken Pierce, Newcastle University, UK; Simon Foster, University of York, UK
- First-Order Theorem Proving and Vampire
Tutors: Laura Kovacs, Chalmers University of Technology, SE; Andrei Voronkov, University of Manchester, UK
- KeYmaera X Tutorial - Tactics and Proofs for Cyber-Physical Systems
Tutors: Stefan Mitsch, Carnegie Mellon University, USA; Nathan Fulton, Carnegie Mellon University, USA; André Platzer, Carnegie Mellon University, USA
- Modelling and Analysis of Collective Adaptive Systems
Tutors: Jane Hillston, University of Edinburgh, UK; Michele Loreti, Università di Firenze, IT
- Session Types for Concurrent and Distributed Programming: Principles and Practice
Tutors: Raymond Hu, Imperial College London, UK; Jorge A. Pérez, University of Groningen, NL; Nobuko Yoshida, Imperial College London, UK
- The CProver Suite of Verication Tools
Tutors: Daniel Kroening, University of Oxford, UK; Martin Brain, University of Oxford, UK; Peter Schrammel, University of Sussex, UK

ACCEPTED PAPERS (Research Track)
Li Li, Jun Sun and Jin Song Dong. Automated Verification of Timed Security Protocols with Clock Drift
Victor B. F. Gomes and Georg Struth. Modal Kleene Algebra Applied to Program Correctness
Artem Khyzha, Alexey Gotsman and Matthew Parkinson. A Generic Logic for Proving Linearizability
Antonio E. Flores Montoya. Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations
Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter and Andrius Velykis. An algebra of synchronous atomic steps
Zhe Hou, David Sanan, Alwen Tiu, Yang Liu and Koh Chuen Hoa. An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for The LEON3 Processor
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva and David ?afránek. A Model Checking Approach to Discrete Bifurcation Analysis
Mahieddine Dellabani, Saddek Bensalem, Jacques Combaz and Marius Bozga. Local Planning of Multiparty Interactions with a Bounded Horizon
Adel Djoudi, Sébastien Bardin and Éric Goubault. Recovering high-level conditions from binary programs
Thomas Letan, Pierre Chifflier, Guillaume Hiet, Benjamin Morin and Ludovic Mé. SpecCert: Verifying Hardware-based Security Enforcement
Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews and Thomas Tuerk. Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor
Dimitra Giannakopoulou, Dennis Guck and Johann Schumann. Exploring Model Quality for ACAS X
Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening and Tom Melham. Equivalence Checking of a Floating-point Unit Against a High-level C Model
Yusuke Kawamoto, Fabrizio Biondi and Axel Legay. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow
Bat-Chen Rothenberg and Orna Grumberg. Sound and Complete Mutation-Based Program Repair
Miran Hasanagic, Peter Gorm Larsen, Peter W. V. Tran-Jørgensen and Kenneth Lausdahl. Formalising and Validating the Interface Description in the FMI standard
Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin and Zhiming Liu. A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems
Ofer Strichman and Maor Veitsman. Regression Verification for unbalanced recursive functions
Cristina David, Pascal Kesseli, Daniel Kroening and Matt Lewis. Danger Invariants
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang and Naijun Zhan. Approximate Bisimulation and Discretization of Hybrid CSP
Tsutomu Kobayashi, Fuyuki Ishikawa and Shinichi Honiden. Refactoring Refinement Structures of Event-B Machines
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun and Jingyi Wang. Towards Concolic Testing for Hybrid Systems
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad and Naijun Zhan. Validated Simulation-Based Verification of Delayed Differential Dynamics
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo and Wei-Ngan Chin. Automated Mutual Explicit Induction Proof in Separation Logic
Stanislav Böhm, Ond?ej Meca and Petr Jancar. State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI
Christoph-Simon Senjak and Martin Hofmann. An Implementation of Deflate in Coq
Gudmund Grov, Yuhui Lin and Vytautas Tumas. Mechanised Verification Patterns for Dafny
Heinrich Ody, Martin Fränzle and Michael R. Hansen. Discounted Duration Calculus
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng and Harald Ruess. Compositional Parameter Synthesis
Ori Lahav and Viktor Vafeiadis. Explaining Relaxed Memory Models with Program Transformations
Amirhossein Vakili and Nancy Day. Finite Model Finding Using the Logic of Equality with Uninterpreted Functions
Saksham Chand, Annie Liu and Scott Stoller. Formal Verification of Multi-Paxos for Distributed Consensus
Aleksandar S. Dimovski, Claus Brabrand and Andrzej Wasowski. Finding Suitable Variability Abstractions for Family-Based Analysis
Anton Wijs, Thomas Neele and Dragan Bosnacki. GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking
Pedro Antonino, Thomas Gibson-Robinson and Bill Roscoe. Tighter Reachability Criteria for Deadlock-Freedom Analysis
Yuqi Chen, Christopher M. Poskitt and Jun Sun. Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
Gilles Nies, Holger Hermanns, Marvin Stenger, Morten Bisgaard, David Gerhardt and Jan Kr?ál. Battery-Aware Scheduling in Low Orbit: The GomX-3 Case
Alessandro Cimatti, Sergio Mover and Mirko Sessa. From Electrical Switched Networks to Hybrid Automata
Claudio Menghi, Paola Spoletini and Carlo Ghezzi. Dealing with Incompleteness in Automata-based Model Checking
Parosh Aziz Abdulla, Mohamed Faouzi Atig and Bui Phi Diep. Counter-Example Guided Program Verification
Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson. Decoupled simulating abstractions of non-linear ordinary differential equations
Georgios Giantamidis and Stavros Tripakis. Learning Moore Machines from Input-Output Traces
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher and Thomas Wies. Error Invariants for Concurrent Traces

ACCEPTED PAPERS (Industry Track - http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZG1hbmV0CQkJZG1hbmV0QHpwci51bmkta29lbG4uZGUJRk0gMjAxNjogMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAtLSBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTgyCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fcfpindustrytrack.html%29
Teodor Stoenescu, Alin Stefanescu, Sorina Predut and Florentin Ipate. RIVER: A Binary Analysis Framework using Symbolic Execution and Reversible x86 Instructions
Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna and Stefano Tonetta. Model-Based Design of an Energy-System Embedded Controller using Taste
Bjørnar Luteberget, Christian Johansen, Claus Feyling and Martin Steffen. Rule-based Incremental Verification Tools Applied to Railway Designs and Regulations
Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu and Jiaguang Sun. Taming Interrupts For Verifying Industrial Multifunction Vehicle Bus Controllers
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz and Henrik Lönn. Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems
Yu Jiang, Han Liu, Hui Kong, Houbing Song, Ming Gu, Jiaguang Sun and Lui Sha. Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller

------------------------------

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 104, Issue 19
***************************************

dmanet Digest, Vol 104, Issue 18

Send dmanet mailing list submissions to
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 EvoSET (Sara Silva)

----------------------------------------------------------------------

Message: 1
Date: Tue, 18 Oct 2016 12:34:22 +0100
From: Sara Silva <sara4silva5@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP EvoSET
Message-ID:
<CAE35Z0RbrGs+bRqLrJN9=Gd1o0eTCQjL4AMiBS5Dk4qD-gDHzA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

*************************************************************
evoSET - Nature-inspired algorithms in Software Engineering and Testing

Amsterdam, The Netherlands, 19 to 21 April 2017
A NEW track of EvoApplications, part of Evo* 2017
www.evostar.org

Submission Deadline: 1 November 2016

AN EXTENDED VERSION OF THE BEST
EvoAPPLICATIONS PAPERS WILL BE
PUBLISHED IN A SPECIAL

ISSUE OF THE
*MEMETIC COMPUTING JOURNAL* (2015 Impact Factor: 0.9)

*************************************************************

Dear colleague,
We are pleased to announce the launch of evoSET, a new track within the
evoAPPLICATIONS Conference, part of the evo* event, www.evostar.org.

* Aims and scope
We seek both theoretical developments and applications of Computational
Intelligence to the design, the development, operation, and maintenance of
software, with particular focus on testing for security and reliability.
All bio-inspired computational paradigms are welcome, mainly Genetic and
Evolutionary Computation, including Multi-Objective Approaches, but also
Fuzzy Logic, Intelligent Agent Systems, Neural Networks, Cellular Automata,
Artificial Immune Systems, Swarm Intelligence and others, including hybrids.

Topics include but are not limited to:
* Requirements engineering
* Automated design and development of software
* Search-based software engineering
* Software reliability, testing and security
* Software maintenance and self-repair
* Software effort estimation and fault prediction
* Genetic improvement of software
* Real world applications of the above

* Submission Details

Submissions must be original and not published elsewhere. They will be
peer reviewed by at least three members of the program committee. The
reviewing process will be double-blind, so please omit information about
the authors in the submitted paper. Submit your manuscript in Springer
LNCS format (limit: 16 pages). Please provide *up to five keywords* in
your Abstract.

Submission link: https://myreview.saclay.inria.fr/evoapps17/

* EvoSET Chairs:
Anna I Esparcia-Alcázar, Universitat Politècnica de València, Spain
Sara Silva, Universidade de Lisboa, Portugal

*************************************************************

------------------------------

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 104, Issue 18
***************************************

dmanet Digest, Vol 104, Issue 17

Send dmanet mailing list submissions to
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. Workshop "Combinatorial Optimization meets Parameterized
Complexity" in Bonn (Dec 13-14) (Stefan Kratsch)
2. CFP EvoENERGY 2017 at Evo* (Paul Kaufmann)
3. 40ACCMCC: Early bird registration until 1st November
(Thomas Kalinowski)
4. Postdoc position in Montpellier, France (Vincent Berry)
5. CPAIOR 2017 Second CfP - Integration of AI, OR and CP for
optimization (Michele Lombardi)

----------------------------------------------------------------------

Message: 1
Date: Mon, 17 Oct 2016 15:47:34 +0200
From: Stefan Kratsch <kratsch@cs.uni-bonn.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Workshop "Combinatorial Optimization meets
Parameterized Complexity" in Bonn (Dec 13-14)
Message-ID: <1055449f-1ede-a965-c9cd-ced99345ec86@cs.uni-bonn.de>
Content-Type: text/plain; charset=utf-8; format=flowed

You are cordially invited to participate in the workshop "Combinatorial
Optimization meets Parameterized Complexity" in Bonn on the 13th and
14th of December 2016.

The core of the program is formed by survey talks on topics from
parameterized complexity (Dec 13) and combinatorial optimization (Dec
14). Additionally, there will be a small number of shorter contributed
talks. We are delighted to announce the following invited speakers for
the survey talks:

> Fabrizio Grandoni (IDSIA, Lugano)
> Tobias Harks (Universität Augsburg)
> Bart Jansen (Eindhoven University of Technology)
> Erik Jan van Leeuwen (Max-Planck-Institut für Informatik, Saarbrücken)
> Volker Kaibel (Otto-von-Guericke-Universität Magdeburg)
> Lukasz Kowalik (University of Warsaw)
> Peter Rossmanith (RWTH Aachen)
> Gerhard Woeginger (RWTH Aachen)

Participation is free of charge, but we would like you to register on

http://tcs.cs.uni-bonn.de/doku.php?id=research:workshop2016

even if you cannot attend the entire workshop (so that we can order
enough coffee). Details on how to register will be made available soon,
along with a detailed program. The tentative times of the workshop are
9:30 to 17:30 on December 13 and 9:30 to 15:30 on December 14.

The workshop will take place at Universitätsclub Bonn. The venue is
located at Konviktstraße 9, 53113 Bonn.

We are looking forward to meeting you in Bonn!

Britta Peis, Heiko Röglin, and Stefan Kratsch

------------------------------

Message: 2
Date: Mon, 17 Oct 2016 22:54:16 +0200
From: Paul Kaufmann <paul.kaufmann@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP EvoENERGY 2017 at Evo*
Message-ID:
<CAC=45nn4xhsj7o+-QgcFWb+k_uqhWUG-17hD=_zVh3c9GYVAsg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

Submission deadline: November 1st, 2016

EvoENERGY 2017, 19 - 21 April, Amsterdam, The Netherlands

The EvoENERGY track is part of EvoApplications, the European Conference
on the Applications of Evolutionary Computation
(http://www.evostar.org/), to be held in Amsterdam, The Netherlands.

INTRODUCTION

Along with the worldwide incentive to reduce fossil and nuclear based power
generation, the number of distributed generators and other forms of
distributed energy resources which are installed in power networks has been
steadily increasing over the last years. This increased integration has
triggered a transformation of the energy system and challenges the
conventional operation of these networks.

On a network level, this transformation requires new control and
communication approaches, to guarantee the security of energy supplies as
well as an optimal exploitation of available resources. On a generator
level, advanced control strategies as well as morphological optimization
(e.g., tuning of wind-blade design) can help to assure an optimal
performance of the generator.

EvoEnergy is intended as a platform for new, innovative computational
intelligence and nature-inspired techniques in the domain of energy-related
optimization research. We seek contributions ranging from new control
concepts for decentralized generation, strategies for their coordination in
the network to the morphological optimization of distributed generators.

TOPICS

Topics of interest include, but are not limited to:

- management and prediction of distributed generation, storage and
consumption
- evolutionary design and morphological optimization in energy systems
- advanced distribution management system functionalities
- Smart Grid planning, monitoring, operation and control
- distributed optimization in energy networks
- demand side management
- novel methods for network restoration

PUBLICATION AND SUBMISSION DETAILS

Accepted papers will appear in the proceedings of EvoStar, published in a
volume of the Springer Lecture Notes in Computer Science, which will be
available at the Conference.

Submissions must be original and not published elsewhere. The submissions
will be peer reviewed by at least three members of the program committee.
The authors of accepted papers will have to improve their paper on the
basis of the reviewers comments and will be asked to send a camera ready
version of their manuscripts. At least one author of each accepted work has
to register for the conference and attend the conference and present the
work. The reviewing process will be double-blind, please omit information
about the authors in the submitted paper.

Submission format: Springer LNCS
Page limit: 16 pages
Submission page: http://www.evostar.org/

IMPORTANT DATES

Submission Deadline: 1 November 2016
Notification: 9 January 2017
Camera-ready: 25 January 2017
EvoStar dates: 19 - 21 April 2017

TRACK CHAIRS

Paul Kaufmann, University of Paderborn, paul.kaufmann(at)gmail.com
Kyrre Glette, University of Oslo, kyrrehg(at)ifi.uio.no

------------------------------

Message: 3
Date: Tue, 18 Oct 2016 09:42:36 +1100
From: Thomas Kalinowski <thomas.kalinowski@newcastle.edu.au>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] 40ACCMCC: Early bird registration until 1st November
Message-ID:
<CAPqT5HqsQ-c_2BzWLkRNQfeW6CPPTOY5otdiJjR=otUgxAEXcQ@mail.gmail.com>
Content-Type: text/plain; charset="UTF-8"

40ACCMCC: The 40th Australasian Conference on Combinatorial
Mathematics & Combinatorial Computing
Date: 12-16 December 2016
Venue: The University of Newcastle, Newcastle, Australia
Website: https://40accmcc.newcastle.edu.au/

Early-bird registration: until 1st November
Abstract submission deadline: 18th November
Registration closes: 25th November

ACCMCC, the Australasian Conference on Combinatorial Mathematics and
Combinatorial Computing, is the annual conference of the Combinatorial
Mathematics Society of Australasia. This year it will be held at the
University of Newcastle, Australia. The conference covers all areas of
combinatorics in mathematics and computer science.

The following people will be giving invited talks.

- Nathan Clisby, University of Melbourne
- Amy Glen, Murdoch University
- Bojan Mohar, Simon Fraser University
- Florian Pfender, University of Colorado Denver
- Dana Randall, Georgia Institute of Technology
- Bruce Reed, National Institute of Informatics, Tokyo
- Benny Sudakov, ETH Zurich
- Geoff Whittle, University of Wellingtton

Attendees (especially students) are invited to give contributed talks.
Contributed talks are 20 minutes in length with an additional 5
minutes for questions. The CMSA Student Prize will be awarded to the
best student talk at the conference.

Just after the conference, on the 16th and 17th of December, there
will be a workshop on Applied Probability, Combinatorics and
Optimisation at the same venue with invited talks by

- Jerzy Filar, Flinders University,
- Dana Randall, Georgia Institute of Technology
- Nick Wormald, Monash University

--
Thomas Kalinowski
School of Mathematical & Physical Sciences
University of Newcastle
Callaghan, NSW 2308

Tel: +61 2 4921 6558
Fax: +61 2 4921 6898

------------------------------

Message: 4
Date: Tue, 18 Oct 2016 09:29:22 +0200
From: Vincent Berry <vberry@lirmm.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoc position in Montpellier, France
Message-ID: <8388388C-7821-47E6-B290-19D35156FA5B@lirmm.fr>
Content-Type: text/plain; charset=utf-8

Dear colleagues,
due to a date error, we post again this proposal, extending the deadline for applications.

The LIRMM (http://www.lirmm.fr/lirmm_eng <http://www.lirmm.fr/lirmm_eng> <http://www.lirmm.fr/lirmm_eng <http://www.lirmm.fr/lirmm_eng>>), and ISE-M (http://www.isem.univ-montp2.fr/?lang=en <http://www.isem.univ-montp2.fr/?lang=en> <http://www.isem.univ-montp2.fr/?lang=en <http://www.isem.univ-montp2.fr/?lang=en>>) at Université de Montpellier, France, invite applications for an 18 month post-doctoral position in computational biology.

Context:
The research will take place in the context of a project bringing together specialists in computer science, applied mathematics and agronomy, to make use of the recent production of crop reference genomes. Such resources open opportunities to more efficient use of plant diversity in breeding programs. The full exploitation of these data requires development of new theoretical models and methods, as well as new bioinformatic tools. The successful candidate will closely collaborate with Celine Scornavacca (ISE-M), Fabio Pardi & Vincent Berry (LIRMM), and will benefit from the strong research environment of an internationally acknowledged site in computational biology and biomathematics (IBC), Computer Science (LIRMM) and Agronomy (CGIAR, Agropolis).

Objectives of the research:
Current crop genomes usually derive from a few domesticated ancestors that mainly follow a tree-like evolution, but subject to some hybridization events (recombination between different varieties). The history of these genomes is thus represented by a network (directed acyclic graph), rather than by a simple tree. Different parts of a same genome can hence have different ancestral origins, according to the paths they followed inside the network, leading to a composite structure of the genome. The project aims at recovering the "phylogenetic" network from the structure of current plant genomes. This implies extending current tree inference / interpretation models and algorithms, and then applying the developed methodologies to genome-wide data.

Qualifications:
Candidates should have a PhD degree or equivalent. Previous postdoc experience is a plus. Candidates can be from different backgrounds: computational biology, computer science, or biomathematics (maximum likelihood optimization or statistics applied to evolutionary models). No deep knowledge of biology is required, as the necessary information will be acquired during the project. The candidates should be familiar with some techniques from the following areas: mathematical modeling, algorithmics, parameterized complexity, data structures, maximum likelihood, optimization and graph combinatorics.

Required qualities:
- Rigor, sense of initiative.
- Appeal for solving real problems and for interdisciplinary work.
- Communication skills (written and verbal) in English. Prior knowledge of French is not required.
- Programming skills are mandatory, though local engineers and students will back the successful candidate.

Salary and terms of employment:
The appointment will be based on the standards at Université de Montpellier, ensuring a net month salary of 2130€, which is largely adequate to the cost of living in Montpellier.

Workplace and period of employment:
The workplace is the main campus at Université de Montpellier (Triolet Campus), at 10mn by tram from the historical city center, and 15km from the Mediterranean Sea.
Expected start date of the contract is ***between November and December 2016***, but a slightly later start date may be negotiated. The position is intended for 18 months.

Deadline for application: Friday October 28, 2016.
Applications must be submitted as one PDF file containing all materials to be given consideration. The file must include: application cover letter, CV, PhD diploma, list of references, list of publications.

------------------------------

Message: 5
Date: Tue, 18 Oct 2016 12:03:33 +0200
From: Michele Lombardi <michele.lombardi2@unibo.it>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CPAIOR 2017 Second CfP - Integration of AI, OR and
CP for optimization
Message-ID: <etPan.5805f375.1e726c0e.ca4d@unibo.it>
Content-Type: text/plain; charset="utf-8"

=============================================
CPAIOR 2017, Call for Papers

Padova, June 5-8 2017 
http://cpaior2017.dei.unipd.it/

[Apologies for cross-posting]
=============================================

General Information
-------------------

The Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming will be held in Padova, Italy, June 5 - 8, 2017, with a Master Class on "Computational Techniques for Combinatorial Optimization" on June 5, and the Main Conference on June 6 - 8, 2017.

The aim of the conference is to bring together interested researchers from Constraint Programming (CP), Artificial Intelligence (AI), and Operations Research (OR) to present new techniques or applications in combinatorial optimization and to provide an opportunity for researchers in one area to learn about techniques in the others.

A main objective of this conference series is also to give these researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.

Therefore papers that actively combine, integrate, or contrast approaches from more than one of the areas are especially solicited. High quality papers from a single area are also welcome, provided that they are of interest to other communities involved. Application papers showcasing CP/AI/OR techniques on novel and challenging applications or experience reports on such applications are strongly encouraged.

The program committee invites submissions that include but are not limited to the following topics:

* Inference and relaxation methods: constraint propagation, cutting planes, global constraints, graph algorithms, dynamic programming, Lagrangian and convex relaxations, heuristic functions based on relaxations. 
* Search methods: branch and bound, intelligent backtracking, incomplete search, randomized search, portfolios, column generation, Benders decomposition or any other decomposition methods, local search and meta­heuristics
* Integration of machine learning and optimization: learning-based search and heuristics, use of predictive models in optimization, constraint acquisition, optimization for training machine learning models
* Integration methods: solver communication, model transformations and solver selection, parallel and distributed resolution techniques, models, and solvers. 
* Modeling methods: comparison of models, symmetry breaking, uncertainty, dominance relationships. 
* Innovative Applications of CP/AI/OR techniques. 
* Implementation of CP/AI/OR techniques and optimization systems.

More information is available on the conference web site: http://cpaior2017.dei.unipd.it/

Important Dates
---------------

* Abstract submission deadline: 14 Nov
* Paper submission deadline: 21 Nov
* Rebuttal period: 20-23 Dec
* Final notification: 16 Jan
* Camera-ready version: 31 Jan

Submission process and formats
------------------------------

Paper submissions are of two types:

* Long papers (15 pages, plus references)
* Short papers (8 pages, plus references)

The conference proceedings will be published on the LNCS series.

Additionally, outstanding submissions to the technical program will be offered the opportunity to be published exclusively through a "fast track" process in the "Constraint" Journal. Journal fast track paper will still be regularly presented at the conference.

All papers are to be submitted electronically in PDF format via easychair:

    https://easychair.org/conferences/?conf=cpaior2017

Authors should follow the submission instructions on the conference website. In the particular, they should comply with the required format (LNCS style) and page limits.

For any queries on the submission process, please contact the program chairs at dominiqs@gmail.com and michele.lombardi2@unibo.it

Organization
------------

* Program chairs:
  - Domenico Salvagnin (DEI, University of Padova), http://www.dei.unipd.it/~salvagni/
  - Michele Lombardi (DISI, University of Bologna), http://ai.unibo.it/people/MicheleLombardi

* Conference chair:
  - Domenico Salvagnin (DEI, University of Padova), http://www.dei.unipd.it/~salvagni/

* Program Committee:
  - Chris Beck, University of Toronto
  - David Bergman, University of Connecticut
  - Timo Berthold, Fair Isaac Germany GmbH
  - Hadrien Cambazard, Grenoble INP
  - Andre A. Cire, University of Toronto
  - Matteo Fischetti, University of Padova
  - Bernard Gendron, Université de Montréal
  - Ambros Gleixner, Zuse Institute Berlin
  - Carla Gomes, Cornell University
  - Tias Guns, KU Leuven
  - John Hooker, Tepper School of Business, Carnegie Mellon University
  - Matti Järvisalo, University of Helsinki
  - Serdar Kadioglu, Oracle Corporation
  - Philip Kilby, Australia National University
  - Joris Kinable, Carnegie Mellon University
  - Jeff Linderoth, University of Wisconsin-Madison
  - Andrea Lodi, École Polytechnique de Montréal
  - Ines Lynce, Instituto Superior Técnico, Lisboa
  - Laurent Michel, University of Connecticut
  - Michela Milano, University of Bologna
  - Michele Monaci, University of Bologna
  - Siegfried Nijssen, UC Louvain
  - Barry O'Sullivan, University College Cork, Insight center
  - Claude-Guy Quimper, Université Laval
  - Jean-Charles Régin, Université de Nice-Sophia Antipolis
  - Louis-Martin Rousseau, École Polytechnique de Montréal
  - Ashish Sabharwal, Allen Institute for Artificial Intelligence
  - Scott Sanner, University of Toronto
  - Pierre Schaus, UC Louvain
  - Christian Schulte, KTH Royal Institute of Technology
  - Helmut Simonis, University College Cork
  - Christine Solnon, INSA Lyon
  - Peter-J. Stuckey, University of Melbourne
  - Michael Trick, Carnegie Mellon University
  - Pascal Van-Hentenryck, University of Michigan
  - Willem-Jan Van-Hoeve, Tepper School of Business, Carnegie Mellon University
  - Sicco Verwer, Delft University of Technology
  - Toby Walsh, University of New South Wales and Data61
  - Alessandro Zanarini, ABB CRC
  - Yingqian Zhang, TU Eindoven

------------------------------

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 104, Issue 17
***************************************