25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018)

Abstract

Workshop on Logic, Language, Information and Computation (WoLLIC) was held in Bogotá, Colombia, 24–27 July 2018, in the Departamento de Matemáticas of the Universidad de los Andes. 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 that 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 (Rio Grande do Norte, 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 (CA, 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, Puebla in 2016, London in 2017. It is planned that the meeting will take place in: 2019 in Utrecht, 2020 in Arequipa, 2021 in Chennai (tbc).