Monday, February 29, 2016

dmanet Digest, Vol 96, Issue 36

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: COCOON'16: The 22nd International Computing and
Combinatorics Conference (AI, CHUNYU)
2. Data Science in Optimisation Stream at EURO 2016 (Poznan, 3-6
July) (Andrew J Parkes)
3. TAMC 2016 - Paper submission deadline Mar. 6, 2016 (Sun,Xiaoming)
4. IPCO 2016: Call for Poster Presentations (Martin Skutella)
5. ICITS 2016 (9th International Conference on Information
Theoretic Security)- CFP (Ignacio Cascudo Pueyo)


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

Message: 1
Date: Sun, 28 Feb 2016 16:58:28 +0000
From: "AI, CHUNYU" <AIC@uscupstate.edu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CFP: COCOON'16: The 22nd International Computing and
Combinatorics Conference
Message-ID: <D2F89165.D94C%aic@uscupstate.edu>
Content-Type: text/plain; charset="us-ascii"

COCOON'16: The 22nd International Computing and Combinatorics Conference

August 2-4th, 2016, Ho Chi Minh city, Vietnam.

Submission deadline: Mar. 03, 2016

Web: http://optnetsci.cise.ufl.edu/cocoon16/index.html

=========================================

The 22nd International Computing and Combinatorics Conference (COCOON'16) will be held in Ho Chi Minh city, Vietnam during Aug. 2-4, 2016. 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.

All the papers will be published to the symposium in Springer-Verlag's Lecture Notes.

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

THE TOPICS Of INTEREST (include but are not limited to):

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: Mar. 03, 2016 (Anywhere on Earth)

Notification of Acceptance: Apr. 18, 2015

Camera-ready and Registration: May 01, 2016

Conference Dates: Aug. 2-4, 2016

PC Co-Chairs

My T. Thai, University of Florida

Thang N. Dinh, Virginia Commonwealth University


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

Message: 2
Date: Sun, 28 Feb 2016 21:59:21 +0000
From: Andrew J Parkes <andrew.parkes@nottingham.ac.uk>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Data Science in Optimisation Stream at EURO 2016
(Poznan, 3-6 July)
Message-ID: <56D36DB9.8020001@nottingham.ac.uk>
Content-Type: text/plain; charset=utf-8; format=flowed

Dear Colleagues,

For the upcoming EURO 2016 conference,
http://www.euro2016.poznan.pl/
you are invited to submit an abstract to the stream

"Data Science in Optimisation"

The scope of the stream is any method that improves, or aims to improve,
any optimisation methods using methods from data science.

Optimisation methods are meant in a very broad sense from heuristics in
systematic search methods, to meta-heuristics, to intelligent adaptive
search methods such as hyper-heuristics, or others.

Data science methods may include anything that uses statistical, machine
learning, data mining, analytics, forecasting, or other methods in order
to improve optimisation methods.

For example, topics may include, but are not limited to: parameter
tuning; automated generation of heuristics; adaptive metaheuristics, etc.

Submission requires only an abstract written in English and containing
no more than 1500 characters. (Each individual attendee is allowed to
present only one paper at the conference, but may be an author on
multiple submissions.)

Please use the web page for the submissions:

http://www.euro2016.poznan.pl/abstract-submission/
using invitation/session code a7cf2cd3

Regards
Patrick De Causmaecker
Ender Özcan
Andrew J. Parkes


This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it.

Please do not use, copy or disclose the information contained in this
message or in any attachment. Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.

This message has been checked for viruses but the contents of an
attachment may still contain software viruses which could damage your
computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as
permitted by UK legislation.

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

Message: 3
Date: Mon, 29 Feb 2016 12:28:06 +0800
From: "Sun,Xiaoming" <sunxiaoming@ict.ac.cn>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] TAMC 2016 - Paper submission deadline Mar. 6, 2016
Message-ID: <002501d172a9$9696cdc0$c3c46940$@ac.cn>
Content-Type: text/plain; charset="us-ascii"

The 13th Annual Conference on Theory and Applications of Models of
Computation

http://cs.xidian.edu.cn/tamc2016/

Xi'an, China July 20-22, 2016

Welcome to The 13th annual conference on Theory and Applications of Models
of Computation (TAMC), which will take place at Xi'an, China from 20th to
22nd, July, 2016. The event is supported by School of Computer Science and
Technology and School of Cyber Engineering, Xidian University.

Venue

Tangcheng Hotel

South Hanguang Road #229

Xi'an, China

All major events take place in this building. There is a fully equipped
lecture hall with a capacity for 200 attendees as well as a series of
lecture rooms, each of which can support 50 attendees. Of course, all
participants of TAMC-16 will have free internet access during the
conference.

Contact

Email:tamc@xidian.edu.cn

Important Dates

Submission deadline: 11:59 pm EST March 6, 2016

Notification of authors: May 6, 2016

Final versions deadline: May 22, 2016

Post Conference Publications

Special issues of the journals Theoretical Computer Science and Mathematical
Structures in Computer Science devoted to a selected set of accepted papers
of the conference are planned.

Submission of Papers

Authors should submit an extended abstract (not a full paper).

The submission should contain a scholarly exposition of ideas, techniques,
and results, including motivation and a clear comparison with related work.

The length of the extended abstract should not exceed ten (10) letter-sized
pages (not including bibliography and appendices.) Submitted papers must
describe work not previously published. They must not be submitted
simultaneously to another conference with refereed proceedings. Each PC
member is allowed to submit at most one paper. Research that is already
submitted to a journal may be submitted to TAMC16, provided that (a) the PC
chair is notified in advance that this is the case, and (b) it is not
scheduled for journal publication before the conference.

The submission server is now available at
https://www.easychair.org/conferences/?conf=tamc16.

Conference Chair

Jianfeng Ma (Xidian University)

Zhiyong Liu (Institute of Computing Technology, Chinese Academy of Sciences)

Programme Committee Chair

Jin-Yi Cai (University of Wisconsin)

Programme CommitteeCo-Chairs

Jiangtao Cui (Xidian University)

Xiaoming Sun (Institute of Computing Technology, Chinese Academy of
Sciences)

Steering Committee

Manindra Agrawal

Jin-Yi Cai

Barry Cooper

John Hopcroft

Angsheng Li

Zhiyong Liu

Local Organising Committee

Jianfeng Ma http://web.xidian.edu.cn/jfma/

Jiangtao Cui http://web.xidian.edu.cn/cuijt/

Hui Li http://web.xidian.edu.cn/hli/

Aims and Scope

TAMC 2016 aims at bringing together a wide range of researchers with
interests in computational theory and applications. The main themes of the
conference are computability, complexity, algorithms, models of computation
and systems theory. Typical but not exclusive topics of interest include:

Algebraic computation

Algorithmic coding theory

Algorithmic number theory

Approximation algorithms

Automata theory

Circuit complexity

Combinatorial algorithms computability

Computational biology, and biological computing

Computational complexity [including circuits, communication,
derandomization, PCPs, proof complexity, structural complexity]

Computational game theory

Computational logic

Computational geometry

Continuous and real computation

Cryptography

Data structures

Design and analysis of algorithms

Distributed algorithms

Domain models [Assets, Price of Abstraction, frameworks]

Fixed parameter tractability

Geometric algorithms

Graph algorithms

Information and communication complexity

Learning theory

Memory hierarchy tradeoffs

Model theory for computing [modal and temporal logics, specification,
verification, synthesis or automated software construction, aesthetics,
software behavior, transformation of models]

Natural computation

Nature inspired computing

Networks in nature and society

Network algorithms optimization

Online algorithms

Parallel algorithms

Philosophy of computing [emerging paradigms,morality, intentionality]

Privacy and security

Property testing

Proof complexity

Process models [for software construction, validating software under
construction, supply-chain]

Quantum computing

Randomness pseudorandomness

Randomized algorithms

Space - time tradeoffs

Streaming algorithms

Systems theory [Concurrent, Timed, Hybrid and Secure systems]

VLSI Models of Computation [Models for Hardware - Software Co-design]


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

Message: 4
Date: Mon, 29 Feb 2016 15:10:04 +0100
From: Martin Skutella <martin.skutella@tu-berlin.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] IPCO 2016: Call for Poster Presentations
Message-ID: <9DE835F7-AF78-40F4-83F5-D7C8F2B00FCA@tu-berlin.de>
Content-Type: text/plain; charset=utf-8

The 18th Integer Programming and Combinatorial Optimization conference to be held in Liège, Belgium from June 1 to June 3, 2016 will hold a poster session. The poster session is open to everybody but we particularly welcome posters from PhD students and Postdocs on research in any of the IPCO topics.

In order to present a poster, authors must email the following information to <mailto:q.louveaux@ulg.ac.be>q.louveaux@ulg.ac <mailto:q.louveaux@ulg.ac>.be by April 5, 2016:

Author(s)
Title
A short abstract
Name of participant presenting the poster (one of the authors)
Note that poster submissions are not refereed. However, the organizing committee reserves the right to turn down submissions deemed out of scope. Poster slots will be confirmed by April 11, 2016. If any slots remain, submissions received after the deadline may be considered at the discretion of the committee.


Please also note that a summer school will be organized before the conference on May 30-31 including Michel Goemans (MIT), Juan-Pablo Vielma (MIT) and Nicolas Stier-Moses (Facebook Core Data Science) as lecturers.

More information can be found on www.ipco2016.be <http://www.ipco2016.be/>

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

