# 184.731 Coalgebra in Computer Science This course is in all assigned curricula part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_21",{id:"j_id_21",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_23",{id:"j_id_23",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2012S

2012S, VU, 2.0h, 3.0EC

## Properties

• Semester hours: 2.0
• Credits: 3.0
• Type: VU Lecture and Exercise

## Aim of course

The goal is to get acquainted with the theory of coalgebra and its use
in computer science. Also, along the way, the students will get to
know some category theory notions that are needed for basic
constructions and results in coalgebra. The course is meant for
computer science students (possibly also some mathematics students)
interested in computer science theory. If you are a student interested
in formal methods, concurrency theory, and/or automata, and/or you
always wondered what is category theory good for, then this may be the
right course for you.

## Subject of course

The theory of coalgebra is a relatively recent (20 years old) unifying
theory at the abstract end of formal methods. It is a (one could say
"the") theory of dynamic systems, of states and observations.
Coalgebras allow for a uniform treatment of many different types of
automata (e.g. deterministic, nondeterministic, probabilistic, and
weighted), their behavior, and their corresponding modal logics. These
topics will be covered within the course.

ECTS-Breakdown:
--------------------------
30 hours: lectures
23 hours: exercises
23 hours: preparation for examination
2 hours: examination
--------------------------
75 hours: total
--------------------------

```Literature and up-to-date information
```http://cs.uni-salzburg.at/~anas/teaching/Coalgebra/
```

## Lecturers

• Sokolova, Ana

## Course dates

DayTimeDateLocationDescription
Thu14:00 - 16:0008.03.2012Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu14:00 - 16:0015.03.2012Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu14:30 - 17:0022.03.2012Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu14:30 - 16:0019.04.2012Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu14:00 - 16:0026.04.2012Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu14:00 - 16:0003.05.2012Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu14:00 - 16:0010.05.2012Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu14:00 - 16:0024.05.2012Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu14:00 - 16:0031.05.2012Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu14:00 - 16:0014.06.2012Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu12:00 - 13:3021.06.2012Sem.R. DA grün 03 C Lecture
Thu14:00 - 16:0021.06.2012Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu14:00 - 16:0028.06.2012Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Tue14:00 - 16:0017.07.2012Seminarraum FAV EG C (Seminarraum Gödel) Q&A
Thu14:00 - 16:0019.07.2012Seminarraum FAV EG C (Seminarraum Gödel) Exam

## Examination modalities

The evaluation will depend on presented papers and the examination at the end of term.

## Course registration

Begin End Deregistration end
02.03.2012 00:00 05.05.2012 23:59 22.03.2012 23:59

## Curricula

Study CodeObligationSemesterPrecon.Info
066 931 Computational Intelligence Mandatory elective

## Literature

No lecture notes are available.

English