Saturday, May 30, 2015

dmanet Digest, Vol 87, Issue 30

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. Call for Papers: ICIA'15 Japan (Hazel Ann)
2. New Doctoral Program on Logical Methods in Computer Science
(LogiCS) (list-announcer@dbai.tuwien.ac.at)
3. CFP OPODIS 2015 : 19th International Conference on Principles
of Distributed Systems (Romaric Ludinard)


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

Message: 1
Date: Fri, 29 May 2015 16:20:07 +0800
From: Hazel Ann <hazel.sdiwc@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Call for Papers: ICIA'15 Japan
Message-ID:
<CACpAG8E_gp3yDNeHk7Ou5KhYTUuA+SJ=cDs3CZTHsM1SnjJQbw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

CALL FOR PAPERS


The Fourth International Conference on Informatics & Applications (ICIA2015)

July 20-22, 2015 ? Takamatsu, Japan
Kagawa University

Venue: Takamatsu Symbol Tower

http://sdiwc.net/conferences/icia2015/

icia2015@sdiwc.net

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

IMPORTANT DATES:

Submission Deadline open from now until June 20, 2015
Notification of Acceptance June 20, 2015 or 3 weeks from the submission date
Camera Ready Submission July 05, 2015
Registration Deadline July 05, 2015, It is recommended to do it few days
before
Conference Dates July 20-22, 2015

==============================================================
PAPER SUBMISSION GUIDELINES:

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


All registered papers will be included in SDIWC Digital Library
==============================================================

The conference aims to enable researchers build connections between
different digital applications. The event will be held over three days,
with presentations delivered by researchers from the international
community, including presentations from keynote speakers and
state-of-the-art lectures.

RESEARCH TOPICS ARE NOT LIMITED TO:

-Access Controls
-Anti-cyberterrorism
-Assurance of Service
-Biometrics Technologies
-Cloud Computing
-Computational Intelligence
-Computer Crime Prevention and Detection
-Computer Forensics
-Computer Security
-Confidentiality Protection
-Critical Computing and Storage
-Critical Infrastructure Management
-Cryptography and Data Protection
-Data Compression
-Data Management in Mobile Peer-to-Peer Networks
-Data Mining
-Data Stream Processing in Mobile/Sensor Networks
-Distributed and Parallel Applications
-E-Government
-E-Learning
-E-Technology
-Embedded Systems and Software
-Forensics, Recognition Technologies and Applications
-Fuzzy and Neural Network Systems
-Green Computing Grid Computing
-Image Processing
-Indexing and Query Processing for Moving Objects
-Information Content Security
-Information Ethics
-Information Propagation on Social Networks
-Information and Data Management
-Internet Modeling
-Mobile Networking, Mobility and Nomadicity
-Mobile Social Networks
-Mobile, Ad Hoc and Sensor Network Management
-Multimedia Computing
-Network Security
-Peer-to-Peer Social Networks
-Quality of Service, Scalability and Performance
-Real-Time Systems
-Resource and Knowledge Discovery Using Social Networks
-Self-Organizing Networks and Networked Systems
-Semantic Web, Ontologies
-Sensor Networks and Social Sensing
-Signal Processing, Pattern Recognition and Applications
-Social Networks Social Search
-Soft Computing Techniques
-Software Engineering
-Ubiquitous Computing, Services and Applications
-User Interfaces and Usability Issues for Web Applications
-User Interfaces,Visualization and Modeling
-Web Services Architecture, Modeling and Design
-Web Services Security Wireless Communications
-XML-Based Languages

Researchers are encouraged to submit their work electronically. All papers
will be fully refereed by a minimum of two specialized referees. Before
final acceptance, all referees comments must be considered.

Best selected papers will be published in one of the following special
issues provided that the author do major improvements and extension within
the time frame that will be set by the conference and his/her paper is
approved by the chief editor:

International Journal of New Computer Architectures and their Applications
(IJNCAA)
International Journal of Digital Information and Wireless Communications
(IJDIWC)
International Journal of Cyber-Security and Digital Forensics (IJCSDF)
International Journal of E-Learning and Educational Technologies in the
Digital Media (IJEETDM)



--
*Sincerely yours,*
*Hazel Ann*
*www.sdiwc.net <http://www.sdiwc.net>*



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

Message: 2
Date: Fri, 29 May 2015 11:48:44 +0200 (CEST)
From: list-announcer@dbai.tuwien.ac.at
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] New Doctoral Program on Logical Methods in Computer
Science (LogiCS)
Message-ID: <20150529094844.7D52C1E0D2@vexpert.dbai.tuwien.ac.at>

Funded Doctoral Positions in Computer Science

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
motivated students for their joint doctoral program LogiCS. The LogiCS
doctoral college focuses on interdisciplinary research topics covering

(i) computational logic, and applications of logic to
(ii) databases and artificial intelligence as well as to
(iii) computer-aided verification.

