You are invited to the group Lógica para Ciência da Computação - UFF 2023.1. Click above to join.