For the second, you need to either contact a local hotel (see local arrangements information for registrants) or send a check and registration form in the pedestrian mail to Boston University. If you need to wire money to pay for on-campus housing, you should contact the conference administrator, Cynthia Brossman.

• FINAL PROGRAM .ps .ps.gz .pdf

• IEEE conference and workshop registration site

• Conference registration form for those who do not want to register electronically (to be mailed or faxed to IEEE) .doc .pdf

• Local arrangements information for registrants
  • On-campus room and parking registration form (.pdf) Don't use this if you are staying in a hotel, and don't have a car to park.

  • University regulations regarding on-campus housing

  • 10 Buick Street: description of on-campus accomodations and more on 10 Buick Street

  • Getting to Boston University

  • Campus map Note that the School of Management is Building 34 on the map; the 10 Buick Street campus dormitory is not labelled (it's newer than the map!), but is at the corner of Buick Street and Commonwealth Avenue.

• Invited Talks

• Workshops
  • Full Abstraction and Full Completeness

  • Logic and Learning

  • Albert Meyer Symposium

  • Theory and Applications of Satisfiability Testing

• Link to the main LICS web site

• LICS 2001 call for papers, electronic paper submission, invited talks, workshops