Seminars
2005-2006
| Date | Speaker(s) | Title |
|---|---|---|
| 2006/05/12 | E. Kranakis | Local computation and global communication in wireless networks |
| 2006/05/05 | C. Nikolaidis | Combinatorial algorithms for the symmetric group S_n |
| 2006/04/14 | D. M. Thilikos | Using submodular functions to generate with parameters: the issues of monotonicity and connectivity |
| 2006/04/07 | E. Paschos | Robustness under uncertainty |
| 2006/03/31 | D. Richerby | Hilbert's ε-operator |
| 2006/03/24 | Y. N. Moschovakis | Recursion and complexity |
| 2006/01/27 | E. Zachos | Hierarchies of complexity classes |
| 2006/01/20 | S. Artemov & E. Nogina | Proofs, Evidence, Knowledge |
| 2005/12/16 | C. Dimitracopoulos | Subsystems of first-order arithmetic |
| 2005/11/11 | D. Richerby | Is there a logic for polynomial time? |
| 2005/11/04 | P. Karazeris | Geometrical theories, classifying topoi |
| 2005/10/21 | R. Iemhoff | An alternative Skolemization method |
| 2005/10/14 | S. Terwijn | Intuitionistic Logic and Medvedev Degrees |
| 2005/10/07 | Y. N. Moschovakis | Kleene's infamous second recursion |