Calendar
    2018
    2017

Events
    WoLLIC'17
    WoLLIC'16
    LFCS'16

Organisations
    ASL
    IGPL
    FoLLI
    WoLLIC

Projects
    Models
    Proofs

Publications
    Books
    Papers
    Edited Volumes

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

Students

Personal


Ruy J. Guerra B. de Queiroz

Centro de Informática, Universidade Federal de Pernambuco


Conference Reports
WoLLIC 2007 1-page Conference Report. The Bulletin of Symbolic Logic 14(1):160-161, March 2008.

WoLLIC 2006 1-page Conference Report. The Bulletin of Symbolic Logic 13(3):410-411, September 2007.

WoLLIC 2006 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 14(3):521-531, Oxford University Press, October 2006.

WoLLIC 2005 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 13(6):729-738, Oxford University Press, November 2005.

WoLLIC 2005 1-page Conference Report. The Bulletin of Symbolic Logic 11(4):558-559, December 2005.

WoLLIC 2004 1-page Conference Report. The Bulletin of Symbolic Logic 11(1):120-121, March 2005.

WoLLIC 2004 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 12(4):335-342, Oxford University Press, July 2004.

WoLLIC 2003 1-page Conference Report. The Bulletin of Symbolic Logic 10(2):295-296, June 2004.

WoLLIC 2003 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 11(5):583-593, Oxford University Press, September 2003.

WoLLIC 2002 1-page Conference Report. The Bulletin of Symbolic Logic 9(1):121-122, March 2003.

WoLLIC 2002 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 10(6):679-688, Oxford University Press, November 2002.

WoLLIC 2001 1-page Conference Report. The Bulletin of Symbolic Logic 8(2):319-320, June 2002.

WoLLIC 2001 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 9(5):739-754, Oxford University Press, September 2001.

WoLLIC 2000 1-page Conference Report. The Bulletin of Symbolic Logic 7(2):293-294, June 2001.

WoLLIC 2000 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 9(1):129-140, Oxford University Press, January 2001.

WoLLIC'99 1-page Conference Report. The Bulletin of Symbolic Logic 5(5):424-425, September 1999.

WoLLIC'98 1-page Conference Report. The Bulletin of Symbolic Logic 5(5):422-423, September 1999.

WoLLIC'99 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 7(4):555-566, Oxford University Press, July 1999.

Logic for Concurrency and Synchronisation '98 (2) Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 7(3):413-417, Oxford University Press, May 1999.

WoLLIC'98 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 6(6):917-938, Oxford University Press, November 1998.

Logic, Proofs and Algorithms '98 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 6(4):656-657, Oxford University Press, July 1998.

Logic in Natural Language '98 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 6(4):657-658, Oxford University Press, July 1998.

Logic for Concurrency and Synchronisation '98 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 6(4):658-663, Oxford University Press, July 1998.

WoLLIC'97 1-page Conference Report. The Bulletin of Symbolic Logic 4(2):225-226, June 1998.

WoLLIC'97 Conference Report. In Logic Journal of the Interest Group in Pure and Applied Logics 5(6):859-930, Oxford University Press, November 1997.

WoLLIC'96 1-page Conference Report. The Bulletin of Symbolic Logic 2(3):374, September 1996.

WoLLIC'96 Conference Report. In Journal of the Interest Group in Pure and Applied Logics 4(3):473-527, Max Planck Institut für Informatik, Saarbrücken, June 1996.

WoLLIC'95 Conference Report. In Journal of the Interest Group in Pure and Applied Logics 4(2):309-344, Max Planck Institut für Informatik, Saarbrücken, March 1996.

WoLLIC'94 Conference Report. In Bulletin of the Interest Group in Pure and Applied Logics 3(1):124-146, Max Planck Institut für Informatik, Saarbrücken, March 1995.

Last modified: January 26, 2017, 11:05am GMT-3.