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

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

Рейтинг

Согласно рейтингу конференций по компьютерным наукам за 2010 год , конференция занимает место «C» среди более чем 1900 международных конференций по всему миру. Ему также присвоен рейтинг «C» в рейтинговом упражнении конференции CORE - CORE Portal (2023 г.) . В настоящее время он имеет 7 столбцов (последние 5 лет), рейтинг поля 1, алгоритмы и теория в рейтингах полей Microsoft MSAR (2014 г.) . В Google Scholar конференция получает 11 баллов по индексу h5 и 15 баллов по медиане h5.

История

• 1994: Ресифи , Бразилия
• 1995: Ресифи , Бразилия
• 1996: Сальвадор , Бразилия
• 1997: Форталеза , Бразилия
• 1998: Сан-Паулу , Бразилия
• 1999: Итатиайя , Бразилия
• 2000: Натал , Бразилия
• 2001: Бразилиа , Бразилия
• 2002: Рио-де-Жанейро , Бразилия
• 2003: Ору-Прету , Бразилия
• 2004: Фонтенбло , Франция
• 2005: Флорианополис , Бразилия
• 2006: Стэнфорд , США
• 2007: Рио-де-Жанейро , Бразилия
• 2008: Эдинбург , Великобритания
• 2009: Токио , Япония
• 2010: Бразилиа , Бразилия
• 2011: Филадельфия , США
• 2012: Буэнос-Айрес , Аргентина
• 2013: Дармштадт , Германия
• 2014: Вальпараисо , Чили
• 2015: Блумингтон, Индиана , США
• 2016: Пуэбла , Мексика
• 2017: Лондон , Великобритания
• 2018: Богота , Колумбия
• 2019: Утрехт , Нидерланды
• 2020: Лима , Перу (отменено)
• 2021: Онлайн
• 2022: Яссы , Румыния
• 2023: Галифакс, Новая Шотландия , Канада
• 2024: Берн , Швейцария

Будущие площадки

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

• 2025: Порту , Португалия

Слушания

