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

Aktuelle Pressemitteilungen

Medien

Veranstaltungen

Kalender

« Juli 2017 »
Mo Di Mi Do Fr Sa So
26 27 28 29 30
  • 15:00: Sommerfest Technische Fakultät, Verleihung KiNSIS-Promotionspreis
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
1 2
3 4
  • 16:15: Eberhard Möbius (New Hampshire): Astronomy with Neutral Atoms
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
5 6 7
  • 14:15: Learning Sparse Binary Features for Medical Image Segmentation of the Abdomen (Heinrich, Lübeck)
  • 14:15: Approximating Geometric Knapsack via L-packings (Grandoni, Lugano)
  • Klicken Sie, um Details zu allen 2 Terminen zu sehen.
8 9
10
  • 17:15: Magnetic particel imaging (Prof. Dr. Horst Weller, Uni Hamburg)
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
11
  • 16:15: Erwin O. Flückiger: 60 Jahre Neutronenmonitor
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
12 13
  • 17:00: Self-Assembled Molecular Vessels (Prof. Mukherjee, India)
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
14
  • 14:15: Prof. Victor Verdugo (Paris)
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
15 16
17 18
  • 11:00: Generalized Convolution Quadrature (Prof. Fernández, Zürich)
  • 15:00: Abschiedskolloquium von Prof. Piel
  • Klicken Sie, um Details zu allen 2 Terminen zu sehen.
19
  • 18:00: Parlamentarischer Abend: "Nanotechnologie in Schleswig-Holstein: Wissenschaft, Wirtschaft, Zukunft" (NINa e.V.)
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
20 21
  • 14:15: A Family of Crouzeix-Raviart Non-Conforming Finite Elements in Two- and Three Spatial Dimensions (Prof. Sauter, Zürich)
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6