Other related pointers
Labs and Universities
Univ. of Arizona
AT&T Bell Laboratories Research
Ben-Gurion University of the Negev
Univ. of Cambridge
Univ. of Cambridge Computer Lab
CMU - School of Computer Science
CWI - Amsterdam
CINECA--Bologna
CS--Bologna
DIKU--Copenhagen
DCS--Edinburgh
IC DoC--London
K.U. Leuven
K.U. Leuven--CS
INRIA
LFCS
Ecole Polytechnique
Ecole Polytechnique--LIX
Ecole Normale Sup.
Ecole Normale Sup.--DMI
NASA
Oxford University Computing Laboratory
UPenn--Philadelphia
Pisa Computer Science Department's
home page
Groups
The logic programming group in Pisa
$)C
LIX: Siíantique, preuve et interpriôation abstraite
ENS: Siíantique, preuve et interpriôation abstraite
IC DoC--Theory and Formal Methods - London
Semantics-Based Program Analysis and Manipulation
Formal Methods
around the world on the World Wide Web (WWW)
People and Papers (on-line)
Jonathan Hill's
archive
Samson ABRAMSKY
Andrew APPEL
Maurice BRUYNOOGHE
Rod BURSTALL
Luca CARDELLI
Michael CODISH
Chris COLBY
Marc-Michel CORSINI
Patrick COUSOT
Radhia COUSOT
Carl GUNTER
Chris HANKIN
Manuel HERMENEGILDO
Thomas JENSEN
Neil JONES
Baudouin LE CHARLIER
Peter LEE
Alan MYCROFT
Flemming NIELSON
Hanne Riis NIELSON
Simon PEYTON JONES
Gordon PLOTKIN
Vaughan PRATT
Francesco RANZATO
Viktor SABELFELD
David SANDS
David SCHMIDT
Pascal van HENTENRICK
Philip WADLER
Archives
Michael Ley's Archive
(very good!)
The
Logic Programming Newsletter Archive
Jonathan Bowen's
logic
Functional programming archive (static analysis)
Abstract Interpretation Bibliography (Logic Programming)
by Corsini
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
Michael Ley's journal archive
Acta Informatica
The
AMAST links
newsletter
ALP Newsletter Archive
Chicago Journal of Theoretical Computer Science
Electronic Journal on Pure and Applied Logic
LICS Newsletter
Information and Computation
Information Processing Letters
Journal of Artificial Intelligence Research
Journal of Functional and Logic Programming
Journal of Functional Programming
Journal of Logic and Computation
Science of Computer Programming
Theoretical Computer Science
Electronic Journal on Pure and Applied Logic
SEMSOC--Int. Newsletter of Semantics
(funny!!)
TOPLAS
Publishers
Addison-Wesley Internet Shop
Elsevier
The MIT Press
Kluwer Academic Press
Springer-Verlag
WebPress Home Page
Conferences
Patrick Cousot's archive
Michael Ley's archive
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.)
Kulture
International E-Mail Tandem Network
Trierer Tandem Server
how to learn a language by E-mail
WebMuseum
WebMuseum: What's New?
Info
Meteo France
Roberto Giacobazzi
(
giaco@di.unipi.it
)
