Mathematische Logik | 221

Heidbach, O., Geodynamische Modellierung Teil LTheorie und Anwendung der Methode der
Finiten Elemente, Vorlesung am Geophysikalischen Institut, Universität Karlsruhe
(für Studenten nach dem Vordiplom, WS)
Heidbach, O. und Sperner B., Geodynamische Modellierung Teil II: Grundlagen der
Modellbildung,Vorlesung am Geophysikalischen Institut, Universität Karlsruhe (für
Studenten nach dem Vordiplom, WS)
Heidbach, O., Geodynamische Modellierung Teil III: Simulationen am Rechner, 2-tägiger
workshop am Geophysikalischen Institut, Universität Karlsruhe (für Studenten
nach dem Vordiplom, WS)
Forschungskontakte
RWE/DEA AG, Hamburg; Wintershall AG, Barnstorf; Mobil Erdgas-Erdöl GmbH,
Celle, BEBE Erdgas und Erdöl GmbH, Hannover, Preussag Energie GmbH, Lin-
gen: Untersuchung des Spannungsfelds in den Sedimenten Norddeutschlands.
DGMK-Projekt Light Gas Reservoir (http://www.dgmk.de)
GeoForschungsZentrum Potsdam, Arbeitsgruppen Prof. Borm, Prof. Oncken, Prof.
Stephansson, Dr. Grünthal
Sonderforschungsbereich 461 „Starkbeben“, Universität Karlsruhe (http://www-
sfb461.physik.uni-karlsruhe.de): Teilprojekt A6 Rezentes Spannungsfeld und Geo-
dynamik. Zusammenhang von Seismizität und Spannungskonzentrationen
NSG (Netherlands Research School of Sedimentary Geology, Vrije Umversiteit
Amsterdam; (http://www.geo.vu.nl/nsg), Arbeitsgruppe von Prof. Cloetingh:
Numerische Modellierung (FEM), insbesondere Sedimentbecken
ETH Zürich (http://www.ethz.ch), Arbeitsgruppe von Dr. Regenauer-Lieb:
Numerische Modellierung mit Schwerpunkt Subduktionszonen
Deutsches Geodätisches Forschungsinstitut (http://www.dgfi.badw.de), Prof.
Drewes: Zusammenhang zwischen Spannung und geodätisch beobachteter Defor-
mation
Universität Tel Aviv, Prof. Ben-Avraham: Boundary Elemente Modell zur seismisch
induzierten Spannungsfeldumlagerung in der Levante
5. Mathematische Logik (Kaiserslautern)
Das Unternehmen „Mathematische Logik“ verfolgt das Ziel, den aktuellen Wissens-
stand aus dem Bereich der Mathematischen Logik und angrenzender Gebiete zu doku-
mentieren, zu strukturieren und zu repräsentieren sowie das vorhandene Wissen spezi-
fischen Anforderungen gemäß zugänglich zu machen. Zu diesem Zweck unterhält es
eine umfassende strukturierte Bibliographie der Literatur aus den genannten Bereichen
und entwickelt Formalismen zur funktionsgerechten Darstellung inhaltlichen Wissens.
Mitglieder der Kommission:
die ordentlichen Mitglieder der Akademie Klaus Kirchgäßner (Vorsitzender), Alb-
recht Dold, Gerhard Huisken, Willi Jäger, Matthias Kreck, Dieter Puppe, Hermann
Witting.