List of SMART talks
| Date (Mondays) | Title and Abstract | Speaker |
| JUL 17, 2006 | Competitive recommendation systems [slides] | Iordanis Kerenidis |
| JUL 03, 2006 | The Primality Testing Algorithm of Agrawal, Kayal and Saxena | Jaikumar Radhakrishnan |
| JUN 26, 2006 | Harmonic analysis in Theoretical Computer Science [slides] | Massimo Lauria |
| JUN 05, 2006 | Graph Coloring with Distance Constraints - Outerplanar Graphs [slides] | Emanuele Fusco |
| MAY 29, 2006 | Security and IP-Based 3G Wireless Networks | Thomas F. La Porta |
| MAY 22, 2006 | Methods for clustering subtle sense distinctions [slides] | Roberto Navigli |
| MAY 15, 2006 | A structural approach to the automatic adjudication of disagreed word senses [slides] | Roberto Navigli |
| MAY 08, 2006 | Introduction to quantum computing [slides] | Francesco Versaci |
| APR 10, 2006 | Safety [slides] | Vishwas Patil |
| APR 03, 2006 | Protection [slides] | Vishwas Patil |
| MAR 27, 2006 | Communication in a hostile environment | Janos Körner |
| MAR 20, 2006 | Blind signatures, untraceable electronic cash, oblivious communities - a survey [slides] | Angelo Spognardi |
| MAR 13, 2006 | Providing robust and secure decentralized services | Nitesh Saxena |
| MAR 06, 2006 | Clustering techniques for speeding up cosine-similarity queries [slides] | Alessandro Tiberi |
| FEB 27, 2006 | ARE FROGS TURING COMPATIBLE? | Don ``The Lion'' Knuth |
| FEB 20, 2006 | Monotone P != NP: Razborov lower bounds for monotone circuits size [slides] | Nicola Galesi |
| FEB 13, 2006 | Exact (exponential) algorithms for NP-hard problems [slides] | Fabrizio Grandoni |
| FEB 06, 2006 | Secret sharing schemes and their applications [slides] | Giorgio Zanin |
| JAN 30, 2006 | Bijective tree encoding [slides] | Saverio Caminiti |
| JAN 23, 2006 | An introduction to the theory of domains | Pietro Cenciarelli |
| JAN 16, 2006 | Problem session | PhD students |
| JAN 09, 2006 | Answering sum queries : an efficient and secure approach [slides] | Mauro Mezzini |
| | |
| DEC 19, 2005 | Computational semantics and recognising textual entailment | Johan Bos |
| DEC 12, 2005 | Shannon's main theorem explained in his own terms | Janos Körner |
| DEC 05, 2005 | P-NP-BPP-PCP or, the modern theory of computing | Alessandro Panconesi |
| NOV 28, 2005 | Federated RBAC [slides] | Vishwas Patil |
| NOV 21, 2005 | "Information non facit saltus" ovvero il valore unificante dell'informatica nella ricerca scientifica | Corrado Böhm |
| | |
| JUN 30, 2005 | SRDP: Securing Route Discovery in Multi-hop MANETs [slides] | Gene Tsudik |
| JUN 13, 2005 | A methodology for P2P filesharing traffic detection | Angelo Spognardi |
| JUN 06, 2005 | Regularity lemma and its applications | Miklos Simonovits |
| MAY 30, 2005 | Graphs, hypergraphs, extremal hypergraph results | Miklos Simonovits |
| MAY 23, 2005 | AB what? a seminar on statistical pattern recognition | Alessio Malizia |
| MAY 16, 2005 | From UML to graph transformation systems | Lars Schaps |
| MAY 09, 2005 | Applying link analysis to word sense disambiguation | Roberto Navigli |
| MAY 02, 2005 | Problems and conjectures from the last century | Janos Körner |
| APR 18, 2005 | Problem session | Mauro Sozio |
| APR 11, 2005 | Computational methods in genetic studies: multiplex PCR | Elena Losievskaja |
| APR 04, 2005 | Clustering in Ad hoc networks | Michele Mastrogiovanni |
| MAR 21, 2005 | Problem Session | PhD Students |