Skip to content

Free University of Bozen-Bolzano

Course Offering - European Master in Computational Logic (EMCL)

On this page we show the lectures that are currently offered in the two semesters. It does not illustrate the structure of the study programme.

Target: Single subject and exchange students

Academic Year

Courses

Semester 1

Presentation and Communication Skills (I) (EMCL-PCS)

4 CP · 74005

Language course (Italian)

2 CP · 74005A · L-FIL-LET/12

Research Methods

2 CP · 74005B · M-FIL/02 · EN

Barbara Russo

Semester 1

Logic and Constraint Programming (EMCL-B-LCP)

9 CP · 74001 · MAT/01

Semester 1

Foundations (EMCL-B-F)

9 CP · 74000 · MAT/01

Semester 1

Semantic Technologies (EMCL-A-ST)

12 CP · 74016 · INF/01

Semester 1

Project (EMCL-P)

16 CP · 74004 · INF/01

Semester 1

Presentation and Communication Skills (G) (EMCL-PCS)

4 CP · 74020

Language course (German)

2 CP · 74020A · L-LIN/14

Research Methods

2 CP · 74020B · M-FIL/02 · EN

Barbara Russo

Semester 2

Integrated Logic Systems (EMCL-B-ILS)

8 CP · 74003 · INF/01 · EN

Sergio Tessaris

Semester 2

Ontology and Database Systems (EMCL-A-ODS)

12 CP · 74012

Semester 2

Advanced Logic (EMCL-B-AL)

8 CP · 74002 · INF/01 · EN

Rafael Penaloza Nyssen

Optional

Semester 1

Principles of Computation (EMCL-A-PC)

12 CP · 74017 · ING-INF/05

Theory of Computing

8 CP · 74017A · ING-INF/05 · EN

Diego Calvanese

Research Project in Foundations of Knowledge Representation Languages

4 CP · 74017B · ING-INF/05

Feedback / Request info