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)
Em seg., 16 de jan. de 2023 15:08, Bruno Lopes <br...@ic.uff.br> escreveu: > 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 petrucio_vi...@id.uff.br . > > -- > Bruno Lopes > Professor Adjunto > Instituto de Computação > Universidade Federal Fluminense > http://www.ic.uff.br/~bruno > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq081iwAdixB-ohAA2BsM2eOpwRzUqcq%3Df74L9PXn9Cnc8w%40mail.gmail.com.
