Your search criteria narrowed your results to Computer Science. Below is some additional contact information which may be useful.
Computer Science
College of Liberal Arts and Sciences
Chair | Alberto M. Segre |
---|---|
Location | 14 MLH (MacLean Hall) |
Phone | 319-335-0713 |
cs-registration@uiowa.edu | |
Registration Email | cs-registration@uiowa.edu |
Website | https://cs.uiowa.edu/ |
General Catalog | https://catalog.registrar.uiowa.edu/liberal-arts-sciences/computer-science/ |
2 courses found, displaying all courses.
Course # | Title | Hours | Notes | Enrollments |
---|---|---|---|---|
CS:5810:0001 |
Course Title is
Formal Methods in Software Engineering
Prerequisites:
ECE:3330 or CS:2820
Instructors:
Cesare Tinelli
(Primary Instructor)
|
3 s.h.
|
Registration Information:
Undergraduate students who wish to enroll in grad-level courses must contact the course instructor for permission.
This course is reserved for undergraduate and graduate Computer Science and undergraduate Computer Science & Engineering majors through the end of Early Registration; declared students in these programs will be able to enroll/join the waitlist at their registration time. If you are not a declared student in one of these programs, you will be asked to join the waitlist if there are no unreserved seats available. Students in the above programs will receive priority on the waitlist.
more
|
Open
15
of 30 enrolled
|
CS:5810:0EXW |
Course Title is
Formal Methods in Software Engineering
Prerequisites:
ECE:3330 or CS:2820
Start and end times:
11:00A - 12:15P
TTh
Online
Instructors:
Cesare Tinelli
(Primary Instructor)
|
3 s.h.
|
Restricted for all students.
Registration Information:
This online section of the course is intended for Grinnell College students in the joint UI/Grinnell Master's Program. University of Iowa students must enroll in section 0001.
more
DOE Distance Course (EX*)
|
Open
4
of 5 enrolled
|
2 courses found, displaying all courses.