O Workshop Brasileiro de Lógica (WBL) é um evento realizado pela SBC desde 2020. Trata-se de uma iniciativa conjunta da Sociedade Brasileira de Computação (SBC) com a Sociedade Brasileira de Lógica (SBL). Em sua primeira edição, seu objetivo é congregar lógicos de diferentes áreas e com diferentes formações – de estudantes de graduação a pesquisadores que desejam apresentar propostas de trabalhos e trabalhos em andamento – o encontro é um momento importante para a comunidade lógica brasileira se unir e discutir os desenvolvimentos recentes do campo. Os Anais do WBL são publicados anualmente, trazendo os artigos selecionados para cada edição do evento.
Tópicos de Interesse
Os tópicos de interesse do WBL incluem:
- Assistentes de provas
- Frameworks lógicos
- Fundamentação da computação, física e matemática
- Lógica em inteligência artificial
- Lógicas não-clássicas
- Prova automática de teoremas
- Teoria da prova
- Verificação formal de sistemas
- Verificação de modelos
Mais informações
Para obter mais informações sobre o WBL, visite o site de cada edição do evento.
