834 publications found
Sort by
23rd Workshop on Logic, Language, Information and Computation (<i>WoLLIC 2016</i>)

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).