Mathematical Logic Group at IME-UFF

Mathematical Logic Group, IME - UFF


Group . Events . Publications
versão em português

Leader

Petrucio Viana, IME-UFF
petrucio at cos.ufrj.br

Students

  • Leonara Alves, PIBIC/CNPq
  • Sergio Felipe, IC
  • Carolina Guimaraes, PBDA/UFF
  • Rodolfo Martins, PIBIC-EM/CNPq
  • Rodrigo Souto, PIBIC/CNPq
  • Laiz Valim, PIBIC/CNPq

Guests


top

Events

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

III CBSF
Terceiro Congresso Brasileiro de Sistemas Fuzzy

August 17-20, 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

CLA 2014
XX Coloquio Latinoamericano de Álgebra

December 8-12, 2014
Lima, Peru

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


top

Recent publications

  • Marcia R. Cerioli, Hugo Nobrega and Petrucio Viana, Decompositions by maxclique separators. Discrete Mathematics 337:119-126, 2014, doi:10.1016/j.disc.2014.07.020.

  • Juliana Küster Filipe Bowles and Petrucio Viana, On distributed stochastic logics for mobile systems. U. Kohlenbach et al. (Eds.): WoLLIC 2014, LNCS 8652:195-205, 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, pp. 49-62.

  • Renata de Freitas and Petrucio Viana, The second Venn diagrammatic system. T. Dwyer et al. (Eds.): Diagrams 2014, LNAI 8578:295-309, 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.


Last Updated: 12/16/2014.