In the master program for Computer Science at the University of Innsbruck, each student has to choose a special subject where you are required to obtain 22 units of special courses from one of the Streams offered by the different working groups of our institute.
The goal of the stream "Web Technologies and Internet Computing" offered by DERI in the Master program is to deepen understanding for applying intelligent methods for the development of the next generation of the Web. Besides special courses in the areas of Web Services and Semantic Web Technologies, you should also learn foundations of Artificial Intelligence and basic Reasoning Support required for successfully applying these methods in a scalable open manner useful for real world applications on the Web and in the context of the most important application areas of these new technologies: Knowledge Management, Enterprise Application Integration, and eCommerce.
You should choose our stream, if you:
The following spezialized subjects are offered by DERI in the summer semester 2006:
| Title | Type | |
|---|---|---|
| Applied Ontology Engineering | VU2 | |
| Programming Mobile Devices | VU2 | |
| Semantic Web | VO2 | |
| Semantic Systems | SE2 | |
The following spezialized subjects offered by other groups in the summer semester 2006 are also accredited for our stream:
| Title | Type | |
|---|---|---|
| Mobile Database Systems | DBIS | VO2 |
| Grid Techology | DPS | VO2/UE2 |
| Advanced Internet Technology | DPS | VO1 |
| Web Services | QE | VU2 |
Note that our stream has compared with others only a few mandatory subjects. This flexibility allows to offer a variety of courses and adapt fast to changes in technology. However, although we allow and recommend courses from other streams, we expect all students who choose our stream to do at least half of their credits (i.e. 12 Semesterwochenstunden) from our stream.
DERI courses in the winter semester 2005/2006:
| Title | Type | |
|---|---|---|
| Business Information Systems | VU2 | |
| Web Engineering (mandatory) | VU2 | |
| Semantic Web Technology in Industry | VU2 | |
| Research Seminar | VU2 | |
| The Role of Semantics in Computer Science | SE2 | |
Other accredited courses in the winter semester 2005/2006:
| Title | Type | |
|---|---|---|
| Verification and Model Checking | CL | VU3 |
| Grid Computing | DPS | VO2/UE2 |
| Parallel Systems | DPS | VO2/UE2 |
| Grid Computing 2 | DPS | SE2 |
| Business Processes and Workflows | QE | VU3 |
| Information Security | QE | VO2/UE3 |
DERI courses in the summer semester 2005:
| Title | Type | |
|---|---|---|
| Advanced Topics of Internet Computing: Ubiquitous Computing | VO2/UE1 | |
| Introduction to Artificial Intelligence | VO2/UE2 | |
| Semantic Web (mandatory) | VU3 | |
| Next Web Generation | SE2 | |
| Research Seminar | SE2 | |
Other accredited courses in the summer semester 2005:
| Title | Type | |
|---|---|---|
| Model Checking | CL | VU4 |
| Modal and Temporal Logics | CL | VU2 |
| Process Algebra | CL | VU2 |
| Automated Theorem Proving | CL | VU3 |
| Grid Techology | DPS | VO2/UE2 |
| Parallel Systems | DPS | VO2/UE2 |
| Advanced Internet Technology | DPS | VO1 |
| Grid Computing | DPS | SE2 |
| Specification of Distributed Systems | QE | VU2 |
| Web Services Lab | QE | PR2 |
| Business Processes and Workflows | QE | VU2 |
| Information Security | QE | V02/UE3 |
| Technical Aspects of eTourism | VU2 | |
DERI courses in the winter semester 2004/2005:
Other accredited courses in WS 2004/2005 (incomplete listing):
| Title | Type | |
|---|---|---|
| Modal and Temporal Logics | CL | VU2 |
| Parallel Systems | DPS | VO1/UE2 |
| Information Security | QE | VO2/UE3 |