Message: 5
Date: Mon, 29 Feb 2016 14:20:39 +0000
From: Ignacio Cascudo Pueyo <ignacio@cs.au.dk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] ICITS 2016 (9th International Conference on
Information Theoretic Security)- CFP
Message-ID:
<2C25D71DB786154C8F4B0BB95651754D39B8A18C@SRVUNIMBX01.uni.au.dk>
Content-Type: text/plain; charset="Windows-1252"

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

ICITS 2016 - 9th International Conference on Information Theoretic Security

9-12 August 2016, Tacoma, Washington, USA.

http://www.icits2016.com

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

This is the ninth in a series of conferences that aims to bring together the leading researchers in the areas of information theory, quantum information theory, and cryptography. ICITS covers all aspects of information- theoretic security, from relevant mathematical tools to theoretical modeling to implementation. ICITS is an event in cooperation with The International Association for Cryptologic Research (IACR). Papers on all technical aspects of these topics are solicited for submission. Areas of interest include, but are not restricted to:

Adversarial channel models
Authentication codes
Bounded-storage models
Biometric security
Codes, lattices & cryptography
Cryptography from noisy channels
Implementation challenges
Information-theoretic reductions
Information-theoretic tools in computational settings
Key and message rates
Multiparty computations
Network coding security
Nonlocality and nonsignaling
Physical layer security
Physical models & assumptions
Quantum cryptography
Quantum information theory
Randomness extraction
Secret sharing
Wiretap channels


- Important Dates

Extended Conference track submission deadline: 20th of April, 2016
Extended Workshop track submission deadline: 20th of April, 2016
Decision notification: 1st of June, 2016
Conference: 9-12 of August, 2016
Note: ICITS 2016 takes place right before Crypto 2016!


- Two Tracks: Conference and Workshop

As the goal of ICITS is to bring together researchers on all aspects of information-theoretic security, it consists of two tracks with different types of contributed presentations:

Conference Track (with proceedings): Submissions to this track must be original papers that have not previously appeared in published form. Accepted papers will be presented at the conference and will appear in the conference proceedings. The proceedings will be published by Springer-Verlag in its Lecture Notes in Computer Science Series.

Workshop Track (no proceedings): To encourage presentation of work from a variety of fields (especially those where conference publication is unusual or makes journal publication difficult), the committee also solicits "workshop track" papers. Accepted papers will be presented orally at the conference but will not appear in the proceedings. Submissions to this track that have previously appeared (or are currently submitted elsewhere) are acceptable. Papers that describe work in progress are also welcome. We note that the same standards of quality will apply to conference and workshop papers.


Complete submission guidelines can be found online: http://www.icits2016.com/

- Invited Speakers
Sanjam Garg - UC Berkeley
Martin Roetteler - Microsoft Research
Amit Sahai - UCLA
Stefano Tessaro - UCSB

- Conference Organization

Anderson C A Nascimento, UW, Tacoma – General and Program Co-Chair
Paulo Barreto, UW, Tacoma – General and Program Co-Chair
Bernardo David, Aarhus University – Publicity Co-Chair
Ignacio Cascudo, Aarhus University – Publicity Co-Chair


- Technical Program Committee

Divesh Aggarwal EPFL, Switzerland
Anne Broadbent University of Ottawa, Canada
Paolo D'Arco University di Salerno, Italy
Nico Döttling Aarhus University, Denmark
Frédéric Dupuis Masaryk University, Czech Republic
Stefan Dziembowski U Warsaw, Poland
Ben Fuller MIT, USA
Peter Gaži IST, Austria
Divya Gupta UCLA, USA
Goichiro Hanaoka AIST, Japan
Carmit Hazay Bar-Ilan University, Israel
Mitsugu Iwamoto University of Electro-Communications, Japan
Iordanis Kerenidis Université Paris Diderot, France
Robert Koenig Technische Universität München, Germany
Ranjit Kumaresan MIT, USA
Tancrède Lepoint CryptoExperts
Hemanta Maji Purdue University, USA
Keith Martin Royal Holloway, University of London, UK
Koji Nuida AIST, Japan
Frederique Oggier Research Center for Information Security, Singapore
Arpita Patra Indian Institute of Science, India
Krzysztof Pietrzak IST, Austria
Martin Roetteler Microsoft Research Redmond, USA
Samuel Ranellucci Aarhus University, Denmark
Rei Safavi-Naini University of Calgary, Canada
Rafael Schaefer Princeton University, USA
Junji Shikata Yokohama National University, Japan
Rainer Steinwandt Florida Atlantic University, USA
Stefano Tessaro UCSB, USA
Marten van Dijk University of Connecticut, USA
Stefan Wolf USI, Switzerland
Mark Zhandry Princeton University, USA

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

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 96, Issue 36
**************************************

dmanet Digest, Vol 96, Issue 35

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. Doctoral Studentships at the Alan Turing Institute, starting
in October 2016 (Czumaj, Artur)
2. Call for paper for the Special Issue in the Journal:
Transportation Research Part B on "Green urban transportation" (Szeto)
3. DEBS 2016 - Abstract deadline in one day! (Vinay Setty)
4. 2016 PhD Summer School in Discrete Mathematics - June 26 -
July 2, 2016, Rogla, Slovenia (Ademir Hujdurovic)
5. Diagrams 2016 Graduate Symposium CFP (Stephanie Schwartz)


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

Message: 1
Date: Sun, 28 Feb 2016 01:27:48 +0000
From: "Czumaj, Artur" <A.Czumaj@warwick.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Doctoral Studentships at the Alan Turing Institute,
starting in October 2016
Message-ID:
<HE1PR01MB14658485D9B129EEABF5A62AD1B90@HE1PR01MB1465.eurprd01.prod.exchangelabs.com>

Content-Type: text/plain; charset="iso-8859-1"

===========================================
Doctoral Studentships at the Alan Turing Institute
https://turing.ac.uk/
===========================================

The following is an exciting opportunity for theory students to work with and be supervised by experts from the five Alan Turing Institute partners: University of Warwick, Cambridge, Edinburgh, UCL, and Oxford.
Strong applicants interested in algorithms and optimization are encouraged to apply.

The Alan Turing Institute is the UK's new national institute for data science, established to bring together world-leading expertise and provide leadership in this exciting emerging field. Headquartered at the British Library in London's vibrant Knowledge Quarter, the Institute brings together the best people, organizations and technologies in data science, working together for the development of foundational theory, methodology and algorithms for data science, and for the translation of this basic research into results that create academic, economic and societal impact. At the heart of the Institute's mission is supporting the next generation of internationally-leading data science researchers.

The Institute's doctoral studentship scheme is distinct and exciting, aimed at students who wish to combine deep technical understanding in core competencies (including algorithms, systems, mathematical statistics, machine learning, inference, mathematical methods and modelling) with an appropriate degree of scientific breadth from an in-depth exposure across the spectrum of data science challenges and opportunities. Mathematics, Statistics and Computing underpin much of the research the Institute undertakes, and because the Institute simultaneously aspires to serve society's needs, engineering, social sciences, ethics and design are included in the Institute's research fabric. The Institute is committed to the essential professional and personal skills needed to lead and shape the emerging field of data science.

To participate in the scheme, students will apply for admission for doctoral study in an academic discipline core to data science through one of the Institute's founding partner universities, under the supervision of academic staff who are substantially engaged with the Institute. Participating students will be based at the Institute hub at the British Library in London, but will also spend time at the admitting university (primarily after the first year) to ensure a rich research relationship over the course of the scheme.

The Institute will offer a competitive stipend to each student and a grant to the host university intended to cover tuition and fees, while the host university will admit students, monitor progress and ultimately be responsible for the process of awarding a degree. The Institute envisions internship opportunities with its partner organizations and other activities. Finally, the Institute will bring ethical considerations into the research that it undertakes, and aims to instill a deep and considered appreciation for the importance of ethical approaches to data science.

Motivated and talented graduates with strong quantitative backgrounds such as mathematics, statistics, computer science and related areas are encouraged to apply, by sending a CV, transcripts, a short statement of research interests and the names of 2-3 referees to doctoral-scheme@turing.ac.uk.

In keeping with the principles of the Institute, we especially encourage applications from female researchers. Applications will be considered on a rolling basis until all positions are filled.

Informal inquiries may be made to doctoral-scheme@turing.ac.uk. For the Institute's research roadmap and further particulars of the scheme as well as this advert in downloadable format see the institute webpages- https://turing.ac.uk/jobs/2016-doctoral-studentships/

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

Message: 2
Date: Sun, 28 Feb 2016 17:58:13 +0800
From: Szeto <ceszeto@hku.hk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Call for paper for the Special Issue in the Journal:
Transportation Research Part B on "Green urban transportation"
Message-ID:
<BC59E6E7CF48F74EA62877CCD680287C01725D38AE64@mail9.hkucc-com.hku.hk>
Content-Type: text/plain; charset="iso-8859-1"

Call for paper for the Special Issue in the Journal:
Transportation Research Part B on
"Green urban transportation"

Scope of topics and interest

Transportation sector is a major source of emissions, including greenhouse gases. It is important to promote green transportation in urban areas to provide a better living environment without affecting the mobility of goods and people. This special issue focuses on methodologies to model and deal with recent green transportation problems in urban areas, ranging from system modeling, planning, design, control, and management. The topics include, but not limited to, the following:
*autonomous vehicle
*bicycle and vehicle sharing
*dial-a-ride
*electric vehicle
*public transport and paratransit
*walking and cycling

Manuscript Submission

All submissions should be submitted via the Transportation Research Part B online submission system. When you submit your paper to the special issue, please choose article type "SI: Green Urban Transportation". For author guidelines, please visit the Journal home page to learn more

