Workshop o logice, jazyce, informacích a výpočtu - Workshop on Logic, Language, Information and Computation

WOLIC, Workshop o logice, jazyce, informacích a výpočtu je akademická konference v oblasti čistého a aplikovaného logika a teoretická informatika. WoLLIC se každoročně organizuje od roku 1994, obvykle v červnu nebo červenci; konference je vědecky sponzorována Sdružení pro logiku, jazyk a informace, Sdružení pro symbolickou logiku, Evropská asociace pro teoretickou informatiku a Evropská asociace pro logiku počítačových věd.

Hodnocení

Podle Hodnocení konference o informatice 2010 je konference zařazena mezi „B“ mezi více než 1900 mezinárodními konferencemi po celém světě. Je také zařazen do kategorie „B“ Cvičení konference CORE Conference - CORE Portal (2018). V současné době je na 9. místě (posledních 5 let), Field-Rating 1, Algorithms & Theory, na Microsoft Academic Search - konference. Na Google Scholar, konference získá skóre 11 jako svůj h5-index a skóre 18 jako svůj h5-medián.

Dějiny

• 1994: Recife, Brazílie
• 1995: Recife, Brazílie
• 1996: Salvador, Brazílie
• 1997: Fortaleza, Brazílie
• 1998: Sao Paulo, Brazílie
• 1999: Itatiaia, Brazílie
• 2000: Natal, Brazílie
• 2001: Brasília, Brazílie
• 2002: Rio de Janeiro, Brazílie
• 2003: Ouro Preto, Brazílie
• 2004: Fontainebleau, Francie
• 2005: Florianópolis, Brazílie
• 2006: Stanford, Spojené státy
• 2007: Rio de Janeiro, Brazílie
• 2008: Edinburgh, Skotsko
• 2009: Tokio, Japonsko
• 2010: Brasília, Brazílie
• 2011: Philadelphie, USA
• 2012: Buenos Aires, Argentina
• 2013: Darmstadt, Německo
• 2014: Valparaiso, Chile
• 2015: Bloomington, Indiana, USA
• 2016: Puebla, Mexiko
• 2017: Londýn, Velká Británie
• 2018: Bogotá, Kolumbie
• 2019: Utrecht, Nizozemí

Budoucí místa

Setkání se střídají mezi Latinskou Amerikou a USA / Evropou / Asií. Následující místa jsou plánována pro budoucí setkání:

• 2020: Lima, Peru
• 2021: Chennai, Indie (bude potvrzeno)

Řízení

