WoLLIC, the Workshop on Logic, Language, Information and Computation is an

academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journals an ...

in the field of pure and applied

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

and

theoretical computer science Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...

. WoLLIC has been organised annually since 1994, typically in June or July; the conference is scientifically sponsored by the

Association for Logic, Language and Information The Association for Logic, Language and Information (FoLLI) is an international, especially European, learned society. It was founded in 1991 "to advance the practicing of research and education on the interfaces between Logic, Linguistics, Comp ...

, the

Association for Symbolic Logic The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is ...

, the

European Association for Theoretical Computer Science The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ...

and the European Association for Computer Science Logic.

Ranking

According t
Computer Science Conference Ranking 2010
the conference is ranked "B" among over 1900 international conferences across the world. It is also ranked "B" o
The CORE Conference Ranking Exercise - CORE Portal (2021)
It is currently ranked 9th (Last 5 years), Field-Rating 1, Algorithms & Theory, a
Microsoft Academic Search - Conferences
O
Google Scholar
the conference gets a score of 11 as its h5-index, and a score of 16 as its h5-median.

History

* 1994:

Recife That it may shine on all ( Matthew 5:15) , image_map = Brazil Pernambuco Recife location map.svg , mapsize = 250px , map_caption = Location in the state of Pernambuco , pushpin_map = Brazil#South A ...

Brazil Brazil ( pt, Brasil; ), officially the Federative Republic of Brazil (Portuguese: ), is the largest country in both South America and Latin America. At and with over 217 million people, Brazil is the world's fifth-largest country by area ...

* 1995:

* 1996:

Salvador Salvador, meaning "salvation" (or "saviour") in Catalan, Spanish, and Portuguese may refer to: * Salvador (name) Arts, entertainment, and media Music *Salvador (band), a Christian band that plays both English and Spanish music ** ''Salvador'' ( ...

* 1997:

Fortaleza Fortaleza (, locally , Portuguese for ''Fortress'') is the state capital of Ceará, located in Northeastern Brazil. It belongs to the Metropolitan mesoregion of Fortaleza and microregion of Fortaleza. It is Brazil's 5th largest city and the t ...

* 1998:

São Paulo São Paulo (, ; Portuguese for 'Saint Paul') is the most populous city in Brazil, and is the capital of the state of São Paulo, the most populous and wealthiest Brazilian state, located in the country's Southeast Region. Listed by the GaWC a ...

* 1999:

Itatiaia Itatiaia () is a Brazilian municipality of the state of Rio de Janeiro. It is located at an altitude of . Its population was 32,064 in 2020 and its area is . The oldest Brazilian national park, Itatiaia National Park (Parque Nacional do Itatiaia, ...

* 2000:

Natal NATAL or Natal may refer to: Places * Natal, Rio Grande do Norte, a city in Brazil * Natal, South Africa (disambiguation), a region in South Africa ** Natalia Republic, a former country (1839–1843) ** Colony of Natal, a former British colony ...

* 2001: Brasilia,

* 2002:

Rio de Janeiro Rio de Janeiro ( , , ; literally 'River of January'), or simply Rio, is the capital of the state of the same name, Brazil's third-most populous state, and the second-most populous city in Brazil, after São Paulo. Listed by the GaWC as a b ...

* 2003:

Ouro Preto Ouro Preto (, ''Black Gold''), formerly Vila Rica (, ''Rich Village''), is a city in and former capital of the state of Minas Gerais, Brazil, a former colonial mining town located in the Serra do Espinhaço mountains and designated a World Herita ...

* 2004:

Fontainebleau Fontainebleau (; ) is a commune in the metropolitan area of Paris, France. It is located south-southeast of the centre of Paris. Fontainebleau is a sub-prefecture of the Seine-et-Marne department, and it is the seat of the ''arrondissement ...

France France (), officially the French Republic ( ), is a country primarily located in Western Europe. It also comprises of Overseas France, overseas regions and territories in the Americas and the Atlantic Ocean, Atlantic, Pacific Ocean, Pac ...

* 2005:

Florianópolis Florianópolis () is the capital and second largest city of the state of Santa Catarina, in the South region of Brazil. The city encompasses Santa Catarina Island and surrounding small islands, as well as part of the mainland. It has a populat ...

* 2006:

Stanford Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is considere ...

USA The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country Continental United States, primarily located in North America. It consists of 50 U.S. state, states, a Washington, D.C., ...

* 2007:

* 2008:

Edinburgh Edinburgh ( ; gd, Dùn Èideann ) is the capital city of Scotland and one of its 32 Council areas of Scotland, council areas. Historically part of the county of Midlothian (interchangeably Edinburghshire before 1921), it is located in Lothian ...

United Kingdom The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain, is a country in Europe, off the north-western coast of the continental mainland. It comprises England, Scotland, Wales and North ...

* 2009:

Tokyo Tokyo (; ja, 東京, , ), officially the Tokyo Metropolis ( ja, 東京都, label=none, ), is the capital and largest city of Japan. Formerly known as Edo, its metropolitan area () is the most populous in the world, with an estimated 37.468 ...

Japan Japan ( ja, 日本, or , and formally , ''Nihonkoku'') is an island country in East Asia. It is situated in the northwest Pacific Ocean, and is bordered on the west by the Sea of Japan, while extending from the Sea of Okhotsk in the north ...

* 2010: Brasilia,

* 2011:

Philadelphia Philadelphia, often called Philly, is the largest city in the Commonwealth of Pennsylvania, the sixth-largest city in the U.S., the second-largest city in both the Northeast megalopolis and Mid-Atlantic regions after New York City. Sinc ...

* 2012:

Buenos Aires Buenos Aires ( or ; ), officially the Autonomous City of Buenos Aires ( es, link=no, Ciudad Autónoma de Buenos Aires), is the capital and primate city of Argentina. The city is located on the western shore of the Río de la Plata, on South ...

Argentina Argentina (), officially the Argentine Republic ( es, link=no, República Argentina), is a country in the southern half of South America. Argentina covers an area of , making it the second-largest country in South America after Brazil, th ...

* 2013:

Darmstadt Darmstadt () is a city in the States of Germany, state of Hesse in Germany, located in the southern part of the Frankfurt Rhine Main Area, Rhine-Main-Area (Frankfurt Metropolitan Region). Darmstadt has around 160,000 inhabitants, making it th ...

Germany Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated betwe ...

* 2014: Valparaiso,

Chile Chile, officially the Republic of Chile, is a country in the western part of South America. It is the southernmost country in the world, and the closest to Antarctica, occupying a long and narrow strip of land between the Andes to the east a ...

* 2015:

Bloomington, Indiana Bloomington is a city in and the county seat of Monroe County, Indiana, Monroe County in the central region of the U.S. state of Indiana. It is the List of municipalities in Indiana, seventh-largest city in Indiana and the fourth-largest outside ...

* 2016:

Puebla Puebla ( en, colony, settlement), officially Free and Sovereign State of Puebla ( es, Estado Libre y Soberano de Puebla), is one of the 32 states which comprise the Federal Entities of Mexico. It is divided into 217 municipalities and its cap ...

Mexico Mexico (Spanish: México), officially the United Mexican States, is a country in the southern portion of North America. It is bordered to the north by the United States; to the south and west by the Pacific Ocean; to the southeast by Guatema ...

* 2017:

London London is the capital and largest city of England and the United Kingdom, with a population of just under 9 million. It stands on the River Thames in south-east England at the head of a estuary down to the North Sea, and has been a majo ...

* 2018:

Bogotá Bogotá (, also , , ), officially Bogotá, Distrito Capital, abbreviated Bogotá, D.C., and formerly known as Santa Fe de Bogotá (; ) during the Spanish period and between 1991 and 2000, is the capital city of Colombia, and one of the larges ...

Colombia Colombia (, ; ), officially the Republic of Colombia, is a country in South America with insular regions in North America—near Nicaragua's Caribbean coast—as well as in the Pacific Ocean. The Colombian mainland is bordered by the Car ...

* 2019:

Utrecht Utrecht ( , , ) is the List of cities in the Netherlands by province, fourth-largest city and a List of municipalities of the Netherlands, municipality of the Netherlands, capital and most populous city of the Provinces of the Netherlands, pro ...

The Netherlands ) , anthem = ( en, "William of Nassau") , image_map = , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of the Netherlands , established_title = Before independence , established_date = Spanish Netherl ...

* 2020:

Lima Lima ( ; ), originally founded as Ciudad de Los Reyes (City of The Kings) is the capital and the largest city of Peru. It is located in the valleys of the Chillón River, Chillón, Rímac River, Rímac and Lurín Rivers, in the desert zone of t ...

Peru , image_flag = Flag of Peru.svg , image_coat = Escudo nacional del Perú.svg , other_symbol = Great Seal of the State , other_symbol_type = Seal (emblem), National seal , national_motto = "Fi ...

(cancelled) * 2021: Online * 2022:

Iași Iași ( , , ; also known by other alternative names), also referred to mostly historically as Jassy ( , ), is the second largest city in Romania and the seat of Iași County. Located in the historical region of Moldavia, it has traditionally ...

România Romania ( ; ro, România ) is a country located at the crossroads of Central, Eastern, and Southeastern Europe. It borders Bulgaria to the south, Ukraine to the north, Hungary to the west, Serbia to the southwest, Moldova to the east, and t ...

Future Venues

The meetings alternate between Latin America and US/Europe/Asia. The following locations are planned for future meetings: * 2023:

Halifax, Nova Scotia Halifax is the capital and largest municipality of the Canadian province of Nova Scotia, and the largest municipality in Atlantic Canada. As of the 2021 Census, the municipal population was 439,819, with 348,634 people in its urban area. The ...

Canada Canada is a country in North America. Its ten provinces and three territories extend from the Atlantic Ocean to the Pacific Ocean and northward into the Arctic Ocean, covering over , making it the world's second-largest country by tot ...

* 2024: Bern, Switzerland

Proceedings

Logic, Language, Information and Computation - 28th International Workshop
WoLLIC 2022,

Agata Ciabattoni Agata Ciabattoni is an Italian mathematical logician specializing in non-classical logic. She is a full professor at the Institute of Logic and Computation of the Faculty of Informatics at the Vienna University of Technology (TU Wien), and a co-ch ...

, Elaine Pimentel & Ruy de Queiroz (eds.), Iaşi, Romania, September 20-23, 2022.

Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, ...

, Springer Berlin / Heidelberg, (Print) (Online), Volume 13468/2022, , .
Logic, Language, Information and Computation - 27th International Workshop
WoLLIC 2021,

Alexandra Silva Alexandra Silva (born 1984) is a Portuguese computer scientist and Professor at Cornell University. She was previously Professor of Algebra, Semantics, and Computation at University College London. Awards and honours Silva won a Philip Leverhu ...

, Renata Wassermann & Ruy de Queiroz (eds.), Virtual Event, October 5-8, 2021.

, Springer Berlin / Heidelberg, (Print) (Online), Volume 13038/2021, , .
Logic, Language, Information and Computation - 26th International Workshop
WoLLIC 2019, Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Utrecht, The Netherlands, July 2–5, 2019.

, Springer Berlin / Heidelberg, (Print) (Online), Volume 11541/2019, , .
Logic, Language, Information and Computation - 25th International Workshop
WoLLIC 2018, Lawrence S. Moss, Ruy de Queiroz & Maricarmen Martínez (eds.), Bogotá, Colombia, July 24–27, 2018.

, Springer Berlin / Heidelberg, (Print) (Online), Volume 10944/2018, , .
Logic, Language, Information and Computation - 24th International Workshop
WoLLIC 2017,

Juliette Kennedy Juliette Kennedy is an associate professor in the Department of Mathematics and Statistics at the University of Helsinki. Her main research interests are mathematical logic and the foundations of mathematics. In the course of her work she has pub ...

& Ruy de Queiroz (eds.), London, UK, July 18–21, 2017.

, Springer Berlin / Heidelberg, (Print) (Online), Volume 10388/2017, , .
Logic, Language, Information and Computation - 23rd International Workshop
WoLLIC 2016,

Jouko Väänänen Jouko Antero Väänänen (born September 3, 1950 in Rovaniemi, Lapland) is a Finnish mathematical logician known for his contributions to set theory,J. VäänänenSecond order logic or set theory? Bulletin of Symbolic Logic, 18(1), 91-121, 2012 ...

, Åsa Hirvonen & Ruy de Queiroz (eds.), Puebla, Mexico, August 16–19, 2016.

, Springer Berlin / Heidelberg, (Print) (Online), Volume 9803/2016, , .
Logic, Language, Information and Computation - 22nd International Workshop
WoLLIC 2015,

Valeria de Paiva Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist. Her work includes research on logical approaches to computation, especially using category theory, knowledge representation and natural language semanti ...

, Ruy de Queiroz, Lawrence Moss, Daniel Leivant & Anjolina de Oliveira (eds.), Bloomington, Indiana, USA, July 20–23, 2015.

, Springer Berlin / Heidelberg, (Print) (Online), Volume 9160/2015, , .
Logic, Language, Information and Computation - 21st International Workshop
WoLLIC 2014, Ulrich Kohlenbach, Pablo Barceló & Ruy de Queiroz (eds.), Valparaíso, Chile, September 1–4, 2014. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (Print) (Online), Volume 8652/2014, , .
Logic, Language, Information and Computation - 20th International Workshop
WoLLIC 2013,

Leonid Libkin Leonid Libkin is a computer scientist who works in data management, in particular in database theory, and in logic in computer science. Libkin is a professor at the University of Edinburgh, where he is chair of Foundations of Data Managemen ...

, Ulrich Kohlenbach & Ruy de Queiroz (eds.), Darmstadt, Germany, August 20–23, 2013. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (Print) (Online), Volume 8071/2013, , .
Logic, Language, Information and Computation - 19th International Workshop
WoLLIC 2012, Luke Ong & Ruy de Queiroz (eds.), Buenos Aires, Argentina, September 3–6, 2012. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (Print) (Online), Volume 7456/2012, , .
Logic, Language, Information and Computation - 18th International Workshop
WoLLIC 2011, Lev D. Beklemishev & Ruy de Queiroz (eds.), Philadelphia, PA, USA, May 18–20, 2011. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (Print) (Online), Volume 6642/2011, , .
Logic, Language, Information and Computation - 17th International Workshop
WoLLIC 2010, A. Dawar & R. de Queiroz (eds.), Brasília, Brazil, July 6–9, 2010. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (Print) (Online), Volume 6188/2010, , .
Logic, Language, Information and Computation - 16th International Workshop
WoLLIC 2009, H. Ono, M. Kanazawa & R. de Queiroz (eds.), Tokyo, Japan, June 21–24, 2009. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (Print) (Online), Volume 5514/2009, , .
Logic, Language, Information and Computation - 15th International Workshop
WoLLIC 2008, W. Hodges & R. de Queiroz (eds.), Edinburgh, UK, July 1–4, 2008. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (Print) (Online), Volume 5110/2008, , .
Logic, Language, Information and Computation - 14th International Workshop
WoLLIC 2007, D. Leivant & R. de Queiroz (eds.), Rio de Janeiro, Brazil, July 2–5, 2007. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (Print) (Online), Volume 4576/2007, , .
Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006), Logic, Language, Information and Computation 2006
Stanford University, CA, USA. 18–21 July 2006. Edited by G. Mints and R. de Queiroz. ''Electronic Notes in Theoretical Computer Science''. . Volume 165, Pages 1–226 (22 November 2006). (Preface )
Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005)
Florianópolis, Santa Catarina, Brazil. 19–22 July 2005. Edited by R. de Queiroz, A. Macintyre and G. Bittencourt. ''Electronic Notes in Theoretical Computer Science''. . Volume 143, Pages 1–222 (6 January 2006). (Preface )
Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC 2004)
Fontainebleau (Paris), France. 19–22 July 2004. Edited by R. de Queiroz and P. Cégielski. ''Electronic Notes in Theoretical Computer Science''. . Volume 123, Pages 1–240 (1 March 2005). (Preface )
WoLLIC'2003, 10th Workshop on Logic, Language, Information and Computation
Ouro Preto (Minas Gerais), Brazil. 29 July to 1 August 2003. Edited by R. de Queiroz, E. Pimentel and L. Figueiredo. ''Electronic Notes in Theoretical Computer Science''. . Volume 84, Pages 1–231 (September 2003). (Preface )
WoLLIC'2002, 9th Workhop on Logic, Language, Information and Computation
Rio de Janeiro, Brazil. 30 July to 2 August 2002. Edited by Ruy de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler. ''Electronic Notes in Theoretical Computer Science''. . Volume 67, Pages 1–314 (October 2002). (Preface )

