Workshop om logik, språk, information och beräkningar

WoLLIC , workshopen om logik, språk, information och beräkningar är en akademisk konferens inom området ren och tillämpad logik och teoretisk datavetenskap . WoLLIC har anordnats årligen sedan 1994, vanligtvis i juni eller juli; konferensen är vetenskapligt sponsrad av Association for Logic, Language and Information , Association for Symbolic Logic , European Association for Theoretical Computer Science och European Association for Computer Science Logic .

Ranking

Enligt Computer Science Conference Ranking 2010 är konferensen rankad "B" bland över 1900 internationella konferenser över hela världen. Den är också rankad "B" på The CORE Conference Ranking Exercise - CORE Portal (2021) . Det är för närvarande rankat på 9:e plats (senaste 5 åren), Field-Rating 1, Algoritmer och teori, på Microsoft Academic Search - Conferences . På Google Scholar får konferensen poängen 11 som h5-index och poängen 16 som h5-median.

Historia

• 1994: Recife , Brasilien
• 1995: Recife , Brasilien
• 1996: Salvador , Brasilien
• 1997: Fortaleza , Brasilien
• 1998: São Paulo , Brasilien
• 1999: Itatiaia , Brasilien
• 2000: Natal , Brasilien
• 2001: Brasilia , Brasilien
• 2002: Rio de Janeiro , Brasilien
• 2003: Ouro Preto , Brasilien
• 2004: Fontainebleau , Frankrike
• 2005: Florianópolis , Brasilien
• 2006: Stanford , USA
• 2007: Rio de Janeiro , Brasilien
• 2008: Edinburgh , Storbritannien
• 2009: Tokyo , Japan
• 2010: Brasilia , Brasilien
• 2011: Philadelphia , USA
• 2012: Buenos Aires , Argentina
• 2013: Darmstadt , Tyskland
• 2014: Valparaiso , Chile
• 2015: Bloomington, Indiana , USA
• 2016: Puebla , Mexiko
• 2017: London , Storbritannien
• 2018: Bogotá , Colombia
• 2019: Utrecht , Nederländerna
• 2020: Lima , Peru (inställd)
• 2021: Online
• 2022: Iași , România

Framtida arenor

Mötena alternerar mellan Latinamerika och USA/Europa/Asien. Följande platser är planerade för framtida möten:

• 2023: Halifax, Nova Scotia , Kanada
• 2024: Bern, Schweiz

Förfaranden

