Computer science faculty are on the road! They are giving distinguished lectures, meeting with colleagues, presenting at conferences and workshops, providing training and sharing their insights across the globe. Watch for our faculty and researchers in a location near you...
Name |
Program |
Place and Date |
Type of Presentation |
| 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 |