VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: ACDEFGIMOPRST
A
algebraic program structures
Applications of logic to combinatorics
axiomatic semantics
C
Computer Science Education
concurrency and synchronization
Courcelle's theorem
crowd sourcing
D
denotational semantics
domain specific modeling
E
education
esoteric language
F
formal methods
Formal semantics
fully invertible and injective programs
fun
G
gamification
I
invariant computation
M
make-easy" teaching approach
model checking
O
operational semantics
P
predicate discovery
Process Engineering
program transformations
proof checker
R
Recurrence relation
S
Science Popularization
Signal-Flow-Graphs
T
theorem proving