Colloquia

UTCS Colloquia - Zvonimir Rakamaric, University of Utah, "SMACK: Decoupling Source Language Details from Verifier Implementations"

August 21, 2014

Sep 9, 2014 10:00am - 11:00am

Talk Audience: UTCS Faculty, Grads, Undergrads, Other Interested Parties Host:  Isil Dillig Talk Abstract: A major obstacle to putting software verification research into practice is the high cost of developing the infrastructure enabling the application of verification algorithms to actual production code, in all of its complexity. To decouple the implementations of verification algorithms from the details of source languages, and enable rapid prototyping on production code, we have developed SMACK. ...

GSEM: Graphics Seminar - DICE Project Reports

August 13, 2014

Aug 14, 2014 1:00pm - 2:30pm

...

Tags: Colloquia

GSEM: Graphics Seminar - DICE Project Reports

August 13, 2014

Aug 14, 2014 1:00pm - 2:30pm

...

Tags: Colloquia

RPE: Eshan Chattopadhyay

August 13, 2014

Aug 26, 2014 12:30pm - 2:45pm

I will be conducting my Research Preparation Exam. Details: Name: Eshan Chattopadhyay Advisor: David Zuckerman   ...

Tags: Colloquia

Talk by Bozidar Radunovic (MSR researcher)

August 8, 2014

Aug 26, 2014 10:30am - 5:00pm

Bozidar Radunovic will give a talk, and then meet with faculty and students. ...

Tags: Colloquia

Graphics Seminar "Smoke Brush"

August 4, 2014

Aug 5, 2014 1:00pm - 2:00pm

    ...

Tags: Colloquia

Graphics Seminar "Multi Hit Ray Tracing with Embree"

July 29, 2014

Jul 30, 2014 4:00pm - 5:00pm

...

Tags: Colloquia

UTCS Colloquia - Z. Morley Mao, University of Michigan, "System support for energy-efficient and responsive mobile network applications"

July 29, 2014

Sep 18, 2014 11:00am - 12:00pm

Signup Schedule: http://apps.cs.utexas.edu/talkschedules/cgi/list_events.cgi Talk Audience: UTCS Faculty, Grads, Undergrads, Other Interested Parties Host:  Lili Qiu ...

Forum for Artificial Intelligence

May 30, 2014

Jun 3, 2014 11:00am - 12:30pm

...

Tags: Colloquia

Forum for Artificial Intelligence; Speaker Dr. Craig A. Knoblock

May 26, 2014

Jun 10, 2014 2:00pm - 3:25pm

Time change on this talk.  It will be held at 2pm. ...

Tags: Colloquia

Jia Wang's talk

May 21, 2014

Jun 20, 2014 10:45am - 12:15pm

Jia Wang from AT&T will give a talk on smartphone performance. (Her talk is moved from June 16 to June 20.) ...

Tags: Colloquia

UTCS Colloquia, Dr. Jia Wang, "Managing Smart Phone Performance"

May 20, 2014

Jun 20, 2014 11:00am - 12:00pm

...

Jia Wang's talk

May 19, 2014

Jun 16, 2014 11:00am - 12:00pm

Dr. Jia Wang from AT&T Labs is giving a talk on managing smart phone performance. ...

Tags: Colloquia

ICES Seminar, Mohamed Ebeida, Sandia National Laboratories, "Exploring high-dimensional spaces using Well-spaced Random Points and Hyperplane Sampling with application to Graphics, Meshes, Global Optimization, Uncertainty and Robotics"

May 15, 2014

Jun 9, 2014 11:00am - 12:00pm

Talk Audience: UTCS Faculty, Grads, Undergrads, Other Interested Parties Host:  Chandra Bajaj Talk Abstract: Well-spaced random points are useful for a host of applications, including sampling for texture synthesis in computer graphics finite element simplicial and Voronoi meshes for fracture mechanics sample points for exploring abstract spaces in optimization and uncertainty quantification over scientific simulations and collision free path planning for robots. ...

Tags: Colloquia

ICES Seminar, Scott Mitchell, Sandia National Laboratories, "Exploring High Dimensional Spaces with Hyperplane Sampling"

May 15, 2014

Jun 10, 2014 3:30pm - 4:30pm

Talk Audience: UTCS Faculty, Grads, Undergrads, Other Interested Parties Host:  Chandra Bajaj ...

Tags: Colloquia

UTCS AI Colloquia - Ian Davidson and Jieping Ye, "Advances in Active and Transfer Learning"

April 23, 2014

Apr 30, 2014 11:00am - 12:00pm

Talk Audience: UTCS Faculty, Grads, Undergrads, Other Interested Parties ...

UTCS AI Colloquia - Colin Bannard, "Imitation vs Innovation in Children's Language Learning"

April 23, 2014

May 2, 2014 11:00am - 12:00pm

Talk Audience: UTCS Faculty, Grads, Undergrads, Other Interested Parties Host:  Ray Mooney ...

Syndicate content