ALC 10 (Sep 1, 2008 --- Sep 6, 2008) Tutorials and Plenary Lectures.

This video archive is provided with the QuickTime.
If you are using QuickTime Player on Windows, press the stop button to stop the play. Do not use x. Otherwise, your network connection might become very slow.
We use the rtsp (554/tcp,UDP). If you cannot watch it, please check if your firewall closes this port (outbound).
  1. Byunghan Kim (김 병한), Geometric Simplicity Theory.
  2. Greg Hjorth, Descriptive set theory, orbit equivalence, cost, and Borel equivalence relations.
  3. Peter Cholak, The Computably Enumerable Sets: A Tutorial.
  4. Jeremy Avigad, A formal system for Euclidean deagrammatric reasoning.
  5. Justin Moore, Structure within the class of Aronszajn lines.
  6. Kazushige Terui (照井一成), Algebraic proof theory for nonclassical logics.
  7. Yue Yang (杨跃), Elementary Differences among Degree Structures.
Note: @s/2008/09, proceedings (not obtainable for now).