Ruy de Queiroz

Ruy de Queiroz Ruy J. Guerra B. de Queiroz (born January 11, 1958, in Recife) is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July.

Ruy de Queiroz received his B.Eng in Electrical Engineering from Escola Politecnica de Pernambuco in 1980, his M.Sc in Informatics from Universidade Federal de Pernambuco in 1984, and his Ph.D. in Computing from the Imperial College, London in 1990, for which he defended the Dissertation ''Proof Theory and Computer Programming. An Essay into the Logical Foundations of Computation''. Provided by Wikipedia
Showing 1 - 8 results of 8 for search 'Queiroz, Ruy de', query time: 0.03s Refine Results
  1. 1
    Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
    Published 2008
    Other Authors: “…Queiroz, Ruy de…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /
    Published 2010
    Other Authors: “…Queiroz, Ruy de…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings /
    Published 2007
    Other Authors: “…Queiroz, Ruy de…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings /
    Published 2012
    Other Authors: “…Queiroz, Ruy de…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings /
    Published 2011
    Other Authors: “…Queiroz, Ruy de…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /
    Published 2009
    Other Authors: “…Queiroz, Ruy de…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
    Published 2013
    Other Authors: “…Queiroz, Ruy de…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
    Published 2014
    Other Authors: “…Queiroz, Ruy de…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search