Free University of Bozen - Bolzano

Technische Universität Dresden

Universidade Nova de Lisboa

Vienna University of Technology

NICTA

European Master's Program in Computational Logic

EMCL Course Assignments to Modules in Past Semesters

Winter Semester 2011/2012

EMCL-B-AL Advanced Logic at FUB
Course Title	Lecturer
Formal Methods	NN
Non-classical Logic	NN

EMCL-B-ILS Integrated Logic Systems at FUB
Course Title	Lecturer
Computational Logic	NN

EMCL-A-CSE Computer Science Engineering at FUB
Course Title	Lecturer
Advanced Internet Technologies	NN
Seminars in Human-Computer Interaction	NN

EMCL-A-PC Principles of Computation at FUB
Course Title	Lecturer
Advanced Algorithms	NN
Theory of Computing	NN

EMCL-A-PDM Principles of Data Management at FUB
Course Title	Lecturer
Digital Libraries	NN
Seminar in Databases	NN
XML Data Management	NN

EMCL-A-ST Semantic Technologies at FUB
Course Title	Lecturer
Computational Linguistics	NN
Semantic Web Technologies	NN

EMCL-PCS Presentation and Communication Skills at FUB
Course Title	Lecturer
Language Course	NN
Research Methods	NN

EMCL-B-F Foundations at TUD
Course Title	Lecturer
Logic	Prof. Hölldobler
Science of Computational Logic	Prof. Hölldobler

EMCL-B-LCP Logic and Constraint Programming at TUD
Course Title	Lecturer
Foundations of Constraint Programming	Prof. Bruscoli
Foundations of Logic Programming	Prof. Bruscoli
Logic Programming Engineering	Prof. Bruscoli

EMCL-A-CSE Computer Science Engineering at TUD
Course Title	Lecturer
Design Patterns and Frameworks	Prof. Assmann
Distributed Systems	Prof. Schill
Mobile Communication/Computation	Prof. Schill
Security & Cryptography I	Dr. Köpsell
Systems Engineering 1	Prof. Fetzer
Systems Engineering 2	Prof. Fetzer
Transactional Information Systems	Prof. Lehner

EMCL-A-KR Knowledge Representation at TUD
Course Title	Lecturer
Angewandte Systeme der KI (in German)	Dr. Petersohn
Fuzzy Description Logic	Dr. Rafael Peñaloza Nyssen
Interactive Theorem Proving	Dr. Posegga
Introduction to Automatic Structures	Dr. Turhan
Knowledge Representation and Reasoning	Prof. Hölldobler
Neural Symbolic Integration	Prof. Hölldobler

EMCL-A-MV Modeling and Verification at TUD
Course Title	Lecturer
Interactive Theorem Proving	Dr. Posegga
Lab Course Modeling and Automated Verification	Prof. Baier
Selected Topics in Logic and Complexity	Prof. Baier

EMCL-A-NLPA Natural Language Processing and Automata at TUD
Course Title	Lecturer
Natural Language Processing	Prof. Vogler
Verarbeitung natürlicher Sprache - Sprachmodelle (in German)	Prof. Vogler
Weighted Tree Automata	Prof. Vogler

EMCL-A-PI Principles of Inference at TUD
Course Title	Lecturer
Angewandte Systeme der KI (in German)	Dr. Petersohn
Interactive Theorem Proving	Dr. Posegga
Knowledge Representation and Reasoning	Prof. Hölldobler
Neural Symbolic Integration	Prof. Hölldobler
SAT-Solving	Prof. Hölldobler
Term Rewriting Systems	Prof. Baader
Theoretical Computer Science	Prof. Baader

EMCL-A-TCSL Theoretical Computer Science and Logic at TUD
Course Title	Lecturer
Fuzzy Description Logic	Dr. Rafael Peñaloza Nyssen
Introduction to Automatic Structures	Dr. Turhan
Term Rewriting Systems	Prof. Baader
Theoretical Computer Science	Prof. Baader

EMCL-P Project at TUD
Course Title	Lecturer
Project Group Computational Logic	Prof. Bruscoli
Project Group Knowledge Representation and Reasoning	Prof. Hölldobler
Project Group Machine Translation and Automata Theory	Prof. Vogler
Project Group Model Checking	Prof. Baier
Project Group Semantic Search	Prof. Schroeder
Project Group Theoretical Computer Science	Prof. Baader

EMCL-PCS Presentation and Communication Skills at TUD
Course Title	Lecturer
German Course	TUDIAS
Knowledge Representation and Reasoning	Prof. Hölldobler
Natural Language Processing	Prof. Vogler
Selected Topics in Logic and Complexity	Prof. Baier
Theoretical Computer Science	Prof. Baader