Important dates

Submission window opens on: 22 February 2016
First submission deadline: June 30, 2016
Notification of first decision: October 15, 2016
First revision submission deadline: January 1, 2017
Notification of revised decision: April 15, 2017
Second revision submission deadline: August 30, 2017
Final manuscripts deadline: November 15, 2017
Planned publication: Late 2017

Guest Editors

W.Y. Szeto, The University of Hong Kong, Hong Kong (ceszeto@hku.hk)
Anthony Chen, Utah State University, USA (anthony.chen@usu.edu)


Best regards,
 
Dr. Wai Yuen  SZETO
Deputy Director, Institute of Transport Studies The University of Hong Kong
Web: http://web.hku.hk/~ceszeto/
Email: ceszeto@hku.hk
Phone: (852) 28578552
Fax: (852) 25595337
Office: RM 622, Haking Wong Building.
Mail address: Rm 618, Haking Wong Building, Department of Civil Engineering, The University of Hong Kong, Pokfulam, Hong Kong
 
Call for papers:
Editor, Transportmetrica B
Area Editor, Networks and Spatial Economics Associate Editor, Journal of Intelligent Transportation Systems Associate Editor, Transportmetrica A Associate Editor, Travel Behaviour and Society


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

Message: 3
Date: Sun, 28 Feb 2016 18:25:50 +0530
From: Vinay Setty <vsetty@mpi-inf.mpg.de>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] DEBS 2016 - Abstract deadline in one day!
Message-ID: <56D2EE56.1030300@mpi-inf.mpg.de>
Content-Type: text/plain; charset=windows-1252

Deadline fast approaching for research and industry track abstract
submission(on 29th February 2016)!

----------------------------------------------------------------------
----------------------------------------------------------------------
CALL FOR PAPERS

10th ACM International Conference on Distributed Event-Based Systems

Irvine, CA, USA,
June 20-24 2016

http://www.debs2016.org
----------------------------------------------------------------------
----------------------------------------------------------------------

OBJECTIVES:

Over the past decade, the ACM International Conference on Distributed
and Event- based Systems (DEBS) has become the premier venue for
contributions in the fields of distributed and event-based systems.
The objectives of the ACM International Conference on Distributed and
Event-Based Systems (DEBS) are to provide a forum dedicated to the
dissemination of original research, the discussion of practical
insights, and the reporting of experiences relevant to distributed
systems and event-based computing. The conference aims at providing a
forum for academia and industry to exchange ideas through industry
papers and demo papers.


SCOPE:

Starting this year DEBS is extending its scope to embrace a broader
set of topics related to distributed systems and event-based
computing. Topics of particular interest may include (but are not
limited to) models, architectures and paradigms of distributed and
event-based systems, middleware systems and frameworks, and
applications, experiences and requirements. The scope of the DEBS
conference covers all topics relevant to distributed and event-based
computing ranging from those discussed in related disciplines (e.g.,
software systems, distributed systems, distributed data processing,
data management, dependability, knowledge management, networking,
programming languages, security and software engineering), to domain-
specific topics of event-based computing (e.g., real-time analytics,
mobile computing, social networking, pervasive, green computing and
ubiquitous computing, sensors networks, user interfaces, big data
processing, spatio-temporal processing, cloud computing, the Internet
of things, peer-to-peer computing, embedded systems and stream
processing), to enterprise-related topics (e.g., complex event
detection, enterprise application integration, real-time enterprises
and web services).

In addition to these traditional topics, the scope of DEBS 2016 will
include the increasingly important area of Internet of Things. New
advances in distributed and event-based systems pose a great potential
for a major contribution in this area. For further information, please
refer to the call for contributions in the track of your choice.

TOPICS COVERED INCLUDE, BUT ARE NOT LIMITED TO:

1) Models, Architectures and Paradigms: Event-driven architectures,
event processing in big data, complex event processing, rule-based
systems, logic-based event recognition, event correlation and pattern
languages.

2) Middleware infrastructures: Distributed data processing,
distributed programming, federated event-based systems, event
dissemination on P2P systems, fault tolerance, reliability and
availability and scalability.

3) Applications, Experience and Requirements: Use cases and
applications of distributed and event-based systems in various domains
including Internet of Things, Smart Cities, Smart Grids, Finance,
Logistics.


Submission Dates:
Abstract submission for research track: Feb 29th, 2016
Research and industry paper submission: Mar 7th, 2016
Tutorial proposal submission: Mar 7th, 2016
Grand Challenge solution submission: Mar 30th, 2016
Author notification: Apr 18th, 2016
Poster, demo, doctoral
symposium submission: Apr 30th, 2016
Camera ready submission: May 6th, 2016


STRUCTURE:

DEBS 2016 will be organized along six tracks:

1. Research Track that presents original research contributions.
Submissions will be evaluated by an experienced program committee
consisting of eminent researchers from all over the world.

2. Industry and Experience Reports Track meant to report on innovative
deployments of event-based systems. Contributions will be reviewed by
researchers and industry practitioners working in event-based
computing.

3. The Tutorial Track where recognized experts in the field will
present their tutorials on relevant emerging areas of research.

4. Poster and Demo Track where authors can report on work in progress
and/or arrange to demonstrate interesting ideas and applications
pertaining to event- based systems.

5. Doctoral Symposium Track meant for doctoral candidates whose
research area overlaps with event-based systems.

6. Grand Challenge Track: Here the committee will set out a grand
challenge problem and then judge the most innovative approaches for
its solution.

PROCEEDINGS:

Accepted papers will appear in the conference proceedings, which will
be published in the ACM Digital Library. The authors of accepted
papers will be given a choice between different copyright agreements,
in accordance with the recent changes in the ACM policy. The options
will include new opportunities for open access as well as the
traditional ACM copyright agreement.

AUTHORS TAKE NOTE: A new policy by ACM will allow DEBS 2016 to make
the proceedings available ahead of the conference via the ACM Digital
Library. Thus, the official publication date is the date the
proceedings appear in the ACM Digital Library. This date may be up to
two weeks prior to the first day of the conference. The official
publication date affects the deadline for any patent filings related
to published work.


SUBMISSION INFORMATION: http://www.debs2016.org/submission-
guidelines.html


GENERAL CO-CHAIRS:
Avigdor Gal, Technion, Israel
Matthias Weidlich, Humboldt-Universitaet zu Berlin, Germany

RESEARCH TRACK CO-CHAIRS:
Vana Kalogeraki, Athens University of Economics and Business, Greece
Nalini Venkasubramanian, University of California, Irvine, USA

INDUSTRY TRACK CO-CHAIRS:
Malu Castellanos, HP, USA
Alejandro Buchmann, Technische Universitaet Darmstadt, Germany

DOCTORAL SYMPOSIUM CO-CHAIRS:
David Eyers, University of Otago, New Zeland
Leonardo Querzoni, Sapienza University, Italy

TUTORIALS CO-CHAIRS:
Gianpaolo Cugola, Politecnico di Milano, Italy
Bugra Gedik, Bilkent University, Germany

GRAND CHALLENGE CO-CHAIRS:
Vincenzo Gulisano, Chalmers University of Technology, Sweden
Zbigniew Jerzak, SAP AG, Germany
Holger Ziekow, Furtwangen University, Furtwangen, Germany

DEMO AND POSTERS CO-CHAIRS:
Nesime Tatbul, Intel Labs/MIT, USA
Ioannis Katakis, University of Athens, Greece

SPONSORSHIP CO-CHAIRS:
Opher Etzion, Yezreel Valley College, Israel
Christoph Emmersberger, University of Regensburg, Germany

PROCEEDINGS CHAIR:
Thomas Heinze, SAP, USA

PUBLICITY CO-CHAIRS:
Mohammad Sadoghi, IBM T.J. Watson Research Center, USA
Izchak Tzachi Sharfman, Technion, Israel
Vinay Setty, MPI, Germany

WEB CO-CHAIRS:
Matthew Forshaw, Newcastle University, UK
Ye Zhao, Google Inc., USA


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

Message: 4
Date: Sun, 28 Feb 2016 15:06:36 +0100
From: Ademir Hujdurovic <ademir.hujdurovic@gmail.com>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] 2016 PhD Summer School in Discrete Mathematics -
June 26 - July 2, 2016, Rogla, Slovenia
Message-ID:
<CAF2NkQ1mZrRZ9ASh55z7r9+LpA+uT7EzCiZhwkiZND0--T403Q@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

Faculty of Mathematics, Natural Sciences and Information Technologies of
the University of Primorska, Slovenia, is organizing a summer school
between June 26 and July 2 entitled
"2016 PhD Summer School in Discrete Mathematics".
Summer school will consist of two minicourses (10 hours each).

Minicourses are:
1.Regular Polytopes and Almost Simple Groups given by Dimitri Leemans,
University of Auckland, New Zealand.

2.On the Structure of Vertex Stabilizers in Vertex Transitive Graphs given
by Pablo Spiga, University of Milano-Bicocca, Italy.

Additionally, students are invited to give short (15 min) scientific
presentations of their current work. Abstracts should be sent to the
organizers no later than May 15, 2016.

The number of participants is limited, so please register as soon as
possible.
The registration form together with other relevant information (overview of
the mini-courses, accommodation, traveling information etc.) is available at

http://www.famnit.upr.si/sl/konference/rogla2016

Please feel free to forward this message to your colleagues and students.
For further questions please contact <sygn@upr.si>sygn@upr.si.


