Logic List Mailing Archive

Summer School on Algorithmic Randomness

9-19 June 2008
Gainesville FL, U.S.A.

SUMMER SCHOOL ANNOUNCEMENT

The Summer School in Algorithmic Randomness will take place
June 9--June 19 at the University of Florida in Gainesville.
Check-in at the campus residence hall is 12 noon Sunday June 8 and checkout
is noon June 19.

Tutorials will be given by John Hitchcock (Wyoming), Andre Nies (Auckland, New
Zealand) and Jan Reimann (UC Berkeley).  They will be accessible to graduate
students and non-specialists. A brief outline is given below.

There will also be lectures on current research.
Please let me know if you would like to participate or to give a talk.

The goal of the workshop is to encourage and prepare graduate students
in mathematics and  computer science for research in algorithmic randomness.

Partial support for travel and lodging expenses of graduate students in
partiuclar is provided through the National Science Foundation
Focused Research Group Award.
Please send a request for support to
cenzer@math.ufl.edu and ask your graduate advisor to send a brief letter
of recommendation as well.

The conference web site is here

<http://www.math.ufl.edu/~cenzer/FRG/Workshop.htm>

BRIEF OUTLINE OF TUTORIALS

Reimann: Introduction to Algorithmic Randomness:
--Three approaches to effective randomness: game theoretic
(martingales), measure theoretic (Martin-Loef tests), information
theoretic (incompressibility, Kolmogorov complexity); Schnorr's theorem
--computational properties and complexity of random sequences, Pi01 classes;
-- extracting information from random sequences, Kucera-Gacs Theorem
-- c.e. reals, Chaitin\'s Omega, Kucera-Slaman theorem
-- relative randomness, van-Lambalgen's theorem

Nies: Lowness properties related to randomness

Hitchcock:  Randomness in computational
complexity, focusing on resource-bounded measure, dimension, and
Kolmogorov complexity.

--The Organizing Committee

--Doug Cenzer, Paul Brodhead and Ali Dashti