# Research Groups

### Mathematical and Computational Logic

The mathematical and computational logic group at BGU conducts research in *set theory*, *model theory*, *general topology*, *Boolean algebras* and, in theoretical computer science, *concurrency*, *logic programming* and *lambda calculus*.

### Combinatorics and Discrete Mathematics

The members of the research group in Combinatorics and Discrete Mathematics (CDM, for short) conduct research in the areas of *graph theory*, *algebraic combinatorics*, *discrete geometry*, *combinatorial optimization* and other fields of discrete mathematics.

A seminar in Algebraic Combinatorics is working since Fall 1995 with a special emphasis on promoting students' interests in CDM.

The CDM group includes people whose interests permanently lie in the area as well as those whose combinatorial activities are sporadic.