Varieties of Algorithmic Information, VAI

The notion of algorithmic information is referred to throughout work in computability theory, algorithmic randomness, and related areas. However, in many cases, this notion of algorithmic information is used both informally and in a number of different senses. The goal of Varieties of Algorithmic Information is to clarify the various notions of algorithmic information as they appear in computability-theoretic investigations, to ascertain the similarities and differences between them, and to foster interaction between mathematicians, computer scientists, and philosophers with interest in the topic.

 

The main topics of the meeting are:

  • Algorithmic information theory and randomness
  • Turing computability (degrees, reductions)
  • Computable analysis, computable algebra
  • Reverse mathematics and proof theory
  • Computable structure theory
  • Infinitary models of computation (ordinal-time computation, computation over orders, etc)
  • lComputability and definability in set theory

 

[Die Tagung VAI ist eingebettet in ein Fokussemester „Computability and Randomness“ des Mathematics Center Heidelberg, welche von Prof. Klaus Ambos-Spies und Priv-Doz. Dr. Wolfgang Merkle vom Institut für Informatik veranstaltet wird, siehe http://math.uni- heidelberg.de/logic/conferences/focussem2015/. Die Tagung VAI behandelt grundlegende Aspekte der algorithmischen Informationstheorie und soll eine Verbindung zu verwandten Fragestellungen in der Philosphie und den Grundlagen der Mathematik herstellen. In der Folgewoche findet am Institut für Informatik die Konferenz „Computability, Complexity and Randomness 2015“ statt, siehe http://math.uni-heidelberg.de/logic/conferences/ccr2015/ . Diese mathematische Fachtagung zur algorithmischen Zufälligkeit ist ebenfalls Teil des Fokussemesters und wird von den Veranstaltern des Fokussemesters organisiert.]

Homepage conference

 

Organisers:
Dr. Christopher P. Porter
University of Florida, Department of Mathematics
1400 Stadium Rd, Gainesville, FL 36211
Tel: +1-352-294-2370
cpporter@ufl.edu

and

Dr. Laurent Bienvenu
Université Paris Diderot Paris 7,
LIAFA
Case 7014
75205 Paris Cedex 13
Frankreich
Tel:  +33-1-57279-232
laurent.bienvenu@computability.fr

 

Webmaster: E-Mail
Letzte Änderung: 15.06.2015
zum Seitenanfang/up