Fall 2023, 80617: Below is information about CMU Fall 2023 course 80617: Formal Methods: Causation. The course number is 80617 or 80-617. The course Formal Methods: Causation(80617) in Fall 2023 has 6.0 unit. The professor Spirtes is teaching the course Formal Methods: Causation(80617) in Fall 2023. The professor/instructor of Formal Methods: Causation(80617) in Fall 2023 is Spirtes. The department of Formal Methods: Causation(80617) is Philosophy. The location of Formal Methods: Causation(80617) is Pittsburgh, Pennsylvania. The room of Formal Methods: Causation(80617) is BH 145C. The course happens in TR, from 09:30AM to 10:50AM in Fall 2023.
