Introduction

Mathematical logic is entering a phase of increasingly intense conversation with other parts of mathematics. The logic year will be devoted to the exploration of various channels of communication between several fields of logic as well as the rest of the mathematical sciences.

We plan a series of special lectures accessible to a broad audience to share some of the excitement and history of the field.

Through the year there will be the weekly logic colloquium talks in the Department of Mathematics spanning a wide variety of topics in mathematical logic, talks in philosophical logic in the Department of Philosophy and talks in logic in computer science sponsored by the Department of Computer and Information Science and Engineering.

There will be a series of meetings held at the University of Florida during the year, many proceeded by tutorials for graduate students and individuals from other fields.

The workshop on Combinatorial Set Theory will promote conversations between set theorists and combinatorialists.

In the meeting CCA 2006: Computability and Complexity in Analysis, we will concentrate on the relationship between computability, effective descriptive set theory and computable analysis on one hand and numerical methods and analysis on the other.

In the workshop on Model Theory and Computable Model Theory, we will see connections between model theory, algebra and computability.

Questions? Contact us at logicyear@clas.ufl.edu