논리, 언어, 정보 및 계산에 관한 워크숍

WoLIC, 논리, 언어, 정보 및 계산에 관한 워크숍은 순수하고 응용된 논리 및 이론 컴퓨터 과학 분야의 학술 회의입니다.WoLIC는 1994년부터 매년 6월 또는 7월에 개최되고 있습니다.이 컨퍼런스는 논리, 언어 및 정보 협회, 기호 논리 협회, 유럽 이론 컴퓨터 과학 협회 및 유럽 컴퓨터 과학 논리 협회가 과학적으로 후원하고 있습니다.

순위

Computer Science Conference Ranking 2010에 따르면 이 컨퍼런스는 전 세계 1900개가 넘는 국제 컨퍼런스에서 B등급을 받았습니다.또한 The CORE Conference Ranking Excise - CORE Portal (2021년)에서 "B" 등급을 받았습니다.Microsoft Academic Search - Conference에서 현재 Field-Rating 1, Algorithms & Theory 9위(지난 5년간)에 랭크되어 있습니다.Google Scholar에서 컨퍼런스는 h5-index로 11점, h5-median으로 21점을 받는다.

역사

• 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년: 루마니아 아이아시
• 2024년: 스위스 베른

절차

• 논리, 언어, 정보 및 계산 - 제27회 국제 워크숍, WoLIC 2021, Alexandra Silva, Renata Wassermann & Ruy de Keiroz(에드), 2021년 10월 5일부터 8일까지 가상 이벤트Springer Berlin / Heidelberg, 컴퓨터 공학 강의 노트 ISSN0302-9743(프린트) ISSN1611-3349(온라인), 제1151/2019권, doi:10.1007/978-3-030-8853-4, ISBN978-3-030-8852-7
• 논리, 언어, 정보 및 계산 - 제26회 국제 워크숍, WoLIC 2019, Rosalie Iemhoff, Michael Mootgat & Ruy de Keiroz(에드), 네덜란드 위트레흐트, 2019년 7월 2일~5일컴퓨터 사이언스 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 제1151/2019권, doi:10.1007/978-3-662-59533-6, ISBN 978-3-62-395-32-325-325-325-395-32-329.
• 논리, 언어, 정보 및 계산 - 제25회 국제 워크숍, WoLIC 2018, Lawrence S. Moss, Ruy de Keiroz & Maricarmen Martinez(에드), 콜롬비아 보고타, 2018년 7월 24일~27일컴퓨터 공학 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 제10944/2018권, doi:10.1007/978-3-662-5769-4, ISBN 978-3-6676-6876-6876-68.
• 논리, 언어, 정보 및 계산 - 제24회 국제 워크숍, WoLIC 2017, Juliette Kennedy & Ruy de Keiroz(에드), 2017년 7월 18일부터 21일까지 영국 런던.컴퓨터 공학 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 제10388/2017권, doi:10.1007/978-3-662-55386-2, ISBN 978-3-555385.
• 논리, 언어, 정보 및 계산 - 제23회 국제 워크숍, WoLIC 2016, Jouko Vénénen, Osa Hirvonen & Ruy de Qeiroz, 멕시코 푸에블라, 2016년 8월 16일~19일컴퓨터 사이언스 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 9803/2016, 도이:10.1007/978-3-662-29-8, ISBN 978-3-6-295-1291-8.
• 논리, 언어, 정보 및 계산 - 제22회 국제 워크숍, WoLIC 2015, Valeria de Paiva, Ruy de Quiroz, Lawrence Moss, Daniel Leivant & Anjolina de Oliveira(에드), 미국 인디애나주 블루밍턴, 2015년 7월 20-23일컴퓨터 공학 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 제9160/2015권, doi:10.1007/978-3-662-47709-0, ISBN 978-3-62-8703-7703-0.
• 논리, 언어, 정보 및 계산 - 제21회 국제 워크숍, WoLIC 2014, Ulrich Kohlenbach, Pablo Barcelo & Ruy de Keiroz(에드), 칠레 발파라이소, 2014년 9월 1~4일컴퓨터 공학 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 제8652/2014권, doi:10.1007/978-3-662-44145-9, ISBN 978-3-6-2-4444.
• 로직, 언어, 정보 및 계산 - 제20회 국제 워크숍, WoLIC 2013, Leonid Libkin, Ulrich Kohlenbach & Ruy de Keiroz(에드), 독일 다름슈타트, 2013년 8월 20일부터 23일까지컴퓨터 사이언스 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 제8071/2013권, doi:10.1007/978-3-642-3992-3, ISBN 978-3992-3992-3392-3392-339.
• 로직, 언어, 정보 및 계산 - 제19회 국제 워크숍, WoLIC 2012, Luke Ong & Ruy de Keiroz(에드), 아르헨티나 부에노스아이레스, 2012년 9월 3일 ~ 6일컴퓨터 공학 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 제7456/2012권, doi:10.1007/978-32620-2, ISBN 978-3642-326-2-2.
• 논리, 언어, 정보 및 계산 - 제18회 국제 워크숍, WoLIC 2011, Lev D.2011년 5월 18일~20일, 미국, 필라델피아, PA, Beklemishev & Ruy de Keiroz(에드).컴퓨터 공학 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 제6642/2011권, doi:10.1007/978-3-642-209-2, ISBN 978-3642-19202-19202.
• 논리, 언어, 정보 및 계산 - 제17회 국제 워크숍, WoLIC 2010, A.2010년 7월 6일부터 9일까지 브라질 브라질리아 Dawar & R. de Keiroz(에드).컴퓨터 공학 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 2010년 제6188권, doi:10.1007/978-3-642-13823-2, ISBN 978-3-2-232.
• 로직, 언어, 정보 및 계산 - 제16회 국제 워크숍, WoLIC 2009, H. Oino, M. Kanazawa & R. de Qeiroz(에드), 2009년 6월 21일부터 24일까지 일본 도쿄.컴퓨터 공학 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 제5514/2009권, doi:10.1007/978-3-642-02261-6, ISBN 978-3642-2-22-2260.
• 로직, 언어, 정보 및 계산 - 제15회 국제 워크숍, WoLIC 2008, W. Hodges & R. de Qeiroz(에드), 2008년 7월 1~4일 영국 에든버러.컴퓨터 사이언스 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 제5110/2008권, doi:10.1007/978-3-540-69937-8, ISBN 978-3-540-699361.
• 논리, 언어, 정보 및 계산 - 제14회 국제 워크숍, WoLIC 2007, D.Livant & R. de Keiroz (에드) (2007년 7월 2일~5일 브라질 리우데자네이루).컴퓨터 공학 강의 노트, 스프링거 베를린/하이델베르크, ISSN 0302-9743(인쇄) ISSN 1611-3349(온라인), 제4576/2007, doi:10.1007/978-3-540-73445-1, ISBN 978-3-540-7343.
• 2006년 제13회 논리, 언어, 정보 및 계산에 관한 워크숍(WoLIC 2006), 논리, 언어, 정보 및 계산에 관한 워크숍의 진행.미국 캘리포니아주 스탠포드 대학교 2006년 7월 18일~21일G. Mints와 R. de Keiroz 편집자이론 컴퓨터 사이언스 전자 노트ISSN 1571-0661제165권, 1~226페이지 (2006년 11월 22일)(서문 doi:10.1016/j.entcs.2006.07.021)
• 제12회 논리, 언어, 정보 및 계산에 관한 워크숍(WoLIC 2005).브라질 산타카타리나주 플로리아노폴리스. 2005년 7월 19일부터 22일까지.편집자: R. de Keiroz, A.매킨타이어와 G. 비트코트이론 컴퓨터 사이언스 전자 노트ISSN 1571-0661제143권, 1~222페이지(2006년 1월 6일).(서문 doi:10.1016/j.entcs.2005.06.032)
• 제11회 논리, 언어, 정보 및 계산에 관한 워크숍(WoLIC 2004).퐁텐블로(파리), 2004년 7월 19일~22일R. de Keiroz와 P에 의해 편집되었습니다.세겔스키.이론 컴퓨터 사이언스 전자 노트ISSN 1571-0661제123권 (1~240페이지) (2005년 3월 1일)(서문 doi:10.1016/j.entcs.2004.05.012)
• WoLIC'2003, 제10회 논리, 언어, 정보 및 계산 워크숍브라질, 우로 프레토(미나스 제라이스). 2003년 7월 29일~8월 1일.편집: R. de Keiroz, E. Pimentel, L.피게이레도.이론 컴퓨터 사이언스 전자 노트ISSN 1571-0661제84권, 1-231페이지(2003년 9월).(서문 doi:10.1016/S1571-0661 (05) 80858-8)
• WoLIC'2002, 제9회 논리, 언어, 정보 및 계산 워크샵.브라질 리우데자네이루2002년 7월 30일부터 8월 2일까지편집 : 루이 드 케이로스, 루이스 카를로스 페레이라, 에드워드 헤르만 하우슬러이론 컴퓨터 사이언스 전자 노트ISSN 1571-0661제67권, 1~314페이지(2002년 10월).(서문 doi:10.1016/S1571-0661(05)80556-0)

