WoLLIC , el Taller de Lógica, Lenguaje, Información y Computación es una conferencia académica en el campo de la lógica pura y aplicada y la informática teórica . WoLLIC se organiza anualmente desde 1994, normalmente en junio o julio; la conferencia está patrocinada científicamente por la Asociación de Lógica, Lenguaje e Información , la Asociación de Lógica Simbólica , la Asociación Europea de Ciencias de la Computación Teórica y la Asociación Europea de Lógica de las Ciencias de la Computación .
Clasificación
Según Computer Science Conference Ranking 2010 , la conferencia está clasificada como "B" entre más de 1900 conferencias internacionales en todo el mundo. También está clasificado como "B" en el ejercicio de clasificación de la conferencia CORE - CORE Portal (2018) . Actualmente ocupa el puesto 9 (últimos 5 años), clasificación de campo 1, algoritmos y teoría, en Microsoft Academic Search - Conferencias . En Google Scholar , la conferencia obtiene una puntuación de 11 como índice h5 y una puntuación de 18 como mediana h5.
Historia
- 1994: Recife , Brasil
- 1995: Recife, Brasil
- 1996: Salvador, Brasil
- 1997: Fortaleza , Brasil
- 1998: São Paulo , Brasil
- 1999: Itatiaia , Brasil
- 2000: Natal, Brasil
- 2001: Brasilia , Brasil
- 2002: Río de Janeiro , Brasil
- 2003: Ouro Preto , Brasil
- 2004: Fontainebleau , Francia
- 2005: Florianópolis , Brasil
- 2006: Stanford , Estados Unidos
- 2007: Río de Janeiro, Brasil
- 2008: Edimburgo , Reino Unido
- 2009: Tokio , Japón
- 2010: Brasilia, Brasil
- 2011: Filadelfia , Estados Unidos
- 2012: Buenos Aires , Argentina
- 2013: Darmstadt , Alemania
- 2014: Valparaíso , Chile
- 2015: Bloomington, Indiana , Estados Unidos
- 2016: Puebla , México
- 2017: Londres , Reino Unido
- 2018: Bogotá , Colombia
- 2019: Utrecht , Países Bajos
Lugares futuros
Las reuniones se alternan entre América Latina y EE.UU. / Europa / Asia. Las siguientes ubicaciones están previstas para futuras reuniones:
Actas
- Lógica, lenguaje, información y computación - 26 ° taller internacional , WoLLIC 2019, Rosalie Iemhoff , Michael Moortgat & Ruy de Queiroz (eds.), Utrecht, Países Bajos, 2 al 5 de julio de 2019. Notas de la conferencia en Ciencias de la Computación , Springer Berlín / Heidelberg, ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 11541/2019, doi : 10.1007 / 978-3-662-59533-6 , ISBN 978-3-662-59532-9 .
- Lógica, lenguaje, información y computación - 25 ° Taller Internacional , WoLLIC 2018, Lawrence S. Moss , Ruy de Queiroz & Maricarmen Martínez (eds.), Bogotá, Colombia, 24 al 27 de julio de 2018. Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 10944/2018, doi : 10.1007 / 978-3-662-57669-4 , ISBN 978-3-662-57668-7 .
- Lógica, lenguaje, información y computación - 24th International Workshop , WoLLIC 2017, Juliette Kennedy & Ruy de Queiroz (eds.), Londres, Reino Unido, 18-21 de julio de 2017. Lecture Notes in Computer Science , Springer Berlin / Heidelberg, ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 10388/2017, doi : 10.1007 / 978-3-662-55386-2 , ISBN 978-3-662-55385-5 .
- Lógica, lenguaje, información y computación - 23º Taller Internacional , WoLLIC 2016, Jouko Väänänen , Åsa Hirvonen & Ruy de Queiroz (eds.), Puebla, México, 16-19 de agosto de 2016. Notas de la conferencia en Ciencias de la Computación , Springer Berlin / Heidelberg , ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 9803/2016, doi : 10.1007 / 978-3-662-52921-8 , ISBN 978-3-662-52920-1 .
- Lógica, lenguaje, información y computación - 22º taller internacional , WoLLIC 2015, Valeria de Paiva , Ruy de Queiroz , Lawrence Moss, Daniel Leivant & Anjolina de Oliveira (eds.), Bloomington, Indiana, EE. UU., 20 al 23 de julio de 2015. Notas de la conferencia en Ciencias de la Computación , Springer Berlin / Heidelberg, ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 9160/2015, doi : 10.1007 / 978-3-662-47709-0 , ISBN 978-3-662-47708-3 .
- Lógica, lenguaje, información y computación - XXI Taller Internacional , WoLLIC 2014, Ulrich Kohlenbach, Pablo Barceló & Ruy de Queiroz (eds.), Valparaíso, Chile, 1 al 4 de septiembre de 2014. Lecture Notes in Computer Science, Springer Berlin / Heidelberg , ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 8652/2014, doi : 10.1007 / 978-3-662-44145-9 , ISBN 978-3-662-44144-2 .
- Lógica, lenguaje, información y computación - 20º taller internacional , WoLLIC 2013, Leonid Libkin , Ulrich Kohlenbach & Ruy de Queiroz (eds.), Darmstadt, Alemania, 20 al 23 de agosto de 2013. Lecture Notes in Computer Science, Springer Berlin / Heidelberg , ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 8071/2013, doi : 10.1007 / 978-3-642-39992-3 , ISBN 978-3-642-39992-3 .
- Lógica, lenguaje, información y computación - XIX Taller Internacional , WoLLIC 2012, Luke Ong & Ruy de Queiroz (eds.), Buenos Aires, Argentina, 3 al 6 de septiembre de 2012. Notas de la conferencia en Ciencias de la Computación, Springer Berlin / Heidelberg, ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 7456/2012, doi : 10.1007 / 978-3-642-32620-2 , ISBN 978-3-642-32620-2 .
- Lógica, lenguaje, información y computación - 18º Taller Internacional , WoLLIC 2011, Lev D. Beklemishev & Ruy de Queiroz (eds.), Filadelfia, PA, EE. UU., 18 al 20 de mayo de 2011. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 6642/2011, doi : 10.1007 / 978-3-642-20919-2 , ISBN 978-3-642-20919-2 .
- Lógica, lenguaje, información y computación - XVII Taller Internacional , WoLLIC 2010, A. Dawar & R. de Queiroz (eds.), Brasilia, Brasil, 6 al 9 de julio de 2010. Notas de la conferencia en Ciencias de la Computación, Springer Berlin / Heidelberg, ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 6188/2010, doi : 10.1007 / 978-3-642-13823-2 , ISBN 978-3-642-13823-2 .
- Lógica, lenguaje, información y computación - 16º Taller Internacional , WoLLIC 2009, H. Ono, M. Kanazawa & R. de Queiroz (eds.), Tokio, Japón, 21-24 de junio de 2009. Lecture Notes in Computer Science, Springer Berlín / Heidelberg, ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 5514/2009, doi : 10.1007 / 978-3-642-02261-6 , ISBN 978-3-642-02260-9 .
- Lógica, lenguaje, información y computación - 15º Taller Internacional , WoLLIC 2008, W. Hodges & R. de Queiroz (eds.), Edimburgo, Reino Unido, 1 al 4 de julio de 2008. Notas de la conferencia en Ciencias de la Computación, Springer Berlín / Heidelberg, ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 5110/2008, doi : 10.1007 / 978-3-540-69937-8 , ISBN 978-3-540-69936-1 .
- Lógica, lenguaje, información y computación - XIV Taller Internacional , WoLLIC 2007, D. Leivant & R. de Queiroz (eds.), Río de Janeiro, Brasil, 2 al 5 de julio de 2007. Lecture Notes in Computer Science, Springer Berlin / Heidelberg, ISSN 0302-9743 (Imprimir) ISSN 1611-3349 (en línea), Volumen 4576/2007, doi : 10.1007 / 978-3-540-73445-1 , ISBN 978-3-540-73443-7 .
- Actas del XIII Taller de Lógica, Lenguaje, Información y Computación (WoLLIC 2006), Lógica, Lenguaje, Información y Computación 2006 . Universidad de Stanford, CA, EE. UU. 18-21 de julio de 2006. Editado por G. Mints y R. de Queiroz. Notas electrónicas en informática teórica . ISSN 1571-0661 . Volumen 165, páginas 1–226 (22 de noviembre de 2006). (Prefacio doi : 10.1016 / j.entcs.2006.07.021 )
- Actas del 12º Taller de Lógica, Lenguaje, Información y Computación (WoLLIC 2005) . Florianópolis, Santa Catarina, Brasil. 19-22 de julio de 2005. Editado por R. de Queiroz, A. Macintyre y G. Bittencourt. Notas electrónicas en informática teórica . ISSN 1571-0661 . Volumen 143, páginas 1–222 (6 de enero de 2006). (Prefacio doi : 10.1016 / j.entcs.2005.06.032 )
- Actas del XI Taller de Lógica, Lenguaje, Información y Computación (WoLLIC 2004) . Fontainebleau (París), Francia. 19–22 de julio de 2004. Editado por R. de Queiroz y P. Cégielski. Notas electrónicas en informática teórica . ISSN 1571-0661 . Volumen 123, páginas 1–240 (1º de marzo de 2005). (Prefacio doi : 10.1016 / j.entcs.2004.05.012 )
- WoLLIC'2003, X Taller de Lógica, Lenguaje, Información y Computación . Ouro Preto (Minas Gerais), Brasil. 29 de julio al 1 de agosto de 2003. Editado por R. de Queiroz, E. Pimentel y L. Figueiredo. Notas electrónicas en informática teórica . ISSN 1571-0661 . Volumen 84, páginas 1 a 231 (septiembre de 2003). (Prefacio doi : 10.1016 / S1571-0661 (05) 80858-8 )
- WoLLIC'2002, IX Taller de Lógica, Lenguaje, Información y Computación . Rio de Janeiro, Brasil. 30 de julio al 2 de agosto de 2002. Editado por Ruy de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler. Notas electrónicas en informática teórica . ISSN 1571-0661 . Volumen 67, páginas 1 a 314 (octubre de 2002). (Prefacio doi : 10.1016 / S1571-0661 (05) 80556-0 )
Números especiales de revistas científicas
- Anales de Lógica Pura y Aplicada , 23º Taller de Lógica, Lenguaje, Información y Computación (WoLLIC 2016) . Editado por Jouko Väänänen y Ruy de Queiroz. Volumen 170, Número 9, Páginas 921-1150 (septiembre de 2019), Elsevier.
- Estructuras Matemáticas en Informática , XXII Taller de Lógica, Lenguaje, Información y Computación (WoLLIC 2015) . Editado por Valeria de Paiva y Ruy de Queiroz. Volumen 29, Número 6, junio de 2019, Cambridge University Press.
- Información y Computación , XXI Taller de Lógica, Lenguaje, Información y Computación (WoLLIC 2014) . Editado por Ulrich Kohlenbach, Pablo Barcelò y Ruy de Queiroz. Volumen 255, Parte 2, páginas 193–334 (agosto de 2017).
- Revista de Ciencias de la Computación y Sistemas , XX Taller de Lógica, Lenguaje, Información y Computación (WoLLIC 2013) . Editado por Leonid Libkin, Ulrich Kohlenbach y Ruy de Queiroz. Volumen 88, páginas 1–290 (septiembre de 2017).
- Informática Teórica , Lógica, Lenguaje, Información y Computación, XIX Taller de Lógica, Lenguaje, Información y Computación . Buenos Aires, Argentina. 3 a 6 de septiembre de 2012. Editado por Luke Ong y Ruy de Queiroz. Volumen 603, páginas 1–146 (25 de octubre de 2015).
- Revista de Ciencias de la Computación y Sistemas , XVIII Taller de Lógica, Lenguaje, Información y Computación (WoLLIC 2011) . Editado por Lev Beklemishev, Ruy de Queiroz y Andre Scedrov. Volumen 80, Número 6, páginas 1037-1174 (septiembre de 2014).
- Revista de Ciencias de la Computación y Sistemas , XVII Taller de Lógica, Lenguaje, Información y Computación (WoLLIC 2010) . Editado por Anuj Dawar y Ruy de Queiroz. Volumen 80, Número 2, páginas 321-498 (marzo de 2014).
- Fundamenta Informaticae , Lógica, Lenguaje, Información y Computación . Editado por Hiroakira Ono, Makoto Kanazawa y Ruy de Queiroz. Volumen 106, números 2-4, páginas 119-338, septiembre de 2011.
- Revista de Ciencias de la Computación y Sistemas , Taller de Lógica, Lenguaje, Información y Computación (WoLLIC 2008) . Editado por Wilfrid Hodges y Ruy de Queiroz. Volumen 76, Número 5, páginas 281-388 (agosto de 2010).
- Información y Computación , Número especial: XIV Taller de Lógica, Lenguaje, Información y Computación (WoLLIC 2007) . Editado por Daniel Leivant y Ruy de Queiroz. Volumen 208, Número 5, páginas 395-604, (mayo de 2010).
- Información y Computación , Número especial: XIII Taller de Lógica, Lenguaje, Información y Computación (WoLLIC 2006) . Editado por Grigori Mints, Valeria de Paiva y Ruy de Queiroz. Volumen 207, Número 10, páginas 969-1094, (octubre de 2009).
- Anales de Lógica Pura y Aplicada , XII Taller de Lógica, Lenguaje, Información y Computación . Florianópolis, Santa Catarina, Brasil. 19-22 de julio de 2005. Editado por R. de Queiroz y A. Macintyre. Volumen 152, números 1 a 3, páginas 1 a 180 (marzo de 2008).
- Informática Teórica , Lógica, Lenguaje, Información y Computación, XI Taller de Lógica, Lenguaje, Información y Computación . París, Francia. 19–22 de julio de 2004. Editado por R. de Queiroz y P. Cégielski. Volumen 364, Número 2, páginas 143-270 (6 de noviembre de 2006).
- Informática Teórica , Lógica, Lenguaje, Información y Computación . Minas Gerais, Brasil. 29 de julio-1 de agosto de 2003. Editado por R. de Queiroz y D. Kozen. Volumen 355, Número 2, páginas 105-260 (11 de abril de 2006).
- Annals of Pure and Applied Logic , artículos presentados en el IX Taller de Lógica, Lenguaje, Información y Computación (WoLLIC'2002) . 30 de julio a 2 de agosto de 2002. Editado por R. de Queiroz, B. Poizat y S. Artemov . Volumen 134, Número 1, páginas 1–93 (junio de 2005).
- Matemática Contemporânea . VIII Taller de Lógica, Lenguaje, Información y Computación - WoLLIC'2001 . Universidade de Brasília, julio-agosto de 2001 - Brasília. Editado por John T. Baldwin, Ruy JGB de Queiroz, Edward H. Haeusler. Volumen 24, 2003.
- Revista Lógica del Grupo de Interés en Lógicas Puras y Aplicadas . VII Taller de Lógica, Lenguaje, Información y Computación - WoLLIC 2000 . Natal (Estado de Rio Grande do Norte), 15-18 de agosto de 2000. Editado por Ruy JGB de Queiroz. Volumen 9, Número 6, 2001.
- Revista Lógica del Grupo de Interés en Lógicas Puras y Aplicadas . VI Taller de Lógica, Lenguaje, Información y Computación - WoLLIC'99 . Parque Nacional Itatiaia (Estado de Río de Janeiro), 25 al 28 de mayo de 1999. Editado por Ruy JGB de Queiroz. Volumen 8, Número 5, 2000.
Referencias
- Hodges, Wilfrid (2008), "Taller de Lógica, Lenguaje, Información y Computación, 1-4 de Julio" (PDF) , el razonador , 2 (9): 10 , recuperados 2010-10-23
enlaces externos
- Página web oficial
- Entrada WoLLIC en DBLP .
- Patrocinio de ASL .
- Informe de la conferencia WoLLIC 2013 de 1 página. The Bulletin of Symbolic Logic 20 (2): 266-267 , junio de 2014. doi : 10.1017 / bsl.2014.9 (Publicado en línea: 26 de junio de 2014).
- Informe de la conferencia WoLLIC 2014. En Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093 / jigpal / jzv022 , Oxford University Press, 2015.
- Informe de la conferencia WoLLIC 2014 de 1 página. The Bulletin of Symbolic Logic 21 (2): 241-242 , junio de 2015. doi : 10.1017 / bsl.2015.16
- Informe de la conferencia WoLLIC 2015. En Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093 / jigpal / jzw014 , Oxford University Press, 2016.
- Informe de la conferencia WoLLIC 2015 de 1 página. The Bulletin of Symbolic Logic 22 (3): 436-437 , septiembre de 2016. doi : 10.1017 / bsl.2016.23
- Informe de la conferencia WoLLIC 2016. En Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093 / jigpal / jzw063 , Oxford University Press, diciembre de 2016.
- Informe de la conferencia WoLLIC 2016 de 1 página. The Bulletin of Symbolic Logic 23 (2): 270-271 , junio de 2017. doi : 10.1017 / bsl.2017.17
- Informe de la conferencia WoLLIC 2017. En Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093 / jigpal / jzy011 , Oxford University Press, mayo de 2018.
- Informe de la conferencia WoLLIC 2017 de 1 página. The Bulletin of Symbolic Logic 24 (3): 386–387 , septiembre de 2018. doi : 10.1017 / bsl.2018.22
- Informe de la conferencia WoLLIC 2018. En Logic Journal of the Interest Group in Pure and Applied Logics , doi : 10.1093 / jigpal / jzz004 , Oxford University Press, abril de 2019.