2016/07/07 by Valeria de Paiva, Larry Moss, Daniël Leivant +1 · 1 citation
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification
paper · doi:10.1093/jigpal/jzw014
openalex publication_date 2016/07/07 · openalex created_date 2016/09/23 · openalex updated_date 2026/06/16
WoLLIC 2015 was held in Bloomington, Indiana, USA, 20–23 July 2015, in the campus of Indiana University. 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. It is planned that the meeting will take place in: 2016 in Puebla (Mexico), 2017 in Utrecht, 2018 in Bogotá, 2019 in Chennai (tbc), 2020 in Arequipa.