WoLLICหรือWorkshop on Logic, Language, Information and Computationเป็นการประชุมวิชาการในสาขาตรรกศาสตร์ บริสุทธิ์และตรรกศาสตร์ประยุกต์ รวม ถึง วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี WoLLIC จัดขึ้นเป็นประจำทุกปีตั้งแต่ปี 1994 โดยปกติจะจัดขึ้นในเดือนมิถุนายนหรือกรกฎาคม การประชุมนี้ได้รับการสนับสนุนทางวิทยาศาสตร์จากสมาคมตรรกศาสตร์ ภาษา และสารสนเทศสมาคมตรรกศาสตร์เชิงสัญลักษณ์สมาคมวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีแห่งยุโรปและสมาคมตรรกศาสตร์วิทยาศาสตร์คอมพิวเตอร์แห่งยุโรป

จากข้อมูลการจัดอันดับการประชุมด้านวิทยาศาสตร์คอมพิวเตอร์ประจำปี 2010การประชุมนี้ได้รับการจัดอันดับ "C" จากการประชุมนานาชาติกว่า 1900 แห่งทั่วโลก นอกจากนี้ยังได้รับการจัดอันดับ "C" ในการจัดอันดับการประชุม CORE Conference Ranking Exercise - CORE Portal (2023)ปัจจุบันได้รับการจัดอันดับ 7 Bars (5 ปีที่ผ่านมา) ในสาขา Algorithms & Theory ในการจัดอันดับสาขา Microsoft MSAR (2014)บนGoogle Scholarการประชุมนี้ได้คะแนน h5-index 12 และคะแนน h5-median 14

• 1994: เรซิเฟประเทศบราซิล
• 1995: เรซิเฟประเทศบราซิล
• 1996: ซัลวาดอร์ประเทศบราซิล
• 1997: ฟอร์ตาเลซาประเทศบราซิล
• ปี 1998: เซาเปาโลประเทศบราซิล
• 1999: อิตาเทียยาประเทศบราซิล
• ปี 2000: นาตาลประเทศบราซิล
• ปี 2001: บราซิเลียประเทศบราซิล
• ปี 2002: ริโอเดจาเนโรประเทศบราซิล
• ปี 2003: โอโรเปรโตประเทศบราซิล
• ปี 2004: ฟงแตนบลูประเทศฝรั่งเศส
• ปี 2005: ฟลอเรียนอปอลิสประเทศบราซิล
• ปี 2006: มหาวิทยาลัยสแตนฟอร์ดสหรัฐอเมริกา
• ปี 2007: ริโอเดจาเนโรประเทศบราซิล
• ปี 2008: เอดินบะระสหราชอาณาจักร
• ปี 2009: โตเกียวประเทศญี่ปุ่น
• 2010: บราซิเลียประเทศบราซิล
• 2011: ฟิลาเดลเฟียสหรัฐอเมริกา
• 2012: บัวโนส ไอเรส , อาร์เจนตินา
• 2013: ดาร์มสตัดท์ประเทศเยอรมนี
• 2014: วัลปาราอิโซประเทศชิลี
• 2015: บลูมิงตันสหรัฐอเมริกา
• 2016: ปวยบลา , เม็กซิโก
• 2017: ลอนดอนสหราชอาณาจักร
• ปี 2018: โบโกตาประเทศโคลอมเบีย
• 2019: อูเทรคต์ประเทศเนเธอร์แลนด์
• ปี 2020: ลิมาประเทศเปรู (ยกเลิก)
• 2021: ออนไลน์
• 2022: เมืองยาซีประเทศโรมาเนีย
• 2023: ฮาลิแฟกซ์ประเทศแคนาดา
• 2024: เบิร์นประเทศสวิตเซอร์แลนด์
• 2025: ปอร์โตประเทศโปรตุเกส

