June 21, 2021 – June 26, 2021

Microsoft at PLDI 2021

위치: Virtual: GatherTown

Automata: github.com/AutomataDotNet/Automata (opens in new tab)
Koka: github.com/koka-lang/koka (opens in new tab)
Lean 4: leanprover.github.io (opens in new tab)

개인 정보 선택 사항

한국마이크로소프트(유)

대표이사: 조원우

주소: (우)110-150 서울 종로구 종로1길 50 더 케이트윈타워 A동 12층

전화번호: 02-531-4500, 메일: ms-korea@microsoft.com

사업자등록번호: 120-81-05948 사업자정보확인

호스팅서비스 제공자: Microsoft Corporation

통신판매신고: 제2013-서울종로-1009호

사이버몰의 이용약관: Microsoft Store 판매 약관