Monday, February 29, 2016

[DMANET] Workshop on Probabilistic and Extremal Combinatorics, 13-17 June 2016, Monash University, Melbourne, Australia

Probabilistic and Extremal Combinatorics Downunder

You are cordially invited to attend this workshop, which is to be at
held at Monash University, Melbourne, Australia, on 13-17 June 2016.

Invited speakers include:

Noga Alon, Tel Aviv University
Amin Coja-Oghlan, Goethe University
David Conlon, Oxford University
Michael Drmota, Technische Universität Wien
Catherine Greenhill, University of New South Wales
Jim Fill, Johns Hopkins University
Penny Haxell, University of Waterloo
Tomasz Łuczak, Adam Mickiewicz University
Mihyun Kang, Graz University of Technology
Alexandr Kostochka, University of Illinois at Urbana-Champaign
Michael Krivelevich, Tel Aviv University
Colin McDiarmid, Oxford University
Dhruv Mubayi, University of Illinois at Chicago
Sang-il Oum, KAIST
János Pach, EPFL Lausanne
Prasad Tetali, Georgia Institute of Technology
Lutz Warnke, University of Cambridge

For further information including registration details, please see
http://users.monash.edu.au/~davidwo/Downunder/

Organisers: Jane Gao (Monash), Brendan McKay (ANU), David Wood (Monash),
Nick Wormald (Monash)


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] FINAL DEADLINE FOR ABSTRACTS - EngOpt 2016. Iguassu Falls, Brazil - 5th Int. Conf. on Engineering Optimization

Dear colleague,

Due to many requests received,

The final deadline for Abstracts Submission was extended to 7th March 2016.

Please submit your abstract in our site: www.engopt.org

•7th March 2016 - Is the final deadline for the short abstracts submission. Thesewill be included in the
proceedings book of the conference (Up to 3200 characters including spaces, written in
plain text,  without mathematical formulas).

•Notification for abstracts acceptance: 15 days after submission

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

Since Iguassu Falls is a main touristic destination in Brazil, we urge participants

to make conference and travel arrangements as soon as possible.

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

"EngOpt 2016", the 5th International Conference on Engineering Optimization"

will take place at Iguassu Falls, Brazil, from 19th to 23rd June 2016.

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

EngOpt is endorsed by:

EUROPT - EURO Working Group on Continuous Optimization 

IACM - International Association for Computational Mechanics 

ISSMO - International Society for Structural and Multidisciplinary
       Optimization

IFORS - International Federation of Operational Research Societies

MOS - Mathematical Optimization Society  
 

______________________________________________________________________

UPDATED INFORMATION ABOUT ACOMODATIONS IS NOW AVAILABLE IN OUR SITE

EngOpt 2016 obtained special rates for the participants of the Conference
at Rafain Palace Hotel & Convention.These rates are for a limited number of rooms.

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

About Rafain Palace Hotel & Convention Center:

Featuring tennis and soccer courts, 3 pools and a hot tub, Rafain Palace Hotel &
Convention Center is at 5 km from the Paraguayan border and 20 km
from Iguassu Falls. Itaipu Hydroelectric Plant is 7 km away, and parking is free.

With a rich selection of breads, hot dishes and fruits, buffet breakfast is served
daily at Itamuri Restaurant. À la carte dishes from Brazilian and international
cuisines are served throughout the day. American Bar and the pool bar serve drinks,
snacks and ice-creams.

Children can have fun at the playground or with the entertainment staff. Other hotel
amenities include a gym, sauna and gift shop.

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

About registration fees:

Participant Fees include: Conference proceedings, attendance at all scientific
sessions, coffee breaks, self-service buffet lunch the four days of the conference,
welcome reception and banquet.

Full time Student Fees include: Conference proceedings, attendance at all scientific
sessions, coffee breaks, self-service buffet lunch the four days of the conference and
welcome reception

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

EngOpt: A forum for Engineers, Mathematicians and Computer Scientists to share
research and innovations, promoting interdisciplinary activities in all
fields of Engineering Optimization.
_______________________________________________________________________

________________________________________________________________________

Visit our website: www.engopt.org.

_________________________________________________________________________

With my best wishes,

Jose Herskovits
COPPE/Federal University of Rio de Janeiro
engopt@optimize.ufrj.br


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] EURO 2016 - session "VeRoLog: Vehicle Routing Problems with Compartments" - Deadline in ONE DAY!

** Abstract submission deadline is in ONE DAY (March 1st,
2016) !! **

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


28th European Conference on Operational Research
(EURO 2016)
Invitation to submit a paper for the session VeRoLog: Vehicle Routing
Problems with Compartments

Abstract submission deadline: March 1st, 2016
==================================================================================================


Dear Colleagues,

this is to kindly invite you to submit an abstract to the session


VeRoLog: Vehicle Routing Problems with Compartments


a part of the stream: Vehicle Routing and Logistics Optimization (area:
Routing, Location, Logistics and Transportation) of the


