Themes
Main Speakers and Committees
Call for Papers
Important Dates
Conference Program
General Information
Contacts
Main Organizers
Useful links
CANCELLED
Welcome to
the second Algorithmic Information Theory Conference at Research Institute for Symbolic
Computation, Johannes Kepler University, Linz - Hagenberg, Austria 25th-26th June 2007
Algorithmic
Information Theory is an international meeting bringing together mathematicians,
computer theorists, logicians, mathematical physicists and scientists
in related fields to assess the impact of recent development in the foundations
of mathematics, computability, computation and computer-
supported mathematical theory exploration, and to stimulate further research
in these and related fields.
The first AIT confernce was held in Vaasa, Finland 16th-18th May 2005.
AIT07 will be organized in the frame of RISC Summer 2007 http://www.risc.uni-linz.ac.at/conferences/summer2007/