http://www.mlnet.org/ - The Machine Learning Network Online Information Service; has a "Training" section where the main concepts in machine learning are explained

http://www.cs.waikato.ac.nz/~ml/index.html - WEKA Project: machine learning for the New Zealand Agriculture. Java software downloadable for neural networks, Bayes naive and SVM. In the Publications section some interesting papers are present, also on feature extraction

http://www.neurocolt.com/ - Neural networks and Computational Learning Theory project, with online papers

http://www.rci.rutgers.edu/~cfs/ - Material for courses "Computation and cognition" and "Cognition". With theory of learning, subjective probability...

http://www.ai.mit.edu/projects/cbcl/courses/course9.520/ - Tommaso Poggio's course on learning

http://www.boosting.org/ - Boosting methods; Structured like kernel-machines.org

http://www.bmva.ac.uk/bmvc/ - British Machine Vision Conferences. With online proceedings from 1996 to date

http://www.kernel-machines.org - Resources for kernel-based learning methods. Aims to be *the* kernel machines homepage, and has many resources: Papers, software, a discussion forum...

http://svm.research.bell-labs.com/ - SVM homepage at Bell Labs; a lot of downloadable papers, among which the fundamental Burges' tutorial on SVM for pattern recognition

http://www.support-vector.net/ - The home page of Cristianini and Shawe-Taylor's book "Support Vector Machines and other Kernel-Based Learning Methods". The site collects links to software and papers. The "Further readings" sections of each chapter are available on the site for download

http://www.support-vector.ws/ - The home page of the book "Learning and Soft Computing", where SVM, neural networks and fuzzy logic are put in a unified framework. No downloadable stuff, but the book seems interesting

http://www.isis.ecs.soton.ac.uk/resources/svminfo/ - The University of Southhampton SVM site. Tutorials, info and a Matlab toolbox

http://cgm.cs.mcgill.ca/~luc/ - The homepage of Luc Devroye, (co)author of "A probabilistic theory of pattern recognition", a fundamental book in the field. With papers - a great resource on Bayesian regularization, with FAQ, examples, tutorials...

http://www.inference.phy.cam.ac.uk/mackay/ - The hompage of David MacKay. He worked on Bayesian methods for neural network training, and he developed the Bayesian regularization training algorithm. With all his papers.

http://www.research.att.com/info/vlad - Homepage for Vladimir Vapnik, without much information

http://axiom.anu.edu.au/~smola/ - Homepage for Alexander Smola, with papers

http://www.research.microsoft.com/~bsc/ - Home page for Bernhard Schölkopf, with papers

http://tiger.technion.ac.il/~eladyt/Classification_toolbox.html - A Matlab toolbox for classification

http://www.ph.tn.tudelft.nl/~bob/PRTOOLS.html - Another Matlab toolbox for classification

http://www.csie.ntu.edu.tw/~cjlin/libsvm - libsvm, on which osusvm is based

http://www-formal.stanford.edu/jmc/index.html - Homepage for McCarthy. Known as the LISP language father, he puts online his papers (good lad!). A lot of interesting stuff on: Formalizing context, "self consciousness" and reflection...

ftp://publications.ai.mit.edu/ - The archive of the AI MIT lab memos, not complete (if you have a copy of an unlisted paper, think about contribuing). You can search for a specific memo at http://www.ai.mit.edu

http://www.cs.cofc.edu/~manaris/ai-education-repository/ - AI education repository; Resources (tutorials, etc) on several AI topics

http://robustai.net/ - Notable for the Mentography section

http://wings.buffalo.edu/philosophy/ontology/ - A site on ontology; With reference to computer-related applications

http://www.ontoknowledge.org/ - Searching ontologies on the web. Definition of OIL, extending RDF and RDFSchema (w3c standard)

http://www.semanticweb.org/ - Resources for a semantic web

http://www-ksl.stanford.edu/kst/what-is-an-ontology.html - What is an ontology?

http://www.cs.man.ac.uk/~franconi/ontology.html - Links on projects, people, etc

http://www.ei.sanken.osaka-u.ac.jp/ - Mizoguchi lab; A lot of work on knowledge representation. Must see!

http://crl.nmsu.edu/Research/Projects/mikro/htmls/ontology-htmls/onto.index.html - Mikrokosmos Ontology; a non-free ontology, but with a good introductive paper on knowledge-level representation

http://ontolingua.stanford.edu - Knowledge Sharing Public Library from Stanford University. A public ontology navigator is available: Log in anonymously for a read-only access. The ontology is expressed in KIF (Knowledge Interchange Format)

http://www.bestweb.net/~sowa/direct/index.htm - Homepage for John Sowa: Very good, with tutorials on logic, knowledge representation, etc

http://www.cs.umd.edu/~hendler/ - Homepage for Hendler, who wrote the semantic web introduction on Scientific American

http://www.cs.umd.edu/projects/plus/SHOE/ - SHOE is an HTML extention to enrich with ontological info your HTML documents