THE PROGRAM

LogiCS is a doctoral college focusing on logic and its applications in
computer science. Successful applicants will work with and be
supervised by leading researchers in the fields of computational
logic, databases and knowledge representation, and computer-aided
verification.

FACULTY MEMBERS

M. Baaz A. Biere R. Bloem A. Ciabattoni
U. Egly T. Eiter C. Fermueller R. Grosu
A. Leitsch M. Ortiz R. Pichler S. Szeider
H. Tompits H. Veith G. Weissenbacher

The LogiCS faculty comprises 15 renowned researchers with strong
records in research, teaching and advising, complemented by 12
associated members who further strengthen the research and teaching
activities of the college.

Details are provided on http://logic-cs.at/faculty/

POSITIONS AND FUNDING

We are looking for 1 doctoral students per faculty member, where 30%
of the positions are reserved for highly qualified female candidates.
The doctoral positions are funded for a period of 3 years according to
the funding scheme of the Austrian Science Fund (details:
http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/)
The funding can be extended for one additional year contingent on a
placement at one of our international partner institutions.

CURRENT RESEACH AREAS

At the moment we are particularly looking for people in the following areas:

* Answer Set Programming
* Concurrency
* Description Logic
* Database Theory
* Model Checking
* Proof Theory and Automated Deduction
* QBF Solving

HOW TO APPLY

Detailed information about the application process is available on the
LogiCS web-page

http://logic-cs.at/phd/

The applicants are expected to have completed an excellent diploma or
master's degree in computer science, mathematics, or a related field.
Candidates with comparable achievements will be considered on a
case-by-case basis. Applications by the candidates need to be
submitted electronically.

Next application Deadline: July 1, 2015.

LOGIC IN AUSTRIA

Austria has a highly active and successful logic in computer science community.
Recent activities include:

vsl2014.at
Vienna Summer of Logic, the Largest Conference in the History of Logic

www.arise.or.at
Austrian Research Network in Rigorous Systems Engineering

vcla.at
Vienna Center for Logic and Algorithms

kgs.logic.at
International Kurt Goedel Society

HIGHEST QUALITY OF LIFE

The Austrian cities Vienna, Graz, and Linz, located close to the Alps
and surrounded by beautiful nature, provide an exceptionally high
quality of life, with a vibrant cultural scene, numerous cultural
events, world-famous historical sites, a large international
community, a varied cuisine and famous coffee houses.

For further information please contact:
info@logic-cs.at



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

Message: 3
Date: Fri, 29 May 2015 16:22:51 +0200
From: Romaric Ludinard <romaric.ludinard@inria.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP OPODIS 2015 : 19th International Conference on
Principles of Distributed Systems
Message-ID: <5568763B.2030005@inria.fr>
Content-Type: text/plain; charset=utf-8

========================= *CALL FOR PAPERS* ============================

========================================================================
OPODIS 2015
The 19th International Conference on Principles of Distributed Systems

14-17 Dec, Rennes
http://opodis2015.irisa.fr

Schedule

Abstract registration: 24 August 2015
Submission deadline: 31 August 2015
Acceptance notification: 5 Nov 2015
Final version due: 19 Nov 2015
Conference: 14-17 Dec 2015, Rennes

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

OPODIS is an open forum for the exchange of knowledge on distributed
computing and distributed computer systems. All aspects of distributed
systems are within the scope of OPODIS, including theory, specification,
design, performance, and system building. With strong roots in the
theory of distributed systems, OPODIS covers nowadays the whole range
between the theoretical aspects and practical implementations of
distributed systems, as well as experimentation and quantitative
assessments.



*TOPICS*

Topics of interest include, but are not limited to:
-Algorithms for distributed systems (static or dynamic) and their
complexity;
-Cluster, cloud, grid and high-performance computing;
-Distributed operating systems, middleware, and database systems;
-Communication networks (protocols, architectures, services, applications);
-Cryptographic protocols and security mechanisms;
-Fault tolerance, reliability, availability;
-Internet applications, social systems, peer-to-peer and overlay networks;
-Self-* solutions for distributed systems;
-Mobile and wireless computing and sensor networks;
-Mobile agents and autonomous robots.



*PUBLICATION*

OPODIS 2015 will have post-proceedings available after the conference,
which allows for modifications based on the discussion during the
conference. Preliminary versions of the proceedings will be available
to participants at the conference electronically.

The proceedings will be published by
LIPIcs: Leibniz International Proceedings in Informatics
http://www.dagstuhl.de/en/publications/lipics
LIPIcs proceedings are available online and free of charge, in the model of
Gold Open Access.

Selected papers from the conference will be invited to the following
journals:
-Theoretical Computer Science (Elsevier)
-Computing (Springer)
-Operating Systems Review (ACM SIGOPS)



*SUBMISSION*

