Monday, March 24, 2014

dmanet Digest, Vol 73, Issue 26

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. Three pre-doctoral positions in OR/MS @ University of Antwerp
(Kenneth S?rensen)
2. [padabs'14] - Call for Papers 2nd Workshop on Parallel and
Distributed Agent-Based Simulations (Gennaro Cordasco)


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

Message: 1
Date: Sun, 23 Mar 2014 09:36:49 +0100
From: Kenneth S?rensen <kenneth.sorensen@ua.ac.be>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Three pre-doctoral positions in OR/MS @ University
of Antwerp
Message-ID:
<CAHR7O--MruKi_iTzsq+WC27i1oJw4_T0jTqP=drG1p9DoTJL5w@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

Vacancy for three PhD students - application deadline May 2014

The ANT/OR Operations Research group of the Department of Engineering
Management, University of Antwerp, Belgium has vacancies for

three pre-doctoral positions (PhD students) in Operations
Research/Management Science

The selected candidates will be hired for a four-year period subject
to yearly evaluation. They will receive a tax-free PhD scholarship of
approximately 1800 euro per month. They will enroll in the doctoral
program of the Faculty of Applied Economics and work towards obtaining
a PhD during the fourth year. Some light teaching/support activities
may also be demanded of the candidate.

The selected candidates will perform research on a specific topic
within the broad domain of Operations Research/Management Science. Two
research topics have already been defined:

- City bike repositioning. Bicycle sharing systems are popping up all
over the world, but bike stations tend to empty out or fill up. The
PhD student selected for this topic will analyze the problem of
repositioning bicycles in a bike sharing system. This research will
entail statistical analysis of demand/supply patterns of bikes at the
different stations, as well as the development of (exact and
metaheuristic) algorithms to optimize the activities of the
repositioning vehicles.

- Smart plant optimization in the petrochemical industry. The PhD
student selected for this topic will develop models and methods for
planning the semi-continuous production of a petrochemical companhy,
also looking at tactical decisions like plant layout and
configuration. Antwerp is the second largest petrochemical cluster in
the world and this research project will be executed in collaboration
with partners from the chemical industry.

Other potential topics include (but are not limited to) the following:

- Applications of metaheuristics in various fields (especially
transportation and logistics, humanitarian aid, public transportation,
...). The topic will be defined in collaboration with the PhD
supervisor.

- Metaheuristic theory: A large number of different metaheuristics
exist: tabu search, evolutionary algorithms, simulated annealing, ant
colony optimization, ... To solve a large number of theoretical and
real-life optimization problems, metaheuristics typically outperform
all other methods. However, very little knowledge is available on why
and how these methods work and an overarching theory of metaheuristic
development is still lacking? The aim of this topic is to work towards
a better theoretical understanding of metaheuristic optimization.

The ideal candidate has a good background in operations research
(www.scienceofbetter.org), statistics, and mathematics, including good
programming skills and a good command of the English language. Typical
activities the candidate will perform are the development of heuristic
optimization algorithms, implementation in a programming environment,
running computational experiments, and analyzing the results
statistically, as well as writing research papers and giving
conference presentations.

The candidates will join the ANT/OR research group (antor.ua.ac.be), a
young and dynamic team of researchers mainly working on applications
of operations research. They will work under the direct supervision of
Prof. Kenneth S?rensen (www.uantwerpen.be/kenneth-sorensen) and/or
prof. Trijntje Cornelissens (www.uantwerpen.be/trijntje-cornelissens).
They will work at the city campus of the University of Antwerp.
Antwerp is a lively city in the center of Europe, well-known for its
history, its fashion and diamond industry, and its generally excellent
quality of life.

To apply, go to http://antor.ua.ac.be/apply and submit your complete
file (instructions can be found on the website). Application deadline
is 1 May 2014 but early application is encouraged. Final-year master
students who have not yet received their degree are also encouraged to
apply when interested. The selected PhD students will be expected to
start working before 1 October 2014.

For more information, contact kenneth.sorensen@uantwerpen.be.



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

Message: 2
Date: Mon, 24 Mar 2014 11:07:08 +0100
From: Gennaro Cordasco <cordasco@dia.unisa.it>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] [padabs'14] - Call for Papers 2nd Workshop on
Parallel and Distributed Agent-Based Simulations
Message-ID:
<CAK28TUyKQB9Uv1qEet5ML=GQkADKrpOmKx-w4X59AvB_QhEFKg@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

[Apologies for multiple copies of this message.]

August 25-26th, 2014, Porto (Portugal),
jointly with Euro-Par 2014 | http://www.padabs.org.

Deadlines:

Workshop papers due: May 30, 2014
Workshop author notification: July 4, 2014
Workshop early registration: July 25, 2014
Workshop: August 25/August 26th
Workshop camera-ready papers due: October 3, 2014

Organizers:

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

Program Committee:

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)
Nicola Lettieri (Universit? 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 Second 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 pages LNCS format,
5 pages for short papers) and will be reviewed, anonymously by at least 2
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
https://www.easychair.org/conferences/?conf=europar2014ws

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



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

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 73, Issue 26
**************************************

dmanet Digest, Vol 73, 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. Open position at the AOC team of LIPN - Paris13 - Starting in
September 2014 (Roberto Wolfler Calvo)
2. 2 Calls || Inform. Systems & Managment in eMedia/Creative
Industries || Book Chapters (Springer-Verlag) || Workshop Papers
(ICME 2014) || (artur.lugmayr@tut.fi)
3. Special Issue of Discrete Optimization (ISCO 2014) (ridha mahjoub)
4. Supernetwors and optimization - Research Position (Pablo Moscato)
5. CSR 2014: Call for Participation (Edward A. Hirsch)


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

Message: 1
Date: Fri, 21 Mar 2014 18:37:20 +0100
From: Roberto Wolfler Calvo <roberto.wolfler@lipn.univ-paris13.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Open position at the AOC team of LIPN - Paris13 -
Starting in September 2014
Message-ID: <532C78D0.8030001@lipn.univ-paris13.fr>
Content-Type: text/plain; charset=UTF-8; format=flowed

*** Apologies for multiple copies ***
========================================================================================================================================
Looking for candidates to a Associate Professor position in Computer
Science specialized in Mathematical Programming
========================================================================================================================================

The Universit? Paris 13 is seeking applicants for an Associate Professor
position in the Department of Computer Science attached to the LIPN
(Laboratory of Computer Science of Paris Nord) as for research and
attached to the IUT St Denis as for teaching.

Knowledge of French is requested.

The application process is open, it closes on March 28, 2014 at 16h.

Post 27
================
Profile : Computer Science LIPN, University Institute of Technology of
Saint -Denis, Universit? Paris 13

Teaching Profile
================
Education Department: Business Management and Administration
Place of work: University Institute of Technology of Saint -Denis
Teaching team : Initial training

Topics:
----------------------
- Information and communication tools and programs
- Design and implementation of an information system with a Relational
Database Management System
- Computerized running of companies
- Computer tools for management and ERP


Recherche Profile
=================
The Computer Science Laboratory of Paris-North University (LIPN) has
been associated with CNRS since january 1992 and is a mixed research
unit since january 2001 (UMR 7030). Research at LIPN is carried out in
its major areas of expertise, in particular Combinatorics, Combinatorial
Optimisation, Algorithmics, Logic, Software, Natural Language, Machine
Learning. The laboratory is structured into five teams: A3, AOC, CALIN,
LCR and RCLN.


