Estructures de Dades i Algorismes, Spring quarter 2016

The website of the course has the information you need.

Computational Complexity, Spring quarter 2016

All announcements and information will be posted on the racó.

MIRI Seminar credits, Spring quarter 2016

A crash course on proof complexity of resolution. Check here.


Back to Albert Atserias' homepage.