Primeira Chamada de Trabalhos WEIT 2011 - Workshop-Escola de Informática Teórica
**** Data limite para submissão de artigos: 20/06/2011 **** No período de 24 a 26 de Agosto de 2011 estaremos realizando o WEIT 2011 - o Primeiro Workshop-Escola de Informática Teórica, uma promoção conjunta da Universidade Federal de Pelotas (UFPEL) e da Universidade Federal do Rio Grande (FURG), através do Programa de Pós-Graduação em Computação (PPGC-UFPEL) e do Programa de Pós-Graduação em Modelagem Computacional (PPGMC-FURG). O WEIT será realizado no Campus da UFPEL. O WEIT, que nesta primeira edição terá um caráter regional, tem por objetivo divulgar e promover aspectos teóricos da computação, procurando congregar estudantes e pesquisadores, aproximando-os através de dois tipos de atividades: - a parte Escola, que visa oferecer cursos e tutoriais para estudantes de graduação e pós-graduação; - a parte Workshop, que oferecerá tanto palestras convidadas de pesquisadores importantes de nosso país, assim como abrirá espaço para submissão de trabalhos técnicos de pesquisa de estudantes e pesquisadores. Confira a programação de cursos, tutoriais e palestras convidadas no website do evento. É com imenso prazer que gostaríamos de convidá-lo a submeter um trabalho para o Workshop, cujos tópicos de interesse são (não exclusivamente): * Algoritmos exatos e aproximativos * Análise estática * Análise de algoritmos * Autômatos temporais * Categorias * Conjuntos e Lógica Fuzzy * Complexidade de problemas * Domínios * Especificação Formal * Gramática de grafos * Instituições * Linguagens Formais e Autômatos * Lógica para computação * Fundamentos de Matemática Intervalar * Matemática Discreta * Meta-heurísticas * Modelos probabilísticos * Modelos de computação * Otimização combinatória * Prova Interativa de Teoremas * Redes de Petri * Semântica de linguagens orientadas a agentes * Semântica formal * Sistemas de Conseqüência * Sistemas de tipos * Sistemas Dinâmicos a Eventos Discretos * Teoria da Informação * Verificação de modelos * Verificação de programas Formato para submissões: Os artigos devem ser escritos em português ou inglês. Os artigos devem limitar-se a 12 páginas, incluindo resumo, abstract, figuras e referências. A formatação do texto deve seguir o padrão da SBC, disponível em http://www.sbc.org.br/ A submissão deve ser nos formatos Postscript (usar Generic Postscript) ou PDF (Portable Document Format). Datas limites: 20/06/2011: data limite para submissão de artigos 29/07/2011: comunicação dos resultados 08/08/2011: data limite para envio da versão final dos artigos Web-site: http://ppgc.ufpel.edu.br/weit2011 Coordenação Geral: Simone André da Costa (UFPEL) Antônio Carlos da Rocha Costa (FURG) Coordenadores de Comitê de Programa: Luciana Foss (UFPEL) Graçaliz Pereira Dimuro (FURG) Coordenador Local: Marilton Sachotene de Aguiar (UFPEL) Comitê de Programa (preliminar): * Adriano Velasque Werhli (FURG) * Alessandro de Lima Bicho (FURG) * Alfio Ricardo de Brito Martini (PUCRS) * Aline Brum Loreto (UFPEL) * Alvaro Freitas Moreira (UFRGS) * Ana Paula Lüdtke Ferreira (UNIPAMPA BAGÉ) * André Rauber Du Bois (UFPEL) * Antônio Carlos da Rocha Costa (FURG) * Carlos Amaral Hölbig (UPF) * Carlos Antônio Pereira Campani (UFPEL) * Dalcídio Moraes Cláudio (PUCRS) * Daltro José Nunes (UFRGS) * Eder Gonçalves (FURG) * Fernando Luís Dotti (PUCRS) * Graçaliz Pereira Dimuro (FURG) * Juliana Kaizer Vizzotto (UFSM) * Laira Vieira Toscani (UFRGS) * Leila Ribeiro (UFRGS) * Leonardo Emmendorfer (FURG) * Liara Aparecida dos Santos Leal (PUCRS) * Luciana Foss (UFPEL) * Luciana Salete Buriol (UFRGS) * Lucio Mauro Duarte (UFRGS) * Marcus Rolf Petter Ritt (UFRGS) * Marilton Sanchotene de Aguiar (UFPEL) * Odorico Machado Mendizabal (FURG) * Rafael Heitor Bordini (UFRGS) * Renata Reiser (UFPEL) * Ricardo Matsumura Araujo (UFPEL) * Simone A. da Costa Cavalheiro (UFPEL) -- Antônio Carlos da Rocha Costa - C3/PPGMC/FURG Centro de Ciências Computacionais Prog. Pós-grad. Modelagem Computacional Universidade Federal do Rio Grande 96.201-900 Rio Grande, RS, Brasil. http://www.rocha.c3.furg.br <http://rocha.c3.furg.br> _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
