2016/11/03 by Jouko Väänánen, Ruy de Queiroz, Mauricio Osorio Galindo +2 · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1093/jigpal/jzw063
openalex publication_date 2016/11/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/06/16
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 Janeiro (Brazil) in 2002; Ouro Preto (Minas Gerais, Brazil) in 2003; Fontainebleau (France) in 2004; Florianópolis (Santa Catarina, Brazil) in 2005; Stanford (California, USA) in 2006; Rio de Janeiro in 2007; Edinburgh in 2008; Tokyo in 2009; Brasılia in 2010; Philadelphia in 2011; Buenos Aires in 2012; Darmstadt in 2013; Valparaiso in 2014; Bloomington (IN) in 2015. It is planned that the meeting will take place in: 2017 in London, 2018 in Bogotá, 2019 in Utrecht, 2020 in Arequipa, 2021 in Chennai (tbc).