Wilhelm-Schickard-Institut Symbolic Computation Group

Home

Staff

Teaching

Books

Projects

Presentations
/ Vorträge

Jobs

Studien- und
Diplomarbeiten
(student projects)

Interna

Contact

Welcome to the Symbolic Computation Group

Head of Group

 

Prof. Dr. sc. techn. Wolfgang Küchlin
Sand 14, Raum C105
Office Hours: Mon + Thu 10:30 to 12:00
Out of office until 17.09. and until 11.10. only on appointment.

fon: +49 (0) 7071 2970470
fax: +49 (0) 7071 295160

Secretary

 


Sand 14, Raum C104
Office Hours: Tue + Thu 9:30 to 12:00 between 12.08. and 30.09. Until then closed.

fon: +49 (0) 7071 2970471
fax: +49 (0) 7071 295160


Address:
Symbolisches Rechnen / Symbolic Computation
Prof. Dr. Wolfgang Küchlin
Sand 14

72076 Tübingen

>> How to reach us

AKTUELL: "Anleitung zur Prüfungsanmeldung" ist zum Herunterladen bereit.
Mit Urteil vom 12.5.1998 - AZ 312 0 85/98 hat das Landgericht Hamburg entschieden, daß ein Sitebetreiber durch die Verwendung von verknüpfenden Links die Inhalte dieser gelinkten Seiten mit zu verantworten hat. Dies kann, so das LG Hamburg, nur dadurch verhindert werden, daß man sich ausdrücklich von diesen Inhalten distanziert. Da wir keinen Einfluß auf Gestaltung und Inhalte der verlinkten Seiten haben, distanzieren wir uns hiermit ausdrücklich von diesen Seiten und Inhalten. Diese Erklärung gilt für alle auf unserer Homepage angebrachten Links und für alle Inhalte der Seiten, zu denen Links führen.

News

27.02.2008 Der erste Termin der Vorlesung Automatisches Beweisen im SS 2008 findet am 15.04.2008 zwischen 13:00 Uhr und 14:00 Uhr statt. An diesem Termin werden organisatorische Themen besprochen.

05.02.2008 Termin für die Bachelor Prüfungen ist am: 14.04.2008 vormittags.

09.01.2008 Neue Prüfungstermine:
15.04.2008
06.05.2008
03.06.2008
08.07.2008

28.09.2007 Dr. Carsten Sinz and Hendrik Post are co-organizing SAT-Race 2008, a SAT-solver competition affiliated with the SAT 2008 conference. Click here for further information.

17.01.2006 "Anleitung zur Prüfungsanmeldung" ist zum Herunterladen bereit!