•       Logic, Language, Information and Computation - 28th International Workshop , WoLLIC 2022, Agata Ciabattoni , Elaine Pimentel & Ruy de Queiroz (red.), Iaşi, Rumänien, 20–23 september 2022. Lecture Notes in Computer Science , Springer Berlin / Heidelberg , ISSN 0302-9743 (tryckt) ISSN 1611-3349 (online), volym 13468/2022, doi : 10.1007/978-3-031-15298-6 , ISBN 978-3-031-95 .
•       Logic, Language, Information and Computation - 27th International Workshop , WoLLIC 2021, Alexandra Silva , Renata Wassermann & Ruy de Queiroz (red.), Virtual Event, 5–8 oktober 2021. Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302-9743 (tryckt) ISSN 1611-3349 (online), volym 13038/2021, doi : 10.1007/978-3-030-88853-4 , ISBN 978-3-030-7885- .
•       Logic, Language, Information and Computation - 26th International Workshop , WoLLIC 2019, Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (red.), Utrecht, Nederländerna, 2–5 juli 2019. Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302-9743 (tryckt) ISSN 1611-3349 (online), volym 11541/2019, doi : 10.1007/978-3-662-59533-6 , ISBN 978-3-5362-5 9 .
•       Logic, Language, Information and Computation - 25th International Workshop , WoLLIC 2018, Lawrence S. Moss, Ruy de Queiroz & Maricarmen Martínez (red.), Bogotá, Colombia, 24–27 juli 2018. Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volym 10944/2018, doi : 10.1007/978-3-662-57669-4 , ISBN 978-3-662-7 .
•       Logic, Language, Information and Computation - 24th International Workshop , WoLLIC 2017, Juliette Kennedy & Ruy de Queiroz (red.), London, Storbritannien, 18–21 juli 2017. Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302 -9743 (tryckt) ISSN 1611-3349 (online), volym 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 (red.), Puebla, Mexiko, 16–19 augusti 2016. Lecture Notes in Computer Science , Springer Berlin / Heidelberg , ISSN 0302-9743 (tryckt) ISSN 1611-3349 (online), volym 9803/2016, doi : 10.1007/978-3-662-52921-8 , ISBN 978-3-602-129 .
•       Logic, Language, Information and Computation - 22nd International Workshop , WoLLIC 2015, Valeria de Paiva , Ruy de Queiroz , Lawrence Moss, Daniel Leivant & Anjolina de Oliveira (red.), Bloomington, Indiana, USA, 20–23 juli 2015. Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302-9743 (Print) ISSN 1611-3349 (Online), Volym 9160/2015, doi : 10.1007 /978-3-662-47709-0 , ISBN 662-47708-3 .
•       Logic, Language, Information and Computation - 21st International Workshop , WoLLIC 2014, Ulrich Kohlenbach, Pablo Barceló & Ruy de Queiroz (red.), Valparaíso, Chile, 1–4 september 2014. Lecture Notes in Computer Science, Springer Berlin / Heidelberg , ISSN 0302-9743 (tryckt) ISSN 1611-3349 (online), volym 8652/2014, doi : 10.1007/978-3-662-44145-9 , ISBN 978-3-662-2414 .
•       Logic, Language, Information and Computation - 20th International Workshop , WoLLIC 2013, Leonid Libkin , Ulrich Kohlenbach & Ruy de Queiroz (red.), Darmstadt, Tyskland, 20–23 augusti 2013. Lecture Notes in Computer Science, Springer Berlin / Heidelberg , ISSN 0302-9743 (tryckt) ISSN 1611-3349 (online), volym 8071/2013, doi : 10.1007/978-3-642-39992-3 , ISBN 978-3-6242-399 .
•       Logic, Language, Information and Computation - 19th International Workshop , WoLLIC 2012, Luke Ong & Ruy de Queiroz (red.), Buenos Aires, Argentina, 3–6 september 2012. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (tryckt) ISSN 1611-3349 (online), volym 7456/2012, doi : 10.1007/978-3-642-32620-2 , ISBN 978-3-642-32620-2 .
•       Logic, Language, Information and Computation - 18th International Workshop , WoLLIC 2011, Lev D. Beklemishev & Ruy de Queiroz (red.), Philadelphia, PA, USA, 18–20 maj 2011. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (tryckt) ISSN 1611-3349 (online), volym 6642/2011, doi : 10.1007/978-3-642-20919-2 , ISBN 978-3-6192-20 .
•       Logic, Language, Information and Computation - 17th International Workshop , WoLLIC 2010, A. Dawar & R. de Queiroz (red.), Brasília, Brasilien, 6–9 juli 2010. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (tryckt) ISSN 1611-3349 (online), volym 6188/2010, doi : 10.1007/978-3-642-13823-2 , ISBN 978-3-642-13823-2 .
•       Logic, Language, Information and Computation - 16th International Workshop , WoLLIC 2009, H. Ono, M. Kanazawa & R. de Queiroz (red.), Tokyo, Japan, 21–24 juni 2009. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (tryckt) ISSN 1611-3349 (online), volym 5514/2009, doi : 10.1007/978-3-642-02261-6 , ISBN 978-3-2602-09 .
•       Logic, Language, Information and Computation - 15th International Workshop , WoLLIC 2008, W. Hodges & R. de Queiroz (red.), Edinburgh, Storbritannien, 1–4 juli 2008. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (tryckt) ISSN 1611-3349 (online), volym 5110/2008, doi : 10.1007/978-3-540-69937-8 , ISBN 978-3-540-69936-1 .
•       Logic, Language, Information and Computation - 14th International Workshop , WoLLIC 2007, D. Leivant & R. de Queiroz (red.), Rio de Janeiro, Brasilien, 2–5 juli 2007. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (tryckt) ISSN 1611-3349 (online), volym 4576/2007, doi : 10.1007/978-3-540-73445-1 , ISBN 978-3-5430-74 .
•   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 juli 2006. Redigerad av G. Mints och R. de Queiroz. Elektroniska anteckningar i teoretisk datavetenskap . ISSN 1571-0661 . Volym 165, sidorna 1–226 (22 november 2006). (Förord ​​doi : 10.1016/j.entcs.2006.07.021 )
•   Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005) . Florianópolis, Santa Catarina, Brasilien. 19–22 juli 2005. Redigerad av R. de Queiroz, A. Macintyre och G. Bittencourt. Elektroniska anteckningar i teoretisk datavetenskap . ISSN 1571-0661 . Volym 143, sidorna 1–222 (6 januari 2006). (Förord ​​doi : 10.1016/j.entcs.2005.06.032 )
•   Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC 2004) . Fontainebleau (Paris), Frankrike. 19–22 juli 2004. Redigerad av R. de Queiroz och P. Cégielski. Elektroniska anteckningar i teoretisk datavetenskap . ISSN 1571-0661 . Volym 123, sidorna 1–240 (1 mars 2005). (Förord ​​doi : 10.1016/j.entcs.2004.05.012 )
•   WoLLIC'2003, 10:e workshop om logik, språk, information och beräkningar . Ouro Preto (Minas Gerais), Brasilien. 29 juli till 1 augusti 2003. Redigerad av R. de Queiroz, E. Pimentel och L. Figueiredo. Elektroniska anteckningar i teoretisk datavetenskap . ISSN 1571-0661 . Volym 84, sidorna 1–231 (september 2003). (Förord ​​doi : 10.1016/S1571-0661(05)80858-8 )
•   WoLLIC'2002, 9:e workshopen om logik, språk, information och beräkningar . Rio de Janeiro, Brasilien. 30 juli till 2 augusti 2002. Redigerad av Ruy de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler. Elektroniska anteckningar i teoretisk datavetenskap . ISSN 1571-0661 . Volym 67, sidorna 1–314 (oktober 2002). (Förord ​​doi : 10.1016/S1571-0661(05)80556-0 )

