dmanet Digest, Vol 74, Issue 25

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. LSE Fellow - Mathematics - London School of Economics and
Political Science (Jan van den Heuvel)
2. SIROCCO 2014: Submission deadline extended to April 28
(Magn?s M. Halld?rsson)
3. TCS cfp (Extended deadline) (Rossella Petreschi)
4. OR2014 last call! (Marco Luebbecke)
5. IEEE TrustCom Deadline is Approaching: May 5, 2014 (Sandra Sendra)
6. RP 2014 -- First Call for Papers -- Deadline: 4 June 2014
(Potapov, Igor)


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

Message: 1
Date: Fri, 25 Apr 2014 07:42:55 +0100
From: Jan van den Heuvel <j.van-den-heuvel@lse.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] LSE Fellow - Mathematics - London School of
Economics and Political Science
Message-ID: <535A03EF.4030105@lse.ac.uk>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

LONDON SCHOOL OF ECONOMICS AND POLITICAL SCIENCE

Department of Mathematics

LSE Fellow

Fixed-term from 1 September 2014 to 31 August 2015
Salary: ?32,794 to ?39,669 per annum inclusive

The LSE Department of Mathematics is looking to appoint an LSE Fellow
for one year. Applications are invited from candidates with expertise in
any area of Mathematics related to the current research interests in
the Department.

Candidates should have completed a PhD in a mathematical subject by
September 2014, have a developing research record in mathematical
research, possess excellent written and oral communication skills, and
demonstrate excellent teaching skills.

In addition to research activities, the successful candidate will be
responsible for teaching at undergraduate and/or Master's level and will
undertake examination duties. He/she will also be expected to take on
some limited administrative responsibilities.

Detailed information about the job and about the criteria that will be
used for shortlisting this post can be found on the Job Description and
the Person Specification which is attached to this vacancy on LSE's
online recruitment system.

Information about the department can be found at
http://www.lse.ac.uk/maths/. Any candidate wishing to discuss the
appointment informally is invited to contact Professor Martin Anthony at
m.anthony@lse.ac.uk.

To apply for this post, please go to http://www.lse.ac.uk/jobsatLSE/ and
select "Vacancies".

Applications must be received by 23.59 (UK time) on Monday 12 May 2014.
Regrettably, we are unable to accept any applications that are received
after this time.
_____________________________________________________________

We value diversity and wish to promote equality at all levels.

Please access the attached hyperlink for an important electronic communications disclaimer: http://lse.ac.uk/emailDisclaimer


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

Message: 2
Date: Fri, 25 Apr 2014 09:04:56 +0200
From: Magn?s M. Halld?rsson <mmh@ru.is>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] SIROCCO 2014: Submission deadline extended to April
28
Message-ID:
<CAKTK5_EVZ6AFOo4yKKGyOPX_haMd_HJiR_HEXTQM6Han58tfwQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

SIROCCO 2014
Twenty-First International Colloquium on Structural
Information and Communication Complexity

July 23-25, Takayama Green Hotel, Takayama, Japan
http://sites.google.com/site/sirocco2014japan/
----------------------------------------------------------------------
= Theme =
SIROCCO is devoted to the study of the interplay between communication
and knowledge in multi-processor systems from both the qualitative and
quantitative viewpoints. Special emphasis is given to innovative
approaches and fundamental understanding, in addition to efforts
to optimize current designs. Conference. SIROCCO has a tradition of
interesting and productive scientific meetings in a relaxed and pleasant
atmosphere, attracting leading researchers in a variety of fields
in which communication and knowledge play a significant role. This time,
SIROCCO is held at Takayama, a small town located at the central
region of Japan with exotic scenery. Scope. Original papers are
solicited from all areas of study of local structural knowledge and
global communication and computational complexities. Among the typical
areas are distributed computing, communication networks, game theory,
parallel computing, social networks, mobile computing (including
autonomous robots), peer to peer systems, and communication
complexity. Keeping with the tradition of SIROCCO, new areas are
always welcome.

