eu ia participar do SPLogIC desde o início até o fim, e foi isso que eu fiz.
Este evento de duas semanas foi muito bom, intenso e agradável, de 8h30 da manhã até 8h30 da noite todos.os dias
Houve participantes de todo o mundo, incluindo países como África do Sul, Rússia, Irã, Costa Rica, Israel, Coreia do Sul, etc.
Os tutoriais foram de boa qualidade, lidando com a teoria geral dos sistemas lógicos, famílias de sistemas lógicos, os múltiplos aspectos da lógica (matemático, filosófico, histórico, computacional).
Fui convidado para ser o presidente de um júri para avaliar as 32 palestras apresentadas pelos estudantes todos os dias. Foi uma experiência bastante interessante, observando de perto os trabalhos de todos esses estudantes, que foram sobre uma grande variedade de temas.
Houve também um dia uma sessão de pôsteres bem animada com as apresentações de mais de 100 pôsteres pelos estudantes.
Parabéns a todos os organizadores e especialmente ao principal, Itala, que supervisionava tudo o tempo todo.
Seria muito bom ter uma tal escola de lógica no Brasil regularmente, um evento muito bom para estimular a pesquisa.
JYB