Article 9031 of sci.math.research: From: Herbert Wiklicky Newsgroups: sci.math.research Subject: 2nd CfP: ESSLLI'98 WS on Probabilistic Logic and Randomised Computation Date: Thu, 1 Jan 1998 14:57:28 +0000 Organization: School of Informatics, City University, London Lines: 109 Approved: Daniel Grayson , moderator for sci.math.research Message-ID: NNTP-Posting-Host: orion.math.uiuc.edu Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Originator: dan@orion.math.uiuc.edu Xref: clas.ufl.edu sci.math.research:9031 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 ** SECOND 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 or 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 -------------------------------------------------------- Herbert Wiklicky Department of Computer Science Tel +44-171-477 8449 School of Informatics Fax +44-171-477 8587 City University herbert@cs.city.ac.uk Northampton Square http://www.cs.city.ac.uk/~herbert London EC1V 0HB, UK --------------------------------------------------------