Detailed instructions for paper submission will appear in June 2015 on
the conference website
http://opodis2015.irisa.fr



*TUTORIALS*

OPODIS 2015 will feature selected tutorials, covering research subjects
in the scope of the conference.

Experts in the domains covered by OPODIS are invited to share their
expertise with the community by submitting proposals for tutorials. The
duration of a tutorial is one session (90 to 120 minutes), including
time for questions.

A tutorial proposal should not exceed three (3) pages in length using a
11pt font size. It must include the following information:

-The title of the tutorial;
-An abstract of the tutorial content;
-A brief statement of the relevance of the tutorial to OPODIS;
-The name(s), e-mail address(es) and affiliation(s) of the presenter(s);
-The biography and relevant publications of the presenter(s);
-If the authors will consider submitting an abstract of the tutorial (see
below);
-When applicable, if and where the tutorial has already been given in
the past.

Presenters of tutorials will be given the possibility to publish an
extended abstract of the tutorial content in the proceedings of the
conference. Such extended abstracts are encouraged but optional, and
will have to be accepted through peer review before inclusion.

Tutorial proposals must be sent by email directly to the program co-chairs
in PDF format. More information will appear on:
https://opodis2015.irisa.fr/keynotes-and-tutorials/

The selection will be based on a combination of interest in content from
the perspective and the topics of OPODIS, the timeliness and the
potential to attract or establish new communities, and the proposed
organization.



*BEST PAPER AWARD*

Starting with this edition, OPODIS will feature a "Best Paper" Award.
All papers accepted for presentation at the conference will be evaluated
by the award committee. The Best Paper Award aims to encourage work that
best combines theory and practice, and demonstrates excellence of
research in at least one of the two. This might be, for instance, an
advance in theory work that solves a real system issue, or an advance in
systems that builds upon theoretical results. The award committee may
decide to decline to confer the award, or to split it among more than
one recipient.



*PROGRAM CHAIRS*

Maria Potop-Butucaru, LIP6
Christian Cachin, IBM Research - Zurich


*GENERAL CHAIR*

Emmanuelle Anceaume CNRS / IRISA, France


*PROGRAM COMMITTEE*

Silvia Bonomi La Sapienza, Italy
Christian Cachin (co-chair) IBM Research - Zurich, Switzerland
Keren Censor-Hillel Technion, Israel
Xavier Defago JAIST, Japan
Shlomi Dolev Ben-Gurion University of the Negev, Israel
Panagiota Fatourou University of Crete, Greece
Antonio Fernandez Anta IMDEA Networks Institute, Spain
Christof Fetzer TU Dresden, Germany
Emmanuel Godard Universit? Aix-Marseille, France
Wojciech Golab University of Waterloo, Canada
Krishna P. Gummadi MPI SWS Saarbr?cken, Germany
Taisuke Izumi Nagoya Institute of Technology, Japan
Flavio Junqueira MSR Cambridge, United Kingdom
R?diger Kapitza TU Braunschweig, Germany
Aggelos Kiayias University of Athens, Greece
Fabian Kuhn University of Freiburg, Germany
Petr Kuznetsov Telecom ParisTech, France
Dahlia Malkhi VMware Research, United States
Rui Oliveira Universidade do Minho, Portugal
Marina Papatriantafilou Chalmers, Sweden
Fernando Pedone University of Lugano, Switzerland
Andrzej Pelc University of Quebec, Canada
Erez Petrank Technion, Israel
Peter Pietzuch Imperial College, United Kingdom
Florin Pop University Politehnica of Bucharest, Romania
Maria Potop-Butucaru (co-chair) Universit? Paris 6/LIP6, France
Michel Raynal IUF & IRISA-INRIA Rennes, France
Etienne Rivi?re University of Neuch?tel, Switzerland
Lu?s Rodrigues INESC-ID, Universidade de Lisboa, Portugal
Matthieu Roy LAAS-CNRS, France
Alex Shvartsman University of Connecticut, United States
Roman Vitenberg University of Oslo, Norway
Philipp Woelfel University of Calgary, Canada
Haifeng Yu National University of Singapore, Singapore


*STEERING COMMITTEE*

Marcos K. Aguilera VMWare, United States
Roberto Baldoni Sapienza University of Rome, Italy
Giuseppe Prencipe University of Pisa, Italy
Nicola Santoro Carleton University, Ottawa, Canada
Marc Shapiro INRIA, France
S?bastien Tixeuil (chair) IUF & LIP6-CNRS, France
Maarten van Steen VU University Amsterdam, Netherlands


*ORGANIZING COMMITTEE*

Emmanuelle Anceaume (chair) CNRS / IRISA, France
Yann Busnel EXCESS (ENSAI) / INRIA, France
Elisabeth Lebret INRIA, France
Lydie Mabil INRIA, France
Romaric Ludinard University of Rome La Sapienza, Italy





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

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

No comments:

Post a Comment