= SIROCCO Award =
The Prize for Innovation In Distributed Computing is awarded
annually in the SIROCCO conference to recognize individuals whose
research contributions had a major impact on the understanding of
the relationships between information and efficiency in decentralized
computing. The contribution (or a related contribution) should have
been either made or demonstrated by the author in a paper that
appeared in SIROCCO in the past. Moreover, the author should have
made the contribution in at least one paper that appeared (in either
a scientific journal or the proceedings of a scientific conference)
at least 5 years ago.

= Best Student Paper =
A paper is eligible for the Best Student Paper Award if one or more
authors are full-time students at the time of submission. The program
committee may decline to make this awards or split it.

= Student Travel Awards =
SIROCCO will offer a limited number of student travel awards, which is
available for full-time students who might otherwise be unable to attend
the conference. Priority will be given to students with papers to present.

= Submission =
Papers are submitted using Easy Chair at
https://www.easychair.org/conferences/?conf=sirocco2014; see
submission guidelines on the conference website. The submission
deadline is 28 April 2014 (23:59 PST). Notifications will be sent out
by 25 May, and the camera-ready papers are due on 9 June.

= Publication =
The proceedings will be published by Springer-Verlag as a part of the
LNCS series. Selected papers will be invited to a special issue of the
journal Theoretical Computer Science.

= Micro-MAC =
In conjunction with the conference, a compact version of Research
meeting on Distributed Computing by Mobile Robots (MAC) will be
held at 26th, July.

= Invited Speakers =
Yuval Emek Technion
Friedhelm Meyer auf der Heide U. Paderborn
Rotem Oshman Princeton
Gopal Pandurangan NTU Singapore
Michel Raynal IRISA

= Program Committee =
Hagit Attiya Technion
Amotz Bar-Noy CUNY
Guy Even Tel-Aviv U.
Sandor Fekete TU Braunschweig
Paola Flocchini U. Ottawa
George Giakkoupis INRIA Rennes
Magnus M. Halldorsson (Chair) Reykjavik U.
Taizuke Izumi Nagoya Tech.
Valerie King U. Victoria
Friedhelm Meyer auf der Heide U. Paderborn
Alessia Milani U. Bordeaux
Calvin Newport Georgetown U.
Hirotaka Ono Kyushu U.
Peter Robinson NUS Singapore
Jukka Suomela Aalto U.
Corantin Travers ENSEIRB-MATMECA
Roger Wattenhofer ETH
Peter Widmayer ETH

= Steering Committee =
Guy Even Tel-Aviv U.
Ralf Klasing CNRS & U. Bordeaux
Shay Kutten (chair) Technion
Thomas Moscibroda Microsoft
Boaz Patt-Shamir Tel-Aviv U.
Masafumi Yamashita Kyushu U.

= Organization Committee =
Taisuke Izumi (Chair) Nagoya Tech.
Tomoko Izumi Ritsumeikan U.
Sayaka Kamei Hiroshima U.
Yoshiaki Katayama Nagoya Tech.
Fukuhito Oosita Osaka U.
Yukiko Yamauchi Kyushu U.
-------------------------------------------------


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

Message: 3
Date: Fri, 25 Apr 2014 10:59:10 +0200
From: Rossella Petreschi <petreschi@di.uniroma1.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] TCS cfp (Extended deadline)
Message-ID:
<CAKSnJVdzUstTOWXWA=iqx2c5JhxYeZCgitugqShjY2v6WG28Ow@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

TCS 2014 (Extended deadline)
8th IFIP International Conference on Theoretical Computer Science
September 1-3, 2014 Rome, Italy
http://www.cyprusconferences.org/tcs2014/

Held in conjunction with the 25th Conference on Concurrency Theory (CONCUR 2014)

We apologize if you receive multiple copies of this message.


AIM AND SCOPE OF THE CONFERENCE:

Under the patronage of the International Federation of Information
Processing (IFIP), since year 2000 the IFIP Technical Committee 1
(Foundations of Computer Science) has organized a series of biannual
international conferences in Theoretical Computer Science. After
Sendai (2000), Montreal (2002), Toulouse (2004), Santiago (2006),
Milano (2008), Brisbane (2010), and Amsterdam (2012), the 8th edition
will be held in Rome in September 2014, in cooperation with the IFIP
Working Group 2.2 (Formal Description of Programming Concepts) and in
conjunction with the 25th Conference on Concurrency Theory. We call
for papers in all areas of Theoretical Computer Science: they will be
evaluated by two committees:

Track A: Algorithms, Complexity and Models of Computation

Track B: Logic, Semantics, Specification and Verification


TOPICS:

Suggested, but not exclusive, topics of interest include:

Track A - analysis and design of algorithms; automata and formal
languages; cellular automata and systems; combinatorial, graph and
optimization algorithms; computational learning theory; computational
complexity; computational geometry; cryptography; descriptive
complexity; evolutionary and genetic computing; experimental
algorithms; mobile computing; molecular computing and algorithmic
aspects of bioinformatics; network computing; neural computing;
parallel and distributed algorithms; probabilistic and randomized
algorithms; quantum computing; structural information and
communication complexity.

Track B - automata theory; automated deduction; constructive and
non-standard logics in computer science; concurrency theory and
foundations of distributed and mobile computing; database theory;
finite model theory; formal aspects of program analysis, foundations
of hybrid and real-time systems; lambda and combinatory calculi;
logical aspects of computational complexity; modal and temporal
logics; model checking and verification; probabilistic systems; logics
and semantics of programs; foundations of security; term rewriting;
specifications; type, proof and category theory in computer science.


INVITED SPEAKERS:
Track A - Giuseppe F. Italiano Universit? di Roma Tor Vergata
Track B - Jane Hillstone University of Edinburgh


SUBMISSION GUIDELINES:

Authors are invited to submit an extended abstract of at most 15 pages
(LNCS style with at least 11-point font size) to arrive before April
27, 2014. If more space is needed, a clearly marked appendix, to be
read at the discretion of the program committee, may be included if
desired. Submission will be handled by EasyChair. Further information
and submission details can be found on the Conference web page.
Simultaneous submissions to other conferences with published
proceedings are not allowed.

PROCEEDINGS:

The conference proceedings will be published by Springer-Verlag in
Lecture Notes in Computer Science (LNCS) series. Selected papers from
TCS 2014 will be invited to a special issue of the Journal Theoretical
Computer Science.


IMPORTANT DATES:

Deadline for abstract submission: April 27, 2014.
Deadline for final submission: May 4, 2014 (Extended).
Notification of acceptance: June 25, 2014.
Final manuscript due: July 6, 2014.
Conference: September 1-3, 2014.


STEERING COMMITTEE:

- Giorgio Ausiello, Sapienza Univ. di Roma
- Jos Baeten, CWI Amsterdam
- Jacques Sakarovitch, CNRS/T el ecom ParisTech


CONFERENCE CO-CHAIRS:
- Daniele Gorla, Sapienza Univ. di Roma
- Rossella Petreschi, Sapienza Univ. di Roma


PROGRAM COMMITTEES:

Track A

- Cristian Calude, University of Auckland
- Josep Diaz (Chair), UPC Barcelona
- Irene Finocchi, Sapienza Univ. di Roma
- Paola Flocchini, University of Ottawa
- Aristides Gionis, Aalto University Helsinki
- Mordecai Golin, Hong Kong University of Tech.
- Juhani Karhum aki, Turku University
- Massimo Melucci, Univ. di Padova
- Elvira Mayordomo, Universidad de Zaragoza
- Friedhelm Meyer auf der Heide, Univ. of Paderborn
- Pekka Orponen, Aalto University Helsinki
- Giuseppe Persiano, Univ. di Salerno
- G eraud S enizergues, Universit e Bordeaux 1
- Olivier Serre, CNRS / Universit e Paris 7
- Paul Spirakis, University of Liverpool
- Osamu Watanabe, Tokyo Inst. of Technology
- Peter Widmayer, ETH Zurich

Track B

