Calendar
    2017
    2016

Events
    WoLLIC'16
    WoLLIC'15
    LFCS’16

Events
    LFCS'13

Organisations
    ASL
    IGPL
    FoLLI
    WoLLIC

Projects
    Models
    Proofs

Publications
    Books
    Edited Volumes
    Papers
    Other

Teaching
    Logic for CS
    Theor. Inf.
    Set Th.
    Crypto

Personal


Ruy J. Guerra B. de Queiroz

Centro de Informática, Universidade Federal de Pernambuco


Current involvements

PhD Programmes

  • Doctorate in Informatics, CIn-UFPE.


    Last modified: Feb 3, 2016, 11:31am GMT-3.