Prezados, Está aberto o período para submissões no I Workshop Escola de Inverno em Teoria da Computação. Trata-se de um evento com foco no público discente que será realizado no Instituto de Computação da Universidade Federal Fluminense. Por favor, divulguem para seus alunos.
Abraços, Bruno. ! I Workshop Escola de Inverno em Teoria da Computação http://www2.ic.uff.br/~frame/index.php?n=Main.WEITC De 1 a 4 de agosto de 2017 o Instituto de Computação da Universidade Federal Fluminense sediará o I Workshop Escola de Inverno em Teoria da Computação (WEITC). Trata-se de um evento voltado ao público discente e/ou recém-graduado. O evento visa congregar estudantes de graduação e pós-graduação de todo o país em torno da área de Teoria da Computação. Serão realizados quatro tutoriais e oito palestras proferidos por pesquisadores convidados de diversos países, além de sessões técnicas (com apresentações orais e em pôsteres) voltadas a estudantes de iniciação científica, trabalhos de conclusão de curso, mestrado e doutorado. Os trabalhos apresentados serão publicados em um livro de anais. Trata-se de uma iniciativa voltada ao publico discente da área de Teoria da Computação com o intuito de propiciar aos alunos a participação em um evento no qual possam apresentar suas pesquisas, receber críticas e sugestões, além de conhecer pesquisas diversas na área, ampliando sua visão acadêmica. !! Áreas de interesse Todas as áreas relacionadas a aspectos teóricos da computação são bem-vindas. Exemplos de áreas típicas são: * Algoritmos * Linguagens de programação * Lógica * Métodos Formais * Otimização e Combinatória * Teoria das Categorias * Teoria dos Grafos !! Submissão de trabalhos A submissão será por resumos de até uma página em inglês ou português. São bem-vindos trabalhos concluídos e/ou em desenvolvimento. Os resumos devem ser preparados em LaTeX (submetidos em PDF) conforme o estilo do Workshop (disponível na página do evento). As submissões devem ser feitas pelo Easy Chair em https://easychair.org/conferences/?conf=weitc2017 . !! Datas importantes * Deadline para submissões: 10 de julho de 2017. * Início do evento: 01 de agosto de 2017. !! Inscrições O evento será *gratuito*. Para realizar sua inscrição, preencha o formulário de inscrição em https://goo.gl/forms/32ejZPew5aYlbJYa2 . !! Programação Em breve… !! Palestrantes confirmados * Alfio Martini (PUCRS, Brasil) * Cláudia Nalon (UnB, Brasil) * Eduardo Uchoa (UFF, Brasil) * Gilles Dowek (INRIA, França) * Jean-Baptiste Joinet (Université Jean Moulin, França) * Narciso Martí-Oliet (Universidad Complutense de Madrid, Espanha) * Paolo Pistone (Aix-Marseille Université, França) * Petrucio Viana (UFF, Brasil) !! Comitê Científico * Alexandre Rademaker (IBM Research, Brasil) * Aline Paes (UFF, Brasil) * Bruno Lopes (co-chair - UFF, Brasil) * Carlos Olarte (UFRN, Brasil) * Christiano braga (co-chair - UFF, Brasil) * Cláudia Nalon (UnB, Brasil) * Edward Hermann Haeusler (PUC-Rio, Brasil) * Elaine Pimentel (UFRN, Brasil) * Fábio Protti (UFF, Brasil) * Guilherme Lima (PUC-Rio, Brasil) * Lew Gordeev (Universität Tübingen, Alemanha) * Mario Benevides (UFRJ, Brasil) * Petrucio Viana (UFF, Brasil) * Raquel Bravo (UFF, Brasil) * Renata Freitas (UFF, Brasil) * Ueverton Souza (UFF, Brasil) * Valeria de Paiva (Nuance Communications, EUA) !! Comitê organizador * Bruno Lopes (UFF, Brasil) * Christiano Braga (UFF, Brasil) !! Apoio * CAPES * CNPq * UFF !! Contato Para mais informações, por favor entre em contato em [email protected] . -- Bruno Lopes http://www.ic.uff.br/~bruno <http://www.ic.uff.br/~bruno> -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/E8949947-601D-49C7-A6AF-4DCF31C2C77D%40gmail.com.