http://www.geometry.net - The Online Learning Center, mainly mathematics

http://www.math.hawaii.edu/LatThy/ - The Lattice Theory Homepage. Errata to B. Davey and H. Priestley's "Lattices and orders", links to topics and applications-applets for lattice and universal algebra calculators

http://www.princeton.edu/~ppollack/notes/ - Analytic and Combinatorial Number Theory Course Notes

http://mizar.uwb.edu.pl/ - The Mizar Project is an attempt to reconstruct the mathematical vernacular in a language where proofs can be automatically checked. It is not very known, but a rather relevant corpus of knowledge has been written in its language

http://www-unix.mcs.anl.gov/qed/ - The QED Project aims at building "a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge". Seemingly defunct.

http://www.qedeq.org/ -Principia Mathematica II is a set of Java classes. In the words of the author: "(Pathetic) goal is the transformation of current mathematical knowledge into a formal (logical) correct (checked by a proof verifier) form (using a first order predicate calculus language), to build a browserable web wide mathematical knowledge base."

http://www.math.usf.edu/~mccolm/ - McColm is a researcher on game-theoretical issues in mathematics and mathematical logic. Look under math stuff/mathematical games for an introduction on the topic, with many links to bisimulation, semantics, quantification theory

http://www.probability.net/ - Extensive tutorials on measure and probability theory

http://www.let.uu.nl/esslli/Courses/barr-wells.html - Introduction to category theory, a course at ESSLLI'99

http://www.birkhauser.ch/journals/1200/1200_tit.htm - Algebra Universalis, a journal for universal algebra and category theory

http://thoralf.uwaterloo.ca/ - Homepage for Stanley Burris, with "A course on universal algebra", an online book on universal algebra and (rewriting?) logic for computer science

http://www-cse.ucsd.edu/users/goguen/index.html - Joseph Goguen homepage. Links on hidden universal algebra; Years ago he planned a book titled "Theorem proving and Algebra" on these topics. Seems promising, so we wait... we wait...

http://www.cs.ucsd.edu/groups/tatami/handdemos/doc/haidx.htm - Hidden Algebra Tutorial (not great)

http://www.geometry.net/cg/index.html - Categoric geometry homepage. Also some books online, thanks to Zhaohua Luo and his good will

http://rewriting.loria.fr/ - Rewriting home page

http://www.kindsoftware.com/products/opensource/ - The OBJ languages are broad spectrum algebraic programming and specification languages, based on order sorted equational logic, possibly enriched with other logics, such as rewriting logic or hidden equational logic

http://www.cs.ucsd.edu/users/goguen/sys/obj.html - A presentation of the languages in the OBJ Family (OBJ3, CafeOBJ, Maude, Kumo, FOOPS, Eqlog), with comparisons and references

http://www4.informatik.tu-muenchen.de/~nipkow/TRaAT/ - Term Rewriting and All That: A book on term rewriting (with universal algebra, unification, etc)

See also "Universal algebra" and "Equational logic" on the foldoc

http://www.aslonline.org/ - Association for symbolic logic; Publishes the "Journal of Symbolic Logic"

http://www-2.cs.cmu.edu/~fp/courses/logic/ - Constructive Logic Course

http://www.mcs.vuw.ac.nz/~rob - Goldblatt homepage

http://www.cc.utah.edu/~nahaj/logic/ - A classification of several modal logics

http://www.mlbook.org/ - The site of Blackburn, de Rijke and Venema's "Modal Logic" book. A modern persepective on modal logic, exposed with great clarity, this book is a must, both for the beginner and for the advanced reader. The site has lost much of its interest when the book went into print, as its main chapters are no more downloadable.

See also the Stanford Encyclopedia of Philosophy under "modal logic".

http://www.phil.mq.edu.au/isl/ - The site of Restall's book "An Introduction to Substructural Logic". Almost nothing to download, alas

http://www.phil.mq.edu.au/staff/grestall/index.html - Greg Restall homepage, with links and some stuff

http://iml.univ-mrs.fr/~lafont/ - Yves Lafont homepage

http://iml.univ-mrs.fr/~lafont/linear/ - Some stuff from Yves Lafont; This page is not reachable from his homepage

http://iml.univ-mrs.fr/LINEAR/ - Linear Logic in Computer Science is a project of the EU Training and Mobility for Researchers initiative

See also Wadler's homepage, you will find some stuff and his tutorial "A taste of linear logic"

TBD; see also the Stanford Encyclopedia of Philosophy

http://logica.rug.ac.be/WoPaLo/ - Workshop on Paraconsistent Logic. Not much, but there are some links to other events

See the "Paraconsistent logic" entry at the Stanford Encyclopedia of Philosophy.

http://www.di.ens.fr/users/longo/ - Giuseppe Longo homepage. With downloadable publications, particularly the book "Categories, types and structures: An introduction to category theory for the working computer scientist"