• Logika, jazyk, informace a výpočet - 26. mezinárodní workshop, WoLLIC 2019, Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Utrecht, Nizozemsko, 2. – 5. července 2019. Přednášky z informatiky Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), ročník 11541/2019, doi:10.1007/978-3-662-59533-6, ISBN  978-3-662-59532-9.
• Logika, jazyk, informace a výpočet - 25. mezinárodní workshop, WoLLIC 2018, Lawrence S.Moss, Ruy de Queiroz & Maricarmen Martínez (eds.), Bogotá, Kolumbie, 24. – 27. července 2018. Přednášky z informatiky Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), ročník 10944/2018, doi:10.1007/978-3-662-57669-4, ISBN  978-3-662-57668-7.
• Logika, jazyk, informace a výpočet - 24. mezinárodní workshop, WoLLIC 2017, Juliette Kennedy & Ruy de Queiroz (eds.), Londýn, Velká Británie, 18. – 21. července 2017. Přednášky z informatiky Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), ročník 10388/2017, doi:10.1007/978-3-662-55386-2, ISBN  978-3-662-55385-5.
• Logika, jazyk, informace a výpočet - 23. mezinárodní seminář, WoLLIC 2016, Jouko Väänänen, Åsa Hirvonen & Ruy de Queiroz (eds.), Puebla, Mexiko, 16. – 19. srpna 2016. Přednášky z informatiky Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), ročník 9803/2016, doi:10.1007/978-3-662-52921-8, ISBN  978-3-662-52920-1.
• Logika, jazyk, informace a výpočet - 22. mezinárodní workshop, WoLLIC 2015, Valeria de Paiva, Ruy de Queiroz, Lawrence Moss, Daniel Leivant & Anjolina de Oliveira (eds.), Bloomington, Indiana, USA, 20. – 23. Července 2015. Přednášky z informatiky Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), ročník 9160/2015, doi:10.1007/978-3-662-47709-0, ISBN  978-3-662-47708-3.
• Logika, jazyk, informace a výpočet - 21. mezinárodní workshop, WoLLIC 2014, Ulrich Kohlenbach, Pablo Barceló & Ruy de Queiroz (eds.), Valparaíso, Chile, 1. – 4. září 2014. Přednášky z informatiky, Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), ročník 8652/2014, doi:10.1007/978-3-662-44145-9, ISBN  978-3-662-44144-2.
• Logika, jazyk, informace a výpočet - 20. mezinárodní workshop, WoLLIC 2013, Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (eds.), Darmstadt, Německo, 20. – 23. Srpna 2013. Přednášky z informatiky, Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), ročník 8071/2013, doi:10.1007/978-3-642-39992-3, ISBN  978-3-642-39992-3.
• Logika, jazyk, informace a výpočet - 19. mezinárodní seminář „WoLLIC 2012, Luke Ong & Ruy de Queiroz (eds.), Buenos Aires, Argentina, 3. – 6. Září 2012. Přednášky z informatiky, Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), ročník 7456/2012, doi:10.1007/978-3-642-32620-2, ISBN  978-3-642-32620-2.
• Logika, jazyk, informace a výpočet - 18. mezinárodní workshop „WoLLIC 2011, Lev D. Beklemishev a Ruy de Queiroz (eds.), Philadelphia, PA, USA, 18. – 20. Května 2011. Přednášky z informatiky, Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), ročník 6642/2011, doi:10.1007/978-3-642-20919-2, ISBN  978-3-642-20919-2.
• Logika, jazyk, informace a výpočet - 17. mezinárodní workshop „WoLLIC 2010, A. Dawar a R. de Queiroz (eds.), Brasília, Brazílie, 6. – 9. Července 2010. Přednášky z informatiky, Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), svazek 6188/2010, doi:10.1007/978-3-642-13823-2, ISBN  978-3-642-13823-2.
• Logika, jazyk, informace a výpočet - 16. mezinárodní workshop „WoLLIC 2009, H. Ono, M. Kanazawa a R. de Queiroz (eds.), Tokio, Japonsko, 21. – 24. Června 2009. Přednášky z informatiky, Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), ročník 5514/2009, doi:10.1007/978-3-642-02261-6, ISBN  978-3-642-02260-9.
• Logika, jazyk, informace a výpočet - 15. mezinárodní workshop „WoLLIC 2008, W. Hodges a R. de Queiroz (eds.), Edinburgh, Velká Británie, 1. – 4. Července 2008. Přednášky z informatiky, Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), ročník 5110/2008, doi:10.1007/978-3-540-69937-8, ISBN  978-3-540-69936-1.
• Logika, jazyk, informace a výpočet - 14. mezinárodní workshop „WoLLIC 2007, D. Leivant & R. de Queiroz (eds.), Rio de Janeiro, Brazílie, 2. – 5. Července 2007. Přednášky z informatiky, Springer Berlin / Heidelberg, ISSN  0302-9743 (Tisk) ISSN  1611-3349 (Online), ročník 4576/2007, doi:10.1007/978-3-540-73445-1, ISBN  978-3-540-73443-7.
• Sborník příspěvků ze 13. workshopu o logice, jazyce, informacích a výpočtu (WoLLIC 2006), logice, jazyce, informacích a výpočtu 2006. Stanford University, CA, USA. 18. – 21. Července 2006. Redakce: G. Mints a R. de Queiroz. Elektronické poznámky v teoretické informatice. ISSN  1571-0661. Svazek 165, strany 1–226 (22. listopadu 2006). (Předmluva doi:10.1016 / j.entcs.2006.07.021 )
• Sborník 12. workshopu o logice, jazyce, informacích a výpočtu (WoLLIC 2005). Florianópolis, Santa Catarina, Brazílie. 19. – 22. Července 2005. Redakce: R. de Queiroz, A. Macintyre a G. Bittencourt. Elektronické poznámky v teoretické informatice. ISSN  1571-0661. Svazek 143, strany 1–222 (6. ledna 2006). (Předmluva doi:10.1016 / j.entcs.2005.06.032 )
• Sborník z 11. workshopu o logice, jazyce, informacích a výpočtu (WoLLIC 2004). Fontainebleau (Paříž), Francie. 19. – 22. Července 2004. Redakce: R. de Queiroz a P. Cégielski. Elektronické poznámky v teoretické informatice. ISSN  1571-0661. Svazek 123, strany 1–240 (1. března 2005). (Předmluva doi:10.1016 / j.entcs.2004.05.012 )
• WoLLIC'2003, 10. workshop o logice, jazyku, informacích a výpočtu. Ouro Preto (Minas Gerais), Brazílie. 29. července až 1. srpna 2003. Redakce: R. de Queiroz, E. Pimentel a L. Figueiredo. Elektronické poznámky v teoretické informatice. ISSN  1571-0661. Svazek 84, strany 1–231 (září 2003). (Předmluva doi:10.1016 / S1571-0661 (05) 80858-8 )
• WoLLIC'2002, 9. workshop pro logiku, jazyk, informace a výpočet. Rio de Janeiro, Brazílie. 30. července až 2. srpna 2002. Redakce: Ruy de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler. Elektronické poznámky v teoretické informatice. ISSN  1571-0661. Svazek 67, strany 1–314 (říjen 2002). (Předmluva doi:10.1016 / S1571-0661 (05) 80556-0 )