- Jos Baeten, CWI Amsterdam
- Lars Birkedal, Aarhus University
- Andrei Bulatov, Simon Fraser University
- James Cheney, University of Edinburgh
- Ugo Dal Lago, Univ. di Bologna
- Jos ee Desharnais, Universit e Laval
- J org Endrullis, Vrije Universiteit Amsterdam
- J erome Feret, ENS Paris
- Marcelo Fiore, University of Cambridge
- Silvio Ghilardi, Univ. di Milano
- Benjamin Gr egoire, INRIA Sophia
- Ichiro Hasuo, University of Tokyo
- Marieke Huisman, University of Twente
- Jean Krivine, CNRS / Universit e Paris 7
- Radha Jagadeesan, DePaul University, Chicago
- Ivan Lanese, Univ. di Bologna
- Grigore Rosu, University of Illinois at U-C
- Davide Sangiorgi (Chair), Univ. di Bologna
- Vladimiro Sassone, University of Southampton
- Igor Walukiewicz, CNRS / Universit e Bordeaux 1



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

Message: 4
Date: Fri, 25 Apr 2014 15:16:05 +0200
From: Marco Luebbecke <marco.luebbecke@rwth-aachen.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] OR2014 last call!
Message-ID: <21338.24597.4255.701598@arthur.math.tu-berlin.de>
Content-Type: text/plain; charset=us-ascii

International Conference on Operations Research (OR2014)
"Business Analytics and Optimization"
Aachen, Germany, September 2-5, 2014

www.or2014.de


OR2014 in brief: operations research in theory and practice, scientific program in 18 tracks, excellent invited speakers, beautiful city of Charlemagne, business day, emerging scholar workshop


submission deadline: April 30, 2014
www.or2014.de/abstract-submission/

Follow us on twitter, facebook, google+; see you in Aachen!


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

Message: 5
Date: Fri, 25 Apr 2014 17:38:32 +0200
From: Sandra Sendra<sandra.sendra.upv@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] IEEE TrustCom Deadline is Approaching: May 5, 2014
Message-ID: <201404251538.s3PFcWw6011377@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii


[Please accept our apologies if you receive multiple copies of this email]

*********************** CFP *******************************

The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14)
http://www.greenorbs.org/TrustCom2014/

24-26 September 2014, Beijing, China

Important Dates
Workshop Proposal: May 5, 2014
Submission Deadline: 11:59PM (UTC/GMT+8 hours) May 5, 2014 (This is the firm deadline)
Authors Notification: June 26, 2014
Final Manuscript Due: July 20, 2014

Publications
Accepted and presented papers will be included in the IEEE CPS Proceedings.
Distinguished papers presented at the conference, after further revision, will be published in special issues of the following high quality international journals (pending).
- Computers & Security - Elsevier (Impact factor=0.868)
- Concurrency and Computation: Practice and Experience - Wiley (Impact factor=0.636)
- Security and Communication Networks - Wiley (Impact factor=0.414)
- Future Generation Computer Systems - Elsevier (Impact factor=1.978)
- Multimedia Tools and Applications - Springer (Impact factor=0.617)
- Journal of Internet Technology (Impact factor=0.508)
- Journal of Computer and System Sciences - Elsevier (Impact factor=1.157)

Topics

Trust Track
- Trust semantics, metrics and models
- Trusted computing platform
- Trusted network computing
- Trusted operating systems
- Trusted software and applications
- Trust in social networks
- Trust in e-commerce and e-government
- Trust in mobile and wireless communications
- Risk and reputation management
- Survivable computer systems/networks
- Miscellaneous trust issues

Security Track
- Network security
- Computer security
- Database security
- Web applications security
- Security policy, model and architecture
- Security in social networks
- Security in parallel and distributed systems
- Security in mobile and wireless communications
- Security in grid/cloud/pervasive computing
- Authentication, authorization and accounting
- Miscellaneous security issues

Privacy Track
- Privacy in Web-based applications and services
- Privacy in database systems
- Privacy in parallel and distributed systems
- Privacy in grid/cloud/pervasive computing
- Privacy in mobile and wireless communications
- Privacy in e-commerce and e-government
- Privacy in network deployment and management
- Privacy and trust
- Privacy and security
- Privacy and anonymity
- Miscellaneous privacy issues


Organisation Committee

General Chairs:
Jiaguang Sun, Tsinghua University, China
Ivan Stojmenovic, University of Ottawa, Canada

Program Chair:
Yunhao Liu, Tsinghua University, China

