Mantık, Dil, Bilgi ve Hesaplama Çalıştayı - Workshop on Logic, Language, Information and Computation

WoLLIC, Mantık, Dil, Bilgi ve Hesaplama Çalıştayı bir akademik konferans saf ve uygulamalı alanında mantık ve teorik bilgisayar bilimi. WoLLIC, 1994 yılından beri, tipik olarak Haziran veya Temmuz aylarında düzenlenmektedir; konferans bilimsel olarak sponsorluğunda Mantık, Dil ve Bilgi Derneği, Sembolik Mantık Derneği, Avrupa Teorik Bilgisayar Bilimleri Derneği ve Avrupa Bilgisayar Bilimi Mantığı Derneği.

Sıralama

Göre 2010 Bilgisayar Bilimleri Konferansı Sıralaması konferans, dünya çapında 1900'ün üzerinde uluslararası konferans arasında "B" olarak sıralanmıştır. Ayrıca, "B" olarak sıralanır CORE Konferans Sıralaması Alıştırması - CORE Portalı (2018). Şu anda 9. sırada (Son 5 yıl), Alan Derecelendirmesi 1, Algoritmalar ve Teori, Microsoft Academic Search - Konferanslar. Açık Google Scholar, konferans h5-endeksi olarak 11, h5-medyanı olarak 18 puan alır.

Tarih

• 1994: Recife, Brezilya
• 1995: Recife, Brezilya
• 1996: Salvador, Brezilya
• 1997: Fortaleza, Brezilya
• 1998: São Paulo, Brezilya
• 1999: Itatiaia, Brezilya
• 2000: Natal, Brezilya
• 2001: Brasília, Brezilya
• 2002: Rio de Janeiro, Brezilya
• 2003: Ouro Preto, Brezilya
• 2004: Fontainebleau, Fransa
• 2005: Florianópolis, Brezilya
• 2006: Stanford, Amerika Birleşik Devletleri
• 2007: Rio de Janeiro, Brezilya
• 2008: Edinburg, İskoçya
• 2009: Tokyo, Japonya
• 2010: Brasília, Brezilya
• 2011: Philadelphia, AMERİKA BİRLEŞİK DEVLETLERİ
• 2012: Buenos Aires, Arjantin
• 2013: Darmstadt, Almanya
• 2014: Valparaiso, Şili
• 2015: Bloomington, Indiana, AMERİKA BİRLEŞİK DEVLETLERİ
• 2016: Puebla, Meksika
• 2017: Londra, Büyük Britanya
• 2018: Bogotá, Kolombiya
• 2019: Utrecht, Hollanda

Gelecek Mekanlar

Toplantılar Latin Amerika ve ABD / Avrupa / Asya arasında değişmektedir. Gelecekteki toplantılar için aşağıdaki konumlar planlanmıştır:

• 2020: Lima, Peru
• 2021: Chennai, Hindistan (teyit edilecek)

Bildiriler

