Click at to back

Phila Forecast 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
  • Franklin
  • TCS Address Book | Yahoo! Computer Science
    | 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:

    __________________________________________________

    Max Kanovich ( maxkanov@math.upenn.edu )