O 1o Workshop Brasileiro de Lógica (WBL) acontecerá em Salvador, BA, Brazil no dia 26 de Agosto de 2020. Trata-se de uma iniciativa conjunta da Sociedade Brasileira de Computação com a Sociedade Brasileira de Lógica que visa congregar a comunidade brasileira de lógica.
O evento deve contar com palestras e sessões técnicas voltadas a trabalhos de graduação e trabalhos em andamento.
Mais informações em breve.
Os Comitês de Programa e a organizações locais do WBL e LSFA vêm acompanhando de perto as informações sobre a disseminação e incidência do coronavíus no Brasil, conforme fornecidas pelas autoridades locais e pela Organização Mundial da Saúde. A maioria dos estados do Brasil está sujeita a diretrizes internacionais e promove medidas de isolamento e teste. No entanto, é incerto no momento quanto tempo essas medidas precisam estar em vigor.
Agora podemos confirmar que, em resposta ao COVID-19, o comitê de programa e a organização local decidiram realizar o WBL como uma conferência puramente on-line. Assim, o WBL acontecerá no dia 26 de agosto de 2020 conforme previsto inicialmente. Embora possamos perder a oportunidade de interagir pessoalmente, a organização está trabalhando duro para garantir a melhor experiência de participação na conferência, aproveitando as lições aprendidas de outros eventos que ocorreram em uma plataforma online.
Mudando para uma plataforma virtual, também poderemos expandir a participação daqueles que não puderam comparecer fisicamente à conferência, oferecendo maior oportunidade de trocar conhecimentos com um público global diversificado. Como tal, abriremos as Inscrições para participantes não-autores, gratuitamente, para que possam assistir e contribuir com as discussões dos trabalhos.
Para os autores, o Comitê de Programa entrará em contato em breve com mais informações sobre os formatos e tecnologias utilizadas para a apresentação de seu trabalho, bem como sobre como participar das discussões. Os autores ainda precisarão se registrar para a conferência.
Postaremos mais detalhes sobre o registro nas próximas semanas e mais sobre a mecânica da conferência virtual em breve. Se você tiver dúvidas ou quiser discutir algo relacionado a esses assuntos, entre em contato com as Chairs de Programa.
O Workshop Brasileiro de Lógica (WBL) é uma iniciativa 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.
Para tal, esta chamada para trabalhos está aberta para trabalhos relacionados à área de lógica, especialmente (mas não restrito)
Artigos a serem submetidos devem ser redigidos em até seis páginas no template da SBC. com tamanho entre 6 (seis) e 8 (oito) páginas. As submissões devem ser feitas pelo EasyChair.
As apresentações dos trabalhos consistirão de vídeos pré-gravados seguidos de uma discsussão ao vivo com os autores.
Autores: 31 de Julho
Participantes: 20 de Agosto
Uma vez que o evento será realizado em uma plataforma online, participantes e autores do WBL não precisarão pagar taxas de inscrição para participar do evento. Participantes devem realizar sua inscrição no formulário como participantes do LSFA e marcar a atividade WBL em sua inscrição.
Salvador, também conhecida como São Salvador da Bahia de Todos os Santos é a capital do estado brasileiro da Bahia. Com 2,9 milhões de pessoas (2017), é a maior cidade do Nordeste e a quarta maior do país, depois de São Paulo, Rio de Janeiro e Brasília Fundada pelos portugueses em 1549 como a primeira capital do Brasil, Salvador é uma das mais antigas cidades coloniais das Américas.
Uma escarpa acentuada divide sua Cidade Baixa da Cidade Alta por cerca de 85 metros. O Elevador Lacerda, o primeiro elevador do Brasil, conecta os dois desde 1873. O bairro de Pelourinho, na cidade alta, ainda abriga muitos exemplos da arquitetura colonial portuguesa e monumentos históricos, foi nomeado Patrimônio Mundial pela UNESCO em 1985. A catedral da cidade é o ponto de vista do primata do Brasil e sua festa de carnaval foi considerada a maior festa do mundo. Salvador foi o primeiro porto de escravos nas Américas e a influência africana a torna um centro da cultura afro-brasileira (negra). A cidade é conhecida por sua culinária, música, dança e arquitetura. A Praia do Porto da Barra, em Barra, foi considerada uma das melhores praias do mundo. A Itaipava Arena Fonte Nova foi o local dos jogos da cidade durante a Copa do Mundo de 2014 e a Copa das Confederações de 2013.
Salvador forma o coração do Recôncavo, o rico distrito marítimo agrícola e industrial da Bahia, e continua sendo um importante porto brasileiro. Sua área metropolitana, que abriga 3 899 533 pessoas (2018), é a mais rica da região Nordeste do Brasil (2015).
O Aeroporto Deputado Luís Eduardo Magalhães conecta Salvador a todas as principais cidades brasileiras e também opera vários vôos internacionais.
Instituto de Matemática e Estatística - UFBA Av. Adhemar de Barros, s/n, Campus Universitário de Ondina
+55 (71) 3283-6300