EMCL-A-CLIT Computational Logic for Information Technology at TUW
Course Title	Lecturer
Cryptography	Uwe Egly
Deductive Databases	Stefan Woltran
Machine Learning	Nysret Musliu et. al.
Modeling and Solving Constrained Optimization Problems	Luca Di Gaspero
Web Data Extraction and Integration	Robert Baumgartner

EMCL-A-KR Knowledge Representation at TUW
Course Title	Lecturer
Abstract Argumentation	Stefan Woltran
Deductive Databases	Stefan Woltran
Knowledge Management UE (exercise)	Jürgen Dorn
Knowledge Management VO	Jürgen Dorn
Machine Learning	Nysret Musliu et. al.
Nonmonotonic Reasoning	Hans Tompits
Seminar in Knowledge Representation and Reasoning	Uwe Egly et. al.
Theory of Knowledge Representation	Thomas Eiter

EMCL-A-LF Logical Foundations at TUW
Course Title	Lecturer
Advanced Mathematical Logic	Libor Behounek
Lambda Calculus	Mathias Baaz
Modal Logic and Epistemic Logic	Christian Fermüller
Non-classical Logics	Christian Fermüller
Nonmonotonic Reasoning	Hans Tompits
Proof Theory 1	Mathias Baaz
Seminar in Logic	Uwe Egly et. al.
Seminar in Logic	Alexander Leitsch
Seminar in Theoretical Computer Science	Uwe Egly et. al.
Seminar in Theoretical Computer Science	Reinhard Pichler
Theory of Knowledge Representation	Thomas Eiter

EMCL-A-MV Modeling and Verification at TUW
Course Title	Lecturer
Model Checking	Helmut Veith
Seminar Formal Methods	Helmut Veith

EMCL-A-PC Principles of Computation at TUW
Course Title	Lecturer
Artificial Intelligence Seminar	Uwe Egly et. al.
Lambda Calculus	Mathias Baaz
Seminar in Theoretical Computer Science	Uwe Egly et. al.
Seminar in Theoretical Computer Science	Reinhard Pichler
Seminar on Artificial Intelligence	Christian Fermüller
Term Rewriting	Bernhard Gramlich

EMCL-A-PI Principles of Inference at TUW
Course Title	Lecturer
Lambda Calculus	Mathias Baaz
Nonmonotonic Reasoning	Hans Tompits
Proof Systems in Modal Logic	Hans Tompits
Proof Theory 1	Mathias Baaz
Seminar in Logic	Uwe Egly et. al.
Seminar in Logic	Alexander Leitsch
Term Rewriting	Bernhard Gramlich

EMCL-A-C Constraints at UNL
Course Title	Lecturer
Complements of Constraints	Jorge Cruz and Francisco Azevedo
Search and Optimisation	Pedro Barahona

EMCL-A-KR Knowledge Representation at UNL
Course Title	Lecturer
Knowledge Representation and Reasoning	João Leite
Multi-Agent Systems	N.N.

EMCL-A-ST Semantic Technologies at UNL
Course Title	Lecturer
Concepts and Technology of XML	João Moura Pires
Reasoning on the Semantic Web	Carlos Damásio

Summer Semester 2011

EMCL-B-AL Advanced Logic at FUB
Course Title	Lecturer
Formal Methods	Prof. Artale
Non-Classical Logics	Dr. Mosca

EMCL-B-ILS Integrated Logic Systems at FUB
Course Title	Lecturer
Computational Logic	Prof. Tessaris

EMCL-A-ODS Ontology and Database Systems at FUB
Course Title	Lecturer
Information Integration	Prof. Nutt
Knowledge Representation and Ontologies	Prof. Calvanese

EMCL-PCS Presentation and Communication Skills at FUB
Course Title	Lecturer
Language Course	various lecturers

EMCL-A-CSE Computer Science Engineering at TUD
Course Title	Lecturer
Component-based Software Engineering	Prof. Assmann
Distributed Operating Systems	Prof. Härtig

EMCL-A-KR Knowledge Representation at TUD
Course Title	Lecturer
Category Theory for Computer Science	Dr. Posegga
Description Logic	Dr. Turhan
Introduction to Many-Valued Logics	Dr. Fronhöfer
Knowledge Representation and Reasoning	Prof. Hölldobler
Selected Topics in Proof Theory	Prof. Bruscoli
Structural Proof Theory and Abstract Logic Programming	Prof. Bruscoli

EMCL-A-MV Modeling and Verification at TUD
Course Title	Lecturer
Category Theory for Computer Science	Dr. Posegga
Fuzzy Logic	Dr. Peñaloza
Lab Course Modelling and Automated Verification	Prof. Baier
Selected Topics on Model Checking	Prof. Baier

EMCL-A-NLPA Natural Language Processing and Automata at TUD
Course Title	Lecturer
Advanced Topics in Weighted Tree Automata	Prof. Vogler
Natural Language Processing	Prof. Vogler

