Kees Goossens's Meta List

Warning: this list has not been updated for donkey's years

Index

• Daily Links
• Newspapers, Radio and TV, Teletext
• Work
• FTP Repositories and Bibliographies
• WWW Meta Sites
• Other people's hotlists
• About WWW
• Fun
• Mountaineering
• Dutch Universities etc
• Mailing Lists, Standards
• Other
• ShowOff

Daily Links

• NatLab Home Page
• Filmtheater Louis
• Last InterNetKrant and Penultimate InterNetKrant
• Foreign Exchange Rates: Dutch Guilder

Back to index.

Newspapers, Radio and TV, Teletext

• Electronic Telegraph
• Spoken News of HitRadio (Dutch)
• Primeur actueel (Dutch)
• The Nando Times World Report (or directly to Nando World Briefs (big))
• L'UNIONE SARDA. Copertina
• First pages of Italian newspapers
• InterNetKrant Home Page
• The Vogon News Service
• Search the Guardian OnLine Archives
• The BBC Home Page
• BBC World Service Radio Transmissions
• Radio Nederland Wereldomroep
• Voice Of America gopher (or directly to News transcripts)
• Campus Newspapers on the InterNet
• VPRO Homepage (I like this one)
• Italian Televideo
• GNN Home
• The daily news -- just the links
• The Human-Languages Page [US]
• The Human-Languages Page [UK mirror]
• Het ANP (Algemeen Nederlands Persbureau) binnenland, buitenland, en sport
• Kranten en tijdschriften in Nederland
• The Economist
• Electronic Newsstand Homepage

Back to index.

Work

• Complete Semantics of Real Programming languages
• Almost Complete Semantics of Real Programming languages
• Asynchronous Bibliography
• SDL Homepage
• The World-Wide Web Virtual Library: Formal Methods
• Theorem Prover Database (Info)
• HOL Homepage List
• Introduction to the HOL Theorem Proving System
• Isabelle
• Cornell Nuprl Automated Reasoning Project
• The LeanTaP Home Page
• Logical frameworks
• Theorem Prover 3TAP
• IMPS
• The EuroFORM Project
• Formal Aspects of Computing
• Logics and Meanings of Programs
• Logical Frameworks
• Programming Language Research
• Compilers & Interpreters Archive
• CMU CS Venari Project Home Page
• ESSI Project ConForm: Home Page
• The EuroFORM Project
• Forthcoming Events Related to Formal Methods
• MathWorks Home Page
• Mechanized deduction in the German-speaking region
• New Results with ANL's ATP software
• Experiences Formally Verifying the Fairisle Switching Elements
• Philips (internal)
• Philips (external)
• Digital Systems Research Center Home Page
• DSP UK '95
• VLSI Design home page for UCD DSP Research Group
• Other DSP related Places
• DSP Research Group, UCD
• DSP Research Sites
• Signal Processing
• comp.lsi FAQ
• Rice University Digital Signal Processing
• DSP Internet Resource List
• The Fraunhofer-IAO Conference Announcement Archive
• Conference Announcements - Journals and Books
• Conference Announcements - Signal Processing
• Conference Announcements - Simulation
• Conference Announcements - Computer Architecture
• Conference Announcements - Formal Languages
• Conference Announcements - Image Processing
• Conference Announcements - Programming Languages
• Mathematics in the Netherlands
BOOK: Introduction to Signal Processing

Back to index.

FTP Repositories and Bibliographies

• Network Bibliography
• Computer Science Bibliography Glimpse Server
• A Collection of Computer Science Bibliographies
• University of Manchester Computer Science publications
• Computer Science Department, University of Manchester W3 Server
• Cornell CS Technical Reports
• Bibliography on Logical Frameworks
• UCSTRI -- Cover Page
• C++_FAQs
• Focused topics: Languages
• Programming Language Research
• Kluwer Academic Publishers
• Computer Science Technical Reports Archive Sites

Back to index.

WWW Meta-Sites

• World Wide Web Starting Points
• Worldwide WWW Information
• WWWW - the WORLD WIDE WEB WORM
• Web of Wonder
• Web resource library
• Useful Resources for W3
• Australian WWW servers
• Nederlands/Vlaamse Home Page
• Publicly Accessible Mailing Lists
• Dutch Home Page
• European Home Page

Back to index.

Other people's hotlists

