Name |
Program |
Place and Date |
Type of Presentation |
Roger Dannenberg
Associate Research Professor Computer Science
Department and School of Art |
Keynote Speaker
Australasian Computer Music Conference 2010
|
Thursday-Saturday
24-26 Jun 2010
Australian National University Canberra
|
TBA, Abstract |
Ananda Gunawardena
Associate Teaching Professor Computer Science
Department |
Keynote Speaker
Workshop on the Impact of Pen-Based Technology on Education (WIPTE 2009)
|
Monday-Tuesday
12-13 Oct 2009
Virginia Institute of Technology Blacksburg, VA
|
Potential of Pen Technologies in K-12 Education and Opportunities for Higher Education Involvement, Abstract |
Alexei Efros
Assistant Professor, Computer Science
Department and Robotics Institute |
Keynote Speaker
British Machine Vision Conference (BMVC 2009)
|
Monday-Thursday
7-10 Sept 2009
Queen Mary University London, UK
|
What can the world tell us about the image?, Abstract |
Mary Shaw
Alan J. Perlis Professor of Computer Science
|
Keynote
Address
7th Joint Meeting of the European Software Engineering Conference and the
ACM SIGSOFT Symposium on the Foundations of Software Engineering(ESEC/FSE 2009)
|
Monday-Friday
24-28 August 2009
VU University Amsterdam,
The Netherlands
|
The Challenge of Pervasive Software to the Conventional Wisdowm of Software EngineeringTBA, Abstract |
Carlos Guestrin
Assistant Professor
Machine Learning and Computer Science Departments |
Computers and Thought Award Lecture, Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)
|
Tuesday
14 July 2009
5:30 pm Pasadena Conference Center, Pasadena, CA
|
How Optimized Environmental Sensing Helps Address Information Overload on the Web, Abstract |
Carlos Guestrin
Assistant Professor
Machine Learning and Computer Science Departments and Andreas Krause |
Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) Tutorial
|
Monday
13 July 2009
1:30 - 5:30 pm Pasadena Conference Center, Pasadena, CA
|
Intelligent Information Gathering and Submodular Function Optimization, Abstract |
Robert Harper
Professor of Computer Science
Computer Science Department |
Invited Lecture
Ninth International Conference on Typed Lambda Calculus and 20th International Conference on Rewriting Techniques and Applications
|
Wednesday-Friday
1-3 July 2009
Universidade de Brasilia, Brazil
|
TBA, Abstract |
Mor Harchol-Balter
Associate Department head for Graduate Education and Professor,
Computer Science Department |
Speaker
ACM Sigmetrics/Performance 2009
|
Wednesday-Monday
10-15 June 2009
Renaissance Seattle Hotel Seattle, WA
|
TBA, Abstract |
Manuela Veloso
Herbert A. Simon Professor
Computer Science Department |
ACM/SIGART Autonomous Agent Research Award Lecture
The 8th International Conference on Autonomous Agents and Multiagents Systems (AAMAS 2009)
|
Wednesday
13 May 2009 12:30 pm
Europa Congress Center, Budapest, Hungary
|
TBA, Abstract |
Peter Lee
Professor of Head
Computer Science Department |
Distinguished Lecture Computer and Information Science Saul Gorn Memorial Lecture
University of Pennsylvania
|
Thursday, 3:00 pm
16 April 2009
|
Programming a Million Robots, Abstract |
John C. Reynolds
Professor of Computer Science
Computer Science Department |
Unified Invited Speaker
The European Joint Conference on the Theory and Practice of Software (ETAPS 2009)
|
Wednesday
25 March 2009
University of York
York, United Kingdom
|
TBA, Abstract |
Edmund Clarke
FORE Systems University Professor of Computer Science
Computer Science Department |
Distinguished Lecture
Department of Computer Science
University of Virginia
|
Monday
23 March 2009
Location: OLS 009
|
Model Checking: My 27-Year Quest to Overcome the State Explosion Problem, Abstract |
Robert Harper
Professor of Computer Science
Computer Science Department |
Invited Lecture
2nd International Workshop on Theory and Applications of Abstract, Substitution, and Binding (TAASN 2009)
|
Sunday
22 March 2009
University of York
York, United Kingdom
|
TBA, Abstract |
Manuela Veloso
Herbert A. Simon Professor
Computer Science Department |
Distinguished Lecture
EECS Northwestern University
|
Wednesday
18 March 2009 4:00 pm ITW Auditorium
|
Multi-Robot Teamwork Selection and Learning, Abstract |
Peter Lee
Professor of Head
Computer Science Department |
Distinguished Lecture
KAIST (Korea Advanced Institute of Science and Technology)
|
Monday
16 March 2009
4:00 pm Ford ITW Auditorium
|
Programming a Million Robots, Abstract |
Carlos Guestrin
Assistant Professor
Machine Learning and Computer Science Departments |
CCLS and Machine Learning Talk
Columbia University
|
Monday
2 March 2009
2:30 pm Interschool Lab, CEPSR 7th Fl
New York, NY
|
Optimzing Sensing from Water to the Web, Abstract |
Carlos Guestrin
Assistant Professor
Machine Learning and Computer Science Departments |
Invited Lecture
Center for Control, Dynamical Systems, and Computation Winter Lecture Series,
University of California Santa Barbara
|
Friday
20 February 2009
3:00 pm Santa Barbara, CA
|
Optimzing Sensing from Water to the Web, Abstract |
Robert Harper
Professor of Computer Science
Computer Science Department |
Tutorial
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
|
Wednesday-Friday
19 January 2009
Co-located with POPL 2009
Savannah, Georgia
|
Tutorial on Mechanizing Metatheory with LF and Twelf, Abstract |
Eric P. Xing
Assistant Professor
Machine Learning and Computer Science Departments and Language Technologies Institute |
Invited Lecture
NIPS 2008 Workshop on Structured Input, Structured Output (NIPS SISO 2008)
Vancouver, BC, Canada
|
Monday-Sunday
12 December 2008
|
Recent Advances in Learning Sparse Structured
Input/Output Model: Models, Algorithms, and Applications, Abstract |
David Garlan
Professor
Institute for Software Research and
Computer Science Department |
Distinguished Lecture MIT Lincoln Labs CTO Speaker Series
Lexington, MA
|
Friday
5 December 2008
|
Improving Software Quality through Software
Architecture, Abstract |
Eric P. Xing
Assistant Professor
Machine Learning and Computer Science Departments |
Invited Lecture
Workshop on Statistical Inference for Complex Networks
Sante Fe Intitute
|
Wednesday-Friday
3-5 December 2008
Sante Fe, New Mexico
|
Time (and Space)-Varying Networks: Reverse Engineering Rewiring Social and Genetic Interactions, Abstract |
Carlos Guestrin
Assistant Professor
Machine Learning and Computer Science Departments |
Distinguished Lecture
ICICS/Computer Science
University of British Columbia
|
Thursday
6 November 2008
Vancouver, B.C.
|
Optimizing Sensing from Water to the Web, Abstract |
Tuomas Sandholm
Professor
Computer Science Department |
Plenary Talk DIMACS-LAMSADE Workshop and Meeting on Algorithmic Decision Theory 2008
|
Tuesday-Friday
28-31 October 2008 Universitéy Paris Dauphine Paris, France
|
Expressiveness in Mechanisms and its Relation to Efficiency: Our Experience from $40 Billion of Combinatorial Multi-attribute Auctions, and Recent Theory, Abstract |
Tuomas Sandholm
Professor
Computer Science Department |
Invited Talk INFORMS Annual Meeting 2008 Session on Auctions and Mechanical Design
|
Wednesday
15 October 2008 Marriott Wardman Park Hotel and Onmi Shoreham Hotel Washington, DC
|
Theory of Expressiveness in Mechanism Design, with Uses in Combinatorial Auctions and Sponsored Search, Abstract |
Christopher J. Langmead
Assistant Professor
Computer Science Department |
Computational Biology Computing Society
|
Monday 1:30 pm
13 October 2008 Washington, DC
|
New Methods for Modeling Biomolecular Structures, Abstract |
Tuomas Sandholm
Professor
Computer Science Department |
Invited Talk INFORMS Annual Meeting 2008 Session on Applying OR Techniques to Politics
|
Sunday
12 October 2008 Marriott Wardman Park Hotel and Onmi Shoreham Hotel Washington, DC
|
Beyond the Revelation Principle: Manipulation-Optimal Mechanisms, Abstract |
Tuomas Sandholm
Professor
Computer Science Department |
Invited Talk INFORMS Annual Meeting 2008 Session on Computational Game Theory
|
Sunday
12 October 2008 Marriott Wardman Park Hotel and Onmi Shoreham Hotel Washington, DC
|
Algorithmic Generation of Strategies for Huge Imperfect-information Games, Applied to Texas Hold'em Poker, Abstract |
Mary Shaw
Alan J. Perlis Professor
Institute for Software Research |
Keynote Speaker
2nd International Symposium on Empirical Software Engineering and Measurement
(ESEM 2008) |
Thursday-Friday
9-10 October 2008
Fraunhofer Center, Kaiserslautern, Germany
|
Empirical Challenges in Ultra Large Scale Systems, Abstract |
John Reynolds
Professor
Computer Science Department |
Invited Talk
IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2008)
|
Monday-Thursday
6-9 October 2008
Novotel Toronto Centre Toronto, Canada
|
Readable Formal Proofs, Abstract |
Tuomas Sandholm
Professor
Computer Science Department |
Invited Speaker Inaugural New York Computer Science and Economics Day (NYCE Day)
|
Friday
3 October 2008 New York Academy of Sciences New York City
|
Expressiveness in Mechanisms and its Relation to Efficiency: Our Experience from $40 Billion of Combinatorial Multi-attribute Auctions, and Recent Theory, Abstract |
Robert Harper
Professor
Computer Science Department |
Distinguished Lecture, CSAIL
Massachusetts Institute of Technology
|
Thursday 4:00 pm
2 October 2008 CSAIL, 32-G449
|
Mechanizing the Metatheory of Programming Languages, Abstract |
Tuomas Sandholm
Professor
Computer Science Department |
Invited Speaker 2nd International Workshop on Computational Social Choice (COMSOC 2008)
|
Wednesday-Friday
3-5 September 2008 Department of Computer Science University of Liverpool United Kingdom
|
Expressiveness in Mechanisms and its Relation to Efficiency: Our Experience from $40 Billion of Combinatorial Multi-attribute Auctions, and Recent Theory, Abstract |
Christopher J. Langmead
Assistant Professor
Computer Science Department |
Formal Methods in Systems Biology
Cambridge, UK
|
Wednesday
4 June 2008 Microsoft Research
|
Formal Verification Under Parameter Uncertainty, Abstract |
David Garlan
Professor
Institute for Software Research and
Computer Science Department |
7th IEEE/ACIS International Conference on Computer and Information Science (ICIS2008)
Portland, Oregon
|
Wednesday
14 May 2008
|
Software Architectures for Task-Oriented Computing, Abstract |
Christopher J. Langmead
Assistant Professor
Computer Science Department |
Geometrical Simulation Techniques
Tempe, Arizona
|
Tuesday
13 May 2008
|
Fast, Physics-Based Free Energy Calculations, Abstract |
Daniel P. Siewiorek
Buhl University Professor and Director,
Human-Computer Interaction Institute |
CSE@50
University of Michigan
|
Friday
9 May 2008
9:15 am,
Computer Science and Engineering Bldg
Ann Arbor, Michigan
|
Panel Discussion: Interactive and Social Systems, Abstract |
|
|
|
|
|
|
|
|