BEN GURION UNIVERSITY OF THE NEGEV MATHEMATICS & COMPUTER SCIENCE DEPARTMENT Mathematical and Computational Logic Research Group Set Theory and Topology February 20 a 1-day conference around the visit of Professor Istvan Juhasz. The Shelah Festival, May 20-25 The mathematical and computational logic group at BGU conducts research in set theory, model theory, general topology, Boolean algebras ...

Logic at Bogota Logicians in Bogota are based at either the Universidad Nacional de Colombia or the Universidad de los Andes. People Here is a list of people working in logic at Bogota (Colombia) Xavier Caicedo Abstract model theory, Finite model theory and Logic on sheaves. Universidad de los Andes and Universidad Nacional de Colombia Rodrigo de Castro Logic on computation. Universidad Nacional ...