Calendar
    2013
    2012

Events
    WoLLIC'11

Organisations
    ASL
    IGPL
    FoLLI
    WoLLIC

Projects
    Models
    Proofs

Publications
    Books
    Edited Volumes
    Papers
    Other

Teaching
    Logic for CS
    Theor. Inf.
    Conjuntos
    Crypto

Postgraduate
    Programmes
    Supervision


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: Feb 2, 11:12am GMT-3.