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. Final call for submissions LaSh 2014 (Oikarinen Emilia)
2. CFP: The 17th Korea-Japan Joint Workshop on Algorithms and
Computation (Yoshio Okamoto)
3. Deadline Approaching (May 30), 9th DATA PRIVACY MANAGEMENT
workshop, co-located with ESORICS 2014, LNCS proceedings,
Wroclaw, Poland (Joaquin Garcia-Alfaro)
4. DISC 2014: Final CFP, extended deadlines (Sebastian Daum)
----------------------------------------------------------------------
Message: 1
Date: Sun, 4 May 2014 09:11:41 +0000
From: Oikarinen Emilia <emilia.oikarinen@aalto.fi>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Final call for submissions LaSh 2014
Message-ID:
<274585DE7BDBEB47A4AF18BAEEC7F114EC10218C@EXMDB07.org.aalto.fi>
Content-Type: text/plain; charset="iso-8859-1"
[apologies for any cross-posting]
================================================================
WORKSHOP ON LOGIC AND SEARCH - LaSh 2014
Representing and Solving Computational Search Problems
Final Call For Submissions
With Revised Submission Deadline (May 15), Final PC, Confirmed Speakers
Vienna, Austria, July 18, 2014
http://vsl2014.at/lash/
A FLoC 2014 Workshop, Associated with SAT and ICLP
OVERVIEW
The purpose of the LaSh workshops is to foster scientific exchange on
subjects related to languages for representing, and methods for solving,
computationally challenging search problems. The scope includes study of
relevant logics, algorithms, and logic-based systems, and also study of
other languages and systems from the viewpoint of logic, broadly construed.
Hard combinatorial search and optimization problems abound in science,
engineering, and other areas. Examples include planning, scheduling and
configuration problems. Several communities have developed general purpose
solving technologies for such problems, supported by declarative modelling
or specification languages. These include answer set programming (ASP)
from knowledge representation (KR), constraint solvers and modelling languages
from constraint programming (CP), and integer linear programming (ILP) solvers
and algebraic modelling languages from mathematical programming. Other
relevant areas include propositional satisfiability (SAT), satisfiability
modulo theories (SMT), and representation languages based on classical
logic and FO(ID).
Differences in emphasis notwithstanding, these share the same purpose.
Indeed, there are many similarities in solving technologies, and increasing
exchange between the areas both in solving and representational issues.
>From a logical point of view, whether a given language or system is
described in logical terms or not, we have languages which define some
class of structures, and systems whose purpose is to compute structures
in the class. Logic may be seen as an explicit basis for building systems,
as an analytic tool, or as a formal approach to viewing the diversity of
systems more uniformly.
Topics of interest include, but are not limited to:
- Logics relevant to the study of search and optimization problems
- Languages for specifying or modelling search or optimization problems
- Reasoning about or with specifications of search problems
- Grounding and related language transformation methods
- Expressiveness and complexity of logics and languages
- Ground Solvers and their languages: SAT, ASP, SMT, FlatZinc, etc.
- New or extended ground solver languages: SAT+Cardinality, SAT+TC, etc.
- Design of systems, solvers, and related tools
- Approximation, tractable problem classes, etc.
- Proof systems and inference methods underlying solvers.
- Comparisons of different languages or methods
- Interesting applications, either as case studies or challenges
- Benchmark problems and instance collections
CONFIRMED SPEAKERS
Plenary: Konstantin Korovin, University of Manchester
Tomi Janhunen, Aalto University
Stefan Woltran, TU Wien
IMPORTANT DATES
Submission: May 15 (Extended)
Notification: May 21 (Revised)
Final Versions: May 27 (Revised)
Workshop: July 18
ORGANIZERS
Marc Denecker, KU Leuven
David Mitchell, Simon Fraser University
Emilia Oikarinen, Aalto University
PROGRAM COMMITTEE
David Bergman (University of Connecticut)
Marc Denecker (K.U.Leuven) - chair
Alan Frisch (University of York)
Wolfgang Faber (University of Huddersfield)
Marijn Heule (The University of Texas at Austin)
Tomi Janhunen (Aalto University)
Matti J?rvisalo (University of Helsinki)
Ian Miguel (University of St Andrews)
David Mitchell (Simon Fraser University) - chair
Emilia Oikarinen (Aalto University) - chair
Shahab Tasharrofi (Simon Fraser University)
Eugenia Ternovska (Simon Fraser University)
Mirek Truszczynski (University of Kentucky)
SUBMISSION INFORMATION
To encourage communication across areas, LaSh is a non-archival meeting.
In addition to new technical work, we welcome presentation of relevant material
which has appeared at conferences area-specific meetings or general conferences,
and also position papers, challenges, system descriptions and speculative work.
------------------------------
Message: 2
Date: Sun, 04 May 2014 20:57:51 +0900
From: Yoshio Okamoto <okamotoy@uec.ac.jp>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: The 17th Korea-Japan Joint Workshop on
Algorithms and Computation
Message-ID: <53662B3F.8050105@uec.ac.jp>
Content-Type: text/plain; charset=ISO-2022-JP
****************************************************************************
Call for Papers
The 17th Korea-Japan Joint Workshop on Algorithms and Computation
(WAAC 2014)
July 13-15, 2014
Okinawa Convention Center
http://dopal.cs.uec.ac.jp/waac14/
****************************************************************************
The aim of this workshop is to provide a forum for researchers working
on algorithms and the theory of computation, to promote the exchange
of recent results, to foster new collaborations among
researchers. Historically, the workshop has established for the
purpose of collaboration of researchers of Japan and Korea; however,
participation from any country is welcome.
The workshop is organized by the Special Interest Group on Algorithms
(SIGAL) of the Information Processing Society of Japan and the Special
Interest Group on Theoretical Computer Science (SIGTCS) of the Korean
Institute of Information Scientists and Engineers (KIISE).
Topics
- Automata, languages and computability
- Algorithms (combinatorial/graph/geometric/randomized)
- VLSI and parallel algorithms
- Networks and distributed algorithms
- Learning theory and data mining
- Number theory and cryptography
- Graph drawing and visualization
- Computational logic
- Combinatorics and optimization
Important Dates
- Paper submission deadline: May 25, 2014
- Notification of acceptance: June 7, 2014
- Final version submission: June 20, 2014
- Conference: July 13-15, 2014
Submission
Authors are invited to submit papers up to 8 pages in English via the
EasyChair submission system no later than May 25, 2014. Follow the URL
https://www.easychair.org/conferences/?conf=waac2014
Page Style and Limit
The paper must be written in English. The camera-ready version must be
printed to fit A4 size sheet. It cannot exceed 8 pages including the
title page. The first page should contain the title, authors,
affiliations, addresses (including authors' e-mail addresses), and
abstract.
Proceedings
The proceedings will be available at the conference site. Since the
proceeding is only distributed at the workshop, the submission of
preliminary material that is to be submitted to or extended material
to appear in other international conferences or journals is allowed
and encouraged.
PC Chairs
Sung-Ryul Kim (Konkuk University, Korea)
Ryuhei Uehara (JAIST, Japan)
Program Committee
Jinhee Chun (Tohoku Univ., Japan)
Sung-Ryul Kim (Konkuk University, Korea; Chair)
Yoshio Okamoto (Univ. Electro-Comm., Japan)
Kei Uchizawa (Yamagata Univ., Japan)
Ryuhei Uehara (JAIST, Japan; Chair)
Yukiko Yamauchi (Kyusyu Univ., Japan)
TBA
Local organizers
Takashi Horiyama (Saitama Univ., Japan)
Yoshio Okamoto (Univ. Electro-Comm., Japan)
Yota Otachi (JAIST, Japan)
Yukiko Yamauchi (Kyusyu Univ., Japan)
Kei Uchizawa (Yamagata Univ., Japan)
Ryuhei Uehara (JAIST, Japan)
Invited Speakers
Takeshi Tokuyama (Tohoku Univ., Japan)
TBA
More Information
Web page: http://dopal.cs.uec.ac.jp/waac14/
Contact email address: waac14@jaist.ac.jp
Okinawa Convention Center: http://www.oki-conven.jp/
------------------------------
Message: 3
Date: Sun, 04 May 2014 18:30:53 +0200
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline Approaching (May 30), 9th DATA PRIVACY
MANAGEMENT workshop, co-located with ESORICS 2014, LNCS proceedings,
Wroclaw, Poland
Message-ID: <53666B3D.2040902@telecom-sudparis.eu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
[Apologies if you receive multiple copies of this message]
========================================================================
Call for Papers
DPM 2014, 9th International Workshop on
DATA PRIVACY MANAGEMENT,
http://deic.uab.cat/conferences/dpm/dpm2014/
Wroclaw, Poland, September 10-11, 2014
(co-located with ESORICS'2014)
Springer LNCS Proceedings
========================================================================
========================================================================
Important Dates
* Paper Submission Deadline: May 30, 2014
* Acceptance Notification: July 11, 2014
* Camera Ready Version: August 14, 2014
========================================================================
Scope: Organizations are increasingly concerned about the privacy of
information that they manage (several people have filed lawsuits
against organizations violating the privacy of customer's data). Thus,
the management of privacy-sensitive information is very critical and
important for every organization. This poses several challenging
problems, such as how to translate the high-level business goals into
system-level privacy policies, administration of privacy-sensitive
data, privacy data integration and engineering, privacy access control
mechanisms, information-oriented security, and query execution on
privacy-sensitive data for partial answers.
Topics: The aim of this workshop is to discuss and exchange the ideas
related to privacy data management. We invite papers from researchers
and practitioners working in privacy, security, trustworthy data
systems and related areas to submit their original papers in this
workshop. The main topics, but not limited to, include:
* Privacy Information Management
* Privacy Policy-based Infrastructures and Architectures
* Privacy-oriented Access Control Languages and Models
* Privacy in Trust Management
* Privacy in Digital Currencies
* Privacy Data Integration
* Privacy Risk Assessment and Assurance
* Privacy Services
* Cryptography and Cryptanalysis
* Privacy Policy Analysis
* Query Execution over Privacy Sensitive Data
* Privacy Preserving Data Mining
* Hippocratic and Water-marking Databases
* Privacy for Integrity-based Computing
* Privacy Monitoring and Auditing
* Privacy in Social Networks
* Privacy in Ambient Intelligence (AmI) Applications
* Individual Privacy vs. Corporate/National Security
* Privacy in computer networks
* Privacy and RFIDs
* Privacy and Big Data
* Privacy in sensor networks
========================================================================
Submission guidelines: Papers should be at most 15 pages (using
11-point font), excluding the bibliography and well-marked appendices.
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 (at easychair.org/conferences/?conf=dpm2014)
and following the requirements stated there.
The submitted paper (in PDF format) should follow the template
indicated by Springer (see http://springer.de/comp/lncs/authors.html).
It must start with a title, a short abstract, names and affiliations
of the authors, and a list of keywords.
All papers will be refereed. Accepted papers should be presented at
the Workshop. At least one author of each accepted paper must register
to the workshop, by the early date indicated by the organizers, and
present the paper.
The proceedings will be published in a volume of Lecture Notes in
Computer Science (Springer-Verlag).
Submissions by PhD students as well as controversial ideas are
encouraged. Case studies (successful or not) are also encouraged.
It is expected that extended and revised version of the best papers
from the workshop will be considered for international journal special
========================================================================
General Chairs:
* Jordi Castella-Roca (Universitat Rovira i Virgili)
Program Committee Chairs:
* Joaquin Garcia-Alfaro (Telecom SudParis)
* Jordi Herrera-Joancomarti (Universitat Autonoma de Barcelona)
Program Committee:
* Rainer Bohme (University of Munster, Germany)
* Ana Cavalli (Telecom SudParis, France)
* Frederic Cuppens (Telecom Bretagne, France)
* Nora Cuppens (Telecom Bretagne, France)
* Josep Domingo-Ferrer (Universitat Rovira i Virgili, Catalonia)
* Christian Duncan (Quinnipiac University, USA)
* Nicola Dragoni (Technical University of Denmark, Denmark)
* David Evans (University of Derby, UK)
* Sara Foresti (University of Milan, Italy)
* Sebastien Gambs (University of Rennes 1, France)
* Flavio D. Garcia (Radboud University Nijmegen, The Netherlands)
* Paolo Gasti (New York Institute of Technology, USA)
* Stefanos Gritzalis (University of the Aegean, Greece)
* Marit Hansen (Unabhangiges Landeszentrum fur Datenschutz, Germany)
* Artur Hecker (Telecom ParisTech, France)
* Sokratis Katsikas (University of Piraeus, Greece)
* Evangelos Kranakis (Carleton University, Canada)
* Pascal Lafourcade (Joseph Fourier University, France)
* Maryline Laurent (Telecom SudParis, France)
* Georgios Lioudakis (National Technical University of Athens, Greece)
* Giovanni Livraga (University of Milan, Italy)
* Javier Lopez (University of Malaga, Spain)
* Sotirios Maniatis (Hellenic Authority for Communications Privacy, Greece)
* Refik Molva (EURECOM, France)
* Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona, Catalonia)
* Melek Onen (EURECOM, France)
* Cristina Perez-Sola (Autonomous University of Barcelona, Catalonia)
* Silvio Ranise (FBK, Security and Trust Unit, Trento)
* Yves Roudier (EURECOM, France)
* Mark Ryan (University of Birmingham, UK)
* Pierangela Samarati (University of Milan, Italy)
* David Sanchez (Universitat Rovira i Virgili, Catalonia)
* Claudio Soriente (ETH Zurich, Switzerland)
* Alessandro Sorniotti (IBM Research, Switzerland)
* Vicenc Torra (Artificial Intelligence Research Institute, Catalonia)
* Alexandre Viejo (Universitat Rovira i Virgili, Catalonia)
* Jens Weber (University of Victoria, Canada)
* Lena Wiese (University of Gottingen, Germany)
* Nicola Zannone (Eindhoven University of Technology, The Netherlands)
=======================================
FURTHER INFORMATION
=======================================
Additional information about paper submission and conference topics and
events can be found at the DPM'2014 web site:
http://deic.uab.cat/conferences/dpm/dpm2014/
------------------------------
Message: 4
Date: Mon, 05 May 2014 17:44:31 +0200
From: Sebastian Daum <sdaum@cs.uni-freiburg.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] DISC 2014: Final CFP, extended deadlines
Message-ID: <5367B1DF.6080501@cs.uni-freiburg.de>
Content-Type: text/plain; charset=windows-1252; format=flowed
(Apologies for crosspostings)
The DISC deadlines have been extended by a few days (see below). This
gives all authors an additional week-end to polish their submissions,
and it adds a few days between the PODC camera-ready deadline and the
DISC submission deadline. Note that there will not be an additional
deadline extension and all deadlines are firm (abstract registration
by May 14 is mandatory in order to be able to submit a paper).
------------------------------------------------------------------------
CALL FOR PAPERS
- DISC 2014 -
The 28th International Symposium on Distributed Computing
October 12-15, 2014
Austin TX, USA
http://www.disc-conference.org/wp/disc2014
------------------------------------------------------------------------
------------------------------------------------------------------------
DISC is the International Symposium on Distributed Computing, organized
in cooperation with the European Association for Theoretical Computer
Science (EATCS).
Important Dates
---------------
Abstract Registration: May 14, 2014 (extended)
Paper Submission: May 18, 2014 (extended)
Notification: July 12, 2014 (extended)
Camera-Ready Submission: August 5, 2014
Conference: October 12-15, 2014
Submission Link
---------------
http://www.easychair.org/conferences/?conf=disc2014
Scope
-----
Original contributions to theory, design, implementation, modeling,
analysis, or application of distributed systems and networks are
solicited. Topics of interest include, but are not limited to:
- Distributed algorithms; correctness and complexity
- Concurrency, synchronization, and transactional memory
- Distributed operating systems, middleware, database systems
- Self-stabilizing, self-organizing, and autonomic systems
- Wireless, mobile, sensor and ad-hoc networks
- Fault tolerance, reliability, availability
- Game-theoretic approaches to distributed computing
- Specification, verification, and testing: tools, methodologies
- Networks: protocols, architectures, services, applications
- Multiprocessor and multicore architectures and algorithms
- Security in distributed computing, cryptographic protocols
- Distributed computing issues in the Internet and the Web
- Cloud and peer-to-peer computing
- Mobile agents and autonomous robots
------------------------------------------------------------------------
Program Committee
-----------------
James Aspnes, Yale University, USA
Hagit Attiya, Technion, Israel
Chen Avin, Ben Gurion University, Israel
Shiri Chechik, Microsoft Research SVC, USA
Faith Ellen, University of Toronto, Canada
Vijay Garg, University of Texas, Austin, USA
George Giakkoupis, INRIA Rennes, France
Seth Gilbert, National University of Singapore
Rachid Guerraoui, EPFL, Switzerland
Bernhard Haeupler, Microsoft Research SVC, USA
Danny Hendler, Ben Gurion University, Israel
Majid Khabbazian, University of Alberta, Canada
Fabian Kuhn (chair), University of Freiburg, Germany
Christoph Lenzen, MIT, USA
Victor Luchangco, Oracle Labs, USA
Dahlia Malkhi, Microsoft Research SVC, USA
Thomas Moscibroda, Microsoft Research Asia, China
Yoram Moses, Technion, Israel
Danupon Nanongkai, Brown University, USA
Boaz Patt-Shamir, Tel Aviv University, Israel
Andrzej Pelc, University of Quebec, Canada
Jared Saia, University of New Mexico, USA
Thomas Sauerwald, Max Planck Institute, Germany
Christian Schindelhauer, University of Freiburg, Germany
Jukka Suomela, Aalto University, Finland
Sebastien Tixeuil, UPMC Sorbonne University, France
Organization Committee
----------------------
Chen Avin (publicity), Ben Gurion University, Israel
Sebastian Daum (publicity), University of Freiburg, Germany
Mohamed Gouda (general chair), University of Texas, Austin
Alessia Milani (workshops/tutorials), LaBRI, France
Corentin Travers (workshops/tutorials), LaBRI, France
Steering Committee
------------------
Marcos Aguilera, Microsoft Research SVC, USA
Yehuda Afek, Tel Aviv University, Israel
Keren Censor-Hillel, Technion, Israel
Shlomi Dolev, Ben Gurion University, Israel
Antonio Fernandez Anta (chair), IMDEA Netw., Spain
Fabian Kuhn, University Freiburg, Germany
Achour Mostefaoui, University Nantes, France
------------------------------------------------------------------------
Submission
----------
Papers are to be submitted electronically, following the guidelines on
the conference web page. Submissions must be in English, in .ps or .pdf
format, and begin with a cover page (not a cover letter) including:
(1) title,
(2) authors? names and affiliations,
(3) contact author?s postal and email address,
(4) a short abstract of the paper,
(5) indication of whether this is a regular paper or a brief
announcement, and
(6) indication of whether the paper is eligible for best student paper
award.
A submission for a regular presentation must report on original research
that has not previously appeared, and has not been concurrently
submitted to a journal or conference with published proceedings. Any
overlap with a published or concurrently submitted paper must be clearly
indicated. A regular submission must not exceed 10 single-column pages
using at least 11 point font on letter paper (excluding cover page and
references). Authors are expected to include all the ideas necessary for
an expert to verify the central claims in the paper. If necessary, the
details may appear in a clearly marked appendix, which will be read at
the discretion of the program committee.
A brief announcement submission must not exceed 3 pages in the same
format. It is permissible for the material in brief announcements to be
published in other conferences. Submissions not conforming to these
rules and papers outside of the scope of the conference will be rejected
without consideration. If requested by the authors on the cover page, a
regular submission that is not selected for a regular presentation can
be considered for the brief announcement format. Such a request will not
affect consideration of the paper for a regular presentation.
Publication
-----------
The proceedings will be published as a volume in the ARCoSS Springer
Lecture Notes in Computer Science series. Camera-ready versions of
accepted papers must be submitted in the LNCS format.
Awards
------
Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper.
------------------------------
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 75, Issue 3
*************************************
No comments:
Post a Comment