Publicity Chairs:
Sandra Sendra Compte, Polytechnic University of Valencia, Spain
Haojin Zhu, Shanghai Jiao Tong University, China
Xiaodong Lin, University of Ontario Institute of Technology, Canada

Workshop Chairs:
Yang Xiang, Deakin University, Australia
Kouichi Sakurai, Kyushu University, Japan

Publication Chair:
Jemal Abawajy, Deakin University, Australia

Steering and Program Committees:
Please see http://www.greenorbs.org/TrustCom2014/


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

Message: 6
Date: Sun, 27 Apr 2014 10:23:59 +0000
From: "Potapov, Igor" <potapov@liverpool.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] RP 2014 -- First Call for Papers -- Deadline: 4 June
2014
Message-ID:
<7ECE8E01AEB79A459E3F30C54E56CF7CBC8AC42F@CHEXMBX1.livad.liv.ac.uk>
Content-Type: text/plain; charset="Windows-1252"


REACHABILITY PROBLEMS 2014
-------------------------------------------------
The 8th International Workshop on Reachability Problems (RP2014)
(22 - 24 September 2013, University of Oxford, United Kingdom)
http://www.cs.ox.ac.uk/RP2014/

The Department of Computer Science will organize the 8th International Workshop
on Reachability Problems (RP'2014). This event will take place at the
Department in the centre of Oxford, 22 - 24 September 2014.

Papers presenting original contributions related to reachability problems in
different computational models and systems are being sought. This will also be
the occasion to review recent breakthroughs by renown invited experts and
survey emerging trends and emphasize on key open challenges. Participants are
kindly encouraged to discuss on core scientific issues that need to be further
tackled.

The Reachability Workshop is specifically aimed at gathering together
scholars from diverse disciplines and backgrounds interested in
reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Logic and Verification


Invited Speakers:

- Byron Cook, UCL and Microsoft Research, UK.
- Kousha Etessami, University of Edinburgh, UK.
- Anca Muscholl, LaBRI Bordeaux, France.
- Sylvain Schmitz, LSV and ENS-Cachan, France.

Submissions:

Papers presenting original contributions related to reachability problems in
different computational models and systems are being sought.

Topics of interest include (but are not limited to): Reachability for infinite
state systems, rewriting systems; Reachability analysis in counter/ timed/
cellular/ communicating automata; Petri-Nets; computational aspects of
semigroups, groups and rings; Reachability in dynamical and hybrid systems;
frontiers between decidable and undecidable reachability problems; complexity
and decidability aspects; predictability in iterative maps and new
computational paradigms

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

Important Dates

- Submission deadline: 4 June 2014
- Notification to authors: 4 July 2014
- Final version: 14 July 2014
- Workshop: 22 - 24 September 2014

Presentation-Only Track

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

To apply to give such a presentation please submit a PDF file containing a
short abstract (up to two pages) by e-mail [ rp2014@easychair.org ] by August
4th 2014, with subject "RP2014 Presentation-Only Track". This abstract will
not be published in the conference proceedings.
Notification for the presentation-only track will be August 11th 2014.

Proceedings

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


RP2014 Program Committee:

Marius Bozga, VERIMAG Grenoble
Thomas Brihaye, Universit? de Mons
V?ronique Bruy?re, Universit? de Mons
Laurent Doyen, LSV Cachan
John Fearnley, University of Liverpool
Gilles Geeraerts, Universit? Libre de Bruxelles
Madhavan Mukund, Chennai Math. Institute
Andrzej Murawski, University of Warwick
Paritosh Pandya, TATA Institute of Fundamental Research
Igor Potapov, University of Liverpool
Stefan G?ller, University of Bremen
Martin Lange, University of Kassel
Kim Larsen, Aalborg University
Ranko Lazic, University of Warwick
Rupak Majumdar, Max Planck Institute for Software Systems
Nicolas Markey, ENS Cachan
Joel Ouaknine (co-chair), University of Oxford
Alexander Rabinovich, Tel Aviv University
Tayssir Touili, LIAFA University Paris Diderot
Thomas Wahl, Northeastern University
James Worrell (co-chair), University of Oxford
Lijun Zhang, Institute of Software ? Chinese Academy of Science

Previous Workshops:

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



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

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 74, Issue 25
**************************************