The Scientific Committee of 2016 PhD Summer School in Discrete Mathematics:
Klavdija Kutnar, Aleksander Malnič, Dragan Marušič, Štefko Miklavič, Primož
Šparl

The Organizing Committee of 2016 PhD Summer School in Discrete Mathematics:
Boštjan Frelih, Ademir Hujdurović, Boštjan Kuzman, Rok Požar

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

Message: 5
Date: Sun, 28 Feb 2016 14:56:28 +0000
From: Stephanie Schwartz <Stephanie.Schwartz@millersville.edu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Diagrams 2016 Graduate Symposium CFP
Message-ID:
<E2745232464C1E41979557B4330D9B50A4D4357E@FSMB2.muad.local>
Content-Type: text/plain; charset="iso-8859-1"


-----
Graduate Symposium

Diagrams 2016, 7-10th August 2016, Philadelphia, PA, USA
Ninth International Conference on the Theory and Application of Diagrams
http://www.diagrams-conference.org/2016


==================================
Graduate Symposium, Call for Submissions
==================================
Submission deadline: 21st March 2016


The goal of the Diagrams 2016 Graduate Symposium is twofold. Firstly, the Symposium will provide senior graduate students and recent Master's and Doctoral graduates with the opportunity to present their research, and receive feedback from established researchers who will provide comments on each of the presentations. Secondly, the Symposium will provide students with an opportunity to network with each other as future colleagues.

At past Diagrams Graduate Symposiums, lively and useful discussions have enabled students to receive suggestions about their on-going research and allowed more experienced participants to hear some fresh ideas and view some of the new trends in the field.

Participants will be selected for the Graduate Symposium based on the submission of a 3-page report describing their research. Submissions will be peer reviewed. Summaries of accepted submissions will be available online on the conference website.

All students who seek funding from the Diagrams conference must participate in the Graduate Symposium to be eligible.


*** SUBMISSION ***

Submissions that focus on any aspect of diagrams research are welcome.

A 3-page report describing
- the thesis topic,
- the approach being taken,
- the work that has been completed,
- the expected contributions of the research, and
- aspects of the work on which advice is desired
must be submitted via the EasyChair system (https://easychair.org/conferences/?conf=diagrams2016) by *21st March 2016*.

The submission should be prepared following the LNCS style guidelines (https://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). One student can only submit one report.


*** PARTICIPATION EXPECTATIONS ***

Graduate students whose *Graduate Symposium submission* is accepted will
- give a presentation at the Graduate Symposium, and
- present a Graduate Symposium poster at the poster session of the main conference.

Students who have a *poster in the main conference* and are attending the symposium will
- present the poster at the poster session of the main conference, and
- give a presentation at the Graduate Symposium.

Students presenting *a long or short paper in the main conference* will
- not give a presentation at the Graduate Symposium,
- but all students who receive student funding from Diagrams 2016 will be required to attend the Graduate Symposium.


*** FINANCIAL SUPPORT ***

Financial support through the NSF and the Diagrams Conference fund will be granted to:
- all graduate students whose Graduate Symposium submission is accepted, and
- a number of other students presenting a paper or poster at the main conference who submit a Graduate Symposium report by the symposium submission deadline and who fully conform to the participation expectations.

Support will range from free registration to additional travel support.


*** QUESTIONS ***

Send an email with 'Graduate Symposium' in the subject to diagrams2016@diagrams-conference.org. The Graduate Symposium chair, Luana Micallef, will get back to you as soon as possible.

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

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 96, Issue 35
**************************************

dmanet Digest, Vol 96, Issue 34

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. 2nd Scottish Combinatorics Meeting, University of Glasgow,
26th-27th April 2016 (Kitty Meeks)
2. 10th Workshop on REACHABILITY PROBLEMS, RP 2016 (Potapov, Igor)
3. ETAPS 2016 early registration deadline 1 March approaching
(Tarmo Uustalu)
4. SPIN 2016 - Call for Participation - Early registration
deadline 1 March 2016 (Wijs, A.J.)
5. SAGT 2016 - Call for Papers (Martin Hoefer)


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

Message: 1
Date: Fri, 26 Feb 2016 15:27:40 +0000
From: Kitty Meeks <kittymaths@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 2nd Scottish Combinatorics Meeting, University of
Glasgow, 26th-27th April 2016
Message-ID:
<CADV2or_QEje9btJks6au3JFJ3jFkVYPCCs13ymqBGk4NxnWbJg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

The Second Scottish Combinatorics Meeting will take place at the University
of Glasgow on Tuesday 26th and Wednesday 27th April 2016. Everyone with an
interest in combinatorics and its applications is warmly invited to attend
this meeting.

Attendance at the meeting is free, but for catering purposes participants
are asked to register (at http://scm2016.eventbrite.co.uk) by 30th March.
The exact schedule is still to be confirmed, but talks will not start
before 10:30am and will finish by 5pm, hopefully allowing many participants
to attend as a day trip.

The invited speakers are:

Marthe Bonamy (LaBRI Bordeaux)
Mark Dukes (Strathclyde)
Jessica Enright (Stirling)
Michael Fellows (Bergen)
Jennie Hansen (Heriot Watt)
Sophie Huczynska (St Andrews)
Colin McDiarmid (Oxford)
Frances Rosamond (Bergen)

There will also be an opportunity for research students to give short (15
minute) presentations on their work, and limited funds are available to
assist with the travel expenses of students presenting their work. Please
contact Kitty Meeks for more information.

More information about the event is available at:
http://www.maths.gla.ac.uk/~kmeeks/scm/

This event is supported by the Glasgow Mathematical Journal Trust, the
British Combinatorial Committee, the Scottish Informatics and Computer
Science Alliance and the Edinburgh Mathematical Society.

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

Message: 2
Date: Fri, 26 Feb 2016 16:01:03 +0000
From: "Potapov, Igor" <potapov@liverpool.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] 10th Workshop on REACHABILITY PROBLEMS, RP 2016
Message-ID:
<7ECE8E01AEB79A459E3F30C54E56CF7CDDA38501@CHEXMBX1.livad.liv.ac.uk>
Content-Type: text/plain; charset="windows-1250"


REACHABILITY PROBLEMS 2016
----------------------------------------------------------------
The 10th International Workshop on Reachability Problems (RP'16)
19 - 21 September 2016, Aalborg, Denmark

Deadline for submissions: 13 May, 2016
http://rp16.cs.aau.dk/
----------------------------------------------------------------

The 10th Workshop on Reachability Problems will be hosted by
Aalborg University, Denmark. This event will take place in Nordkraft,
a recently reconstructed coal power station located at the harbour
front of Aalborg city centre that serves these days as a cultural
and sport centre of Aalborg.

The Reachability Workshop is specifically aimed at gathering
together scholars from diverse disciplines interested in reachability
problems that appear in algebraic structures, computational models,
hybrid systems, logic and verification.

Invited Speakers:

- Alain Finkel, ENS de Cachan, France
- Axel Legay, INRIA, Rennes Cedex, France
- Jaco van de Pol, University of Twente, Netherlands


Submissions:

Authors are invited to submit a draft of a full paper with at most 12 pages
(in LaTeX, formatted according to LNCS guidelines) via the conference web page.
Proofs omitted due to space constraints must be put into an appendix to be read
by the program committee members at their discretion. Submissions deviating
from these guidelines risk rejection. Electronic submissions should be
formatted in pdf. Simultaneous submission to other conferences or workshops
with published proceedings is not allowed.

Submission link: https://easychair.org/conferences/?conf=rp2016

Topics of interest include (but are not limited to): reachability problems
in infinite state systems, rewriting systems, dynamical and hybrid systems;
reachability problems in logic and verification; reachability analysis in
different computational models, counter timed/cellular/communicating
automata; Petri nets; computational aspects of algebraic structures
(semigroups, groups and rings); frontiers between decidable and undecidable
reachability problems; predictability in iterative maps and new computational
paradigms.


Important Dates

- Submission deadline: 13 May 2016
- Notification to authors: 30 June 2016
- Final version: 11 July 2016
- Workshop: 19 - 21 September 2016


Presentation-Only Track

In addition to regular papers that will appear in our LNCS proceedings, we
invite researchers to apply to give a presentation at RP'16 without an
accompanying paper. Such presentations can be based on work that has appeared
(or which is going to appear) in the proceedings of another conference, or
which has not yet been submitted. These contributions will be judged solely on
the basis of their attractiveness to the workshop.

To apply to give such a presentation please submit a PDF file containing a
short abstract (up to two pages) by e-mail [ rp2016@easychair.org ] by
August 1st 2016, with subject "RP2016 Informal Presentations". This abstract
will not be published in the conference proceedings.
Notification for the presentation-only track will be August 8th 2016.


Proceedings

The Conference Proceedings will be published as the volume of the Springer
Verlag LNCS (Lecture Notes in Computer Science) series and distributed at the
Conference. We plan also to publish selected papers in a special issue of a
high quality journal following the regular referee procedure.


RP'16 Program Committee:

Filippo Bonchi, ENS de Lyon
Tomas Brazdil, Masaryk University Brno
Thomas Brihaye, Université de Mons
Gilles Geeraerts, Université Libre de Bruxelles
Krishnendu Chatterjee, IST Austria
Javier Esparza, Technische Universität München
Kousha Etessami, University of Edinburgh
Stefan Göller, ENS Cachan
Tero Harju, University of Turku
Petr Jancar, Technical University of Ostrava
Sławomir Lasota, University of Warsaw
Kim G. Larsen (co-chair), Aalborg University
Oded Maler, CNRS-VERIMAG
Richard Mayr, University of Edinburgh
Nicolas Markey, ENS Cachan
Pierre McKenzie, Université de Montréal
Igor Potapov (proceedings chair), University of Liverpool
Alexander Rabinovich, Tel Aviv University
Jiri Srba (co-chair), Aalborg University
Igor Walukiewicz, LaBRI Bordeaux
James Worrell, University of Oxford
Lijun Zhang, Chinese Academy of Science


Previous Workshops:

2015: RP'15 in Warsaw, Poland
LNCS proceedings, Volume 9328/2015, Springer Verlag
2014: RP'14 in Oxford, UK
LNCS proceedings, Volume 8762/2014, Springer Verlag
2013: RP'13 in Uppsala, Sweden
LNCS proceedings, Volume 8169/2013, Springer Verlag
2012: RP'12 in Bordeaux, France
LNCS proceedings, Volume 7550/2012, Springer Verlag
2011: RP'11 in Genova, Italy
LNCS proceedings, Volume 6945/2011, Springer Verlag
2010: RP'10 in Brno, Czech Republic
LNCS proceedings, Volume 6227/2010, Springer Verlag
2009: RP'09 in Palaiseau, France
LNCS proceedings, Volume 5797/2009, Springer Verlag
2008: RP'08 in Liverpool, UK
ENTCS proceedings, Volume 223, Elsevier
2007: RP'07 in Turku, Finland
TUCS General Publication Series, Volume 45,
Turku Centre for Computer Science


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

Message: 3
Date: Sat, 27 Feb 2016 01:13:54 +0200
From: Tarmo Uustalu <tarmo@cs.ioc.ee>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ETAPS 2016 early registration deadline 1 March
approaching
Message-ID: <20160227011354.0121d4ae@duality>
Content-Type: text/plain; charset=UTF-8

Early registration deadline 1 March 2016!

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

CALL FOR PARTICIPATION

ETAPS 2016

19th European Joint Conferences on Theory And Practice of Software

Eindhoven, The Netherlands, 2-8 April 2016

http://www.etaps.org/2016

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

-- ABOUT ETAPS --

The European Joint Conferences on Theory And Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is already
the nineteenth event in the series.


-- MAIN CONFERENCES (4-7 April) --

* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of
Systems


-- INVITED TALKS --

Unifying speakers:

Andrew D Gordon (MSR Cambridge and University of Edinburgh, UK)
Rupak Majumdar (MPI Kaiserslautern, Germany)

ESOP invited speaker:

Cristina Lopes (University of California at Irvine, USA)

FASE invited speaker:

Oscar Nierrstrasz (Universität Bern, Switzerland)

POST invited speaker:

Vitaly Shmatikov (Cornell Tech, USA)


-- TUTORIALS

Peter Ryan (University of Luxembourg, Luxembourg)

Grigore Rosu (University of Illinois at Urbana-Champaign, USA)


-- CONTRIBUTED PAPERS --

See the accepted paper lists and the programme of the main conferences
at the conference website.

http://www.etaps.org/2016/programme


-- SATELLITE EVENTS (2-3 and 8 April) --

22 satellite workshops will take place before or after ETAPS 2016.

CASSTING, CMCS, DICE, GaLoP, GaM, QAPL, WRLA (2-3 April)

RAC, VerifyThis, VPT, VSSE (2 April)
FESCA, FMSPLE, HCVS, HotSpot, SENSATION, SynCop (3 April)

BX, CREST, MSFP, PLACES, TermGraph (8 April)


-- REGISTRATION --

Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1).

Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1).

http://www.etaps.org/2016/registration


-- ACCOMMODATION --

We request that participants arrange their accommodation on their own.
See our recommendations on the conference website.


-- HOST CITY --

Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.


-- ORGANIZERS --

General chair: Jan Friso Groote

Workshop chairs: Erik de Vink and Julien Schmaltz

Publicity chair: Anton Wijs


--- HOST INSTITUTION --

ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische
Universiteit Eindhoven.


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
j.f.groote@tue.nl, a.j.wijs@tue.nl.

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

Message: 4
Date: Sat, 27 Feb 2016 13:22:02 +0000
From: "Wijs, A.J." <A.J.Wijs@tue.nl>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] SPIN 2016 - Call for Participation - Early
registration deadline 1 March 2016
Message-ID: <39B9DFC6-A56B-442D-B215-0ED9966E1E8F@tue.nl>
Content-Type: text/plain; charset="utf-8"