과학잡지 특집호

• 수학논리 아카이브, 제24회 논리, 언어, 정보 및 계산에 관한 워크숍(WoLIC 2017).Juliette Kennedy와 Ruy de Keiroz에 의해 편집되었습니다.제60권, 제5호, 525-681페이지(2021년 7월), 스프링거.
• 순수 및 응용논리연보, 제23회 논리, 언어, 정보 및 계산에 관한 워크숍(WoLIC 2016).편집: Jouko Vénénen과 Ruy de Keiroz.제170권, 9호, 921-1150페이지(2019년 9월), 엘세비어.
• 컴퓨터 사이언스의 수학 구조, 제22회 논리, 언어, 정보 및 계산에 관한 워크숍(WoLIC 2015).발레리아 드 파이바와 루이 드 케이로스 편집자제29권, 제6호, 2019년 6월, 케임브리지 대학 출판부.
• 정보와 계산, 제21회 논리, 언어, 정보 및 계산에 관한 워크숍(WoLIC 2014).Ulrich Kohlenbach, Pablo Barcel and, Ruy de Keiroz 편집자제255권, 제2부, 193~334페이지(2017년 8월).
• 컴퓨터 및 시스템 과학 저널, 제20회 논리, 언어, 정보 및 계산에 관한 워크숍 (WoLIC 2013).Leonid Libkin, Ulrich Kohlenbach, Ruy de Keiroz 편집.제88권, 1-290페이지(2017년 9월).
• 이론 컴퓨터 과학, 논리, 언어, 정보 및 계산, 제19회 논리, 언어, 정보 및 계산에 관한 워크숍.부에노스 아이레스, 아르헨티나2012년 9월 3일~6일Luke Ong과 Ruy de Qeiroz에 의해 편집되었습니다.제603권, 1~146쪽 (2015년 10월 25일)
• 컴퓨터 및 시스템 과학 저널, 제18회 논리, 언어, 정보 및 계산에 관한 워크숍 (WoLIC 2011).Lev Beklemishev, Ruy de Keiroz 및 Andre Scedrov가 편집했습니다.제80권, 6호, 1037-1174페이지(2014년 9월).
• 컴퓨터 및 시스템 과학 저널, 제17회 논리, 언어, 정보 및 계산에 관한 워크숍 (WoLIC 2010).편집 : 아누지 다와르, 루이 드 케이로스제80권, 제2호, 321-498페이지(2014년 3월).
• 기본 정보, 논리, 언어, 정보 및 계산.편집: 오노 히로아키라, 카나자와 마코토, 케이로스 루이.제106권, 번호 2-4, 119-338페이지, 2011년 9월.
• 컴퓨터 및 시스템 과학 저널, 논리, 언어, 정보 및 계산에 관한 워크숍 (WoLIC 2008).Wilfrid Hodges와 Ruy de Keiroz에 의해 편집되었습니다.제76권, 제5호, 281-388페이지(2010년 8월).
• 정보와 계산, 특별호: 제14회 논리, 언어, 정보 및 계산에 관한 워크숍 (WoLIC 2007).다니엘 라이반트와 루이 드 케이로스 편집자제208권, 제5호, 395-604쪽 (2010년 5월)
• 정보와 계산, 특별호: 제13회 논리, 언어, 정보 및 계산에 관한 워크숍 (WoLIC 2006).그리고리 민트, 발레리아 드 파이바, 루이 드 케이로스 편집자제207권, 제10호, 969-1094페이지(2009년 10월).
• 순수 및 응용 논리 연보, 제12회 논리, 언어, 정보 및 계산에 관한 워크숍.브라질 산타카타리나주 플로리아노폴리스. 2005년 7월 19일부터 22일까지.R. de Keiroz와 A에 의해 편집되었습니다.매킨타이어.제152권, 제1~3호, 1~180페이지(2008년 3월).
• 이론 컴퓨터 과학, 논리, 언어, 정보 및 계산, 제11회 논리, 언어, 정보 및 계산 워크숍프랑스 파리. 2004년 7월 19일~22일.R. de Keiroz와 P에 의해 편집되었습니다.세겔스키.제364권, 제2호, 143-270페이지 (2006년 11월 6일)
• 이론 컴퓨터 과학, 논리학, 언어, 정보 및 계산.미나스 제라이스(브라질), 2003년 7월 29일부터 8월 1일까지편집: R. de Keiroz and D.코젠. 제355권, 제2호, 105-260페이지(2006년 4월 11일).
• 순수 및 응용논리 연보, 제9회 논리, 언어, 정보 및 계산에 관한 워크숍(WolLIC'2002)에서 발표된 논문.2002년 7월 30일부터 8월 2일까지편집: R. de Keiroz, B. Poizat, S. 아르테모프제134권, 제1호, 1~93페이지(2005년 6월).
• 마테마티카 컨템포러리네아제8회 논리, 언어, 정보 및 계산에 관한 워크숍 - WoLIC'2001.브라질리아 대학교, 2001년 7월~8월 - 브라질리아.편집: John T. Baldwin, Ruy J. B. de Keiroz, Edward H.호이슬러.제24권, 2003.
• 순수 및 응용 로직의 관심 그룹의 논리 저널입니다.제7회 논리, 언어, 정보 및 계산에 관한 워크숍 - WoLIC 2000.나탈(Rio Grande do Norte 주), 2000년 8월 15일~18일편집: Ruy J. G. B. de Keiroz.제9권, 제6호, 2001.
• 순수 및 응용 로직의 관심 그룹의 논리 저널입니다.제6회 논리, 언어, 정보 및 계산 워크숍 - WoLIC'99.1999년 5월 25일부터 28일까지 이타티아 국립공원(리우데자네이루 주).편집: Ruy J. G. B. de Keiroz.제8권, 제5호, 2000년

레퍼런스

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

외부 링크

• 공식 웹사이트
• DBLP에서의 WoLIC 엔트리
• ASL 스폰서십
• WoLIC 2013 1페이지 분량의 컨퍼런스 리포트.기호논리 20(2):266-267, 2014년 6월.doi:10.1017/bsl.2014.9(온라인:2014년 6월 26일).
• WoLIC 2014 컨퍼런스 리포트.순수 및 응용 로직 그룹의 논리 저널, doi:10.1093/jigpal/jzv022, 옥스퍼드 대학 출판부, 2015.
• WoLIC 2014 1페이지 분량의 컨퍼런스 리포트.기호논리 21(2):241-242, 2015년 6월.doi:10.1017/bsl.2015.16
• WoLIC 2015 컨퍼런스 리포트.순수 및 응용 로직 그룹의 논리 저널, doi:10.1093/jigpal/jzw014, 옥스포드 대학 출판부, 2016.
• WoLIC 2015 1페이지 분량의 컨퍼런스 리포트.기호논리 22(3) : 436-437, 2016년 9월.doi : 10.1017/bsl . 2016 . 23
• WoLIC 2016 컨퍼런스 리포트.순수 및 응용 로직 그룹의 논리 저널, doi:10.1093/jigpal/jzw063, 옥스포드 대학 출판부, 2016년 12월.
• WoLIC 2016 1페이지 분량의 컨퍼런스 리포트.기호논리 23 (2):270-271 2017년 6월.doi:10.1017/bsl.2017.17
• WoLIC 2017 컨퍼런스 리포트.순수 및 응용 로직 그룹의 논리 저널, doi:10.1093/jigpal/jzy011, 옥스포드 대학 출판부, 2018년 5월.
• WoLIC 2017 1페이지 분량의 컨퍼런스 리포트.기호논리 게시판 24(3):386-387, 2018년 9월.doi:10.1017/bsl.22
• WoLIC 2018 1페이지 분량의 컨퍼런스 리포트.기호논리 게시판 24(4) : 548 ~ 549, 2018년 12월.doi : 10.1017 / bsl . 2018 . 79
• WoLIC 2018 회의 보고서.순수 및 응용 로직 그룹의 로직 저널, doi:10.1093/jigpal/jz004, 옥스포드 대학 출판부, 2019년 4월.
• WoLIC 2019 1페이지 분량의 컨퍼런스 리포트.기호논리 25(3):421~422, 2019년 9월.doi:10.1017/bsl.2019.41
• WoLIC 2019 컨퍼런스 리포트.순수 및 응용 로직 그룹의 논리 저널, doi:10.1093/jigpal/jzaa004, Oxford University Press, 2021년 6월.