Resumo
Esta proposta está sendo encaminhada à FAPESP visando a obtenção de recursos para apoiar a vinda do Dr. Michael Hemmer da Universidade Técnica de Braunschweig (TUB) ao Instituto de Computação da UNICAMP. O texto da proposta apresenta o projeto de pesquisa e demais atividades que deverão ser desenvolvidas durante o período da visita do Dr. Hemmer, a qual está prevista para acontecer de 5/…