Universität Ulm
89069 Ulm
Telephone +49 (0)731/501-0
Telefax +49 (0)731/50-22038
Sales tax identification number DE173703203


The University of Ulm is a corporation under public law. It is represented legally by the President Professor Dr.-Ing. Michael Weber or by the Chancellor Dieter Kaufmann.

Address of the President

Universität Ulm
Präsident Prof. Dr.-Ing. Michael Weber
Helmholtzstr. 16
89081 Ulm, Germany

Address of the chancellor

Universität Ulm
Kanzler Dieter Kaufmann
Helmholtzstr. 16
89081 Ulm, Germany


Responsible for contents of the general internet pages of the Institute of Theoretical Computer Science at Universität Ulm:

Prof. Dr. Jacobo Torán
Universität Ulm
Institut für Theoretische Informatik
89069 Ulm
Phone +49 (0)731/50-24100
Telefax +49 (0)731/50-24102

Supervising authority

Ministerium für Wissenschaft, Forschung und Kunst Baden-Württemberg
Königstraße 46
70173 Stuttgart


© Universität Ulm

All information published on this website (layout, texts, pictures, tables, graphics, etc.) are protected by copyright. Any use of this information not allowed by copyright laws requires the prior explicit approval of the Universität Ulm. This applies especially for the distribution, alteration, translation, copying, processing or reproduction of information on database or other electronic media and systems.

The photocopying and downloading of web pages for private, scientific, non-commercial use is acceptable.

The Universität Ulm expressly allows and encourages the citation of its documents and web pages and the creation of links to its website.

The Universität Ulm makes every effort to observe all copyright laws to which the illustrations, sound files, video sequences, and texts of its own creation, or to use illustrations, sound files, video sequences, and texts from the public domain.

All registered trademarks and brand names on this website are subject without restrictions to any regulations pertaining to the registration and property rights of their respectice owners. One should not assume that trademarks are nor protected by the rights of third parties on the basis of the simple fact that they are named on this website!


Disclaimer for own contents

Contents under “” have been researched and implemented with a high degree of care. However, the possibility of errors in the processing and implementation cannot be fully excluded. Please send any remarks or corrections to

Despite our care in designing this website, we can assume liability neither for its correctness and completeness, nor for information on it that is not current. More specifically, the Universität Ulm assumes no liability for damages or other consequences directly or indirectly resulting from the use of content on this website.

Disclaimer for cross-references and links

In accordance with common law, the Universität Ulm is responsible for own contents. Such contents do not include cross-references to contents from other websites. These foreign contents neither originate from the Universität Ulm, nor does the Universität Ulm possess any influence over the content of such third party sites.

The contents of foreign sites with which the Universität Ulm is associated by links do not reflect the opinion of the Universität Ulm, serving merely as a source of further information and the description of connections.

These remarks hold for all links and references on this website as well as for entries in guest books set up by the Universität Ulm, discussion forums, and mailing lists. Legally responsible for illegal, incorrect, or incomplete contents or especially for damages incurred as a result of the use of such information is solely the owner of the page the reference refers to.

Links and cross-references to other websites are marked by this symbol:

Conception, realization and organization

kiz | Department Medien
Agency zbb

Privacy Policy

Every time you access a web page of the University of Ulm and with every file you retrieve, the following data is registered for statistical and troubleshooting purposes:

  • date and time
  • IP-address of the calling program
  • our web server address
  • retrieved file (access address)
  • http status code
  • size of data transmitted (in bytes)
  • "referer" address, if available
  • browser type, if available

IP-addresses are made anonymous every night; merely the last two domain parts remain unchanged. Personally identifiable user images cannot be formed by these IP-addresses. Anonymous made IP-addresses and all other data are analyzed statistically once a month and deleted after 35 days.

Some of the internet pages of the University of Ulm use JavaScript functions for a more attractive presentation of the information and for different navigation helps. However, all relevant information may also be accessed without JavaScript.

Most internet pages of the University of Ulm can be used without cookies being set. Only at some few pages session cookies are generated for the identifying the browser meeting. These are deleted after the end of the browser meeting. There will be no analysis of these cookies, nor can personally identifiable information be concluded.

In case you communicate via e-mail with the University of Ulm, the university will use any information that personally identifies you exclusively for the intended purpose.

The University of Ulm does not take on responsibility for the contents or for the privacy policy of external resources.


Questions and comments about the content of the universities' homepage should be directed to:

  • Sekretariat
  • Universität Ulm
  • Theoretische Informatik
  • 89069 Ulm
  • Telefon +49 (0)731/50-24101
  • Telefax +49 (0)731/50-24102

Responsibility for the contents of internet pages, which belong to a particular facility or institute within the Universität Ulm, is solely with these institutes.


Technical questions or problems using the website should be directed by email to the Webmaster.