Logic Group

Mathematical Logic at University of Tampere

The University of Tampere logic group works with a variety of topics, ranging from finite model theory to dependence logic and modal logic. The common denominator linking the research topics together is their interdisciplinary nature, the main field of application being theoretical computer science.

Funding

The Finnish National Graduate School in Mathematics and its Applications (GSMAA) was formed in 2010 by combining the Finnish National Graduate School in Mathematical Analysis and Its Applications and the Graduate School in Mathematical Logic and Algebra (MALJA).  MALJA operated for the period 2003-09, and it was coordinated by the Tampere logic group.

Tampere Graduate School in Information Science and Engineering (TISE) is a doctoral (PhD) program, offered jointly by Tampere University of Technology and University of Tampere.

The University of Tampere logic group participated in the ESF project Logic for Interaction (LINT), whose goal was to provide a unified mathematical foundation for the logic governing the interaction of intelligent agents.