Click at
to back
Stay on top of the events that shape your world!
Penn Events
|
2-yr Academic Cal
: 99-01 |
Roster
+
Time
travel
.yahoo |
SEPTA
|
Travel Epicurious
|
Maps-y
|
Maps-x
|
MapBlast
yahoo
FedEx
AltaVista
Excite
Google
Infoseek
Lycos
WebCrawle
Yahoo!
Yahoo! Ca
Engines
ABC
CBS
CNN
Canada
BBC
DW
RFE/RL
Asahi
Philly On-Line
Almanac
Gazette
Eyewitness
Phila Weekly
City Paper
New York Times
Wall Street J.
Financial Times
Major Currencies
Economist
Washington Post
USA Today
Boston Globe
Pathfinder
News
Canada
Ottawa
Montreal
France
Paris
Russia
Moscow 1
Moscow 2
USA
Phila 1
Phila 2
Phila 3
New Jersey
NYC 1
NYC 2
NE USA
SE USA
S.Francisco
Palo Alto
wunderground
weather.com
Forecasts
Franklin
Libraries
Penn Library
Hypatia
Journals
CS Journals
Mx-Plnck: Authors
Mx-Plnck: Journals
Mx-Plnck: Proc.
ACM
AMS
LNCS
APAL
Annals Math and AI
Dictionaries
Britannica
Oxford
LDC Spoken
Russian
Swedish
French
TCS Address Book
| Yahoo!
Computer Science
TeX
Help
HTML
Manuals
| philly.com
Yellow Pages
|
Movies
|
Amazon
Logic-Related Conferences
:
LICS
: Fifteenth Annual IEEE Symposium on LICS
June 26-29, 2000, Santa Barbara, California
CAV 2000
. 15-19 July 2000, Chicago
CSL
: Annual Conference of the Euro Association for Computer Science Logic
August 21-26, 2000 Fischbachau/Munich, Germany,
MFPS
: Mathematical Foundations of Programming Semantics
ECAI
: 14th Euro Conference on AI
August 20th-25th 2000 Berlin, Humboldt University
Advances in Modal Logic - Int'l Conference on Temporal Logic
October 4-7, 2000, University of Leipzig
CL2000
: First Int'l Conference on Computational Logic,
24th-28th July 2000, Imperial College, London,
CONCUR
: 11th Int'l Conference on Concurrency Theory
August 22-25, 2000, Penn State University, PA
MFCS
: August 28 - September 1, 2000, Bratislava
Books:
Tannenbaum and Arnold:
Excursions in Modern Mathematics
John Savage: Models Of Computation:
Exploring the Power and Limits of Computing
F.Nielson & H.R.Nielson & C.Hankin:
Principles of Program Analysis
__________________________________________________
Max Kanovich
(
maxkanov@math.upenn.edu
)