05/06/2024 - This past month, UTPC competed at the International Collegiate Programming Contest (ICPC) World Finals hosted by the Arab Academy for Science, Technology and Maritime Transport in Luxor, Egypt. The competition consisted of teams from 124 regions (approx. 372 students) trying to solve 11 problems in 5 hrs. The first-place team, Peking University, solved 10 problems. The second-place team, M.I.T., solved 9 problems. UT solved 6 problems and came in 53rd place, 9th place in North America. Read more
10/26/2023 - This year, the Department of Computer Science is celebrating the 20th anniversary of the Turing Scholars Honors Program, a milestone that recognizes the many talented students the program has seen since its inception. Over the years, the program has established itself as one of the premier computer science honors programs in the country, leaving a lasting impact on its graduates’ academic and professional journeys. Read more
08/15/2023 - For the past two decades, The University of Texas at Austin's Computer Science Academies have been at the forefront of providing pre-collegiate computer science education. Starting with the inception of First Bytes, a summer camp aimed at high school women, the program has undergone a remarkable evolution, expanding opportunities to diverse students from across Texas and the United States substantially. Read more
12/05/2018 - In 2016,  Google reported that only six out of ten schools (K-12) offered at least one computer science class. While there continues to be an upward trend in the number of schools offering these classes, many students still lack exposure to programming. Texas Computer Science is changing that. Read more
05/25/2018 - Texas Computer Science is hosting the 11th annual Technical User Community Linked Data Benchmark Council meeting on Friday, June 8th in the Gates-Dell Complex. Read more
05/04/2018 - AUSTIN (KXAN) - Thirteen startups and one big prize of $25,000. Thursday night, student entrepreneurs at UT Austin competed in a "Shark Tank" style pitch contest. The university has a program called "Longhorn Startup" where undergrads launch a small business. The instructors say one or two each year go on to become real businesses. Read more
05/24/2017 - The 14th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2017) was held May 22-23, 2017, followed by the first ACL2 Developer's Workshop held on May 24 - 25 at The University of Texas at Austin in the Gates Dell Complex. Read more
06/29/2016 - UTCS honored new Ph.D. graduates at its annual hooding ceremony on Friday, May 20. Each new graduate received a short testimonial from his or her graduate research advisor. The new doctors were then hooded by UTCS Chair Bruce Porter. Afterwards, a reception was held for graduates, faculty, friends and family. Click the button below to view high resolution copies of the photo gallery images on this page. We invite you to also upload pictures you have from the event. View the 2016 Ph.D. Hooding Ceremony Video! Read more
11/03/2015 - There are few things as full of anxiety, heartbreak, and anguish as finding out that you or someone you love has cancer. Unfortunately, it’s not at all uncommon. By the American Cancer Society’s estimates it is expected that in the year 2015 alone, there will be 1.6 million new cancer diagnoses and nearly 600,000 deaths—or roughly 1,600 people every day. But statistics are hardly necessary to realize the enormity of the problem. So far, the road to a cure has been long and complicated and with what’s seemed like no end in sight—until recently. Read more
11/02/2015 - Three conferences and a workshop, all in the field of formal verification and system design, were held from the end of September through the beginning of October. The first, MEMOCODE ‘15, in its thirteenth year, is dedicated to bringing principles of formal methods to hardware development, which enables hardware designers to prove rigorously that their chips will function as intended. Indeed, as hardware has grown exponentially more complex, traditional methods of testing have become unreliable, and instead formal proofs of correctness are preferred. Read more


Subscribe to Topic: Events