Logic List Mailing Archive

UF Special Logic Year 2006/07

UNIVERSITY OF FLORIDA
Special Year in Logic: 2006/2007

http://www.math.ufl.edu/~jal/logicyear/

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