Friday, March 27, 2015

[DMANET] Call for Participation: FPS 2015 -- 8th Int. Symposium on Foundations and Practice of Security, Oct. 26-28, Clermont-Ferrand, France, LNCS proceedings

Call for Papers
===============

**The 8th International Symposium on Foundations & Practice of Security
(FPS 2015), Clermont-Ferrand, France, 26-28 October 2015.**


Conference Website
------------------

<http://confiance-numerique.clermont-universite.fr/fps2015/>


Scope
-----

Protecting the communication and data infrastructure of an
increasingly inter-connected world has become vital to the normal
functioning of all aspects of our world. Security has emerged as an
important scientific discipline whose many multifaceted complexities
deserve the attention and synergy of the mathematical, computer
science and engineering communities.

After the previous meetings held in La Rochelle, Montreal, Grenoble,
Toronto and Paris, this 8th edition of the FPS symposium will be held
in Clermont-Ferrand, France.

The aim of FPS is to discuss and exchange theoretical and practical
ideas that address security issues in inter-connected systems. It aims
to provide scientific presentations as well as to establish links,
promote scientific collaboration, joint research programs, and student
exchanges between institutions involved in this important and fast
moving research field.

We also invite papers from researchers and
practitioners working in security, privacy, trustworthy data systems
and related areas to submit their original papers. The main topics,
but not limited to, include:

* Computer and Network Security
* Formal foundations in Information or Operational Security
* Security of Service Oriented Architectures
* Information Theoretic Security
* Security of Cloud Computing
* Security Management and Security Policies
* Policy-based Security Architectures
* Security of P2P systems
* Security & Privacy on Social Networks
* Access Control Languages
* Data Mining & Watermarking
* Cryptography & Cryptanalysis
* Threat Analysis and Trust Management
* Privacy & Sensitive Data Management
* Policy-based Distributed Information Systems
* Security in Sensor Networks and RFIDs
* Security of Cloud Computing, Grid Computing
* Security of Distributed Embedded Middleware
* Distributed Security Protocols & Policies
* Security and Privacy in Digital Currencies
* Malware, Botnet and Advanced Persistent Threats
* Code Reverse Engineering and Vulnerability Exploitation
* Side Channel & Physical Attacks
* Social Engineering


Submissions Guidelines
----------------------

Full papers should be at most 16 pages, including the bibliography and
appendices. Short papers should be up to 8 pages. Authors should
indicate whether their paper is a "position paper" to differentiate
them from regular ones (you mention "Position paper" in the title).

Committee members are not required to read the appendices, so the
paper should be intelligible without them.

All submissions must be written in English.

