Calendar
    2017

Events
    WoLLIC'17
    WoLLIC'16
    LFCS'16

Organisations
    ASL
    IGPL
    FoLLI
    WoLLIC

Projects
    Models
    Proofs

Publications
    Books
    Edited Volumes
    Papers
    Other

Teaching
    Logic for CS
    Theor. Inf.
    Cat Th.
    Lambda C.
    Security

Postgraduate
    Programmes
    Supervision

Personal

cin.gif (2255 bytes)

Ruy J. Guerra B. de Queiroz

Centro de Informática, Universidade Federal de Pernambuco


2016 Away dates

  • Aug 16-19, 2016 WoLLIC 2016, Puebla, Mexico.


    Postal Address:
    Centro de Informática
    Universidade Federal de Pernambuco

    Av Jornalista Anibal Fernandes, s/n
    Cidade Universitária
    50740-560 Recife, PE, BRAZIL

    Tel.: (+55 81) 2126 8430.
    Fax: (+55 81) 2126 8438.

    ruy at cin ufpe br

    Last modified: Nov 30, 2016, 09:18am GMT-3.