Leonid Libkin

    Professor, School of Informatics, University of Edinburgh.

    I resigned from the University of Toronto. My new webpage is 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)