Menü

PyGRAZ ist eine Usergroup mit die Python-Programmiersprache in Graz. Wir treffen uns regelmässig am ersten Dienstag im Monat entweder im ESC, Spektral oder im Gösserbräu.

Meetup vom 3. Mai 2016 um 19:00 Uhr

Sessions

Einführung in SQLAlchemy

von Ernesto Rico-Schmidt

Der Vortrag zeigt anhand von Beispielen die zwei zentralen Komponenten von SQLAlchemy: Object-Relational-Mapper und Core.

SQLAlchemy versucht mit zwei Abstraktionen das immer wieder auftretende Problem zu lösen: Wie bildet man eine Relationale Datenbank in Objekte ab und vice-versa. Der “Object-relational impedance mismatch” wird so elegant umschifft, wie es nur mit Python möglich ist.

An introduction to Formal Verification

von Lukas Prokop

Subtitled "A non-introduction to my master thesis"

From May 2015 to May 2016 I am working on my master thesis. As part of that project I am writing software to verify whether a certain state can occur within a computation. This is also the basic goal of Formal Verification; a research area where source code is verified for correctness.

The subtitle uses the word "non-introduction" because my master thesis itself is about differential cryptanalysis, which I won't cover in the talk. I will only cover practical parts of my master thesis which will give us a basic understanding of primitives in Formal Verification.

Let's be more specific: In this talk I will discuss a few python libraries for SAT solving (I wrote) and finally introduce a package modeling bitvectors which can be used to describe computed values symbolically.

Language: German or English (on demand)

Folgende Personen haben ihr Kommen angekündigt:

Diese Liste enthält derzeit nur Anmeldungen auf Meetup.com.

Location: Realraum

Brockmanngasse 15, 8010 Graz

Comments powered by Disqus