Theory Announcements

Saturday, January 9, 2016

[DMANET] CFP: 2016 Joint Workshop on Cyber-Physical Security and Resilience in Smart Grids

**********************
Call for Papers
**********************

Title: 2016 Joint Workshop on Cyber-Physical Security and Resilience in
Smart Grids
Date: 12th April 2016, Vienna, Austria
Workshop Chairs: Anna Magdalena Kosek (DTU, Denmark), Paul Smith (AIT,
Austria), Reinder Wolthuis (TNO, The Netherlands)
Supporting Projects: SPARKS, SEGRID, SALVAGE

This workshop is part of the CPS week 2016, 11th - 14th April 2016,
Vienna, Austria

Workshop Scope
Future power systems and smart grids will include a greater Information
and Communication Technology (ICT) component,
in order to support future energy services. Whilst this prospect has
many benefits, it also makes power systems and
smart grids more vulnerable to cyber-attacks and introduces increasingly
critical dependencies between the cyber
and physical domain of power systems. The purpose of this workshop is to
be a forum for discussion on the key
challenges in ensuring the security and resilience of cyber-physical
smart grids. This multi-disciplinary
workshop is being co-organized by three major European-funded research
projects in the smart grid area,
namely the SALVAGE, SEGRID and SPARKS projects. The workshop will run
for a full day and include a keynote
speech plus regular paper presentations.