• Mantık, Dil, Bilgi ve Hesaplama - 26.Uluslararası Çalıştay, WoLLIC 2019, Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Utrecht, Hollanda, 2-5 Temmuz 2019. Bilgisayar Bilimlerinde Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 11541/2019, doi:10.1007/978-3-662-59533-6, ISBN  978-3-662-59532-9.
• Mantık, Dil, Bilgi ve Hesaplama - 25. Uluslararası Çalıştay, WoLLIC 2018, Lawrence S. Moss, Ruy de Queiroz & Maricarmen Martínez (editörler), Bogotá, Kolombiya, 24–27 Temmuz 2018. Bilgisayar Bilimlerinde Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 10944/2018, doi:10.1007/978-3-662-57669-4, ISBN  978-3-662-57668-7.
• Mantık, Dil, Bilgi ve Hesaplama - 24.Uluslararası Çalıştay, WoLLIC 2017, Juliette Kennedy & Ruy de Queiroz (editörler), Londra, İngiltere, 18–21 Temmuz 2017. Bilgisayar Bilimlerinde Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 10388/2017, doi:10.1007/978-3-662-55386-2, ISBN  978-3-662-55385-5.
• Mantık, Dil, Bilgi ve Hesaplama - 23rd International Workshop, WoLLIC 2016, Jouko Väänänen, Åsa Hirvonen & Ruy de Queiroz (editörler), Puebla, Meksika, 16–19 Ağustos 2016. Bilgisayar Bilimlerinde Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 9803/2016, doi:10.1007/978-3-662-52921-8, ISBN  978-3-662-52920-1.
• Mantık, Dil, Bilgi ve Hesaplama - 22.Uluslararası Çalıştay, WoLLIC 2015, Valeria de Paiva, Ruy de Queiroz, Lawrence Moss, Daniel Leivant ve Anjolina de Oliveira (editörler), Bloomington, Indiana, ABD, 20-23 Temmuz 2015. Bilgisayar Bilimlerinde Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 9160/2015, doi:10.1007/978-3-662-47709-0, ISBN  978-3-662-47708-3.
• Mantık, Dil, Bilgi ve Hesaplama - 21. Uluslararası Çalıştay, WoLLIC 2014, Ulrich Kohlenbach, Pablo Barceló & Ruy de Queiroz (eds.), Valparaíso, Şili, 1-4 Eylül 2014. Bilgisayar Bilimi Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 8652/2014, doi:10.1007/978-3-662-44145-9, ISBN  978-3-662-44144-2.
• Mantık, Dil, Bilgi ve Hesaplama - 20. Uluslararası Çalıştay, WoLLIC 2013, Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (editörler), Darmstadt, Almanya, 20-23 Ağustos 2013. Bilgisayar Bilimleri Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 8071/2013, doi:10.1007/978-3-642-39992-3, ISBN  978-3-642-39992-3.
• Mantık, Dil, Bilgi ve Hesaplama - 19. Uluslararası Çalıştay, WoLLIC 2012, Luke Ong & Ruy de Queiroz (editörler), Buenos Aires, Arjantin, 3–6 Eylül 2012. Bilgisayar Bilimi Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 7456/2012, doi:10.1007/978-3-642-32620-2, ISBN  978-3-642-32620-2.
• Mantık, Dil, Bilgi ve Hesaplama - 18. Uluslararası Çalıştay, WoLLIC 2011, Lev D. Beklemishev & Ruy de Queiroz (editörler), Philadelphia, PA, ABD, 18-20 Mayıs 2011. Bilgisayar Bilimleri Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 6642/2011, doi:10.1007/978-3-642-20919-2, ISBN  978-3-642-20919-2.
• Mantık, Dil, Bilgi ve Hesaplama - 17. Uluslararası Çalıştay, WoLLIC 2010, A. Dawar & R. de Queiroz (eds.), Brasília, Brezilya, 6–9 Temmuz 2010. Bilgisayar Bilimlerinde Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 6188/2010, doi:10.1007/978-3-642-13823-2, ISBN  978-3-642-13823-2.
• Mantık, Dil, Bilgi ve Hesaplama - 16. Uluslararası Çalıştay, WoLLIC 2009, H. Ono, M. Kanazawa & R. de Queiroz (editörler), Tokyo, Japonya, 21–24 Haziran 2009. Bilgisayar Biliminde Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 5514/2009, doi:10.1007/978-3-642-02261-6, ISBN  978-3-642-02260-9.
• Mantık, Dil, Bilgi ve Hesaplama - 15. Uluslararası Çalıştay, WoLLIC 2008, W. Hodges & R. de Queiroz (editörler), Edinburgh, UK, 1–4 Temmuz 2008. Bilgisayar Bilimleri Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 5110/2008, doi:10.1007/978-3-540-69937-8, ISBN  978-3-540-69936-1.
• Mantık, Dil, Bilgi ve Hesaplama - 14. Uluslararası Çalıştay, WoLLIC 2007, D. Leivant & R. de Queiroz (editörler), Rio de Janeiro, Brezilya, 2–5 Temmuz 2007. Bilgisayar Bilimi Ders Notları, Springer Berlin / Heidelberg, ISSN  0302-9743 (Yazdır) ISSN  1611-3349 (Çevrimiçi), Cilt 4576/2007, doi:10.1007/978-3-540-73445-1, ISBN  978-3-540-73443-7.
• 13. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı Bildirileri (WoLLIC 2006), Mantık, Dil, Bilgi ve Hesaplama 2006. Stanford Üniversitesi, CA, ABD. 18–21 Temmuz 2006. G. Mints ve R. de Queiroz tarafından düzenlenmiştir. Teorik Bilgisayar Bilimlerinde Elektronik Notlar. ISSN  1571-0661. Cilt 165, Sayfalar 1–226 (22 Kasım 2006). (Önsöz doi:10.1016 / j.entcs.2006.07.021 )
• 12. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı Bildirileri (WoLLIC 2005). Florianópolis, Santa Catarina, Brezilya. 19–22 Temmuz 2005. R. de Queiroz, A. Macintyre ve G. Bittencourt tarafından düzenlenmiştir. Teorik Bilgisayar Bilimlerinde Elektronik Notlar. ISSN  1571-0661. Cilt 143, Sayfa 1–222 (6 Ocak 2006). (Önsöz doi:10.1016 / j.entcs.2005.06.032 )
• 11. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı Bildirileri (WoLLIC 2004). Fontainebleau (Paris), Fransa. 19–22 Temmuz 2004. R. de Queiroz ve P. Cégielski tarafından düzenlendi. Teorik Bilgisayar Bilimlerinde Elektronik Notlar. ISSN  1571-0661. Cilt 123, Sayfalar 1-240 (1 Mart 2005). (Önsöz doi:10.1016 / j.entcs.2004.05.012 )
• WoLLIC'2003, 10. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı. Ouro Preto (Minas Gerais), Brezilya. 29 Temmuz - 1 Ağustos 2003. R. de Queiroz, E. Pimentel ve L. Figueiredo tarafından düzenlenmiştir. Teorik Bilgisayar Bilimlerinde Elektronik Notlar. ISSN  1571-0661. Cilt 84, Sayfa 1–231 (Eylül 2003). (Önsöz doi:10.1016 / S1571-0661 (05) 80858-8 )
• WoLLIC'2002, Mantık, Dil, Bilgi ve Hesaplama Üzerine 9. Workhop. Rio de Janeiro, Brezilya. 30 Temmuz - 2 Ağustos 2002. Düzenleyen: Ruy de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler. Teorik Bilgisayar Bilimlerinde Elektronik Notlar. ISSN  1571-0661. Cilt 67, Sayfa 1-314 (Ekim 2002). (Önsöz doi:10.1016 / S1571-0661 (05) 80556-0 )

