Workshop Brasileiro de Lógica: Chamada para trabalhos
29 views
Skip to first unread message
Bruno Lopes
Jan 16, 2023, 1:08:59 PM1/16/23
to Sociedade Brasileira de Computação
Workshop Brasileiro de Lógica
=============================
O IV Workshop Brasileiro de Lógica (WBL’23) é uma iniciativa do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa parceria com a Sociedade Brasileira de Lógica (SBL). Em sua quarta edição, seu objetivo é congregar lógicos de diferentes áreas da Computação e em diferentes estágios da carreira – de estudantes de graduação a pesquisadores – que desejem 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.
Esta edição será co-alocada com o XLIII Congresso da Sociedade Brasileira de Computação (CSBC 2023), que ocorre em João Pessoa (PB) entre 23 e 28/07/2023.
Tópicos de interesse
====================
Esta chamada está aberta para trabalhos relacionados à área de lógica e suas aplicações em diferentes campos da computação, especialmente (mas não restrito) a:
Assistentes de provas
Frameworks lógicos
Fundamentação da computação, física e matemática
Lógica em inteligência artificial: representação de conhecimento, sistemas multiagentes, raciocínio não-monotônico, raciocínio sobre conhecimento, crenças ou ações, etc.
Lógicas não-clássicas
Ontologias
Prova automática de teoremas
SAT solvers
Teoria da prova
Verificação formal de sistemas
Verificação de modelos
Instruções de submissão
=======================
Artigos a serem submetidos devem ser redigidos no template da SBC ( http://tinyurl.com/sbc-template-artigos ) com tamanho entre 6 (seis) e 8 (oito) páginas.
As submissões devem ser feitas pelo sistema JEMS ( https://jems.sbc.org.br/home.cgi?c=4246 ). Os textos podem ser em inglês ou em português.
Datas importantes
=================
Limite para submissão de trabalhos: 05/03/2023,
Divulgação dos resultados: 05/05/2023,
Envio das versões finais dos artigos: 16/05/2023,
Prazo de inscrição dos autores: 16/05/2023
Inscrição de autores
====================
Para que um artigo aceito seja apresentado e incluído nos anais do evento, é necessário que ao menos um dos autores do artigo realize a sua inscrição no evento na categoria profissional. Cada inscrição na categoria profissional dá direito à publicação de um único artigo, considerando qualquer um dos eventos-base ou eventos-satélite do CSBC. Autores com mais de um artigo aprovado em qualquer evento do CSBC deverão pagar uma “taxa de publicação” por artigo adicional. O valor dessa taxa pode ser visto na página de inscrições do CSBC 2023.
Publicação de trabalhos
=======================
Os artigos aceitos serão publicados na SBC Open Lib, a biblioteca digital da SBC, na série Anais do Workshop Brasileiro de Lógica (WBL), ISSN 2763-8731, disponível em https://sol.sbc.org.br/index.php/wbl. Todos os artigos serão indexados com DOI.
Auxílio para estudantes
=======================
TBA
Organização
===========
Organizador Geral: Vaston Gonçalves (UFCat)
Organizadoras do Comitê de Programa: Mario Benevides (UFF) e Petrucio Viana (UFF)
Apoio local
===========
TBA
Comitê de programa
==================
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos Olarte (UFRN)
Cláudia Nalon (UnB) (Co-Chair)
Daniele Nantes-Sobrinho (UnB)
Edward Hermann Haeusler (PUC-Rio)
Elaine Pimentel (UFRN) (Co-Chair)
Francicleber Ferreira (UFC)
Jefferson Santos (FGV e PUC-Rio)
Marcelo Finger (USP)
Mario Benevides (UFF)
Marlo Souza (UFBA)
Mauricio Ayala-Rincón (UnB)
Renata Wassermann (USP)
Palestrantes convidados
=======================
TBA
Contato
=======
Em caso de dúvidas, entre em contato através dos e-mails: ma...@ic.uff.br e petruci...@id.uff.br .
--
=============================
O IV Workshop Brasileiro de Lógica (WBL’23) é uma iniciativa do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa parceria com a Sociedade Brasileira de Lógica (SBL). Em sua quarta edição, seu objetivo é congregar lógicos de diferentes áreas da Computação e em diferentes estágios da carreira – de estudantes de graduação a pesquisadores – que desejem 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.
Esta edição será co-alocada com o XLIII Congresso da Sociedade Brasileira de Computação (CSBC 2023), que ocorre em João Pessoa (PB) entre 23 e 28/07/2023.
Tópicos de interesse
====================
Esta chamada está aberta para trabalhos relacionados à área de lógica e suas aplicações em diferentes campos da computação, especialmente (mas não restrito) a:
Assistentes de provas
Frameworks lógicos
Fundamentação da computação, física e matemática
Lógica em inteligência artificial: representação de conhecimento, sistemas multiagentes, raciocínio não-monotônico, raciocínio sobre conhecimento, crenças ou ações, etc.
Lógicas não-clássicas
Ontologias
Prova automática de teoremas
SAT solvers
Teoria da prova
Verificação formal de sistemas
Verificação de modelos
Instruções de submissão
=======================
Artigos a serem submetidos devem ser redigidos no template da SBC ( http://tinyurl.com/sbc-template-artigos ) com tamanho entre 6 (seis) e 8 (oito) páginas.
As submissões devem ser feitas pelo sistema JEMS ( https://jems.sbc.org.br/home.cgi?c=4246 ). Os textos podem ser em inglês ou em português.
Datas importantes
=================
Limite para submissão de trabalhos: 05/03/2023,
Divulgação dos resultados: 05/05/2023,
Envio das versões finais dos artigos: 16/05/2023,
Prazo de inscrição dos autores: 16/05/2023
Inscrição de autores
====================
Para que um artigo aceito seja apresentado e incluído nos anais do evento, é necessário que ao menos um dos autores do artigo realize a sua inscrição no evento na categoria profissional. Cada inscrição na categoria profissional dá direito à publicação de um único artigo, considerando qualquer um dos eventos-base ou eventos-satélite do CSBC. Autores com mais de um artigo aprovado em qualquer evento do CSBC deverão pagar uma “taxa de publicação” por artigo adicional. O valor dessa taxa pode ser visto na página de inscrições do CSBC 2023.
Publicação de trabalhos
=======================
Os artigos aceitos serão publicados na SBC Open Lib, a biblioteca digital da SBC, na série Anais do Workshop Brasileiro de Lógica (WBL), ISSN 2763-8731, disponível em https://sol.sbc.org.br/index.php/wbl. Todos os artigos serão indexados com DOI.
Auxílio para estudantes
=======================
TBA
Organização
===========
Organizador Geral: Vaston Gonçalves (UFCat)
Organizadoras do Comitê de Programa: Mario Benevides (UFF) e Petrucio Viana (UFF)
Apoio local
===========
TBA
Comitê de programa
==================
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos Olarte (UFRN)
Cláudia Nalon (UnB) (Co-Chair)
Daniele Nantes-Sobrinho (UnB)
Edward Hermann Haeusler (PUC-Rio)
Elaine Pimentel (UFRN) (Co-Chair)
Francicleber Ferreira (UFC)
Jefferson Santos (FGV e PUC-Rio)
Marcelo Finger (USP)
Mario Benevides (UFF)
Marlo Souza (UFBA)
Mauricio Ayala-Rincón (UnB)
Renata Wassermann (USP)
Palestrantes convidados
=======================
TBA
Contato
=======
Em caso de dúvidas, entre em contato através dos e-mails: ma...@ic.uff.br e petruci...@id.uff.br .
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
Bruno Lopes
Jan 16, 2023, 2:55:14 PM1/16/23
to logi...@sbc.org.br, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Correção:
Comitê de programa
==================
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos Olarte (UFRN)
Cláudia Nalon (UnB)
Daniele Nantes-Sobrinho (UnB)
Edward Hermann Haeusler (PUC-Rio)
Elaine Pimentel (UFRN)
Francicleber Ferreira (UFC)
Jefferson Santos (FGV e PUC-Rio)
Marcelo Finger (USP)
Mario Benevides (UFF) (co-chair)
Marlo Souza (UFBA)
Mauricio Ayala-Rincón (UnB)
Petrucio Viana (UFF) (co-chair)
Renata Wassermann (USP)
Reply all
Reply to author
Forward
0 new messages