Calendário
    2024

Events
    WoLLIC'25

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
  • Associate Editor, Journal of Computer and System Sciences
  • Membro do Corpo Editorial do Journal of Applied Logics, College Publications, Kings College, London, UK.
  • Coordenador do Interest Group in Pure and Applied Logics
  • Membro do Corpo Editorial do South American Journal of Logic
  • Membro do Corpo Editorial do The International Directory of Logicians
  • 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.

    Posições Anteriores

  • Membro (Elected Member-at-Large, 2009) 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, 2018, 2019, 2022) (Real Academia de Ciências da Suécia)
  • Membro do Comitê de Premiação do E.W. Beth Dissertation Prize (2012-2016)
  • Membro do 2020, 2021, 2022 IEEE John von Neumann Medal Committee.

    Á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 (Jan-Jun 2006) (indicado por Solomon Feferman (Rolf Schock Prize 2003) e Grigori Mints)

    Livro:
    The Functional Interpretation of Logical Deduction
    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. DOI https://doi.org/10.1142/8215 (flyer) (Buy it from 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 2024     LNCS Proceedings of WoLLIC 2023     LNCS Proceedings of WoLLIC 2022     LNCS Proceedings of WoLLIC 2021     LNCS Proceedings of WoLLIC 2019     LNCS Proceedings of WoLLIC 2018     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
    AML Special Issue of WoLLIC 2018     AML Special Issue of WoLLIC 2019     AML Special Issue of WoLLIC 2017     APAL Special Issue of WoLLIC 2016     MSCS Special Issue of WoLLIC 2015     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: 10 Setembro 2024, 09:56am GMT-3.