Tuesday, May 26, 2015

dmanet Digest, Vol 87, Issue 24

Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de

To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de

You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."


Today's Topics:

1. FSTTCS 2015: Call for Papers (Prahladh Harsha)
2. Postdoctoral position in maritime logistics at the Ecole des
Mines de Saint-Etienne, Gardanne, France (Nabil ABSI)
3. ***EXTENDED DEADLINE*** 29th of MAY: 2nd International
Workshop on Reliability and Security Aspects for Critical
Infrastructure Protection (Silvia Bonomi)
4. InfoSec 2015: registration deadline 3 June (GRLMC)


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

Message: 1
Date: Fri, 22 May 2015 18:05:53 +0530
From: Prahladh Harsha <prahladh@tifr.res.in>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] FSTTCS 2015: Call for Papers
Message-ID:
<CAPD7Gohf453mXdPxniEgnuz5qgviWaeGsCuLmh-NpkDGZwM5vQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

FSTTCS 2015
35th Foundations of Software Technology and Theoretical Computer Science
December 16--18, 2015
Indian Institute of Science, Bangalore, India

Call for Papers
------------

IARCS, the Indian Association for Research in Computing Science,
announces the 35th Foundations of Software Technology and Theoretical
Computer Science conference at the Indian Institute of Science,
Bangalore, India.

The FSTTCS conference is a forum for presenting original results in
foundational aspects of Computer Science and Software Technology.

Representative areas include, but are not limited to, the following.

* Algorithms & Data Structures
* Algorithmic Graph Theory & Combinatorics
* Approximation Algorithms
* Automata & Formal Languages
* Combinatorial Optimization
* Communication Complexity
* Computational Biology
* Computational Complexity
* Computational Geometry
* Computational Learning Theory
* Cryptography & Security
* Game Theory & Mechanism Design
* Logic in Computer Science
* Model Theory, Modal & Temporal Logics
* Models of Concurrent & Distributed Systems
* Models of Timed, Reactive, Hybrid & Stochastic Systems
* Parallel, Distributed & Online Algorithms
* Parameterized Complexity
* Principles & Semantics of Programming Languages
* Program Analysis & Transformation
* Proof Complexity
* Quantum Computing
* Randomness in Computing
* Specification, Verification, & Synthesis
* Theorem Proving, Decision Procedures, & Model Checking
* Theoretical Aspects of Mobile & High-Performance Computing

Submissions
-----------

Submissions will be in electronic form via EasyChair. There is no page
limit, however material other than the abstract, references, and the
first 12 pages is considered as supplementary. A submission must
contain within its first 12 pages a clear presentation of the merits
of the paper. The submission should be in single-column format, use at
least 11-point font, and have standard margins and spacing between
lines. Simultaneous submissions to journals or other conferences with
published proceedings are disallowed.

Accepted papers will be published in the Leibniz International
Proceedings in Informatics (LIPIcs) series, under a Creative
Commons-BY license.


Important Dates

**************************************************************************
Paper Submission deadline: July 13, 2015
Notification to Authors: September 14, 2015
Deadline for camera-ready papers: October 16, 2015

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

Important Links and email addresses
------------------------------------
Conference page: http://www.fsttcs.org
Submission page: https://www.easychair.org/conferences/?conf=fsttcs2015


Invited Speakers
----------------

Boaz Barak (MSR)
Ahmed Bouajjani (LIAFA, U. Paris)
Moses Charikar (Princeton)
Suresh Jagannathan (Purdue Univ.)
Ankur Moitra (MIT)
James Worrell (Oxford)

Programme Committee
-------------------

Andrej Bogdanov (CUHK)
Amit Deshpande (MSR)
Fedor Fomin (U. Bergen)
Naveen Garg (IIT Delhi)
Sariel Har-Peled (UIUC)
Prahladh Harsha (TIFR), co-chair
Nutan Limaye (IIT Bombay)
Meena Mahajan (IMSc)
Ruta Mehta (Georgia Tech.)
Alantha Newman (CNRS-Grenoble)
Debmalya Panigrahi (Duke Univ.)
Prasad Raghavendra (UC Berkeley)
Ramprasad Saptharishi (Tel Aviv Univ.)
Pranab Sen (TIFR)
Suresh Venkatasubramanian (U. Utah)
Magnus Wahlstrom (RHUL)