Authors must submit their papers by the deadline indicated below,
using the EasyChair web site (using the link
http://www.easychair.org/conferences/?conf=fps2015) and following the
requirements stated there. All papers will be refereed. The submitted
contribution should be formatted according to Springer's LNCS style.
Submissions by PhD students as well as surveys and controversial ideas
are encouraged. Case studies (successful or not) are also encouraged.


Publication
-----------

As in previous editions, proceedings will be published by
Springer-Verlag in the Lecture Notes in Computer Science (LNCS)
series. At least one author of each accepted paper must register to
the symposium, by the date indicated by the organizers, and present
the paper.


Committees
------------------

General Chair

Pascal Lafourcade (Universite d'Auvergne)

Program Committee Chairs

Guillaume Bonfante (Mines de Nancy)
Joaquin Garcia-Alfaro (Telecom SudParis)
Evangelos Kranakis (Carleton University)

Program Committee

Michel Barbeau (Carleton University)
Jordi Castella-Roca (Rovira i Virgili Univ.)
Frederic Cuppens (Telecom Bretagne)
Nora Cuppens-Boulahia (Telecom Bretagne)
Mila Dalla Preda (University of Verona)
Jean-Luc Danger (Telecom ParisTech)
Marc Frappier (Univ. de Sherbrook)
Sara Foresti (Univ. degli Studi di Milano)
Martin Gagne (Wheaton College)
Sebastien Gambs (Universite de Rennes)
Flavio D. Garcia (University of Birmingham)
Diala Haidar (Dar Al Hekma College)
Jordi Herrera-Joancomarti (Univ. Aut. de Barcelona)
Hyoungshick Kim (Sungkyunkwan University)
Giovanni Livraga (Univ. degli Studi di Milano)
Luigi Logrippo (Univ. du Quebec en Outaouais)
Javier Lopez (University of Málaga)
Flaminia Luccio (Ca'Foscari University of Venice)
Joan Melia-Segui (Universitat Oberta de Catalunya)
Ali Miri (Ryerson University)
Guillermo Navarro (Univ. Aut. de Barcelona)
Jordi Nin (Universitat Politecnica de Catalunya)
Melek Onen (Eurecom)
Andreas Pashalidisi (K. U. Leuven)
Marie-Laure Potet (Ensimag)
Silvio Ranise (FBK, Security and Trust Unit)
Claudio Soriente (ETH Zurich)
Chamseddine Talhi (ETS, Montreal)
Nadia Tawbi (Universite LAVAL)
Emmanuel Thome (INRIA Lorraine)
Alexandre Viejo (Rovira i Virgili University)
Lena Wiese (Gottingen University)
Nicola Zannone (Eindhoven Univ. of Technology)
Nur Zincir Heywood (Dalhousie University)

Steering Committee

Frederic Cuppens (Telecom Bretagne)
Nora Cuppens-Boulahia (Telecom Bretagne)
Mourad Debbabi (Concordia University)
Joaquin Garcia-Alfaro (Telecom SudParis)
Evangelos Kranakis (Carleton University)
Pascal Lafourcade (Universite d'Auvergne)
Jean-Yves Marion (Mines de Nancy)
Ali Miri (Ryerson University)
Rei Safavi-Naini (Calgary University)
Nadia Tawbi (Universite Laval)

Submission Website
------------------

<http://www.easychair.org/conferences/?conf=fps2015>

Important Dates
---------------
Submission Deadline: | June 14, 2015
Acceptance Notification: | August 17, 2015
Camera Ready: | September 13, 2015
Conference: | October 26-28, 2015

**********************************************************
*
* 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, March 26, 2015

from Jakob Nordstrom: Still some open slots for the 2nd Swedish Summer School in Computer Science

This is just to spread the information that there are still some open slots
for the 2nd Swedish Summer School in Computer Science
(http://s3cs.csc.kth.se/).

In particular, we would be happy to accept some more applicants for the (very
attractive) SEK 3000 rate including full board and lodging.

The summer school will be held from June 28 to July 4 in the beautiful
Stockholm archipelago. It runs for a full week Monday-Friday, with arrival on
Sunday evening and departure Saturday morning. It consists of two mini-courses
on "List decoding and polar coding" by Venkatesan Guruswami and "Codes with
local decoding procedures" by Sergey Yekhanin. The school is primarily
intended for PhD students, but postdocs and bright MSc students are also
warmly welcome.

Please apply as soon as possible at http://s3cs.csc.kth.se/application.php if
you would like to attend the summer school. Any questions can be directed to
s3cs-2015@csc.kth.se.

[DMANET] Final Call for Papers - 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2015)

Call for Papers

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

17th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS 2015)


Edmonton, Alberta, Canada
18-21 August 2015

sss15.cs.ualberta.ca


Proceedings to be published as a Springer LNCS Volume.

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

The Symposium on Stabilization, Safety, and Security of Distributed Systems is
an international forum for researchers and practitioners working on the design
and development of distributed systems that guarantee specific desired
properties despite adversity, or that are able to restore the desired
properties following adversarial perturbations in the computing medium building
on the principles of self-stabilization.

Research in distributed computing and distributed systems continues its vibrant
development, marked by the importance of dynamic systems, such as peer-to-peer
networks, large-scale wireless sensor networks, mobile ad hoc networks, mobile
agent computing, opportunistic networks etc. Moreover, new applications such as
grid and web services, banking and e-commerce, e-voting, e-health and robotics,
aerospace and avionics, automotive, industrial process control, have joined the
expanded landscape of distributed systems. It is becoming increasingly
important to endow all such systems with built-in means for self-management,
self-protection, and self-repair.

The symposium encourages the submission of original contributions spanning
fundamental research and practical applications within its scope, covered by
the five symposium tracks:

+ Self-stabilization Track
Track Chair: Joffroy Beauquier, U. Paris-Sud, France
+ Fault-tolerance and Dependability Track
Track Chair: Nitin Vaidya, UIUC, USA
+ Ad-hoc and Sensor Networks, Mobile Agents Track
Track Chair: Paola Flocchini, U. of Ottawa, Canada
+ System Security in Distributed Computing Track
Track Chair: Alex Russell, U. of Connecticut, USA
+ Formal Methods and Distributed Algorithms Track
Track Chair: Helmut Veith, Vienna U. of Technology, Austria

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

* The technical program of SSS 2015 (Aug. 19 - Aug. 21) will be *
* preceded by a one day Summer School on DISTRIBUTED COMPUTING AND *
* CRYPTOGRAPHY (Aug. 18), organized by Shlomi Dolev (Ben-Gurion *
* University, Israel). *

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

Organization

General Co-chairs:
Ted Herman (University of Iowa, USA)
Jared Saia (University of New Mexico, USA)

Program Committee Co-chairs:
Andrzej Pelc (Universite du Quebec en Outaouais, Canada)
Alexander A. Shvartsman (University of Connecticut, USA)

Keynote Speakers:
Sergio Rajsbaum (Universidad Nacional Autonoma de Mexico, Mexico)
Roger Wattenhofer (ETH Zurich, Switzerland)
Philipp Woelfel (University of Calgary, Canada)

Local Arrangements Chairs:
Ioanis Nikolaidis (University of Alberta, Canada)
H. James Hoover (University of Alberta, Canada)

Publicity Chair:
Maxwell Young (Drexel University, USA)

Awards Chair:
Borzoo Bonakdarpour (McMaster University, Canada)

Steering Committee:
Anish Arora (Ohio State University, USA)
Ajoy K. Datta (University of Nevada, USA)
Shlomi Dolev (Chair) (Ben-Gurion University of the Negev, Israel)
Sukumar Ghosh (University of Iowa, USA)
Mohamed Gouda (University of Texas at Austin, USA)
Ted Herman (University of Iowa, USA)
Toshimitsu Masuzawa (Osaka University, Japan)
Vincent Villain (Universite de Picardie Jules Verne (UPJV), France)

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

IMPORTANT DATES

Paper submission deadline: March 29, 2015 (UTC-12) *firm*

Notification: May 29, 2015

Camera Ready Submission: June 5, 2015

Technical Sessions: August 19-21, 2015

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

Paper Submission Instructions

Papers must be prepared using the LNCS style and be electronically submitted
to a specific track in PDF format using EasyChair. Contributions can be
submitted as either Regular Papers or Brief Announcements. Submissions for
regular papers must be no longer than 15 pages (including the title, authors,
abstract, figures, and references) and may have an additional appendix to be
read at the discretion of the Program Committee. Brief announcements are
restricted to two pages with no appendix. Submissions deviating from these
guidelines will be rejected without consideration of their merits.

If requested by the authors, a regular submission that is not selected for a
regular presentation will also be considered for a brief announcement. This
request must be clearly indicated in the first page of the paper. Such a
request will not affect consideration of the paper as a regular paper. A paper
submitted to SSS 2015 must be an original contribution not previously published
as a regular paper (results previously published as a brief announcement may be
submitted as a regular paper to SSS 2015). No submission may be concurrently
submitted to another conference, workshop, or journal.

EasyChair submission URL: https://easychair.org/conferences/?conf=sss2015

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

Best Paper & Best Student Paper Awards

The program committee will select two papers for best paper and best student
paper awards. A paper is eligible for the best student paper award if at least
one of its authors is a full-time student at the time of submission. This
must be clearly indicated in the first page of the paper.

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

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

Verification Mentoring Workshop Student Scholarships

Verification Mentoring Workshop 2015:
CALL for Applications for Student Travel Scholarships
-----------------------------------------------------

We are organizing a new one-day workshop called the Verification Mentoring
Workshop (VMW). It is co-located with the International Conference on Computer
Aided Verification (CAV), to be held in San Francisco, July 18-24, 2015. CAV
is a premier conference in the area of verification, dedicated to the
advancement of the theory and practice of computer-aided formal analysis
methods for hardware and software systems.

The goal of VMW is to attract early-stage graduate students to pursue research
careers in the area of computer-aided verification and formal methods. Invited
talks at the workshop will cover a broad overview of research topics in the
area (so students can follow sessions of interest at CAV), the range of career
options and perspectives (academia, industry, research labs, etc.), and job
search advice (especially from young researchers). Participation of women and
under-represented minorities is especially encouraged.

We will provide travel scholarships to student participants, where the
scholarships will cover registration for the VMW workshop and CAV conference,
accommodations, plus travel expenses. The workshop website
(http://i-cav.org/2015/workshop-mentorship/) is now accepting applications for
student travel scholarships.

Important Dates:
----------------
Deadline for submission of applications: April 20, 2015
Notification of travel scholarships awarded: May 1, 2015
VMW Workshop: July 19, 2015
CAV Conference: July 20 - 24, 2015

VMW 2015 is partially supported by the NSF (National Science Foundation, USA).
More details on the VMW workshop and CAV conference can be found at
http://i-cav.org/2015/.

Organizers of VMW 2015:
Aarti Gupta, Princeton, USA
Rupak Majumdar, Max Plank Institute for Software Systems, Germany
Corina Pasareanu, NASA/CMU, USA
Ruzica Piskac, Yale, USA

POSTDOC IN ONLINE ALGORITHMS

A CS postdoc position in online algorithms is available at the
Department of Mathematics and Computer Science (IMADA), University of
Southern Denmark, Odense, Denmark, supported by the Villum Foundation
grant "On-Line Algorithms and Advice". It is a one year position with
a starting date of September 1, 2015 (somewhat negotiable). The
project is centered around online algorithms in general, with a
special focus on the relatively new framework of advice complexity.
See the project home page (www.imada.sdu.dk/~joan/villum/) for
earlier activities and publications in this project, as well as home
pages for the people involved.

The candidate must have a PhD degree in Computer Science before the
starting date of the position and a convincing research record in
algorithms and data structures. Experience in online algorithms would
be an advantage. Fluency in English is required.

The base salary is DKK 31,951 per month (approx. 4300 Euro). For
non-residents of Denmark, the pension savings can be converted to an
additional salary increase of DKK 5350. With higher than normal career
seniority, both numbers increase. Reasonable travel funding will be
available.

The application deadline is Wednesday, April 15, 2015. For information
on how to apply, please see:
http://www.sdu.dk/en/servicenavigation/right/ledige_stillinger

Informal inquiries by email to Professor Kim S. Larsen
(kslarsen@imada.sdu.dk) are welcome, but do not constitute an
application.

[DMANET] Professorship (W3) for Discrete Mathematics at the University of Rostock

The University of Rostock, Faculty of Mathematics and Natural Sciences
invites applications to fill the position of a

Professorship (W3) for Discrete Mathematics

within the Institute of Mathematics by October 1st, 2016.

For more information see

http://www.uni-rostock.de/uploads/media/2015-03-19_Ausschreibung_der_W3-Professur_fuer_Diskrete_Mathematik.pdf


Deadline: May 15, 2015
**********************************************************
*
* 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/
*
**********************************************************

Wednesday, March 25, 2015

[DMANET] ETAPS 2016 final call for workshops

[We are soliciting workshop proposals for ETAPS 2016 in Eindhoven.
The proposal submission deadline of 29 March is approaching.]


19th European Joint Conferences on Theory and Practice of Software
ETAPS 2016
Eindhoven, The Netherlands, April 2-8, 2016
http://www.etaps.org/2016/

Call for Satellite Events

-- 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 is
an annual event which takes place in Europe each spring since 1998.

The nineteenth conference, ETAPS 2016, will take place April 2-8, 2016
in Eindhoven, The Netherlands.

ETAPS main conferences will take place on April 4-7, 2016. They are:

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

-- SATELLITE EVENTS --

The ETAPS 2016 organizing committee invites proposals for satellite
events (workshops etc.) that will complement the main
conferences. They should fall within the scope of ETAPS. This
encompasses all aspects of the system development process, including
specification, design, implementation, analysis and improvement, as
well as the languages, methodologies and tools which support these
activities, covering a spectrum from practically-motivated theory to
soundly-based practice. Satellite events provide an opportunity to
discuss and report on emerging research approaches and practical
experience relevant to theory and practice of software.

ETAPS 2016 satellite events will be held immediately before and after
the main conferences, on April 2-3 and April 8, 2016.

-- ARRANGEMENTS FOR SATELLITE EVENTS --

The organizers of an ETAPS 2016 satellite are expected to:

+ create and maintain a website for the event,
+ form a PC, produce a call for papers for the event (if appropriate),
+ advertise the event through specialist mailing lists etc. to
complement the publicity of ETAPS,
+ review the submissions received and make acceptance decisions,
+ prepare an informal (pre)proceedings for the event (if appropriate),
+ prepare the event's program complying with any scheduling constraints
defined by the ETAPS 2016 organizing committee,
+ prepare and organize the publication of a formal (post-)proceedings
(if desired).

The ETAPS 2016 organizing committee will:

+ promote the event on the website and in the publicity material of
ETAPS 2016,
+ integrate the event's program into the overall program of the
conference,
+ arrange registration for the event as a component of registration
for ETAPS, collect a participation fee from the registrants,
+ produce a compilation USB memory stick of the informal (pre-)
proceedings of the satellite events of ETAPS 2016 and distribute
this to the registrants,
+ provide the event with a meeting room of an appropriate size,
A/V equipment, coffee breaks and possibly lunch(es).

As a rule, ETAPS will not contribute toward the travel or
accommodation costs of invited speakers or organizers of satellite
events.

-- SUBMISSION OF SATELLITE EVENT PROPOSALS --

Researchers and practitioners wishing to organize satellite events are
invited to submit proposals to the workshop co-chairs Julien Schmaltz
and Erik de Vink using this web form:

http://eptcs.web.cse.unsw.edu.au/ETAPS/

The following information is requested:

+ the name and acronym of the satellite event,
+ the names and contact information of the organizers,
+ the duration of the event: one or two days,
+ the preferred period: April 2, April 3, April 8 or April 2-3,
+ the expected number of participants,
+ a brief description (120 words approximately) of the event topic for
the website and publicity material of ETAPS 2016,
+ a brief explanation of the event topic and its relevance to ETAPS,
+ an explanation of the selection procedure of contributions to the
event, the PC chair and members, if known already, information about
past editions of the event, if applicable,
+ any other relevant information, like a special event format, invited
speakers, demo sessions, special space requirements, etc.,
+ a tentative schedule for paper submission, notification of acceptance
and final versions for the (informal pre-)proceedings (the ETAPS 2016
organizing committee will need the final files by March 12, 2016),
+ the plans for formal publication (no formal publication,
formal proceedings ready by the event, formal post-proceedings,
publication venue - EPTCS or elsewhere).

The proposals will be evaluated by the ETAPS 2016 organizing committee
on the basis of their assessed benefit for prospective participants of
ETAPS 2016. Prospective organizers may wish to consult the web pages
of previous satellite events as examples:

ETAPS 2015: http://www.etaps.org/2015/workshops
ETAPS 2014: http://www.etaps.org/2014/workshops
ETAPS 2013: http://www.etaps.org/2013/workshops
ETAPS 2012: http://www.etaps.org/2012/workshops

-- IMPORTANT DATES --

Satellite event proposals deadline: March 29, 2015.

Notification of acceptance: April 2, 2015.

-- VENUE --

ETAPS 2016 will take place at the Campus of the Eindhoven University
of Technology. Eindhoven, located in the south of the Netherlands,
has a small international airport, Eindhoven Airport, with direct
connections to various destinations in Europe. The main airport of the
Netherlands is the Amsterdam Airport, Schiphol. Schiphol has a direct
train connection to Eindhoven.

-- FURTHER INFORMATION AND ENQUIRIES --

Please contact the workshop co-chairs, Julien Schmaltz,
j.schmaltz@tue.nl, and Erik de Vink, e.p.d.vink@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/
*
**********************************************************

Second Call for Papers: SETS 2015

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

CALL FOR PAPERS -- SETS 2015

********************************************************************************
2nd International Workshop about Sets and Tools (SETS 2015)
June 23, 2015, Oslo, Norway
Affiliated to FM 2015
http://sets2015.cnam.fr/
********************************************************************************

AIM

Sets and constructs built upon them like relations, functions, sequences are
the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B.
Sets also occur in the formalization of mathematics, as evidenced by the large
library of the Mizar proof system for example. In addition, still in the
domain of verification, there is an increasing interest to automate set theory
(which is known to be a difficult problem), with some concrete realizations,
such as mp (the "main prover" of Atelier B) or Muscadet (an automated theorem
prover for natural deduction, which gives some good performances in set
theory). Sets are also the main features of some programming languages like
the former SetL language or the more recent {log} language (pronounced as
setlog).

The workshop aims at bringing together researchers interested in set theory,
especially to design tools for dealing with set theory, such as interactive or
automated theorem provers, proof checkers, theories for general purpose proof
tools, constraint solvers, programming languages etc. These tools may be
dedicated or general purpose tools. Contributions by theoreticians working on
set theories or fragments of set theories in the aim of designing concrete
tools, and by practitioners using set-based tools are both welcome. We are
also interested by contributions providing some comparisons between set
modeling techniques and other formalisms, such as type theory (and variants)
for instance. Finally, regarding the domains of application, we mainly expect
contributions in the framework of formal methods, but not exhaustively, and
contributions reporting formalizations of mathematics using set theory for
example could be of interest for this workshop as well.

TOPICS

Topics of interest for this workshop include all aspects of set theory and
corresponding tools. More specifically, some suggested topics are:

* Proof tools for sets
* Constraint solvers for sets
* Set-based programming languages
* Automated verification in set theory
* Encoding of sets in provers
* Set theories for SMT solvers
* Use of set-based tools in formal methods
* Use of set-based tools in mathematics
* Comparison of set-based tools
* Comparison between set and type theories
* Experience reports

CONTRIBUTIONS AND PROCEEDINGS

Submitted papers must be 6-15 pages in length, following the Springer LNCS
format. These submissions may be:

* Research papers providing new concepts and results
* Position papers and research perspectives
* Experience reports
* Tool presentations

Proceedings, including all the papers selected for the workshop, will be
published as online proceedings in the CEUR workshop proceedings series
(CEUR-WS.org).

PAPER SUBMISSION

Contributions must be submitted electronically in PDF using the SETS 2015
EasyChair web site at the following address:

https://www.easychair.org/conferences/?conf=sets2015

IMPORTANT DATES

Abstract submission: March 31, 2015
Submission deadline: April 7, 2015
Paper notification: May 7, 2015
Revised/final paper: May 22, 2015
Workshop: June 23, 2015

PROGRAMME CO-CHAIRS

David Delahaye (Cnam, France)
Catherine Dubois (Ensiie, France)

PROGRAMME COMMITTEE

Mats Carlsson (Swedish Institute of Computer Science, Sweden)
Iliano Cervesato (Carnegie Mellon University, USA)
Maximiliano Cristia (CIFASIS, Universidad Nacional de Rosario, Argentina)
David Deharbe (Universidade Federal do Rio Grande do Norte, Brazil)
Leo Freitas (Newcastle University, UK)
Michael Leuschel (University of Düsseldorf, Germany)
Stephan Merz (Inria Nancy - Grand Est, Loria, France)
Gianfranco Rossi (Università di Parma, Italy)
Arnaud Spiwack (MINES ParisTech, France)
Josef Urban (Radboud University Nijmegen, The Netherlands)
Wolfgang Windsteiger (RISC Institute, JKU Linz, Austria)


_______________________________________________
events mailing list
events@fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events

[DMANET] REMINDER: Scottish Combinatorics Meeting, University of Glasgow, 29-30th April 2015

Just a quick reminder that the deadline to register for this event is
approaching: please contact me by 31st March if you plan to attend the
meeting.

More information (now including the schedule) is available at
http://www.maths.gla.ac.uk/~kmeeks/scm/.


---------- Forwarded message ----------
From: Kitty Meeks <kittymaths@gmail.com>
Date: Mon, Feb 16, 2015 at 3:04 PM
Subject: Scottish Combinatorics Meeting, University of Glasgow, 29-30th
April 2015
To: dmanet@zpr.uni-koeln.de


The Scottish Combinatorics Meeting 2015 will take place at the University
of Glasgow on Wednesday 29th and Thursday 30th April 2015. Everyone with
an interest in combinatorics and its applications is warmly invited to
attend this meeting, the first in what we hope will become a regular series
of events.

Attendance at the meeting is free, but for catering purposes participants
are asked to register (by emailing kitty.meeks@glasgow.ac.uk) by 31st
March. The exact schedule is still to be confirmed, but talks will not
start before 11am and will finish by 5pm, hopefully allowing many
participants to attend as a day trip.

The invited speakers are:
Peter Cameron (St Andrew's)
Mary Cryan (Edinburgh)
Keith Edwards (Dundee)
Sergey Kitaev (Strathclyde)
Mark Jerrum (QMUL)
David Manlove (Glasgow)
Alex Scott (Oxford)
Andrew Treglown (Birmingham)

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 and the Scottish Informatics and Computer
Science Alliance.

**********************************************************
*
* 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] Stream "Graphs and Networks" at EURO 2015 --- by March 30 latest

Dear Colleagues and Friends,

It is a great honor for us to invite you to submit an abstract in the
stream "Graphs and Networks" of the forthcoming EURO XXVII Conference
in Glasgow, July 12-15, 2015 (http://www.euro2015.org/).

Until March 30, the Extended Deadline:

To submit your paper, please visit
http://www.euro-online.org/conf/euro27 and send your abstract by using
the

invitation Code cdc44f47

that will support various specialized sessions in the stream.

In order to submit an abstract, you need to have a EURO account. If
you do not have such an account, please visit
http://www.euro-online.org/web/accounts/register/
and sign up for a new one.

Friendly regards and best wishes,

Dominique De Werra
dominique.dewerra@epfl.ch



**********************************************************
*
* 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] postdoc in online algorithms

POSTDOC IN ONLINE ALGORITHMS

A CS postdoc position in online algorithms is available at the
Department of Mathematics and Computer Science (IMADA), University of
Southern Denmark, Odense, Denmark, supported by the Villum Foundation
grant "On-Line Algorithms and Advice". It is a one year position with
a starting date of September 1, 2015 (somewhat negotiable). The
project is centered around online algorithms in general, with a
special focus on the relatively new framework of advice complexity.
See the project home page (www.imada.sdu.dk/~joan/villum/) for
earlier activities and publications in this project, as well as home
pages for the people involved.

The candidate must have a PhD degree in Computer Science before the
starting date of the position and a convincing research record in
algorithms and data structures. Experience in online algorithms would
be an advantage. Fluency in English is required.

The base salary is DKK 31,951 per month (approx. 4300 Euro). For
non-residents of Denmark, the pension savings can be converted to an
additional salary increase of DKK 5350. With higher than normal career
seniority, both numbers increase. Reasonable travel funding will be
available.

The application deadline is Wednesday, April 15, 2015. For information
on how to apply, please see:
http://www.sdu.dk/en/servicenavigation/right/ledige_stillinger

Informal inquiries by email to Professor Kim S. Larsen
(kslarsen@imada.sdu.dk) are welcome, but do not constitute an
application.

--
Joan Boyar Email: joan@imada.sdu.dk
Dept. of Math. and Comp. Sci. URL: http://www.imada.sdu.dk/~joan/
University of Southern Denmark
Campusvej 55 phone: +45 6550 2338
DK-5230 Odense M, Denmark fax: +45 6593 2325
**********************************************************
*
* 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/
*
**********************************************************

Tuesday, March 24, 2015

[Mycolleagues] [CFP] - Special issue of PARCO: Theory and Practice of Irregular Applications (TaPIA) - Deadline approaching

[Apologies if you got multiple copies of this email.]

A broad class of applications is irregular. Irregular applications present unpredictable memory access patterns, control structures, and/or network transfers. They typically use pointer or linked lists-based data structures such as graphs, unbalanced trees, and unstructured grids. They often present fine-grained synchronization and communication, and generally operate on very large data sets. They have a significant degree of latent parallelism, which is however difficult to fully exploit because of their complex behavior. Beside performance, another significant concern for emerging irregular applications is the size of the datasets. In fact, modern irregular applications operate on massive amounts of data, often unstructured, which are very difficult to partition and easily generate load imbalance.

Current high performance architectures rely on data locality, regular computations, structured data and easily partitionable datasets. They do not cope well with the requirements of these applications. Furthermore, irregular applications are difficult to scale on current supercomputing machines, because of their limits with fine-grained communication and synchronization. Irregular applications pertain both to well established and emerging fields, such as Computer Aided Design (CAD), bioinformatics, semantic graph databases, machine learning, analysis of social, transportation, communication and other types of networks, and computer security. Addressing the issues of these applications on current and future system architectures will become critical to solve the scientific challenges of the next few years.

This special issue seeks to explore solutions for supporting efficient design, development and execution of irregular applications in the form of new features at the level of the micro- and system-architecture, network, languages and libraries, runtimes, compilers, analysis, algorithms. Topics of interest, of both theoretical and practical significance, include but are not limited to:

* Micro- and System-architectures
* Network and memory architectures
* Manycore, hybrid, heterogeneous and custom architectures (Tilera, GPUs, FPGAs)
* Modeling, evaluation and characterization of architectures for memory intensive and irregular applications
* Innovative algorithmic techniques
* Combinatorial (graph) algorithms and their applications
* Parallelization techniques and data structures
* Languages and programming models
* Library and runtime support
* Compiler and analysis techniques
* Case studies of irregular applications (e.g. Semantic Graph Databases, Data Mining, Security, Bioinformatics)

This special issue solicits both novel, unpublished work, and previously published, but significantly extended, approaches.

Schedule

Submission deadline: March 30 - 2015
First round of reviews and initial notification: June 2015
Revisions and final decisions: August 2015
Publication: November 2015

http://www.journals.elsevier.com/parallel-computing/call-for-papers/parallel-computing-on-theory-and-practice-of-irregular-appli/ <http://www.journals.elsevier.com/parallel-computing/call-for-papers/parallel-computing-on-theory-and-practice-of-irregular-appli/>

Guest Editors

Antonino Tumeo, Pacific Northwest National Laboratory
antonino.tumeo@pnnl.gov

John T. Feo, Context Relevant
jfeo@contextrelevant.com

Oreste Villa, NVIDIA Research
ovilla@nvidia.com

_______________________________________________
Mycolleagues mailing list
Mycolleagues@mailman.ufsc.br
http://mailman.ufsc.br/mailman/listinfo/mycolleagues

- Through this link above you can "subscribe", "unsubscribe", or change your settings in the list, using "username=ufsc" and "password=ufsc".
- If you need any help, please send a message to mycolleagues-owner@mailman.ufsc.br.
- ENJOY this COURTESY offered by FEDERAL UNIVERSITY OF SANTA CATARINA.

[DMANET] [PADABS'15 - CFP] - Call for Papers 3rd Workshop on Parallel and Distributed Agent-Based Simulations.

Call for Papers -- PADABS'15

3rd Workshop on Parallel and Distributed Agent-Based Simulations. 2015.

August 24-25th, 2015, Vienna (Austria), jointly with Euro-Par 2015 (
http://www.padabs.org)

Deadlines

- Workshop papers due: May 22, 2015
- Workshop author notification: June 19, 2015
- Workshop: August 24-25, 2015
- Workshop camera-ready papers due: October 2, 2015

Organizers

- Vittorio Scarano (Universita' di Salerno, Italy), chair
- Gennaro Cordasco (Seconda Universita' di Napoli, Italy)
- Rosario De Chiara (Poste Italiane, Italy)
- Ugo Erra (Universita' della Basilicata, Italy)

Program Committee (tentative)

- Maria Chli (Aston University, United Kingdom)
- Claudio Cioffi-Revilla (George Mason University, USA)
- Biagio Cosenza (University of Innsbruck, Austria)
- Nick Collier (Argonne National Laboratory, USA)
- Rosaria Conte (CNR, Italy)
- Andrew Evans, (University of Leeds, United Kingdom)
- Bernardino Frola (The MathWorks, Cambridge, UK)
- Joanna Kolodziej (Cracow University of Technology and AGH University of
Science and Technology, Cracow, Poland)
- Nicola Lettieri (Universita' del Sannio e ISFOL, Italy)
- Sean Luke (George Mason University, USA)
- Michael North (Argonne National Laboratory, USA)
- Mario Paolucci (CNR, Italy)
- Paul Richmond (The University of Sheffield, United Kingdom)
- Arnold Rosenberg (Northeastern University, USA)
- Flaminio Squazzoni (University of Brescia, Italy)
- Michela Taufer (University of Delaware, USA)

Objectives of the Workshop

Agent-Based Simulation Models are an increasingly popular tool for research
and
management in many fields such as ecology, economics, sociology, etc..
In some fields, such as social sciences, these models are seen as a
key instrument to the generative approach, essential for understanding
complex social phenomena.
But also in policy-making, biology, military simulations, control of
mobile robots and economics, the relevance and effectiveness of
Agent-Based Simulation Models is recently recognized.
Computer science community has responded to the need for platforms that can
help
the development and testing of new models in each specific field by
providing tools, libraries and frameworks that speed up and make massive
simulations possible.

The key objective of this Third Workshop on Parallel and Distributed
Agent-Based Simulations is to bring together the researchers that are
interested
in getting more performances from their simulations, by using synchronized,
many-core
simulations (e.g., GPUs), strongly coupled, parallel simulations (e.g. MPI)
and
loosely coupled, distributed simulations (distributed heterogeneous
setting).
Several frameworks have been recently developed and are active in this
field.
They range from the GPU-Manycore approach, to Parallel, to Distributed
simulation environments. In the first category, you can find FLAME GPU, that
allows also non GPU specialists to harness the GPUs performance for real
time simulation and
visualization. For tightly-coupled, large computing clusters and
supercomputers
a very popular framework is Repast for High Performance Computing
(REPAST-HPC),
a C++ based modeling system. On the distributed side, recent work on
Distributed MASON, allows non specialists to use heterogeneous hardware and
software in local area networks for enlarging the size and speeding up the
simulation of complex Agent-Based models.
Topics of interest

- Frameworks for parallel/distributed ABSs.
- Case studies of ABSs in parallel/distributed settings, with an emphasis
on the technical implementation, architectural choices and their impact on
performances.
- Benchmark parallel/distributed ABSs.
- Debugging parallel/distributed ABSs.
- Formal methods and algorithms for ABSs in parallel/distributed models.
- Load Balancing algorithms, techniques and frameworks.
- Management and deployment of parallel/distributed ABSs.
- Visualization of parallel/distributed ABSs.

Paper submission

The papers will be presented in the regular format (10-12 pages LNCS format)
and will be reviewed, anonymously by at least 3 reviewers of the Program
Committee.
Acceptance as regular/short papers will depend upon scientific value,
originality and relevance to the Workshop theme.

Euro-Par Workshops Proceedings will be published by Springer in the Lecture
Notes for Computer Science series after the Workshops. Submissions and
reviewing
will be through EasyChair via http://www.europar2015.org.


Contact information

- Vittorio Scarano: vitsca@dia.unisa.it
- Ugo Erra: ugo.erra@unibas.it
- Gennaro Cordasco: gennaro.cordasco@unina2.it
- Rosario De Chiara: dechia24@posteitaliane.it

**********************************************************
*
* 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] Cargese Fall School on Random Graphs, Sept 20-25

The 1st Cargese Fall School on Random Graphs will be held in Cargese
(Corsica) on September 20-25, 2015. Starting with an introduction of
random graphs, different topics including applications of random
graphs for networks and its connections to statistical physics will be
discussed.

The school is aimed at advanced master students, PhD students, or
researchers in an early stage of their career working in the broad
field of random graphs and its applications.

Further details can be found at:
http://math.unice.fr/~dmitsche/Fallschool/Fallschool.html

Due to the generous support of sponsors (CNRS, ANR, Ryerson
University, Universite Nice, Ecole Doctorale Nice) registration is
free, and covers a 6-night stay in a double bedroom,
as well as breakfast and lunch. However, the number of participants
being very limited, we might have to make a selection.

If you want to participate, send an email to dmitsche@unice.fr. Attach
a CV, a short motivation letter for your participation as well as two
references that can be contacted for recommendation letters.

Deadline for application: May 30, 2015. You will be informed shortly
afterwards whether your application was successful.

Please do not hesitate to forward this announcement to anyone interested.


Best regards,

The organizing committee
Marc Lelarge, Dieter Mitsche, Pawel Pralat
**********************************************************
*
* 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] Still some open slots for the 2nd Swedish Summer School in Computer Science

This is just to spread the information that there are still some open slots
for the 2nd Swedish Summer School in Computer Science
(http://s3cs.csc.kth.se/).

In particular, we would be happy to accept some more applicants for the (very
attractive) SEK 3000 rate including full board and lodging.

The summer school will be held from June 28 to July 4 in the beautiful
Stockholm archipelago. It runs for a full week Monday-Friday, with arrival on
Sunday evening and departure Saturday morning. It consists of two mini-courses
on "List decoding and polar coding" by Venkatesan Guruswami and "Codes with
local decoding procedures" by Sergey Yekhanin. The school is primarily
intended for PhD students, but postdocs and bright MSc students are also
warmly welcome.

Please apply as soon as possible at http://s3cs.csc.kth.se/application.php if
you would like to attend the summer school. Any questions can be directed to
s3cs-2015@csc.kth.se.



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

Still some open slots for the 2nd Swedish Summer School in Computer Science

This is just to spread the information that there are still some open slots
for the 2nd Swedish Summer School in Computer Science
(http://s3cs.csc.kth.se/).

In particular, we would be happy to accept some more applicants for the (very
attractive) SEK 3000 rate including full board and lodging.

The summer school will be held from June 28 to July 4 in the beautiful
Stockholm archipelago. It runs for a full week Monday-Friday, with arrival on
Sunday evening and departure Saturday morning. It consists of two mini-courses
on "List decoding and polar coding" by Venkatesan Guruswami and "Codes with
local decoding procedures" by Sergey Yekhanin. The school is primarily
intended for PhD students, but postdocs and bright MSc students are also
warmly welcome.

Please apply as soon as possible at http://s3cs.csc.kth.se/application.php if
you would like to attend the summer school. Any questions can be directed to
s3cs-2015@csc.kth.se.

[DMANET] EURO 2015 --- Only 7 Days to the Final Deadline (30 March 2015)

ONLY 7 DAYS TO THE FINAL DEADLINE (30 March 2015) - Don't miss the
opportunity to submit your abstract or organise a session at EURO2015.

We are happy to announce that Michael Trick has accepted to give a
keynote talk on "Business Analytics: Combining Predictive and
Prescriptive Analytics to Have Broad Impact". This will bring the
number of keynote/tutorial talks up to 13 presentations, including 3
plenary talks.

Whether you are an academic, practitioner, student, researcher . or
all of these . we would like to be able to welcome you to Glasgow,
"the friendliest city in the world", in July 2015 to participate in
EURO2015. With over 500 sessions (& room for more) spanning the
breadth of OR in theory and practice and incorporating the highly
successful and popular "Making an Impact" organised by UK
practitioners, it provides an excellent opportunity to renew old
acquaintances and to make new ones. We have no doubt that the
conference with reflect the University of Strathclyde's 300 year
reputation as a "place of useful learning".

We hope to see you in July

Kind regards

Professor Tim Bedford, Professor Val Belton and Professor David
Pisinger, Co-chairs of EURO 2015




**********************************************************
*
* 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] Stelle als wissenschaftlicher Mitarbeiter

Ausschreibung
(siehe auch http://www.tu-ilmenau.de/al/freie-stellen/)

An der Fakultät für Informatik und Automatisierung, Fachgebiet
Automaten und Logik (Fachgebiets-leiter Prof. Dr. Dietrich Kuske), ist
zum nächstmöglichen Zeitpunkt eine Stelle als

wissenschaftliche/r Mitarbeiter/in

für 3 Jahre zu besetzen. Die Vergütung richtet sich nach den
Bestimmungen der Tarifverträge für den Öffentlichen Dienst der Länder
(TV-L), entsprechend den persönlichen Voraussetzungen bis zur
Entgeltgruppe 13.


Aufgabengebiete
• Es sollen Forschungsarbeiten zur effektiven Modelltheorie, d.h. an
der Schnittstelle von Logik, Automaten- und Berechenbarkeitstheorie
und Komplexität, bearbeitet werden.
• Es soll die Lehre im gesamten vom Fachgebiet angebotenen Spektrum
unterstützt werden (Vorbereitung und Durchführung von Übungen;
Betreuung von Seminar- und Abschlussar-beiten; Unterstützung bei der
Durchführung von Prüfungen).
• Die Übernahme von organisatorischen und Selbstverwaltungsaufgaben im
üblichen Rahmen wird erwartet.


Einstellungsvoraussetzungen
Wir erwarten von Ihnen:
• einen sehr guten Abschluss (bei Dienstantritt) in Informatik oder
Mathematik
• sehr gute Kenntnisse in Theoretischer Informatik, vorzugsweise in
einem der Gebiete Logik und Automatentheorie
• Fähigkeit zur Veröffentlichung und Präsentation von
Forschungsergebnissen im internatio-nalen Rahmen
• Bereitschaft zur selbständigen wissenschaftlichen Tätigkeit mit dem
Ziel der Weiterqualifika-tion
• wünschenswert sind Erfahrungen in der universitären Lehre
(z.B. Übungsbetreuung)

Die TU Ilmenau ist Träger des TOTAL E-Quality-Prädikats. Sie fordert
Frauen nachdrücklich zur Be-werbung auf. Schwerbehinderte haben bei
gleicher Eignung, Befähigung und fachlicher Qualifikati-on Vorrang bei
der Einstellung.

Bewerbungen mit den üblichen Unterlagen (Bewerbungsschreiben,
Lebenslauf, Zeugniskopien, ggf. Referenzen) richten Sie bitte bis zum
20.4.2015 unter der Kennziffer 14/2015 an die

Technische Universität Ilmenau
Dezernat für Personalangelegenheiten
PF 10 06 56
98684 Ilmenau.

Senden Sie diese Unterlagen bitte gleichzeitig in elektronischer Form
an Prof. Dr. Dietrich Kuske (dietrich.kuske@tu-ilmenau.de), der auch
gerne weitere Informationen erteilt.

Aus Kostengründen wird darum gebeten, die Bewerbungsunterlagen in
Kopie einzureichen. Diese verbleiben bei der TU Ilmenau und werden
nicht zurück gesandt. Nach Abschluss des Stellenbesetzungsverfahrens
werden die Unterlagen nicht berücksichtigter Bewerber vernichtet. Bei
gewünschter Rücksendung der Unterlagen bitten wir, der Bewerbung einen
adressierten und ausreichend frankierten Rückumschlag beizufügen. Die
Ihnen durch die Bewerbung entstandenen Kosten werden durch die TU
Ilmenau nicht übernommen.

**********************************************************
*
* 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] open position as PhD-student or PostDoc

Position opening
(see http://www.tu-ilmenau.de/al/freie-stellen/)

The Department of Computer Science and Automation of the Technische
Universität Ilmenau (Germany), Automata and Logic group (headed by
Prof. Dr. Dietrich Kuske), in the frame of a DFG-financed project
(German Research Foundation) is offering a

research position

for three years starting at the earliest possible date. The position
is open to PhD-students and to Post Doctoral researchers. The salary
is based on provisions of collective agreements in the public service
of the German States (TV-L), the position is ranked E13.


Responsibilities
• Research on algebraic automata theory
• Organizational and administrative tasks


Employment requirements
• very good university degree at master level in mathematics or
computer science
• very good knowledge in theoretical computer science or algebra,
preferably in automata, monoid or group theory
• ability to publish and present research results at international
events
• willingness to conduct independent research with the aim of further
qualification
• very good knowledge of German or English

Technische Universität Ilmenau has been awarded the TOTAL E-Quality
predicate. It strongly urges women to apply. Disabled persons, having
the same aptitude and professional qualifications, have priority in
hiring.

Applications with the usual documents (letter of application, complete
curriculum vitae, certificates, possibly references) should be sent
electronically under the reference 13/2015 to

bewerbung@tu-ilmenau.de.

Please cc your application also to Professor Kuske
(dietrich.kuske@tu-ilmenau.de) who is also happy to provide further
information (also by telephone +49 3677 691444).

Application deadline
This position is open until filled. First review of application
material will be April 20, 2015.


**********************************************************
*
* 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, March 22, 2015

[DMANET] IWOCA 2015: First Call for Papers

================================================================================
First Call for Papers
================================================================================

26th International Workshop on Combinatorial Algorithms (IWOCA 2015)
Verona, Italy, 5-7 Oct. 2015
http://iwoca2015.di.univr.it

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

IWOCA 2015 continues the long and well-established tradition of encouraging
high-quality research in theoretical computer science and providing an
opportunity to bring together specialists and young researchers working in
the area. The scientific program will include three invited lectures
covering the areas of main interest, accepted contributed talks, posters,
and an open problem session.

This year for the first time, we will have a best student paper award,
sponsored by the EATCS.

INVITED SPEAKERS:
Béla Bollobás, Cambridge University, UK, and University of Memphis, TN,
USA
Frank Ruskey, University of Victoria, Canada
Esko Ukkonen, University of Helsinki, Finland

SCOPE:
We solicit high-quality papers in the broad area of combinatorial
algorithms. Topics include (but are not restricted to): Algorithms and Data
Structures (including sequential, parallel, distributed, approximation,
probabilistic, randomised, and on-line algorithms); Algorithms on Strings
and Graphs; Applications (Bioinformatics, Music Analysis, Networking, and
others); Combinatorics on Words; Combinatorial Enumeration; Combinatorial
Optimization; Complexity Theory; Computational Biology; Compression and
Information Retrieval; Cryptography and Information Security;
Decompositions and Combinatorial Designs; Discrete and Computational
Geometry; Graph Drawing and Labelling; Graph Theory

PROCEEDINGS AND SPECIAL ISSUE:
The conference proceedings with invited papers and accepted contributed
papers will be published after the conference as a volume of the
Springer-Verlag Lecture Notes in Computer Science. There will be a special
issue of the journal Discrete Applied Mathematics with papers from the
conference.

SUBMISSIONS:
Authors are invited to submit an extended abstract of no more than 12 pages
in LNCS style, including references. A clearly marked Appendix can be
included, which will be read at the referees' discretion. All submissions
have to be made via the EasyChair page for the conference. No simultaneous
submission to other conferences with published proceedings is allowed, and
submitted papers should not be under review by a journal during the whole
refereeing process. At least one author of each accepted paper will be
expected to attend the conference and present the paper.

VENUE:
The conference will take place in the historic center of Verona, which is a
Unesco world heritage site. Verona is easily reachable by plane or train
from anywhere in Europe.

IMPORTANT DATES:
Paper submission: June 14, 2015 (anywhere on earth)
Notification: Aug. 3, 2015
Conference: Oct. 5-7, 2015

PROGRAM COMMITTEE:
Don Adjeroh (West Virginia University, USA)
Hideo Bannai (Kyushu University, Japan)
Paola Bonizzoni (University of Milano-Bicocca, Italy)
Gerth Stølting Brodal (Aarhus University, Denmark)
Sebastian Böcker (Friedrich-Schiller-University Jena, Germany)
Charlie Colbourn (Arizona State University, USA)
Jiri Fiala (Charles University, Czech Republic)
Dalibor Froncek (University of Minnesota Duluth, USA)
Luisa Gargano (University of Salerno, Italy)
Roberto Grossi (University of Pisa, Italy)
Pinar Heggernes (University of Bergen, Norway)
Costas Iliopoulos (King's College London, UK)
Ralf Klasing (CNRS and University of Bordeaux, France)
Christian Komusiewicz (TU Berlin, Germany)
Jan Kratochvil (Charles University, Czech Republic)
Dieter Kratsch (University of Lorraine, Metz, France)
Gad Landau (University of Haifa, Israel)
Thierry Lecroq (University of Rouen, France)
Zsuzsanna Lipták (University of Verona, Italy) – co-chair
Giovanni Manzini (University of Piemonte Orientale, Italy)
Martin Milanič (University of Primorska, Slovenia)
Mirka Miller (University of Newcastle, Australia)
Ian Munro (University of Waterloo, Canada)
Wendy Myrvold (University of Victoria, Canada)
Gonzalo Navarro (University of Chile, Chile)
Kunsoo Park (Seoul National University, South Korea)
Solon Pissis (King's College London, UK)
Simon Puglisi (University of Helsinki, Finland)
M. Sohel Rahman (BUET, Bangladesh)
Romeo Rizzi (University of Verona, Italy)
Frank Ruskey (University of Victoria, Canada)
Bill Smyth (McMaster University, Canada) – co-chair

OPEN PROBLEMS CHAIRS:
Gabriele Fici (University of Palermo, Italy)

ORGANIZING COMMITTEE:
Ferdinando Cicalese (University of Verona, Italy)
Giuditta Franco (University of Verona, Italy)
Rosalba Giugno (University of Catania, Italy)
Zsuzsanna Lipták (University of Verona, Italy)
Simon Puglisi (University of Helsinki, Finland)
Romeo Rizzi (University of Verona, Italy)
Ugo Solitro (University of Verona, Italy)

STEERING COMMITTEE:
Costas Iliopoulos (King's College London, UK)
Mirka Miller (University of Newcastle, Australia)
Bill Smyth (McMaster University, Canada)

The conference is organized by the Department of Computer Science of the
University of Verona, in cooperation with the EATCS (European Association
for Theoretical Computer Science) and AICA (Associazione Italiana per
l'Informatica ed il Calcolo Automatico).

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

Two postdoc research positions at UPC Barcelona

The Computer Science Department of the Universitat Politecnica de
Catalunya (UPC Barcelona-Tech) and the Barcelona Graduate School of
Mathematics (BGSMath) invite applications for two postdoc research
positions in the theory of computation.

The successful candidates will join the group of Albert Atserias
(http://www.cs.upc.edu/~atserias) to conduct research in the areas of
algorithms and computational complexity, and mathematical logic for
the theory of computation. The researchers will be appointed as
full-time employees of UPC, with affiliations at the computer science
department, and their positions will be for one year, with the
possibility of renewal for a second year.

Successful candidates should have received or be about to receive a
PhD degree in computer science and/or mathematics, with particular
emphasis on the theory of computation or related areas (combinatorics,
mathematical programming, mathematical logic, etc.). Their strong
record of research should be proved by top-quality publications at the
most prestigious conference venues (ICALP, FOCS/STOC, CCC, LICS, SODA,
...) and/or scientific journals.

Deadline for applications is June 15, 2015. Check the details of the
application procedure at http://www.cs.upc.edu/~atserias/AUTAR.html.
Expected start date is September 1st, 2015, but this is to some extent
negotiable.

UPC is the technical university of Catalonia with its base campus
located in the city of Barcelona. It is one of the largest technical
universities of southern EU, with over 30,000 students spanning all
levels from undergraduate to PhD, and employing over 2,500
faculty. The Computer Science Department of UPC is one of its largest
departments, and hosts strong research groups in the theory of
computation, algorithms, machine learning and data mining, logic in
computer science, and computer graphics, among others. The research
group in the theory of computation is involved in the activities of
the Barcelona Graduate School of Mathematics (BGSMath), which is a
platform that coordinates the mathematical academic activities and PhD
programs of the three public universities within the area of Barcelona
that have mathematics departments (UB, UAB and UPC).

[DMANET] CiE 2015: call for informal presentations [corrected]

Subject: CiE 2015: Evolving Computability - Grants, and Call for
Presentations,
Important: submission link corrected

-------------------------------------------------------------------
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3
http://fmi.unibuc.ro/CiE2015/
-------------------------------------------------------------------

FUNDING DEADLINE APPROACHING
- ASL STUDENT TRAVEL GRANTS: March 28, 2015

SUBMISSION DEADLINE FOR INFORMAL PRESENTATIONS: APRIL 24, 2015
------------------------------------------------------

CALL FOR INFORMAL PRESENTATIONS

There is a remarkable difference in conference style between computer
science and mathematics conferences. Mathematics conferences allow for
informal presentations that are prepared very shortly before the conference
and inform the participants about current research and work in progress.
The format of computer science conferences with pre-conference proceedings
is not able to accommodate this form of scientific communication.

Continuing the tradition of past CiE conferences, also this year's CiE
conference endeavours to get the best of both worlds. In addition to the
formal presentations based on our LNCS proceedings volume, we invite
researchers to present informal presentations. For this, please send us a
brief description of your talk (between one paragraph and one page) by:

APRIL 24, 2015

Please submit your abstract electronically, via EasyChair <
https://easychair.org/conferences/?conf=cie2015>, selecting the category
"Informal Presentation".

You will be notified whether your talk has been accepted for informal
presentation usually within a week or two after your submission.

If you intend to apply for the ASL Student Travel Award, you might need us
to confirm that your are going to give a presentation at CiE 2015
(applications of students who are presenting get higher priority).
Therefore, we would like to ask you to submit your informal presentations
by March 25 so that we can send you the notification before the ASL
deadline of March 28.


FUNDING OPPORTUNITIES:

CiE 2015 has received funding from ASL (Association for Symbolic Logic)
and EATCS (European Association for Theoretical Computer Science) that
allows students who are members of ASL or EATCS and want to attend CiE 2015
to apply for travel funds or a reduction of the early registration fee.

Preference will be given to presenters of accepted papers.

Applications for ASL travel grants have to be addressed directly to ASL,
with a strict deadline of March 28, 2015.

Applications for EATCS travel grants have to be sent to
cie2015@fmi.unibuc.ro prior to the early registration deadline.

__________________________________________________
CiE 2015 http://fmi.unibuc.ro/CiE2015/
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE
__________________________________________________________________________

**********************************************************
*
* 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, March 21, 2015

[Mycolleagues] Final Call for Papers - 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2015)

			        Call for Papers     *******************************************************************************                 17th International Symposium on Stabilization, Safety,                   and Security of Distributed Systems (SSS 2015)                                 Edmonton, Alberta, Canada                                 18-21 August 2015                                  sss15.cs.ualberta.ca                    Proceedings to be published as a Springer LNCS Volume.    *******************************************************************************    The Symposium on Stabilization, Safety, and Security of Distributed Systems is  an international forum for researchers and practitioners working on the design  and development of distributed systems that guarantee specific desired  properties despite adversity, or that are able to restore the desired  properties following adversarial perturbations in the computing medium building  on the principles of self-stabilization.     Research in distributed computing and distributed systems continues its vibrant  development, marked by the importance of dynamic systems, such as peer-to-peer  networks, large-scale wireless sensor networks, mobile ad hoc networks, mobile  agent computing, opportunistic networks etc. Moreover, new applications such as  grid and web services, banking and e-commerce, e-voting, e-health and robotics,  aerospace and avionics, automotive, industrial process control, have joined the  expanded landscape of distributed systems. It is becoming increasingly  important to endow all such systems with built-in means for self-management,  self-protection, and self-repair.      The symposium encourages the submission of original contributions spanning  fundamental research and practical applications within its scope, covered by  the five symposium tracks:    + Self-stabilization Track  	Track Chair: Joffroy Beauquier, U. Paris-Sud, France   + Fault-tolerance and Dependability Track  	Track Chair: Nitin Vaidya, UIUC, USA  + Ad-hoc and Sensor Networks, Mobile Agents Track  	Track Chair: Paola Flocchini, U. of Ottawa, Canada  + System Security in Distributed Computing Track  	Track Chair: Alex Russell, U. of Connecticut, USA  + Formal Methods and Distributed Algorithms Track  	Track Chair: Helmut Veith, Vienna U. of Technology, Austria    *******************************************************************************        *   The technical program of SSS 2015 (Aug. 19 - Aug. 21) will be    *      *   preceded by a one day Summer School on DISTRIBUTED COMPUTING AND *      *   CRYPTOGRAPHY (Aug. 18), organized by Shlomi Dolev (Ben-Gurion    *      *   University, Israel).                                             *    *******************************************************************************                                    Organization    General Co-chairs:      	Ted Herman (University of Iowa, USA)      	Jared Saia (University of New Mexico, USA)    Program Committee Co-chairs:      	Andrzej Pelc (Universite du Quebec en Outaouais, Canada)  	Alexander A. Shvartsman (University of Connecticut, USA)    Keynote Speakers:      	Sergio Rajsbaum (Universidad Nacional Autonoma de Mexico, Mexico)      	Roger Wattenhofer (ETH Zurich, Switzerland)      	Philipp Woelfel (University of Calgary, Canada)    Local Arrangements Chairs:  	Ioanis Nikolaidis (University of Alberta, Canada)      	H. James Hoover (University of Alberta, Canada)    Publicity Chair:  	Maxwell Young (Drexel University, USA)    Awards Chair:  	Borzoo Bonakdarpour (McMaster University, Canada)    Steering Committee:  	Anish Arora (Ohio State University, USA)  	Ajoy K. Datta (University of Nevada, USA)  	Shlomi Dolev (Chair) (Ben-Gurion University of the Negev, Israel)  	Sukumar Ghosh (University of Iowa, USA)  	Mohamed Gouda (University of Texas at Austin, USA)  	Ted Herman (University of Iowa, USA)  	Toshimitsu Masuzawa (Osaka University, Japan)  	Vincent Villain (Universite de Picardie Jules Verne (UPJV), France)    *******************************************************************************                                   IMPORTANT DATES    Paper submission deadline: March 29, 2015 (UTC-12) *firm*    Notification:              May 29, 2015    Camera Ready Submission:   June 5, 2015    Technical Sessions:        August 19-21, 2015    *******************************************************************************                             Paper Submission Instructions    Papers must be prepared using the LNCS style and be electronically submitted   to a specific track in PDF format using EasyChair. Contributions can be  submitted as either Regular Papers or Brief Announcements. Submissions for  regular papers must be no longer than 15 pages (including the title, authors,   abstract, figures, and references) and may have an additional appendix to be  read at the discretion of the Program Committee. Brief announcements are  restricted to two pages with no appendix. Submissions deviating from these  guidelines will be rejected without consideration of their merits.      If requested by the authors, a regular submission that is not selected for a  regular presentation will also be considered for a brief announcement. This  request must be clearly indicated in the first page of the paper. Such a  request will not affect consideration of the paper as a regular paper. A paper  submitted to SSS 2015 must be an original contribution not previously published  as a regular paper (results previously published as a brief announcement may be  submitted as a regular paper to SSS 2015). No submission may be concurrently  submitted to another conference, workshop, or journal.      EasyChair submission URL: https://easychair.org/conferences/?conf=sss2015    *******************************************************************************                         Best Paper & Best Student Paper Awards     The program committee will select two papers for best paper and best student  paper awards. A paper is eligible for the best student paper award if at least  one of its authors is a full-time student at the time of submission. This  must be clearly indicated in the first page of the paper.    *******************************************************************************  

Two postdoc research positions at UPC Barcelona

---------------------------------------------------------------
Two postdoc research positions at UPC Barcelona

The Computer Science Department of the Universitat Politecnica de
Catalunya (UPC Barcelona-Tech) and the Barcelona Graduate School of
Mathematics (BGSMath) invite applications for two postdoc research
positions in the theory of computation.

The successful candidates will join the group of Albert Atserias
(http://www.cs.upc.edu/~atserias) to conduct research in the areas of
algorithms and computational complexity, and mathematical logic for
the theory of computation. The researchers will be appointed as
full-time employees of UPC, with affiliations at the computer science
department, and their positions will be for one year, with the
possibility of renewal for a second year.

Successful candidates should have received or be about to receive a
PhD degree in computer science and/or mathematics, with particular
emphasis on the theory of computation or related areas (combinatorics,
mathematical programming, mathematical logic, etc.). Their strong
record of research should be proved by top-quality publications at the
most prestigious conference venues (ICALP, FOCS/STOC, CCC, LICS, SODA,
...) and/or scientific journals.

Deadline for applications is June 15, 2015. Check the details of the
application procedure at http://www.cs.upc.edu/~atserias/AUTAR.html.
Expected start date is September 1st, 2015, but this is to some extent
negotiable.

UPC is the technical university of Catalonia with its base campus
located in the city of Barcelona. It is one of the largest technical
universities of southern EU, with over 30,000 students spanning all
levels from undergraduate to PhD, and employing over 2,500
faculty. The Computer Science Department of UPC is one of its largest
departments, and hosts strong research groups in the theory of
computation, algorithms, machine learning and data mining, logic in
computer science, and computer graphics, among others. The research
group in the theory of computation is involved in the activities of
the Barcelona Graduate School of Mathematics (BGSMath), which is a
platform that coordinates the mathematical academic activities and PhD
programs of the three public universities within the area of Barcelona
that have mathematics departments (UB, UAB and UPC).

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

Friday, March 20, 2015

[DMANET] Lecturer / Senior Lecturer (Discrete Optimisation) at Monash University, Melbourne, Australia

== The Opportunity ==
Monash University is seeking outstanding applicants for the position of Lecturer or Senior Lecturer in Discrete Optimisation:

http://jobs.monash.edu.au/jobDetails.asp?sJobIDs=533310

As the successful applicant, you must have a demonstrated record of high-quality teaching and research in the area of discrete optimisation with constraint programming or mathematical programming or Satisfiability Modulo Theories. You will have the capability to establish and lead a high-quality research team in this area.
If you have an excellent record of scholarly, high impact publications in refereed journals and conferences in relevant areas of Discrete Optimisation, we urge you to apply.
This role is a full-time position; however, flexible working arrangements may be negotiated.
If you're after a rewarding career, Monash University can help make it happen. With leading academics and world-class resources, combined with a ranking in the top 100 universities worldwide, we offer all you need to build a brighter future.

== Enquiries ==
Professor Mark Wallace (mark.wallace@monash.edu), +61 3 9903 4276

== Applications ==
Please follow the link above to view the detailed position description and to submit your application.
The closing date is Tuesday 28 April 2015, 11:55pm AEST (Australian Eastern Standard Time).


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

CFP: SSS 2015

Call for Papers

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

17th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS 2015)


Edmonton, Alberta, Canada
18-21 August 2015

sss15.cs.ualberta.ca


Proceedings to be published as a Springer LNCS Volume.

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

The Symposium on Stabilization, Safety, and Security of Distributed Systems is
an international forum for researchers and practitioners working on the design
and development of distributed systems that guarantee specific desired
properties despite adversity, or that are able to restore the desired
properties following adversarial perturbations in the computing medium building
on the principles of self-stabilization.

Research in distributed computing and distributed systems continues its vibrant
development, marked by the importance of dynamic systems, such as peer-to-peer
networks, large-scale wireless sensor networks, mobile ad hoc networks, mobile
agent computing, opportunistic networks etc. Moreover, new applications such as
grid and web services, banking and e-commerce, e-voting, e-health and robotics,
aerospace and avionics, automotive, industrial process control, have joined the
expanded landscape of distributed systems. It is becoming increasingly
important to endow all such systems with built-in means for self-management,
self-protection, and self-repair.

The symposium encourages the submission of original contributions spanning
fundamental research and practical applications within its scope, covered by
the five symposium tracks:

+ Self-stabilization Track
Track Chair: Joffroy Beauquier, U. Paris-Sud, France
+ Fault-tolerance and Dependability Track
Track Chair: Nitin Vaidya, UIUC, USA
+ Ad-hoc and Sensor Networks, Mobile Agents Track
Track Chair: Paola Flocchini, U. of Ottawa, Canada
+ System Security in Distributed Computing Track
Track Chair: Alex Russell, U. of Connecticut, USA
+ Formal Methods and Distributed Algorithms Track
Track Chair: Helmut Veith, Vienna U. of Technology, Austria

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

* The technical program of SSS 2015 (Aug. 19 - Aug. 21) will be *
* preceded by a one day Summer School on DISTRIBUTED COMPUTING AND *
* CRYPTOGRAPHY (Aug. 18), organized by Shlomi Dolev (Ben-Gurion *
* University, Israel). *

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

Organization

General Co-chairs:
Ted Herman (University of Iowa, USA)
Jared Saia (University of New Mexico, USA)

Program Committee Co-chairs:
Andrzej Pelc (Universite du Quebec en Outaouais, Canada)
Alexander A. Shvartsman (University of Connecticut, USA)

Keynote Speakers:
Sergio Rajsbaum (Universidad Nacional Autonoma de Mexico, Mexico)
Roger Wattenhofer (ETH Zurich, Switzerland)
Philipp Woelfel (University of Calgary, Canada)

Local Arrangements Chairs:
Ioanis Nikolaidis (University of Alberta, Canada)
H. James Hoover (University of Alberta, Canada)

Publicity Chair:
Maxwell Young (Drexel University, USA)

Awards Chair:
Borzoo Bonakdarpour (McMaster University, Canada)

Steering Committee:
Anish Arora (Ohio State University, USA)
Ajoy K. Datta (University of Nevada, USA)
Shlomi Dolev (Chair) (Ben-Gurion University of the Negev, Israel)
Sukumar Ghosh (University of Iowa, USA)
Mohamed Gouda (University of Texas at Austin, USA)
Ted Herman (University of Iowa, USA)
Toshimitsu Masuzawa (Osaka University, Japan)
Vincent Villain (Universite de Picardie Jules Verne (UPJV), France)

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

IMPORTANT DATES

Paper submission deadline: March 29, 2015 by 23:59 Hawaii time (firm)

Notification: May 29, 2015

Camera Ready Submission: June 5, 2015

Technical Sessions: August 19-21, 2015

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

Paper Submission Instructions

Papers must be prepared using the LNCS style and be electronically submitted
to a specific track in PDF format using EasyChair. Contributions can be
submitted as either Regular Papers or Brief Announcements. Submissions for
regular papers must be no longer than 15 pages (including the title, authors,
abstract, figures, and references) and may have an additional appendix to be
read at the discretion of the Program Committee. Brief announcements are
restricted to two pages with no appendix. Submissions deviating from these
guidelines will be rejected without consideration of their merits.

If requested by the authors, a regular submission that is not selected for a
regular presentation will also be considered for a brief announcement. This
request must be clearly indicated in the first page of the paper. Such a
request will not affect consideration of the paper as a regular paper. A paper
submitted to SSS 2015 must be an original contribution not previously published
as a regular paper (results previously published as a brief announcement may be
submitted as a regular paper to SSS 2015). No submission may be concurrently
submitted to another conference, workshop, or journal.

EasyChair submission URL: https://easychair.org/conferences/?conf=sss2015

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

Best Paper & Best Student Paper Awards

The program committee will select two papers for best paper and best student
paper awards. A paper is eligible for the best student paper award if at least
one of its authors is a full-time student at the time of submission. This
must be clearly indicated in the first page of the paper.

CfP: ALGOSENSORS 2015 - 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks. Deadline: June 22

--Apologies for cross-postings--

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

Call for Papers

ALGOSENSORS 2015

11th International Symposium on Algorithms and Experiments for Wireless
Sensor Networks


ALGOSENSORS will be in Patras, Greece, as part of ALGO
http://algo2015.upatras.gr/algosensors/

Submission: June 22, 2015
Notification: July 20, 2015
Camera Ready: August 10, 2015
Symposium: September 18, 2015
****************************************************************************

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

SCOPE AND TOPICS

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

ALGOSENSORS is an international symposium dedicated to the algorithmic
aspects of wireless networks. Originally focused on sensor networks, it
now covers algorithmic issues arising in wireless networks of all types
of computational entities, static or mobile, including sensor networks,
sensor-actuator networks, autonomous robots. The focus is on the design
and analysis of algorithms, models of computation, and experimental
analysis.

This year ALGOSENSORS has three tracks:
Distributed & Mobile
Experiments & Applications
Wireless & Geometry

Each paper must be submitted to a single track that fits the topic of
the paper best. While the tracks Distributed & Mobile and Wireless &
Geometry deal primarily with algorithmic and theoretical results, the
Experiments & Applications track covers papers where the evaluation is
of more practical nature (tests, simulations, experiments, position papers).
Topics include, but are not limited to:
Approximation Algorithms
Communication Protocols
Complexity and Computability
Computational Models
Cryptography, Security and Trust
Cyber Physical Systems
Data Aggregation and Fusion
Deployment
Energy Management
Error Correcting Codes
Experimental Analysis
Fault Tolerance and Dependability
Game Theoretic Aspects
Infrastructure Discovery
Localization
Medium Access Control
Mobility & Dynamics
Obstacle Avoidance
Pattern Formation
Performance Evaluation
Power Saving Schemes
Randomized Algorithms
Resource Efficiency
RFID Algorithms
Routing and Data Propagation
Self-stabilization, Self-* Properties
Swarm Computing
Systems and Testbeds
Time Synchronization
Topology Control
Tracking
Virtual Infrastructures


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

Prosenjit Bose, Carleton University, Canada (Chair Track Wireless &
Geometry)
Leszek Antoni Gąsieniec, University of Liverpool (Chair Track
Distributed & Mobile)
Kay Roemer, TU Graz, Austria (Chair Track Experiments & Applications)
Roger Wattenhofer, ETH Zurich, Switzerland (Program Chair)


----------------------------------------------
STEERING COMMITTEE
----------------------------------------------

Josep Diaz, U.P. Catalunya, Spain
Magnus M. Halldorsson, Reykjavik U., Iceland
Bhaskar Krishnamachari, U. of Southern California, USA
P.R. Kumar, Texas A&M U., USA
Sotiris Nikoletseas, U. of Patras and CTI, Greece (Chair)
Jose Rolim, U. of Geneva, Switzerland
Paul Spirakis, U. of Patras and CTI, Greece
Adam Wolisz, T.U. Berlin, Germany


----------------------------------------------
PROCEEDINGS
----------------------------------------------

As in previous years, the proceedings of ALGOSENSORS will be published
by Springer-Verlag as a volume of the LNCS series. Selected papers will
be invited to a special issue of the Journal Theoretical Computer Science.


----------------------------------------------
SUBMISSION
----------------------------------------------

Full papers are to be submitted electronically using the EasyChair
server at https://easychair.org/conferences/?conf=algosensors2015.
Original research papers must contain results that have not previously
appeared and have not been concurrently submitted to a journal or
conference with published proceedings. Each paper should select one of
the three tracks (Distributed & Mobile, Experiments & Applications, or
Wireless & Geometry) for submission. Authors need to ensure that for
each accepted paper at least one author will register and attend the
symposium. Submissions are limited to twelve (12) single-column pages in
the LNCS format (see LNCS author guidelines at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). This
includes figures, but excludes references and an optional appendix (to
be read at the program committee's discretion).