Calendário
    2019
    2018

Eventos
    WoLLIC'18
    WoLLIC'17
    LFCS'18

Associações
    ASL
    IGPL
    FoLLI
    WoLLIC

Projetos
    Model Th.
    Proof Th.

Publicações
    Livros
    Vol. Org.
    Artigos
    Outros

Ensino
    Lógica
    Inf.Teór.
    Bitcoin
    Cripto

Pós-Grad.
    Programas
    Orientação

Pessoal


Ruy J. Guerra B. de Queiroz

Centro de Informática, Universidade Federal de Pernambuco

Posição Atual

  • Professor Titular, Univ. Federal de Pernambuco (UFPE)
  • Membro do Grupo de Teoria, CIn-UFPE
  • Co-Editor-in-Chief, Logic Journal of the IGPL, Oxford U. Press
  • Coordenador do Interest Group in Pure and Applied Logics
  • Membro do Corpo Editorial do The International Directory of Logicians
  • Associate Editor, Journal of Computer and System Sciences
  • Ex-Membro (Eleito) do Council da Association for Symbolic Logic
  • Membro (2011-2016) do Committee on Logic in Latin America da Association for Symbolic Logic
  • Membro do "Advisory Group" do Comitê de Premiação do Rolf Schock Prize in Logic and Philosophy (2008, 2011, 2014, 2017) (Real Academia de Ciências da Suécia)
  • Membro do Corpo Editorial da LNCS-FoLLI series, Springer.
  • Membro da Comissão Científica da série Cadernos de Lógica e Computação, College Publications, Kings College, London, UK.

    Áreas de interesse
    Fundamentos Lógicos da Computação, Teoria da Prova, Teoria dos Modelos, Lógica e Teoria da Complexidade (Complexidade de Provas, Complexidade Descritiva), Fundamentos da Cibersegurança.

    Blogs
    Cibersegurança e O Domínio Público
    Os Ventos da Liberdade

    Prêmio Internacional
    Stanford "Edward Larocque Tinker" Visiting Professorship (indicado por Solomon Feferman (Rolf Schock Prize 2003) e Grigori Mints)

    Livro:

    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) (Compre-o na Amazon)

    Contribuições editoriais recentes

    Livros Organizados
    Logic for Concurrency and Synchronisation    

    Como Colaborador
    Proofs, Categories and Computations - Essays in Honor of Grigori Mints    

    Anais
    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    

    Números Especiais de Revistas
    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

    Traduções
                       

    Endereço Postal:
    Centro de Informática
    Universidade Federal de Pernambuco
    Av Jornalista Anibal Fernandes, s/n
    Cidade Universitária
    50740-560 Recife, PE
    Tel.: (+55 81) 2126 8430.
    Fax: (+55 81) 2126 8438
    ruy at cin ufpe br

    Última modificação: 13 Março 2018, 10:59am GMT-3.