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

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


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

Pesquisadores

Renata de Freitas, IME-UFF
freitas at vm.uff.br
Currículo Lattes

Petrucio Viana, IME-UFF
petrucio at cos.ufrj.br
Currículo Lattes

Colaboradores

Alunos de Iniciação Científica

  • Sergio Felipe, PIBIC
  • Laiz Valim, PIBIC

Alumni


topo

Disciplinas


topo

Eventos

SLALM 2014
16th Latin American Symposium on Mathematical Logic

July 28 - August 1, 2014
Buenos Aires- Argentina

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

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

ED 2014
4th International Workshop on Euler Diagrams

July 28, 2014
Swinburne University, Melbourne, Australia

III CBSF
Terceiro Congresso Brasileiro de Sistemas Fuzzy

17 a 20 de agosto de 2014
João Pessoa, PB

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

Specifying, programming and verifying in Maude
A short-course by Professor Narciso Martí Oliet
(Universidad Complutense de Madrid)
22 a 26 de setembro de 2014
Instituto de Computação, UFF, Niterói, RJ

VII Semana da Matemática da UFF
16 a 18 de outubro de 2014
Niterói, RJ

1st Indian Winter School on Diagrams
January 27-31, 2015
Jadavpur University, Kolkata, India


topo

Publicações recentes

  • Juliana Küster Filipe Bowles and Petrucio Viana, On distributed stochastic logics for mobile systems. U. Kohlenbach et al. (Eds.): WoLLIC 2014, LNCS 8652, pp. 195-205. Springer, Heidelberg (2014).

  • Renata de Freitas, Leandro Suguitani and Petrucio Viana, Relation algebras throughout Galois connections. Forthcoming in V. Punochá and P. Danák (Eds.): The Logica Yearbook 2013. College Publications, London (2014): 49-62.

  • Renata de Freitas and Petrucio Viana, The second Venn diagrammatic system. T. Dwyer et al. (Eds.): Diagrams 2014, LNAI 8578, pp. 295-309. Springer, Heidelberg (2014).

  • Renata de Freitas and Petrucio Viana, A graph calculus for proving intuitionistic relation algebraic equations. Diagrams 2012, LNAI 7352:324-326 (2012).

  • Marcia R. Cerioli, Hugo Nobrega and 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 and 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 and 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 and Petrucio Viana, Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. LSFA'10, ENTCS 269:95-107 (2011).

  • Marcia R. Cerioli, Hugo Nobrega and 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 and Carla Delgado, On Vague Notions and Modalities: a modular approach. Logic Journal of the IGPL 18:381-402 (2010), doi:10.1093/jigpal/jzp041.


topo

Seminários

*** Reiniciaremos nossa série de seminários depois da Copa. ***

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


topo

Textos/Slides

  • Renata de Freitas e Petruco Viana, A graph calculus for proving intuitionistic relation algebraic equations, IMLA'2013 [texto].

  • Petrucio Viana, Validade, Forma e Conteúdo de Argumentos. Manuscrito, 2012 [texto, versão preliminar].

  • Renata de Freitas e Petrucio Viana, Curso Básico de Lógica Matemática. Manuscrito, 2012 [texto, versão preliminar].

  • Márcia Cerioli e Petrucio Viana, Introdução à Combinatória de Contagem. Minicurso, II Colóquio de Matemática da Região Sul, Universidade Estadual de Londrina, 2012 [texto].

  • Renata de Freitas e Petrucio Viana, Métodos de Prova. Minicurso, II Colóquio de Matemática da Região Sul, Universidade Estadual de Londrina, 2012 [texto] [Aula 1] [Aula 2] [Aula 3] [Aula 4].

  • 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, versão estendida].

  • 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 [texto].


Atualizada em 21/7/2014.