Семинар по логике, языку, информации и вычислениям

WoLLIC , Workshop on Logic, Language, Information and Computation, — это академическая конференция в области чистой и прикладной логики и теоретической информатики . WoLLIC организуется ежегодно с 1994 года, как правило, в июне или июле; конференция научно спонсируется Ассоциацией логики, языка и информации , Ассоциацией символической логики , Европейской ассоциацией теоретической информатики и Европейской ассоциацией логики компьютерных наук .

Рейтинг

Согласно рейтингу Computer Science Conference Ranking 2010, конференция имеет рейтинг «C» среди более чем 1900 международных конференций по всему миру. Она также имеет рейтинг «C» в рейтинге The CORE Conference Ranking Exercise - CORE Portal (2023). В настоящее время она имеет рейтинг 7 Bars (последние 5 лет), Field-Rating 1, Algorithms & Theory, в рейтинге Microsoft MSAR field (2014). В Google Scholar конференция получает оценку 11 в качестве индекса h5 и оценку 15 в качестве медианы h5.

История

Будущие Места

Встречи чередуются между Латинской Америкой и США/Европой/Азией. Следующие места запланированы для будущих встреч:

Труды

  • Логика, язык, информация и вычисления - 30-й международный семинар, WoLLIC 2024, Джордж Меткалф, Томас Штудер , Рюи де Кейрос (редакторы), Берн, Швейцария, 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 , июль 2024 г. 
  • Логика, язык, информация и вычисления - 29-й международный семинар, WoLLIC 2023, Хелле Хвид Хансен, Андре Скедров, Руй де Кейрос (редакторы), Галифакс, Новая Шотландия, Канада, 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 , октябрь 2023 г. 
  • Логика, язык, информация и вычисления - 28-й международный семинар, WoLLIC 2022, Агата Чиабаттони , Элейн Пиментель и Руй де Кейрос (редакторы), Яссы, Румыния, 20–23 сентября 2022 г. Конспект лекций по информатике , 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, Александра Сильва , Рената Вассерманн и Руй де Кейрос (ред.), виртуальное мероприятие, 5–8 октября 2021 г. Конспект лекций по информатике , 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, Розали Йемхофф , Михаэль Муртгат и Руй де Кейрос (редакторы), Утрехт, Нидерланды, 2–5 июля 2019 г. Конспект лекций по информатике , 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, Лоуренс С. Мосс, Руй де Кейрос и Марикармен Мартинес (редакторы), Богота, Колумбия, 24–27 июля 2018 г. Конспект лекций по информатике , 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, Жюльет Кеннеди и Рюи де Кейрос (редакторы), Лондон, Великобритания, 18–21 июля 2017 г. Конспект лекций по информатике , 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 . 
  • Логика, язык, информация и вычисления — 23-й международный семинар, WoLLIC 2016, Йоуко Вяэнянен , Оса Хирвонен и Руй де Кейрос (ред.), Пуэбла, Мексика, 16–19 августа 2016 г. Конспект лекций по информатике , Springer Berlin / Heidelberg , ISSN  0302-9743 (печать) ISSN  1611-3349 (онлайн), том 9803/2016, doi : 10.1007/978-3-662-52921-8, ISBN 978-3-662-52920-1 . 
  • Логика, язык, информация и вычисления - 22-й международный семинар, WoLLIC 2015, Валерия де Пайва , Руй де Кейрос , Лоуренс Мосс, Дэниел Лейвант и Анджолина де Оливейра (редакторы), Блумингтон, Индиана, США, 20–23 июля 2015 г. Конспект лекций по информатике , 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, Ульрих Коленбах, Пабло Барсело и Руй де Кейрос (редакторы), Вальпараисо, Чили, 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, Леонид Либкин , Ульрих Коленбах и Рюи де Кейрос (редакторы), Дармштадт, Германия, 20–23 августа 2013 г. Конспект лекций по информатике, 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, Люк Онг и Руй де Кейрос (редакторы), Буэнос-Айрес, Аргентина, 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, Лев Д. Беклемишев и Рюй де Кейрос (редакторы), Филадельфия, Пенсильвания, США, 18–20 мая 2011 г. Конспект лекций по информатике, 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, А. Давар и Р. де Кейрос (редакторы), Бразилиа, Бразилия, 6–9 июля 2010 г. Конспект лекций по информатике, 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 июня 2009 г. Lecture Notes in Computer Science, 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 июля 2008 г. Lecture Notes in Computer Science, 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 июля 2007 г. Lecture Notes in Computer Science, 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 июля 2006 г. Под редакцией Г. Минтса и Р. де Кейроса. Электронные заметки по теоретической информатике . ISSN  1571-0661. Том 165, страницы 1–226 (22 ноября 2006 г.). (Предисловие doi :10.1016/j.entcs.2006.07.021)
  • Труды 12-го семинара по логике, языку, информации и вычислениям (WoLLIC 2005). Флорианополис, Санта-Катарина, Бразилия. 19–22 июля 2005 г. Под редакцией Р. де Кейроса, А. Макинтайра и Г. Биттенкурта. Электронные заметки по теоретической информатике . ISSN  1571-0661. Том 143, страницы 1–222 (6 января 2006 г.). (Предисловие doi :10.1016/j.entcs.2005.06.032)
  • Труды 11-го семинара по логике, языку, информации и вычислениям (WoLLIC 2004). Фонтенбло (Париж), Франция. 19–22 июля 2004 г. Под редакцией Р. де Кейроза и П. Сегельского. Электронные заметки по теоретической информатике . ISSN  1571-0661. Том 123, страницы 1–240 (1 марта 2005 г.). (Предисловие doi :10.1016/j.entcs.2004.05.012)
  • WoLLIC'2003, 10-й семинар по логике, языку, информации и вычислениям. Оуро-Прето (Минас-Жерайс), Бразилия. 29 июля — 1 августа 2003 г. Под редакцией Р. де Кейроса, Э. Пиментела и Л. Фигейредо. Электронные заметки по теоретической информатике . ISSN  1571-0661. Том 84, страницы 1–231 (сентябрь 2003 г.). (Предисловие doi :10.1016/S1571-0661(05)80858-8)
  • WoLLIC'2002, 9-й семинар по логике, языку, информации и вычислениям. Рио-де-Жанейро, Бразилия. 30 июля — 2 августа 2002 г. Под редакцией Руя де Кейроса, Луиса Карлоса Перейры, Эдварда Германа Хойслера. Электронные заметки по теоретической информатике . ISSN  1571-0661. Том 67, страницы 1–314 (октябрь 2002 г.). (Предисловие doi :10.1016/S1571-0661(05)80556-0)