S. Akshay (IIT Bombay)
Parosh Abdulla (Uppsala Univ.)
Erika Abraham (RWTH Aachen Univ.)
Franck Cassez (Macquarie Univ.)
Avik Chaudhuri (Facebook)
Thomas Colcombet (LIAFA, CNRS)
Stephanie Delaune (LSV, CNRS)
Javier Esparza (TU Munich)
Ashutosh Gupta (TIFR)
Ranjit Jhala (UCSD)
Roland Meyer (U. Kaiserslautern)
V. Krishna Nandivada (IIT Madras)
G. Ramalingam (MSR), co-chair
R. Ramanujam (IMSc)
Sriram Sankaranarayanan (CU-Boulder)
Nishant Sinha (IBM Research)
S. P. Suresh (CMI)

Organizing Committee
--------------------

Deepak D'Souza (IISc), co-chair
Rahul Gupta (IISc)
Shalini Kaleeswaran (IISc)
Aditya Kanade (IISc), co-chair
Pallavi Maiya (IISc)
Suvam Mukherjee (IISc)
Anirudh Santhiar (IISc)
-------------------------------------------------
http://www.tcs.tifr.res.in/~prahladh/


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

Message: 2
Date: Fri, 22 May 2015 14:50:42 +0200
From: Nabil ABSI <absi@emse.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoctoral position in maritime logistics at the
Ecole des Mines de Saint-Etienne, Gardanne, France
Message-ID: <555F2622.1000800@emse.fr>
Content-Type: text/plain; charset=utf-8; format=flowed

=================================
*Postdoctoral position in maritime logistics at the Ecole des Mines de
Saint-Etienne, Gardanne, France*
=================================
A post-doctoral position of 1 year is opened at the Ecole des Mines de
Saint-Etienne (Gardanne, France). It is funded by the project 4TRAX that
aims at developing new communication technologies to ensure real-time
traceability of containers.

The objectives of the candidate are to develop models and algorithms to
address the stochastic dynamic berth allocation problem. Generally the
birth allocation problem (see [1]) is addressed as a static problem with
all information known in advance. Few papers addressed real-time
management of berth allocation (see for example [2]). The difference
between actual arrival times of vessels and those used when establishing
the initial schedule can differ significantly. It is important to
reschedule the assignment of berths to vessels when new information
arrives. In our study we aim at addressing the added value of real-time
information on the arrivals of vessels. The information on arrivals can
be updated and used following several schemas (when the vessel arrives,
when new information on arrivals of vessels arrives, etc.). Our study
should also consider stochastic information on arrivals of vessels based
on probability distributions derived from historical data. These issues
should be addressed through the development of optimization methods to
solve new combinatorial optimization problems.

The position will be located in Gardanne (Southeast of France
(Provence), Between Aix-en-Provence and Marseille) in the department
"Manufacturing Sciences and Logistics" at the Campus G. Charpak Provence
of the Ecole des Mines de Saint-Etienne. The appointment is for 1 year
and does not carry any teaching responsibilities. The preferred starting
date is September 1st 2015, but negotiable. The net salary is between
2100 and 2500 Euros/month depending on the experience.

Applicants must have a PhD in Computer Sciences, Applied Mathematics or
any related discipline. Applicants should demonstrate good programming
skills and a deep knowledge in combinatorial optimization and integer
programming. Experience on the development of solution methods for
(maritime) logistics is appreciated.

Please send your application electronically (preferably as a single pdf
file) including a detailed curriculum vitae, plus, if available, a list
of reference letters, to:
*Professor Nabil Absi, absi@emse.fr and Professor Dominique Feillet,
feillet@emse.fr *

*The deadline for application is July 20th, 2015.*

For further questions regarding the position or details on the research
project, please contact Dominique Feillet or Nabil Absi. You can also
contact:
Dominique Feillet during the *ODYSSEUS 2015* workshop in Ajaccio
(France) from May 31st to June 06th 2015 or Nabil Absi during the
*VEROLOG 2015* conference in Vienna (Austria) from June 7th to June10th
2015.

