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.