Department Seminar Series

Past Talks: 2010/11 Session

Date Speaker Title Host
05 Oct 2010
Prof Shmuel Zaks

Department of computer Science, Technion, Haifa, Israel 		Optimization problems in optical networks P. Wong
12 Oct 2010
Dr Oded Lachish

Centre for Discrete Mathematics and its Applications (DIMAP), University of Warwick, UK 		Testing a language accepted by a fixed Boolean formula R. Savani
19 Oct 2010
Prof Damian Niwinski

Faculty of Mathematics, Informatics and Mechanics, Warsaw University, Poland 		Complexity of infinite tree languages --- when automata meet topology S. Schewe
02 Nov 2010
Prof Xiaotie Deng

Department of Computer Science, University of Liverpool, UK 		Market Equilibrium: Truthfullness and Incentive
03 Nov 2010
Prof Michael Segal

Communication Systems Engineering Department, Ben-Gurion University, Israel 		Algorithmic issues in VANETs D. Kowalski
09 Nov 2010
Dr George Chalkiadakis

School of Computing ScienceSchool of Electronics and Computer Science, University of Southampton, UK 		Cooperative Games with Overlapping Coalitions P. Krysta
16 Nov 2010
Prof Philippe Schnoebelen

LSV, CNRS & ENS Cachan, Cachan, France 		Proving complexity bounds for well-structured systems F. Wolter
23 Nov 2010
[Cancelled]
Prof Paul Spirakis

Department of Computer Engineering & Informatics, University of Patras and CTI Patras, Greece 		Approximate Nash Equilibria in Bimatrix Games [Talk cancelled]
07 Dec 2010
Prof Thomas Erlebach

Department of Computer Science, University of Leicester, UK 		Computing with Uncertainty L. Gasieniec
01 Feb 2011
Prof Paqui Lucio

Department of Computer Languages and Systems, University of the Basque Country, Spain 		Invariant-Free Deduction Methods for PLTL M. Fisher
08 Feb 2011
Prof Mamoru Kaneko

Institute of Policy and Planning Sciences, University of Tsukuba, Japan 		A measure of inference in classical and intuitionistic logics: some applications to game theory W. van der Hoek
22 Feb 2011
Prof Mark Jerrum

School of Mathematical Sciences, Queen Mary, University of London, UK 		The computational complexity of Ising model on some classes of matroids L. A. Goldberg
04 Mar 2011
Mr Mahyar Salek

Department of Computer Science, University of Southern California, USA 		Frugal Procurement Auction Design D. Wojtczak
08 Mar 2011
Dr Chiara Ghidini

Fondazione Bruno Kessler (FBK), Trento, Italy 		Semantically-aided business process modeling V. Tamma
15 Mar 2011
Prof Paul Spirakis

Department of Computer Engineering & Informatics, University of Patras and CTI Patras, Greece 		Approximate Nash Equilibria in Bimatrix Games (This is joint Departmental & CTAG Seminar) P. Goldberg
22 Mar 2011
Prof Monika Henzinger

Faculty of Computer Science, University of Vienna, Austria 		Sponsored Search Auctions or How Web Search Engines Make Money P. Krysta
29 Mar 2011
Dr Khaled Elbassioni

Max Planck Institute for Computer Science, Sarbruecken, Germany 		Truthful mechanisms for auctions with geometric bundles P. Krysta
05 Apr 2011
Prof Filippo Lanubile

Department of Informatics, University of Bari, Italy 		Computer-Mediated Communication in Distributed Software Development E. Erriquez, V. Tamma
06 Apr 2011
LDCSL 		Professor Michael Kearns
University of Pennsylvania 		Strategic Behavior and the Science of Social Networks Prof. Paul Goldberg
12 Apr 2011
Dr Rogerio de Lemos

School of Computing, University of Kent, UK 		Dynamic Generation of Processes for Self-Adaptive Software Systems M. Fisher
03 May 2011
Prof Pedro Cabalar

Department of Computer Science, Corunna University, Spain 		An Introduction to Temporal Equilibrium Logic M. Fisher
04 Jun 2011
Prof Allan Borodin

Department of Computer Science, University of Toronto, Canada 		Greedy strikes back (again) X. Deng
14 Jun 2011
Dr Florian Widmann

Department of Computing, Imperial College London, UK 		From Trees to Graphs in Modal Tableaux U. Hustadt

Older Seminars
ordered by Academic Year


Other seminar series