การประชุมจะสลับกันระหว่างละตินอเมริกาและสหรัฐอเมริกา/ยุโรป/เอเชีย โดยสถานที่ที่วางแผนไว้สำหรับการประชุมในอนาคตมีดังนี้:

• 2026: ลิมาประเทศเปรู

• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 32 WoLLIC 2026, Patricia JohannและRuy de Queiroz (บรรณาธิการ), ลิมา ประเทศเปรู, 3-6 สิงหาคม 2026, Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 16757/2026, doi : 10.1007/978-3-032-33485-5 , ISBN   978-3-032-33485-5สิงหาคม 2569
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 31 , WoLLIC 2025, Dexter KozenและRuy de Queiroz (บรรณาธิการ), ปอร์โต ประเทศโปรตุเกส, 14-17 กรกฎาคม 2025, Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 15942/2025, doi : 10.1007/978-3-031-99536-1 , ISBN   978-3-031-99535-4กันยายน 2025
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 30 , WoLLIC 2024, George Metcalfe, Thomas Studer , Ruy de Queiroz (บรรณาธิการ), เบิร์น สวิตเซอร์แลนด์ 10-13 มิถุนายน 2024, Lecture Notes in Computer Science , Springer Berlin/Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 14672/2024, doi : 10.1007/978-3-031-62687-6 , ISBN   978-3-031-62686-9กรกฎาคม 2567
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 29 , WoLLIC 2023, Helle Hvid Hansen , Andre Scedrov , Ruy de Queiroz (บรรณาธิการ), Halifax, NS, แคนาดา, 11-14 กรกฎาคม 2023, Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 13923/2023, doi : 10.1007/978-3-031-39784-4 , ISBN   978-3-031-39783-7ตุลาคม 2566
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 28 , WoLLIC 2022, Agata Ciabattoni , Elaine PimentelและRuy de Queiroz (บรรณาธิการ), Iaşi, โรมาเนีย, 20-23 กันยายน 2022. Lecture Notes in Computer Science , Springer Berlin/Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 13468/2022, doi : 10.1007/978-3-031-15298-6 , ISBN   978-3-031-15297-9.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 27 WoLLIC 2021 บรรณาธิการโดยAlexandra Silva , Renata WassermannและRuy de Queirozงานเสมือนจริง 5-8 ตุลาคม 2021 Lecture Notes in Computer Science , Springer Berlin/Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์) เล่มที่ 13038/2021, doi : 10.1007/978-3-030-88853-4 , ISBN   978-3-030-88852-7.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 26 , WoLLIC 2019, Rosalie Iemhoff , Michael MoortgatและRuy de Queiroz (บรรณาธิการ), อูเทรคต์ ประเทศเนเธอร์แลนด์, 2-5 กรกฎาคม 2019. Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 11541/2019, doi : 10.1007/978-3-662-59533-6 , ISBN   978-3-662-59532-9.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 25 , WoLLIC 2018, Lawrence S. Moss , Ruy de QueirozและMaricarmen Martínez (บรรณาธิการ), โบโกตา โคลอมเบีย, 24-27 กรกฎาคม 2018. Lecture Notes in Computer Science , Springer Berlin/Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 10944/2018, doi : 10.1007/978-3-662-57669-4 , ISBN   978-3-662-57668-7.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 24 , WoLLIC 2017, Juliette KennedyและRuy de Queiroz (บรรณาธิการ), ลอนดอน สหราชอาณาจักร, 18-21 กรกฎาคม 2017. Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 10388/2017, doi : 10.1007/978-3-662-55386-2 , ISBN   978-3-662-55385-5.
• Logic, Language, Information and Computation - 23rd International Workshop , WoLLIC 2016, Jouko Väänänen , Åsa Hirvonen & Ruy de Queiroz (eds.), Puebla, Mexico, 16-19 สิงหาคม 2016 Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302-9743 (พิมพ์) ISSN 1611-3349 (ออนไลน์) เล่ม 9803/2559 ดอย: 10.1007/978-3-662-52921-8 , ISBN   978-3-662-52920-1.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 22 , WoLLIC 2015, Valeria de Paiva , Ruy de Queiroz , Lawrence Moss, Daniel Leivant และ Anjolina de Oliveira (บรรณาธิการ), บลูมิงตัน รัฐอินเดียนา สหรัฐอเมริกา, 20-23 กรกฎาคม 2015. Lecture Notes in Computer Science , Springer Berlin/Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 9160/2015, doi : 10.1007/978-3-662-47709-0 , ISBN   978-3-662-47708-3.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 21 , WoLLIC 2014, Ulrich Kohlenbach, Pablo Barceló และRuy de Queiroz (บรรณาธิการ), วัลปาราอิโซ ประเทศชิลี, 1-4 กันยายน 2014. เอกสารประกอบการบรรยายในสาขาวิทยาการคอมพิวเตอร์, Springer Berlin / Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 8652/2014, doi : 10.1007/978-3-662-44145-9 , ISBN   978-3-662-44144-2.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 20 , WoLLIC 2013, Leonid Libkin , Ulrich Kohlenbach และ Ruy de Queiroz (บรรณาธิการ), ดาร์มสตัดท์ ประเทศเยอรมนี, 20-23 สิงหาคม 2556. เอกสารประกอบการบรรยายในสาขาวิทยาการคอมพิวเตอร์, Springer Berlin/Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 8071/2013, doi : 10.1007/978-3-642-39992-3 , ISBN   978-3-642-39992-3.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 19 , WoLLIC 2012, Luke Ong & Ruy de Queiroz (บรรณาธิการ), บัวโนสไอเรส, อาร์เจนตินา, 3–6 กันยายน 2012. เอกสารประกอบการบรรยายในสาขาวิทยาการคอมพิวเตอร์, Springer Berlin / Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 7456/2012, doi : 10.1007/978-3-642-32620-2 , ISBN   978-3-642-32620-2.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 18 , WoLLIC 2011, Lev D. Beklemishev & Ruy de Queiroz (บรรณาธิการ), ฟิลาเดลเฟีย, PA, สหรัฐอเมริกา, 18–20 พฤษภาคม 2011. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 6642/2011, doi : 10.1007/978-3-642-20919-2 , ISBN   978-3-642-20919-2.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 17 , WoLLIC 2010, A. Dawar & R. de Queiroz (บรรณาธิการ), บราซิเลีย ประเทศบราซิล, 6–9 กรกฎาคม 2553. เอกสารประกอบการบรรยายในสาขาวิทยาการคอมพิวเตอร์, Springer Berlin / Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 6188/2010, doi : 10.1007/978-3-642-13823-2 , ISBN   978-3-642-13823-2.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 16 WoLLIC 2009, H. Ono, M. Kanazawa และ R. de Queiroz (บรรณาธิการ), โตเกียว ประเทศญี่ปุ่น, 21-24 มิถุนายน 2552. เอกสารประกอบการบรรยายในสาขาวิทยาการคอมพิวเตอร์, Springer Berlin / Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 5514/2009, doi : 10.1007/978-3-642-02261-6 , ISBN   978-3-642-02260-9.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 15 , WoLLIC 2008, W. Hodges & R. de Queiroz (บรรณาธิการ), เอดินบะระ สหราชอาณาจักร, 1-4 กรกฎาคม 2551. เอกสารประกอบการบรรยายในสาขาวิทยาการคอมพิวเตอร์, Springer Berlin / Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 5110/2008, doi : 10.1007/978-3-540-69937-8 , ISBN   978-3-540-69936-1.
• ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ - การประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 14 , WoLLIC 2007, D. Leivant & R. de Queiroz (บรรณาธิการ), ริโอเดจาเนโร ประเทศบราซิล, 2-5 กรกฎาคม 2550. เอกสารประกอบการบรรยายในสาขาวิทยาการคอมพิวเตอร์, Springer Berlin / Heidelberg, ISSN 0302-9743 (ฉบับพิมพ์) ISSN 1611-3349 (ฉบับออนไลน์), เล่มที่ 4576/2007, doi : 10.1007/978-3-540-73445-1 , ISBN   978-3-540-73443-7.
• รายงานการประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 13 (WoLLIC 2006) ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ 2006มหาวิทยาลัยสแตนฟอร์ด รัฐแคลิฟอร์เนีย สหรัฐอเมริกา 18–21 กรกฎาคม 2549 บรรณาธิการโดย G. Mints และ R. de Queiroz วารสารElectronic Notes in Theoretical Computer Science ISSN 1571-0661เล่มที่ 165 หน้า 1–226 (22 พฤศจิกายน 2549) (คำนำdoi : 10.1016/j.entcs.2006.07.021 ) 
• รายงานการประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 12 (WoLLIC 2005)ฟลอเรียนอปอลิส ซานตาคาตารินา บราซิล 19–22 กรกฎาคม 2548 บรรณาธิการโดย R. de Queiroz, A. Macintyre และ G. Bittencourt วารสารElectronic Notes in Theoretical Computer Science ISSN 1571-0661เล่มที่ 143 หน้า 1–222 (6 มกราคม 2549) (คำนำdoi : 10.1016/j.entcs.2005.06.032 ) 
• รายงานการประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 11 (WoLLIC 2004)ฟงแตนบลู (ปารีส) ฝรั่งเศส 19–22 กรกฎาคม 2547 บรรณาธิการโดย R. de Queiroz และ P. Cégielski วารสารElectronic Notes in Theoretical Computer Science ISSN 1571-0661เล่มที่ 123 หน้า 1–240 (1 มีนาคม 2548) (คำนำdoi : 10.1016/j.entcs.2004.05.012 ) 
• WoLLIC'2003 การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 10ณ เมืองโอโรเปรโต (รัฐมินาสเจไรส์) ประเทศบราซิล ระหว่างวันที่ 29 กรกฎาคม ถึง 1 สิงหาคม พ.ศ. 2546 บรรณาธิการโดย R. de Queiroz, E. Pimentel และ L. Figueiredo วารสารElectronic Notes in Theoretical Computer Science ISSN 1571-0661เล่มที่ 84 หน้า 1–231 (กันยายน พ.ศ. 2546) (คำนำdoi : 10.1016/S1571-0661(05)80858-8 ) 
• WoLLIC'2002 การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 9ณ เมืองริโอเดจาเนโร ประเทศบราซิล ระหว่างวันที่ 30 กรกฎาคม ถึง 2 สิงหาคม พ.ศ. 2545 บรรณาธิการโดย Ruy de Queiroz, Luiz Carlos Pereira และ Edward Hermann Haeusler วารสาร Electronic Notes in Theoretical Computer Science ISSN 1571-0661 เล่มที่ 67 หน้า 1–314 (ตุลาคม พ.ศ. 2545) (คำนำdoi : 10.1016/S1571-0661(05)80556-0 ) 

