LICS 2000
LICS 2000
LICS 2000 will be held in Santa Barbara, California, June 26-28, 2000.
Call for Papers
(
ps
)
Registration and Conference Information
Invited Talks
Conference Brochure
(contains
Final Program
)
Abstracts of Short Presentations
Workshops
The
International Static Analysis Symposium (SAS2000)
will also take place in Santa Barbara, immediately following LICS, from June 29 to July 1.
Back to the
LICS web page
.
Martin Grohe
Last modified: April 21, 2000
