Estudo de temas de lógica matemática contemporânea: lógica abstrata, lógica categorial, teoria de modelos, lógica algébrica e teoria de conjuntos. O grupo reúne-se semanalmente para discussão de temas relacionados com os acima. Há uma certa liberdade de escolha de modo que pode-se estudar algum texto importante específico ou assuntos provenientes de várias fontes diferentes. Os participantes são convidados a apresentar seminários sobre os temas e estes podem ocupar mais de uma sessão. O grupo também serve para que os participantes apresente seus próprios resultados de pesquisa. Além disso, quando houver oportunidade, convidamos pesquisadores externos para discorrer sobre temas de interesse do grupo. As atividade são planejadas no início de cada semestre em uma reunião de organização própria.
-