Colloquia and Seminars |
2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 |
| To further the education of all members of the department, we hold regular colloquia featuring exceptional researchers from all branches of Computer Science. Departmental colloquia usually held in SH 107 at 3:30 on Wednesdays, but any time and day is possible. Several groups within the department offer seminars including: |
| Graduate Student Seminars |
| KLAP Seminars |
| PLEASE Seminars |
| Date | Time | Room | Speaker | Topic |
| 2000-12-06 | Mikhail Auguston, Department of Comptuer Science, NMSU | A Visual Programming Language for Software Generation More Information | ||
| 2000-11-29 | Jonathan Cook, Department of Computer Science, NMSU | Behavior-to-Model Correspondence, or, How Close Does a Real-Time, Concurrent System Match its Design? More Information | ||
| 2000-11-15 | Laure Fotso, University of Yaounde I, Yaounde, Cameroon | MEDITRA: A Knowledge Base System on African Traditional Medicine More Information | ||
| 2000-04-10 | Lucia K. Dale, Department of Computer Science Texas A&M University | Optimization Techniques for Randomized Motion Planning More Information | ||
| 2000-04-03 | William Gasarch, Computer Science Department, University of Maryland | Bridging the Gap Between Math Games and Fun Games More Information | ||
| 2000-03-29 | Curtis Dyreson, School of Information Technology, Bond University, Australia | Capturing Meta-data in a Semistructured Database More Information | ||
| 2000-03-24 | Amit Bagga, General Electric Corporate, Research and Development | Coreference, Cross-Document Coreference, and Information Extraction Methodologies More Information | ||
| 2000-03-20 | Mary Zajicek, Oxford Brookes University, UK | Web browsinf for blind and partially sighted users: varying the functionality More Information | ||
| 2000-03-13 | Nil Jones, University of Copenhagen, UK | Termination analysis: a new perspective More Information | ||
| 2000-03-10 | James L. Caldwell, Department of Computer Science, University of Wyoming | Programming with Proofs, and Proving Programs More Information | ||
| 2000-03-06 | Shaun Cooper, Computing and Networking, NMSU | Enhanced Explicit Rate Available Bit Rate Asynchronous Transfer Mode TPC/IP Networks More Information | ||
| 2000-02-28 | Victor L. Winter, High Integrity Software Group, Sandia National Labs | Sandia National Labs A Refinement-based Approach to Developing Software Controllers More Information | ||
| 2000-02-25 | Son Cao Tran, University of Texas at El Paso | Reasoning About Sensing Actions and Its Application To Diagnostic Problem Solving More Information |