Course Schedule and Catalog
Course Schedule - Fall Semester 2018
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
COMP 611 001 (CRN: 14507)
PROGRAMMING & FORMAL METHODS
Long Title: TOPICS IN PROGRAMMING LANGUAGES AND FORMAL METHODS
Department: Computer Science
Instructor: Mamouras, Konstantinos
Meeting: 3:55PM - 5:25PM W (20-AUG-2018 - 30-NOV-2018)
Part of Term: Full Term
Grade Mode: Satisfactory/Unsatisfactory
Course Type: Seminar
Language of Instruction: Taught in English
Method of Instruction: Face to Face
Credit Hours: 1 TO 3
Course Syllabus:
Course Materials: Rice Campus Store
Restrictions:
Must be enrolled in one of the following Level(s):
Graduate
Section Max Enrollment: 0 (permission required)
Section Enrolled: 6
Enrollment data as of: 23-APR-2024 4:54AM
Final Exam: GR Course-Dept Schedules Exam
Description: This course will cover a selection of topics from the areas of programming languages and formal methods. all students will read classical and recent papers on the selected topics and give presentations on them. A student may elect to perform a semester-long project on a topics related to the content of the course and write a short report on their findings. Repeatable for Credit.