======================================================================
CALL FOR PARTICIPATION

SPIN 2016

23rd International SPIN Symposium on Model Checking of Software
7--8 April 2016, Eindhoven, The Netherlands
http://www.spin2016.info<http://www.spin2016.info/>
(colocated with ETAPS 2016)
======================================================================

---- ABOUT SPIN ----

The 23rd edition of the SPIN symposium aims at bringing together
practitioners and researchers interested in symbolic and state
space-based techniques for the validation and analysis of software
systems. Techniques and empirical evaluations based
on explicit representations of state spaces, as implemented in
the SPIN model checker or other tools, or techniques based on the
combination of explicit representations with other representations,
are the focus of this symposium.

We particularly welcome papers describing the development and
application of state space exploration techniques in testing and
verifying embedded software, safety-critical software, enterprise
and web applications, and other interesting software platforms. The
symposium aims to encourage interactions and exchanges of ideas with
all related areas in software engineering.

SPIN 2016 will be colocated with the 19th European Joint Conferences on
Theory and Practice of Software (ETAPS 2016). An overview of the previous
SPIN symposia can be found at http://spinroot.com/spin/Workshops.

---- INVITED SPEAKERS ----

Shaz Qadeer (Microsoft Research, USA)
Pierre Wolper (Université de Liege, BEL)
Tim Willemse (Eindhoven University of Technology, NL)

---- CONTRIBUTED PAPERS ----

A list of accepted papers is available at the symposium website.
Shortly, we will announce the programme.

http://www.spin2016.info/programme.html

---- REGISTRATION ----

Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1), via
the ETAPS registration page.

Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1).

http://www.spin2016.info/registration.html

---- ACCOMMODATION ----

We request that participants arrange their accommodation on their own.
See our recommendations on the symposium website.

http://www.spin2016.info/venue.html

-- HOST CITY --

Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.

---- CHAIRS ----

Dragan Bošnački (Eindhoven University of Technology)
Anton Wijs (Eindhoven University of Technology)

---- HOST INSTITUTION ----

Both SPIN 2016 and ETAPS 2016 are hosted by Faculteit Wiskunde
en Informatica, Eindhoven University of Technology.

---- FURTHER INFORMATION ----

Please do not hesitate to contact the organizers at
d.bosnacki@tue.nl<mailto:d.bosnacki@tue.nl>, a.j.wijs@tue.nl<mailto:a.j.wijs@tue.nl>.

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

Message: 5
Date: Sun, 28 Feb 2016 00:23:56 +0100
From: Martin Hoefer <mhoefer@mpi-inf.mpg.de>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] SAGT 2016 - Call for Papers
Message-ID: <56D2300C.7030006@mpi-inf.mpg.de>
Content-Type: text/plain; charset=utf-8; format=flowed

9th INTERNATIONAL SYMPOSIUM ON ALGORITHMIC GAME THEORY

SAGT 2016

http://sagt16.csc.liv.ac.uk/

Liverpool, UK, Sep. 19-21, 2016

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

IMPORTANT DATES

- Submission: May 13, 2016.
- Notification: July 1, 2016.
- Camera ready: July 15, 2016.

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

The 9th International Symposium on Algorithmic Game Theory (SAGT) will
take place in Liverpool, UK, September 19-21, 2016. The purpose of SAGT
is to bring together researchers from Computer Science, Economics,
Physics, Biology and Mathematics to present and discuss original
research at the intersection of Algorithms and Game Theory.

The program of SAGT will include both invited talks and presentations
for refereed submissions. Confirmed invited speakers are

- Constantinos Daskalakis, MIT
- Olivier Gossner, LSE and École Polytechnique
- Kurt Mehlhorn, MPI Informatik


SUBMISSIONS
-----------

Authors are invited to submit previously unpublished work for possible
presentation at the conference. Foundational work is solicited on topics
including but not limited to:

- Solution Concepts in Game Theory
- Efficiency of Equilibria and Price of Anarchy
- Complexity Classes in Game Theory
- Computational Aspects of Equilibria
- Computational Aspects of Fixed-Point Theorems
- Repeated Games and Convergence of Dynamics
- Reputation, Recommendation and Trust Systems
- Network Games and Graph-Theoretic Aspects of Social Networks
- Cost-Sharing Algorithms and Analysis
- Algorithmic Mechanism Design
- Computing with Incentives
- Computational Social Choice
- Decision Theory, and Pricing
- Auction Algorithms and Analysis
- Economic Aspects of Distributed Computing
- Internet Economics and Computational Advertising

Industrial application works and position papers presenting novel ideas,
issues, challenges and directions are also welcome.

It is expected that every accepted paper will be presented at the
symposium by one of the authors.

Submissions must be prepared in LNCS-style and limited to at most 12
pages. Additional material can be added in a clearly marked appendix.
Accepted papers are presented in at most 12 pages in the proceedings.
Alternatively, authors of accepted papers can publish only a one page
abstract in the proceedings, along with a URL pointing to the full paper.

For more detailed submission guidelines and instructions see the
conference webpage at http://sagt16.csc.liv.ac.uk/cfp.html.

The submission is done via Easychair:
https://www.easychair.org/conferences/?conf=sagt2016.


