[logic-ml] 第6回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ参加募集