• Andrew Gordon's Web Monitor
• Clc's hotlist
• Pinj's Hotlist
• Rosina Bignall's Home Page
• Gerben's Home Page
• A sample of WWW services
• Don Sannella's list of interesting WWW pages
• VPRO's Dynamic Hotlist
• Bryant's home

Back to index.

About WWW

• The World Wide Web Initiative: The Project
• Uniform Resource Locators: BNF
• Universal Resource Identifiers: Schemes used in the web
• Universal Resource Locators: ftp scheme
• Tools for WWW providers
• ISO Latin 1 Entities in HTML
• The Common Gateway Interface
• HTML Quick Reference (05/25/94)
• Mosaic for X version 2.0 Fill-Out Form Support
• NCSA Mosaic for X Documentation
• A Beginner's Guide to HTML
• PERL -- Practical Extraction and Report Language
• CGI Form Handling in Perl
• IMAGES, ICONS AND FLAGS
• Standard Icons/Symbols

Back to index.

Fun

• Useless WWW Pages
• Femmes femmes femmes je vous aime !...
• The Bastard Operator from Hell - Executive Relief Repost
• Hot AIR: rare and well done tidbits from the Annals of Improbable Research
• A Man's Best Friend
• The Rules behind the Dutch License Plates
• See if we give a shit
• UPS and Mains Statistics

Back to index.

Mountaineering

• UK Climbing
• Rock Climbing In Europe
• Net Climbing Sites
• The Web.Climber's Clubhouse
• Backcountry Home Page : hiking camping backpacking trekking
• Tuan's Mountaineering Page
• Big Wall Climbing Home Page
• The climbing dictionary
• Arctic Adventours, Inc.
• Weather Gifs
• Scottish Avalanche Information Service
• Scottish Mountaineering Club Guidebooks Index Page
• Opland's climbers directory
• Neoliet Eindhoven
• Dutch Climbing Home Page
• Rock + Run Home Page
• Scottish Climbing Homepage
• Il Monte Analogo
• http://welcomehome.org/backcountry/fuel.names.txt

Back to index.

Dutch Universities

• Universiteit van Twente, Informatica
• Leiden Universiteit
• RUG (Rijks Universiteit Groningen)
• VU (Vrije Universiteit Amsterdam)
• TNO Main Menu
• Universiteit Utrecht
• Universiteit Utrecht: Personnel Directory
• RUG's University List
• Welcome to the KNMI WWW pages
• TUE (Technische Universiteit Eindhoven)
• Haagse Hogeschool
• EUR (Erasmus Universiteit Rotterdam)
• Name- and address books in the Netherlands
• HCM project DeStijl
• UVA (Universiteit van Amsterdam) Faculteit van Wiskunde en Informatica

Back to index.

Mailing Lists, Standards

• The InterNIC InfoGuide Home Page
• InterNIC Directory and Database Services
• Majordomo Frequently Asked Questions (FAQ)
• The Perl Programming Language
• Perl RSA
• FTP ds.internic.net/
• rfc1118 (hitchhiker's guide to the internet)
• List of USENET FAQs

Back to index.

Other

• TNO January 1995
• Remote file ftp.uu.net/networking/news/readers/trn
• Remote file rtfm.mit.edu/pub/usenet-by-group
• Parlement
• Network News Transport Protocol
• NASA Ames Research Center Home Page
• CyberDyne CS Limited
• C.S. Department at Rome University
• Association for Computing Machinery (August 13 1994)
• atomic physics
• UK Guide
• Our UK Sensitive Map
• I'M - EUROPE Home Page
• Italy
• European Home Page
• History of Science mailing list FTP site
• Le WebLouvre
• Commercial Services on the Net
• trib.com Home Page
• Exchange Rates (Relative to Lire)
• Ames Research Center K-12 Home Page
• Welcome to AllThings Incorporated
• Webster's English Dictionary
• American English Dictionary
• Roget's Thesaurus
• Thesaurus
• Computing Jargon
• Dictionary of Computing
• SARDINIEN. SPRACHE UND KULTUR
• Shopping in the Netherlands
• Access statistics
• Noteworthy Music Main Menu
• Philips Information
• Computing Dictionary
• Welkom in de Digitale Stad Eindhoven
• Internet Access Eindhoven infosheet
• KnoT Foundation Homepage
• Home of The Netherlands
• Java Home Page
• The Dominion - Max Headroom
• The On-line Books Page
• The Tech Classics Archive
• Recreatie-Agenda Nederland
• DejaNews Research Service - homepage
• The World Factbook 1995
• Ethnologue Database
• City.Net

Back to index.