28th European Conference on Operational Research (EURO 2016)


which will be held on July 3-6, 2016 at the University of Technology of
Poznań, Poland (https://www.euro-online.org/conf/euro28).

In order to submit your abstract, please follow these steps:

* visit https://www.euro-online.org/conf/euro28
* log in with your username and password. If you do not have a
euro-online.org account, you will find a link to help you create one
* click on Abstract Submission on the left
* choose the option Abstract in an organized session, specify the
submission code 979e9538 and click Submit invited abstract

Please keep in mind that:

* the abstract must be a plain text one (no mathematical notations
nor formulas) of no more than 1500 characters and written in English
* the submission deadline is March 1st, 2016

You can find more details by visiting
http://www.euro2016.poznan.pl/abstract-submission/ .
Please do not hesitate to contact me for whichever question.

Kindest regards,
Paolo Gianessi (paolo.gianessi_at_emse.fr)


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] ICITS 2016 (9th International Conference on Information Theoretic Security)- CFP

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

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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] IPCO 2016: Call for Poster Presentations

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/>

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Sunday, February 28, 2016

[DMANET] TAMC 2016 - Paper submission deadline Mar. 6, 2016

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]


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Data Science in Optimisation Stream at EURO 2016 (Poznan, 3-6 July)

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.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CFP: COCOON'16: The 22nd International Computing and Combinatorics Conference

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


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Diagrams 2016 Graduate Symposium CFP

-----
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.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] 2016 PhD Summer School in Discrete Mathematics - June 26 - July 2, 2016, Rogla, Slovenia

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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] DEBS 2016 - Abstract deadline in one day!

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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

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

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


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Saturday, February 27, 2016

[DMANET] Doctoral Studentships at the Alan Turing Institute, starting in October 2016

===========================================
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/

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] SAGT 2016 - Call for Papers

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


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] SPIN 2016 - Call for Participation - Early registration deadline 1 March 2016

======================================================================
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>.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Friday, February 26, 2016

[DMANET] ETAPS 2016 early registration deadline 1 March approaching

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.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

from Martin Noellenburg: CFP: Graph Drawing and Network Visualization GD 2016

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

Call for Papers

GD 2016

24th International Symposium on
Graph Drawing and Network Visualization

September 19-21, 2016 – Athens, Greece
http://algo.math.ntua.gr/~gd2016/

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

PDF version: http://algo.math.ntua.gr/~gd2016/data/uploads/gd16-cfp.pdf

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

Graph Drawing is concerned with the geometric representation of graphs and
constitutes the algorithmic core of Network Visualization. Graph Drawing and
Network Visualization are motivated by applications where it is crucial to
visually analyze and interact with relational datasets. Examples of such
application areas include data science, social sciences, Web computing,
information systems, biology, geography, business intelligence, information
security and software engineering.

GD has been the main annual event in this area for more than 20 years. Its
focus is on combinatorial and algorithmic aspects of graph drawing as well as
the design of network visualization systems and interfaces. GD 2016 will be
hosted by the Institute of Communications and Computer Systems, an affiliate of
the National Technical University of Athens from September 19 to 21, 2016 in
Athens, Greece. Researchers and practitioners working on any aspect of graph
drawing and network visualization are invited to contribute papers and posters
and to participate in the symposium and the graph drawing contest.

PAPERS
------

We invite authors to submit papers describing original research of theoretical
or practical significance to graph drawing and network visualization. Regular
papers must be submitted explicitly to one of two distinct tracks. Papers
submitted to one track will not compete with papers submitted to the other
track.

Track 1: Combinatorial and algorithmic aspects
----------------------------------------------

This track is mainly devoted to fundamental graph drawing advances, such as
combinatorial aspects and algorithm design. The range of topics for this track
includes (but is not limited to):

• Design and analysis of graph drawing algorithms
• Geometric graph theory
• Geometric computing
• Planarity and topological graph theory
• Optimization on graphs

Track 2: Experimental, applied, and network visualization aspects
-----------------------------------------------------------------

This track is mainly devoted to the practical aspects of graph drawing, such as
the development of network visualization systems and interfaces in different
application areas. The range of topics for this track includes (but is not
limited to):

• Visualization of graphs and networks in real world applications, including big data
• Engineering of network visualization algorithms and systems
• Experimental results in graph theory and algorithms
• Benchmarks and experimental studies of network visualization systems and user interfaces
• Cognitive studies on graph drawing readability and user interaction
• Interfaces and methods for interacting with graphs

Short papers
------------

Besides regular papers in the two tracks above there will be a separate
category for short papers. In this category it will be possible to submit
theoretical contributions and applied papers of shorter length. Papers in this
category will be assigned a shorter time for presentation during the conference.

Demos
-----

Authors of applied regular and short papers will have the opportunity to show a
demo of their software/system during the poster session.

Submission format
-----------------

