Finite and Algorithmic Model Theory

数学在计算机科学中扮演着重要的角色，尤其是在逻辑中。研究计算机科学的逻辑方面使我们能够证明有关计算机和计算机程序的事情。计算机科学中对逻辑的研究使我们能够开发新的编程语言、解决问题的新技术和解决问题的新方法。对于有时不关心计算机科学的数学家和计算机科学家来说，这个研讨会是一个机会，他们可以聚在一起，看看如何进一步发展数学在计算机科学中的作用。

Mathematics plays an important role in computer science, especially logic. The study of the logical aspects of computer science enables us to prove things about computers and computer programs. The study of logic in computer science has enabled us to develop new programming languages, new techniques to solve problems and new ways of solving problems. This workshop is an opportunity for mathematicians, who sometimes dont concern themselves with computer science, and computer scientists to get together and see how they can further develop the role of mathematics within computer science.