Free University of Bozen-Bolzano

Course Offering - European Master in Computational Logic (EMCL)

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

Principles of Data Management (EMCL-A-PDM)

12 CP · 74015 · INF/01

Seminars in Data Semantics

4 CP · 74015B · INF/01

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