| INFO0006-1 | | Introduction to theoretical computer science | | Substitute |
 |
| INFO0009-1 | | Introduction to Data Bases | | Holder |
 |
| INFO0009-2 | | Introduction to Data Bases (partim) | | Holder |
 |
| INFO0012-1 | | Computation Structures | | Holder |
 |
| INFO0016-1 | | Introduction to the theory of computation | | Holder |
 |
| INFO0039-2 | | Object-Oriented Programming Project, I | | Holder |
 |
| INFO0060-1 | | Concurrent System Verification and Temporal Logic | | Holder |
 |