Centre for Intelligent Systems and their Applications Seminars
If you have a question about this list, please contact:
Each talk has an organiser. Please contact them in the first instance if you have a query about a particular talk. Only contact one of the people below if you have a question about the list, such as whether your talk or series could be added.
| YAMZ: better, faster, cheaper vocabulary standardization |
|---|
| John Kunze, Berkeley/The California Digital Library |
| Mon 23 Nov 2015, 14:00 - 15:00 |
| Informatics Forum (IF-4.31/4.33) |
| The PolisGnosis Project: Enabling the Computational Analysis of City Performance |
|---|
| Mark Fox, Global Cities Institute, University of Toronto |
| Tue 09 Jun 2015, 14:00 - 15:00 |
| Informatics Forum (IF-4.31/4.33) |
| The Softer Side of Machine-Checked Proof |
|---|
| Gerwin Klein, NICTA / UNSW |
| Mon 20 Apr 2015, 14:00 - 15:00 |
| Informatics Forum (IF-4.31/4.33) |
| Creating Video Stories |
|---|
| Lynda Hardman, CWI Amsterdam |
| Wed 08 Apr 2015, 16:00 - 17:00 |
| Informatics Forum (IF-4.31/4.33) |
| Computer Science and the Technological Revolution in Education |
|---|
| Kobi Gal, Ben-Gurion University |
| Mon 30 Mar 2015, 14:00 - 15:00 |
| Informatics Forum (IF-4.31/4.33) |
| Intelligent Simulated Reality: Research at the Crossroads of Visual Computing, Artificial Intelligence, and High-Performance Computing |
|---|
| Philipp Slusallek |
| Wed 25 Mar 2015, 16:00 - 17:00 |
| Informatics Forum (IF-G.07) |
| Efficient Query Rewriting under Ontology Change |
|---|
| Eleni Tsalapati, National Technical University of Athens |
| Mon 23 Mar 2015, 14:00 - 15:00 |
| Informatics Forum (IF-4.31/4.33) |
| Auction Mechanism for Mixed Ads |
|---|
| Sofia Ceppi, Microsoft |
| Mon 16 Mar 2015, 14:00 - 15:00 |
| Informatics Forum (IF-4.31/4.33) |
| Logging-in Insecurely: Reverse-Engineering the Smart-Card Communication Layer |
|---|
| Andriana Gkaniatsou |
| Mon 02 Mar 2015, 14:00 - 15:00 |
| Informatics Forum (IF-4.31/4.33) |