PROGRAM COMMITTEE
-----------------
- Yakov Babichenko, Technion
- Umang Bhaskar, TIFR
- Yang Cai, McGill
- Xi Chen, Columbia U.
- Paul Duetting, ETH Zürich
- Edith Elkind, U. Oxford
- Martin Gairing, U. Liverpool (co-chair)
- Gagan Goel, Google
- Paul Goldberg, U. Oxford
- Tobias Harks, Augsburg U.
- Max Klimm, TU Berlin
- Kostas Kollias, Google
- Sebastien Lahaie, MSR New York City
- Pascal Lenzner, HPI Potsdam
- Stefano Leonardi, Sapienza U.
- Troels Bjerre Lund, ITU Copenhagen
- David Manlove, U. Glasgow
- Ruta Mehta, U. Illinois Urbana-Champaign
- Vangelis Markakis, AUEB
- Britta Peis, RWTH Aachen U.
- Ron Peretz, Bar-Ilan U.
- Georgios Piliouras, SUTD
- Maria Polukarov, U. Southampton
- Rahul Savani, U. Liverpool (co-chair)
- Marco Scarsini, LUISS Rome
- Alexander Skopalik, Paderborn U.
- Eric Sodomka, Facebook
- Orestis Telelis, U. Piraeus


STEERING COMMITTEE
------------------
- Elias Koutsoupias, U. Oxford
- Marios Mavronicolas, U. Cyprus
- Dov Monderer, Technion
- Burkhard Monien, Paderborn U.
- Christos Papadimitriou, UC Berkeley
- Giuseppe Persiano, U. Salerno
- Paul Spirakis, U. Liverpool (chair)


ORGANIZING COMMITTEE
--------------------
- Giorgos Christodoulou, U. Liverpool
- John Fearnley (chair), U. Liverpool
- Tobenna Peter Igwe, U. Liverpool
- Grammateia Kotsialou, U. Liverpool
- Alkmini Sgouritsa, U. Liverpool


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

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 96, Issue 34
**************************************

Saturday, February 27, 2016

dmanet Digest, Vol 96, Issue 33

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. Lecturer/Senior Lecturer in Mathematics at The University of
the West Indies (Barbados) (Bernd Sing)
2. DCFS 2016 - Final Call for Papers (Florin Manea)


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

Message: 1
Date: Fri, 26 Feb 2016 02:20:42 +0100 (CET)
From: Bernd Sing <sing@math.uni-bielefeld.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Lecturer/Senior Lecturer in Mathematics at The
University of the West Indies (Barbados)
Message-ID:
<alpine.DEB.2.10.1602260214050.18306@kvm01.math.uni-bielefeld.de>
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII

Applications are invited for a Lectureship or Senior Lectureship position
at The University of the West Indies, Cave Hill, Barbados.

The successful applicant should have a completed PhD in Mathematics,
excellent communication skills in English, a good knowledge of WeBWorK,
Sage or another CAS, and proficiency in Python would be a bonus.
Candidates should have a proven research track record, and outstanding
research potential at a level of international excellence in Applied
Combinatorics or Discrete Optimization; but also have a mathematical
outlook that enhances, bridges and complements the research areas of our
small discipline of mathematics.

Applicants with an interest in interdisciplinary and experimental
approaches to mathematics would be at a distinct advantage. He/she would
be expected to teach across the wide range of undergraduate courses as
well as teach dedicated courses for and supervise MPhil and PhD students
in Mathematics. In addition, the successful candidate will be expected to
maintain an active program of research and will contribute to the general
work of the Mathematics discipline, the department and The University. The
successful applicant will be expected to assume duties by August 1, 2016
or as soon as possible thereafter.

More details available at
http://www.cavehill.uwi.edu/hr/careers/lecturer-senior-lecturer-in-mathematics.aspx

Deadline: Sunday, March 20, 2016
Contact name: The Human Resources Section
Contact email: humanresources@cavehill.uwi.edu

Job location:
The University of the West Indies
Cave Hill, P.O. Box 64
Bridgetown, St Michael
Barbados


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

Message: 2
Date: Fri, 26 Feb 2016 08:31:48 +0100
From: Florin Manea <flmanea@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] DCFS 2016 - Final Call for Papers
Message-ID:
<CABNxaTODC1X+cU7mAtJsmYmiwCANshj+J+qZ6kcsakGd3nB=rA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

====================================================================

Final Call for Papers -- DCFS 2016

We apologize if you receive multiple copies of this Call for Papers.

Please distribute to anyone who may be interested.

====================================================================

Dear colleagues and Friends,

Enclosed you can find the preliminary

C A L L F O R P A P E R S

for

DCFS 2016, Descriptional Complexity of Formal Systems Working
Conference.


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

The 18th International Conference on Descriptional Complexity of Formal
Systems
will take place in Bucharest, Romania, from July 5-8, 2016.
Bucharest is the capital and largest city, as well as the cultural,
industrial, and financial centre of Romania.
The conference is organized by the Faculty of Mathematics and Computer
Science
University of Bucharest, located in the center of Bucharest, at KM 0.


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

The workshop will be jointly organized by The University of Bucharest,
with the support of IFIP Working Group 1.2.

Conference website:
http://www.csit.upei.ca/dcfs2016
and (alternate)
http://fmi.unibuc.ro/dcfs2016

Special thanks go to the invited speakers:

Marie-Pierre Béal (Paris, France)
James Currie (University of Winnipeg, Winnipeg/Manitoba, Canada)
Gabriel Istrate (Timișoara, Romania)
Galina Jirásková (Mathematical Institute Slovak Academy of Sciences,
Kosice, Slovak Republic)
Solomon Marcus (Romanian Academy, Bucharest, Romania)

for accepting our invitation to present their recent results at DCFS 2016.

Important Dates:

Submission Deadline: March 1 extended to March 4 AoE, 2016 (possible
updates of existing submissions March 6 AoE)
Notification of accepted papers: April 7, 2016(updated)
Final Version: April 15, 2016(updated)
Conference dates: July 5-8, 2016


Topics of interest:

Submissions concerning the descriptional complexity of formal systems
and structures (and its applications) are invited for DCFS
2016. Original papers are sought in all aspects of descriptional complexity,
topics include, but are not limited to:

- various modes of operations and complexity measures for automata,
grammars, languages and of related systems
- succinctness of description of objects, state-explosion-like phenomena
- trade-offs between descriptional complexity and mode of operation
- circuit complexity of Boolean functions and related measures
- succinctness of description of (finite) objects
- descriptional complexity in resource-bounded or structure-bounded
environments
- complexity aspects related to the combinatorics of words
- structural complexity of formal systems as related to descriptional
complexity
- descriptional complexity of formal systems for applications (e.g.
software reliability, software
and hardware testing, modelling of natural languages)
- descriptional complexity aspects of nature-motivated (bio-inspired)
architectures and unconventional models of computing
- frontiers between decidability and undecidability
- universality and reversibility
- Blum Static (Kolmogorov/Chaitin) complexity, algorithmic information

Submissions:

