LPAR 2006 Workshops
Two workshops will be organized in connection with LPAR 2006 on 12th November 2006.
2nd International Workshop on Analytic Proof Systems
6th International Workshop on the Implementation of Logics (IWIL-6)
Last modified: Tue Jul 18 18:03:57 CEST 2006