Специальные выпуски научных журналов

  • Журнал логики и вычислений , 27-й семинар по логике, языку, информации и вычислениям (WoLLIC 2021). Под редакцией Александры Сильвы, Ренаты Вассерманн и Руя де Кейроса. Опубликовано в Oxford University Press. (Предисловие)
  • Журнал логики, языка и информации , 25-й семинар по логике, языку, информации и вычислениям (WoLLIC 2018). Под редакцией Лоуренса Мосса и Руя де Кейроса. Том 31, выпуск 4, декабрь 2022 г., Springer.
  • Информация и вычисления , 26-й семинар по логике, языку, информации и вычислениям (WoLLIC 2019). Под редакцией Руи де Кейроса. Том 287 (сентябрь 2022 г.), Elsevier.
  • Архив математической логики , 24-й семинар по логике, языку, информации и вычислениям (WoLLIC 2017). Под редакцией Жюльетт Кеннеди и Руи де Кейроса. Том 60, выпуск 5, страницы 525-681 (июль 2021 г.), Springer.
  • Annals of Pure and Applied Logic , 23-й семинар по логике, языку, информации и вычислениям (WoLLIC 2016). Под редакцией Йоуко Вяэнянена и Руя де Кейроса. Том 170, выпуск 9, страницы 921-1150 (сентябрь 2019 г.), Elsevier.
  • Математические структуры в информатике , 22-й семинар по логике, языку, информации и вычислениям (WoLLIC 2015). Под редакцией Валерии де Пайвы и Руя де Кейроса. Том 29, выпуск 6, июнь 2019 г., Cambridge University Press.
  • Информация и вычисления , 21-й семинар по логике, языку, информации и вычислениям (WoLLIC 2014). Под редакцией Ульриха Коленбаха, Пабло Барсело и Руя де Кейроса. Том 255, часть 2, страницы 193–334 (август 2017 г.).
  • Журнал компьютерных и системных наук , 20-й семинар по логике, языку, информации и вычислениям (WoLLIC 2013). Под редакцией Леонида Либкина, Ульриха Коленбаха и Руи де Кейроса. Том 88, страницы 1–290 (сентябрь 2017 г.).
  • Теоретическая информатика , логика, язык, информация и вычисления, 19-й семинар по логике, языку, информации и вычислениям. Буэнос-Айрес, Аргентина. 3–6 сентября 2012 г. Под редакцией Люка Онга и Руя де Кейроса. Том 603, страницы 1–146 (25 октября 2015 г.).
  • Журнал компьютерных и системных наук , 18-й семинар по логике, языку, информации и вычислениям (WoLLIC 2011). Под редакцией Льва Беклемишева, Руи де Кейроза и Андре Щедрова. Том 80, выпуск 6, страницы 1037-1174 (сентябрь 2014 г.).
  • Журнал компьютерных и системных наук , 17-й семинар по логике, языку, информации и вычислениям (WoLLIC 2010). Под редакцией Ануджа Давара и Руя де Кейроса. Том 80, выпуск 2, страницы 321-498 (март 2014 г.).
  • Fundamenta Informaticae , Logic, Language, Information and Computation. Под редакцией Хироакиры Оно, Макото Каназавы и Руя де Кейроса. Том 106, номера 2-4, страницы 119-338, сентябрь 2011 г.
  • Журнал компьютерных и системных наук , семинар по логике, языку, информации и вычислениям (WoLLIC 2008). Под редакцией Вилфрида Ходжеса и Руя де Кейроса. Том 76, выпуск 5, страницы 281-388 (август 2010 г.).
  • Информация и вычисления , Специальный выпуск: 14-й семинар по логике, языку, информации и вычислениям (WoLLIC 2007). Под редакцией Даниэля Лейванта и Руя де Кейроса. Том 208, выпуск 5, страницы 395-604 (май 2010 г.).
  • Информация и вычисления , Специальный выпуск: 13-й семинар по логике, языку, информации и вычислениям (WoLLIC 2006). Под редакцией Григория Минца, Валерии де Пайвы и Руя де Кейроса. Том 207, выпуск 10, страницы 969-1094 (октябрь 2009 г.).
  • Annals of Pure and Applied Logic , 12-й семинар по логике, языку, информации и вычислениям. Флорианополис, Санта-Катарина, Бразилия. 19–22 июля 2005 г. Под редакцией Р. де Кейроса и А. Макинтайра. Том 152, выпуски 1–3, страницы 1–180 (март 2008 г.).
  • Теоретическая информатика , логика, язык, информация и вычисления, 11-й семинар по логике, языку, информации и вычислениям. Париж, Франция. 19–22 июля 2004 г. Под редакцией Р. де Кейроза и П. Сегельского. Том 364, выпуск 2, страницы 143–270 (6 ноября 2006 г.).
  • Теоретическая информатика , логика, язык, информация и вычисления. Минас-Жерайс, Бразилия. 29 июля — 1 августа 2003 г. Под редакцией Р. де Кейроса и Д. Козена. Том 355, выпуск 2, страницы 105–260 (11 апреля 2006 г.).
  • Annals of Pure and Applied Logic , Доклады, представленные на 9-м семинаре по логике, языку, информации и вычислениям (WoLLIC'2002). 30 июля - 2 августа 2002 г. Под редакцией Р. де Кейроса, Б. Пуаза и С. Артемова . Том 134, выпуск 1, страницы 1–93 (июнь 2005 г.).
  • Современная математика . 8-й семинар по логике, языку, информации и вычислениям - WoLLIC'2001. Университет Бразилиа, июль-август 2001 г. - Бразилиа. Под редакцией Джона Т. Болдуина, Руя Ж.Г.Б. де Кейроза, Эдварда Х. Хойслера. Том 24, 2003 г.
  • Logic Journal of the Interest Group in Pure and Applied Logics . 7-й семинар по логике, языку, информации и вычислениям - WoLLIC 2000. Натал (штат Риу-Гранди-ду-Норти), 15–18 августа 2000 г. Под редакцией Руя Ж. ГБ. де Кейроса. Том 9, выпуск 6, 2001 г.
  • Logic Journal of the Interest Group in Pure and Applied Logics . 6-й семинар по логике, языку, информации и вычислениям - WoLLIC'99. Национальный парк Итатиая (штат Рио-де-Жанейро), 25–28 мая 1999 г. Под редакцией Руя Ж. Б. Би. Де Кейроса. Том 8, выпуск 5, 2000 г.

Ссылки

  • Ходжес, Уилфрид (2008), «Семинар по логике, языку, информации и вычислениям, 1–4 июля» (PDF) , The Reasoner , 2 (9): 10 , получено 23 октября 2010 г.
  • Официальный сайт
  • Запись WoLLIC на DBLP .
  • Спонсорство ASL.
  • 1-страничный отчет о конференции WoLLIC 2013. The Bulletin of Symbolic Logic 20(2):266-267, июнь 2014 г. doi :10.1017/bsl.2014.9 (Опубликовано онлайн: 26 июня 2014 г.).
  • Отчет о конференции WoLLIC 2014. В журнале Logic Journal группы по интересам в области чистой и прикладной логики, doi : 10.1093/jigpal/jzv022, Oxford University Press, 2015.
  • 1-страничный отчет конференции WoLLIC 2014. The Bulletin of Symbolic Logic 21(2):241-242, июнь 2015. doi :10.1017/bsl.2015.16
  • Отчет о конференции WoLLIC 2015. В журнале Logic Journal группы по интересам в области чистой и прикладной логики, doi : 10.1093/jigpal/jzw014, Oxford University Press, 2016.
  • 1-страничный отчет конференции WoLLIC 2015. The Bulletin of Symbolic Logic 22(3):436-437, сентябрь 2016. doi :10.1017/bsl.2016.23
  • Отчет о конференции WoLLIC 2016. В журнале Logic Journal группы по интересам в области чистой и прикладной логики, doi : 10.1093/jigpal/jzw063, Oxford University Press, декабрь 2016 г.
  • 1-страничный отчет конференции WoLLIC 2016. The Bulletin of Symbolic Logic 23(2):270-271, июнь 2017. doi :10.1017/bsl.2017.17
  • Отчет о конференции WoLLIC 2017. В журнале Logic Journal группы по интересам в области чистой и прикладной логики, doi : 10.1093/jigpal/jzy011, Oxford University Press, май 2018 г.
  • 1-страничный отчет конференции WoLLIC 2017. The Bulletin of Symbolic Logic 24(3):386–387, сентябрь 2018. doi :10.1017/bsl.2018.22
  • 1-страничный отчет конференции WoLLIC 2018. The Bulletin of Symbolic Logic 24(4):548–549, декабрь 2018. doi :10.1017/bsl.2018.79
  • Отчет о конференции WoLLIC 2018. В журнале Logic Journal группы по интересам в области чистой и прикладной логики, doi : 10.1093/jigpal/jzz004, Oxford University Press, апрель 2019 г.
  • 1-страничный отчет конференции WoLLIC 2019. The Bulletin of Symbolic Logic 25(3):421–422, сентябрь 2019. doi :10.1017/bsl.2019.41
  • Отчет о конференции WoLLIC 2019. В журнале Logic Journal группы по интересам в области чистой и прикладной логики, doi : 10.1093/jigpal/jzaa004, Oxford University Press, июнь 2021 г.
  • Отчет о конференции WoLLIC 2021. В журнале Logic Journal группы по интересам в области чистой и прикладной логики, doi : 10.1093/jigpal/jzac062, Oxford University Press, август 2022 г.
Взято с "https://en.wikipedia.org/w/index.php?title=Практикум_по_логике,_языку,_информации_и_вычислениям&oldid=1252677296"