Successful candidates will hold a PhD in Operations Research or
Mathematical Programming, and will join the Algorithms and Combinatorial
Optimization (AOC) research team
(http://www-lipn.univ-paris13.fr/AOC/):

The AOC team is organized along three axes: Optimization on graphs,
Mathematical Programming and Parallel and Distributed Computing. These
three research axes are strongly linked together. The first one mainly
deals with optimization problems in graphs with focus on complexity,
Polyedral theory and Approximation.

The second axis of the AOC team (i.e., Mathematical Programming) deals
with the design and analysis (both theoretical and empirical) of
mathematical programming approaches and algorithms. Both exact and
heuristic approaches for solving hard combinatorial optimization
problems are developed. Among these approaches there are: branch and
cut, branch and price, methods of decomposition and relaxation.
Moreover, both MILP (mixed integer linear programming) and MINLP (mixed
integer non linear programming) are studied. The third axis deals with
problems intersecting three strongly linked domains: distributed
middleware and architecture, distributed programming and distributed
algorithms.
An interesting characteristic of the AOC team is that our expertise
covers a broad spectrum of topics either horizontal (from graph theory
to heuristics) or vertical (from algorithm design to detailed
implementation). The theoretical and methodological work is complete by
an industrial transfers.

The second axis is particularly interested in solving hard combinatorial
optimization problems by exact and matheuristic approaches. The ?ma?tre
de conf?rences? recruited will integrate the AOC team LIPN on a
mathematical programming profile. Expertise around reformulation and
decomposition methods will be appreciated.


Key words: combinatorial optimization, discrete applied mathematics,
mathematical programming.

Contact: Roberto Wolfler -Calvo ( roberto.wolfler @ lipn.univ - paris13.fr )
Responsible for the AOC team
tel: +33 (0)1 49 40 40 71


More information / further contacts
===================================

Information :
Place of work: LIPN - UMR 7030
Name Lab Director : Laure Petrucci
As lab director : +33 (0)1 49 40 35 79
Email lab director : @ laure.petrucci lipn.univ - paris13.fr
Lab URL : http://lipn.univ-paris13.fr


Name Department Director : David CALMELS
Dept Director Tel . : +33 (0)1 49 40 62 06 / 62 03
Email Dept Director. : David.calmels@iutsd.univ-paris13.fr
URL filing . : Www.iutsd.univ - paris13.fr

Contacts :
Head of the laboratory : Laure Petrucci :
laure.petrucci@lipn.univ-paris13.fr


For futher details on the postion (in french) :
http://lipn.univ-paris13.fr/rcln-logiciels/aoc/actualites/recrutement-mcf-2014


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

Message: 2
Date: Sat, 22 Mar 2014 00:04:24 +0200 (EET)
From: artur.lugmayr@tut.fi
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 2 Calls || Inform. Systems & Managment in
eMedia/Creative Industries || Book Chapters (Springer-Verlag) ||
Workshop Papers (ICME 2014) ||
Message-ID: <855811486.119.1395439464802.JavaMail.lugmayr@HLO76-LT>
Content-Type: text/plain; charset=us-ascii

Dear All,

Two interesting possibilties:
- Call for book chapters (Springer-Verlag): Information Systems & Management
in eMedia and Creative Industries (ABSTRACT DEADLINE: 15th APRIL 2014)
- Call for Papers (ICME2014): Workshop on Information Systems & Managmeent in
Multimedia, Arts, Education, Entertainment, and Culture
(DEADLINE 2nd APRIL: 2014)

PLEASE READ BELOW FOR MORE DETAILS:

1)
----------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------
Call for Book Chapters
Information Systems and Management in eMedia and Creative Industries
Springer-Verlag
Artur Lugmayr, Emilija Stojmenova, Katarina Stanoevska, and Robert Wellington (Eds.)
----------------------------------------------------------------------------------------

Special Focus on NEW Approaches in the eMedia Industries, or Approaches HOW eMedia
Support Information Systems: Strategic Importance of IT ans IS&M in Media, Big Data,
Crowd, Open Data, Linked Data, Cloud Application, New Business Analytics, Information
Visualization, Workflow Management, IS&M as Basis of New Business Models of New Media
Products, and Global Digital Production Pipelines.

* Management, Marketing, Business Aspects and Strategic Importance of IT and IS&M in
Creative eMedia Industries
* Technology Perspective of the Usage of Media in IS&M in Media Industry and the Application
of Media in IS&M across Domains: Technology, Processes, Workflows, Infrastructures and
Global Production Pipelines
* Methods, Approaches, and Importance of IT and Information Systems and Management in
Media - Media and Content as Part of IS&M across Application Domains
* Content, Service, Application, and Artistic Viewpoint on IS&M in Media and
Creativity Industries

Upcoming Deadline: 15th April (abstract), 15th June (manuscript), 30th Aug. (reviews)
Book Website: http://www.tut.fi/emmi/WWW/ameamain/ismemedia
Email List: https://listmail.tut.fi/mailman/listinfo/ism-emedia
Submission System: http://www.tut.fi/emmi/Submissions/2014ISMeMedia/
Facebook: https://www.facebook.com/groups/ismemedia/
Contact us: lartur@acm.org or emilija.stojmenova@ltfe.org
----------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------

2)
----------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------
CALL FOR PAPERS ? MIS-MEDIA 2014
2nd international workshop on information systems in multimedia arts, education,
entertainment, and culture (MIS-MEDIA 2014)
14th-18th July 2014
http://www.tut.fi/emmi/WWW/ameamain/mis-media2014
Chengdu, China
----------------------------------------------------------------------------------------
in conjunction with ICME 2014
IEEE International Conference on Multimedia and Expo
http://www.icme2014.org/

EXTENDED DEADLINE: 2nd APRIL 2014 !!!!!!!!!!!!!

