COMPUTER SCIENCE DEPARTMENT CS Home Department Know CS About CS Mission Research Seminar Acad Honesty Policy ABET and SACS Reports Intl Student Info Computing Facilities Gallery Gifts & Donations Academics Course Schedule Textbooks Course Rotation Schedule Graduate Undergraduate Grants Financial Aid MSDNAA People Faculty List Assessment Tenure Guidelines Promotion Guidelines Staff current Former Employer Message Board Student Orgs Ind. Advisory Board Undergraduate Program of Study CS CIS CS & EE Course Description Freshmen Curriculum CS4Hire Mentoring Program Entrance Requirements Academic Policy Outcomes and Objectives 5 Year CIS/MBA Track Graduate Overview Mission Vision Objectives Degree Reqs Course Description Application Process Admissions CS4Hire Faculty Courses Thesis/Non-Thesis Option Internships Research Graduation Alumni Certifications SCP Hall of Honor Tech Reports TeraGrid

Campus Map Computer Science Flash Video   Contact Us CS Mail CS Women Department Research Seminar Department Server Info Employment Opportunity INSPIRED-UG Research LU Colleges LU Home Message Board Middle School Students REU STAIRSTEP Welcome High School Students                 COLLOQUIUM SERIES Prof. Bruno BuchbergerProfessor and Founding Chairman Research Institute for Symbolic Computation University of Linz, Austria Prof. Buchberger is the inverntor of the wel-known theory of the Groebner Bases for Automatically Solving Sysytems of Non-Linear Equations. He is a world-recognized leading expert on sysmbolic computation. This time, Prof. Buchberger will lecture onGroebner Bases and Automated Theorem Proving © 2006-2008 Computer Science Department - Lamar University A Member of The Texas State University System