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 |
| 2004-12-08 | 03:45:00 | 124 | Alessandro Dal Palu, NMSU | Parallel Constraint-based Solution for the Mapping of Helices between 1D and 3D Protein Structure. More Information |
| 2004-12-01 | 03:45:00 | Agostino Dovier, University of Udine, Italy | Constraint Programming approaches to the Protein Structure Prediction Problem More Information | |
| 2004-11-10 | 03:45:00 | Dr. Mirek Truszczynski, University of Kentucky | Logic Programs with Abstract Constraints More Information | |
| 2004-10-27 | 03:45:00 | Dr. Phan Minh Dung | Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach More Information | |
| 2004-10-25 | 12:00:00 | 124 | Hung Viet Le, NMSU KLAP Seminars |
The parallelism of stable model computing on Distributed Memory Machines More Information |
| 2004-10-18 | 01:00:00 | 124 | Richard H. Dale, NMSU Graduate Student Seminars |
Check digits More Information |
| 2004-10-18 | 12:00:00 | 124 | Chongbing Liu, NMSU KLAP Seminars |
The Foundations of Inductive Logic Programming More Information |
| 2004-10-11 | 12:00:00 | 124 | Tu Phan, NMSU KLAP Seminars |
Ramifications with Incomplete Information More Information |
| 2004-10-06 | 01:30:00 | 124 | Hing Leung, NMSU | Descriptional Complexity of Nondeterministic Finite Automata of Different Ambiguity More Information |
| 2004-10-04 | 01:30:00 | 124 | Brain Cloteaux, NMSU Graduate Student Seminars |
An Introduction to Pointer Machines More Information |
| 2004-10-04 | 124 | Yu Pan, NMSU KLAP Seminars |
Web Service Choreography Description Language Model More Information | |
| 2004-09-27 | 01:30:00 | 124 | Yonggang Lu, NMSU Graduate Student Seminars |
An Algorithm for Helices Mapping between 3D and 1D Protein Structure More Information |
| 2004-09-27 | 12:00:00 | 124 | Islam Elkabani KLAP Seminars |
Intensional Sets in CLP. More Information |
| 2004-09-13 | 01:30:00 | 124 | Alessandro Dal Palu Graduate Student Seminars |
Protein folding in Constraint Logic Programming over Finite Domains More Information |
| 2004-05-05 | 04:00:00 | Dr. Frank Harary, NMSU | Combinatorial Games on graphs and numbers: AI program challenges More Information | |
| 2004-04-28 | Jing He, NMSU | A Computational Method for Building 3D and 1D Mapping Library Using the Length Constraints of the Helices in 3D More Information | ||
| 2004-04-26 | 12:30:00 | 124 | Tu Phan, NMSU KLAP Seminars |
Sensing and NonDeterministic Actions in Domains with Multi-Valued Fluents More Information |
| 2004-04-23 | 12:00:00 | 124 | Amiya Bhattacharya | Recent Research Trends in Computer Networking More Information |
| 2004-04-19 | Wolfgang Bein, University of Nevada, Las Vegas | The k-Server Problem - The State of the Art More Information | ||
| 2004-04-18 | 12:30:00 | 124 | Brain Palmer, NMSU KLAP Seminars |
Translation and Navigation in Digital Mathematics More Information |
| 2004-04-12 | 01:00:00 | 124 | Emad Saad, NMSU KLAP Seminars |
Hybrid Probabilistic Programs More Information |
| 2004-04-07 | 03:45:00 | Jon Cook, NMSU | Software: Amazing success or Astounding Failure? More Information | |
| 2004-04-05 | 12:30:00 | 124 | Hung Viet Le, NMSU KLAP Seminars |
Induction of Logic Programs: FOIL and Related Systems More Information |
| 2004-04-02 | 11:00:00 | 124 | Oliver Hampton, NMSU Graduate Student Seminars |
Highly Specific Protein Function Classification Using Hidden Markov Models More Information |
| 2004-03-29 | 12:30:00 | 124 | Brain Cloteaux, NMSU KLAP Seminars |
Dynamically Finding Least Common Ancestors in DAGs More Information |
| 2004-03-15 | 12:30:00 | 124 | Chongbing Liu, NMSU KLAP Seminars |
Inductive Logic Programming: Basic Approaches More Information |
| 2004-03-11 | 12:00:00 | 124 | Dayong Qu, NMSU Graduate Student Seminars |
Online E-Commerce System with J2EE and N-Tier Architecture A case study: An online Chinese Art Store More Information |
| 2004-03-08 | 12:30:00 | 124 | Ian Strascina, NMSU KLAP Seminars |
MINERVA - A Dynamic Logic Programming Agent Architecture More Information |
| 2004-03-01 | 12:30:00 | 124 | Xiaofeng Xiao, NMSU KLAP Seminars |
Parallel Algorithm for Programming in CLP(SET) More Information |
| 2004-02-27 | 12:00:00 | 124 | Dan Tappan, NMSU Graduate Student Seminars |
Knowledge-Based Spatial Reasoning for Automated Scene Generation from Text Descriptions More Information |
| 2004-02-25 | 03:45:00 | Amiya Bhattacharya | Sensor Networking from a Computer Science Perspective More Information | |
| 2004-02-25 | 01:15:00 | 124 | Islam Elkabani, NMSU KLAP Seminars |
Smodels with CLP and its Applications: A Simple and Effective Approach to Aggrgates in ASP More Information |
| 2004-02-20 | 02:00:00 | 124 | Jon Cook, NMSU Graduate Student Seminars |
Building Programs with Modules: from Static Libraries to Dynamically Pluggable Components More Information |
| 2004-02-18 | 01:15:00 | 124 | Omar El Khatib, NMSU KLAP Seminars |
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog More Information |
| 2004-02-18 | 03:45:00 | Clint Jeffery, NMSu | From Virtual Machines to Virtual Communities More Information | |
| 2004-02-13 | 12:00:00 | 124 | Nemecio Chavez, NMSU Graduate Student Seminars |
Commonsense Aspects of Story Understanding More Information |