Jim Lipton

Investigador Ramon y Cajal
Profesor Visitante, laboratorio CLIP, Facultad de Informatica, UPM, Madrid
(Visiting Ramon y Cajal Researcher, Dept. of Computer Science
The Computational Logic, Implementation and Parallelism (CLIP) Laboratory, Technical University of Madrid) y

Assoc. Prof. of Computer Science, Dept. of Mathematics and Computer Science, Wesleyan University.

Direccion en Madrid:

San Nicolas 25,

Madrid 28013

(tel) +34 626 595 394

Direccion en EE. UU.:

Dept. of Mathematics and Computer Science,

Wesleyan University, Middletown CT 06459.

Phone: +1 (860) 685-2188

Fax: +1 (860) 685-2571

Home address in Middletown:

25 Highland Terrace,

Middletown, CT 06457

(tel) (860) 344 8246

Sept. 2000 CV (html), (ps)

Research Areas

Declarative and Relational Programming, Semantics, Applied Logic. Categorical Logic.

papers available via anonymous ftp

• Hypatia: a directory of research workers in Computer Science and Pure Mathematics,
  and a library of their papers.
• RelMICS home page: Relational methods in Computer Science.
• CIS at PENN: Department of Computer and Information Science
• University of Cambridge Computer Lab
• University of Pisa (di.unipi.it) Department of Computer Science
• University of Pisa Logic Programming Group.

  HOME PAGE

• Lambda-Prolog home page
• CLIP: Computational Logic, Implementation, and Parallelism Lab Polytechnic University of Madrid.
• Oxford Computing Lab home page
• Linear Logic home page at SRI International.
• American Mathematical Society home page.
• Isaac Newton Institute for Mathematical Sciences.
• Laboratoire de Mathematiques Discretes, Marseille-Luminy
• Front Door to CS at CMU.
• INRIA's home page.

• The LP Newsletter Archive.
• Springer-Verlag archive
• Computer Science Bibliography Glimpse Server
• Mathematical Literature on the Web.
• Isaac Newton Institute for Mathematical Sciences.(Gopher)
• Annual IEEE Symposia on Logic in Computer Science.
• A Collection of Computer Science Bibliographies in BibTeX Format.
• Researchers in programming language theory, design, and implementation.
• Logic Conference listing

Some anonymous ftp directories

• Penn Logic and Computation Group
• Stanford Theory Group
• Edinburgh CS Department
• Imperial CS Department
• Paris VII Equipe de Logique
• Pisa CS Department
• DEC SRC

Some internet resources in Computing

Some internet resources in Logic Programming

The World Wide Web Virtual Library: Logic Programming

Virtual Library Computing Languages AI . Logic Programming . ...
--- [568] http://www.comlab.ox.ac.uk/archive/logic-prog.html (32K)

Logic Programming and Artificial Intelligence Group of the KULeuven

Logic Programming and Artificial Intelligence Research Group at the K.U. Leuven . Welcome to the WWW page of the LPAI (Logic Programming and Artificial Intelligence) Research Group at the Department of Computer Science at the Katholieke ...
--- [567] http://www.cs.kuleuven.ac.be/~lpai/ (2K)

Welcome to the Logic Programming Section

, Department of Computing, Imperial College. This is a World Wide Web server. It provides local section information as well as information from servers around the world. Our server is situated on laotzu.doc.ic.ac.uk. . Logic Programming ...
--- [566] http://laotzu.doc.ic.ac.uk/ (3K)

---

Other interesting pages

---

Some quotes taken from the student net at Wesleyan...

• "More computing sins are committed in the name of efficiency (without necessarily achieving it) than for any other single reason - including blind stupidity." W.A. Wulf
• "We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil." Donald Knuth
• "The best is the enemy of the good." Voltaire

Other resources

Spanish Poetry on internet

---

---

Web page in USA