Bilimsel Dergilerin Özel Sayıları

• Saf ve Uygulamalı Mantığın Yıllıkları, 23. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı (WoLLIC 2016). Jouko Väänänen ve Ruy de Queiroz tarafından düzenlenmiştir. Cilt 170, Sayı 9, Sayfalar 921-1150 (Eylül 2019), Elsevier.
• Bilgisayar Bilimlerinde Matematiksel Yapılar, Mantık, Dil, Bilgi ve Hesaplama Üzerine 22. Çalıştay (WoLLIC 2015). Valeria de Paiva ve Ruy de Queiroz tarafından düzenlenmiştir. Cilt 29, Sayı 6, Haziran 2019, Cambridge University Press.
• Bilgi ve Hesaplama, 21. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı (WoLLIC 2014). Ulrich Kohlenbach, Pablo Barcelò ve Ruy de Queiroz tarafından düzenlenmiştir. Cilt 255, Bölüm 2, Sayfa 193–334 (Ağustos 2017).
• Bilgisayar ve Sistem Bilimleri Dergisi, 20. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı (WoLLIC 2013). Leonid Libkin, Ulrich Kohlenbach ve Ruy de Queiroz tarafından düzenlenmiştir. Cilt 88, Sayfa 1-290 (Eylül 2017).
• Teorik Bilgisayar Bilimleri, Mantık, Dil, Bilgi ve Hesaplama, 19. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı. Buenos Aires, Arjantin. 3–6 Eylül 2012. Luke Ong ve Ruy de Queiroz tarafından düzenlendi. Cilt 603, Sayfa 1-146 (25 Ekim 2015).
• Bilgisayar ve Sistem Bilimleri Dergisi, 18. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı (WoLLIC 2011). Lev Beklemishev, Ruy de Queiroz ve Andre Scedrov tarafından düzenlenmiştir. Cilt 80, Sayı 6, Sayfalar 1037-1174 (Eylül 2014).
• Bilgisayar ve Sistem Bilimleri Dergisi, 17. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı (WoLLIC 2010). Anuj Dawar ve Ruy de Queiroz tarafından düzenlenmiştir. Cilt 80, Sayı 2, Sayfalar 321-498 (Mart 2014).
• Fundamenta Informaticae, Mantık, Dil, Bilgi ve Hesaplama. Hiroakira Ono, Makoto Kanazawa ve Ruy de Queiroz tarafından düzenlenmiştir. Cilt 106, Sayılar 2-4, Sayfalar 119-338, Eylül 2011.
• Bilgisayar ve Sistem Bilimleri Dergisi, Mantık, Dil, Bilgi ve Hesaplama Çalıştayı (WoLLIC 2008). Wilfrid Hodges ve Ruy de Queiroz tarafından düzenlenmiştir. Cilt 76, Sayı 5, Sayfalar 281-388 (Ağustos 2010).
• Bilgi ve Hesaplama, Özel sayı: Mantık, Dil, Bilgi ve Hesaplama üzerine 14. Çalıştay (WoLLIC 2007). Daniel Leivant ve Ruy de Queiroz tarafından düzenlenmiştir. Cilt 208, Sayı 5, Sayfalar 395-604, (Mayıs 2010).
• Bilgi ve Hesaplama, Özel sayı: Mantık, Dil, Bilgi ve Hesaplama üzerine 13. Çalıştay (WoLLIC 2006). Grigori Mints, Valeria de Paiva ve Ruy de Queiroz tarafından düzenlenmiştir. Cilt 207, Sayı 10, Sayfalar 969-1094, (Ekim 2009).
• Saf ve Uygulamalı Mantığın Yıllıkları, Mantık, Dil, Bilgi ve Hesaplama Çalıştayı. Florianópolis, Santa Catarina, Brezilya. 19–22 Temmuz 2005. R. de Queiroz ve A. Macintyre tarafından düzenlenmiştir. Cilt 152, Sayılar 1-3, Sayfalar 1–180 (Mart 2008).
• Teorik Bilgisayar Bilimleri, Mantık, Dil, Bilgi ve Hesaplama, 11. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı. Paris, Fransa. 19–22 Temmuz 2004. R. de Queiroz ve P. Cégielski tarafından düzenlendi. Cilt 364, Sayı 2, Sayfalar 143-270 (6 Kasım 2006).
• Teorik Bilgisayar Bilimleri, Mantık, Dil, Bilgi ve Hesaplama. Minas Gerais, Brezilya. 29 Temmuz-1 Ağustos 2003. R. de Queiroz ve D. Kozen tarafından düzenlenmiştir. Cilt 355, Sayı 2, Sayfalar 105-260 (11 Nisan 2006).
• Saf ve Uygulamalı Mantığın Yıllıkları, 9. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı'nda sunulan bildiriler (WoLLIC’2002). 30 Temmuz-2 Ağustos 2002. R. de Queiroz, B. Poizat ve S. Artemov. Cilt 134, Sayı 1, Sayfa 1-93 (Haziran 2005).
• Matemática Contemporânea. 8. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı - WoLLIC'2001. Universidade de Brasília, Temmuz - Ağustos 2001 - Brasília. John T. Baldwin, Ruy J. G. B. de Queiroz, Edward H. Haeusler tarafından düzenlenmiştir. Cilt 24, 2003.
• Saf ve Uygulamalı Mantıkta İlgi Grubu Mantık Dergisi. 7. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı - WoLLIC 2000. Natal (Rio Grande do Norte Eyaleti), 15–18 Ağustos 2000. Düzenleyen Ruy J. G. B. de Queiroz. Cilt 9, Sayı 6, 2001.
• Saf ve Uygulamalı Mantıkta İlgi Grubu Mantık Dergisi. 6. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı - WoLLIC'99. Itatiaia Ulusal Parkı (Rio de Janeiro Eyaleti), 25-28 Mayıs 1999. Düzenleyen Ruy J. G. B. de Queiroz. Cilt 8, Sayı 5, 2000.

