LICS シンポジウム (正式名は「Logic in Computer Science」) は、コンピューター サイエンスのロジックに関連する理論的および実践的なトピックを扱う年次国際フォーラムです。このカンファレンスでは、プライバシー、ネットワーク セキュリティ、データ セキュリティ、コンピュータ セキュリティ、アクセス コントロール、データベース セキュリティに関する最新情報が発表されます。