Corpora: Call for Papers: Probabilistic Logic and Randomised

Alessandra Di Pierro (adp@cs.city.ac.uk)
Fri, 7 Nov 1997 15:11:05 +0000 (GMT)

Apologies if you receive multiple copies of this Call for Papers.

ESSLLI-98 Workshop on
PROBABILISTIC LOGIC AND RANDOMISED COMPUTATION
August 17 - 21, 1998

A workshop held as part of the
10th European Summer School in Logic, Language and Information
(ESSLLI-98)
August 17 - 28, 1998, Saarbrueken, Germany

** FIRST CALL FOR PAPERS **

ORGANISERS: Alessandra Di Pierro and Herbert Wiklicky (London)

Web site: http://www.cs.city.ac.uk/~adp/esslli98.html

BACKGROUND:
Probabilistic concepts recently gained widespread interest in logic and
computer science, for example in the investigation of randomised algorithms
and probabilistic proof systems.

Whereas probability and randomisation have always played an important role
in complexity theory (from average case analysis to probabilistic
complexity classes) the investigation of these notions in semantics was
much more limited and only in the last years renewed interest seems to
develop.

This workshop aims at bringing together researchers from areas like
philosophy, logics, semantics and the theory of algorithms whose research
is related to aspects of probability, stochastic processes, randomised
algorithms etc., in order to foster links and facilitate
cross-fertilisation of ideas among them.

The workshop topics include:

o philosophical foundations of probability o probabilistic logics
o probabilistic proof systems o probabilistic proof checking
o probabilistic knowledge representation o probabilistic games
o randomised automata o randomised algorithms
o semantics of probabilistic languages o probabilistic non-determinism
o probabilistic reasoning o fuzzy and belief systems
o inexact matching o constraints and probability
o Markov Chain Monte Carlo Methods o practical applications
o randomised optimisation (e.g. simulated annealing, genetic algorithms)
o (stochastic) approximation algorithms (for NP problems)

WORKSHOP FORMAT:
The workshop will be held as part of ESSLLI'98. There will be five
sessions of 90 minutes each, one on each day of the first week of the
school (August 17-22, 1998). The workshop will consist in the presentation
of submitted papers and discussion sessions. Notes containing the papers
accepted for presentation will be made available in electronic form.
Opportunities for publishing revised versions of the papers will be
explored. The workshop will be open to attendance by all school
registrants.

SUBMISSION:
All researchers in the area, but especially Ph.D. students and young
researchers, are encourage to submit a paper. Papers should be submitted
in the form of an extended abstract of NO MORE THAN 4000 words (8-10 pages)
in length, and must include the e-mail address of all authors and a 200-300
word abstract. Deadline is February 15, 1998.

To submit a paper, please send a postscript file to <adp@cs.city.ac.uk> or
<herbert@cs.city.ac.uk> OR send three (3) hard copies of your paper to one
of the organisers (below).

Alessandra Di Pierro
adp@cs.city.ac.uk
http://www.cs.city.ac.uk/~adp

Herbert Wiklicky
herbert@cs.city.ac.uk
http://www.cs.city.ac.uk/~herbert

Department of Computer Science
School of Informatics
City University
Northampton Square
London EC1V 0HB
United Kingdom

Electronic submission is STRONGLY encouraged.

REGISTRATION:
Workshop contributors will be required to register for ESSLLI-98, but they
will be elligible for a reduced registration fee.

IMPORTANT DATES:
Feb 15, 98: Deadline for submissions
Apr 15, 98: Notification of acceptance
May 15, 98: Deadline for final copy
Aug 17, 98: Start of workshop

FURTHER INFORMATION:
To obtain further information about ESSLLI-98 please visit the ESSLLI-98
home page at http://www.coli.uni-sb.de/esslli