Logic Colloquium 2000 (همایش منطق 2000) نوشته Rene Cori، Alexander Razborov، Stevo Todorcevic (رنه کوری، الکساندر رازبوروف، استوو تودورسویچ) مجموعه مقالاتی است که در سال 2002 میلادی به چاپ رسیده است. این کتاب حاوی مقالات ارائه شده در همایش منطق سال 2000 در زمینه‌های مختلف منطق ریاضی و منطق محاسباتی است. مقالات این کتاب دربرگیرنده موضوعاتی همچون نظریه مدل‌ها، منطق غیرکلاسیک، نظریه اثبات، نظریه رده‌ها، منطق توپولوژیکی و کاربرد منطق در علوم کامپیوتر است. این مجموعه به عنوان یکی از منابع معتبر در حوزه منطق ریاضی محسوب می‌شود و توسط متخصصان و دانشجویان این حوزه مورد استفاده قرار می‌گیرد.