Calendar
    2018
    2017

Events
    WoLLIC'17
    WoLLIC'16
    LFCS'18

Organisations
    ASL
    IGPL
    FoLLI
    WoLLIC

Projects
    Models
    Proofs

Publications
    Books
    Edited Volumes
    Papers
    Other

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

Postgraduate
    Programmes
    Supervision

Admin
   Trab. Grad.


Ruy J. Guerra B. de Queiroz

(Personal information)

Preferred way of spending my free time:

  • since Lucas (my first son) was born in Aug'96, and Pedro in Mar'2002, we (myself and Ju) spend most of our free time enjoying their company.

    Still want to do, but don't know when:

  • seeing Nepal, Tibet and the Himalayas;
  • travelling accross India.

    Looking forward to:

  • seeing Tibet free of Chinese dominance.

    Passion for football:
          
          Clube Náutico Capibaribe

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