[1] Imai, A., Nishimura, E., & Papadimitriou, S. (2001). The dynamic
berth allocation problem for a container port. Transportation Research
Part B: Methodological, 35(4), 401-417.
[2] Umang, N., Bierlaire, M., & Erera, A. (2013). Real-time management
of berth allocation with stochastic arrival and handling times. Working
paper (No. EPFL-REPORT-196058).

--
Nabil ABSI, Ph.D.
Professor
Ecole des Mines de Saint-Etienne
Campus Georges Charpak Provence
880 route de Mimet, F-13541 Gardanne, France

Tel: +33 (0)4 42 61 66 56
E-mail:absi@emse.fr
URL:http://www.emse.fr




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

Message: 3
Date: Fri, 22 May 2015 16:15:44 +0200
From: Silvia Bonomi <bonomi@dis.uniroma1.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ***EXTENDED DEADLINE*** 29th of MAY: 2nd
International Workshop on Reliability and Security Aspects for
Critical Infrastructure Protection
Message-ID: <mailman.726.1432666580.9015.dmanet@zpr.uni-koeln.de>
Content-Type: text/plain; charset=us-ascii


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

CALL FOR PAPERS

2nd International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection - ReSA4CI 2015
co-located with SAFECOMP 2015

September 22nd, 2015, Delft, The Netherlands

http://safecomp2015.tudelft.nl/resa4ci-2015

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

=================
Scope
=================

Critical infrastructures (CIs) are at the hearth of any advanced civilized country. This workshop aims at providing a forum for researchers and engineers in academia and industry to foster an exchange of research results, experiences, and products in the area of reliable, dependable and secure computing for critical systems protection from both a theoretical and practical perspective. Its ultimate goal is to envision new trends and ideas about aspects of designing, implementing, and evaluating reliable and secure solutions for the next generation critical infrastructures. Critical Infrastructures present several challenges in the fields of distributed systems, dependability and security methods and approaches crucial for improving trustworthiness on ICT facilities. The workshop aims at presenting the advancement on the state of art in these fields and spreading their adoption in several scenarios involving main infrastructures for modern society.

Topics of interest are (but not limited to):
- Model-based and experimental assessment of safety, reliability and security
- Security & Privacy
- Quantitative analysis of dependability and security metrics
- Risk Assessment and Management
- Fault tolerant and Dependable Distributed Algorithm
- Threat Analysis
- Monitoring systems
- Adaptive solutions for secure and safe systems
- Self-* solutions

Domains of application are (but not limited to):

- Critical infrastructure, Smart Grid, and SCADA systems
- Medical device and healthcare
- Telecommunication and networks
- Railways, automotive, aerospace, and avionics
- Defence, cyber intelligence

=================
General Chair
=================

Silvia Bonomi, University of Rome La Sapienza, Italy
Ilaria Matteucci, IIT-CNR, Italy

=================
Program Committee
=================

Valentina Bonfiglio, University of Florence, Italy
Francois Bonnet, Japan Advanced Institute of Science and Technology, Japan
Silvia Bonomi, University of Rome La Sapienza, Italy (co-chair)
Andrea Ceccarelli, University of Florence, Italy
Michele Colajanni, Univerity of Modena and Reggio Emilia, Italy
Barbara Gallina, Malardalen University, Sweden
Joaquin Garcia-Alfaro, Institut Mines-Telecom, France
Felicita Di Giandomenico, ISTI-CNR, Italy
Karama Kanoun, LAAS, France
Ilaria Matteucci, IIT-CNR, Italy (co-chair)
Paolo Masci, Queen Mary University of London, UK
Federica Paci, University of Southampton, UK
Marinella Petrocchi, IIT-CNR, Italy
Marco Platania, Johns Hopkins University, USA

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

Submission deadline: May 29, 2015 (EXTENDED)
Acceptance notification: June 15, 2015
Camera-ready copy due: June 28, 2015

=================
Submission and Publication
=================

