If you want raw timely information about what is cooking in our lab you can follow the following Google+ and Twitter streams:
We have discontinued our Facebook, Linkedin and XING accounts and are now exclusively posting on Google+ and Twitter.
Top Network Posts
- 34Memory Stream in Java
- 18Update UI from Thread
- 11In-place inversion of large matrices
- 10Is there a program that can draw a search tree of Prolog queries?
- 10Prolog Functor - Computing x^y
- 10In der Diagnose links, rechts: Aus wessen Sicht?
- 9Prove that $\beta \rightarrow \neg \neg \beta$ is a theorem using standard axioms 1,2,3 and MP
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.