Leonid Libkin

    Professor
    Department of Computer Science
    University of Toronto


    This page hasn't been updated for a while. For contact details and new publications, please check here.


Research Interests


Books

semantics in DB
CDB book
Elements of FMT
Philly tutorials


 Papers (most of them online)

 Teaching

 Database Theory

Selected Links

Journals
Conferences
Others
Sigmod Record
ACM PODS (Principles of Database Systems);
 also PODS 2007

ACM SIGMOD
Logical Methods in
Computer Science (LMCS)

LICS (Logic in Computer Science)
ASL
Journal of Applied Logic
ICDT (Intl. Conf. on Database Theory);
also ICDT 2005



LCC (Logic & Comput Complexity) 2005



_________________________________

Leonid Libkin (libkin at cs . toronto . edu)