JavaScript en garde!

• "Dartagnan - Verifikation von Programmen" Erik Söhnel (CodeSquare)
• "Einführung in Graph-Datenbanken" Christian Ulbrich (Zalari GmbH)
• TBA!

Nichts für schwache Nerven, oder schwachen Speicher (hihi) zeigt uns Erik, wie man Programme verifizieren kann, ob sie auch wirklich brav alle branches erreichen. Ausblick!

Christian muss ein Team zusammenstellen für seinen Sportverein, aber es gibt mehr Willige als Plätze (also fast so wie bei unseren Vorträgen (hihi)) - deshalb muss eine Lösung her! Und mit einer Graph-Datenbank sieht alles aus wie RAG für KIs oder so ähnlich und zeigt uns, wie einfach bestimmte Use Cases mit einer Graph-Datenbank abgedeckt werden kann. Praktisch anhand vom Oldie Neo4j, denn das j steht für Java und das steckt ja auch in JavaScript. Einblick!