Course Schedule - Fall Semester 2019

     

COMP 611 002 (CRN: 14277)

PROGRAMMING & FORMAL METHODS

Long Title: TOPICS IN PROGRAMMING LANGUAGES AND FORMAL METHODS
Department: Computer Science
Instructor: Mamouras, Konstantinos
Meeting: 2:30PM - 4:00PM R DCH Sym II Lab (26-AUG-2019 - 6-DEC-2019) 
Session: 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: 30
Section Enrolled: 9
Enrollment data as of: 16-OCT-2021 3:55PM
 
Additional Fees: None
 
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.