Papers presenting original contributions concerning the topics of the
conference are being
sought. Authors are invited to submit papers of no more than 12 pages
in LNCS-style LaTeX2e (available at
http://www.springer.de/comp/lncs/authors.html). Papers must be in
English, and provide sufficient details to allow the program committee
to assess their merits. Proofs omitted due to space constraints must
be added into an appendix to be read by the program committee members at
their discretion. Simultaneous submission to other conferences or
workshops with published proceedings is _*not*_ allowed.

Papers will be submitted electronically in PDF, using the EasyChair system.

Program Commitee:

Valérie Berthé (Paris, France)
Cezar Câmpeanu (Charlottetown/PE, Canada, co-chair)
Cristian S. Calude (Auckland, New Zealand)
Zoltan Esik (Szeged, Hungary)
Yo-Sub Han (Seoul, Republic of Korea)
Christos Kapoutsis (Doha, Qatar)
Lila Kari (Waterloo/Ontario, Canada)
Jarkko J Kari (Turku, Finland)
Stavros Konstantinidis (St Mary's University, Halifax/Nova Scotia,
Canada)
Martin Kutrib (Gießen, Germany)
Florin Manea (Kiel, Germany, co-chair)
Ian McQuillan (Saskatoon/Saskatchewan, Canada)
Carlo Mereghetti (Milano, Italy)
Nelma Moreira (Porto, Portugal)
Dirk Nowotka (Kiel, Germany)
Alexander Okhotin (Turku, Finland)
Dana Pardubska (Bratislava, Slovak Republic)
Andrei Paun (University of Bucharest, Bucharest, Romania)
Giovanni Pighizzini (Milano, Italy)
Jean-Eric Pin (Paris, France)
Marinella Sciortino (Palermo, Italy)
Jeffrey O. Shallit (Waterloo/Ontario, Canada, co-chair)
Bianca Truthe (Gießen, Germany)

Steering Committee:

Cezar Câmpeanu (University of Prince Edward Island,
Charlottetown/Prince Edward Island, Canada)
Erzsébet Csuhaj-Varjú (Budapest, Hungary)
Jürgen Dassow (Otto-von-Guericke-University of Magdeburg, Magdeburg,
Germany)
Helmut Jürgensen (Western University, London/Ontario, Canada)
Martin Kutrib (Giessen University, Giessen, Germany)
Giovanni Pighizzini (University of Milano, Milano, Italy, chair)
Rogério Reis (University of Porto, Porto, Portugal)

Organizing Committee:

Radu Gramatovici (University of Bucharest)
~ (Full list will be announced at a later date)

CONTACT:

Postal address:

DCFS 2016 Organizing Committee,
Department of Computer Science University of Bucharest,
Str.Academiei nr. 14, Bucharest, Romania

Email: dcfs2016@fmi.unibuc.ro

======================================================

We hope that many of you will submit papers and will attend the Conference.

With best regards,

Cezar Câmpeanu (University of Prince Edward Island)
Florin Manea (University of Kiel)
Jeffrey Shallit (University of Waterloo)

k


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

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 96, Issue 33
**************************************

Friday, February 26, 2016

dmanet Digest, Vol 96, Issue 32

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. Prague Summer School on Discrete Mathematics, August 1-5,
2016 (Jan Hladky)
2. Just five days to submit an abstract to EURO 2016
(Gerhard-Wilhelm Weber)
3. 8 days to Proposal Submission Deadline -- Book on Security
Solutions and Applied Cryptography in Smart Grid Communications
(Mohamed Amine Ferrag)


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

Message: 1
Date: Wed, 24 Feb 2016 18:53:08 +0100
From: Jan Hladky <honzahladky@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Prague Summer School on Discrete Mathematics, August
1-5, 2016
Message-ID:
<CAJBhOehGCw0ndK16_dod_oCErkBkK4pbMhXizxxVGq+i2Jehjg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

The first edition of the Prague Summer School on Discrete Mathematics
organized jointly by Computer Science Institute of Charles University
and the Institute of Mathematics of the Czech Academy of Sciences will
take place from August 1 to August 5, 2016. The venue of the School is
the building of the Institute of Mathematics of the Czech Academy of
Sciences in the historical center of Prague. There will be lectures in
the mornings and exercise classes in the afternoons on each of the 5
days of the School. The lecturers will be

* Samuel Fiorini (Free University of Brussels), who will talk on
extended formulations in combinatorial optimization

* Ronald de Wolf (CWI), who will talk on Fourier analysis of Boolean
functions, with applications to discrete mathematics, complexity
theory, and social choice theory.

The School is primarily but not exclusively intended for PhD students
and postdocs. There is no registration fee. Thanks to the generous
support of the RSJ Foundation, the Institute of Mathematics of the
Czech Academy of Sciences, and Computer Science Institute of Charles
University we can offer a limited number of stipends that cover the
travel and the
stay.

Further information about the School can be found at:
http://iuuk.mff.cuni.cz/events/conferences/pssdm/program.html


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

Message: 2
Date: Thu, 25 Feb 2016 14:16:20 +0200
From: Gerhard-Wilhelm Weber <gweber@metu.edu.tr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Just five days to submit an abstract to EURO 2016
Message-ID: <20160225141620.45815apfwya6b91w@horde.metu.edu.tr>
Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes";
format="flowed"

The deadline for abstract submission at the EURO 2016 conference in
Poznan is March 1st, 2016.

Hurry up to submit your abstract and be part of the largest European
OR conference!

Excellent plenary and keynote speakers. Hundreds of sessions on every
topic of OR. A beautiful town and a warm and friendly environment.
Making an Impact initiatives for academic-practitioners collaboration.
Workshops, tutorials, round-tables and satellite events. Recruiting
opportunities to be announced soon .... These are just some of the
good reasons to come to Poznan in July !

Find the other ones, together with full details of the conference, at
www.euro2016.poznan.pl.

See you in Poznan!

Daniele Vigo and Joanna Josefowska

daniele.vigo@unibo.it, Joanna.Jozefowska@cs.put.poznan.pl

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

Message: 3
Date: Thu, 25 Feb 2016 10:46:49 -0500
From: Mohamed Amine Ferrag <maferrag@lrs-annaba.net>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 8 days to Proposal Submission Deadline -- Book on
Security Solutions and Applied Cryptography in Smart Grid
Communications
Message-ID: <2975a8c44b0bf8a839f33c33cad17ef0@lrs-annaba.net>
Content-Type: text/plain; charset=UTF-8; format=flowed


********** 8 days to Proposal Deadline**********

"Security Solutions and Applied Cryptography in Smart Grid
Communications"

Edited by: Mohamed Amine Ferrag and Ahmed Ahmim
To be published by: IGI Global, USA

March 5, 2016: Proposal Submission Deadline - Extended

URL1 :
http://www.igi-global.com/publish/call-for-papers/call-details/2020
URL2
: https://sites.google.com/site/smartgridsigiglobal/

Editorial Advisory Board
Nacira Ghoualmi-Zine, Badji Mokhtar- Annaba University, Algeria
Jaime Lloret Mauri, Polytechnic University of Valencia, Spain
Pascal Lorenz, University of Haute Alsace, France
Djamel Djenouri, CERIST Research Center, Algeria
Albena Mihovska, Center for TeleInFrastructur, Aalborg University,
Aalborg, Denmark
Mehdi Nafa, Badji Mokhtar- Annaba University, Algeria
Al-Sakib Khan Pathan, UAP and SEU, Bangladesh/ Islamic University in
Madinah, KSA
Hui Hou, School of Automation, Wuhan University of Technology, China
Hidoussi Faouzi, University Hadj Lakhdar Batna, Algeria
Mubashir Husain Rehmani, COMSATS Institute of Information Technology,
Wah Cantt, Pakistan
Homero Toral Cruz, University of Quintana Roo, México
Makhlouf Derdour, University of Cheikh Laarbi, Tebessa, Algeria
Lynn M. Batten, Deakin University, Australia
Ram Chakka, RGMCET, RGM Group of Institutions, India
Cristina Alcaraz, University of Malaga, Spain
Sumanth Yenduri, Columbus State University, USA
Chi-Yuan Chen, National Ilan University, Taiwan
P. Venkata Krishna, VIT University, India
Alessio Merlo, University of Genova, Italy
Syed Faraz Hasan, Massey University, New Zealand
Farrokh Aminifar, University of Tehran, Iran
Hossein Akhavan-Hejazi, University of California, USA
Danda B. Rawat, Georgia Southern University, USA

Introduction
Electrical energy storage is a key factor for the future. The
consumption of electrical energy (i.e. the use of air conditioning,
audio and video devices or electric heating) is increasing every year
due; firstly to the increase of the population and secondly by the
appearance of new uses of consumption, such as electric cars. With this
increase consumption, how to ensure the balance between supply and
demand for electricity at all times? To address this problem, the idea
of placing the new generation of smart grids to control this energy has
appeared in recent literature in different flavors in order to provide
electric power supply secure, sustainable and competitive to consumers.
In addition, the revolution in smart grid involves a significant change
in side of the consumer where consumers will also become producer with
the ability of energy storage such as in the vehicle battery, or as a
local generation sources such as photovoltaic panels. However, the smart
grid develops modern solutions for the next-generation network and
digital communication in which many systems and subsystems are
interconnected to provide services from end-to-end network between
various actors and between intelligent devices that are deployed there.
Within each network, a hierarchical structure is composed of different
types of networks, such as the HANs (Home Area Networks), the BANs
(Building Area Networks), the IANs (Industrial Area Networks), the NANs
(Neighborhood Area Networks), the FANs (Field Area Networks), and the
WANs (Wide Area Networks). Currently, large societies propose the use of
cloud computing in smart grid applications connected with the electrical
control center. The main problem in the development of a smart grid is
not located at the physical medium but mainly in delivery of reliability
and security. The possibility of fitting with active or passive attacks
in smart grid network is great to divulge privacy and disrupt energy
(e.g. Wormhole Attack, False Data Injection Attack, Black Hole Attack,
Grey Hole Attack, DoS Attack, Physical Layer Attack, Colluding Adversary
Attack, Routing Table Overflow Attack etc.). Therefore, the security
requirements, including authentication, accountability, integrity,
non-repudiation, access control and confidentiality should be paid more
attention in the future for high performance smart grids. This book will
cover the current scope of various methodologies and mechanisms in the
theory and practice of security, privacy, intrusion detection, and
applied cryptography in smart grid communications in one place.

Objective
This comprehensive and timely publication aims to be an essential
reference source, building on the available literature in the field of
smart grid security in developing countries while providing for further
research opportunities in this dynamic field. It is hoped that this text
will provide the resources necessary for policy makers, technology
developers and managers to adopt and implement smart grid platforms in
developing nations across the globe.

Target Audience
Policy makers, academicians, researchers, advanced-level students,
technology developers, and government officials will find this book
useful in furthering their research exposure to pertinent topics in
smart grid security and assisting in furthering their own research
efforts in this field.

Recommended Topics
This book will include (but will not be limited to) the following
topics. Any other related topics in the area of smart grid security are
also welcome :

- Game theoretical models of smart grid security
- SCADA and legacy system security
- Security and Privacy in Mobile Cloud and Grid Computing
- Secure and resilient cyber-physical and communication architectures
- Intrusion Detection System (IDS)/Intrusion Prevention System (IPS)
- Machine learning for security
- Computer security visualization techniques
- Intrusion detection based on data mining techniques
- Online money laundering and underground economy
- Hardware vulnerabilities
- Binary analysis and reverse engineering
- Security risk assessment, measurement and management
- Network exfiltration
- Security, privacy, and resource management in Wireless Access Networks
(WPAN, WLAN, WLL, etc.)
- Security, Privacy, and Resource Management in Broadband Wireless
Technologies (HSDPA, HSUPA, LTE, WiMAX, WiRAN, etc.)
- Hardware security
- Quantum cryptography
- Privacy-preserving systems
- New attacks against computers and networks
- Denial-of-Service Attacks
- Insider attack detection
- Formal models, analysis, and standards
- Deception systems and honeypots
- Vulnerability analysis
- Secure software development
- Security and Privacy in Next Generation Mobile Networks
- Protocol security
- Network & active defenses
- Malware and botnet analysis, detection, and mitigation
- PHY/MAC/Routing/Transport/Application layer Protocols and Security
- Tamper-resistant device technologies
- Smartphone and other embedded systems security
- Fraudulent usage, prevention of traffic analysis
- Cryptography, key management, authorization and access control
- False data injection, detection and mitigation
- Performance evaluation, performance/security tradeoff analysis
- Modern infrastructure for cities(roads, power plants, water treatment
plants, sewage systems, transit systems)
- Energy Efficiency including non-conventional energy management
- Green Environment including E-Waste Management, Hospital Management
etc
- Electro-mobility
- Public key and conventional algorithms and their implementations
- Distributed systems security
- Cyber and Cross-Domain (power to cyber) security event detection,
analysis and response
- DoS/DDoS resiliency
- Cloud security
- Embedded systems security
- Security design and verification tools

Submission Procedure
Researchers and practitioners are invited to submit on or before March
5, 2016 (Extended), a 2-3 page chapter proposal clearly explaining the
mission and concerns of his or her proposed chapter. Authors of accepted
proposals will be notified by March 10, 2016 about the status of their
proposals and sent chapter guidelines. Full chapters are expected to be
submitted by May 15, 2016. All submitted chapters will be reviewed on a
double-blind review basis. Contributors may also be requested to serve
as reviewers for this project. Chapters with multiple authors are
welcome, even encouraged.

Propose a Chapter :
http://www.igi-global.com/publish/call-for-papers/submit/2020

Publisher
This book is scheduled to be published by IGI Global (formerly Idea
Group Inc.), publisher of the "Information Science Reference" (formerly
Idea Group Reference), "Medical Information Science Reference,"
"Business Science Reference," and "Engineering Science Reference"
imprints. For additional information regarding the publisher, please
visit www.igi-global.com. This publication is anticipated to be released
in 2016.


Important Dates
March 5, 2016: Proposal Submission Deadline (Extended)
March 10, 2016: Notification of Acceptance
May 15, 2016: Full Chapter Submission
July 30, 2016: Review Results Returned
September 01, 2016: Final Acceptance Notification
September 15, 2016: Final Chapter Submission

Editors

Mohamed Amine Ferrag (Ph.D.)
Department of Computer Science
Faculty of Mathematics, Computer Science, and Material Science
Guelma University
BP 401 Guelma 24000 – Algeria
Tel.: +2137 96 96 14 53
E-mail: mohamed.amine.ferrag@gmail.com

Ahmed Ahmim (Ph.D.)
Department of Mathematics and Computer Science,
Faculty of Exact Sciences and Sciences of Nature and Life
University of Larbi Tebessi,
Route of Constantine, Tebessa 12000 – Algeria
Tel.: + 213 5 55 86 70 65
E-mail: a.ahmim@gmail.com

__________________________________________________
Dr. Mohamed Amine Ferrag
Assistant Professor
Department of Computer Science
Guelma University
BP 401 Guelma 24000, Algeria
Tel. : +213 796 961 453
E-mails: maferrag@outlook.fr / mohamed.amine.ferrag@gmail.com
maferrag@lrs-annaba.net
HomePage : https://sites.google.com/site/mohamedamineferrag/
____________________________________________________


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

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 96, Issue 32
**************************************

Thursday, February 25, 2016

dmanet Digest, Vol 96, Issue 31

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. AAIM 2016 - Final Deadline Extension (Riccardo Dondi)


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

Message: 1
Date: Wed, 24 Feb 2016 10:12:24 +0100
From: Riccardo Dondi <riccardo.dondi@unibg.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] AAIM 2016 - Final Deadline Extension
Message-ID:
<CAJMEsUChyTLUqqJH_nnDm+Ty+CdWMXoffLqC5e9xeKec5Qc0iQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

