ISSAC 2011: San Jose, CA, USA

Invited presentations

Tutorials

Contributed papers