Calendar
    2018
    2017

Events
    WoLLIC'17
    WoLLIC'16
    LFCS'18

Organisations
    ASL
    IGPL
    FoLLI
    WoLLIC

Projects
    Model Th.
    Proof Th.

Publications
    Books
    Ed. Vol.
    Papers
    Other

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

Postgraduate
    Programmes
    Supervision

Admin
   Final-yr. Proj.

Personal


Ruy J. Guerra B. de Queiroz

Centro de Informática, Universidade Federal de Pernambuco


Current position

  • Professor, Univ. Federal de Pernambuco (UFPE)
  • Member of the Theory Group, CIn-UFPE
  • Co-Editor-in-Chief, Logic Journal of the IGPL, Oxford U. Press
  • Coordinator of the Interest Group in Pure and Applied Logics
  • Member of the Editorial Board of The International Directory of Logicians
  • Associate Editor, Journal of Computer and System Sciences
  • (Elected) Former Member of the Council of Association for Symbolic Logic
  • Member (2011-2016) of the Committee on Logic in Latin America of Association for Symbolic Logic
  • Member of the Advisory Group to the Rolf Schock Prize in Logic and Philosophy (2008, 2011, 2014, 2017) Prize Committee (Royal Swedish Academy of Sciences)
  • Member of the Editorial Board of LNCS-FoLLI series, Springer.
  • Member of the Scientific Committee of the series Cadernos de Lógica e Computação, College Publications, Kings College, London, UK.

    Research interests
    Logical Foundations of Computation, Proof Theory, Model Theory, Logic and Complexity Theory (Proof Complexity, Descriptive Complexity), Foundations of Cybersecurity.

    International Award
    Stanford "Edward Larocque Tinker" Visiting Professorship (nominated by Solomon Feferman (Rolf Schock Prize 2003) and Grigori Mints)

    Book:

    Insert your error message here, if the PDF cannot be displayed.

    de Queiroz, R., de Oliveira, A., & Gabbay, D.: 2011, The Functional Interpretation of Logical Deduction. Vol. 5 of Advances in Logic series. Imperial College Press / World Scientific, Oct 2011. ISBN 978-981-4360-95-1. (flyer) (Buy it from Amazon)

    Recent editorial contributions

    Edited Books
    Logic for Concurrency and Synchronisation    

    As a Collaborating Editor
    Proofs, Categories and Computations - Essays in Honor of Grigori Mints    

    Proceedings
    LNCS Proceedings of WoLLIC 2017     LNCS Proceedings of WoLLIC 2016     LNCS Proceedings of WoLLIC 2015     LNCS Proceedings of WoLLIC 2014     LNCS Proceedings of WoLLIC 2013     LNCS Proceedings of WoLLIC 2012     LNCS Proceedings of WoLLIC 2011     LNCS Proceedings of WoLLIC 2010     LNCS Proceedings of WoLLIC 2009     LNCS Proceedings of WoLLIC 2008     LNCS Proceedings of WoLLIC'2007    

    Special Issues of Journals
    I&C Special Issue of WoLLIC 2014     JCSS Special Issue of WoLLIC 2013     TCS Special Issue of WoLLIC 2012     JCSS Special Issue of WoLLIC 2011     JCSS Special Issue of WoLLIC 2010     FI Special Issue of WoLLIC 2009     JCSS Special Issue of WoLLIC 2008     I&C Special Issue of WoLLIC 2007     I&C Special Issue of WoLLIC 2006     APAL Special Issue of WoLLIC 2005     ENTCS Proceedings of WoLLIC'2006     WoLLIC'2004 Special Issue of TCS     WoLLIC'2003 Special Issue of TCS     ENTCS Proceedings of WoLLIC'2005     WoLLIC'2002 Special Issue of APAL     ENTCS Proceedings of WoLLIC'2004     ENTCS Proceedings of WoLLIC'2003     ENTCS Proceedings of WoLLIC'2002     WoLLIC 2001 Special Issue of Matemática Contemporânea

    Translations
                   


    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: July 21, 2017, 01:08pm GMT-3.