Grupo de Lógica Matemática do IME - UFF

English version


Grupo . Seminários . Eventos . Disciplinas . Publicações . Textos/Slides


Pesquisadores

Renata de Freitas, IME-UFF

freitas at vm.uff.br

Petrucio Viana, IME-UFF

petrucio at cos.ufrj.br


Colaboradores
Alunos de Iniciação Científica
  • Sergio Bastos, PIBIC
  • Laiz Valim, PIBIC
Alumni

topo
Seminários

*** Reiniciaremos nossa série de seminários depois do EBL 2014. ***

2013b . 2013a . 2012b . 2012a . 2011b . 2011a . 2010b . 2010a . 2009a . 2008b . 2008a . 2007b . 2007a . 2006 . 2005


topo
Eventos

EBL 2014
17th Brazilian Logic Conference

April 7-11, 2014
Petrópolis, Brazil
III Logic School
April 5-6, 2014
Niterói, Brazil


Diagrams 2014
The 8th International Conference on the Theory and Application of Diagrams

July 28 - August 1st, 2014
Swinburne University, Melbourne, Australia


ED 2014
4th International Workshop on Euler Diagrams

July 28, 2014
Swinburne University, Melbourne, Australia


WoLLIC 2014
21st Workshop on Logic, Language, Information and Computation

September 1-4, 2014
Valparaiso, Chile


LSFA 2014
9th Workshop on Logical and Semantic Frameworks, with Applications

September 8-9, 2014
Brasília, Brazil


topo
Disciplinas

topo
Publicações recentes
  • Renata de Freitas, Petrucio Viana, The second Venn diagrammatic system, Diagrams 2014, accepted for presentation.

  • 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]


topo
Textos/Slides
  • Venn Diagrams for Boolean Algebra, II Workshop on Logic and Semantics Ilha Grande, August 26-30, 2013 [slides].

  • IMLA'2013 paper [pdf].

  • 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.


Atualizada em 24/3/2014.