Submitted papers must be written in English and must contain results that have not previously published nor concurrently submitted to a journal or conference with published proceedings. Any partial overlap with any published or concurrently submitted paper must be clearly indicated. Submissions are limited to 10 pages in the LNCS format and submitted electronicaly to the EasyChair server (https://easychair.org/conferences/?conf=safecomp2015). The selection of accepted contributions will be based on peer-reviews by the PC. Each accepted paper will be published jointly with the SAFECOMP 2015 proceedings and it must be presented at the workshop by one of its authors.


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

Message: 4
Date: Sat, 23 May 2015 13:07:58 +0200
From: "GRLMC" <grlmc@urv.cat>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] InfoSec 2015: registration deadline 3 June
Message-ID: <535886E29F534970A04509100125B7EC@Carlos1>
Content-Type: text/plain; charset="iso-8859-1"

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

INTERNATIONAL SUMMER SCHOOL ON INFORMATION SECURITY

InfoSec 2015

Bilbao, Spain

July 6-10, 2015

Organized by
Deusto University
Rovira i Virgili University

http://grammars.grlmc.com/InfoSec2015/

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

--- 6th registration deadline: June 3, 2015 ---

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

AIM:

InfoSec 2015 will be a major research training event addressed to graduates
and postgraduates in the first steps of their academic career. With a global
scope, it aims at updating them about the most recent advances in the
critical and fast developing area of information security, which covers a
large spectrum of current exciting academic research and industrial
innovation. It refers to procedures to defend information from unauthorized
access, use, modification, recording or destruction, with a critical role to
play in order to avoid or minimize risks in the digital world. Renowned
academics and industry pioneers will lecture and share their views with the
audience.

Most information security subareas will be displayed, namely: computer
security, cryptography, privacy, cyber security, mobile security, network
security, world wide web security, fraud prevention, data protection, etc.
Main challenges of information security will be identified through 4 keynote
lectures, 28 six-hour courses, and 1 round table, which will tackle the most
active and promising topics. The organizers believe outstanding speakers
will attract the brightest and most motivated students. Interaction will be
a main component of the event. An open session will give participants the
opportunity to present their own work in progress in 5 minutes.

ADDRESSED TO:

Graduates and postgraduates from around the world. There are no formal
pre-requisites in terms of academic degrees. However, since there will be
differences in the course levels, specific background knowledge may be
required for some of them.

InfoSec 2015 is also appropriate for more senior people who want to keep
themselves updated on recent developments and future trends. They will
surely find it fruitful to listen and discuss with major researchers,
industry leaders and innovators.

REGIME:

In addition to keynotes, 3-4 courses will run in parallel during the whole
event. Participants will be able to freely choose the courses they will be
willing to attend as well as to move from one to another.

VENUE:

InfoSec 2015 will take place in Bilbao, the capital of the Basque Country
region, famous for its gastronomy and the seat of the Guggenheim Museum. The
venue will be:

DeustoTech, School of Engineering
Deusto University
Avda. Universidades, 24
48014 Bilbao

KEYNOTE SPEAKERS:

Jan Camenisch (IBM Research, Zurich), Privacy in a Digital World: a Lost
Cause?

Hao Chen (University of California, Davis), (In)security of Mobile Apps in
Untrusted Networks

Jennifer Seberry (University of Wollongong), The Global Village: the
Beginning of the Need for Computer Security [via videoconference]

Gene Tsudik (University of California, Irvine), Off-line Proximity-based
Social Networking

PROFESSORS AND COURSES:

N. Asokan (Aalto University), [intermediate] Mobile Security: Overview of
Hardware Platform Security and Considerations of Usability

Jan Camenisch (IBM Research, Zurich), [introductory/intermediate]
Technologies to Protect Online Privacy

Hao Chen (University of California, Davis), [intermediate/advanced] Security
of the Mobile App Ecosystem

Nicolas T. Courtois (University College London), [introductory/intermediate]
Security of ECDSA in Bitcoin and Crypto Currency

Claude Cr?peau (McGill University, Montr?al), [introductory/intermediate]
Quantum Computation, Cryptography and Cryptanalysis

Joan Daemen (ST Microelectronics Belgium, Diegem),
[introductory/intermediate] Sponge Functions, Keccak and SHA-3

Sajal K. Das (Missouri University of Science and Technology, Rolla),
[intermediate/advanced] Securing Cyber-Physical Systems: Challenges and
Opportunities

