Prof. Thom Frühwirth von der Universität Ulm ist eingeladener Keynote-Sprecher des "9th International Web Rule Symposium (RuleML)".
Die Konferenz findet von 2. bis 5. August in Berlin statt.

Er teilt sich diese Ehre mit den renommierten Wissenschafter Prof. Michael Genesereth von der Stanford University. Beide teilen auch die Leidenschaft für das Forschungsgebiet "Computational Logic". Dabei geht es um die praktische Anwendung der mathematischen Logik in der Informatik.

Prof. Frühwirth wird in seiner Keynote einen Überblick über Theorie und Praxis seiner logik-basierten Programmiersprache "Constraint Handling Rules" geben, die inzwischen in weit über 200 Projekten weltweit eingesetzt wird. Die Anwendungen reichen von Software für den Aktienhandel über intelligente Roboterfahrzeuge zu Lande und zu Wasser bis hin zur Datenfilterung für Experimente am CERN.

Mehr Information dazu unter
http://www.csw.inf.fu-berlin.de/ruleml2015/keynotes.html (Konferenz)
http://constraint-handling-rules.org/ (Constraint Handling Rules)