in cooperation with the International Asscocation for Ambient Media (iAMEA) and the
Assocation for Information Systems (AIS) SIG-eMedia (http://www.ambientmediaassociation.org
and http://aisnet.org/group/SIG-eMedia)

Paper Submission: https://cmt.research.microsoft.com/ICME2014W/ - please tick the correct

* Big Data & Multimedia Systems
* Cross-media offering, distribution channels and convergence
* Media business information management for multimedia
* Media information system design in multimedia
* Business intelligence in media industries
* Knowledge management systems applications
* Workflow management, operational efficiency and new capturing technologies
* Home platforms, mobility, multi-play and network convergence
* Systems for management reporting, analysis, and decision support
* Standards to enable technical convergence
* Data warehousing in converging environments
* Integration of analogue and digital media productions
* E2E systems and solutions in converging media environments
* Asset management and metadata management
* E2E systems, infrastructures and solutions
* Integration of analogue and digital media production and distribution
* Information systems and decision support systems
* Speech, audio, image, video, and text processing in information management
* Marketing information systems
* Content analysis, matching, and retrieval in information management
* Technologies in media art, education, entertainment, environment, and culture
* Consumer experience and quality assessment in MIS
* Theoretical foundations of entertainment computation
* Production process management
* Multimedia databases, digital libraries, and eLearning in MIS
* Technology and management of E2E media delivery
* Business information management in media
* Standards, policies, and regulation for MIS in media industry
* Mobility, Social media, ambient media, eLearning
* Practical media art, education, entertainment, and cultural applications
----------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------


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

Message: 3
Date: Fri, 21 Mar 2014 23:24:49 +0100
From: ridha mahjoub <mahjoub@lamsade.dauphine.fr>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Special Issue of Discrete Optimization (ISCO 2014)
Message-ID: <532CBC31.5080604@lamsade.dauphine.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed


(Apologies in advance for multiple postings)

CALL FOR PAPERS

Special Issue of Discrete Optimization
on Combinatorial Optimization

We invite submissions of novel research articles for a forthcoming issue
of Discrete Optimization on Combinatorial Optimization.

This special issue is associated with the International Symposium on
Combinatorial Optimization (ISCO 2014) that was held in Lisbon, Portugal, March 5-7, 2014.
However it is also open to papers which have not been presented at the conference.

High quality research papers are solicited to address theoretical as
well as practical issues of Combinatorial Optimization.
Topics of interest include, but are notlimited to:

Approximation algorithms
Cutting-plane algorithms
Polyhedral combinatorics
Branch-and-cut-and-price algorithms
Graph and network algorithms
Linear and nonlinear (mixed-) integer programming
Computational complexity
Computational geometry
Randomized algorithms
Scheduling algorithms
Interior point methods

The deadline for submission of full papers is July 31, 2014.
We aim at completing a first review of all papers by January 31, 2015.

For their submissions, the authors can send their contributions to one of the Guest Editors.
Only electronic submissions in the form of pdf files will be accepted.
All submissions will be refereed according to the standad of the journal.
The special issue will be set up if there will be sufficiently high-quality submissions to it.

Information about Discrete Optimization including author instructions is available at
http:www.journals.elsevier.com/discrete-optimization/
Additional information about the special issue can be obtained from the
Guest Editors.

Guest Editors:

Luis Gouveia, legouveia@fc.ul.pt
CIO, University of Lisbon
Portugal

Andrea Lodi, andrea.lodi@unibo.it
DEI, University of Bologna
Italy

A. Ridha Mahjoub,mahjoub@lamsade.dauphine.fr
LAMSADE, University Paris-Dauphine
France









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

Message: 4
Date: Sat, 22 Mar 2014 05:46:30 +0000
From: Pablo Moscato <pablo.moscato@newcastle.edu.au>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Supernetwors and optimization - Research Position
Message-ID:
<b8a3f6cb52ec44f68579a477d67e4986@SIXPR04MB045.apcprd04.prod.outlook.com>

Content-Type: text/plain; charset="Windows-1252"


Research Associate ? Academic Level A or B
School of Electrical Engineering and Computer Science

This position is within the Centre for Bioinformatics, Biomarker Discovery and Information-based Medicine
(CIBM) under the direct supervision of Professor Pablo Moscato, CIBM?s Co-Director.

Brief description of the project

Supernetworks are built ?above and beyond? existing networks. In bioinformatics they arise from the
integration of a set of networks with different types of nodes and edges. While large companies and
governments have already understood the importance of decision problems in supernetworks,
the power of this perspective has not yet been exploited in the Life Sciences. The successful candidate
will develop a research program that, using supercomputer-based approaches together with memetic
algorithms, will address the first key areas that will lead to smart information use of existing networks
and the supernetworks that can be generated by integration of in distributed databases.

In particular, the work will be conducted to develop state-of-the-art algorithms for problems in the key areas
of network alignment, identification of connected-cohesive subnetworks (and other community detection
algorithms) and embedding large graphs in multi-planar structures (i.e. developing algorithms for variants of
the book embedding problem in graphs).

The Priority Research Centre of Bioinformatics, Biomarker Discovery and Information Based Medicine (CIBM),
conducts research in areas such as multi-objective optimization, evolutionary computation, bioinformatics,
machine learning, combinatorial optimization, metaheuristics, memetic algorithms, computer vision, to
mention a few, with applications in analysis of biological data and healthcare.

The University of Newcastle is one of Australia's leading universities - an exceptional achiever in research
according to its size and it has an international reputation for expertise in innovative approaches to teaching
and learning. On December, 2012, the University was assessed in 49 four digit fields of research with 90% of
our codes being rated at world standard ("3") or above. A total of 18 of those received the maximum score of
?5? indicating that they were ?well above world standard'.

This position is available on a fixed-term basis for three years supported by an ARC Discovery Project
and is aimed at producing outcomes in relation to this project. Women are particularly encouraged to apply
as they are under-represented in the School's/Faculty's academic profile

To apply, please visit
https://hronline.newcastle.edu.au/pls/alesco/WK8127$VAC.QueryView?P_VACANCY_REF_NO=2364



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

Message: 5
Date: Sat, 22 Mar 2014 12:37:50 +0400
From: "Edward A\. Hirsch" <hirsch@pdmi.ras.ru>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CSR 2014: Call for Participation
Message-ID: <1395477470.057325.19540.nullmailer@euclid.pdmi.ras.ru>
Content-Type: text/plain; charset=iso8859-1

Dear Colleagues,

Please find below the Call for Participation for CSR-2014.

If you need a visa to come to Russia (most nationalities do need it!),
please register and ask for the official invitation *NOW*
to be on time with the official papers.
It is recommended to do it before March 15.
In any case, please do it before the early registration deadline March 31.

The preliminary program can be now found at
http://logic.pdmi.ras.ru/csr2014/program

A limited number of travel grants is available (with preference to
students and authors of accepted papers).

Best regards,
Jean-Eric Pin (program committee chair)
Edward A. Hirsch, Sergei O. Kuznetsov, Nikolay K. Vereshchagin (symposium co-chairs)

%%%

LAST CALL FOR PARTICIPATION - CSR 2014

9th International Computer Science Symposium in Russia
June 7-11, 2014, Moscow, Russia
Workshops on June 5, 6 and 12

http://logic.pdmi.ras.ru/csr2014/

*** PLEASE REGISTER AS SOON AS POSSIBLE ***

The conference program features

* Distinguished opening lecture:
- Shafi Goldwasser. Title TBA.

* Six invited talks:
- Benjamin Rossman. Formulas vs. Circuits
- Volker Diekert. Finding All Solutions of Equations
in Free Groups and Monoids with Involution
- Alexei Semenov. The Lattice of Definability.
Origins, Recent Developments, and Further Direction
- Igor Walukiewicz. Transfer theorems
- Martin Grohe. Algorithmic Meta Theorems for Sparse Graph Classes
- Mark Braverman. Title TBA

* 27 contributed talks (see the conference program)
that have been selected out of 76 submissions.

* Four associated workshops:
- Workshop on Current Trends in Cryptology (CTCrypt)
(organizer: Technical committee on standardization
"Cryptography and security mechanisms" (TC26))
http://www.tc26.ru/en/CTCryptEN/CTCrypt2014/
- Extremal graph theory
(organizer: Andrei Raigorodsky)
http://logic.pdmi.ras.ru/csr2014/extremalgraphtheory
- New directions in cryptography
(organizers: A.V.Mikhalev, A.A.Mikhalev, S.Glavatsky, D.Grigoriev, and V.Shpilrain)
http://ndc14.ru/
- Program Semantics, Specification and Verification (PSSV 2014)
(organizers: V.A.Sokolov and V.A.Nepomnyaschij)
(see the conference web page)

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2014
Email: csr2014 "at" googlegroups.com



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

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

dmanet Digest, Vol 73, 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. CFP: SISAP 2014 (elchavez)
2. Invitation to CENTERIS Workshop on Multicriteria Decision
Making and Applications in Enterprise Information Systems to be
held in Troia, Portugal, 15-17 October 2014 within CENTERIS
conference centeris.eiswatch.org Deadline for submissions: April
30, 2014 (Iryna Yevseyeva)
3. 2nd International workshop on Internet of Things - Ideas and
Perspectives @ IEEE DCOSS 2014 (LAST TWO DAYS) (Valeria Loscri)
4. Final call for participation: Swedish Summer School in
Computer Science 2014 (Jakob Nordstrom)
5. CfP - Summer Lectures on Advanced Approximation Algorithms
(Andreas Baertschi)


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

Message: 1
Date: Fri, 21 Mar 2014 06:48:09 -0600
From: elchavez <elchavez@fismat.umich.mx>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CFP: SISAP 2014
Message-ID: <b61ad8dfd99303d139460d8e366e1d23@fismat.umich.mx>
Content-Type: text/plain; charset=UTF-8; format=flowed

Apologies for cross posting

=============================================
CALL FOR PAPERS - SISAP 2014
7th International Conference on Similarity Search and Applications

http://www.sisap.org/2014/

Los Cabos, Mexico, Oct 29-31, 2014

-------
Scope
-------
The 7th International Conference on Similarity Search and Applications
(SISAP) is an annual forum for researchers and application developers in
the area of similarity data management. It aims at the technological
problems shared by numerous application domains, such as data mining,
information retrieval, computer vision, pattern recognition,
computational biology, geography, biometrics, machine learning, and many
others that need similarity searching as a necessary supporting service.

The SISAP initiative (www.sisap.org) aims to become a forum to exchange
real-world, challenging and innovative examples of applications, new
indexing techniques, common test-beds and benchmarks, source code and
up-to-date literature through its web page, serving the similarity
search community. Traditionally, SISAP puts emphasis on the
distance-based searching, but in general the conference concerns both
the effectiveness and efficiency aspects of any similarity search
problem.

The series started in 2008 as a workshop and has developed over the
years into an international conference with Lecture Notes in Computer
Science (LNCS) proceedings.

-------
Topics
-------
The specific topics include, but are not limited to:
-Similarity queries ? k-NN, range, reverse NN, top-k, etc.
-Similarity operations ? joins, ranking, classification,
categorization, filtering, etc.
-Evaluation techniques for similarity queries and operations
-Merging/combining multiple similarity modalities
-Cost models and analysis for similarity data processing
-Indexing and access methods for similarity-based processing
-Scalability issues and high-performance similarity data management
-Feature extraction for similarity-based indexing and retrieval
-Feature selection
-Test collections and benchmarks
-Performance studies, benchmarks, and comparisons
-Similarity search over outsourced data repositories
-Similarity search cloud services
-Languages for similarity databases
-New modes of similarity for complex data understanding
-Applications of similarity-based operations
-Visual analitics for similarity-based operations
-Image, video, voice, and music (multimedia) retrieval systems
-Similarity for forensics and security
-Surveillance and defense

----------------------------------------
Paper Submission and Publication
----------------------------------------
Papers submitted to SISAP 2014 must be written in English and formatted
according to the LNCS guidelines
(http://www.springer.com/computer/lncs). Full papers can be up to 12
pages, while short papers, case-studies/applications, and demos can be
up to 6 pages (read below for types of contribution). By submitting a
paper, its authors commit to having the paper presented at the
conference by at least one of them if the paper is accepted.

Papers will be submitted in PDF format through EasyChair
(https://www.easychair.org/conferences/?conf=sisap2014).
If you experience any problems during the submission, you can contact
the organization at sisap2014@icmc.usp.br

------
Information Systems Journal special issue
-------
As in previous editions of SISAP, a selection of the best papers will
be invited to submit extended versions of the papers to a special issue
of the Journal Information Systems (IS), Elsevier. It is important to
highlight that the impact factor of the papers previously published in
these IS special issues is 8.25.


Contributions

Authors are invited to submit previously unpublished papers on their
research in the area of similarity search and applications. Papers
should present original research contributions which bring out the
importance of algorithms to applications. SISAP submissions can be of
three kinds (full details will be announced shortly):
- Research papers (full and short): SISAP accepts both full (12 pages)
and short papers (6 pages). The full papers are expected to be
descriptions of complete technical work, while the short papers will
describe interesting, innovative ideas, which nevertheless require more
work to mature - vision papers should also be submitted as short papers.
All papers, regardless of size, will be given an entry in the conference
proceedings.
- Case-studies and applications: Submissions describe applications of
existing similarity search technologies to interesting problems,
including a description of the encountered challenges, how they were
overcome, and the lessons learned. All papers on this track will be
given an entry in the conference proceedings and a presentation slot,
though the presentation slot duration may be shorter than for full
research papers.
- Demonstration papers: Submissions should provide the motivation for
the demonstrated concepts, the information about the technology and the
system to be demonstrated (including a system description, functionality
and figures when applicable), and should state the significance of the
contribution. Evaluation criteria for the demonstration proposals
include: the novelty, the technical advances and challenges, and the
overall practical attractiveness of the demonstrated system.
Demonstration papers will also be given an entry in the conference
proceedings ? online demos are expected at the conference.

-----------
Important
-----------
When: Oct 29-31, 2014
Where: Los Cabos, Mexico
Abstract Registration: May 12, 2014
Submission Deadline: May 19, 2014
Notification: Jun 23, 2014
Final Version: Jul 12, 2014

Publication: Lecture Notes in Computer Science (LNCS), and a selection
of the best papers will be published in a special issue of Journal
Information Systems.

-----------
Program Chairs
-----------
Agma Juci Machado Traina, University of S?o Paulo, Brazil
Caetano Traina Jr., University of S?o Paulo, Brazil


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

Message: 2
Date: Fri, 21 Mar 2014 06:24:22 -0700 (PDT)
From: Iryna Yevseyeva <irynayev@yahoo.com>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Invitation to CENTERIS Workshop on Multicriteria
Decision Making and Applications in Enterprise Information Systems to
be held in Troia, Portugal, 15-17 October 2014 within CENTERIS
conference centeris.eiswatch.org Deadline for submissions: April 30,
2014
Message-ID:
<1395408262.56478.YahooMailNeo@web164705.mail.gq1.yahoo.com>
Content-Type: text/plain; charset=utf-8

Dear Colleague,


We would like to invite you to submit a contribution to the International Workshop on Multicriteria Decision Making & Applications in Enterprise Information Systems to be held in Troia, Portugal, 15-17 October 2014 within CENTERIS conference http://centeris.eiswatch.org/

WORKSHOP OBJECTIVE
The aim of the Multicriteria Decision Making & Applications in Enterprise Information Systems 2014 (MCDM&EIS) session is to provide a forum for researchers to discuss models for decision making with multiple usually conflicting criteria to be considered simultaneously, and their real-life applications.

In MCDA&EIS 2014, we encourage the submission of papers on decision making from both multiobjective optimization and multicriteria decision analysis areas. Novel applications of these methods to real world problems are welcome.

WORKSHOP TOPICS AND AREAS OF INTEREST (not limited to)
MCDM Theory
Game Theory
Decision Support Systems
Multiobjective Optimization
Multiple Criteria Decision Analysis/Aiding
Group Decision Making and Negotiations
Evolutionary Algorithms and MCDM
Multiattribute Utility or Value Theory
Behavioral Issues in Decision Making
Preference Modelling
Risk and Uncertainty/Prospect Theory
Applications of MCDM and Optimization in Enterprise Information Systems

SUBMISSIONS
We welcome full research papers (7-10 pages), short papers (4-6 pages), posters (3 pages) and industrial papers (4-6 pages) on the workshop theme.
Submitted manuscripts must be written in English. Each manuscript should not exceed the maximum number of pages predefined for each submission type, considering the format templates found here: http://centeris.eiswatch.org/index.php?page=submissionguidelines

For information on post-publications see here: http://centeris.eiswatch.org/index.php?page=proceedingsjournals

Manuscript should be submitted electronically at the CENTERIS webpage until April 30, 2014.
Submitted papers will be reviewed on a double-blind review basis, and authors will be notified of the review process results by May 26, 2014. Authors of accepted papers can receive recommendations to revise their manuscript according to the reviewers? comments and should submit the revised version until June 10, 2014.

IMPORTANT DATES
Deadline for paper submission (strict): April 30, 2014
Notification of acceptance/rejection: May 26, 2014
Revised version: June 10, 2014
Conference Date: October 15-17, 2014

PUBLICATION
Accepted full and short papers will be published in the conference proceedings (with ISSN).
Poster and practitioner papers will be published in the conference book of abstracts, industry and poster papers (with ISBN).
Authors of a selection of papers will be invited to enhance their manuscripts for inclusion in a book of chapters or in a journal.

WORKSHOP SCIENTIFIC COMMITTEE
Gu Pang, Newcastle Business School, UK
Maryia Sodencamp, University of Bamberg, Germany
Igor Linkov, US Army, USA
Martin Josef Geiger, Helmut Schmidt University, Germany
Maria Dementieva, Vrije University Amsterdam, the Netherlands
Christina Hopfe, Loughborough University, UK
Tommi Tervonen, Erasmus University, Rotterdam, the Netherlands
Hisao Ishibuchi, Osaka Prefecture University, Japan
Katya Vladislavleva, Evolved Analytics Europe, Belgium
Heike Trautmann, University of M?nster, Germany
Nanlin Jin, Northumbria University, UK
Philippe Nemery, SAP, China
Salvatore Greco, University of Catania, Italy, and University of Portsmouth, UK
Iurii Mishcheriakov, Kharkov National University of Radioelectronics, Ukraine

WORKSHOP CHAIRS
Iryna Yevseyeva (iryna.yevseyeva@ncl.ac.uk) University of Newcastle Upon Tyne, UK
Michael Emmerich (emmerich@liacs.nl) Leiden University, the Netherlands
Alessio Ishizaka (alessio.ishizaka@port.ac.uk) Portsmouth Business School, UK

Kind Regards,
Iryna Yevseyeva, Michael Emmerich and Alessio Ishizaka



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

Message: 3
Date: Fri, 21 Mar 2014 14:59:03 +0100 (CET)
From: Valeria Loscri <valeria.loscri@inria.fr>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] 2nd International workshop on Internet of Things -
Ideas and Perspectives @ IEEE DCOSS 2014 (LAST TWO DAYS)
Message-ID: <1818230487.188395.1395410343825.JavaMail.zimbra@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1

*********************************************************************************************
Call for papers
IEEE DCOSS
2nd International workshop on Internet of Things - Ideas and Perspectives (IoTIP-14)
May 28, 2014
Marina Del Rey, USA https://iotip2014.hds.utc.fr/

Extended versions of selected papers will be considered for
publication in IEEE IoT Journal

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


Important dates
Submission Deadline: March 9th 2014,
Acceptance Notification: April 1st 2014,
Camera Ready Due: April 13th 2014,
Workshop Date: May 28th, 2014


Call for papers
Slowly but steadily the Internet of Things (IoT) is penetrating and transforming our lives. The first stage of the IoT evolution consisted in the deployment of RFID tags for facilitating routing, taking inventory and loss prevention of goods. After that we witnessed the first wave of RFID and sensor network integration toward vertical-market applications. Nowadays, new generations of RFID tags, in particular active RFID tags, often include built-in sensing capabilities. Whereas, applications based on sensor networks often require means for unique identification and discovery of objects, which are monitored by the sensor network. The convergence of sensing and identification technologies, together with communication and computation systems, enables us to gain impressive awareness about the state of the real world and will drastically change the way we interact with our environment. Urban planning, smart cities, intelligent shopping, smart meters, home automation, security and!
surveillance, industrial applications like process industry automation, supply chain, smart product management and agricultural applications are examples of potential applications for real-world systems. Even though the advent of the IPv6/6LoWPAN protocol suite solved several technical issues, many challenges are still open in the research and development communities concerning the choice of communication paradigms, architectures and technology.

The main focus of this workshop is on technologies, applications and paradigms of the IoT that are already deployed or are under investigation and that belong to the second stage of the IoT evolution.?The next step in the evolution of the IoT is its characterization as the underlying technological layer needed to shape and substantiate higher layer concepts such as semantic web and personalization. In fact, the IoT is the enabling technology to allow virtual and physical worlds to converge in what has already been defined as Web 3.0. If, currently, the IoT is the most suited companion of blogging, podcasting, tagging and social networking, we can imagine that its evolution will foster the rise of statistical, machine-constructed semantic tags and algorithms through the construction and exploitation of semantic databases empowered by distributed and cloud computing. The integration of the IoT with semantic databases, capable of delivering accurate information about the nature!
and the state of every physical object will introduce a staggering amount of new applications opportunities as well as potentially lead to an ultimate "Big brother scenario". Therefore, a particular interest will have to be given to appropriate security and privacy control mechanisms.
The secondary focus of this workshop is on IoT vision and perspective towards Web 3.0.

IoTIP features two tracks:
- Current ideas: for technical works currently under investigation;
- Future perspectives: for vision papers envisaging possible future technologies, paradigms and applications for IoT.

Topics of particular interest include, but are not limited to:
- IoT paradigms, architectures, applications and technologies
- IoT systems and components
- IoT for semantic web and personalization
- Tools for developing IoT applications
- Blogging, Podcasting, Tagging and Social networking through the IoT
- Cloud vs distributed computing for the IoT
- Security and privacy control mechanisms
- Performance assessment and management (QoS, scalability, reliability, etc)
- PHY layer, Spectrum management for IoT radio communications
- MAC protocols (e.g., scheduling, power control etc.) for IoT
- Mobility management
- Naming, address management and End-to-End Addressability
- Object, device and service management
- RFID, sensors, actuator technologies
- Middleware for IoT
- Sustainable design and technologies (e.g. energy-efficiency)
- Test-beds and field trials
- Standardization and regulatory issues

Submission guidelines
Authors are invited to submit original unpublished manuscripts that demonstrate current research on IoTIP research topics. Standard IEEE conference templates for LaTeX/Word formats can be found at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html . Papers should be submitted through EDAS at the following address: http://edas.info/N17145 . All submissions should be written in English using 10 point font and be six (8) printed pages long maximum using 10 point font and including figures and tables. The papers should be submitted to one of the two tracks:

- Current ideas: for technical works currently under investigation;
- Future perspectives: for vision papers envisaging possible future technologies, paradigms and applications for IoT.

Authors must suggest their preferred track for their paper at the time of submission. The workshop chairs, however, reserve the right to switch papers between tracks if they deem them a better fit for another track.

Please note that the proceedings of this workshop will appear in IEEEXplore and will be included in DCOSS conference proceedings.
Extended versions of selected papers will be considered for publication in IEEE IoT Journal.


Program committee members
Daniele Alessandrelli, Scuola Superiore Sant'Anna, Italy
Yacine Challal, Universit? de Technologie de Compi?gne, France
Flavio Esposito, Boston University, USA
Samira Hayat, Alpen-Adria University, Klagenfurt, Austria
Antonio Iera, Universit? "Mediterranea" di Reggio Calabria, Italy
Abdelmajid Khelil, Huawei European Research Center, Germany
Srdjan Krco, Ericsson/University of Belgrade, Serbia
Satish Kumar, Coastal Carolina University, USA
Thomas D.C. Little, Boston University, USA
Valeria Loscr?, Inria Lille - Nord Europe, France (publicity chair)
Nathalie Mitton, Inria Lille - Nord Europe, France (workshop chair)
Enrico Natalizio, Universit? de Technologie de Compi?gne, France (workshop chair)
Giuseppe Ruggeri, Universit? "Mediterranea" di Reggio Calabria, Italy
Anna Maria Vegni, Universit? degli Studi di Roma Tre, Italy
Konrad Wrona, NC3A, Netherlands



Valeria Loscri
Research Scientist FUN Team

Inria Lille-Nord Europe .
Parc scientifique de la Haute Borne
40, avenue Halley - B?t A - Park Plaza
59650 Villeneuve d'Ascq - France


www.inria.fr

Follow us
Twitter ? twitter.com/inria
YouTube? youtube.com/inriachannel





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

Message: 4
Date: Fri, 21 Mar 2014 17:10:10 +0100
From: "Jakob Nordstrom" <jakobn@kth.se>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Final call for participation: Swedish Summer School
in Computer Science 2014
Message-ID:
<efbc7490ae0e7a9e8a584812c04c61fc.squirrel@webmail.csc.kth.se>
Content-Type: text/plain;charset=utf-8

The application deadline is approaching for the Swedish Summer School in
Computer Science 2014 (http://s3cs.csc.kth.se/). The summer school will be
held from June 29 to July 5 in the beautiful Stockholm archipelago at
Djuronaset (http://djuronaset.com/en/welcome).

The school runs for a full week Monday-Friday at the beginning of July
when Sweden is at its loveliest, with arrival on Sunday evening and
departure Saturday morning. It consists of two mini-courses on "Sums of
Squares" by Boaz Barak and "Analysis of Boolean Functions" by Ryan
O'Donnell.

The courses are primarily intended for PhD students, but postdocs and
bright masters students are also welcome. The registration fee, which is
3000 SEK (around 350 EUR or 450 USD), includes full accommodation and all
meals.

TIMELINE
Sun March 30: Application deadline.
Fri April 11: Notification of acceptance to course (or placement in
waiting list).
Sun May 4: Deadline for confirming participation and paying registration fee.
Sun June 29 -- Sat Jul 5: The summer school

CONTACT
Please send e-mail to s3cs-2014@csc.kth.se if you have any questions.




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

Message: 5
Date: Fri, 21 Mar 2014 18:14:01 +0100
From: Andreas Baertschi <andreas.baertschi@inf.ethz.ch>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CfP - Summer Lectures on Advanced Approximation
Algorithms
Message-ID: <532C7359.3060103@inf.ethz.ch>
Content-Type: text/plain; charset="ISO-8859-1"

Call for Participation - Summer Lectures on Advanced Approximation
Algorithms


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

CALL FOR PARTICIPATION

Summer Lectures on Advanced Approximation Algorithms
Lecturer: Fabrizio Grandoni (IDSIA)
When: 16-20 June 2014
Where: Institute of Theoretical Computer Science, ETH Z?rich, Switzerland
Website: http://pwgrp1.inf.ethz.ch/summerlectures14/

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


ABSTRACT
Most optimization problems that we need to solve in practice turn out to
be NP-hard. The goal of approximation algorithms is to compute efficiently
an approximate solution to a NP-hard optimization problem.

In these lectures we will describe some of the most relevant and recent
results
and techniques in the area of approximation algorithms. We will study a few
fundamental problems, which appear in several real-world applications,
such as: vertex and set cover, independent and dominating set, knapsack
and bin packing, traveling salesman, Steiner tree and its
generalizations, k-center, facility location, maximum satisfiability and
many others.

Along the way, we will illustrate some common and powerful techniques in
the design and analysis of approximation algorithms: dynamic programming,
greedy heuristics, local search, randomized algorithms, LP rounding,
the primal-dual method, iterative rounding, etc.

We will also discuss the limits of approximation algorithms, by
presenting some approximation lower bounds and inapproximability
results.


ORGANIZATION

Prerequisites:
Familiarity with basic notions in probability theory, linear programming
and algorithm theory.
However, all the useful definitions and results will be summarized
during the lectures.

Target audience:
PhD Students and excellent Master students in Computer Science and
Mathematics.
Master students need to submit a Transcript of Records with their
application.

Duration:
Daily: 3 hours of lectures, before and after Lunch.
Assignments for students: Around the lectures; will be discussed daily.
At the end of the lectures there will be an exam.


FURTHER INFORMATION

Registration: To register, please fill in the registration form on the
website.
There is no participation fee, but registration is mandatory.

Venue:
The summer lectures will take place at ETH Z?rich in the CAB building.
The full address is:
ETH Z?rich, Department of Computer Science
Universit?tstrasse 6
8006 Z?rich
Switzerland

Accomodation:
Z?rich and Switzerland are attractive tourist destinations,
hence it is better to book as early as possible.
There is no administrative or financial travel support available.


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

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 73, Issue 24
**************************************

Saturday, March 22, 2014

dmanet Digest, Vol 73, Issue 23

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. PhD positions at U. Edinburgh in Algorithms, Networks and
Geometry (Rik Sarkar)
2. Postdoc position in Discrete Mathematics (Gerold J?ger)
3. MSc/PhD positions in Combinatorial Scientific
Computing/Network Science in Clemson U (Ilya Safro)
4. PhD positions at TU Eindhoven (Bettina Speckmann)


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

Message: 1
Date: Thu, 20 Mar 2014 12:47:36 +0000
From: Rik Sarkar <rsarkar@inf.ed.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD positions at U. Edinburgh in Algorithms,
Networks and Geometry
Message-ID: <532AE368.2070103@inf.ed.ac.uk>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed


Ph.D. positions are available at the University of Edinburgh. Students
interested in one or more of the following topics:

* algorithms
* geometry and topology
* sensor networks and distributed computing
* complex networks including social networks

are invited to apply. Contact: rsarkar@inf.ed.ac.uk


The University of Edinburgh is ranked in the top 20 in world in the
current QS university rankings. The research at Edinburgh School of
Informatics has consistently ranked as the best in the U.K. The historic
city of Edinburgh is lively, beautiful, and a great place to live.
More information for students are available
at http://www.ed.ac.uk/schools-departments/informatics/postgraduate



--
Rik Sarkar
Lecturer (Assistant Professor) and Chancellor's Fellow
The University of Edinburgh
http://homepages.inf.ed.ac.uk/rsarkar/


--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.



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

Message: 2
Date: Thu, 20 Mar 2014 15:55:15 +0100
From: Gerold J?ger <gerold.jaeger@math.umu.se>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoc position in Discrete Mathematics
Message-ID: <aa969263fd113893a8050d9ccbe37093@informatik.uni-halle.de>
Content-Type: text/plain; charset=UTF-8; format=flowed

Postdoc position in Discrete Mathematics

The Department of Mathematics and Mathematical statistics and UMIT
Research Lab at Ume? University is offering a postdoctoral scholarship
within the project ?Algorithms For Real-World Problems from Operations
Research Based on the Extended Theory of Tolerances?.

The term tolerance has been introduced by Goldengorin and Sierksma in
2003 and has, since then, attracted much attention, theoretical as well
as within applications to combinatorial optimization problems, in
particular for the Traveling Salesman Problem. Recently, an extended
version of this theory has been created. The applicant is expected to
make use of this new theory and apply it to real-world problems like the
Shortest Path Problem, the Capacitated Vehicle Routing Problem, and the
Strip-Road Network Problem.

The application should have a good knowledge in discrete optimization
and operations research and
good programming skills, for example in the area of linear programming.
The fellow should have the ability to communicate in English and work in
an interdisciplinary environment.

The application should include a short description of your research
interests and why you are interested in the scholarship, a CV, a
publication list, copies of exam certificates, the PhD thesis, and
contact information of at least 2 references. The application should be
written in Swedish or, preferably, English and should be submitted
either on paper in 2 copies or electronically in PDF format.

For more information, please contact Associate Professor Gerold J?ger,
gerold.jaeger@math.umu.se, +46-(0)90-786 61 41 or Assistant Professor
Eddie Wadbro, eddiew@cs.umu.se.

The complete advertisement can be found at

http://www.umu.se/english/about-umu/news-events/grants/12-457-14

Your complete application marked with reference number FS
2.1.12-457-14, should be sent to medel@diarie.umu.se (with reference
number on the subject line) or to the Registrar, Ume? University, SE-901
87 Ume?, Sweden to arrive April 30, 2014 at the latest.






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

Message: 3
Date: Thu, 20 Mar 2014 22:19:47 -0400 (EDT)
From: "Ilya Safro" <isafro@clemson.edu>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] MSc/PhD positions in Combinatorial Scientific
Computing/Network Science in Clemson U
Message-ID: <39328.97.82.248.152.1395368387.squirrel@localhost>
Content-Type: text/plain;charset=iso-8859-1

We are looking for outstanding candidates for Ph.D. positions in the
School of Computing at Clemson University, starting summer or fall 2014.
The candidates will be a part of discrete algorithms team. The candidates
will work on combinatorial scientific computing, graphs, network science,
and large-scale optimization. The candidates will have a unique
opportunity to collaborate with scientists from national labs.
Both M.Sc. and B.Sc. candidates will be considered.
If you apply to Clemson, also send your application as soon as possible to
Ilya Safro at isafro =[at]= clemson.edu . The application should include
one pdf with
- cover letter or/and essay
- resume
- grades
- contact details of 2-3 references
The subject line must include "PhD Application (CSC)".

The School of Computing has 42 faculty members, more than 400
undergraduate majors, and over 200 graduate students collectively across
its three divisions: Computer Science, Visual Computing, and
Human-Centered Computing. Clemson University is located in Clemson, South
Carolina, a small college town on beautiful Lake Hartwell at the foothills
of the Blue Ridge Mountains, conveniently situated within a 2hr drive from
both Atlanta and Charlotte. Clemson has an enrollment of approximately
20,000. U.S. News & World Report has ranked Clemson in the Top 21
nationally among public universities, and Clemson ranks number 5 among
U.S. universities in supercomputing.



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

Message: 4
Date: Fri, 21 Mar 2014 13:10:06 +0100
From: Bettina Speckmann <b.speckmann@tue.nl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD positions at TU Eindhoven
Message-ID: <532C2C1E.9020807@tue.nl>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

There are four PhD positions available at the TU Eindhoven (the
Netherlands) in the broad area of Data Science. The selected candidates
will get the opportunity to define their own research topic, together
with a supervisor of their choice. Possible topics include computational
geometry and combinatorial optimization. Below is the official
announcement for these positions, including information on how to apply.

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

Four PhD positions on Data Science in the Department of Mathematics and
Computer Science at TU Eindhoven

The Department of Mathematics and Computer Science at Eindhoven
University of Technology invites applications for four PhD positions in
the area of Data Science, a multi-disciplinary area that relates to many
areas within computer science and mathematics.

Recent technological and societal changes led to an explosion of
digitally available data. Exploiting the available data to its fullest
extent, in order to improve decision making, increase productivity, and
deepen our understanding of scientific questions, is one of today's key
challenges. Data science is an emerging area that aims to address this
challenge. It is a multi-disciplinary area, where computer science and
mathematics play crucial roles. The Graduate Program on Data Science
leverages the presence at the TU/e of excellent research groups in the
data-science area, and to give highly talented students the opportunity
to be educated in and contribute to this exciting area. The positions
are funded by the NWO Graduate Program.

The Graduate Program on Data Science is part of the Data Science Center
Eindhoven (DSC/e), launched in December 2013. It builds on the
excellence of several research groups within the department that
together cover many of the core topics in data science: algorithms,
visualization, data mining, process mining, statistics and probability,
stochastics, operations research, and optimization. This ensures a
stimulating and excellent environment for the selected students.

The professors that are involved and can act as supervisor are:

Wil van der Aalst
http://wwwis.win.tue.nl/~wvdaalst/

Nikhil Bansal
http://www.win.tue.nl/~nikhil/

Mark de Berg
http://www.win.tue.nl/~mdberg/

Sem Borst
http://www.win.tue.nl/~sem/

Onno Boxma
http://www.win.tue.nl/~boxma/

Paul De Bra
http://wwwis.win.tue.nl/~debra/

Remco van der Hofstad
http://www.win.tue.nl/~rhofstad/

Johan van Leeuwaarden
http://www.win.tue.nl/~jleeuwaa/

Bettina Speckmann
http://www.win.tue.nl/~speckman/

Jack van Wijk
http://www.win.tue.nl/~vanwijk/

Gerard Woeginger
http://www.win.tue.nl/~gwoegi/

The projects fall at the intersection of computer science and
mathematics, and are expected to open up promising connections between
these fields. Together with the intended supervisors from the relevant
research group(s), the students will have the opportunity to define
their own research project. The overall aim is to make fundamental
advances in the area of Data Science.

* Job requirements:

Candidates are expected to be fluent in English, both oral and in
writing, and have an excellent background in computer science and/or
(applied) mathematics as evidenced by an MSc degree in preferably
computer science or (applied) mathematics, or possibly econometrics,
operations research, electrical engineering or industrial engineering.

* Terms of employment:

PhD candidates are appointed as temporary university employees for a
four-year period (based on an initial one-year contract, with a
three-year extension after a positive evaluation as to whether the
research is expected to result in a PhD degree after four years).

The terms of employment are governed by the Collective Labor Agreement
of Universities in The Netherlands, with a monthly salary starting at
2083 Euro in the first year, and increasing to 2664 Euro in the fourth
year, and an additional 8% holiday allowance and 8% end-of-year bonus.

For further details, please refer to
http://w3.tue.nl/en/services/dpo/conditions_of_employment/tue_conditions_of_employment/

* Information:

For further information, please contact:

Prof.dr. M. de Berg , m.t.d.berg@tue.nl

Prof.dr. J.S.H. van Leeuwaarden, j.s.h.v.leeuwaarden@tue.nl


For information about the DSC/e, see:
http://www.tue.nl/dsce/


* How to apply? For full consideration send applications until April 30,
2014, but applications are accepted until positions filled Please send
to winalg@tue.nl:

a. A letter motivating the application, in which you indicate in which
of the above-mentioned areas you are interested, and if possible
briefly discuss some research topics that you would like to explore.

b. Detailed Curriculum Vitae, including information on the applicant's
education.

c. Transcripts of academic records.

For full consideration send applications until April 30, 2014, but
applications are accepted until all positions are filled.


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

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 73, Issue 23
**************************************

Friday, March 21, 2014

dmanet Digest, Vol 73, Issue 22

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. IEEE SenseApp 2014 (in conjunction with LCN 2014 / Edmonton,
Canada) (Andreas Reinhardt)
2. Call For Papers:: ICIEIS2014-Poland
(The Third International Conference on Informatics Engineering and Information Science (ICIEIS2014))
3. Deadline approaching (March 24), 12th Privacy, Security and
Trust (PST) Annual Conference, IEEE Xplore proceedings
(Joaquin Garcia-Alfaro)
4. CFP: Workshop on Logic and Search - LaSh 2014 (Oikarinen Emilia)


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

Message: 1
Date: Wed, 19 Mar 2014 14:48:55 +0100
From: Andreas Reinhardt <andreasr@cse.unsw.edu.au>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] IEEE SenseApp 2014 (in conjunction with LCN 2014 /
Edmonton, Canada)
Message-ID: <510D9D75-90D3-4F53-B066-43037BBFC9E7@cse.unsw.edu.au>
Content-Type: text/plain; charset=iso-8859-1

My apologies if you receive multiple copies of this call for papers.

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Submissions due on 7 April 2014

SENSEAPP 2014

NINTH IEEE INTERNATIONAL WORKSHOP ON PRACTICAL ISSUES
IN BUILDING SENSOR NETWORK APPLICATIONS
(in conjunction with IEEE LCN 2014)

Chateau Lacombe Hotel
Edmonton, Canada

8-11 September 2014

http://www.senseapp.org


CALL FOR PAPERS

The Internet of Things is happening! Wireless sensors and actuators are increasingly networked and continually narrow the gap between the physical world and cyberspace. Domain-specific sensing deployments in industrial or home automation scenarios are becoming more and more common, particularly with the advent of novel sensing platforms such as smartphones, which allow for interfacing with or extending dedicated sensor networks. Nevertheless, insights gathered from real-world sensor network deployments are still scarce and many practical issues in building sensor network applications persist. A thorough understanding from a practical/systems perspective is still necessary, including the hardware platforms of sensor and actor nodes, their operating systems, the networking of nodes and fresh perspectives from field trials and applications.

This workshop aims at bringing together researchers from both academia and industry to showcase their work and obtain feedback. It serves as a forum for the sensor network research community to discuss open issues, novel solutions and the future development of wireless sensor networks in general. We encourage contributions describing innovative work in the realm of wireless sensor networks. Topics of interest include, but are not limited to:

- Experiences from real-world sensor network deployment and applications
- Innovative sensor network applications
- Mobile and participatory sensing applications and deployments
- Integrating sensor networks and the internet of things
- Middleware support for sensor networks
- Programming and debugging sensor networks
- Security, availability and dependability issues in sensor networks
- Experiences with new sensor hardware
- Practical problems in implementing localization and time synchronization
- Experiences with communication protocols
- Practical medium access control protocols (MACs)
- Topology control and routing protocols in existing sensor network deployments
- Fault-tolerance and troubleshooting sensor networks
- Antenna design and experiences with signal propagation
- Experiences regarding energy management and network lifetime
- Configuration and installation support
- Management of large-scale sensor networks and sensing campaigns
- Interconnection between IP and sensor networks
- Interfacing with sensor networks using mobile computing devices
- Large-scale open sensor data sets from real deployments

Submitted papers will be reviewed by three independent experts in the field. Proceedings of the workshop will be published together with those of IEEE LCN, and will be available in digital format from the IEEE Xplore Digital Library.

SUBMISSION INSTRUCTIONS:

Authors are invited to submit original unpublished work, not currently under review by another conference, workshop or journal. Full papers should be restricted to 8 camera-ready pages (in 10 pt font, double column, US letter size, 8.5 x 11 inches, IEEE format), including text, figures and references. Authors should use only standard fonts, i.e. Times Roman, Courier, Symbol, Helvetica or equivalent. Papers must be submitted electronically via EDAS at:

<https://edas.info/N17169>

All papers must include title, complete contact information of all authors, abstract and up to 5 keywords on the cover page.
Further information can be found at http://www.senseapp.org

IMPORTANT DATES:

Paper Submission Deadline: 7 April 2014
Notification of Acceptance: 30 May 2014
Camera Ready Copy Due: 30 June 2014

PROGRAM COMMITTEE CO-CHAIRS:

Matthias Hollick, Technische Universit?t Darmstadt, Germany
Salil Kanhere, The University of New South Wales, Sydney, Australia

PUBLICITY CHAIR:

Andreas Reinhardt, The University of New South Wales, Sydney, Australia

STEERING COMMITTEE:

Sanjay Jha, The University of New South Wales, Sydney, Australia
Cormac Sreenan, University College, Cork, Ireland

TPC MEMBERS:

Zinaida Benenson, University of Erlangen-Nuremberg
Neil Bergmann, University of Queensland
Fernando Boavida, University of Coimbra
James Brown, Lancaster University
Felix B?sching, Technische Universit?t Braunschweig
Rachel Cardell-Oliver, The University of Western Australia
Delphine Christin, University of Bonn and Fraunhofer FKIE
Simon Duquennoy, Swedish Institute of Computer Science (SICS)
Wendi Heinzelman, University of Rochester
Matthias Hollick, Technische Universit?t Darmstadt
Raja Jurdak, Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Vana Kalogeraki, Athens University of Economics and Business
Salil Kanhere, The University of New South Wales
Csaba Kiraly, University of Trento
Vinay Kolar, IBM Research
Olaf Landsiedel, Chalmers University of Technology
Yee Wei Law, The University of Melbourne
Chieh-Jan Mike Liang, Microsoft Research
Hock Beng Lim, Nanyang Technological University
Tie Luo, Institute for Infocomm Research
Enzo Mingozzi, University of Pisa
Prasant Misra, Indian Institute of Science, Bangalore
Edith Ngai, Uppsala University
Neal Patwari, University of Utah
Gian Pietro Picco, University of Trento
Rajib Rana, Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Andreas Reinhardt, The University of New South Wales
Christian Renner, University of L?beck
Kay R?mer, ETH Zurich
Olga Saukh, ETH Zurich
Corinna Schmitt, University of Zurich
Philipp Sommer, Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Kristof Van Laerhoven, TU Darmstadt
Klaus Wehrle, RWTH Aachen University
Dingwen Yuan, Technische Universit?t Darmstadt




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

Message: 2
Date: Wed, 19 Mar 2014 22:52:49 +0400
From: "The Third International Conference on Informatics Engineering
and Information Science (ICIEIS2014)" <ie2014@sdiwc.net>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Call For Papers:: ICIEIS2014-Poland
Message-ID: <4b7a3803922bfbf8fdcd21a62db773b6.squirrel@sdiwc.net>
Content-Type: text/plain;charset=iso-8859-1

The Third International Conference on Informatics Engineering and
Information Science (ICIEIS2014)
Lodz University of Technology, Lodz, Poland
September 22-24, 2014.
http://goo.gl/6cQuYG
========================================================================
The proposed conference on the above theme will be held at Lodz University
of Technology, Lodz, Poland from September 22-24, 2014 which aims to
enable researchers build connections between different digital
applications. The conference welcomes papers on the following (but not
limited to) research topics
- Information Ethics
- Information Content Security
- Data Compression
- E-Technology
- E-Government
- E-Learning
- Cloud Computing
- Grid Computing
- Green Computing
- Access Controls
- Data Mining
- Social Search
- Computer Forensics
- Computer Security
- Peer-to-Peer Social Networks
- Information and Data Management
- Network Security
- Image Processing
- Web Services Security
- Multimedia Computing
- Software Engineering
- Wireless Communications
- Anti-cyber-terrorism
- XML-Based Languages
- Soft Computing Techniques
- Computational Intelligence
- Critical Computing and Storage
- Cryptography and Data Protection
- Ubiquitous Computing, Services and Applications
- Forensics, Recognition Technologies and Applications
- Fuzzy and Neural Network Systems
- Signal Processing, Pattern Recognition and Applications
- Distributed and Parallel Applications
- User Interfaces, Visualization and Modeling
- Data Management in Mobile Peer-to-Peer Networks
- Data Stream Processing in Mobile/Sensor Networks
- Indexing and Query Processing for Moving Objects
- User Interfaces and Usability Issues form Mobile Applications
- Information Propagation on Social Networks
- Resource and Knowledge Discovery Using Social Networks
- Computer Crime Prevention and Detection


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.
Important Dates
==============
Submission Date : Aug. 22, 2014
Notification of acceptance: Sept. 06, 2014
Camera Ready submission : Sept. 12, 2014
Registration : Sept. 12, 2014
Conference dates : Sept. 22-24, 2014



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

Message: 3
Date: Wed, 19 Mar 2014 21:07:00 +0100
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline approaching (March 24), 12th Privacy,
Security and Trust (PST) Annual Conference, IEEE Xplore proceedings
Message-ID: <5329F8E4.5020104@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

Twelfth Annual Conference on Privacy, Security and Trust (PST 2014)
Toronto, Canada, July 23 - 24 2014
http://pst2014.ryerson.ca/

***** SUBMISSION DEADLINE: March 24, 2014 *******

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


The PST2014 Annual Conference on Privacy, Security and Trust (PST) is
being held in Toronto, Canada, July 23-24, 2014. PST2014 is the twelfth
such annual conference focusing on PST technologies. PST2014 provides a
forum for researchers world-wide to unveil their latest work in privacy,
security and trust and to show how this research can be used to enable
innovation.

PST2014 topics include, but are NOT limited to, the following:

- Privacy Preserving / Enhancing Technologies
- Critical Infrastructure Protection
- Network and Wireless Security
- Operating Systems Security
- Intrusion Detection Technologies
- Secure Software Development and Architecture
- PST Challenges in e-Services, e.g. e-Health, e-Government, e-Commerce
- Network Enabled Operations
- Digital forensics
- Information Filtering, Data Mining and Knowledge from Data
- National Security and Public Safety
- Cryptographic techniques for privacy preservation
- Security Metrics
- Recommendation, Reputation and Delivery Technologies
- Continuous Authentication
- Trust Technologies, Technologies for Building Trust in e-Business Strategy
- Observations of PST in Practice, Society, Policy and Legislation
- Digital Rights Management
- Identity and Trust management
- PST and Cloud Computing
- Human Computer Interaction and PST
- Implications of, and Technologies for, Lawful Surveillance
- Biometrics, National ID Cards, Identity Theft
- PST and Web Services/SOA
- Privacy, Traceability, and Anonymity
- Trust and Reputation in Self-Organizing Environments
- Anonymity and Privacy vs. Accountability
- Access Control and Capability Delegation
- Representations and Formalizations of Trust in Electronic and Physical
Social Systems

========================
SUBMISSIONS
========================

High-quality papers in all PST related areas that, at the time of
submission, are not under review and have not already been published or
accepted for publications elsewhere are solicited. Accepted papers will
be accepted as 'regular' papers up to 8 pages, or 'short' papers of up
to 4 pages. Up to 2 additional pages will be allowed in each category
with over-length charges. The standard IEEE two-column conference format
should be used for all submissions. A copy of the IEEE Manuscript
Templates for Microsoft Word or LaTeX and additional information about
paper submission and conference topics and events can be found at the
conference web site. All accepted papers will be published in the
conference proceedings and by IEEE and will be accessible via IEEE
Xplore Digital Library.

Best Paper and Best Student Paper awards will be presented.

=======================================
IMPORTANT DATES
=======================================
Submission Deadline: March 24, 2014
Notification of Acceptance: May 12, 2014
Final Manuscript Due: May 25, 2014
PST 2014: July 23-24, 2014

=======================================
FURTHER INFORMATION
=======================================

Additional information about paper submission and conference topics and
events can be found at the conference web site:
http://pst2014.ryerson.ca/


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

Message: 4
Date: Thu, 20 Mar 2014 12:23:42 +0000
From: Oikarinen Emilia <emilia.oikarinen@aalto.fi>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CFP: Workshop on Logic and Search - LaSh 2014
Message-ID:
<274585DE7BDBEB47A4AF18BAEEC7F114EC0FCBD5@EXMDB07.org.aalto.fi>
Content-Type: text/plain; charset="us-ascii"


[apologies for any cross-posting]

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

WORKSHOP ON LOGIC AND SEARCH - LaSh 2014
Representing and Solving Computational Search Problems

Call For Submissions

Vienna, Austria, July 18, 2014
http://vsl2014.at/lash/

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


IMPORTANT DATES

Submission: April 17
Notification: May 1
Final Versions: May 20
Workshop: July 18

ORGANIZERS

Marc Denecker, KU Leuven
David Mitchell, Simon Fraser University
Emilia Oikarinen, Aalto University

PROGRAM COMMITTEE

TBA

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.



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

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 73, Issue 22
**************************************