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