CMPS280L: Seminar on Logic in Computer Science

*****COURSES ARE SUBJECT TO CHANGE*****

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. Prerequisite(s): CMPS 201. Enrollment by permission of instructor, and limited to graduate students.

2 Credits

YearFallWinterSpringSummer
2017-18

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.