Date Name
12/5/12 14:00Zuzana Haniková: Some decision procedures for DFNL
Description:The technique used to prove the finite embeddability property for distributive lattice-ordered residuated groupoids puts its universal theory into coNEXP. For chains in the class, the theory is in coNP. Joint work with R. Horčík.
www:http://www.cs.cas.cz/pospisil/appl/aktualni/aktualni.pdf
12/4/12 14:15Frank J. Hall (Department of Mathematics and Statistics, Georgia State University, Atlanta): Some graph theoretic properties of generalized complementary basic matrices
Description:In this talk we investigate graph theoretic properties of the generalized complementary basic matrices. These include cyclic properties, Hamiltonian properties, block connected properties, and minimal strongly connected digraph properties. This is joint work with Professor Miroslav Fiedler of the Institute of Computer Science.
www:http://www2.cs.cas.cz/semincm/