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

Aktuelles

Veranstaltungen

Kalender

« Februar 2019 »
Mo Di Mi Do Fr Sa So
28 29
  • 17:00: Thiometallate - Vom Precursor zum Material (Felix Danker, CAU)
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
30 31 1 2 3
4
  • 17:15: tba
  • 17:15: Power supply for wireless sensors systems (Prof. Dr. Leonhard M. Reindl, Albert-Ludwigs-Universität Freiburg)
  • Klicken Sie, um Details zu allen 2 Terminen zu sehen.
5
  • 16:00: Synthesis and Properties of Heterostructures with Designed Nanoarchitecture (Prof. Dr. Dave C. Johnson, University of Oregon)
  • 16:15: PD Dr. Horst Fichtner (Ruhr-Universität Bochum)
  • 17:00: Transition metal complexes for surface deposition and photoswitchable Self - Assembled Monolayers (Alexander Schlimm, CAU)
  • Klicken Sie, um Details zu allen 3 Terminen zu sehen.
6 7
  • 16:00: „Topics in circuit design for biomedical sensing“, Antrittsvorlesung von Prof. Dr. Robert Rieger (Elektrotechnik)
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
8 9 10
11
  • 10:00: „Modellierung und Simulation von Materialien im Großen und im Kleinen“, Antrittsvorlesung von Prof. Dr. Stephan Wulfinghoff (Materialwissenschaft)
  • 17:15: "From Davis’ law to modern mechanobiology: how mechanics governs growth of soft biological tissues (Prof. Dr.-Ing. Christian J. Cyron, TU Hamburg)
  • Klicken Sie, um Details zu allen 2 Terminen zu sehen.
12 13 14
  • 17:00: tba, Prof. Dr. Paulo Freitas (International Iberian Nanotechnology Laboratory, Braga, Portugal)
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
15 16 17
18
  • 17:15: tba
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
19
  • ganztägig: Prof. Dr. Friedrich Aumayr (TU Wien)
  • Klicken Sie, um Details zu allen 1 Terminen zu sehen.
20 21 22 23 24
25 26 27 28 1 2 3