The Laboratory for Logic consists of a group of researchers at Tel-Aviv University interested in the study of applications of mathematical logic to computer science.