AL(Algorithm & Logic) Seminar

2007/11/29	The 118th AL Seminar : Completion and finite embeddability property for residuated ordered algebras
2007/09/14	The 117th AL Seminar : Polynomial-size Frege proofs of Bollob\'as' theorem on the trace of sets
2007/01/10	The 116th AL Seminar : Duality theory in the study of semigroups and automata
2006/10/10	The 115th AL Seminar : A coalgebraic perspective on automata theory
2006/03/16	The 114th AL Seminar : Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta
2006/02/28	The 113th AL Seminar : Atomicity and formal semantics
2006/02/10	The 112th AL Seminar : Some Problems of Early Indian Logic
2006/01/20	The 111th AL Seminar : Belnap's 4-valued logic and logic programs verification
2005/12/12	The 110th AL Seminar : Acts of Commanding and Changing Obligations
2005/09/06	The 109th AL Seminar : A path order POP and its applications
2005/05/31	The 108th AL Seminar : Temporal Logic over transitive states
2005/02/28	The 107th AL Seminar : Continuous Fraissé Conjecture
2004/10/21	The 106th AL Seminar : Many-dimensional logical systems, Spatio-temporal logics: expressiveness vs. complexity
2004/10/14	The 105th AL Seminar : Introduction to algebraic logic