Archive 2007/2008
Computer science faculty have been on the road! They have given distinguished lectures, keynote addresses and presentations at conferences and workshop across the globe. Watch for our faculty and researchers in a location near you...
Name |
Program |
Place and Date |
Type of Presentation |
| 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 |
| Avrim Blum Professor of Computer Science Computer Science Department |
Distinguished Lecture Computer Science Department, University of Southern California |
Thursday 24 April 2008 3:30 pm, SSl 150 |
Semi-supervised Learning, Abstract |
| Lenore Blum Distinguished Career Professor of Computer Science Computer Science Department |
CSAIL Dertouzos Lecture Department of Electrical Engineering and Computer Science, MIT |
Friday 11 April 2008 4:00 pm, 32-123 |
(What We Can Learn from the) Canaries in the Computer Science Coal Mine, Abstract |
| Avrim Blum Professor of Computer Science Computer Science Department |
Machine Learning Summer School 2008 (ANU-MLSS) Invited Lectures Kioloa Coastal Campus Australian National University |
Thursday-Friday 13-14 March 2008 |
Online Learning, Regret Minimization and Game Theory; and On Learning with Similarity Functions, Abstract |
| Christopher J. Langmead Assistant Professor Computer Science Department |
Invited Speaker Dept. of Computer Science University of Toronto |
Tuesday 11 March 2008 Toronoto, Canada |
New Methods of Modeling the Dynamics of Biomolecular Structures, Abstract |
| Christopher J. Langmead Assistant Professor Computer Science Department |
Invited Speaker Dept. of Computer Science University of Waterloo |
Monday 10 March 2008 Hanover, New Jersey |
New Methods of Modeling the Dynamics of Biomolecular Structures, Abstract |
| Christopher J. Langmead Assistant Professor Computer Science Department |
Invited Speaker Dept. of Computer Science Dartmouth College |
Monday 3 March 2008 Hanover, New Jersey |
New Methods of Modeling the Dynamics of Biomolecular Structures, Abstract |
| Christopher J. Langmead Assistant Professor Computer Science Department |
Invited Speaker Dept. of Electric and Computer Engineering University of Massachusetts, Amherst |
Friday 29 February 2008 Amherst, Massachusetts |
New Methods of Modeling the Dynamics of Biomolecular Structures, Abstract |
| Roger B. Dannenberg Associate Research Professor Computer Science Department and School of Art |
Concert Connecticut College 11th Biennial Symposium on Art and Technology |
Thursday 28 February 2008 8:00 pm Evans Hall, Cummings Art Center |
"Critical Point", Abstract |
| Jeannette M.
Wing National Science Foundation and President's Professor of Computer Science, Computer Science Department |
The Gerard Salton Lecture Series Dept. of Computer Science Cornell University |
Thursday 28 February 2008 4:15 pm B17 Upson Hall |
Extracting Confidentiality Policies from Source Code, Abstract |
| Luis von Ahn Assistant Professor, Computer Science Department |
The Gerard Salton Lecture Series Dept.. of Computer Science University of Toronto |
Tuesday 12 February 2008 11:00 am Bahen Center for Information Technology, Room 1180 |
TBA Code, Abstract |
| Peter Lee Professor and Head, Computer Science Department |
Distinguished Lecture Series UCSD Jacobs School Dept of Computer Science and Engineering |
Monday 11 February 2008 11:00 am |
Ten Years of Certified Code, Prospects for the Future Abstract |
| Todd C. Mowry Associate Professor Computer Science Department and Dept. of Electrical and Computer Engineering |
ECE Distinguished Lecture University of Toronto Dept of Electrical and Computer Engineering |
Thursday 7 February 2008 3:00 pm |
Pario: the Next Step Beyond Audio and Video Abstract |
| Christopher J. Langmead Assistant Professor Computer Science Department |
Invited Speaker Dept. of Electrical Engineering EEIC, University of Tokyo |
Thursday 17 January 2008 Tokyo, Japan |
Applications of Model Checking to Biology, Abstract |
| Manuela M. Veloso Herbert A. Simon Professor Computer Science Department |
Distinguished Lecture David R. Cheriton School of Computer Science University of Waterloo |
Date TBA January 2008 Waterloo, Canada |
TBA, Abstract |
| Eric P. Xing Assistant Professor, Computer Science Department, Machine Learning Department, and Language Technologies Institute |
Keynote Talk The Sixth International Conference on Machine Learning Applications (ICMLA'07) |
Thursday-Saturday 13-15 December 2007 Cincinatti, Ohio |
Probabilistic Graphical Models – Theory, Algorithm, and Application, Abstract |
| Manuela M. Veloso Herbert A. Simon Professor Computer Science Department |
Keynote Speaker RoboAsia 2007 |
Thursday 29 November 2007 Singapore |
Task-Improving Robots through Observation and Learning, Abstract |
| Mahadev Satyanarayanan Carnegie Group Professor, Computer Science Department |
The Gerard Salton Lecture Series Dept. of Computer Science Cornell University |
Thursday 15 November 2007 4:15 pm B17 Upson Hall |
Interactive Data Exploration with Diamond, Abstract |
| Seth Goldstein Associate Professor Computer Science Department |
Keynote Speaker 5th ACM Conference on Embedded Networked Sensor Systems (SenSys 2007) |
Wednesday 7 November 2007 Sydney, Australia |
On the Path Towards Programmable Matter, Abstract |
| Tuomas Sandholm Professor Computer Science Department |
Invited Lecture The Wallenberg Symposium on Medicine, Technology and Economics |
Tuesday-Friday 23-26 October 2007 The Royal Swedish Academy of Engineering Sciences and Chalmers University Stockholm, Sweden |
Clearing Algorithms for Barter Exchange Markets: Enabling Nationwide Kidney Exchanges, Abstract |
| Hui
Zhang Professor, Computer Science Department and Electrical and Computer Engineering |
Keynote Speech International Conference of Network Protocol (ICNP2007) Beijing, China |
Tuesday-Friday 16-19 October 2007 The Westin Beijing |
Internet Video: New Wine, Old Bottle, Abstract |
| Christos
Faloutsos Professor Computer Science Department |
Samuel D. Conte
Distinguished Lecture Computer Science Department Purdue University |
Monday, 3:30 pm 15 October 2007 West Lafayette, Indiana |
Graph Mining: Laws, Generators and Tools, Abstract |
| Manuela M. Veloso Herbert A. Simon Professor Computer Science Department |
Invited Speaker Fermi National Accelerator Laboratory |
Wednesday 3 October 2007 Chicago, Illinois |
Task-Improving Robots through Observation and Learning, Abstract |
| Takeo Kanade U.A. and Helen Whitaker University Professor, Computer Science Department and Robotics Institute |
Keynote Speaker 12th International Conference on Human-Computer Interaction HCI2007) |
Sunday-Friday 22-27 July 2007 Beijing International Convention Center Beijing, China |
Digital Human Modeling and Quality of Life Technology, Abstract |
| Tuomas Sandholm Professor Computer Science Department |
Conference Talk Twenty-Second Conference on Artificial Intelligence (AAAI-07) |
Sunday-Thursday 22-26 July 2007 Hyatt Regency Vancouver British Columbia, Canada |
Automated Online Mechanism Design and Prophet Inequalities, Abstract |
| David
Garlan Associate Professor, Computer Science Department and Institute for Software Research |
Keynote Talk The International Conference on Emerging Trends in High Performance Architecture, Algorithms & Computing ((HIPAAC2007) |
Thursday 12 July 2007 SSN Campus Chennai, India |
Architecture-driven Modelling and Analysis for Reliability and Performance, Abstract |
| Christos
Faloutsos Professor Computer Science Department |
Short Course The International Doctoral School of Technology and Science, Aalborg University |
Thursday-Friday 5-6 July 2007 Denmark |
Discovering Patterns in Streams and Graphs, Abstract |
| Mary Shaw Alan J. Perlis Professor of Computer Science |
Special Presentation 20th Conference on Software Engineering Education and Training (CSEE&T 2007)) |
Tuesday-Friday 3-6 July 2007 Dublin City University Dublin, Ireland |
Developing Software Engineering Curriculum for the 21st Century, Abstract |
| Hui Zhang Professor, Computer Science Department |
Keynote Speech 2007 International Conference on Multimedia & Expo (ICME) |
Tuesday 3 July 2007 Beijing International Conference Center Beijing, China |
Internet Video: The Next Big Thing, Abstract |
| Avrim Blum Professor Computer Science Department |
Invited Speaker PASCAL Workshop on Graphy Theory and Machine Learning |
Thursday-Friday 28-29 June 2007 Best Western Hotel Kompas Bled Bled, Slovenia |
A Theory of Similarity Functions for Learning and Clustering, Abstract |
| Tuomas Sandholm Professor Computer Science Department |
Invited Lecture Thomas E. Starzl Transplantation Center |
Thursday 28 June 2007 University of Pittsburgh Medical Center Pittsburgh, Pennsylvania |
Clearing Algorithms for Barter Exchange Markets: Enabling Nationwide Kidney Exchanges, Abstract |
| Frank Pfenning Professor Computer Science Department |
Plenary Invited Talk Conference on Typed Lambda Calculi and Applications (TLCA'07), joint with 18th International Conference on Rewriting Techniques and Applications (RTA'07) |
Tuesday 26 June 2007 Paris, France |
On a Logical Foundation for Explicit Substitutions, Abstract |
| Manuela M. Veloso Herbert A. Simon Professor Computer Science Department |
Keynote Lecture 9th Annual Bar Ailan Symposium on Foundations of Artificial Intelligence (BISFAI'07) |
Thursday 21 June 2007 Bar-Ilan University, Israel |
Selective Use of Multiple Sources of Robot Sensory Information, Abstract |
| Christos
Faloutsos Professor Computer Science Department |
Keynote
Speech 9th Asia-Pacific Web Conference (APWeb/WAIM 2007) |
Saturday 16 June 2007 HuangShan, China |
Data Mining using Fractals and Power Laws, Abstract |
| David A. Eckhardt Associate Teaching Professor, Computer Science Department |
Invited Talk School of Computer Science External Speakers Program South Central University of Nationalities in Wuhan |
Wednesday 13 June 2007 Hubei Province, China |
Quality of Service vs. Provisioning: Who won, who lost, and who is to blame?, Abstract |
| David A. Eckhardt Associate Teaching Professor, Computer Science Department |
Invited Talk School of Computer Science External Speakers Program South Central University of Nationalities in Wuhan |
Wednesday 13 June 2007 Hubei Province, China |
CMU CS Curriculum Overview, Abstract |
| Eric Xing Assistant Professor, Computer Science Department, Machine Learning Department, and Language Technologies Institute |
Keynote Speaker 6th Annual Graybill Conference (Graybill VI) |
Thursday-Saturday 12-13 June 2007 Colorado State University, Hilton Fort Collins Fort Collins, Colorado |
Graphical Models and Algorithms for IntegrativeBioinformatics, Abstract |
| Robert Harper Professor, Computer Science Department |
Invited Lecture 23rd British Colloquium for Theoretical Computer Science |
Monday-Thursday 2-5 April 2007 St. Anne's College Campus Oxford,England |
Mechanizing the Metatheory of Standard ML, Abstract |
| Mahadev Satyanarayanan Carnegie Group Professor, Computer Science Department |
2007 Big Thinkers: Yahoo! Distinguished Lecture Series |
Thursday 15 March 2007 11:00 am Yahoo! Mission College, Bldg 2 Training Rooms 5/6 |
Interactive Data Exploration with Diamond, Abstract |
| Luis von Ahn Assistant Professor, Computer Science Department |
Invited Lecture Carnegie Mellon Washington D.C. Alumni Events |
Wednesday 7 March 2007 6:00 pm Edison Electric Institute |
Human Computation, Abstract |
| Jeannette M. Wing President's Professor and Head, Computer Science Department |
Distinguished Lecture SUNY Stonybrook |
Wednesday 28 February 2007 Computer Science 2311 |
Automatic Generation and Analysis of Attack Graphs, Abstract |
| Jeannette M. Wing President's Professor and Head, Computer Science Department |
Distinguished Lecture University of Wisconsin-La Crosse |
Monday 19 February 2007 |
Automatic Generation and Analysis of Attack Graphs, Abstract |
| Mor Harchol-Balter Associate Professor of Computer Science |
Lunteren Lectures 32nd Conference on the Mathematics of Operations Research, The Netherlands |
Tuesday (Part I) 16 January 2007 12:00-12:45 pm Wednesday (Part II) 17 January 2007 11:00-11:45 am Conference Center De Werelt, Lunteren The Netherlands |
Scheduling in Multiserver Systems: Approaches and Open Problems (Part I & II), Abstract |
| Mark Stehlik Assistant Dean for Undergraduate Education, School of Computer Science University |
Teaching Qatar Campus Carnegie Mellon University |
Wednesday 10 January 2007 through Wednesday, 14 March 2007 |
Courses:15-213, 15-337 Advising and More! , Abstract |
| Lenore Blum Distinguished Career Professor of Computer Science University |
Distinguished Lecture College of Engineering, University of Kentucky |
Thursday 14 September 2006 5:30 pm Chemistry/Physics Bldg, Room 139 |
Computing over the Reals: Where Turing Meets Newton, Abstract |