IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Some Logic-Related Webpages

dblp Computer Science Bibliography at Universität Trier
This bibliography covers many conferences (including LICS, CADE, FOCS, ICALP, PODS, POPL, STOC, etc.) and most major journals.

Association for Symbolic Logic

Mathematical Logic around the world

The Computing Research Repository (CoRR)
The computer science branch of the e-print service arXiv.

Back to the LICS web page.

Last modified: Thu Oct 29 19:37:38 CET 2009
Andrzej Murawski