Hinweis in eigener Sache!

*************************************************************
Die nächsten Termine in 2018 sind 9.4., 7.5., 11.6. --- Jeweils ein Montag - Weitersagen!!!
Inzwischen gibt es unter Vorbehalt bereits die neuen Termin der Saison 2018/19:
2018: 08.10., 05.11., 03.12. sowie 2019: 14.01., 04.02., 11.03., 08.04., 06.05., 03.06., 01.07.2019 (optional)

Der Raum im Eden-Hotel-Wolff, Arnulfstr. 2-4 ist ab 18:30 geöffnet. Vor dem Vortrag, der um 19:30 Beginn, gibt es also genug Zeit zum Netzwerken und sich zu stärken.
Anmeldungen zu den Veranstaltungen sind - wenn nicht explizit angegeben - nicht erforderlich. Gäste sind immer herzlich willkommen und es gilt freier Eintritt zu den Veranstaltungen.
Aber wir freuen uns mit unseren Trägervereinen GI (http://www.gi.de/) und GChACM (http://germany.acm.org/) auch über neue Mitglieder.
*************************************************************

Die neueste IT-Szene München können Sie hier herunterladen:
Ausgabe 2016-02
Are you still manually coding form-based UIs?
Montag, 7. Mai 2018 - 19:00
Jonas Helming

Manual development of data-centric, form-based UIs is tedious. Existing UI technologies such as JavaFX or HTML are powerful, but not focused on developing forms. Developers struggle with the development, maintenance, and testability of forms, especially if the underlying data model is complex and subject to frequent change. Finally, the UI must be redeveloped for all target client platforms - from desktop over web to mobile or embedded.

In this talk, we introduce a declarative approach of developing form-based UIs. Instead of manual coding based on a certain technology, UIs are described by a simple a focussed DSL (a.k.a UI model). The UI declaration is then interpreted by an adaptable rendering engine for the respective platform.

After a conceptual overview, we introduce and demonstrate two open source implementations of the approach, one for desktop applications (EMF Forms) and one based on a native web stack (JSON Forms). Along this, we show how to get started with UI modeling, how to adapt the frameworks to custom needs as well as major advantages and common pitfalls.

Both demonstrated frameworks are very actively developed under the EPL and therefore free of use even in commercial environments.

Forschungswettbewerb als Motor des Technologietransfers? Ein Beispiel aus der Software-Verifikation
Montag, 7. Mai 2018 - 19:30
Prof. Dr. Dirk Beyer, LMU, Software and Computational Systems Lab at LMU Munich

Abstract:
Im Bereich der Verifikation von Software gibt es leider eine große Kluft zwischen dem aktuellen Stand der Forschung und der angewandten Technologie in der industriellen Praxis. Wie können wir eine Brücke über diese Kluft bauen?
Eine Möglichkeit wäre, dass Firmen an die Forschungsgruppen herantreten mit Problemstellungen, für die eine neue Verifikationstechnologie benötigt wird. Allerdings scheitert dieses Vorhaben oft schon an der Geheimhaltungsschranke.
Eine andere Möglichkeit wäre, dass die Forscher den aktuellen Stand der Technik für die Entwickler und Qualitätsingenieure in der Praxis in bequem konsumierbarer Form anbieten.
Die Lösungsidee dafür ist die "International Competition on Software Verification (SV-COMP)", bei der die namhaften Forschergruppen im Bereich der Software-Verifikation ihre neusten Ergebnisse in Verifikationswerkzeugen implementieren und zur vergleichenden Evaluierung einreichen.
Für den Wettbewerb werden Verifikationsprobleme aus vielen Bereichen der C-Programmierung gesammelt und für den Vergleich verwendet. Zur Zeit befinden sich in der Benchmark-Sammlung 9523 Verifikationsprobleme. Benutzer können sich dann die besten Werkzeuge der für sie passenden Kategorie aussuchen.
Im Vortrag werden die Regeln, die Durchführung auf einem Rechencluster an der LMU und die Ergebnisse des Wettbewerbs präsentiert.
Website zur Competition: https://sv-comp.sosy-lab.org/

Vita:
Dirk Beyer is Full Professor of Computer Science and has a Research Chair for Software and Computational Systems at LMU Munich, Germany (since 2016). Before, he was Full Professor of Computer Science at University of Passau, Germany (2009-2016). He was Assistant and Associate Professor at Simon Fraser University, B.C., Canada (2006-2009), and Postdoctoral Researcher at EPFL in Lausanne, Switzerland (2004-2006) and at the University of California, Berkeley, USA (2003-2004) in the group of Tom Henzinger. Dirk Beyer holds a Dipl.-Inf. degree (1998) and a Dr. rer. nat. degree (2002) in Computer Science from the Brandenburg University of Technology in Cottbus, Germany. In 1998 he was Software Engineer with Siemens AG, SBS Dept. Major Projects in Dresden, Germany. His research focuses on models, algorithms, and tools for the construction and analysis of reliable software systems. He is the architect, designer, and implementor of several successful tools. For example, CrocoPat is the first efficient interpreter for relational programming, CCVisu is a successful tool for visual clustering, and CPAchecker and BLAST are two well-known and successful software model checkers.
Web: https://www.sosy-lab.org/people/beyer/

Saison 2017/18 Juni - Thema noch offen
Montag, 11. Juni 2018 - 19:30

Details folgen!

Vaadin für industrielle Projekte
Montag, 18. Juni 2018 - 19:00
Sven Ruppert
Blockchain Workshop
Montag, 16. Juli 2018 - 19:00
Thomas Deniffel

Did you ever ask yourself how this kind of new thing - Blockchain - work? Did you ever ask why it is such a hype and why it should revolutionize the way how we interact with parties, that we don't know? Until today Blockchains are just a big hype especially with crypto-currencies, but there are coming more and more severe applications where you need trust between parties that do not know each other.
To see the potential about blockchains you have to understand it and we as programmers can understand a thing entirely as soon we have done it with our own hands.
And this is it, what this workshop is all about: We create our blockchain. Everyone is coding and after we finish we will mine and try to destroy the blockchain - the later is a hard thing to do, because it is self-healing as we will see.
Are you afraid that you can't type fast enough? No problem. There are nine checkpoints where you can type 'git checkout ...' and you are synchronized with the presentation.
There will be a short theoretical part at the beginning where everybody has time to start the system followed by about 2 hours of coding followed by mining and testing the system in edge cases.

Thomas is a technology enthusiast and CEO of the company Skytala GmbH where he creates full stack applications for customers. During the last ten years, working in different domains, people, and technologies. He has seen many different techniques and learned to avoid following technology hypes, but judging them first. His responsibility within the company has recently shifted towards the exploration of the latest outcomes of science and the proofing of applicability of current trends in technology.