Computability and Models 

Duration: 2011 – 2014

Partner Universities

• University of Notre Dame, USA
• University of Wisconsin-Madison, USA
• The City University of New York (CUNY), USA
• University of Illinois at Chicago, USA
• Washington University in St.Louis, USA
• Sobolev Institute of Mathematics, RF
• Almaty State University, Kazakhstan
• Sofia University, Bulgaria

Coordinator at KFU

Prof. Marat Arslanov                                                                                                                    Department of Algebra and Mathematics of logics, Institute of Mathematics and Mechanics