------------------------------------------------------
AAIM 2016 Call for Papers
------------------------------------------------------

The submission deadline has been extended to February 29.


AAIM 2016 Conference July 18-20, 2016
Bergamo University, Bergamo, Italy
http://aaim2016.wordpress.com/


The Eleventh International Conference on Algorithmic Aspects of
Information and Management will be hosted by University of Bergamo.
The conference will provide a forum on current trends of research on
algorithms, data structures, operation research, combinatorial
optimization and their applications.
AAIM will bring together international experts at the research
frontiers in these areas to exchange ideas and to present significant
new results.
Interesting new results in all areas of algorithm design, operation
research and combinatorial optimization and their applications are
welcome. Both theoretical and experimental/applied works of general
algorithmic interest are sought. Special considerations will be given
to algorithmic research that is motivated by real-world applications.
Experimental and applied papers are expected to show convincingly the
usefulness and efficiency of the target algorithms in practical
settings.

Typical, but not exclusive, topics of interest include:

Algorithms and data structures;
Algorithmic game theory and incentive analysis;
Approximation algorithms and online algorithms;
Automata, languages, logic, and computability;
Bioinformatics, computational biology and medicine, and biomedical
applications;
Biomedical imaging algorithms;
Combinatorial optimization;
Combinatorics and discrete structures related to algorithms and complexity;
Communication networks and optimization;
Complexity theory;
Computational algebra, geometry, number theory, and statistics;
Computational learning theory, knowledge discovery, and data mining;
Cryptography, reliability, and security;
Database theory, large databases, and natural language processing;
Experimental algorithmic methodologies;
Geometric information processing and communication;
Graph algorithms and theory;
Graph drawing and information visualization;
Internet algorithms and protocols;
Large graph algorithms and social network analysis;
Optimization algorithms in economic and operations research;
Parallel and distributed computing and multicore algorithms;
Parameterized algorithms, heuristics, and analysis;
Pattern recognition algorithms;
Trustworthy algorithms and trustworthy software.


Important Dates:


Paper firm submission deadline: February 29, 2016 (anywhere on Earth)
Author Notification: April 7, 2016
Final Manuscript Due: April 22, 2016
Conference: July 18-20, 2016

Submissions:

AAIM 2016 will only accept electronic (PS or PDF) submissions via easychair:
https://easychair.org/conferences/?conf=aaim2016

E-mails will be sent to the authors to confirm the receipt of their
submissions within 24 hours. For any problem or question on
submissions, please send e-mails to aaim2016@easychair.org

Only previously unpublished new results will be considered for
publication. Papers that have already been published or simultaneously
submitted at another journal or conference (with published
proceedings) will not be considered.

A submission should start with the title of the paper, each author's
name, affiliation, and e-mail address, and a one-paragraph summary of
the results. This should be followed by 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 or
related work should be presented. The paper should not exceed 12
pages, including bibliography, formatted for letter-size paper using
11 point or larger font, with at least one inch margins around.
Additional details can be included in a clearly marked appendix, to be
consulted at the discretion of program committee members. The appendix
is not included in the page limit, and will not be published in the
conference proceedings.

Submissions that deviate significantly from these guidelines or are
unprintable risk rejection without consideration of their merit.

At least one author of an accepted paper is expected to present the
paper at the conference as a registered participant.

The Proceedings of the Conference will be published by Springer in the
Lecture Notes in Computer Science (LNCS) series, and will be available
for distribution at the conference.

Special Issues:
Selected high quality papers will be invited to a special issue of
Theoretical Computer Science. The invited papers will go through the
normal reviewing process.


Invited Speakers:

Roberto Grossi, Università di Pisa
Stéphane Vialette, Université Paris-Est Marne-la-Vallée

Program Committee

Francine Blanchet-Sadri (University of North Carolina)
Laurent Bulteau (University of Paris-Est Marne-la-Vallée)
Cedric Chauve (Simon Fraser University)
Zhi-Zhong Chen (Tokyo Denki University)
Marek Chrobak (University of California, Riverside)
Ferdinando Cicalese (University of Verona)
Pierluigi Crescenzi (Università degli Studi di Firenze)
Peter Damaschke (Chalmers University of Technology)
Bhaskar Dasgupta (University of Illinois at Chicago)
Riccardo Dondi (Università degli Studi di Bergamo) co-chair
Nadia El-Mabrouk (University of Montreal)
Michael R. Fellows (Charles Darwin University)
Guillaume Fertin (University of Nantes) co-chair
Irene Finocchi (University of Rome "La Sapienza")
Pawel Gorecki (University of Warsaw)
Inge Li Gørtz (Technical University of Denmark)
Frederic Havet (CNRS, Sophia-Antipolis)
Danny Hermelin (Ben-Gurion University of the Negev)
Jesper Jansson (Kyoto University)
Minghui Jiang (Utah State University)
Christian Komusiewicz (TU Berlin)
Moshe Lewenstein (Bar Ilan University)
Giancarlo Mauri (University of Milano-Bicocca) co-chair
Martin Milanic (University of Primorska)
Rolf Niedermeier (TU Berlin)
Daniel Paulusma (Durham University)
David Peleg (The Weizmann Institute)
Marcin Pilipczuk (University of Warsaw)
Romeo Rizzi (University of Verona)
Marie-France Sagot (INRIA Grenoble Rhône-Alpes and Université de Lyon 1)
Saket Saurabh (The Institute of Mathematical Sciences, Chennai)
Marinella Sciortino (University of Palermo)
Florian Sikora (University of Paris-Dauphine)
Ioan Todinca (Université d'Orléans)
Leo van Iersel (Delft University of Technology)
Rossano Venturini (Università di Pisa)
Lusheng Wang (City University of Hong Kong)
Binhai Zhu (Montana State University)

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

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 96, Issue 31
**************************************