컴퓨터 과학 논리 심포지엄

이 글은 검증을 위해 인용구가 추가로 필요하다. 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선할 수 있도록 도와주십시오. 공급되지 않은 재료는 도전하여 제거할 수 있다. 출처 찾기: "컴퓨터 과학의 논리에 관한 심포슘" – 뉴스 · 신문 · 책 · 학자 · JSTOR (2020년 7월) (이 템플릿 메시지를 제거하는 방법과 시기 학습)

ACM-IEEE Logic in Computer Science(LICS) 심포지엄은 수학적 논리와 관련된 컴퓨터 과학의 이론과 실천에 관한 연례 학술대회다.매년 컨퍼런스에서 선정된 논문의 확대판은 컴퓨터 과학의 논리 메소드와 컴퓨터 로직의 ACM 거래와 같은 유명한 국제 학술지에 게재된다.

역사

LICS는 원래 IEEE만의 후원을 받았으나, 2014년 ACM과 IEEE의 공동 후원을 받아 ACM LICS에 관한 ACM 특별 이익 그룹 설립을 기점으로 SIGLOG의 대표 컨퍼런스가 되었다.^[1]

1988년 첫 회부터 회의 진행의 표지에는 앨비 레이 스미스의 '논리적 정량자에 의한 비이성적 타일링'이라는 제목의 작품이 실렸다.^[2]

1995년 이후, 매년 클레인 상은 최고의 학생 신문에 주어진다.또한, 2006년 이후, LICS Test-of-Time Award는 20년 된 LICS 논문 중 시간 시험에 가장 잘 부합한 논문에게 매년 수여된다.^[3]

LICS 어워드

타임 테스트 어워드

매년, 2006년부터, LICS Test-of-Time Award는 20년 전 LICS 진행에서 나온 기사들을 인정하는데, 이것은 영향력이 있다.

2006

• 레오 바흐메어, 나첨 더쇼위츠, 지에흐샹, "정확한 증명서 주문서"
• E. Allen Emerson, Chin-Laung Lei, "Proposal Mu-Mu-Miculus 조각(Extended Obstraction)"
• Moshe Y. Vardi, Pierre Wolper, "Automata-Thermetic Access to automatic Program Verification (Prelimary Report)"

2007

• 삼손 에이브람스키, "논리형태의 도메인 이론"
• 로버트 하퍼, 후리오 혼셀, 고든 D 플롯킨, "로직 정의 프레임워크"

2008

• 마틴 아바디, 레슬리 램포트 "정밀화 매핑의 존재"

2009

• 유제니오 모기 "계산 람다-미적분 및 모나드"

2010

• Rajev Alur, Costas Courcubetis, David L. Dill, "실시간 시스템을 위한 모델 검사"
• 제리 R. 버치, 에드먼드 클라크, 케네스 L. 맥밀런, 데이비드 L. 딜, 제임스 황, "심블 모델 확인: 10^20 상태 이상"
• 맥스 다우셰트, 소피 티슨 "지상 재작성 시스템 이론은 디커블 가능"
• Peter Freyd, "귀납형으로 감소"

2011

• Patrice Godefroid, Pierre Wolper, "모델 확인에 대한 부분적 접근 방식"
• 조슈아 호다스 데일 A 밀러, "직관적 선형 논리의 단편적 논리 프로그래밍"
• 덱스터 코젠 "클레인 알제브라의 완성도 정리 및 정기 종목 대수"

2012

• 토마스 헨징어, 자비에 니콜린, 조셉 시파키스, 세르히오 요빈, "실시간 시스템을 확인하는 심볼 모델"
• 장피에르 탈핀, 피에르 주벨롯, "유형과 효과 규율"

2013

• 레오 바흐메어, 하랄드 간징어, 우베 발트만, "제약을 모나치계급"
• 안드레 조이알, 모겐 닐슨, 글리앤 윈스켈, "비시뮬레이션 및 오픈 맵"
• 벤자민 C. 피어스, Davide Sangiorgi, "모바일 프로세스를 위한 타이핑 및 서브타이핑"

2014

• 마틴 호프만, 토마스 스트레이셔 "그룹로이드 모델은 신원 증명서의 고유성을 반박한다"
• 데일 A. 밀러, "다중 컨버전스 메타 로직"

2015

• 이고르 왈루키에비치, "고젠의 프로포지탈 무-미적분의 공리화 완성도"

2016

• 패러쉬 A. 압둘라, 칼리스 세란스, 벵트 존슨, 이흐-쿠엔 차이, "무한국가 시스템에 대한 일반 결정성 이론"
• 일리아노 세베사토, 프랭크 페닝, "A Linear Logical Framework"

2017

• 리처드 블루트, 호세 데샤르나이스, 압바스 에달랏, 프라카시 파낭가덴, "라벨라블 마코프 프로세스에 대한 비시뮬레이션"
• 대니얼 투리 고든 D 플롯킨, "수학적 작동 의미론"

2018

• 마르틴 아바디, 세드릭 포넷, 조르주 곤티에, "채널 추상화의 안전한 구현"
• 샘슨 에이브럼스키, 혼다 코헤이, 가이 맥쿠스커, "A Full Complex Game Semantics for General Reference"

2019

• 마르셀로 P. 피오레, 고든 D. 플롯킨, 다니엘레 투리, "추상 구문 및 가변 바인딩"
• 머독 가베이, 앤드류 M. 피츠, "바인더가 포함된 추상 구문에 대한 새로운 접근법"

2020

• 루카 데 알파로, 토마스 A. 헨징어, "콘크리트 오메가-레귤러 게임"
• 나카노 히로시 "재귀의 모달리티"

2021

• 아론 스텀프; 클라크 W. 배럿, 데이비드 L. 딜, 제레미 R. Levitt, "배열 확장 이론의 의사결정 절차"
• Hongwei Xi, "프로그램 종료 검증에 따른 종류"

클레인상

S.C. Kleene을 기리는 클렌 상은 각 컨퍼런스에서 최우수 학생 신문에 수여된다.

참고 항목

• 컴퓨터 과학 회의 목록에는 컴퓨터 과학 분야의 다른 학술 회의가 포함되어 있다.

메모들

외부 링크

• LICS 홈 페이지