Invited Talk @MSAS 2017

November 6th, 2017: Heinrich C. Mayr gives an invited talk chaired by Peter P.S. Chen at the MSAS Workshop  in Valencia, Spain.

Title: A DSML for Observation Interfacing

 

Invited Talk @MSAS 2017

November 6th, 2017: Judith Michael gives an invited talk chaired by Peter P.S. Chen at the MSAS Workshop  in Valencia, Spain.

Title: Modeling Task Goals for Cyber-Physical Systems

 

Invited Joint Keynote @EMMSAD and BPMDS

June 12th, 2017: Heinrich C. Mayr gives the invited Joint EMMSAD and BPMDS keynote talk in Essen, Germany

Title: Domain Specific Conceptual Model Engineering

 

Talk @University of Southern Australia

9.2.2017: Heinrich C. Mayr gives an invited talk at the School of Information Technology and Mathematical Sciences, University of Southern Australia.

Title: Domain Specific Modeling within the context of Ambient Assistance: Backgrounds – Methods – Solutions

Informatik2016 Highlights: Keynote-Sprecher Michael Wooldridge – From model checking to equilibrium checking

Einblick in die beeindruckende Präsentation des Keynote-Sprechers Prof. Dr. Michael Wooldridge von der Universität Oxford am Tag der Informatik.

1

2

3

4

5

INFORMATIK2016 presents: The Junior Fellows 2016

Wir freuen uns sehr, auf der INFORMATIK 2016 auch die Junior Fellows 2016 offiziell und mit ihren Arbeitsgebieten vorstellen zu dürfen. Die Gesellschaft für Informatik GI ernennt seit 2013 jährlich einige wenige herausragende junge Informatikerinnen und Informatiker zu Junior Fellows – quasi als Vorbilder und Botschafter/innen der Informatik.

Im Rahmen der Akademischen Stunde am Tag der Informatik wird den ‘frisch gebackenen’ Junior-Fellows die Urkunde überreicht; am Donnerstag, den 29.9. präsentieren sie sich mit ihren Forschungsgebieten erstmals in einer eigenen Sitzung. Deren Moderation übernimmt der derzeitige GI-Präsident Peter Liggesmeyer persönlich.

Das Beitragsbild ist auch der Jahreszeit angepasst. Glück hat, wer im Moment einen Sprung ins kühle Nass rund um Klagenfurt wagen kann.

 

INFORMATIK 2016: Wie werden Unternehmens-Gründer spitze ?

Der Zug ist abgefahren und Europa hat die erste Runde verschlafen. Die Firmen, die das Internet beherrschen, sind nicht von hier. Sind wir wirklich zu dumm, oder haben wir eine Chance in der zweiten Runde? Wie könnten Gründer europäischer Hi-Tech-Firmen ihre Chancen verbessern, zur Spitze aufzusteigen?

Der Vortrag von Friedrich-Georg Hoepfner am 29. September 2016 am Tag der Wirtschaft der INFORMATIK 2016  wird auf diese Fragen eingehen und einige Leitlinien für erfolgreiche Hi-Tech Gründungen präsentieren. Er geht aber auch auf kritische Aspekte ein und diskutiert Ursachen von Fehlschlägen, die sich in der Praxis gezeigt haben.

INFORMATIK2016: Software verstehen, zerstören, schützen mit automatischen Software-Modellen

Kann man Sicherheitslöcher in Software, Betriebssystemen oder Netzen sowie Fehler im Programm-Code entdecken, und wenn ja, wie?

Andreas Zeller zeigt am 28.9.2016 in seinem Hauptvortrag auf der INFORMATIK 2016  einen Weg hierzu auf: nämlich die automatische Ableitung von Grammatiken, welche die Ein- und Ausgabeformate einer Software beschreiben. Es werden also Modelle und Spezifikationen aus bestehenden Programmen abgeleitet, mit denen Datenformate verstanden und massives Sicherheitstesten auf einer Vielzahl von Systemen ermöglicht werden. Dadurch kann man ein Programm vor illegalen Eingaben schützen, indem nicht konforme Ein- oder Ausgaben abgeblockt werden.

INFORMATIK 2016: Der Präsident, IoT, Industrie 4.0 und Big Data

Am 28. September 2016, dem Tag der Informatik, erwarten Sie auf der INFORMATIK 2016  in Klagenfurt spannende Hauptvorträge. Heute setzen wir in diesem Blog damit fort, Appetit auf spannende Themen und eingeladene Vortragende zu machen. Am Menü stehen diesmal Schlagworte wie Digitale Agenda, IT-Gipfel, Industrie 4.0, digitaler Verkehr, Abhörskandale und Big Data.

Die Bedeutung der Informatik steigt enorm; zunehmend wird dies auch in Politik und Öffentlichkeit wahrgenommen. Doch es gibt viele Fragestellungen im Zusammenhang mit neuen Entwicklungen, zu denen noch keine zufriedenstellenden Antworten existieren. Peter Liggesmeyer, derzeit GI Präsident, diskutiert und hinterfrägt in seinem Vortrag IoT, Industrie 4.0 und Big Data aktuelle Themen und Standpunkte, die in der öffentlichen Diskussion manchmal ein wenig zu schnell als Wahrheit akzeptiert werden.