JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

Fotos of DI Robert Brummayer

Here are some nice fotos from ETAPS'09 and TACAS'09, York UK.

At the university campus (1/5)

At the university campus of York 1
 

At the university campus (2/5)

At the university campus of York 2
 

At the university campus (3/5)

At the university campus of York 3
 

At the university campus (4/5)

At the university campus of York 4
 

At the university campus (5/5)

At the university campus of York 5
 

Myself (left) and L. de Moura (right)

De Moura and myself
 

L. de Moura (Microsoft Research), myself (JKU) and C. Tinelli (University of Iowa)

Tinelli, de Moura and myself