http://www.cs.umaine.edu/~chaitin/ - Gregory Chaitin invented Algorithmic Information Theory, gived a definition of randomness basing on Gödel theorem, and more. Papers available, notably the whole books "The Unknowable" and "The limits of mathematics"

http://www.earlham.edu/~peters/hometoc.htm - The homepage of Peter Suber, professor at Earlham. Many notes for his courses of logic and philosophy. See under "Courses", particularly the courses on Logical Systems (with a BIG bibliography on nonstandard logics and a remark on Lowenheim-Skolem theorem), Symbolic Logic, Metaphilosophy

http://le.cs.unibo.it/~asperti/ - Andrea Asperti, works on several topics in theoretical computer science

http://axiom.anu.edu.au/~okeefe/ - Greg O'Keefe is a PhD student working on philosophy, mathematics and programming languages (on his ancient site there wase, if I remember well, more stuff and a programming language he wrote, now only few papers)

http://www.elsevier.nl/ - Elsevier; Online library available, but you must pay for access. Useful anyways for abstracts of LNCS

http://www.elsevier.com/gej-ng/31/29/23/show/Products/notes/index.htt - Electronic Notes in Theoretical Computer Science. A series from Elsevier which is freely downloadable

http://www.edpsciences.com/docinfos/ITA/ - Theoretical Informatics and Applications, a journal

http://www.jetcafe.org/~jim/ - A lambda calculus tutorial, A paper on how to do low and high level (exceptions...) things in C

http://www.cs.utah.edu/classes/cs5520/ - A university course on languages, with a good lambda calculus tutorial

http://www.diku.dk/topps/activities/pgmtrans/ - a course on advanced program transformations. Big bibliography, many downloadable papers

http://recoder.sourceforge.net/ - Recoder is a metaprogramming tool for Java

See also Tarmo Uustalu below in "People".

http://theory.stanford.edu/people/jcm/ - John Mitchell Home Page

http://www.cs.man.ac.uk/~petera/Types_course/types_resources.html - Some resources for the Types course, MT4592-MT5592

http://www.cs.kun.nl/~bart/LOOP/ - The LOOP project: Formal methods for object-oriented systems. A rich bibliography on coalgebras, see under subprojects/theory of coalgebras

http://www.cwi.nl/~kurz/cml-esslli01.html - A course on coalgebras and modal logic at ESSLLI 2001 (with some equational logic)

http://www.cwi.nl/~janr/ - Jan Rutten is a researcher on coalgebras. Papers and links

http://www.iti.cs.tu-bs.de/~coalgebras/ - The algebraic and coalgebraic methods for computer science mailing list

http://www.cs.auckland.ac.nz/CDMTCS/chaitin/inv.html - Talk and course on algorithmic information theory, from Chaitin. Great!

http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/ - Homepage of Samson Abramsky. Many interesting articles on game-theoretic semantics, realizability via Curry-Howard isomorphism, interaction and GOI for distributed programming and quantum computing. Look at the course on game-theoretic semantics: There is a lot of interesting material, also very (VERY!) understandable slides on category theory!

http://www.cs.kun.nl/~henk/ - Home page for Henk Barendregt. In his "lambda calculus" section you can find the very good "Introduction to Lambda Calculus" and "Lambda Calculi with Types" papers. OK for a comprehensive view, I used the first to teach myself lambda calculus, the second has "holes" (missing paragraphs) in it

http://www.luca.demon.co.uk/ - Home page for Luca Cardelli. A lot of things on language theory and distributed computing theory

http://syyk11.is.noda.sut.ac.jp/~shinya/index_e.html - Shinya Sato's homepage; language and compiler researcher, Linear Chemical Abstract Machine stuff

http://www.cs.ioc.ee/~tarmo/ - Tarmo Uustalu works on type theory and language theory, but also on knowledge representation and reasoning, modal logic, philosophy of language and theory of knowledge. With papers and link to resources

http://www.cl.cam.ac.uk/users/rm135/ - Robin Milner's minimalistic page. Pointers to documents mainly on π-calculus, Action calculi and control structures, do not expect stuff on ML or on the Hindley-Milner type system

http://www.disi.unige.it/person/MoggiE/ - Eugenio Moggi works on categorical semantics for programming languages. He first envisioned the use of monads in functional languages to express interaction with impure (non-lazy) constructs. Many papers on monads, metaprogramming and formal semantics

http://www.cs.kun.nl/~bart/ - Bart Jacobs works (see LOOP project above) on formal methods for secure oo programming languages. He made research on coalgebras and types

http://www.dcs.ed.ac.uk/home/gdp/ - Plotkin's homepage. Only papers (also available its fundamental paper on structural operational semantics)

http://fpl.cs.depaul.edu/ajeffrey/ - Alan Jeffrey works on foundations of programming languages and process calculi

*Updated: 2004-01-22 21:04 UTC*