Paper Submissions
Submitted papers should not exceed six pages, the workshop language is
English. The submitted papers are required
to comply with the IEEE conference format guidelines
(http://www.ieee.org/conferences_events/conferences/publishing/templates.html).

Please submit your original work via EasyChair submission system
(https://easychair.org/conferences/?conf=cpsrsg2016).
Accepted and presented papers will be submitted to IEEE Xplore
(http://ieeexplore.ieee.org/), subject to final approval
by the conference committee.
Important Dates
Full paper submission deadline: 1st February 2016
Notification deadline: 1st March 2016
Final paper submission deadline: 25th March 2016
Workshop date: 12th April 2016

Links and Resources
Paper guidelines and templates:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
Submit your PDF: https://easychair.org/conferences/?conf=cpsrsg2016
Registration: http://www.cpsweek.org/2016/reg.html
Venue: http://www.cpsweek.org/2016/venue.html

Topics of interest include, but are not limited to
Intrusion detection systems and security analytics for the smart grid
Resilient control of power systems
Security and resilience metrics for the cyber-physical smart grid
Privacy issues and protection schemes for the smart grid
(Co-)simulation and testbed environments for analyzing security and
resilience
Cyber vulnerability detection and assessment
Risk analysis of cyber-attacks to smart grids
Security architectures for the smart grid
The economics of security and resilience for the smart grid
Regulatory and legal aspects

Program Committee
Rohan Chabukswar, (UTRC, Ireland)
Mathias Ekstedt (KTH, Sweden)
Frank Fransen (TNO, The Netherlands)
Oliver Gehrke (DTU, Denmark)
Robert Griffin (RSA, Switzerland)
Lucie Langer (AIT, Austria)
Kieran McLaughlin, (Queen's University Belfast, UK)
Nuno Neves (FFCUL, Portugal)
Eugeniusz Rosolowski (PWR, Poland)
Judith Rossebo (ABB, Germany)
Alberto Schaeffer-Filho (UFRGS, Brazil)
André Herdeiro Teixeira (TU Delft, The Netherlands)
Marco Tiloca (SICS, Sweden)

**********************************************************
*
* 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, January 8, 2016

[DMANET] Call for DEBS 2016 Grand Challenge Solutions

Call for DEBS 2016 Grand Challenge Solutions

10th ACM International Conference on Distributed Event-Based Systems,
ACM DEBS 2016, Irvine, CA, USA, June 20-24 2016

http://www.ics.uci.edu/~debs2016/call-grand-challenge.html

The ACM DEBS 2016 Grand Challenge is the sixth in a series of challenges
which
seek to provide a common ground and uniform evaluation criteria for a
competition aimed at both research and industrial event-based systems.
The goal
of the 2016 DEBS Grand Challenge competition is to evaluate event-based
systems
for real-time analytics over high volume data streams in the context of
graph
models.

The underlying scenario addresses the analysis metrics for an evolving
social-
network graph. Specifically, the 2016 Grand Challenge targets the following
problems: (1) identification of the posts that currently trigger the most
activity, and (2) identification of large communities that are currently
involved in a topic. The corresponding queries require continuous
analysis of an
evolving graph structure under the consideration of multiple streams that
reflect updates to the graph.

The data for the DEBS 2016 Grand Challenge is based on the dataset provided
together with the LDBC (http://ldbcouncil.org/) Social Network Benchmark. It
takes up the general scenario from the 2014 SIGMOD Programming contest
but - in
contrasts to the SIGMOD contest - explicitly focuses on processing streaming
data. Details about the data, the queries for the Grand Challenge, and
information about how the challenge will be evaluated are provided below.

PRIZE:

Participants in the 2016 DEBS Grand Challenge will have the chance to
win two
prizes. The first prize is the Grand Challenge Award for the best performing
submission. The winner (or winning team) of the Grand Challenge Award
will be
additionally awarded with a *monetary reward of $1000*. The monetary
reward and
the whole DEBS 2016 Grand Challenge is sponsored by the WSO2
(http://wso2.com/).

The second prize is the Grand Challenge Audience Award - it is
determined based
on the audience feedback provided during the DEBS 2016 conference. The Grand
Challenge Audience Award, as opposed to the overall Grand Challenge
Award, does
not entail any additional monetary reward.

IMPORTANT DATES:

15th December 2015: Challenge announcement

15th January 2016: Evaluation platform made available to registered
participants

3rd April 2016: Evaluation period ends

10th April 2016: Notification of acceptance

1st May 2016: DEBS Camera Ready deadline

For more details please check the DEBS Grand Challenge Website:

http://www.ics.uci.edu/~debs2016/call-grand-challenge.html

[DMANET] EURO Doctoral Dissertation Award 2016

EURO Doctoral Dissertation Award 2016

The EDDA (EURO Doctoral Dissertation Award) is a EURO instrument. It
consists of a prize that is awarded at each EURO-k conference. The purpose
of the prize is to distinguish an outstanding doctoral dissertation in
Operational Research defended in the countries having an OR society that is
a member of EURO. It will be awarded at the closing session of the 28th
European Conference on Operational Research in Poznań.

We invite you to widely disseminate this announcement.

Eligibility of applications

The EDDA 2016 jury will only consider dissertations in Operational Research
defended between 28 February 2015 (i.e., the deadline for the preceding
edition of the prize) and 31 January 2016. The dissertation must have been
defended in a University located in a member country of EURO. The author of
the dissertation must be a member of a member society of EURO.

To be considered, a dissertation should be nominated by the supervisor of
the thesis (one of them in case of multiple supervisors). The supervisor of
the dissertation is asked to provide the jury with the following
information:

-The text of the dissertation;
-An extended abstract (3 to 5 pages) of the dissertation; this abstract
should be written in English and should include precise keywords;
-An itemization of the candidate's contribution to each co-authored article
if the dissertation contains co-authored articles (i.e., published papers
or unpublished manuscripts);
-If the dissertation is not in English, a paper in English which has been
authored or co-authored by the candidate and which describes the core ideas
of the dissertation. This paper should preferably have been published in or
submitted to an international journal;
-Nomination letters (or reports) from two referees selected by the
dissertation supervisor, supporting the submission and stating their
assessment of why the dissertation should win the award;
-An up-to-date CV of the candidate, including a list of publications.

No nomination will be considered without these items.

Since many doctoral dissertations in OR are defended each year, the jury
would like to remind supervisors that only outstanding pieces of work have
a reasonable chance of winning the award.

Jury

The jury consists of:

Ahti Salo (Finland) - chair
Richard Hartl (Austria)
Bernardo Almada-Lobo (Portugal)
Karl Schmedders (Switzerland)
Emilio Carrizosa (Spain)

Selection process

The selection process consists of two phases.

Phase 1:

The material for each dissertation is studied by several members of the
jury. The jury selects a shortlist of three finalists. In its evaluation,
the jury takes the following criteria into account:

Originality and novelty of the subject;
Pertinence of the subject for OR;
Depth and breadth of the results;
Contributions of the dissertation to the theory and practice of OR;
Applications and/or potential applicability of the results;
Impact on related fields;
Quality of the related publications.

Phase 2:

These 3 finalists are invited to present their contribution in front of the
jury and any other interested participants during a special EDDA session
scheduled at the EURO 2016 conference. The jury selects the final laureate
after the session.

Award

The prize consists of a certificate and reward of €1,000.

There is no registration fee for each of the finalists at the EURO 2016
conference which they are expected to attend. EURO will also contribute to
their travel and accommodation expenses.

Deadlines

Please submit the material (zipped file) online on
http://www.euro-online.org/awards/edda2016/registration.php before January
31, 2016.

The nomination of the three finalists will be made public before 15 April
2016.

Contact

Ahti Salo
Systems Analysis Laboratory
Department of Mathematics and Systems Analysis
Aalto University School of Science
P.O. Box 11100
00076 Aalto
Finland
ahti.salo@aalto.fi

--
Dr Sarah Fores
Manager of EURO

[DMANET] EURO Excellence in Practice Award 2016

Thursday, January 7, 2016

[DMANET] ICADIWT 2016

The Seventh International Conference on the Applications of Digital
Information and Web Technologies (ICADIWT 2016)
National Taipei University, Taipei
Taiwan
(March 29-31, 2016)
Proceedings will be published in IOS Press series (Frontiers in
Artificial Intelligence and Applications (FAIA)

The Seventh International Conference on the Applications of Digital
Information and Web Technologies (ICADIWT 2016) is a forum for
scientists, engineers, and practitioners to present their latest
research results, ideas, developments and applications in the areas of
Computer Communications, Communication networks, Communication Software
Communication Technologies and Applications, and other related themes.

This conference (ICADIWT Edition VI) will include presentations of
contributed papers and state-of-the-art lectures by invited keynote
speakers.

This conference welcomes papers address on, but not limited to, the
following research topics:

Internet Communication
Internet Technologies
Web Applications
Internet Software
Data Access and Transmission
Digital Communication Software
Digital Networks
Web Communication Interfaces
Internet Content Processing
Internet of Things
Internet of Everything
Data Communication
Databases and applications
Web Systems Engineering Design
Intelligent Agent systems
Semantic Web Studies
Adaptive Web applications and personalization
Navigation and hypermedia
Digital signal processing
Communication and control systems and networks
Hardware and software solutions
Innovative eHealth, Applications and Products
Medical Image Analysis and Biomedical Visualization
Computer-Aided Diagnosis
Telemedicine, Telehealth and Remote Monitoring
Human factor
Software reliability
Computational Intelligence
Data mining and Knowledge discovery
Education, e-learning

Proceedings:

The accepted full papers will be published in the IOS series (Frontiers
in Artificial Intelligence and Applications (FAIA))and submitted for
inclusion in many indexes. Accepted full papers will be submitted for
indexing to multiple abstract and indexing partners. The papers will be
indexed in many databases as given at
http://www.frontiersinai.com/?q=indexing (papers in EI will be indexed
as Journal Article)

All the accepted papers will be published in Scopus and or SCI indexed
journals

Journal of Computer and System Sciences/ (ISI/Scopus)
Journal of Digital Information Management (Scopus/EI)
International Journal of Computational Science and Engineering (Scopus
and EI Indexed)
Decision Analytics
International Journal of Big Data Intelligence
International Journal of Applied Decision Sciences (Scopus/EI)
International Journal of Management and Decision Making (Scopus/EI)
International Journal of Strategic Decision Sciences
International Journal of Enterprise Information Systems (Scopus/EI)
Important Dates

Submission of papers January 08, 2016
Notification February 05, 2015
Camera ready February 28, 2016
Registration February 28, 2016
Conference Dates March 29-31, 2016

Honorary Chair
Dalton Lin, National Taipei University, Taiwan
Jang-Ping Sheu, National Tsing Hua University, Taiwan
Vincenzo Piuri, Università degli Studi di Milano, Italy

General Chairs
Yao-Liang Chung, National Taipei University, Taiwan
Jolanta Mizera-Pietraszko, Opole University, Poland

General Co-Chair
Tong-Ying Juang, National Taipei University, Taiwan

Advisory Chair
Rong-Lin Shen, National Taipei University, Taiwan
Nen-Fu Huang, National Tsing Hua University, Taiwan
Tsern-Huei Lee, National Chiao Tung University, Taiwan

Program Chairs
Simon Fong, University of Macau, Macau
Jung-Shyr Wu, National Central University, Taiwan
Tsung-Nan Lin, National Taiwan University, Taiwan

Program Co-Chairs
Adrian Florea, University "Lucian Blaga" of Sibiu, Romania
Chih-Lin Hu, National Central University, Taiwan

submissions at http://www.socio.org.uk/icadiwt/paper-submission/
Email: icadiwt@socio.org.uk
----------------------------------------------------
**********************************************************
*
* 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] Deadline Extension: SMART 2016 and URBAN COMPUTING 2016 || May 22 - 26, 2016 - Valencia, Spain

INVITATION:

=================
The submission deadline has been extended to January 19, 2016.

Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:

- SMART 2016, The Fifth International Conference on Smart Cities, Systems, Devices and Technologies

- URBAN COMPUTING 2016, The International Symposium on Emerging Frontiers of Urban Computing and Smart Cities

Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================

============== SMART 2016 | URBAN COMPUTING 2016 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

SMART 2016, The Fifth International Conference on Smart Cities, Systems, Devices and Technologies
General page: http://www.iaria.org/conferences2016/SMART16.html
Submission page: http://www.iaria.org/conferences2016/SubmitSMART16.html

URBAN COMPUTING 2016, The International Symposium on Emerging Frontiers of Urban Computing and Smart Cities
General page: http://www.iaria.org/conferences2016/URBANCOMPUTING.html
Submission page: http://www.iaria.org/conferences2016/URBANCOMPUTING.html#SubmitAPaper

Events schedule: May 22 - 26, 2016 - Valencia, Spain

Contributions:
- regular papers [in the proceedings, digital library]
- short papers (work in progress) [in the proceedings, digital library]
- ideas: two pages [in the proceedings, digital library]
- extended abstracts: two pages [in the proceedings, digital library]
- posters: two pages [in the proceedings, digital library]
- posters: slide only [slide-deck posted at www.iaria.org]
- presentations: slide only [slide-deck posted at www.iaria.org]
- demos: two pages [posted at www.iaria.org]
- doctoral forum submissions: [in the proceedings, digital library]

Proposals for:
- mini symposia: see http://www.iaria.org/symposium.html
- workshops: see http://www.iaria.org/workshop.html
- tutorials: [slide-deck posed on www.iaria.org]
- panels: [slide-deck posed on www.iaria.org]

Submission deadline: January 19, 2016

Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org

The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.

All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.

Before submission, please check and comply with the editorial rules: http://www.iaria.org/editorialrules.html

SMART 2016 Topics (for topics and submission details: see CfP on the site)

Call for Papers: http://www.iaria.org/conferences2016/CfPSMART16.html

============================================================
Future cities
Digital cities
Senseable city networks
Smart houses
Dynamic urban communications
Knowledge on urban economy
Public display and search
Indoor communications
SHUI (Smart Home User Interfaces)
Smart mobility
Pervasive urban applications
Ubiquitous computing in digital cities
Mobile crowdsourcing applications
Rural communications
Ambient assisted living
Smart multimedia services
Smart antennas
Smart urban electric cars
Smart atmospheric and population migration measurements
Smart energy and optimal consumption
Smart hones
Smart spaces
Micro-payments and Ticketing by NFC mobile device
Ecological cities
Interactions between smart cities
Health informatics in smart cities
Mobility monitoring and control in smart environments
Navigating in smart environments
Smart information processing
Smart analytics
Internet of things in smart environments
Social networking in smart environments
Use Cases for Smart Homes/Cities
Sociocultural challenges in smart environments
Costs associated with smart cities
Citizen tracking systems
Animal tracking systems
Smart systems for animals behavior

URBAN COMPUTING 2016 Topics (for topics and submission details: see CfP on the site)

CfP: http://www.iaria.org/conferences2016/URBANCOMPUTING.html#CallForPapers

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

COMPUTING
Navigating the Urban jungle with SmartPhones
Crowdsourced data acquisition in the City
Enhancing City quality of life through mobile services
Urban computing and the Internet of Things
User-data interaction (interfaces, tools, other �sense-making� applications for users to use, mesh or create data)
Using data in heterogeneous environments (towards standard on system integration in Urban computing)
Urban Computing and Smart Cities

METERING
Metering infrastructure and Smart Cites
Architectures and protocols for (wireless) smart metering
Semantic sensing (Web sensors) for Urban information gathering
Smart buildings and green-oriented sensing
Smart grid and Urban energy distribution
Urban utility metering (gas, water, electricity, etc.)
Sensing urban mobility
Reliability and security/trust in Urban metering
Monitoring Big/Linked data metering
Standards for Smart Urban metering
Case studies

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

SMART 2016 Committee: http://www.iaria.org/conferences2016/ComSMART16.html

SMART General Chair
Sandra Sendra Compte, Polytechnic University of Valencia, Spain

SMART Advisory Committee
Wolfgang Leister, Norsk Regnesentral, Norway
Hoyoung Jeung, SAP Research Brisbane, Australia
Petri Koskelainen, Nokia - Sunnyvale, USA
Sherali Zeadally, University of Kentucky, USA
Susana Sargento, University of Aveiro/Institute of Telecommunications, Portugal
Rich Simpson, University of Pittsburgh, USA
Lasse Berntzen, Buskerud and Vestfold University College, Norway
Jeffrey Soar, University of Southern Queensland, Australia
Jerker Delsing, Lulea University of Technology, Sweden
Krishna Kant, George Mason University, USA
Luigi Patrono, University of Salento, Italy
Dmitry Namiot, Lomonosov Moscow State University, Russia
Francine Krief, University of Bordeaux, France
Pascal Urien, T�l�com ParisTech, France

SMART Industry/Research Chairs
Christian Prehofer, Kompetenzfeldleiter Adaptive Kommunikationssysteme / Fraunhofer-Einrichtung f�r Systeme der Kommunikationstechnik ESK � M�nchen, Germany
Ryosuke Ando, TTRI (Toyota Transportation Research Institute), Japan
Petko Bakalov - Environmental Systems Research Institute, USA
Gregor Broll, DOCOMO Euro-Labs, Germany
Yang Cui, Huawei Technologies - Beijing, China
Rodolfo de Paz Alberola, United Technologies Research Center Ireland � Cork, Ireland
Marko Jaakola, VTT Technical Research Centre of Finland, Finland
Hoyoung Jeung, SAP Research Brisbane, Australia
Lieven Trappeniers, Bell Labs Alcatel-Lucent, Belgium
Chengyang Zhang, Teradata Inc., USA
Fabio Pianesi, Fondazione Bruno Kessler - Trento, Italy
Fabio Moretti, ENEA, Italy

URBAN COMPUTING 2016 Committee: http://www.iaria.org/conferences2016/URBANCOMPUTING.html#Committees

URBAN COMPUTING 2016 Advisory Committee
Yi Pan, Georgia State University, USA
Amnon Dekel, The Hebrew University Jerusalem, Israel
Yan Cimon, University Laval, Quebec-City, Canada
Roberto de Bonis, Telecom Italia, Italy
====================

Wednesday, January 6, 2016

[DMANET] Paper Submission Deadline Approaching - GCIRE2016 Philippines

The Second International Conference on Green Computing, Intelligent and
Renewable Energies (GCIRE2016)

University of Perpetual Help System DALTA
Las Piñas-Manila, Philippines
February 24-26, 2016

http://sdiwc.net/conferences/gcire2016/
=======================================
The event will be held over three days with presentations delivered by
researchers from the international community, including presentations from
keynote speakers and state-of-the-art lectures. All registered papers will
be included in the SDIWC Digital Library.

RESEARCH TOPICS INCLUDES ( BUT ARE NOT LIMITED TO):

- Benefits of, and barriers to, adopting greener IT practices
- Carbon metering and user feedback
- Climate and ecosystem monitoring
- Energy harvesting, storage, and recycling
- Energy-aware high performance computing and applications
- Energy-aware software
- Energy-efficient network services and operations
- Green IT metrics, maturity models, standards, and regulations
- Green computing models, methodologies and paradigms
- Green networking and communication
- Life-cycle analysis of IT equipment
- Management and profiling tools for energy efficient systems
- Modeling-representations, simulation and validation for energy
consumption optimization problems
- Online dynamic optimization for energy efficient systems
- Power-aware algorithms and protocols
- Power-efficient delivery and cooling
- Renewable energy models and prediction
- Smart buildings and urban development
- Smart homes, buildings, offices, streets
- Stability of smart energy systems
- Using IT to reduce carbon emissions
- Carbon management policies and ecology- related issues with ICT
- Characterization, metrics, and modeling
- Creating green awareness using IT
- Energy-aware computing
- Energy-aware large scale distributed systems, such as Grids, Clouds and
service computing
- Energy-efficient mass data storage and processing
- Governments' roles in fostering and enforcing green initiatives
- Green business process reengineering and management
- Green design, manufacture, use, disposal, and recycling of computers and
communication systems
- Green software engineering
- Low-power electronics and systems
- Matching energy supply and demand
- Network design optimization
- Optimization of energy-efficient protocols
- Power-aware software and hardware
- Reliability, thermal behavior and control
- Robustness and performance guarantees
- Smart grid and microgrids
- Smart transportation and manufacturing
- Sustainable computing

SPECIAL ISSUES:

- International Journal of New Computer Architectures and their
Applications (IJNCAA); EISSN 2220-9085, ISSN 2412-3587
- International Journal of Cyber-Security and Digital Forensics (IJCSDF);
EISSN 2225-658X, ISSN 2412-6551
- International Journal of Digital Information and Wireless Communications
(IJDIWC); EISSN 2305-0012
- International Journal of New Computer Architectures and their
Applications (IJNCAA); EISSN 2410-0439

SUBMISSION GUIDELINES:

- Researchers are encouraged to submit their work electronically as pdf
format without author(s) name.
- Full paper must be submitted (abstracts are not acceptable).
- Submitted paper should not exceed 15 pages, including illustrations and
must be without page numbers.
- Paper submission link:
http://sdiwc.net/conferences/gcire2016/paper-submission/

IMPORTANT DATES:

Submission Deadline: January 24, 2016
Acceptance Notification:2-3 weeks from the submission date or Feb. 3, 2016
Camera Ready Deadline: February 14, 2016
Registration Deadline: February 14, 2016
Conference Dates: February 24 - 26, 2016

Please see co-event conferences to be held in the Philippines:
* The International Conference on Innovations in Intelligent Systems and
Computing Technologies (ICIISCT2016)
* The Second International Conference on Electrical and Electronic
Engineering, Telecommunication Engineering, and Mechatronics (EEETEM2016)

[DMANET] Call for Nominations: Principles of Distributed Computing Doctoral Dissertation Award 2016

The Principles of Distributed Computing Doctoral Dissertation Award was created in 2012 to acknowledge and promote outstanding research by doctoral (Ph.D.) students on the principles of Distributed Computing.

Nominations for the 2016 dissertation award are now open, and will close on February 29, 2016. A decision will be announced by May 31, 2016. The 2016 award will be presented at DISC 2016.

To be eligible for the 2016 award, a nominated dissertation must have been successfully defended in the period January 1st, 2014 through December 31st, 2015. More details about the award, rules, formats, and past years awards can be found at http://www.podc.org/dissertation/ <http://www.podc.org/dissertation/>

Nominations are accepted via e-mail to the 2016 award committee chair, Andrzej Pelc, pelc@uqo.ca <mailto:pelc@uqo.ca>. All required documents should be in a single .zip file.

Sincerely,

The 2016 award committee,

Yoram Moses [2015 DISC PC chair]
Andrzej Pelc (chair) [2007 DISC PC chair]
Paul Spirakis [2015 PODC PC chair]
Roger Wattenhofer [2007 PODC PC chair]
**********************************************************
*
* 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] Deadline approaching: postdoc position in Probability at the University of Bath

Dear colleagues,

We have a 3-year postdoc position available in Probability.
For more information, see below and
http://www.bath.ac.uk/jobs/Vacancy.aspx?ref=FY3536

The deadline is 20th January.

Please pass this to potential candidates and local mailing lists.
Thank you very much.

Best wishes,

Alexandre

Postdoc in probability at the University of Bath, UK

A postdoc (research associate) position is available in the area of
probability starting from 1st October 2016, or a date to be agreed (but no
sooner than 1st April 2016).
The position will be available for up to 3 years.

The position is funded by the EPSRC fellowship "Mathematical analysis of
strongly correlated processes on discrete dynamic structures" of Dr.
Alexandre Stauffer.
The area of research will be centered on the mathematical analysis of
random large-scale interacting systems, such as interacting particle
systems, random walks and other stochastic processes in random or dynamic
environments, percolation, spin systems, and dynamically evolving graphs.

The ideal candidate is expected to have a strong background in probability
theory, and have a PhD in mathematics, theoretical computer science or
related areas.

The successful applicant will be associated with the probability laboratory
(Prob-L@B) of the Department of Mathematical Sciences at the University of
Bath. Prob-L@B is one of the world's most vibrant probability groups, with
eight permanent members, a large cohort of PhD students and postdocs, and a
large number of different research activities and international visitors.

Applications made to the on-line system should include:
* an updated curriculum vitae (with publication list),
* the names and contact details of three academic referees,
* a one-page research statement describing your research interests, your
experience in the area of the position and your career aspirations.

Deadline for applications: 20th January 2016.
To apply, go to http://www.bath.ac.uk/jobs/Vacancy.aspx?ref=FY3536
Interview of short-listed applicants is expected to take place in the week
of 15th February 2016.

For informal enquiries please contact Dr. Alexandre Stauffer (
a.stauffer@bath.ac.uk).
For more information visit the website of Dr. Alexandre Stauffer (
http://people.bath.ac.uk/ados20/) and Prob-L@B (
http://www.bath.ac.uk/research/centres/probability-laboratory/).

[DMANET] STACS 2016 - call for participation

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

STACS 2016 - Call for Participation

33rd International Symposium on Theoretical Aspects of Computer Science
February 17-20, 2016, Orléans, France

========================================================================
Early registration fee until January 14, 2016
http://www.univ-orleans.fr/lifo/events/STACS2016/
========================================================================

The 33rd International Symposium on Theoretical Aspects of Computer Science (STACS 2016) will be held from February 17 to February 20, 2016 (Wednesday through Saturday), on the premises of the Campus of the University of Orléans.

SCIENTIFIC PROGRAM

The program, which will soon be available at http://www.univ-orleans.fr/lifo/events/STACS2016/, is composed of 54 contributed and three invited talks as well as one tutorial.

INVITED SPEAKERS AND TUTORIAL

- Jarkko Kari, Turku: Tutorial on Cellular Automata and Tilings.
- Jérôme Leroux, Bordeaux: Witnesses for Vector Addition Systems.
- Carsten Lutz, Bremen: Complexity and Expressive Power of Ontology-Mediated Queries.
- Virginia Vassilevska Williams: Fine grained complexity and algorithms.

The tutorial is held on Wednesday, February 17, the invited and contributed talks start on Thursday, February 18, at 09:00, and the conference ends on Saturday, February 20, around 13:15.

CONTRIBUTED TALKS

The authors and titles of the 54 accepted papers are available at http://www.univ-orleans.fr/lifo/events/STACS2016/accepted-papers.html

REGISTRATION

Registration is via the conference website http://www.univ-orleans.fr/lifo/events/STACS2016/

Early registration fee (until January 14): 250 euros.
Late registration fee (after January 14): 350 euros.

ACCOMMODATION

On http://www.univ-orleans.fr/lifo/events/STACS2016/travel-information.html, we list several hotels in Orléans which offer special prices. The booking code is "STACS 2016". These preferential prices are only guaranteed if you book directly by contacting the hotels, by phone or by e-mail.

CONTACT INFORMATION

http://www.univ-orleans.fr/lifo/events/STACS2016/ (for general information)
pc-chairs-stacs2016@easychair.org (for scientific matters)
ioan.todinca@univ-orleans.fr (Organizing committee)

Tuesday, January 5, 2016

[DMANET] CFP -- Revised Dates: Diagrams 2016

** EXTENSION -- REVISED DATES DUE TO AUTHOR REQUESTS**
Abstract submissions: 18 January 2016 ** REVISED**
Paper and poster submissions: 25 January 2016 ** REVISED**

Call for Papers: Diagrams 2016

Ninth International Conference on the Theory and Application of Diagrams
http://www.diagrams-conference.org/2016
diagrams2016@diagrams-conference.org<mailto:diagrams2016@diagrams-conference.org>

7th to 10th August, 2016
Philadelphia, Pennsylvania, USA

* CALL FOR PAPERS *

Diagrams is an international interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams. In 2016 it will be held near Philadelphia at the ACE Conference Center in Lafayette Hill, Pennsylvania, USA. Diagrams 2016 will run from 7th of August 2016 to the 10th of August 2016. It will be co-located with Spatial Cognition 2016<http://sites.temple.edu/sc16/> (2-5 August) and Cognitive Science 2016<http://cognitivesciencesociety.org/conference_future.html> (10-13 August).

Diagrams is the only conference series that provides a united forum for all areas that are concerned with the study of diagrams, including architecture, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from almost all these related fields, positioning Diagrams as the major international event in the area. Diagrams 2016 is the ninth conference in the bi-annual series that started in 2000.

Diagrams 2016 will include presentations of refereed papers, posters, tutorials, workshop sessions, and a graduate symposium. We invite submissions that focus on any aspect of diagrams research, as follows:

- long research papers (15 pages)

- short research papers (7 pages)

- posters (3 pages)

- tutorial proposals (2 pages; see the conference web page for full details)

- workshop proposals (2 pages; see the conference web page for full details)

- graduate symposium submissions (3 pages; see the conference web page for full details)

All submissions will be fully peer reviewed. The proceedings, which will include accepted long and short papers and posters, will be published by Springer in their Lecture Notes in Computer Science series, http://www.springer.com/lncs. Submissions will be administered via Easychair with details following on the conference web site. Full details on the preparation of submissions can be found on the conference web site.

Conference topics include, but are not limited to:
- applications of diagrams
- computational models of reasoning with, and interpretation of, diagrams
- design of diagrammatic notations
- diagram understanding by humans or machines
- diagram aesthetics and layout
- educational uses of diagrams
- evaluation of diagrammatic notations
- graphical communication and literacy
- heterogeneous notations involving diagrams
- history of diagrammatic notations
- information visualization using diagrams
- nature of diagrams and diagramming
- novel technologies for diagram use
- psychological issues pertaining to perception, comprehension or production of diagrams
- software to support the use of diagrams
- usability and human-computer interaction issues concerning diagrams

* Submission Dates *

Abstract submissions: 18 January 2016 ** REVISED**
Paper and poster submissions: 25 January 2016 ** REVISED**
Workshop proposal submissions: 18 January 2016
Tutorial proposal submissions: 18 January 2016

Initial Paper Notification (for rebuttal): 19 February 2016
Final Paper Notification: 14 March 2016

Graduate symposium submissions: 21 March 2016

Conference dates: 7 to 10 August 2016

* Organising Committee *

General Chair: Stephanie Schwartz (Millersville University, USA)
Program Chairs: Mateja Jamnik (The University of Cambridge, UK),
Yuri Uesaka (The University of Tokyo, Japan)
Local Chair: Richard Burns (West Chester University, USA)
Workshops and Tutorials Chair: Aidan Delaney (The University of Brighton, UK)
Graduate Symposium Chair: Luana Micallef (Helsinki Institute for Information Technology, Finland)

[DMANET] MINO/COST PhD school on Mixed Integer Nonlinear Optimization

Dear colleagues,

this is the first announcement of the third MINO/COST PhD school on Mixed In=
teger Nonlinear Optimization. The school will be held at CNAM (Paris, France=
) on April 5th to 8th 2016. Some travel grants for students will be sponsore=
d by COST Action TD1270 (http://cost-td1207.zib.de).
2-hour minicourses will be given by:
- Paula Amaral (Universidade Nova de Lisboa, Portugal)
- Pierre Bonami (IBM Spain)
- Jean-Bernard Lasserre (LAAS-CNRS, France)
- Ruth Misener (Imperial College, UK)
- Frederic Roupin (Univ. Paris 13, France)
Research talks or tutorials will be given by:
- Sourour Elloumi ( ENSIIE, France)
- Fabio Furini (Univ. Paris Dauphine, France)
- Amelie Lambert (CNAM, France)
- Emiliano Traversi (Univ. Paris 13, France)

Looking forward to seeing you there!

The organizing committee:
Claudia D=E2=80=99Ambrosio
Sourour Elloumi
Amelie Lambert
Leo Liberti=

[DMANET] ETAPS 2016 satellite workshops joint call for papers

Joint Call for Papers

ETAPS 2016 Satellite Workshops

Eindhoven, The Netherlands, 2-3 and 8 April 2016

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

ETAPS, the European Joint Conferences on Theory and Practice of
Software, is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. The
nineteenth edition, ETAPS 2016, will take place in Eindhoven, The
Netherlands, 2-8 April 2016, and covers besides the main conferences
ESOP, FASE, FOSSACS, POST and TACAS, a large number of satellite
workshops and other events in the fields of Software Engineering,
Formal Methods, Logics of Programs and the Theory of Computation.

This is the joint call for papers for ETAPS 2016 for 21 satellite
workshops with open calls.

ETAPS satellite workshops will take place in the weekend of
Saturday-Sunday, 2-3 April, before the ETAPS main conferences, and on
Friday, 8 April, after them. For more information on ETAPS 2016, see
http://www.etaps.org/2016/.

Bx 2016: 5th International Workshop on Bidirectional Transformations,
8 April, organized by Anthony Anjorin, Jeremy Gibbons, and Perdita
Stevens. Submission deadlines: abstracts 13 January / papers 20
January. See http://bx-community.wikidot.com/bx2016:home.

CASSTING 2016: Workshop on Games for the Synthesis of Complex Systems,
2-3 April, organized by Thomas Brihaye and Nicolas Markey. Submission
deadlines: papers 15 January; presentation extended abstracts 8
February. See http://www.cassting-project.eu/workshop2016/.

CMCS 2016: 13th International Workshop on Coalgebraic Methods in
Computer Science, 2-3 April, organized by Ichiro Hasuo. Submission
deadlines: abstracts 4 January / papers 13 January; short
contributions 22 February. See http://www.coalg.org/cmcs16/.

CREST 2016: 1st Workshop on Causal Reasoning for Embedded and
safety-critical Systems Technologies, 8 April, organized by Gregor
Gößler, Oleg Sokolsky. Submission deadlines: abstracts 10 January /
papers 17 January. See http://crest2016.inria.fr/.

DICE 2016: 7th International Workshop on Developments in Implicit
Computational complExity, 2-3 April, organized by Damiano
Mazza. Submission deadline: extended abstracts 31 January. See
https://lipn.univ-paris13.fr/DICE2016/.

FESCA 2016: 13th International Workshop on Formal Engineering
approaches to Software Components and Architectures, 3 April,
organized by Jan Kofroň, Jana Tumova, Barbora Buhnova. Submission
deadlines: abstracts 4 January / papers 14 January. See
http://d3s.mff.cuni.cz/conferences/fesca/.

FMSPLE 2016: 7th International Workshop on Formal Methods and Analysis
in Software Product Line Engineering, 3 April, organized by Julia
Rubin, Thomas Thüm. Submission deadlines: abstracts 18 January /
papers 25 January. See
https://www.tu-braunschweig.de/isf/events/fmsple16.

GaLoP 2016: Games for Logic and Programming Languages XI, 2-3 April,
organized by Paul Levy. Submission deadline: 1-page abstracts 25
January. See http://www.gamesemantics.org/.

GaM 2016: 2nd Graphs as Models Workshop, 2-3 April, organized by Anton
Wijs, Aleks Kissinger, and Alexander Heußner. Submission deadline:
papers, informal presentation and tool demos abstracts 15 January. See
http://gam2016.swt-bamberg.de/.

HCVS 2016: 3rd Workshop on Horn Clauses for Verification and
Synthesis, 3 April, organized by John Gallagher and Philipp
Rümmer. Submission deadlines: abstracts 25 January / papers,
presentation extended abstracts 1 February. See
http://hcvs2016.it.uu.se/.

HotSpot 2016: 4th Workshop on Hot Issues in Security Principles and
Trust, 3 April, organized Veronique Cortier. Submission deadline:
papers 8 January. See
http://www.loria.fr/~cortier/HotSpot2016/.

MBT 2016: 11th Workshop on Model-Based Testing, 3 April, organized by
Alexander K. Petrenko, Holger Schlingloff, and Nikolay Pakulin.

MSFP 2016: 6th Workshop on Mathematically Structured Functional
Programming, 8 April, organized by Robert Atkey and Neelakantan
Krishnaswami. Submission deadlines: abstracts 10 January / papers 17
January. See http://msfp2016.bentnib.org/.

PLACES 2016: 9th Workshop on Programming Language Approaches for
Concurrency and Communication-cEntric Software, 8 April, organized by
Dominic Orchard and Nobuko Yoshida. Submission deadlines: abstracts 8
January / extended abstracts 15 January. See
http://places16.by.di.fc.ul.pt.

QAPL 2016: 14th International Workshop on Quantitative Aspects of
Programming Languages and Systems, 2-3 April, organized by Mirco
Tribastone and Herbert Wiklicky. Submission deadline: papers 18
January. See http://qapl16.doc.ic.ac.uk/.

RAC 2016: First international workshop on Resource Aware Computing, 2
April, organized by Kerstin Eder and Marko van Eekelen. Submission
deadline: papers 11 January. See
http://resourceanalysis.cs.ru.nl/rac2016/.

SynCop 2016: 3rd International Workshop on Synthesis of Complex
Parameters, 3 April, organized by Étienne André and Benoît
Delahaye. Submission deadlines: abstracts 10 January / papers 17
January. See http://lipn.univ-paris13.fr/SynCoP2016/.

TermGraph 2016: 9th International Workshop on Computing with Terms and
Graphs, 8 April, organized by Andrea Corradini and Hans
Zantema. Submission deadline: extended abstracts 8 February. See
http://www.win.tue.nl/~hzantema/tg.html.

VerifyThis 2016: 5th Verification Competition, 2 April, organized by
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, and Peter
Müller. See http://etaps2016.verifythis.org/.

VPT 2016: 4th International Workshop on Verification and Program
Transformation, 2 April, organized by Geoff Hamilton, Andrei Nemytykh,
and Alexei Lisitsa. Submission deadlines: abstracts 11 January / papers
18 January. See http://refal.botik.ru/vpt/vpt2016/.

WRLA 2016: 11th International Workshop on Rewriting Logic, 2-3 April,
organized by Dorel Lucanu. Submission deadlines: abstracts 6 January /
papers 10 January. See
http://fmse.info.uaic.ro/events/WRLA2016/.

ETAPS 2016 workshops chair: Erik de Vink, TU Eindhoven

[DMANET] Bristol Algorithms Days - Feb 2-3 2016

Bristol Algorithms Days - 2nd and 3rd Feb 2016

Speakers:

Karl Bringmann, ETH Zürich, Switzerland
Colin Cooper, King's College London, UK
Alina Ene, University of Warwick, UK
Leszek Gąsieniec, University of Liverpool, UK
Paul Goldberg, University of Oxford, UK
Iordanis Kerenidis, LIAFA, University of Paris Diderot, France
Allan Grønlund, University of Aarhus, Denmark
Kurt Mehlhorn, Max-Planck-Institut, Germany
Will Perkins, University of Birmingham, UK
Thomas Sauerwald, University of Cambridge, UK
Iain Stewart, University of Durham, UK

Details are available at
https://www.cs.bris.ac.uk/Research/Algorithms/events/BAD16/index.jsp .

Registration is free.

Deadline 15 January 2016.

All are welcome to attend.

[DMANET] Lectureship in Algorithms and Programming, University of Bristol

The University of Bristol invites applications for a permanent
Lectureship/Senior Lectureship in Algorithms and Programming.

For more information, see the advertisement and application link below.

http://www.bristol.ac.uk/jobs/find/details.html?nPostingID=4087&nPostingTargetID=14995

The closing date is January 24, 2016
**********************************************************
*
* 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] computational optimization

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

Call for Papers

9th International Workshop on Computational Optimization (WCO 2016)
Gdansk, Poland, September 11 - 14, 2016)

organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2016

http://www.fedcsis.org/

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

We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:

* unconstrained and constrained optimization
* combinatorial optimization
* continues optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
*computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, chemistry, biology, medicine, engineering etc.

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

Important dates:

18.04.2016 (April 18, 2016) – Full paper submission

30.05.2016 (May 30, 2016) - Position paper submission

13.06.2016 (June 13, 2016) – Notification of acceptance

04.07.2016 (July 04, 2016) – Camera-ready version of the accepted paper

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

Submission and Publication

* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 10 pages for full
paper and 4 pages for short papers (IEEE style). IEEE style templates
are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented paper will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s) of Springer Studies of
Computational Intelligence.
====================

If you have any question do not hesitate to send a mail to wco2016@fedcsis.org .

Organizing Committee

Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Daniela Zaharie, West University of Timisoara, Romania
Antonio Mucherino, IRISA, France

--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642

[DMANET] Job offer

[Logograustufe]

FernUniversität in Hagen is the only publicly funded distance teaching university in the German-speaking region. It offers flexible courses of study, primarily in parallel with career and family. In addition to profile-oriented research, FernUniversität promotes interdisciplinary research foci. It is furthermore committed to the promotion of gender-specific aspects.
The Faculty of Mathematics and Computer Science is inviting applications for an
Assistant Professorship (Juniorprofessur) - W 1
for
Analysis on Discrete Structures
which is to be filled as soon as possible for a period of three years initially. After a successful intermediate evaluation, we plan to extend the post for a further three years.
We are looking for someone with good didactic skills who already has international academic standing.
We expect the applicant's research to have earned them academic standing in a field which will strengthen the teaching of analysis at FernUniversität in Hagen. Her/his research must focus on the analysis of discrete structures, such as graphs or simplicial complexes, for example. Particularly desirable are the fields of differential geometry on graphs, hypergraphs or fractals, spectral graph theory or methods of operator or potential theory for elliptic and parabolic equations on graphs. Substantiated experience in application-oriented collaborations with computer sciences or physics is advantageous. The successful candidate will also be expected to engage in activities to attract third-party funding.
The teaching component involves giving courses for the mathematical study programmes including courses on differential geometry. The applicant should substantiate that she/he will be able to give a course which is taught in German within a short period of time. Furthermore, examinations must be conducted in German.
The teaching at FernUniversität is embedded in an electronic communication environment which all teaching staff must use. The post holder will be involved in the development and the execution of network-based teaching in line with the university's quality standards.
The qualifications necessary for appointment are academic achievements pursuant to Sec. 36 Hochschulgesetz NRW (Higher Education Act of North-Rhine Westphalia).
For further information please contact: Prof. Dr. Mugnolo, Tel. +49 (0)2331/987-2582
Email: delio.mugnolo@FernUni-Hagen.de<mailto:delio.mugnolo@fernuni-hagen.de>
The deadline for applications is 14. February 2016 (received at FernUniversität in Hagen).
FernUniversität is striving to increase the proportion of women in research and teaching and therefore expressly requests suitably qualified female academics to apply. Women will be preferred on the basis of equal qualifications, abilities and subject-related performance, unless there are good reasons for preferring an outstanding male candidate.
Applicants are requested to also take account of gender-specific aspects in research and teaching and in the support of junior academics in a way appropriate to the discipline.
Applications from persons with disabilities are expressly desired. Part-time employment may be possible.
Applications with the usual documents must be sent to the Rektor der FernUniversität
in Hagen, 58084 Hagen or by email to rektorbuero@fernuni-hagen.de.

Monday, January 4, 2016

[DMANET] DCFS 2016 - 1st Call for Papers

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

1st Call for Papers -- DCFS 2016

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, 2016
Notification of accepted papers: March 21, 2016
Final Version: April 10, 2016
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)

[DMANET] PostDoc / PhD Positions in Algorithms at Hasso Plattner Institute Potsdam

Applications are invited for a

Postdoctoral Researcher in Algorithms

and a

PhD student in Algorithms

at the recently founded research group Algorithm Engineering at the Hasso Plattner Institute (HPI) in Potsdam, Germany. The HPI is a unique research and teaching institute in Germany, which was founded in 1999 as an institute of the University of Potsdam. HPI carries out internationally acclaimed research and offers innovative academic majors in the field of IT Systems Engineering. The institute offers a vibrant scientific environment at the beautiful Campus Griebnitzsee, which is located at the border to Berlin.

All positions are full-time and can be started as soon as possible for the applicant. The postdoc salary is competitive and depends on the applicant's qualification. The contract for the postdoc will be limited to two years with the possibility of extension. Ph.D. students receive a competitive stipend and generous travel support.

Applicants should have a theoretical/mathematical background and an interest in at least one of the following topics:
— random structures and algorithms;
— theory of evolutionary algorithms and swarm intelligence;
— distributed and parallel computing;
— mathematical optimization;
— analysis of scale-free networks and structures.

Postdoctoral researchers from other fields of theoretical computer science and discrete mathematics may apply as well, but should provide a one-page motivation letter detailing how they fit in the research profile of the group.

All applicants should have an excellent first academic degree in computer science, mathematics, or a related discipline. Applications should include a detailed CV, a copy of master (or PhD) thesis, a brief statement of research interests, and a list of publications (if applicable). Please also mention names and contact details of one or two references -- preferably one from the thesis advisor. Applicants interested in doing a PhD should also include a transcript with a list of courses and grades.

For further information, also on other offers, please refer to https://hpi.de/friedrich/offers. Applications must be sent via email, preferably as a single PDF, to jobs-friedrich@hpi.de. Application closing date is 15 January 2016; in exceptional cases a decision can be made earlier.

--
Prof. Dr. Tobias Friedrich
Algorithm Engineering Group
Hasso Plattner Institute
Prof.-Dr.-Helmert-Str. 2-3
14482 Potsdam / Germany

Tel.: +49 331 5509 410
E-Mail: friedrich@hpi.de
Office: office-friedrich@hpi.de
URL: https://hpi.de/friedrich
**********************************************************
*
* 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] WG 2016: submission server is open

WG 2016 paper submission server is now open.

Papers can be submitted through the following link:

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

The submission deadline is February 27, 2016.

Please prepare your pdf submission in Springer LNCS format to be at most
12 pages, including title, abstract and references. You may add an
appendix containing the proofs that are omitted in the first 12 pages,
to be read at the discretion of the program committee.

Simultaneous submission to any other conference with proceedings
published or made publicly available, or submitting papers previously
accepted for journal publication is not allowed.

When submitting your paper, tick the appropriate box if your paper is a
candidate for the Best Student Paper Award. The main work in a paper
that is a candidate for this award must be done by co-authors that were
students at the time of submission, and the award can be received only
by such co-authors. By ticking the box you confirm the correctness of
this information.

Please read the complete information in the Call for Papers before
submitting your paper:

WG 2016: CALL FOR PAPERS

42nd International Workshop on Graph-Theoretic Concepts in Computer Science
June 22-24, Istanbul, Turkey
Submission Deadline: Feb 27, 2016
http://www.ie.boun.edu.tr/~wg2016/

LOCATION
The WG 2016 conference is the 42nd edition of the WG series. It will
take place on the campus of Bogazici University in Istanbul, Turkey. The
conference will be from Wednesday June 22 to Friday June 24, 2016.
Participants expected to arrive in Istanbul on Tuesday June 21, where we
will have a welcome reception in the evening. Cheap student
accommodation will be available close to campus, and we will otherwise
suggest hotels in the popular Taksim area, with a metro connection to
the campus.

AIMS AND SCOPE
WG conferences aim to connect theory and applications by demonstrating
how graph-theoretic concepts can be applied in various areas of computer
science. The goal is to present recent results and to identify and
explore directions for future research. Submitted papers should describe
original results in any aspects of graph theory related to computer
science, including but not restricted to:

- design and analysis of sequential, parallel, randomized,
parameterized, and distributed graph and network algorithms,
- structural graph theory with algorithmic or complexity applications,
- computational complexity of graph and network problems,
- graph grammars, graph rewriting systems and graph modeling,
- graph drawing and layouts,
- computational geometry,
- random graphs and models of the web and scale-free networks, and
- support of these concepts by suitable implementations and applications.

SUBMISSIONS AND PROCEEDINGS
Contributors are invited to submit an extended abstract of at most 12
pages Springer LNCS format(www.springer.com/lncs) including title,
abstract and references. Proofs omitted due to space restrictions must
be placed in an appendix, to be read by program committee members at
their discretion. Simultaneous submission of papers to any other
conference with proceedings published or made publicly available, or
submitting papers previously accepted for journal publication is not
allowed. Invited papers and accepted contributions will be published in
the conference post-proceedings in the Lecture Notes in Computer Science
(ARCoSS/LNCS) series of Springer-Verlag.

BEST PAPER AWARD
Thanks to a generous donation by Springer Verlag, WG 2016 is able to
offer an EUR 1000 best paper award, to be decided by the program committee.

BEST STUDENT PAPER AWARD
WG 2016 offers also an award for the best student paper. The main work
in a paper that is a candidate for this award must be done by co-authors
that were students at the time of submission, and the award can be
received only by such co-authors. It must be indicated at the time of
submission whether a paper is candidate for this award.

IMPORTANT DATES (Tentative)
Submission of papers: February 27, 2016
Acceptance notification: April 24, 2016
Conference: June 22-24, 2016
Final version: July 31, 2016

INVITED SPEAKERS
Saket Saurabh (Bergen, Norway)
Kavitha Telikepalli (Mumbai, India)
Dominique de Werra (Lausanne, Switzerland)

PROGRAM COMMITTEE
Isolde Adler, Goethe University, Frankfurt, Germany
Manu Basavaraju, National Institute of Technology, Karnataka, India
Cristina Bazgan, Université Paris Dauphine, France
Hans Bodlaender, Utrecht University, The Netherlands
Christophe Crespelle, Université Claude Bernard, Lyon, France
Tinaz Ekim, Bogazici University, Istanbul, Turkey
Celina de Figueiredo, Federal University of Rio de Janeiro, Brasil
Petr Golovach, University of Bergen, Norway
Gregory Gutin, Royal Holloway, London, UK
Pinar Heggernes (Chair), University of Bergen, Norway
Mamadou Kanté, Université Blaise Pascal, Aubiere, France
Jan Kratochvil, Charles University, Prague, Czech Republic
Erik Jan van Leeuwen, MPI, Saarbrücken, Germany
Martin Milanic, University of Primorska, Koper, Slovenia
Rolf Niedermeier, Technical University of Berlin, Germany
Naomi Nishimura, University of Waterloo, Canada
Yota Otachi, Japan Advanced Institute of Science and Technology
Daniel Paulusma, Durham University, UK
Michał Pilipczuk, University of Warsaw, Poland
Hadas Shachnai, Technion, Haifa, Israel

ORGANIZING COMMITTEE
Arman Boyaci, Bogazici University, Istanbul, Turkey
Cemil Dibek, Bogazici University, Istanbul, Turkey
Tinaz Ekim, Bogazici University, Istanbul, Turkey
Pinar Heggernes, University of Bergen, Norway
Caner Taskin, Bogazici University, Istanbul, Turkey

CONTACT INFORMATION
wg2016@easychair.org
**********************************************************
*
* 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 - Second Call for Papers

======================================================================
SPIN 2016

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

---- Important Dates ----

Submission of papers: 8 January 2016 (Anywhere on Earth)
Notification of acceptance/rejection: 12 February 2016
Final version due: 24 February 2016
Symposium: 7--8 April 2016

---- Aims and Scope ----

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

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

Topics of interest include, but are not limited to:

- Formal verification techniques for automated analysis of software
- Algorithms and storage methods for explicit-state model checking
- Theoretical and algorithmic foundations of model checking
- Model checking for programming languages and code analysis
- Directed model checking using heuristics
- Parallel or distributed model checking
- Verification of timed and probabilistic systems
- Model checking techniques for biological systems
- Formal verification techniques for concurrent software
- Formal verification techniques for embedded software
- Abstraction and symbolic execution techniques in relation to
software verification
- Static analysis for state space reduction
- Combinations of enumerative and symbolic techniques
- Analysis for modelling languages, such as UML/state charts
- Property specification languages, including temporal logics
- Automated testing using state space and/or path exploration
- Derivation of specifications, test cases, or other useful material
from state spaces
- Combination of model checking techniques with other analyses
- Modular and compositional verification techniques
- Case studies of interesting systems or with interesting results
- Engineering and implementation of software verification tools
- Benchmark and comparative studies for formal verification tools
- Insightful surveys or historical accounts on topics of relevance to
the symposium

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

---- Paper Submission and Publication ----

The proceedings of SPIN will be published in Springer's Lecture Notes in
Computer Science series. A selection of papers will be invited to a special
issue of the International Journal on Software Tools for Technology Transfer
(STTT).

With the exception of survey and history papers, the papers should contain
original work which has not been submitted or accepted for publication
elsewhere. Submissions should adhere to the LNCS format:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

We solicit three kinds of papers:

- Technical Research Papers:
At most 18 pages in LNCS format. All accepted technical papers will be
included in the proceedings.

- Idea Papers:
At most 6 pages in LNCS format that describe novel
research directions in software model checking. New idea
submissions are intended to describe well-defined research ideas
that are at an early stage of investigation and may not be fully
validated.

- Tool Presentations:
This kind of submission should consist of two parts: the first part
is at most a 6-page description of the tool. If accepted, this part
will be published in the symposium proceedings. The second part
should describe an informal plan for an oral presentation of the
tool. This part will not be included in the proceedings and may
also be in the form of a five minute video. Tools must be
available online for reviewers to inspect.

All papers that conform to submission guidelines will be
peer-reviewed by members of the program committee. Submissions will
be evaluated on the basis of originality, importance of contribution,
soundness, evaluation, quality of presentation, and appropriate
comparison to related work.

At least one author of each accepted paper must attend the symposium
and present the paper.

---- Organisation ----

Program Chairs

- Dragan Bosnacki (Eindhoven University of Technology)
- Anton Wijs (Eindhoven University of Technology)

Program Committee

Erika Abraham (RWTH Aachen University, GER)
Jiri Barnat (Masaryk University, CZE)
Aleksandar Dimovski (IT University of Copenhagen, DEN)
Stefan Edelkamp (University of Bremen, GER)
Bernd Fischer (Stellenbosch University, RSA)
Jaco Geldenhuys (Stellenbosch University, RSA)
Alex Groce (Oregon State University, USA)
Jan Friso Groote (Eindhoven University of Technology, NED)
Gerard Holzmann (NASA / Jet Propulsion Laboratory, USA)
Franjo Ivancic (Google, USA)
Alfons Laarman (Vienna University of Technology, AUT)
Stefan Leue (University of Konstanz, GER)
Alberto Lluch Lafuente (Technical University of Denmark, DEN)
Radu Mateescu (INRIA Rhone-Alpes, FRA)
Eric Mercer (Brigham Young University, USA)
Pedro Merino (University of Malaga, ESP)
Alice Miller (University of Glasgow, UK)
Jun Pang (University of Luxembourg, LUX)
Corina Pasareanu (NASA Ames / Carnegy Mellon University, USA)
Theo Ruys (RUwise, NED)
Jun Sun (Singapore University of Technology and Design, SIN)
Michael Tautschnig (Queen Mary University, UK)
Mohammad Torabi Dashti (ETH Zuerich, SUI)
Martin Wehrle (University of Basel, SUI)

Sunday, January 3, 2016

[DMANET] Full Professorship in Algorithms & Complexity at U. of Edinburgh

The School of Informatics at the University of Edinburgh invites
applications for a Full Professorship (established Chair) in Algorithms
and Complexity, broadly defined.

For more information, see the official advert and application link below
(the application deadline is February 29th, 2016):

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=035129

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Friday, January 1, 2016

[DMANET] Final CFP: Diagrams 2016 (9th Int'l Conference on the Theory and Application of Diagrams)

Call for Papers: Diagrams 2016

Ninth International Conference on the Theory and Application of Diagrams
http://www.diagrams-conference.org/2016
diagrams2016@diagrams-conference.org<mailto:diagrams2016@diagrams-conference.org>

7th to 10th August, 2016
Philadelphia, Pennsylvania, USA

* CALL FOR PAPERS *

- long research papers (15 pages)

- short research papers (7 pages)

- posters (3 pages)

- tutorial proposals (2 pages; see the conference web page for full details)

- workshop proposals (2 pages; see the conference web page for full details)

- graduate symposium submissions (3 pages; see the conference web page for full details)

* Submission Dates *

Abstract submissions: 4 January 2016
Paper and poster submissions: 11 January 2016
Workshop proposal submissions: 18 January 2016
Tutorial proposal submissions: 18 January 2016

Initial Paper Notification (for rebuttal): 19 February 2016
Final Paper Notification: 14 March 2016

Graduate symposium submissions: 21 March 2016

Conference dates: 7 to 10 August 2016

* Organising Committee *

Theory Announcements

Saturday, January 9, 2016

[DMANET] CFP: 2016 Joint Workshop on Cyber-Physical Security and Resilience in Smart Grids

Friday, January 8, 2016

[DMANET] Call for DEBS 2016 Grand Challenge Solutions

[DMANET] EURO Doctoral Dissertation Award 2016

[DMANET] EURO Excellence in Practice Award 2016

Thursday, January 7, 2016

[DMANET] ICADIWT 2016

[DMANET] Deadline Extension: SMART 2016 and URBAN COMPUTING 2016 || May 22 - 26, 2016 - Valencia, Spain

Wednesday, January 6, 2016

[DMANET] Paper Submission Deadline Approaching - GCIRE2016 Philippines

[DMANET] Call for Nominations: Principles of Distributed Computing Doctoral Dissertation Award 2016

[DMANET] Deadline approaching: postdoc position in Probability at the University of Bath

[DMANET] STACS 2016 - call for participation

Tuesday, January 5, 2016

[DMANET] CFP -- Revised Dates: Diagrams 2016

[DMANET] MINO/COST PhD school on Mixed Integer Nonlinear Optimization

[DMANET] ETAPS 2016 satellite workshops joint call for papers

[DMANET] Bristol Algorithms Days - Feb 2-3 2016

[DMANET] Lectureship in Algorithms and Programming, University of Bristol

[DMANET] computational optimization

[DMANET] Job offer

Monday, January 4, 2016

[DMANET] DCFS 2016 - 1st Call for Papers

[DMANET] PostDoc / PhD Positions in Algorithms at Hasso Plattner Institute Potsdam

[DMANET] WG 2016: submission server is open

[DMANET] SPIN 2016 - Second Call for Papers

Sunday, January 3, 2016

[DMANET] Full Professorship in Algorithms & Complexity at U. of Edinburgh

Friday, January 1, 2016

[DMANET] Final CFP: Diagrams 2016 (9th Int'l Conference on the Theory and Application of Diagrams)

Mailing Lists

Search This Blog

Blog Archive

Saturday, January 9, 2016

Friday, January 8, 2016

Thursday, January 7, 2016

Wednesday, January 6, 2016

Tuesday, January 5, 2016

Monday, January 4, 2016

Sunday, January 3, 2016

Friday, January 1, 2016

Mailing Lists

Subscribe To

Search This Blog

Blog Archive