ICE-TCS
Guests


Previous Guests

[2005]

Current and Future Guests (Roughly in Reverse Chronological Order)

Gerd Behrmann, CISS and Department of Computer Science, Aalborg University, Denmark.
Research Interests: Algorithmic verification, Tools for verification and validation.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavík University.
Period: 18-19 October, 2006.

Matthew Hennessy, University of Sussex, UK.
Research Interests: Concurrency theory, process algebra, global computing.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavík University.
Period: 18-22 October, 2006.

Tarmo Uustalu, Institute of Cybernetics, Tallinn University of Technology, Estonia.
Research Interests: structural proof theory and type theory (deductive systems and typed term calculi for intuitionistic and related logics), algebraic and categorical logic, semantics of programming languages, formal methods of program transformation and synthesis, but also knowledge representation and reasoning, modal logics of knowledge and action, philosophy of language, theory of knowledge.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavík University.
Period: 17-27 October, 2006.

David Sands, Chalmers University of Technology and University of Göteborg, Sweden.
Research Interests: Programming language semantics, and their applications to program transformation, static analysis and security.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavík University.
Period: 17-22 October, 2006.

Hanne Riis Nielson, Technical University of Denmark, Denmark.
Research Interests: Analysis and verification of safety and security properties of programs and systems.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavík University.
Period: 16-22 October, 2006.

Flemming Nielson, Technical University of Denmark, Denmark.
Research Interests: Modelling and validation of safe and secure systems; in particular program analysis, operational semantics, and security.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavík University.
Period: 16-22 October, 2006.

Kim G. Larsen, BRICS, CISS and Department of Computer Science, Aalborg University, Denmark.
Research Interests: Algorithmic verification, Tools for verification and validation, Concurrency theory, Logic in Computer Science.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavík University.
Period: 16-20 October, 2006.

Jaikumar Radhakrishnan, School of Technology and Computer Science, Tata Institute of Fundamental Research, India.
Research Interests: Randomness and Computing, Quantum Information and Computation, Information Theory, Combinatorics.
Host: Magnus M. Halldorsson.
Location: Dept. of Computer Science, Faculty of Engineering, University of Iceland.
Period: 6-14 September, 2006.

R. Ravi, Tepper School of Business, Carnegie Mellon University, USA.
Research Interests: Approximation algorithms, combinatorial optimization and computational molecular biology.
Host: Bjarni Halldorsson and Magnus M. Halldorsson.
Location: Dept. of Computer Science, Faculty of Engineering, University of Iceland.
Period: 2-11 July, 2006.

Guy Kortsarz, Department of Computer Science, Rutgers University-Camden, USA.
Research Interests: Design and analysis of approximation algorithms for NP-hard problems, and proving lower bounds on the approximability of NP-hard problems; Graph problems such as clustering, network-design, and scheduling problems.
Host: Magnus M. Halldorsson.
Location: Dept. of Computer Science, Faculty of Engineering, University of Iceland.
Period: 2-10 July, 2006.

Hadas Shachnai, Department of Computer Science, Technion, Israel.
Research Interests: Scheduling and resource allocation problems; Optimization and QoS issues on the Web; Approximation algorithms for hard optimization problems; Probabilistic analysis of algorithms; Parallel and distributed computation.
Host: Magnus M. Halldorsson.
Location: Dept. of Computer Science, Faculty of Engineering, University of Iceland.
Period: 26 June-6 July, 2006.

Vadim Bulitko, Department of Computing Science, University of Alberta, Canada.
Research Interests: Artificial intelligence in computer games, Real-time heuristic search, Machine learning.
Host: Yngvi Björnsson.
Location: Department of Computer Science, Reykjavík University.
Period: 5-8 June, 2006.

Nadia Busi, Department of Computer Science, University of Bologna, Italy.
Research Interests: Concurrency theory, process algebra, systems biology.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavík University.
Period: 5-9 June, 2006.

Moshe Y. Vardi, Department of Computer Science, Rice University, USA.
Research Interests: Applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavík University.
Period: 31 May-2 June, 2006.

Wan Fokkink, Department of Computer Science, Vrije Universiteit Amsterdam, NL.
Research Interests: Embedded systems, safety critical systems, distributed algorithms, security, protocol verification, process algebra, model checking, structural operational semantics.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavík University.
Period: 31 May-2 June, 2006.

Jan Kratochvil, Charles University, Czech Republic.
Research Interests: Graph Theory, Combinatorics and Computational Complexity.
Host: Magnus M. Halldorsson.
Location: Dept. of Computer Science, Faculty of Engineering, University of Iceland.
Period: 29 May-2 June, 2006.

Jan Friso Groote, Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands.
Research Interests: Concurrency theory, process algebra, distributed algorithms, verification and validation technology and tools, structural operational semantics, logic in computer science.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavík University.
Period: 7-27 May, 2006.

Artem Pyatkin, Department of Informatics, University of Bergen, Norway.
Research Interests: Discrete mathematics; graph theory.
Hosts: Sergey Kitaev.
Location: Reykjavík University.
Period: 5-10 April, 2006.

Bridget Eileen Tenner, Department of Mathematics, MIT, USA.
Research Interests: Enumerative and algebraic combinatorics.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavík University.
Period: 2-11 January, 2006.


Last modified: .