dmanet Digest, Vol 73, Issue 8

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

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

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

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


Today's Topics:

1. Call for papers: APAL special issue on Games for Logic and
Programming Languages (Guy McCusker)
2. AIMSA conference (stefka fidanova)
3. Assistant professor position at CSI of Charles University in
Prague (Jiri Sgall)
4. CFP: MARSS 2014 (6 Days left deadline) 2nd International
Workshop on Marine Sensors and Systems - Benidorm, Spain, June
22-27, 2014 (Sandra Sendra)
5. SSTiC 2014: March 15, 4th registration deadline (GRLMC)


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

Message: 1
Date: Fri, 7 Mar 2014 09:29:36 +0000
From: Guy McCusker <G.A.McCusker@bath.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Call for papers: APAL special issue on Games for
Logic and Programming Languages
Message-ID: <12F1E822-092B-452D-B4A0-3210B2C45118@bath.ac.uk>
Content-Type: text/plain; charset=us-ascii


ANNALS OF PURE AND APPLIED LOGIC (APAL)

SPECIAL ISSUE ON GAMES FOR LOGIC AND PROGRAMMING LANGUAGES

CALL FOR PAPERS

TOPIC

Game semantics has emerged as a new and successful paradigm in the field of semantics of logics and programming languages. Game semantics made its breakthrough in computer science in the early 90s, providing an innovative set of methods and techniques for the analysis of logical
systems. Subsequently, game-semantic techniques led to the development of the first syntax-independent fully-abstract models for a variety of programming languages, ranging from the purely functional to languages effects such as control, references or concurrency. Nowadays, game semantics has expanded to a variety of fields in theory and analysis of computation, such as theories of concurrency, semantics of lambda calculi and proofs, program analysis, model checking and hardware synthesis.

