WoLLIC 2016 was held in Puebla, Mexico, August 16–19, 2016, in the campus of Benemerita Universidad Autonoma de Puebla (BUAP).

WoLLIC (http://wollic.org) is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants. Previous versions were held at: Recife (Pernambuco, Brazil) in 1994 and 1995; Salvador (Bahia, Brazil) in 1996; Fortaleza (Ceará, Brazil) in 1997; São Paulo (Brazil) in 1998; Itatiaia (Rio de Janeiro, Brazil) in 1999; Natal (RN, Brazil) in 2000; Bras´ılia (Distrito Federal, Brazil) in 2001; Rio de...

Article PDF first page preview

Article PDF first page preview
Article PDF first page preview
You do not currently have access to this article.