Sabrina De Capitani di Vimercati (University of Milan),
[introductory/intermediate] Security and Privacy in the Cloud

Herv? Debar (T?l?com SudParis), [introductory/intermediate] Detection and
Reaction to Attacks: from Intrusion Detection to Cyber-Defense

Rosario Gennaro (City University of New York), [intermediate/advanced] A
Survey of Verifiable Delegation of Computation

Trent Jaeger (Pennsylvania State University, University Park),
[intermediate/advanced] How to Add Security Enforcement to Legacy Programs

Antoine Joux (Pierre et Marie Curie University, Paris),
[introductory/intermediate] Discrete Logarithms in Finite Fields

Lars R. Knudsen (Technical University of Denmark, Lyngby),
[introductory/intermediate] Block Ciphers: the Workhorses in Cryptography

Songwu Lu (University of California, Los Angeles),
[introductory/intermediate] Cellular Network Security: Issues and Defenses

Catherine Meadows (Naval Research Laboratory, Washington DC),
[introductory/intermediate] Formal Analysis of Cryptographic Protocols

Nasir Memon (New York University), [introductory/intermediate] User
Authentication

Ethan L. Miller (University of California, Santa Cruz),
[intermediate/advanced] Securing Stored Data in a Connected World

Stefano Paraboschi (University of Bergamo), [introductory/intermediate] Data
Protection in Network-enabled Systems

Bart Preneel (KU Leuven), [introductory/intermediate] Cryptology: State of
the Art and Research Challenges

Jean-Jacques Quisquater (Catholic University of Louvain),
[introductory/intermediate] The History of RSA: from Babylon to Smart Cards

Shantanu Rane (Palo Alto Research Center), [introductory/intermediate]
Privacy-preserving Data Analytics: Problems, Solutions and Challenges

Mark Ryan (University of Birmingham), [introductory/intermediate] Designing
Security Protocols: Electronic Voting, and Electronic Mail

Stefan Saroiu (Microsoft Research, Redmond), [advanced] Protecting Data on
Smartphones and Tablets Using Trusted Computing

Milind Tambe (University of Southern California, Los Angeles),
[introductory/intermediate] Introduction to the Emerging Science of Security
Games

Gene Tsudik (University of California, Irvine), [intermediate/advanced]
Security and Privacy in Candidate Future Internet Architectures

Yang Xiao (University of Alabama, Tuscaloosa), [introductory/advanced]
Security in Smart Grids

Wenyuan Xu (University of South Carolina, Columbia), [intermediate] Security
and Privacy Analysis of Embedded Systems

Yuliang Zheng (University of North Carolina, Charlotte), [introductory]
Cryptography and the Future of Money

OPEN SESSION

An open session will collect 5-minute presentations of work in progress by
participants. They should submit a half-page abstract containing title,
authors, and summary of the research to adrian.dediu@urv.cat by June 29 at
the latest.

ORGANIZING COMMITTEE:

Adrian Horia Dediu
Carlos Mart?n-Vide (co-chair)
Borja Sanz (co-chair)
Florentina Lilica Voicu

REGISTRATION:

The registration form can be found at:

http://grammars.grlmc.com/InfoSec2015/registration.php

The selection of up to 8 courses requested in the registration template is
only tentative and non-binding. For the sake of organization, it will be
helpful to have an approximation of the respective demand for each course.

Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed and the on-line registration facility disabled when the capacity
of the venue will be complete. It is much recommended to register prior to
the event.

FEES:

Fees are a flat rate covering the attendance to all courses during the week.
There are several early registration deadlines. Fees depend on the
registration deadline.

ACCOMMODATION:

Accommodation for participants is available at the Colegio Mayor Deusto
(student hostel). Since there may exist problems to find accommodation in
Bilbao at a reasonable price during the week of the event, the organizers'
advice is to book as soon as possible, and anyway by May 27. To do it, write
to Carlson Wagonlit Travel at estudiantesud@carlsonwagonlit.es

CERTIFICATE:

Participants will be delivered a certificate of attendance.

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu@urv.cat

ACKNOWLEDGEMENTS:

Deusto University
Rovira i Virgili University



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

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet


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

End of dmanet Digest, Vol 87, Issue 24
**************************************

No comments:

Post a Comment