Specialnummer av vetenskapliga tidskrifter

• Journal of Logic, Language and Information , 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018) . Redigerat av Lawrence Moss & Ruy de Queiroz. Volym 31, nummer 4, december 2022, Springer.
• Information and Computation , 26:e workshop om logik, språk, information och beräkning (WoLLIC 2019) . Redigerad av Ruy de Queiroz. Volym 287 (september 2022), Elsevier.
• Arkiv för matematisk logik , 24:e workshop om logik, språk, information och beräkningar (WoLLIC 2017) . Redigerad av Juliette Kennedy och Ruy de Queiroz. Volym 60, nummer 5, sidorna 525-681 (juli 2021), Springer.
• Annals of Pure and Applied Logic , 23:e workshop om logik, språk, information och beräkningar (WoLLIC 2016) . Redigerad av Jouko Väänänen och Ruy de Queiroz. Volym 170, nummer 9, sidorna 921-1150 (september 2019), Elsevier.
• Mathematical Structures in Computer Science , 22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015) . Redigerad av Valeria de Paiva och Ruy de Queiroz. Volym 29, nummer 6, juni 2019, Cambridge University Press.
• Information and Computation , 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014) . Redaktör Ulrich Kohlenbach, Pablo Barcelò och Ruy de Queiroz. Volym 255, del 2, sidorna 193–334 (augusti 2017).
• Journal of Computer and System Sciences , 20th Workshop on Logic, Language, Information and Computation (WoLLIC 2013) . Redaktör Leonid Libkin, Ulrich Kohlenbach och Ruy de Queiroz. Volym 88, sidorna 1–290 (september 2017).
• Teoretisk datavetenskap , logik, språk, information och beräkning, 19:e workshop om logik, språk, information och beräkning . Buenos Aires, Argentina. 3–6 september 2012. Redigerad av Luke Ong och Ruy de Queiroz. Volym 603, sidorna 1–146 (25 oktober 2015).
• Journal of Computer and System Sciences , 18th Workshop on Logic, Language, Information and Computation (WoLLIC 2011) . Redaktör Lev Beklemishev, Ruy de Queiroz och Andre Scedrov. Volym 80, nummer 6, sidorna 1037-1174 (september 2014).
• Journal of Computer and System Sciences , 17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010) . Redigerad av Anuj Dawar och Ruy de Queiroz. Volym 80, nummer 2, sidorna 321-498 (mars 2014).
• Fundamenta Informaticae , logik, språk, information och beräkningar . Redigerad av Hiroakira Ono, Makoto Kanazawa och Ruy de Queiroz. Volym 106, nummer 2-4, sidorna 119-338, september 2011.
• Journal of Computer and System Sciences , Workshop on Logic, Language, Information and Computation (WoLLIC 2008) . Redigerat av Wilfrid Hodges och Ruy de Queiroz. Volym 76, nummer 5, sidorna 281-388 (augusti 2010).
• Information and Computation , Specialnummer: 14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007) . Redigerad av Daniel Leivant och Ruy de Queiroz. Volym 208, nummer 5, sidorna 395-604, (maj 2010).
• Information and Computation , Specialnummer: 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006) . Redigerat av Grigori Mints, Valeria de Paiva och Ruy de Queiroz. Volym 207, nummer 10, sidorna 969-1094, (oktober 2009).
• Annals of Pure and Applied Logic , 12:e workshop om logik, språk, information och beräkningar . Florianópolis, Santa Catarina, Brasilien. 19–22 juli 2005. Redigerad av R. de Queiroz och A. Macintyre. Volym 152, nummer 1-3, sidorna 1–180 (mars 2008).
• Teoretisk datavetenskap , logik, språk, information och beräkning, 11:e workshop om logik, språk, information och beräkning . Paris, Frankrike. 19–22 juli 2004. Redigerad av R. de Queiroz och P. Cégielski. Volym 364, nummer 2, sidorna 143-270 (6 november 2006).
• Teoretisk datavetenskap , logik, språk, information och beräkningar . Minas Gerais, Brasilien. 29 juli-1 augusti 2003. Redigerad av R. de Queiroz och D. Kozen. Volym 355, nummer 2, sid 105-260 (11 april 2006).
• Annals of Pure and Applied Logic , artiklar som presenterades vid den nionde workshopen om logik, språk, information och beräkningar (WoLLIC'2002) . 30 juli-2 augusti 2002. Redigerad av R. de Queiroz, B. Poizat och S. Artemov . Volym 134, nummer 1, sidorna 1–93 (juni 2005).
• Matemática Contemporânea . 8:e workshop om logik, språk, information och beräkningar - WoLLIC'2001 . Universidade de Brasília, juli -augusti 2001 - Brasília. Redigerat av John T. Baldwin, Ruy JGB de Queiroz, Edward H. Haeusler. Volym 24, 2003.
• Logic Journal of the Interest Group in Pure and Applied Logics . Sjunde workshopen om logik, språk, information och beräkningar - WoLLIC 2000 . Natal (delstaten Rio Grande do Norte), 15–18 augusti 2000. Redigerad av Ruy JGB de Queiroz. Volym 9, nummer 6, 2001.
• Logic Journal of the Interest Group in Pure and Applied Logics . Sjätte workshop om logik, språk, information och beräkningar - WoLLIC'99 . Itatiaia nationalpark (delstaten Rio de Janeiro), 25–28 maj 1999. Redigerad av Ruy JGB de Queiroz. Volym 8, nummer 5, 2000.

• Hodges, Wilfrid (2008), "Workshop on Logic, Language, Information and Computation, 1–4 July" (PDF) , The Reasoner , 2 (9): 10 , hämtad 2010-10-23

externa länkar

• Officiell hemsida
• WoLLIC-inträde på DBLP .
• ASL sponsring .
• WoLLIC 2013 1-sidig konferensrapport. The Bulletin of Symbolic Logic 20(2):266-267 , juni 2014. doi : 10.1017/bsl.2014.9 (Publicerad online: 26 juni 2014).
• WoLLIC 2014 konferensrapport. I Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzv022 , Oxford University Press, 2015.
• WoLLIC 2014 1-sidig konferensrapport. The Bulletin of Symbolic Logic 21(2):241-242 , juni 2015. doi : 10.1017/bsl.2015.16
• WoLLIC 2015 konferensrapport. I Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzw014 , Oxford University Press, 2016.
• WoLLIC 2015 1-sidig konferensrapport. The Bulletin of Symbolic Logic 22(3):436-437 , september 2016. doi : 10.1017/bsl.2016.23
• WoLLIC 2016 konferensrapport. I Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzw063 , Oxford University Press, december 2016.
• WoLLIC 2016 1-sidig konferensrapport. The Bulletin of Symbolic Logic 23(2):270-271 , juni 2017. doi : 10.1017/bsl.2017.17
• WoLLIC 2017 konferensrapport. I Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzy011 , Oxford University Press, maj 2018.
• WoLLIC 2017 1-sidig konferensrapport. The Bulletin of Symbolic Logic 24(3):386–387 , september 2018. doi : 10.1017/bsl.2018.22
• WoLLIC 2018 1-sidig konferensrapport. The Bulletin of Symbolic Logic 24(4):548–549 , december 2018. doi : 10.1017/bsl.2018.79
• WoLLIC 2018 konferensrapport. I Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzz004 , Oxford University Press, apr 2019.
• WoLLIC 2019 1-sidig konferensrapport. The Bulletin of Symbolic Logic 25(3):421–422 , september 2019. doi : 10.1017/bsl.2019.41
• WoLLIC 2019 konferensrapport. I Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzaa004 , Oxford University Press, juni 2021.
• WoLLIC 2021 konferensrapport. I Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093/jigpal/jzac062 , Oxford University Press, augusti 2022.