Zvláštní vydání vědeckých časopisů

• Annals of Pure and Applied Logic, 23. seminář o logice, jazyce, informacích a výpočtu (WoLLIC 2016). Editoval Jouko Väänänen a Ruy de Queiroz. Svazek 170, číslo 9, strany 921-1150 (září 2019), Elsevier.
• Matematické struktury v informatice, 22. seminář o logice, jazyce, informacích a výpočtu (WoLLIC 2015). Editoval Valeria de Paiva a Ruy de Queiroz. Svazek 29, číslo 6, červen 2019, Cambridge University Press.
• Informace a výpočet, 21. workshop o logice, jazyce, informacích a výpočtu (WoLLIC 2014). Editace: Ulrich Kohlenbach, Pablo Barcelò a Ruy de Queiroz. Svazek 255, část 2, strany 193–334 (srpen 2017).
• Journal of Computer and System Sciences, 20. workshop o logice, jazyce, informacích a výpočtu (WoLLIC 2013). Editace: Leonid Libkin, Ulrich Kohlenbach a Ruy de Queiroz. Svazek 88, strany 1–290 (září 2017).
• Teoretická informatika, Logika, jazyk, informace a výpočet, 19. Workshop o logice, jazyku, informacích a výpočtu. Buenos Aires, Argentina. 3. – 6. Září 2012. Editace: Luke Ong a Ruy de Queiroz. Svazek 603, strany 1–146 (25. října 2015).
• Journal of Computer and System Sciences, 18. workshop o logice, jazyce, informacích a výpočtu (WoLLIC 2011). Editace: Lev Beklemishev, Ruy de Queiroz a Andre Scedrov. Svazek 80, vydání 6, strany 1037-1174 (září 2014).
• Journal of Computer and System Sciences, 17. workshop o logice, jazyce, informacích a výpočtu (WoLLIC 2010). Editoval Anuj Dawar a Ruy de Queiroz. Svazek 80, vydání 2, strany 321-498 (březen 2014).
• Fundamenta Informaticae, Logika, jazyk, informace a výpočet. Editace: Hiroakira Ono, Makoto Kanazawa a Ruy de Queiroz. Svazek 106, čísla 2-4, strany 119-338, září 2011.
• Journal of Computer and System Sciences, Workshop o logice, jazyce, informacích a výpočtu (WoLLIC 2008). Editoval Wilfrid Hodges a Ruy de Queiroz. Svazek 76, číslo 5, strany 281-388 (srpen 2010).
• Informace a výpočet, Speciální vydání: 14. workshop o logice, jazyce, informacích a výpočtu (WoLLIC 2007). Editoval Daniel Leivant a Ruy de Queiroz. Svazek 208, vydání 5, stránky 395-604, (květen 2010).
• Informace a výpočet, Speciální vydání: 13. workshop o logice, jazyku, informacích a výpočtu (WoLLIC 2006). Editoval Grigori Mints, Valeria de Paiva a Ruy de Queiroz. Svazek 207, vydání 10, strany 969-1094, (říjen 2009).
• Annals of Pure and Applied Logic, 12. seminář o logice, jazyce, informacích a výpočtu. Florianópolis, Santa Catarina, Brazílie. 19. – 22. Července 2005. Redakce: R. de Queiroz a A. Macintyre. Svazek 152, čísla 1-3, strany 1–180 (březen 2008).
• Teoretická informatika, Logika, jazyk, informace a výpočet, 11. seminář o logice, jazyce, informacích a výpočtu. Paříž, Francie. 19. – 22. Července 2004. Redakce: R. de Queiroz a P. Cégielski. Svazek 364, vydání 2, strany 143-270 (6. listopadu 2006).
• Teoretická informatika, Logika, jazyk, informace a výpočet. Minas Gerais, Brazílie. 29. července - 1. srpna 2003. Redakce: R. de Queiroz a D. Kozen. Svazek 355, vydání 2, strany 105-260 (11. dubna 2006).
• Annals of Pure and Applied Logic, Příspěvky prezentované na 9. workshopu o logice, jazyce, informacích a výpočtech (WoLLIC’2002). 30. července - 2. srpna 2002. Redakce: R. de Queiroz, B. Poizat a S. Artemov. Svazek 134, číslo 1, strany 1–93 (červen 2005).
• Matemática Contemporânea. 8. seminář o logice, jazyce, informacích a výpočtu - WoLLIC'2001. Universidade de Brasília, červenec-srpen 2001 - Brasília. Editoval John T. Baldwin, Ruy J. G. B. de Queiroz, Edward H. Haeusler. Svazek 24, 2003.
• Logický deník zájmové skupiny v čisté a aplikované logice. 7. seminář o logice, jazyce, informacích a výpočtu - WoLLIC 2000. Natal (stát Rio Grande do Norte), 15. – 18. Srpna 2000. Editoval Ruy J. G. B. de Queiroz. Svazek 9, číslo 6, 2001.
• Logický deník zájmové skupiny v čisté a aplikované logice. 6. workshop o logice, jazyce, informacích a výpočtu - WoLLIC'99. Národní park Itatiaia (stát Rio de Janeiro), 25. – 28. Května 1999. Editoval Ruy J. G. B. de Queiroz. Svazek 8, číslo 5, 2000.

