Jakov Kucan's Bookmarks

Bookmarks@theory.lcs.mit.edu
Link to my bookmarks @ theory.lcs.mit.edu. Quite unorganized and outdated.
Useful Links
...well, sort of...
AltaVista

Aviation

1997 World Gliding Championship
St. Auban, France, June 29-July 12, 1997
EAA - The Sport Aviation Association
EAA Oshkosh Fly-In
FAA Written Exams
Preliminary version of a Java applet to practice for FAA written exams. (Still under development.)
Federal Aviation Administration (FAA)
Fédération Aéronautique Internationale (FAI)
Landings
All sorts of aviation related information and sites.
MITSA
M.I.T. Soaring Association (not affiliated with M.I.T.)
World Air Games
The first World Air Games. 13-21 September 1997 in Turkey.

Conferences

Programming Language and Compiler Conferences
A list of all major conferences related to programming languages and compilers. Provided by Mark Leone.
LICS 98
POPL 98
POPL 97
CSCW 96

CS & Math departments, etc.

Boston area

Computer science and math departments at Boston area universities and colleges.

Colleges & Universities Eastern Mass
Boston College, Math
Boston University, CS
Brandeis University, CS
Clark University, Math & CS
... in Worcester, MA
Harvard University, DEAS
Division of Engineering and Applied Sciences at Harvard University
Harvard University, Math
MIT, Theory of Computation
Northeastern University, CS
Stonehill College, Math & CS
Suffolk U., Math & CS
Tufts, EECS
U. of Massachusetts, Boston, Math & CS
Wellesley College, CS
Wentworth Institute of Technolgy
... in Boston, MA

École Polytechnique, CS
LMU, Informatik, TCS
Nova Southeastern U., CS
... in Ft. Lauderdale, FL
Oxford University
Rice University, CS
U. of Arhus, CS
U. of Bridgeport (Conn.)
U. of Cambridge, Computer Lab
U. of Edinburgh, CS
U. of Glasgow, CS
U. of Melbourne, CS
U. of Pennsylvania, CIS
U. of Zagreb, Applied Math
...at the Faculty of Electrical Engineering and Computing
U. of Zagreb, Faculty of Mathematics
AT&T Labs Research
Bell Laboratories
Digital Corporate Research
IBM T. J. Watson Research Center
Microsoft Research
ACM
Association of Computing Machinery
SIAM

Jobs

Job searching resources.

Employment Opportunities and Resume Postings
itCareers
OTEC.COM
OTEC.COM is the New York Tri-State's and Silicon Valley's premiere staffing solutions firm.
Professional Opportunities from SIAM News
RBL Agency Ltd.
A head hunting agency.
SelectJOBS

Libraries and Journals

Brandeis Libraries Catalog
Hypatia
LMS Journal of Computation and Mathematics

Linear Logic Resources

Bibliography on Linear Logic (CMU)
John Maraist's Linear Logic Work Archive
SRI-CSL-LL: Linear Logic

News

ABC News
The Boston Globe
CNN
Hrvatska Radiotelevizija
Croatian Radio and Television (includes live broadcast using ReadAudio/RealVideo)
The New York Times
RFE/RL NewsLine
The Washington Post

Personal Homepages

...mostly of people with interest in Logic and Theoretical Computer Science

Andrea Asperti
Andrea Asperti (papers)
Michael Barr
G.M. Bierman
Olivier Danvy
Andrzej Filinski
Stefano Guerrini
Alessio Guglielmi
Ian Mackie
Harry Mairson
David McAllester
Jens Palsberg
Christian Retoré
Jon G. Riecke
Helmut Schwichtenberg
R.A.G. Seely

Software etc.

Fonts

Directory of /pub/fonts
Free TrueType fonts for the Web
ISO 8859-2 (Latin 2) Resources
ISO 8859-2 Character Set
ISO 8859-2 Support Page

Mac

Adobe Systems Incorporated
Apple: Performa Technical Support Online
Mac OS at MIT
MacAmp -- MPEG3 for the Macintosh
MacFixIt
All sorts of troubleshooting solution for Macs.
Metrowerks WorldWide
Microsoft Word 97-98 Import Converter
The MP3 Audio Consortium
Progressive Networks, The Home of RealAudio & RealVideo
Rockstar Studios Inc.
Makers of FreePPP.
The DrScheme
Graphical environment for developing Scheme programs from Rice University

Java

AppleJava
JavaSoft

Bison 1.25 - Table of Contents
Catalog of compilers: Bison++ and Flex++
Flex - a scanner generator - Table of Contents
GCC4MS free C++ compiler - gcc for MS-DOS - gcc for Windows NT
Ghostscript, Ghostview and GSview
GNU's Not Unix! - the GNU Project and the Free Software Foundation (FSF)
GNU Documentation
Simtel.Net - Keith Petersen's Worldwide Shareware Distribution Network

Travel, airline tickets, etc.

Travel guides, airline reservations systems, etc.

City.Net Travel
City.Net Reservations
Great Outdoor Recreation Pages
Great Outdoor Recreation Pages - National Parks, Forests, Wilderness, Wildlife, Hiking, Biking, Fishing, Climbing, Paddling, Gear, Books, Adventure Travel Tours & Outfitters and More
Hickory Hawks Ski Club - Ski Links
The Insiders' Guides (r)
MBTA Schedules - Commuter Rail
SBB CFF FFS Timetable
Timetable for European trains
Travel Information Software Systems
Travelocity
Air, car, and hotel reservations online.
TravLang
Travel and Language related resources.

U.S. Government

Critical Technologies Institute
Department of Justice
Library of Congress
INS
Immigration and Naturalization Service
IRS
Internal Revenue Service
United States Information Agency
U.S. Department of State
US State Department Consular Affairs

misc.

The GLIN Welcoming Page
Small Business Innovation Research Program Instruction Guide
SBA: The SBA ACT -- File 1 of 13
SBA: Small Business Administration Home Page
SBA: Small Business Administration Home Page
SBA: Small Business Act of 1958 and PL 104-208, Approved 9/30/96

Weather

TAFs

Terminal Aerodrome Forecasts

KBOS
KORH

METARs

Observations

KBED
KBOS
KORH

Aviation Digital Data Service
Aviation Weather Abbreviations
Aviation Weather Center
Aviation weather products from NOAA and National Centers for Environmental Prediction. Includes AIRMETs, SIGMETs, TAFs, METARs, Winds Aloft, Area Forecasts, etc.
Boston NWS Aviation Products
Cambridge, MA, local forecast
Local forecast for Cambridge, MA from the National Weather Service Boston. Includes now and extended forcasts.
El Nino
Information related to the El Nino Southern Oscillation phenomenon.
NWS Forecast Office, Boston, MA
The Weather Channel

Other

...in other words, not classified (yet).

Electronics info page
Radio Electronics Pages
HwB: The Hardware Book
The Rolling Stones - World Tour Site
The Af2 Proof Assistant
Beer Is My Life!
Currency Converter
OANDA Currency Converter and Financial Forecasts
European IQ-Test
Kelley Blue Book
New/used car values in the US.
Massachusetts Lottery
The MITRE Corporation
Office of Int'l Programs at U. Penn
Quantum Information
Tokyo Food Page Recipes

http://www.ito.darpa.mil/Solicitations/PIP_9810.html
http://www.ito.darpa.mil/Solicitations/RFI_9801.html
Above All Aviation
Pacific Aviation International
L Carl Pedersen: Loan Payment Derivation Math