Special Issues of Scientific Journals

* ''Journal of Logic, Language and Information''
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018)
Edited by Lawrence Moss & Ruy de Queiroz. Volume 31, Issue 4, December 2022, Springer. * ''Information and Computation''
26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019)
Edited by Ruy de Queiroz. Volume 287 (September 2022), Elsevier. * ''Archive for Mathematical Logic''
24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017)
Edited by Juliette Kennedy and Ruy de Queiroz. Volume 60, Issue 5, Pages 525-681 (July 2021), Springer. * ''Annals of Pure and Applied Logic''
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016)
Edited by Jouko Väänänen and Ruy de Queiroz. Volume 170, Issue 9, Pages 921-1150 (September 2019), Elsevier. * ''Mathematical Structures in Computer Science''
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015)
Edited by Valeria de Paiva and Ruy de Queiroz. Volume 29, Issue 6, June 2019, Cambridge University Press. * ''Information and Computation''
21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014)
Edited by Ulrich Kohlenbach, Pablo Barcelò and Ruy de Queiroz. Volume 255, Part 2, Pages 193–334 (August 2017). * ''Journal of Computer and System Sciences''
20th Workshop on Logic, Language, Information and Computation (WoLLIC 2013)
Edited by Leonid Libkin, Ulrich Kohlenbach and Ruy de Queiroz. Volume 88, Pages 1–290 (September 2017). * ''Theoretical Computer Science''
Logic, Language, Information and Computation, 19th Workshop on Logic, Language, Information and Computation
Buenos Aires, Argentina. 3–6 September 2012. Edited by Luke Ong and Ruy de Queiroz. Volume 603, Pages 1–146 (25 October 2015). * ''Journal of Computer and System Sciences''
18th Workshop on Logic, Language, Information and Computation (WoLLIC 2011)
Edited by Lev Beklemishev, Ruy de Queiroz and Andre Scedrov. Volume 80, Issue 6, Pages 1037-1174 (September 2014). * ''Journal of Computer and System Sciences''
17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010)
Edited by Anuj Dawar and Ruy de Queiroz. Volume 80, Issue 2, Pages 321-498 (March 2014). * ''Fundamenta Informaticae''
Logic, Language, Information and Computation
Edited by Hiroakira Ono, Makoto Kanazawa and Ruy de Queiroz. Volume 106, Numbers 2-4, Pages 119-338, September 2011. * ''Journal of Computer and System Sciences''
Workshop on Logic, Language, Information and Computation (WoLLIC 2008)
Edited by Wilfrid Hodges and Ruy de Queiroz. Volume 76, Issue 5, Pages 281-388 (August 2010). * ''Information and Computation''
Special issue: 14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007)
Edited by Daniel Leivant and Ruy de Queiroz. Volume 208, Issue 5, Pages 395-604, (May 2010). * ''Information and Computation''
Special issue: 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006)
Edited by Grigori Mints, Valeria de Paiva and Ruy de Queiroz. Volume 207, Issue 10, Pages 969-1094, (October 2009). * ''Annals of Pure and Applied Logic''
12th Workshop on Logic, Language, Information and Computation
Florianópolis, Santa Catarina, Brazil. 19–22 July 2005. Edited by R. de Queiroz and A. Macintyre. Volume 152, Issues 1-3, Pages 1–180 (March 2008). * ''Theoretical Computer Science''
Logic, Language, Information and Computation, 11th Workshop on Logic, Language, Information and Computation
Paris, France. 19–22 July 2004. Edited by R. de Queiroz and P. Cégielski. Volume 364, Issue 2, Pages 143-270 (6 November 2006). * ''Theoretical Computer Science''
Logic, Language, Information and Computation
Minas Gerais, Brazil. 29 July-1 August 2003. Edited by R. de Queiroz and D. Kozen. Volume 355, Issue 2, Pages 105-260 (11 April 2006). * ''Annals of Pure and Applied Logic''
Papers presented at the 9th Workshop on Logic, Language, Information and Computation (WoLLIC’2002)
30 July-2 August 2002. Edited by R. de Queiroz, B. Poizat and S. Artemov. Volume 134, Issue 1, Pages 1–93 (June 2005). * ''Matemática Contemporânea''
8th Workshop on Logic, Language, Information and Computation - WoLLIC'2001
Universidade de Brasília, July -August 2001 - Brasília. Edited by John T. Baldwin, Ruy J. G. B. de Queiroz, Edward H. Haeusler. Volume 24, 2003. * ''Logic Journal of the Interest Group in Pure and Applied Logics''
7th Workshop on Logic, Language, Information and Computation - WoLLIC 2000
Natal (State of Rio Grande do Norte), August 15–18, 2000. Edited by Ruy J. G. B. de Queiroz. Volume 9, Issue 6, 2001. * ''Logic Journal of the Interest Group in Pure and Applied Logics''
6th Workshop on Logic, Language, Information and Computation - WoLLIC'99
Itatiaia National Park (State of Rio de Janeiro), May 25–28, 1999. Edited by Ruy J. G. B. de Queiroz. Volume 8, Issue 5, 2000.