Reference

• Hodges, Wilfrid (2008), „Workshop o logice, jazyce, informacích a výpočtech, 1. – 4. Července“ (PDF), Důvodem, 2 (9): 10, vyvoláno 2010-10-23

externí odkazy

• Webová stránka WoLLIC.
• Vstup do DBLP.
• Sponzorství ASL.
• Jednostránková konferenční zpráva WoLLIC 2013. Bulletin symbolické logiky 20(2):266-267, Červen 2014. doi:10.1017 / bsl.2014.9 (Publikováno online: 26. června 2014).
• Zpráva z konference WoLLIC 2014. v Logický deník zájmové skupiny v čisté a aplikované logice, doi:10.1093 / jigpal / jzv022, Oxford University Press, 2015.
• Jednostránková konferenční zpráva WoLLIC 2014. Bulletin symbolické logiky 21(2):241-242, Červen 2015. doi:10.1017 / bsl.2015.16
• Zpráva z konference WoLLIC 2015. v Logický deník zájmové skupiny v čisté a aplikované logice, doi:10.1093 / jigpal / jzw014, Oxford University Press, 2016.
• Jednostránková konferenční zpráva WoLLIC 2015. Bulletin symbolické logiky 22(3):436-437, Září 2016. doi:10.1017 / bsl.2016.23
• Zpráva z konference WoLLIC 2016. v Logický deník zájmové skupiny v čisté a aplikované logice, doi:10.1093 / jigpal / jzw063, Oxford University Press, prosinec 2016.
• Jednostránková konferenční zpráva WoLLIC 2016. Bulletin symbolické logiky 23(2):270-271, Červen 2017. doi:10.1017 / bsl.2017.17
• Zpráva z konference WoLLIC 2017. v Logický deník zájmové skupiny v čisté a aplikované logice, doi:10.1093 / jigpal / jzy011, Oxford University Press, květen 2018.
• Jednostránková konferenční zpráva WoLLIC 2017. Bulletin symbolické logiky 24(3):386–387, Září 2018. doi:10.1017 / bsl.2018.22
• Zpráva z konference WoLLIC 2018. v Logický deník zájmové skupiny v čisté a aplikované logice, doi:10.1093 / jigpal / jzz004, Oxford University Press, duben 2019.