2-5 May 2007
*****************************************************************
Foundations of the Formal Sciences VI
Reasoning about Probabilities and Probabilistic Reasoning
May 2-5, 2007
Universiteit van Amsterdam
Institute for Logic, Language and Computation
URL: http://www.math.uni-bonn.de/people/fotfs/VI/
*****************************************************************
CALL FOR ABSTRACTS
*****************************************************************
Probabilistic methods are increasingly becoming an important tool
in a variety of disciplines. These include computer science
(probabilistic computation and automata, randomness), mathematics
(probabilistic proofs), artificial intelligence (reasoning under
uncertainty), epistemology (bayesian epistemology) and lin-
guistics (probabilistic grammars). Of course, from the beginning,
probabilistic and statistical methods have been heavily used in
game theory and decision theory. Often separate to the discussion
on applications of probabilistic methods is an important philo-
sophical debate over the precise meaning of probabilistic and
statistical statements. This debate often raises a number of
issues crucial to understanding how to interpret results achieved
using probabilistic methods.
We understand this conference as an interdisciplinary venue for
researchers that use probabilistic and statistical methods in
their respective fields and researchers that are concerned with
the philosophical interpretation of probability and statistics
to exchange ideas, approaches and techniques. Such a forum will
facilitate discussions about the applicability of probabilistic
methods and help ground foundational debates with concerns of
practitioners of probabilistic methods.
*****************************************************************
TOPICS OF INTEREST
*****************************************************************
FotFS VI topics of interest include, but are not limited to:
* What is probability?
* Probability in AI
* Probabilistic Automata
* Bayesian Epistemology
* Probability in Linguistics
* Probabilistic Computation
* Foundations of Probability
* History of Probabilistic Thought
* Alternative Formalization of Randomness
* Foundations of Game Theory and Decision Theory
* Complexity of Randomness and Probabilistic Reasoning
* Probabilistic Proofs and the Foundations of Mathematics
* Combining Probability and Logic
*****************************************************************
INVITED SPEAKERS
*****************************************************************
* Luc Bovens (London)
* David Corfield (T?bingen)
* Branden Fitelson (Berkeley CA)
* Maria Carla Galavotti (Bologna)
* Anne-Sophie Godfroy-Genin (Paris)
* Peter Gr?nwald (Amsterdam)
* Joe Halpern (Ithaca NY)
* Barteld Kooi (Groningen)
* Teddy Seidenfeld (Pittsburgh PA)
* Special progicnet session:
o Jan-Willem Romeijn (Amsterdam)
o Greg Wheeler (Lisboa)
o Jon Williamson (Canterbury)
*****************************************************************
SUBMISSION INSTRUCTIONS
*****************************************************************
If you wish to submit an abstract for presentation at FotFS VI,
please send an e-mail with the following information in the body
of the e-mail (no attachments):
(*) For each author: Full name, Affiliation, e-mail address,
webpage [if an author has no webpage, state this clearly]
(*) An abstract of at most 500 words (including references, if
any). Try to keep the abstract free of symbols, if possible.
Submit this abstract before March 15, 2007 to
fotfs@math.uni-bonn.de
*****************************************************************
IMPORTANT DATES
*****************************************************************
* Abstract submission deadline: 15 March 2007
* Notification of authors: 29 March 2007
* Workshop: 2-5 May 2007
*****************************************************************
SCIENTIFIC AND ORGANIZING COMMITTEE
*****************************************************************
* Horacio Arl? Costa (Pittsburgh PA)
* Benedikt L?we (Amsterdam)
* David Makinson (London)
* Eric Pacuit (Amsterdam, Coordinator)
* Jan-Willem Romeijn (Amsterdam)
*****************************************************************