This special issue, based on the GALOP workshop held at Queen Mary University of London in 2013 (see http://www.gamesemantics.org/galop-viii), aims to reflect new developments in this area.

Topics of interest for contributions to the journal issue include, but are not limited to game semantics and its applications to:

- Game theory and interaction models in semantics
- Games-based program analysis and verification
- Logics for games and games for logics
- Algorithmic aspects of games
- Categorical aspects
- Programming languages and full abstraction
- Higher-order automata and Petri nets
- Geometry of Interaction
- Ludics
- Epistemic game theory
- Logics of dependence and independence
- Computational linguistics


SUBMISSIONS

Submissions must be original work, which has not been previously published in a full form and is not currently under review for publication elsewhere.

Please submit submissions following APAL's style
(http://authors.elsevier.com/JournalDetail.html?PubID=505603)
on the following easychair link: https://www.easychair.org/conferences/?conf=apalgalop2013

The deadline for submission is May 31st, 2014.

GUEST EDITORS

Martin Hyland (University of Cambridge)
Guy McCusker (University of Bath)
Nikos Tzevelekos (Queen Mary University of London)


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

Message: 2
Date: Fri, 7 Mar 2014 14:16:50 +0200
From: stefka fidanova <stefka.fidanova@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] AIMSA conference
Message-ID:
<CAAL360v+9Dun7CE2yPKh6+O8bNb4TvRx15CATRu_cgLTaXCj-g@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1

SECOND CALL FOR PAPERS



The 16th International Conference on

Artificial Intelligence: Methodology, Systems, Applications

AIMSA 2014



Varna, Bulgaria, 11-13th September, 2014

http://www.aimsaconference.org



**** Submission deadline: April 25, 2014 ****

**** Proceedings published by Springer/LNAI ****



The AIMSA conference series has provided a biennial forum for the
presentation of Artificial intelligence research and development since
1984. The conference, which is held in Bulgaria, covers the full range
of topics in Artificial Intelligence and related disciplines and
provides an ideal forum for international scientific exchange between
Central/Eastern Europe and the rest of the world.



TOPICS

The conference welcomes submissions of original, high quality papers
in all areas of Artificial Intelligence, including but not limited to:



* AI in education

* Ambient intelligence

* Automated reasoning

* Computer vision

* Data mining and data analysis

* Data semantics

* Dialogue management and argumentation

* Distributed AI

* Human-computer interaction and AI

* Information integration

* Information retrieval

* Intelligent decision support

* Intelligent user interfaces

* Knowledge Discovery in Big Data

* Knowledge engineering

* Knowledge representation and reasoning

* Large scale knowledge management

* Logic and constraint programming

* Machine learning

* Multi-agent systems

* Multimedia systems

* Natural language processing

* Neural networks

* Ontologies (creating, linking, merging, reconciliation)

* Planning

* Robotics

* Semantic interoperability

* Semantic web for e-business and e-learning

* Semantic web services (description, invocation, composition)

* Social desktop and personalisation

* Social network analysis

* Tools and methodologies for multi-agent software systems

* Trust, privacy, and security on the web

* Visualization and modelling and AI

* Web-based technology and AI



All submissions will be subject to academic peer review by at least
two members of the program committee. Selection criteria include
accuracy and originality of ideas, clarity and significance of
results, and quality of presentation.



For each accepted paper, at least one author is required to attend the
conference to present the paper.



IMPORTANT DATES

Abstract submission deadline: April 18, 2014

Submission deadline: April 25, 2014

Notification of acceptance: May 29, 2014

Deadline for camera-ready: June 13, 2014

Conference: September 11-13, 2014



SUBMISSION DETAILS

Papers have to be submitted electronically (in PDF format) via the
submission system to the address:



https://www.easychair.org/conferences/?conf=aimsa2014



Papers should be written in English and should be no more than 10
pages, font Times 11pt. Authors are requested to follow the LNCS Style
(http://www.springer.com/computer/lncs?SGWID=0-164-12-73062-0). The
first page should contain the title of the paper, names and addresses
of all authors (including e-mail), an abstract (100-150 words) and a
list of keywords.



Submissions should describe original research. Papers accepted for
presentation at AIMSA 2014 cannot be presented or have been presented
at another meeting with publicly available published proceedings.
Papers that are being submitted to other conferences must indicate
this on the title page, as must papers that contain significant
overlap with previously published work.



Over lengthy or late submissions will be rejected without review.
Notification of receipt and acceptance of papers will be sent to the
first author.



PROCEEDINGS

The proceedings will be published by Springer in their Lecture Notes
in Artificial Intelligence subline of the Lecture Notes in Computer
Science series.



LOCATION

AIMSA 2014 will be held at the Golden Sands Tourist Complex, 18 km
from the north-east of Varna and 24 km from Varna airport. More
information is available in the brochure at the conference web site.



PROGRAMME COMMITTEE CHAIRS

Pascal Hitzler

Department of Computer Science and Engineering, Wright State
University, Dayton, Ohio, USA

E-mail: pascal.hitzler@wright.edu



Sergei O. Kuznetsov

National Research University Higher School of Economics, Moscow, Russia

E-mail: skuznetsov@yandex.ru



KEYNOTE TALKS

Ontology as a tool for automated interpretation - Boris G. Mirkin,
National Research University Higher School of Economics, Moscow,
Russia

Formal Concepts for Learning and Education - Bernhard Ganter,
Technical University of Dresden, Germany

Scalable End-User Access to Big Data - Diego Calvanese, Free
University of Bozen-Bolzano, Italy



LOCAL ORGANIZING COMMITTEE CHAIR

Gennady Agre

Institute of Information and Communication Technologies

Bulgarian Academy of Sciences

Acad. G. Bonchev 2, 1113 Sofia, Bulgaria

E-mail: agre@iinf.bas.bg

Phone: +359 28700118

Fax: +359 28707273





ORGANISERS

Bulgarian Artificial Intelligence Association

Institute of Information and Communication Technologies at the
Bulgarian Academy of Sciences (IICT - BAS)



--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642


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

Message: 3
Date: Fri, 7 Mar 2014 13:16:55 +0100 (CET)
From: Jiri Sgall <sgall@iuuk.mff.cuni.cz>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Assistant professor position at CSI of Charles
University in Prague
Message-ID:
<alpine.DEB.2.00.1403071313570.14497@turing.kam.mff.cuni.cz>
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII

Assistant professor position
Computer Science Institute of Charles University
Prague, Czech Republic

The Computer Science Institute (CSI) of Charles University in Prague,
Czech Republic, invites applications for a faculty position at the
rank of an assistant professor in the area of theoretical computer
science and discrete mathematics. The expected starting date is
between October 1, 2014, and January 1, 2015, and is negotiable.

We are looking for candidates that would strengthen and/or complement
existing research areas in our group, such as structural graph theory,
computational complexity or approximation algorithms. However, strong
candidates from all areas of theoretical computer science and discrete
mathematics will be considered. For further information about our
research group at CSI and at the closely related Department of Applied
Mathematics see http://iuuk.mff.cuni.cz/ and http://kam.mff.cuni.cz/.

A successful candidate is expected to pursue an active research
program, teach advanced and introductory classes in Czech and/or
English and possibly supervise undergraduate and graduate
students. Teaching in Czech is not required. (English is sufficient
since the advanced classes may be taught in English even in standard
undergraduate programs; additionally, our school is developing
international programs in English.)

Candidates are expected to have a proven international research record
and postdoctoral experience. A PhD in computer science, discrete
mathematics or a closely related field is required. Candidates with
PhD obtained in year 2009 or later will be given a special
consideration.

The expected contract duration is three years. Potentially, the
position is renewable; also a habilitation (associate professor
promotion) and a permanent position is a possibility (subject to a
separate review process).

Electronic application accompanied by a curriculum vitae, a proof of
education, a list of publications, and a description of pedagogical
experience should be sent to Mrs. Petra Milstainova
<petra@iuuk.mff.cuni.cz>. The candidate should also arrange for two
letters of recommendation to be sent directly to the same address.
Informal inquiries are welcome and may be sent to Prof. Jiri Sgall
<sgall@iuuk.mff.cuni.cz>.

The application deadline is

*** May 5, 2014 ***

Early applications are encouraged; applications may be processed
as they are received. We expect to invite the best candidates for
an interview in the second half of May or between June 16 and 20;
after that the final round of selection will follow. The position is
subject to budgetary and administrative approval.


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

Message: 4
Date: Sat, 8 Mar 2014 00:10:10 +0100
From: Sandra Sendra<sandra.sendra.upv@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: MARSS 2014 (6 Days left deadline) 2nd
International Workshop on Marine Sensors and Systems - Benidorm,
Spain, June 22-27, 2014
Message-ID: <201403072310.s27NAAf6023296@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii


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

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

2nd International Workshop on Marine Sensors and Systems (MARSS2014)
http://jlloret.webs.upv.es/marss2014/

in conjunction with The thirteenth International Conference on Ad-Hoc Networks
and Wireless (AdHoc Now-2014)
Benidorm, Spain, June 22-27, 2014.
http://www.adhocnow.net/

SCOPE:

Sensor networks and sensor-based systems support many applications today on the
ground. Underwater operations and applications are quite limited by comparison.
Most applications refer to remotely controlled submersibles and wide-area data
collection systems at a coarse granularity. Underwater sensor networks have many
potential applications such a seismic imaging of undersea oil fields as a
representative application. Oceanographic research is also based on the advances
in underwater data collection systems.

There are specific technical aspects to realize underwater applications which
can not be borrowed from the ground-based sensors net research. Radio is not
suitable for underwater systems because of extremely limited propagation.
Acoustic telemetry could be used in underwater communication; however off-the-
shelf acoustic modems are not recommended for underwater sensor networks with
hundreds of nodes because they were designed for long-range and expensive. As
the speed of light (radio) is five orders of magnitude higher than the speed of
sound, there are fundamental implications of time synchronization and
propagation delays for localization. Additionally, existing communication
protocols are not designed to deal with long sleep times and they can not shut
down and quickly restart.

The International Workshop on Marine Sensors and Systems, MarSS, brings together
practitioners and researchers for discussion and work on the emerging aspects
pertaining to the new mechanisms for underwater sensor networks and
applications.

TOPICS OF INTEREST:

Authors are invited to submit complete unpublished papers, which are not under
review in any other conference or journal, including, but are not limited to,
the following topic areas:

- Protocols for underwater sensor networks
- Hardware for marine sensors and systems
- Marine observatories and Infrastructures
- Underwater wired systems
- Underwater wireless sensor networks
- Sensors and system for marine neutrino telescopes
- Acoustic and radio underwater communication
- Aquatic environments and applications
- Unmanned underwater exploration
- Underwater localization and knowledge acquisition
- Scalable underwater monitoring and measurement systems
- Fixed and mobile underwater wireless sensors
- Aquatic surveillance applications
- QoS/Performance in underwater communication
- Surface-floating and underwater sensor communication
- Access control in underwater networks
- Latency effects for critical applications and synchronization
- Synchronization and delays in underwater sensor networks
- Localization in underwater sensor networks
- Advanced underwater sensor-based applications
- Sensor and systems for navigation and tracking


IMPORTANT DATES:

Abstract registration: 14th of March 2014
Submission deadline: 14th of March 2014
Author notification: 9th of April 2014
Camera-ready version: 25st of April 2014
Workshop Dates: 22-27th of June 2014


SUBMISSION GUIDELINES:

Authors are invited to submit original and unpublished papers. Papers presenting
original and unpublished work are invited and will be evaluated based on
originality, significance, technical soundness, and clarity of exposition.
Submitted papers should be in PDF format. The submission website is:

http://senldogo0039.springer-sbm.com/ocs/conference/submitpaperto/MARSS2014

Authors can upload papers that should not exceed 8 pages (including a 150 word
abstract, all figures, tables and references) in Springer Verlag LNCS format.
All papers will be reviewed for technical merit. Detailed formatting and
submission guidelines is available on the conference website. Submissions imply
the willingness of at least one author to register, attend the conference, and
present the paper.


COMMITTEES:

General Chairs:
Miguel Ardid, Universidad Polit�cnica de Valencia, Spain
Jaime Lloret, Universidad Polit�cnica de Valencia, Spain

TPC Chairs:
Kevin Frank, Sintef, Norway
Fernando de la Gandara, Instituto Espa�ol de Oceanograf�a, Spain

Tutorial/Panel Chair:
Victor Espinosa, Universidad Polit�cnica de Valencia, Spain

Publicity Chair:
Sandra Sendra, Universidad Polit�cnica de Valencia, Spain

Web Chair:
Alejandro C�novas Solbes, Polit�cnica de Valencia, Spain


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

Message: 5
Date: Sat, 8 Mar 2014 21:28:52 +0100
From: "GRLMC" <grlmc@urv.cat>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] SSTiC 2014: March 15, 4th registration deadline
Message-ID: <C7EFBE2EA907418E9DA1EB3ACCE59D25@Carlos1>
Content-Type: text/plain; charset="iso-8859-1"

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

2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING

SSTiC 2014

Tarragona, Spain

July 7-11, 2014

Organized by
Rovira i Virgili University

http://grammars.grlmc.com/sstic2014/

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

--- March 15, 4th registration deadline ---

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

AIM:

SSTiC 2014 is the second edition in a series started in 2013. For the
previous event, see http://grammars.grlmc.com/SSTiC2013/

SSTiC 2014 will be a research training event mainly addressed to PhD
students and PhD holders in the first steps of their academic career. It
intends to update them about the most recent developments in the diverse
branches of computer science and its neighbouring areas. To that purpose,
renowned scholars will lecture and will be available for interaction with
the audience.

SSTiC 2014 will cover the whole spectrum of computer science through 6
keynote lectures and 24 six-hour courses dealing with some of the most
lively topics in the field. The organizers share the idea that outstanding
speakers will really attract the brightest students.

ADDRESSED TO:

Graduate students from around the world. There are no formal pre-requisites
in terms of the academic degree the attendee must hold. However, since there
will be several levels among the courses, reference may be made to specific
knowledge background in the description of some of them.

SSTiC 2014 is also appropriate for more senior people who want to keep
themselves updated on developments in their own field or in other branches
of computer science. They will surely find it fruitful to listen and discuss
with scholars who are main references in computing nowadays.

REGIME:

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

VENUE:

SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be:

Campus Catalunya
Universitat Rovira i Virgili
Av. Catalunya, 35
43002 Tarragona

KEYNOTE SPEAKERS:

Larry S. Davis (U Maryland, College Park), A Historical Perspective of
Computer Vision Models for Object Recognition and Scene Analysis

David S. Johnson (Columbia U, New York), Open and Closed Problems in
NP-Completeness

George Karypis (U Minnesota, Twin Cities), Recommender Systems Past,
Present, & Future

Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One
Coin

Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style

Ronald R. Yager (Iona C, New Rochelle), Social Modeling

COURSES AND PROFESSORS:

Divyakant Agrawal (U California, Santa Barbara), [intermediate] Scalable
Data Management in Enterprise and Cloud Computing Infrastructures

Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics
Challenges and Opportunities in the Life Sciences

Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing

John M. Carroll (Pennsylvania State U, University Park), [introductory]
Usability Engineering and Scenario-based Design

Kwang-Ting (Tim) Cheng (U California, Santa Barbara),
[introductory/intermediate] Smartphones: Hardware Platform, Software
Development, and Emerging Apps

Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed
Foundations of Data Management in the Cloud

Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and
Distributed Simulation

Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education
Research: What We Know about Learning and Teaching Computer Science

David S. Johnson (Columbia U, New York), [introductory] The Traveling
Salesman Problem in Theory and Practice

George Karypis (U Minnesota, Twin Cities), [intermediate] Programming
Models/Frameworks for Parallel & Distributed Computing

Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate]
Optimization Techniques for Sparse/Low-rank Recovery Problems in Image
Processing and Machine Learning

