Renata de Freitas, IME-UFF freitas at vm.uff.br	Petrucio Viana, IME-UFF petrucio at cos.ufrj.br

• Leandro Suguitani, CLE-UNICAMP
  

• Sergio Bastos, PIBIC

  *** trabalho selecionado entre os 10 melhores da área de Ciências Exatas e da Terra, no Prêmio Vasconcelos Torres 2012 ***

• Danilo Souza, PIBIC

• Marcos Leal, GAN
• Suzana Carvalho, GAN
• Víviann Magaly, GAN

• Benjamin Bedregal, DIMAp-UFRN
  
• Carlos Lopez Pombo, Universidad de Buenos Aires
  
• Hugo Nobrega, ILLC, UvA
  
• Jean-Yves Béziau, IFCS-UFRJ
  
• João Marcos, DIMAp-UFRN
  
• Marcelo Correa, IME-UFF
  
• Márcia Cerioli, IM/PESC-UFRJ
  
• Regivan Santiago, DIMAp-UFRN
  

Semanalmente, às segundas, 11h, na Sala de Seminários do GAN (IME-UFF, 4o. andar).

• 06/05/2013
  Petrucio Viana (UFF)
  
  

• GAN 00140 - Álgebra Linear, para o curso de Bacharelado em Ciência da Computação
  

• Matemática Discreta
  

  • GAN 00167 - Matemática Discreta, para o curso de Bacharelado em Ciência da Computação
    
  • GAN 00170 - Matemática Discreta I, para o curso de Bacharelado em Sistemas de Informação

• Lógica para Ciência da Computação
  

  • GAN 00166 - Lógica para Ciência da Computação, para o curso de Bacharelado em Ciência da Computação
    
  • GAN 00171 - Lógica para Ciência da Computação I, para o curso de Bacharelado em Sistemas de Informação

• GAN 00175 - Introdução à Lógica Matemática, para os cursos de Licenciatura e Bacharelado em Matemática

• GAN 04130 - Lógica Matemática, para os cursos de Licenciatura e Bacharelado em Matemática

• Renata de Freitas, Petrucio Viana, A graph calculus for proving intuitionistic relation algebraic equations, Diagrams 2012, LNAI 7352:324-326 (2012).
  
  
• Marcia R. Cerioli, Hugo Nobrega, Petrucio Viana, On characterizations by nice forbidding sets, European Conference on Combinatorics,Graph Theory and Applications (EuroComb'11), Budapest, August 29-September 2, 2011.
  
  
• Marcia R. Cerioli, Hugo Nobrega, Petrucio Viana, A partial characterization by forbidden subgraphs of edge path graphs, 10th Cologne-Twente Workshopon graphs and combinatorial optimization, Villa Mondragone, Frascati, June 14-16, 2011.
  
  
• Marcia R. Cerioli, Hugo Nobrega, Petrucio Viana, Characterizations by nice forbidding sets. In Brazilian Logic Conference, 2011, Petrópolis. XVI EBL - 16th Brazilian Logic Conference - Abstracts, 2011, p. 102.
  
  
• Mario Benevides, Renata de Freitas e Petrucio Viana, Propositional Dynamic Logic with Storing, Recovering and Parallel Composition, LSFA'10, ENTCS 269:95-107 (2011).
  
  
• Marcia R. Cerioli, Hugo Nobrega, Petrucio Viana, Decompositions by maxclique separators, 4th Latin American Workshop on Cliques in Graphs (LawCliques'10), Itaipava, November 16-19, 2010.
  
  
• Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana, Renata de Freitas, Mario Benevides e Carla Delgado, On Vague Notions and Modalities: a modular approach, Logic Journal of the IGPL 18:381-402 (2010), doi:10.1093/jigpal/jzp041.
  
  
• Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana, A calculus for graphs with complement, Diagrams 2010, LNCS 6170:84-98 (2010).
  
  
• Renata de Freitas et al., On graph reasoning, Information and Computation 207:1000-1014 (2009), doi:10.1016/j.ic.2008.11.004.
  
  
• Renata de Freitas, Sheila R.M. Veloso, Paulo A.S. Veloso, Petrucio Viana, Positive Fork Graph Calculus. In Proceedings of the International Symposium on Logical Foundations of Computer Science (LFCS'09), 3-6 January 2009, Deerfield Beach, FL, USA, Lectures Notes in Computer Science (LNCS) 5407:152-163, 2009, ISSN 0302-9743, DOI 10.1007/978-3-540-92687-0. [slides]
  
  
• Renata de Freitas, Petrucio Viana, Introducing Polymodal Neighbourhood Logics. In Proceedings of the Third Workshop on Logical and Semantic Frameworks, with Applications (LSFA'08), 26 August 2008, Salvador, BA, E. Pimentel and M. Benevides (eds.), Electronic Notes in Theoretical Computer Science 247:51-66 (2009).
  
  
• Renata de Freitas, Petrucio Viana, A note on proofs with graphs, Science of Computer Programming 73:129-135 (2008), DOI 10.1016/j.scico.2008.08.002.
  
  
• Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana, On a Graph Calculus for Algebras of Relations. In Proceedings of the 15th Workshop on Logic, Language, Information and Computation (WoLLIC'08), 1-4 July 2008, Edimburgo, Escócia, Lectures Notes in Artificial Intelligence (LNAI) 5110:298-312, 2008. [slides]
  
  
• Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana, Positive Fork Graph Calculus. In Annals of XV Brazilian Logic Conference (EBL'08) / XIV Latin-American Symposium on Mathematical Logic (SLALM'08), 11-17 May 2008, Paraty, RJ. [slides]
  
  
• Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana, On Positive Relational Calculi, Logic Journal of the IGPL, vol. 15, pp. 577-601, 2007, DOI 10.1093/jigpal/jzm054.
  
  
• Paulo A.S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides, Sheila R.M. Veloso, On Fork Arrow Logic and its Expressive Power, Journal of Philosophical Logic, vol. 36(5), 2007, pp. 489-509, DOI 10.1007/s10992-006-9043-x.
  

• UNILOG'2013 Tutorial [day 1] [day 2].
  
  
• Petrucio Viana, Validade, Forma e Conteúdo de Argumentos. Manuscrito, 2012.
  
  
• Graph Calculi for Algebras of Relations [slides].
  
  
• Curso Básico de Lógica Matemática [texto].
  
  
• Minicurso Introdução aos Métodos de Prova, Semana da Matemática 2012, UFF [slides].
  
  
• RA-Galois Connections [slides].
  
  
• Márcia Cerioli, Renata de Freitas e Petrucio Viana, Princípio das Casas de Pombo, Jornal DáLicença 48, UFF, Niterói, 2011, pp. 8-9 [texto completo].
  
  
• Minicurso de Métodos de Prova, II Colóquio de Matemática da Região Sul, Universidade Estadual de Londrina, 2012 [Livrinho] [Aula 1] [Aula 2] [Aula 3] [Aula 4].
  
  
• Palestra Introdução aos Métodos de Prova, Semana Acadêmica 2011, UFF [slides].
  
  
• Marcus Vinicius Angelo Reis e Petrucio Viana (orientador), Contando por Princípios, monografia do Curso de Especialização em Matemática para Professores do Ensino Médio, UFF, Niterói, 2010.