References

External links

*
WoLLIC entry
at

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Nove ...

.
ASL Sponsorship
* WoLLIC 2013 1-page Conference Report
The Bulletin of Symbolic Logic20(2):266-267
June 2014. (Published online: 26 June 2014). * WoLLIC 2014 Conference Report. I
Logic Journal of the Interest Group in Pure and Applied Logics
, Oxford University Press, 2015. * WoLLIC 2014 1-page Conference Report
The Bulletin of Symbolic Logic21(2):241-242
June 2015. * WoLLIC 2015 Conference Report. I
Logic Journal of the Interest Group in Pure and Applied Logics
, Oxford University Press, 2016. * WoLLIC 2015 1-page Conference Report
The Bulletin of Symbolic Logic22(3):436-437
September 2016. * WoLLIC 2016 Conference Report. I
Logic Journal of the Interest Group in Pure and Applied Logics
, Oxford University Press, December 2016. * WoLLIC 2016 1-page Conference Report
The Bulletin of Symbolic Logic23(2):270-271
June 2017. * WoLLIC 2017 Conference Report. I
Logic Journal of the Interest Group in Pure and Applied Logics
, Oxford University Press, May 2018. * WoLLIC 2017 1-page Conference Report
The Bulletin of Symbolic Logic 24(3):386–387
September 2018. * WoLLIC 2018 1-page Conference Report
The Bulletin of Symbolic Logic 24(4):548–549
December 2018. * WoLLIC 2018 Conference Report. I
Logic Journal of the Interest Group in Pure and Applied Logics
, Oxford University Press, Apr 2019. * WoLLIC 2019 1-page Conference Report
The Bulletin of Symbolic Logic 25(3):421–422
September 2019. * WoLLIC 2019 Conference Report. I
Logic Journal of the Interest Group in Pure and Applied Logics
, Oxford University Press, June 2021. * WoLLIC 2021 Conference Report. I
Logic Journal of the Interest Group in Pure and Applied Logics
, Oxford University Press, August 2022. {{Authority control Theoretical computer science conferences Recurring events established in 1994