Arie E. Kaufman (U Stony Brook), [advanced] Visualization

Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data

Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate]
Robot Motion Planning

Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in
Computer Science

Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate]
Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance
Handover System Designs

Sudhakar M. Reddy (U Iowa, Iowa City), [introductory] Test and Design for
Test of Digital Logic Circuits

Robert Sargent (Syracuse U), [introductory] Validation of Models

Mubarak Shah (U Central Florida, Orlando), [intermediate] Visual Crowd
Analysis

Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web

Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection
for Twitter and the Social Web

Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms

Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate]
Distributed Consensus: Theory and Applications

Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and
Life

ORGANIZING COMMITTEE:

Adrian Horia Dediu (Tarragona)
Carlos Mart?n-Vide (Tarragona, chair)
Florentina Lilica Voicu (Tarragona)

REGISTRATION:

It has to be done at

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

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

Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed when the capacity of the venue will be complete. It is very
convenient to register prior to the event.

FEES:

As far as possible, participants are expected to attend for the whole (or
most of the) week (full-time). Fees are a flat rate allowing one to
participate to all courses. They vary depending on the registration
deadline.

ACCOMMODATION:

Information about accommodation is available on the website of the School.

CERTIFICATE:

Participants will be delivered a certificate of attendance.

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu@urv.cat

POSTAL ADDRESS:

SSTiC 2014
Lilica Voicu
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34 977 559 543
Fax: +34 977 558 386

ACKNOWLEDGEMENTS:

Departament d?Economia i Coneixement, Generalitat de Catalunya
Universitat Rovira i Virgili




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

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