To page body
university of tampere: sis/luo-coms: research: cis - the tampere research center for information and systems: research groups:
Faculties of Natural and Communication SciencesUniversity of TampereFaculties of Natural and Communication Sciences
CIS - The Tampere Research Center for Information and Systems

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.

 
Maintained by: logic-group@uta.fi
Last update: 17.1.2012 17.59 Muokkaa

University of Tampere
+358 3 355 111
registry@uta.fi


FINEEC Audited HR Excellence in Research

THE UNIVERSITY
Research
Admissions
Studies
News
Cooperation and Services
About Us

CURRENT ISSUES
Research & Study
Tampere3
Vacancies

SERVICES
Administration
Career Services
Finnish Social Science Data Archive
Centre for International Education
IT services
Language Centre
Language Services
Library
Registrar's Office
Registry
Sports Activities
» more

STUDIES
Teaching schedules
Curricula guides
Student's Desktop

ONLINE SERVICES
Andor search
Renew your loans
UTA intranet
Office 365 webmail
Uta webmail
Moodle
NettiOpsu
NettiKatti
TamPub
Electronic exam service
Examination results