09.10.2014 von 14:15 bis 16:00

Institut für Informatik, Steinitz-Hörsaal des Mathematischen Seminars (Raum 10) in der Ludewig-Meyn-Strasse 6

Titel: The Role of Logic in Computing or  On the Practical Advantage of a Scientific Foundation

First we review how logic contributed in the past to the rise of programmable computers. Then we explain how for present day computing logic can contribute to a practical design and analysis environment for engineering reliable software intensive and in particular business process management systems.

Vorbesprechung / Vorstellung  bei Kaffee und Tee findet ab 13:30 Uhr im Raum 408a (2.OG) in der Hermann-Rodewald-Str. 3 statt.

Prof. Thalheim

Diesen Termin meinem iCal-Kalender hinzufügen

zurück