Impressionen: Deduktionstreffen

Eindrücke aus dem “Deduktionstreffen” Workshop im Rahmen der Fachgruppe Deduktionssysteme.

1

2

3

Impressionen: Answer Set Programming TAASP

Eindrücke aus einem der ersten Workshops der Informatik 2016 “Trends and Applications of Answer Set Programming (TAASP)” am Montag, dem 26.09.2016.

img_2166

img_2165

img_2164

KI 2016: Programm ist online

Die KI2016, die 39. Auflage der ‘German Conference on Artificial Intelligence’, bietet dieses Jahr vom 26.-30. September 2016 spannende Vorträge und Workshops.

Unter den Workshops am 26. und 27. September 2016 finden sich beispielsweise:

Das Programm der KI 2016 Konferenz (28 bis 30. September) ist ebenfalls bereits online.

KI 2016 is co-located with Informatik 2016 (Annual Conference of the German Informatics Society) and MATES 2016 (The 14th German Conference on Multi-Agent System Technologies)

Siemens’ journey towards the Industrial Internet and Machine Learning

Intelligent machines, the internet of things, data generated by hundreds or thousands of sensors at a high rate, big data analytics and new ways connecting people and machines at work and on the move will create the next industrial revolution, the Industrial Internet of Things. This will also deeply transform industrial applications. Siemens is specialized in industry-specific service solutions tailored to the particular needs of each individual industry.

In his keynote Towards Industrial Machine Intelligence at INFORMATIK2016  Michael May from Siemens Corporate Technology Munich will give insights into Siemens’ journey towards the Industrial Internet, highlight early successes, products and prototypes and point out future challenges on the way towards machine intelligence. The keynote is organized in cooperation with KI2016 at September, 29 2016 at the Alpen-Adria-Universität Klagenfurt/Austria.

Keynote Speaker at INFORMATIK 2016

You can either love or hate the h-index – but his is extraordinary and you can get to know him live at INFORMATIK 2016.

His main research interests are in the use of formal techniques for reasoning about multiagent systems, currently at the intersection of logic, computational complexity, and game theory. He is particularly interested in the computational aspects of rational action in systems that are composed of multiple self-interested computational systems.

Read more about Michael Wooldridge and his keynote at INFORMATIK 2016 .