Other related pointers
Labs and Universities
AT&T Bell Laboratories Research
Ben-Gurion University of the Negev
Univ. of Cambridge Computer Lab
CMU - School of Computer Science
CINECA--Bologna
CS--Bologna
CWI - Amsterdam
DIKU--Copenhagen
DCS--Edinburgh
IC DoC--London
Ecole Polytechnique--LIX
Ecole Normale Sup.--DMI
K.U. Leuven--CS
INRIA
LFCS
Oxford University Computing Laboratory
UPenn--Philadelphia
University of Genova-DISI
University of Utrecht
People
Krzysztof R. Apt
F. S. de Boer
Sandro Etalle
Patrick Cousot
Radhia Cousot
Moreno Falaschi
Catuscia Palamidessi
Archives
Michael Ley's Archive
The
Logic Programming Newsletter Archive
Jonathan Bowen's
logic
Functional programming archive
Bill Scherlis's
semantics-based program analysis and manipulation
page.
IC DoC - Papaers Archive (by author)
IC DoC - Papaers Archive (by site)
IC DoC - Papaers Archive (today)
IC DoC - Papaers Archive (last week)
IC DoC - Papaers Archive (last month)
Journals
Information and Computation
Journal of Artificial Intelligence Research
Journal of Functional and Logic Programming
Journal of Logic and Computation
Science of Computer Programming
Theoretical Computer Science
SEMSOC--Int. Newsletter of Semantics
Conferences
PLILP 96
.
LICS
(Logic In Computer Science) WWW page.
Conferences in Theoretical Computer Science
DIKU TOPPS
list of Programming Language Theory Conferences
Associations
AMS
ACM
CNR
EATCS
IEEE Computer Soc.
NSF
Umi
(Unione Mat. It.)
Other links
The dutch home page
teletext
Traderlink