CSE280L: Seminar on Logic in Computer Science

Covers advanced research topics from the recent literature in the uses of logic in computer science with particular emphasis on the applications of logic to the representation and the management of data. Involves presentations from UCSC students and faculty, and guest talks from researchers in other academic institutions or industrial research labs. Enrollment is by permission of the instructor and is restricted to graduate students.

2 Credits


Formerly CMPS 280L

While the information on this web site is usually the most up to date, in the event of a discrepancy please contact your adviser to confirm which information is correct.