Continental Breakfast and Opening Remarks

Welcome
JARED COHON,
President, Carnegie Mellon University

Microsoft Introduction
RICK RASHID,
Senior Vice President, Microsoft Research

Computational Thinking and the Future of Computing
JEANNETTE M. WING,
President's Professor and Head, Computer Science Department, Carnegie Mellon

Computational thinking is a way of solving problems, designing systems, and understanding human behavior based on concepts fundamental to computer science. It involves thinking in multiple layers of abstraction at once and gives us the power to scale beyond our imagination.

Research Mind Swap 1

Computer - Human Synergies and Automated Creativity
HENRY COHN,
Theory Group, Microsoft Research
LUIS VON AHN,
Computer Science Department, Carnegie Mellon

Humans are good at solving some problems, while computers are good at solving others. This session will explore how humans and computers can work together to solve problems neither could handle separately.

Research Mind Swap 2

Using Type Theory and Program Logics to Build More Dependable Computational Systems
DAVID TARDITI,
Advanced Compiler Technology Group, Microsoft Research
JOHN REYNOLDS,
Computer Science Department, Carnegie Mellon

Reasoning about programs is a fundamental aspect of computational thinking. Research at both Carnegie Mellon and Microsoft is focusing on how to use type theory and program logics to reason about programs. Carnegie Mellon has a distinguished history of developing improved type theories and program logics for these purposes and Microsoft Research is studying how to apply them in the Singularity project to build more dependable computational systems. Discussion will focus on our current research efforts in this area and how they complement each other.

Research Mind Swap 3

Auctions, Game Theory, and Algorithms
NICOLE IMMORLICA,
Theory Group, Microsoft Research
TUOMAS SANDHOLM,
Computer Science Department, Carnegie Mellon
AVRIM BLUM,
Computer Science Department, Carnegie Mellon

Auction design and game-theoretic issues are playing an increasing role in how we model computational problems and how we use and think about computation today. This session will highlight some of the work going on at Carnegie Mellon and Microsoft Research on these topics.

Interdisciplinary Computational Education Roundtable

Computing expertise is now necessary to solve hard problems in most disciplines. What are the specific computational challenges facing computing in other disciplines? How do educators prepare students for those challenges?

eScience and Cyberinfrastructure
TONY HEY,
Corporate Vice President, Microsoft Corporation


Moderator
YAN XU,
Microsoft Research

Panelists
LENORE BLUM,
Computer Science Department, Carnegie Mellon
TOM CORTINA,
Computer Science Department, Carnegie Mellon
DAVID KAUFER,
Department of English, Carnegie Mellon
ROGER DANNENBERG,
Computer Science Department and the School of Art,
Carnegie Mellon
DAVID YARON,
Department of Chemistry, Carnegie Mellon
BEN FRY,
School of Design, Carnegie Mellon
TIZIANA DI MATTEO,
Department of Physics, Carnegie Mellon
DANNIE DURAND,
Departments of Biological Sciences and Computer Science, Carnegie Mellon
STEPHANIE ROSENTHAL,
Senior, Computer Science Department, Carnegie Mellon

Jared Diamond Lecture

Dickson Prize Winner
McConomy Auditorium, University Center