novo prazo de envio das submissões para o WBL 2023
26 views
Skip to first unread message
Jorge Petrucio Viana
Mar 3, 2023, 3:49:09 PM3/3/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Workshop Brasileiro de Lógica
https://csbc.sbc.org.br/2023/wbl/
=============================
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: 20/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: 20/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 .
Jorge Petrucio Viana
Mar 17, 2023, 4:14:23 PM3/17/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Jorge Petrucio Viana
Mar 20, 2023, 6:57:38 PM3/20/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Boas notícias para quem tem interesse em participar deste excelente evento, mas ainda precisa trabalhar mais no texto!
Workshop Brasileiro de Lógica
Limite para submissão de trabalhos: 05/04/2023 (firme)
Divulgação dos resultados: 20/05/2023
Envio das versões finais dos artigos: 28/05/2023
Prazo de inscrição dos autores: 05/06/2023
Reply all
Reply to author
Forward
0 new messages