Thursday, July 8, 2010

[DMANET] JELIA 2010 Call for Participation

*** Apologies for receiving multiple copies ***

JELIA 2010 CALL FOR PARTICIPATION
=================================

12th European Conference on Logics in Artificial Intelligence
Helsinki, Finland, September 13-15, 2010
http://jelia2010.tkk.fi/

Logics provide a formal basis and key descriptive notation for the study
and development of applications and systems in Artificial Intelligence
(AI). With the depth and maturity of formalisms, methodologies, and
systems today, such logics are increasingly important. The European
Conference on Logics in Artificial Intelligence (or Journ?es Europ?ennes
sur la Logique en Intelligence Artificielle --- JELIA) began back in 1988,
as a workshop, in response to the need for a European forum for the
discussion of emerging work in this field. Since then, JELIA has been
organized biennially, with English as the official language, and with
proceedings published in Springer-Verlag's Lecture Notes in Artificial
Intelligence series. In 2010 the conference is organized for the first
time in Scandinavia, following previous meetings mainly taking place in
Central and Southern Europe (see the general website http://www.jelia.eu/
for details). The increasing interest in this forum, its international
level with growing participation from researchers outside Europe, and the
overall technical quality, has turned JELIA into a major biennial forum
for the discussion of logic-based approaches to AI.

Registration and Travel Information
===================================

Registration as well as travel and accommodation information is
available on JELIA 2010 web pages http://jelia2010.tkk.fi/

JELIA 2010 Registration Fees

Early (until Aug 9) Late (Aug 10 - Sep 1)
Regular 250 EUR 400 EUR
Student 150 EUR 250 EUR

including JELIA 2010 technical sessions and invited talks, coffee breaks,
the combined JELIA/PGM welcome reception on September 13, conference
Banquet and excursion on September 14, JELIA 2010 LNAI conference
proceedings, and conference accessories (bag, programme, info, ...)

Scientific Program
==================

The scientific program consists of three invited talks, 26 regular papers,
and 5 system descriptions. See details in the preliminary program at
http://jelia2010.tkk.fi/schedule.shtml

Invited Speakers
================

Gerhard Brewka (http://www.informatik.uni-leipzig.de/~brewka/):
Nonmonotonic Tools for Argumentation

Adnan Darwiche (http://www.cs.ucla.edu/~darwiche/):
Relax, Compensate and then Recover:
A Theory of Anytime, Approximate Inference

Stephane Demri (http://www.lsv.ens-cachan.fr/~demri/):
Counter Systems for Data Logics

Venue
=====

The conference will be held in the main building of University of
Helsinki, located in the center of Helsinki. Founded in 1550, Helsinki has
been the Finnish capital since 1812, when it was rebuilt in the Empire
style by the orders of the Czar of Russia, hence sharing architectural
similarities with St. Petersburg even today. Located on the Baltic
peninsula centrally between the east and the west, Helsinki "the Daughter
of the Baltic" is a city full of contrasts: light and white in summer
while dark but full of warmth in winter, with a combination of high-tech,
contemporary design, and ever-present nature. Finnish design has made
Helsinki world famous, and recently Helsinki was appointed World Design
Capital 2012.

Co-located events
=================

European Workshop on Probabilistic Graphical Models (PGM)
http://www.helsinki.fi/pgm2010/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************