• Логика, язык, информация и вычисления — 30-й международный семинар , WoLLIC 2024, Джордж Меткалф, Томас Штудер , Рюй де Кейроз (ред.), Берн, Швейцария, 10–13 июня 2024 г., Конспект лекций по информатике , Springer Berlin / Гейдельберг, ISSN   0302-9743 (Печать) ISSN   1611-3349 (онлайн), том 14672/2024, дои : 10.1007/978-3-031-62687-6 , ISBN   978-3-031-62686-9 , июль 2024 г.
• Логика, язык, информация и вычисления — 29-й международный семинар , WoLLIC 2023, Хелле Хвид Хансен , Андре Скедров , Рюй де Кейроз (ред.), Галифакс, Северная Каролина, Канада, 11–14 июля 2023 г., Конспекты лекций по информатике , Шпрингер Берлин / Гейдельберг, ISSN   0302-9743 (Печать) ISSN   1611-3349 (онлайн), том 13923/2023, дои : 10.1007/978-3-031-39784-4 , ISBN   978-3-031-39783-7 , октябрь 2023 г.
• Логика, язык, информация и вычисления — 28-й международный семинар , WoLLIC 2022, Агата Чиабаттони , Элейн Пиментель и Руи де Кейроз (ред.), Яссы, Румыния, 20–23 сентября 2022 г. Конспект лекций по информатике , Springer Berlin / Гейдельберг , ISSN   0302-9743 (Печать) ISSN   1611-3349 (онлайн), том 13468/2022, дои : 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, дои : 10.1007/978-3-030-88853-4 , ISBN   978-3-030-88852-7 .
• Логика, язык, информация и вычисления — 26-й международный семинар , WoLLIC 2019, Розали Иемхофф , Майкл Моортгат и Рюй де Кейрос (ред.), Утрехт, Нидерланды, 2–5 июля 2019 г. Конспекты лекций по информатике , Springer Berlin / Гейдельберг, ISSN   0302-9743 (Печать) ISSN   1611-3349 (онлайн), том 11541/2019, дои : 10.1007/978-3-662-59533-6 , ISBN   978-3-662-59532-9 .
• Логика, язык, информация и вычисления — 25-й международный семинар , WoLLIC 2018, Лоуренс С. Мосс , Рюй де Кейрос и Марикармен Мартинес (ред.), Богота, Колумбия, 24–27 июля 2018 г. Конспекты лекций по информатике , Springer Berlin / Гейдельберг, ISSN   0302-9743 (Печать) ISSN   1611-3349 (онлайн), том 10944/2018, дои : 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, дои : 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, дои : 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, дои : 10.1007/978-3-662-47709-0 , ISBN   978-3-662-47708-3 .
• Логика, язык, информация и вычисления — 21-й международный семинар , WoLLIC 2014, Ульрих Коленбах, Пабло Барсело и Руй де Кейрос (ред.), Вальпараисо, Чили, 1–4 сентября 2014 г. Конспекты лекций по информатике, Springer Berlin / Гейдельберг , ISSN   0302-9743 (Печать) ISSN   1611-3349 (онлайн), том 8652/2014, дои : 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, дои : 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, дои : 10.1007/978-3-642-32620-2 , ISBN   978-3-642-32620-2 .
• Логика, язык, информация и вычисления — 18-й международный семинар , WoLLIC 2011, Лев Д. Беклемишев и Рюй де Кейроз (ред.), Филадельфия, Пенсильвания, США, 18–20 мая 2011 г. Конспекты лекций по информатике, Springer Berlin / Гейдельберг, ISSN   0302-9743 (Печать) ISSN   1611-3349 (онлайн), том 6642/2011, дои : 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, дои : 10.1007/978-3-642-13823-2 , ISBN   978-3-642-13823-2 .
• Логика, язык, информация и вычисления — 16-й международный семинар , WoLLIC 2009, Х. Оно, М. Канадзава и Р. де Кейрос (ред.), Токио, Япония, 21–24 июня 2009 г. Конспекты лекций по информатике, Springer. Берлин / Гейдельберг, ISSN   0302-9743 (Печать) ISSN   1611-3349 (онлайн), том 5514/2009, дои : 10.1007/978-3-642-02261-6 , ISBN   978-3-642-02260-9 .
• Логика, язык, информация и вычисления — 15-й международный семинар , WoLLIC 2008, У. Ходжес и Р. де Кейроз (ред.), Эдинбург, Великобритания, 1–4 июля 2008 г. Конспекты лекций по информатике, Springer Berlin / Heidelberg, ISSN   0302-9743 (Печать) ISSN   1611-3349 (онлайн), том 5110/2008, дои : 10.1007/978-3-540-69937-8 , ISBN   978-3-540-69936-1 .
• Логика, язык, информация и вычисления — 14-й международный семинар , WoLLIC 2007, Д. Лейвант и Р. де Кейроз (ред.), Рио-де-Жанейро, Бразилия, 2–5 июля 2007 г. Конспекты лекций по информатике, Springer Berlin / Гейдельберг, ISSN   0302-9743 (Печать) ISSN   1611-3349 (онлайн), том 4576/2007, дои : 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 г.). (Предисловие дои : 10.1016/j.entcs.2006.07.021 )
• Материалы 12-го семинара по логике, языку, информации и вычислениям (WoLLIC, 2005) . Флорианополис, Санта-Катарина, Бразилия. 19–22 июля 2005 г. Под редакцией Р. де Кейроза, А. Макинтайра и Г. Биттенкура. Электронные заметки по теоретической информатике . ISSN   1571-0661 . Том 143, страницы 1–222 (6 января 2006 г.). (Предисловие дои : 10.1016/j.entcs.2005.06.032 )
• Материалы 11-го семинара по логике, языку, информации и вычислениям (WoLLIC, 2004) . Фонтенбло (Париж), Франция. 19–22 июля 2004 г. Под редакцией Р. де Кейруша и П. Сегельски. Электронные заметки по теоретической информатике . ISSN   1571-0661 . Том 123, страницы 1–240 (1 марта 2005 г.). (Предисловие дои : 10.1016/j.entcs.2004.05.012 )
• WoLLIC'2003, 10-й семинар по логике, языку, информации и вычислениям . Ору-Прету (Минас-Жерайс), Бразилия. С 29 июля по 1 августа 2003 г. Под редакцией Р. де Кейруша, Э. Пиментеля и Л. Фигейредо. Электронные заметки по теоретической информатике . ISSN   1571-0661 . Том 84, страницы 1–231 (сентябрь 2003 г.). (Предисловие два : 10.1016/S1571-0661(05)80858-8 )
• WoLLIC'2002, 9-й семинар по логике, языку, информации и вычислениям . Рио-де-Жанейро, Бразилия. С 30 июля по 2 августа 2002 г. Под редакцией Рюи де Кейруша, Луиса Карлоса Перейры, Эдварда Германа Хойслера. Электронные заметки по теоретической информатике . ISSN   1571-0661 . Том 67, страницы 1–314 (октябрь 2002 г.). (Предисловие два : 10.1016/S1571-0661(05)80556-0 )

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