All submissions must be formatted using the LaTeX style file for the conference
series Lecture Notes in Computer Science (LNCS) provided by Springer. The
default margins and fonts must not be modified. Submissions that do not comply
with this format risk being rejected. The length of regular papers is limited
to 12 pages (excluding references), while the length of short papers is limited
to 6 pages (excluding references). The claims of the paper should be fully
substantiated, including full proofs or appropriate experimental data. If this
information does not fit within the page limits, the authors should include it
in a clearly marked appendix, whose length is not constrained and which the
reviewers may read at their own discretion.

POSTERS
-------

Submissions of posters on graph drawing, network visualization, and related
areas are also solicited. The poster session will provide a forum for the
communication of late-breaking research results (which may also appear
elsewhere) to the graph drawing community. Authors of posters should prepare an
abstract (up to two pages in the LNCS style) that must be submitted together
with the poster itself.

CONTEST
-------

Details about the traditional Graph Drawing Contest held at the conference will
be provided on the conference Web site.

PUBLICATION
-----------

All accepted papers will appear in the conference proceedings, published by
Springer in the Lecture Notes in Computer Science (LNCS) series and, following
a green open access policy, as a conference index on the arXiv repository. The
LNCS proceedings will be made freely accessible to the GD community upon
publication and openly accessible to anyone after four years. The self-archived
arXiv proceedings will provide immediate and unrestricted open access. Twelve
pages (excluding references) will be allocated for regular papers and six pages
(excluding references) for short papers. Upon submission of the camera-ready
version of accepted papers, the identical paper (optionally including a clearly
marked appendix) must be submitted to the arXiv repository and its arXiv
identifier must be specified for inclusion in the conference index. Abstracts
of accepted posters will also appear in the conference proceedings (two pages),
but will not be made available for indexing. Selected papers will be invited
for submission to a special issue of the Journal of Graph Algorithms and
Applications.

AWARDS
------

For each of the two tracks, the Program Committee of GD 2016 will give a Best
Paper Award. In addition, to recognize the effort of participants to present
their work and to prepare their posters in a clear and elegant way, there will
be a Best Presentation Award and a Best Poster Award voted on by the GD 2016
attendees.


IMPORTANT DATES
---------------

Paper submission deadline June 12 (23:59 PDT)
Notification of paper acceptance July 24
Poster submission deadline August 17 (23:59 PDT)
Notification of poster acceptance August 28
Final versions due September 1
Contest submission deadline September 11
Symposium on Graph Drawing and Network Visualization September 19-21

INVITED SPEAKERS
----------------

Daniel Keim, University of Konstanz, DE
Roger Wattenhofer, ETH Zurich, CH

PROGRAM COMMITTEE
-----------------

Patrizio Angelini, University of Tübingen, DE
Therese Biedl, University of Waterloo, CA
Walter Didimo, University of Perugia, IT
Cody Dunne, IBM Watson Health, USA
David Eppstein, UC Irvine, USA
Jean-Daniel Fekete, INRIA, FR
Stefan Felsner, TU Berlin, DE
Radoslav Fulek, IST Austria, AT
Emden Gansner, Google, USA
Yifan Hu (co-chair), Yahoo Labs, USA
Karsten Klein, Monash University, AU
Stephen Kobourov, University of Arizona, USA
Marc van Kreveld, Utrecht University, NL
Jan Kynčl, Charles University Prague, CZ
Kwan-Liu Ma, UC Davis, USA
Tamara Mchedlidze, Karlsruhe Institute of Technology, DE
Martin Nöllenburg (co-chair), TU Vienna, AT
Stephen North, Infovisible, Oldwick, USA
Maurizio Patrignani, Roma Tre University, IT
Helen Purchase, University of Glasgow, UK
Huamin Qu, HKUST, Hong Kong
Günter Rote, FU Berlin, DE
André Schulz, University of Hagen, DE
Lei Shi, Chinese Academy of Science, CN
Alexandru Telea, University of Groningen, NL

ORGANIZING COMMITTEE
--------------------

Kostas Karpouzis, National Tech. Univ. of Athens, GR
Chrysanthi Raftopoulou, National Tech. Univ. of Athens, GR
Antonios Symvonis (chair), National Tech. Univ. of Athens, GR

CONTEST COMMITTEE
-----------------

Philipp Kindermann, University of Hagen, DE
Maarten Löffler (chair), Utrecht University, NL
Lev Nachmanson, Microsoft Research, USA
Ignaz Rutter, Karlsruhe Institute of Technology, DE

[DMANET] 10th Workshop on REACHABILITY PROBLEMS, RP 2016

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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] 2nd Scottish Combinatorics Meeting, University of Glasgow, 26th-27th April 2016

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.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] DCFS 2016 - Final Call for Papers

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

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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Thursday, February 25, 2016

[DMANET] Lecturer/Senior Lecturer in Mathematics at The University of the West Indies (Barbados)

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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] 8 days to Proposal Submission Deadline -- Book on Security Solutions and Applied Cryptography in Smart Grid Communications

********** 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/
____________________________________________________
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************