EMCL-A-PI Principles of Inference at TUD
Course Title	Lecturer
Category Theory for Computer Science	Dr. Posegga
Description Logic	Dr. Turhan
Fuzzy Logic	Dr. Peñaloza
Introduction to Many-Valued Logics	Dr. Fronhöfer
Knowledge Representation and Reasoning	Prof. Hölldobler
Selected Topics in Proof Theory	Prof. Bruscoli
Structural Proof Theory and Abstract Logic Programming	Prof. Bruscoli
Theoretical Computer Science	Dr. Peñaloza

EMCL-A-TCSL Theoretical Computer Science and Logic at TUD
Course Title	Lecturer
Description Logic	Dr. Turhan
Fuzzy Logic	Dr. Peñaloza
Introduction to Many-Valued Logics	Dr. Fronhöfer
Selected Topics in Proof Theory	Prof. Bruscoli
Structural Proof Theory and Abstract Logic Programming	Prof. Bruscoli
Theoretical Computer Science	Dr. Peñaloza

EMCL-P Project at TUD
Course Title	Lecturer
Project Group Knowledge Representation and Reasoning	Prof. Hölldobler
Project Group Machine Translation and Automata Theory	Prof. Vogler
Project Group Model Checking	Prof. Baier
Project Group Semantic Search	Prof. Schroeder
Project Group Theoretical Computer Science	Prof. Baader

EMCL-PCS Presentation and Communication Skills at TUD
Course Title	Lecturer
Knowledge Representation and Reasoning	Prof. Hölldobler
Natural Language Processing	Prof. Vogler
Selected Topics in Proof Theory	Prof. Bruscoli
Theoretical Computer Science	Dr. Peñaloza

Winter Semester 2010/2011

EMCL-B-F Foundations at TUD
Course Title	Lecturer
Logic	Prof. Hölldobler
Science of Computational Logic	Prof. Hölldobler

EMCL-B-LCP Logic and Constraint Programming at TUD
Course Title	Lecturer
Foundations of Constraint Programming	Prof. Hölldobler, Mr. Haufe
Foundations of Logic Programming	Prof. Reichel, Mr. Haufe
Logic Programming Engineering	Dr. Nauber

EMCL-A-CSE Computer Science Engineering at TUD
Course Title	Lecturer
Design Patterns and Frameworks	Prof. Assmann
Distributed Systems	Prof. Schill
Mobile Communication/Computation	Prof. Schill
Security & Cryptography I	Dr. Köpsell, Dr. Clauß
Systems Engineering 1	Prof. Fetzer
Systems Engineering 2	Prof. Fetzer
Transactional Information Systems	Prof. Lehner

EMCL-A-KR Knowledge Representation at TUD
Course Title	Lecturer
Interactive Theorem Proving	Dr. Posegga
Knowledge Representation and Reasoning	Prof. Hölldobler
Neural Symbolic Integration	Prof. Hölldobler
Projection Computation in Knowledge Representation	Dr. Wernhard

EMCL-A-MV Modeling and Verification at TUD
Course Title	Lecturer
Interactive Theorem Proving	Dr. Posegga
Lab Course Modeling and Automated Verification	Prof. Baier
Model Checking	Prof. Baier
Selected Topics in Logic and Complexity	Prof. Baier, Dr. Größer

EMCL-A-NLPA Natural Language Processing and Automata at TUD
Course Title	Lecturer
Verarbeitung natürlicher Sprache (in German)	Prof. Vogler
Weighted Tree Automata	Prof. Vogler

EMCL-A-PI Principles of Inference at TUD
Course Title	Lecturer
Interactive Theorem Proving	Dr. Posegga
Knowledge Representation and Reasoning	Prof. Hölldobler
Model Checking	Prof. Baier
Neural Symbolic Integration	Prof. Hölldobler
Projection Computation in Knowledge Representation	Dr. Wernhard
SAT-Solving	Prof. Hölldobler
Theoretical Computer Science	Prof. Baader

EMCL-A-TCSL Theoretical Computer Science and Logic at TUD
Course Title	Lecturer
Model Checking	Prof. Baier
Theoretical Computer Science	Prof. Baader

EMCL-P Project at TUD
Course Title	Lecturer
Project Group Computational Logic	Prof. NN, Mr. Haufe
Project Group Knowledge Representation and Reasoning	Prof. Hölldobler
Project Group Machine Translation and Automata Theory	Prof. Vogler
Project Group Model Checking	Prof. Baier
Project Group Semantic Search	Prof. Schroeder
Project Group Theoretical Computer Science	Prof. Baader

EMCL-PCS Presentation and Communication Skills at TUD
Course Title	Lecturer
German Course	TUDIAS
Knowledge Representation and Reasoning	Prof. Hölldobler
Selected Topics in Logic and Complexity	Prof. Baier, Dr. Größer
Theoretical Computer Science	Prof. Baader