• Журнал логики, языка и информации , 25-й семинар по логике, языку, информации и вычислениям (WoLLIC 2018) . Под редакцией Лоуренса Мосса и Рюи де Кейроза. Том 31, выпуск 4, декабрь 2022 г., Springer.
• Информация и вычисления , 26-й семинар по логике, языку, информации и вычислениям (WoLLIC 2019) . Под редакцией Рюи де Кейроза. Том 287 (сентябрь 2022 г.), Elsevier.
• Архив математической логики , 24-й семинар по логике, языку, информации и вычислениям (WoLLIC 2017) . Под редакцией Жюльет Кеннеди и Рюи де Кейроз. Том 60, выпуск 5, страницы 525–681 (июль 2021 г.), Springer.
• Анналы чистой и прикладной логики , 23-й семинар по логике, языку, информации и вычислениям (WoLLIC 2016) . Под редакцией Йоуко Вяэнянена и Рюя де Кейруша. Том 170, выпуск 9, страницы 921–1150 (сентябрь 2019 г.), Elsevier.
• Математические структуры в информатике , 22-й семинар по логике, языку, информации и вычислениям (WoLLIC 2015) . Под редакцией Валерии де Пайва и Рюи де Кейруш. Том 29, выпуск 6, июнь 2019 г., Издательство Кембриджского университета.
• Информация и вычисления , 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 , логика, язык, информация и вычисления . Под редакцией Хироакиры Оно, Макото Канадзавы и Рюя де Кейруша. Том 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 г.).
• Анналы чистой и прикладной логики , 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 г.).
• Анналы чистой и прикладной логики , доклады, представленные на 9-м семинаре по логике, языку, информации и вычислениям (WoLLIC'2002) . 30 июля — 2 августа 2002 г. Под редакцией Р. де Кейро, Б. Пуаза и С. Артемова . Том 134, выпуск 1, страницы 1–93 (июнь 2005 г.).
• Современная математика . 8-й семинар по логике, языку, информации и вычислениям - WoLLIC'2001 . Университет Бразилиа, июль-август 2001 г. – Бразилиа. Под редакцией Джона Т. Болдуина, Руя Ж.Г.Б. де Кейроза, Эдварда Х. Хойслера. Том 24, 2003 г.
• Логический журнал группы по интересам в области чистой и прикладной логики . 7-й семинар по логике, языку, информации и вычислениям - WoLLIC 2000 . Натал (штат Риу-Гранди-ду-Норти), 15–18 августа 2000 г. Под редакцией Руя Ж.Г.Б. де Кейруша. Том 9, выпуск 6, 2001 г.
• Логический журнал группы по интересам в области чистой и прикладной логики . 6-й семинар по логике, языку, информации и вычислениям - WoLLIC'99 . Национальный парк Итатиайя (штат Рио-де-Жанейро), 25–28 мая 1999 г. Под редакцией Руя Ж.Г.Б. де Кейруша. Том 8, выпуск 5, 2000 г.

Ссылки

• Ходжес, Уилфрид (2008), «Семинар по логике, языку, информации и вычислениям, 1–4 июля» (PDF) , The Reasoner , 2 (9): 10 , получено 23 октября 2010 г.

Внешние ссылки

• Официальный сайт
• Запись WoLLIC на DBLP .
• Спонсорство АСЛ .
• Отчет о конференции WoLLIC 2013, 1 страница. Бюллетень символической логики 20(2):266-267 , июнь 2014 г. doi : 10.1017/bsl.2014.9 (Опубликовано в Интернете: 26 июня 2014 г.).
• Отчет о конференции WoLLIC 2014. В журнале Logic группы по интересам в области чистой и прикладной логики , doi : 10.1093/jigpal/jzv022 , Oxford University Press, 2015.
• Отчет о конференции WoLLIC 2014, 1 страница. Бюллетень символической логики 21(2):241-242 , июнь 2015 г. дои : 10.1017/bsl.2015.16
• Отчет конференции WoLLIC 2015. В журнале Logic группы по интересам в области чистой и прикладной логики , doi : 10.1093/jigpal/jzw014 , Oxford University Press, 2016.
• Отчет о конференции WoLLIC 2015, 1 страница. Бюллетень символической логики 22(3):436-437 , сентябрь 2016 г. дои : 10.1017/bsl.2016.23
• Отчет конференции WoLLIC 2016. В журнале Logic группы по интересам в области чистой и прикладной логики , doi : 10.1093/jigpal/jzw063 , Oxford University Press, декабрь 2016 г.
• Отчет о конференции WoLLIC 2016, 1 страница. Бюллетень символической логики 23(2):270-271 , июнь 2017 г. дои : 10.1017/bsl.2017.17
• Отчет конференции WoLLIC 2017. В журнале Logic группы по интересам в области чистой и прикладной логики , doi : 10.1093/jigpal/jzy011 , Oxford University Press, май 2018 г.
• Отчет о конференции WoLLIC 2017 на 1 странице. Бюллетень символической логики 24(3):386–387 , сентябрь 2018 г. дои : 10.1017/bsl.2018.22
• Отчет о конференции WoLLIC 2018 на 1 странице. Бюллетень символической логики 24(4):548–549 , декабрь 2018 г. дои : 10.1017/bsl.2018.79
• Отчет конференции WoLLIC 2018. В журнале Logic группы по интересам в области чистой и прикладной логики , doi : 10.1093/jigpal/jzz004 , Oxford University Press, апрель 2019 г.
• Отчет о конференции WoLLIC 2019 на 1 странице. Бюллетень символической логики 25(3):421–422 , сентябрь 2019 г. дои : 10.1017/bsl.2019.41
• Отчет конференции WoLLIC 2019. В журнале Logic группы по интересам в области чистой и прикладной логики , doi : 10.1093/jigpal/jzaa004 , Oxford University Press, июнь 2021 г.
• Отчет конференции WoLLIC 2021. В журнале Logic группы по интересам в области чистой и прикладной логики , doi : 10.1093/jigpal/jzac062 , Oxford University Press, август 2022 г.