Kiel Nano, Surface and Interface Science (KiNSIS)

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

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

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

 

Abstract:

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.

http://www.tf.uni-kiel.de/de/das-dekanat/aktuelles-termine/kolloquien/kolloquien-ws-2014-15

Claudia Martin, 0431-8806068

Diesen Termin meinem iCal-Kalender hinzufügen

zurück

Pressemitteilungen

Medien

Veranstaltungen

Kalender

« September 2018 »
Mo Di Mi Do Fr Sa So
27 28 29 30 31 1 2
3 4 5 6
  • 17:00: Computational Studies on the Volume of Activated Tissue in Deep Brain Stimulation, Prof. Dr. Ursula van Rienen, Universität Rostock
  • 19:30: Der blaue Planet - Einzigartig? Prof. Dr. Sebastian Wolf
  • Klicken Sie, um Details zu allen 2 Terminen zu sehen.
7 8 9
10 11
  • 13:30: Chemical Imaging of Host-Pathogen Interactions, Prof. Yamuna Krishnan (University of Chicago)
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
12
  • ganztägig: Digitale Kieler Woche: Virtueller 360-Grad-Rundgang durch das Kieler Nanolabor
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
13
  • ganztägig: Digitale Kieler Woche: Virtueller 360-Grad-Rundgang durch das Kieler Nanolabor
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
14 15 16
17 18 19 20 21 22 23
24 25
  • 19:30: Psychoaktive Pflanzen, Pilze und Tiere, Prof. Dr. Christian Peifer
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
26 27 28
  • 15:00: Nacht der Wissenschaft 2018
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
29 30