Referanslar

• Hodges, Wilfrid (2008), "Mantık, Dil, Bilgi ve Hesaplama Çalıştayı, 1-4 Temmuz" (PDF), Reasoner, 2 (9): 10, alındı 2010-10-23

Dış bağlantılar

• WoLLIC web sayfası.
• DBLP girişi.
• ASL Sponsorluğu.
• WoLLIC 2013 1 sayfalık Konferans Raporu. Sembolik Mantık Bülteni 20(2):266-267, Haziran 2014. doi:10.1017 / bsl.2014.9 (Çevrimiçi yayın tarihi: 26 Haziran 2014).
• WoLLIC 2014 Konferansı Raporu. İçinde Saf ve Uygulamalı Mantıkta İlgi Grubu Mantık Dergisi, doi:10.1093 / jigpal / jzv022, Oxford University Press, 2015.
• WoLLIC 2014 1 sayfalık Konferans Raporu. Sembolik Mantık Bülteni 21(2):241-242, Haziran 2015. doi:10.1017 / bsl.2015.16
• WoLLIC 2015 Konferans Raporu. İçinde Saf ve Uygulamalı Mantıkta İlgi Grubu Mantık Dergisi, doi:10.1093 / jigpal / jzw014, Oxford University Press, 2016.
• WoLLIC 2015 1 sayfalık Konferans Raporu. Sembolik Mantık Bülteni 22(3):436-437, Eylül 2016. doi:10.1017 / bsl.2016.23
• WoLLIC 2016 Konferans Raporu. İçinde Saf ve Uygulamalı Mantıkta İlgi Grubu Mantık Dergisi, doi:10.1093 / jigpal / jzw063, Oxford University Press, Aralık 2016.
• WoLLIC 2016 1 sayfalık Konferans Raporu. Sembolik Mantık Bülteni 23(2):270-271, Haziran 2017. doi:10.1017 / bsl.2017.17
• WoLLIC 2017 Konferans Raporu. İçinde Saf ve Uygulamalı Mantıkta İlgi Grubu Mantık Dergisi, doi:10.1093 / jigpal / jzy011, Oxford University Press, Mayıs 2018.
• WoLLIC 2017 1 sayfalık Konferans Raporu. Sembolik Mantık Bülteni 24(3):386–387, Eylül 2018. doi:10.1017 / bsl.2018.22
• WoLLIC 2018 Konferansı Raporu. İçinde Saf ve Uygulamalı Mantıkta İlgi Grubu Mantık Dergisi, doi:10.1093 / jigpal / jzz004, Oxford University Press, Nisan 2019.