• โครงสร้างทางคณิตศาสตร์ในวิทยาศาสตร์คอมพิวเตอร์การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 29 (WoLLIC 2023)บรรณาธิการโดย Helle Hvid Hansen, Andre Scedrov และ Ruy de Queiroz เล่มที่ ?? ฉบับที่ ? ธันวาคม 2025 สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์ ( คำนำ )
• โครงสร้างทางคณิตศาสตร์ในวิทยาการคอมพิวเตอร์การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 28 (WoLLIC 2022)บรรณาธิการโดย Agata Ciabatoni, Elaine Pimentel และ Ruy de Queiroz เล่มที่ 34 ฉบับที่ 7 สิงหาคม 2024 สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์ ( คำนำ )
• วารสารตรรกศาสตร์และการคำนวณ การ ประชุม เชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 27 (WoLLIC 2021)บรรณาธิการโดย Alexandra Silva, Renata Wassermann และ Ruy de Queiroz เล่มที่ 35 ฉบับที่ 6 กันยายน 2025 สำนักพิมพ์มหาวิทยาลัยออกซ์ฟ อ ร์ด ( คำนำ )
• วารสารตรรกศาสตร์ ภาษา และสารสนเทศการประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 25 (WoLLIC 2018)บรรณาธิการโดย ลอว์เรนซ์ มอสส์ และ รุย เดอ เคย์รอซ เล่มที่ 31 ฉบับที่ 4 ธันวาคม 2022 สำนักพิมพ์สปริงเกอร์
• ข้อมูลและการคำนวณ , การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา ข้อมูล และการคำนวณ ครั้งที่ 26 (WoLLIC 2019)บรรณาธิการโดย Ruy de Queiroz เล่มที่ 287 (กันยายน 2022) , Elsevier
• วารสาร Archive for Mathematical Logic , การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 24 (WoLLIC 2017)บรรณาธิการโดย Juliette Kennedy และ Ruy de Queiroz เล่มที่ 60 ฉบับที่ 5 หน้า 525-681 (กรกฎาคม 2021) สำนักพิมพ์ Springer
• วารสารตรรกศาสตร์บริสุทธิ์และประยุกต์การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 23 (WoLLIC 2016)บรรณาธิการโดย Jouko Väänänen และ Ruy de Queiroz เล่มที่ 170 ฉบับที่ 9 หน้า 921-1150 (กันยายน 2019) สำนักพิมพ์ Elsevier
• โครงสร้างทางคณิตศาสตร์ในวิทยาศาสตร์คอมพิวเตอร์การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 22 (WoLLIC 2015)บรรณาธิการโดย Valeria de Paiva และ Ruy de Queiroz เล่มที่ 29 ฉบับที่ 6 มิถุนายน 2019 สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์
• สารสนเทศและการคำนวณการประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 21 (WoLLIC 2014)บรรณาธิการโดย Ulrich Kohlenbach, Pablo Barcelò และ Ruy de Queiroz เล่มที่ 255 ส่วนที่ 2 หน้า 193–334 (สิงหาคม 2017)
• วารสารวิทยาการคอมพิวเตอร์และระบบ , การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 20 (WoLLIC 2013)บรรณาธิการโดย Leonid Libkin, Ulrich Kohlenbach และ Ruy de Queiroz เล่มที่ 88 หน้า 1–290 (กันยายน 2017)
• วิทยาการคอมพิวเตอร์เชิงทฤษฎี , ตรรกศาสตร์, ภาษา, สารสนเทศ และการคำนวณ, การประชุมเชิงปฏิบัติการครั้งที่ 19 ว่าด้วยตรรกศาสตร์, ภาษา, สารสนเทศ และการคำนวณบัวโนสไอเรส ประเทศอาร์เจนตินา 3–6 กันยายน 2012 บรรณาธิการโดย ลุค ออง และ รุย เดอ เคย์รอซ เล่มที่ 603 หน้า 1–146 (25 ตุลาคม 2015)
• วารสารวิทยาการคอมพิวเตอร์และระบบ , การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 18 (WoLLIC 2011)บรรณาธิการโดย Lev Beklemishev, Ruy de Queiroz และ Andre Scedrov เล่มที่ 80 ฉบับที่ 6 หน้า 1037-1174 (กันยายน 2014)
• วารสารวิทยาการคอมพิวเตอร์และระบบ , การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 17 (WoLLIC 2010)บรรณาธิการโดย Anuj Dawar และ Ruy de Queiroz เล่มที่ 80 ฉบับที่ 2 หน้า 321-498 (มีนาคม 2014)
• Fundamenta Informaticae , ตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณบรรณาธิการโดย ฮิโรอากิระ โอโนะ, มาโกโตะ คานาซาวะ และ รุย เดอ เคย์รอซ เล่มที่ 106, ฉบับที่ 2-4, หน้า 119-338, กันยายน 2011
• วารสารวิทยาการคอมพิวเตอร์และระบบ , การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ (WoLLIC 2008)บรรณาธิการโดย Wilfrid Hodges และ Ruy de Queiroz เล่มที่ 76 ฉบับที่ 5 หน้า 281-388 (สิงหาคม 2010)
• สารสนเทศและการคำนวณฉบับพิเศษ: การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 14 (WoLLIC 2007)บรรณาธิการโดย Daniel Leivant และ Ruy de Queiroz เล่มที่ 208 ฉบับที่ 5 หน้า 395-604 (พฤษภาคม 2010)
• สารสนเทศและการคำนวณฉบับพิเศษ: การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 13 (WoLLIC 2006)บรรณาธิการโดย Grigori Mints, Valeria de Paiva และ Ruy de Queiroz เล่มที่ 207 ฉบับที่ 10 หน้า 969-1094 (ตุลาคม 2552)
• วารสารตรรกศาสตร์บริสุทธิ์และประยุกต์การประชุมเชิงปฏิบัติการครั้งที่ 12 ว่าด้วยตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณฟลอเรียนอปอลิส ซานตาคาตารินา บราซิล 19–22 กรกฎาคม 2548 บรรณาธิการโดย อาร์. เดอ เคย์รอซ และ เอ. แมคอินไทร์ เล่มที่ 152 ฉบับที่ 1-3 หน้า 1–180 (มีนาคม 2551)
• วิทยาการคอมพิวเตอร์เชิงทฤษฎี , ตรรกศาสตร์, ภาษา, สารสนเทศ และการคำนวณ, การประชุมเชิงปฏิบัติการครั้งที่ 11 ว่าด้วยตรรกศาสตร์, ภาษา, สารสนเทศ และการคำนวณปารีส ประเทศฝรั่งเศส 19–22 กรกฎาคม 2547 บรรณาธิการโดย R. de Queiroz และ P. Cégielski เล่มที่ 364 ฉบับที่ 2 หน้า 143-270 (6 พฤศจิกายน 2549)
• วิทยาการคอมพิวเตอร์เชิง ทฤษฎี , ตรรกศาสตร์, ภาษา, สารสนเทศ และการคำนวณมินาสเจไรส์, บราซิล 29 กรกฎาคม - 1 สิงหาคม 2546 บรรณาธิการโดย R. de Queiroz และ D. Kozen เล่มที่ 355, ฉบับที่ 2, หน้า 105-260 (11 เมษายน 2549)
• วารสารตรรกศาสตร์บริสุทธิ์และประยุกต์ , บทความที่นำเสนอในการประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 9 (WoLLIC'2002) 30 กรกฎาคม - 2 สิงหาคม 2545 บรรณาธิการโดย R. de Queiroz, B. Poizat และS. Artemovเล่มที่ 134 ฉบับที่ 1 หน้า 1–93 (มิถุนายน 2548)
• มาเตมาติกา คอนเทมโพราเนีย . การประชุมเชิงปฏิบัติการเรื่องลอจิก ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 8 - WoLLIC'2001 . Universidade de Brasília กรกฎาคม - สิงหาคม 2544 - บราซิเลีย เรียบเรียงโดย John T. Baldwin, Ruy JGB de Queiroz, Edward H. Haeusler เล่มที่ 24, 2546.
• วารสารตรรกศาสตร์ของกลุ่มผู้สนใจตรรกศาสตร์บริสุทธิ์และตรรกศาสตร์ประยุกต์การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 7 - WoLLIC 2000นาตาล (รัฐริโอแกรนด์โดนอร์เต) 15-18 สิงหาคม 2543 บรรณาธิการโดย รุย เจจีบี เดอ เคย์รอซ เล่มที่ 9 ฉบับที่ 6 ปี 2544
• วารสารตรรกศาสตร์ของกลุ่มผู้สนใจตรรกศาสตร์บริสุทธิ์และตรรกศาสตร์ประยุกต์การประชุมเชิงปฏิบัติการด้านตรรกศาสตร์ ภาษา สารสนเทศ และการคำนวณ ครั้งที่ 6 - WoLLIC'99อุทยานแห่งชาติอิตาเทีย (รัฐริโอเดจาเนโร) 25-28 พฤษภาคม 1999 บรรณาธิการโดย รุย เจจีบี เดอ เคย์รอซ เล่มที่ 8 ฉบับที่ 5 ปี 2000

• เว็บไซต์อย่างเป็นทางการ
• ข้อมูลของ WoLLIC ที่ส่งไปยังDBLP
• การสนับสนุน โดยASL
• รายงานการประชุม WoLLIC 2013 ฉบับ 1 หน้าวารสารตรรกศาสตร์เชิงสัญลักษณ์20(2):266-267มิถุนายน 2014 doi : 10.1017/bsl.2014.9 (เผยแพร่ทางออนไลน์: 26 มิถุนายน 2014)
• รายงานการประชุม WoLLIC 2014 ในวารสาร Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzv022 , สำนักพิมพ์ Oxford University Press, 2015
• รายงานการประชุม WoLLIC 2014 ฉบับ 1 หน้าวารสารตรรกศาสตร์เชิงสัญลักษณ์21(2):241-242มิถุนายน 2015 doi : 10.1017/bsl.2015.16
• รายงานการประชุม WoLLIC 2015 ในวารสาร Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzw014 , สำนักพิมพ์ Oxford University Press, 2016
• รายงานการประชุม WoLLIC 2015 ฉบับ 1 หน้าวารสารตรรกศาสตร์เชิงสัญลักษณ์22(3):436-437กันยายน 2016 doi : 10.1017/bsl.2016.23
• รายงานการประชุม WoLLIC 2016 ในวารสาร Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzw063 , สำนักพิมพ์ Oxford University Press, ธันวาคม 2016
• รายงานการประชุม WoLLIC 2016 ฉบับ 1 หน้าวารสารตรรกศาสตร์เชิงสัญลักษณ์23(2):270-271มิถุนายน 2017 doi : 10.1017/bsl.2017.17
• รายงานการประชุม WoLLIC 2017 ในวารสาร Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzy011 , สำนักพิมพ์ Oxford University Press, พฤษภาคม 2018
• รายงานการประชุม WoLLIC 2017 ฉบับ 1 หน้าวารสารตรรกศาสตร์เชิงสัญลักษณ์24(3):386–387กันยายน 2018 doi : 10.1017/bsl.2018.22
• รายงานการประชุม WoLLIC 2018 ฉบับ 1 หน้าวารสารตรรกศาสตร์เชิงสัญลักษณ์24(4):548–549ธันวาคม 2018 doi : 10.1017/bsl.2018.79
• รายงานการประชุม WoLLIC 2018 ในวารสาร Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzz004 , สำนักพิมพ์ Oxford University Press, เมษายน 2019
• รายงานการประชุม WoLLIC 2019 ฉบับ 1 หน้าวารสารตรรกศาสตร์เชิงสัญลักษณ์25(3):421–422กันยายน 2019 doi : 10.1017/bsl.2019.41
• รายงานการประชุม WoLLIC 2019 ในวารสาร Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzaa004 , สำนักพิมพ์ Oxford University Press, มิถุนายน 2021
• รายงานการประชุม WoLLIC 2021 ในวารสาร Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzac062 , สำนักพิมพ์ Oxford University Press, สิงหาคม 2022