Feature

LASR Colloquia - Bozidar Radunovic, Microsoft Research, Cambridge, "Ziria – wireless programming for hardware dummies"

August 22, 2014

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

Bloomberg Code B

August 21, 2014

...

Bloomberg Code B

August 21, 2014

...

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

August 21, 2014

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. ...

Rise and Dine with VMware

August 19, 2014

Stop by and enjoy coffee and donuts with VMware! 9:30 am - 'til we run out ...

State Farm Tech Talk

August 14, 2014

...

State Farm Company Day

August 14, 2014

...

Bloomberg Company Day

August 14, 2014

...

Bloomberg Tech Talk

August 14, 2014

...

Fujitsu Telecom Tech Talk

August 14, 2014

...

Fujitsu Company Day

August 14, 2014

...

Grad Tea Time with Bloomberg

August 13, 2014

...

Grad Tea Time with eBay Inc.

August 13, 2014

...

Grad Tea Time with Fujitsu

August 13, 2014

...

Grad Tea Time with VMware

August 13, 2014

...

Grad Tea Time with Dropbox

August 13, 2014

...

Grad Tea Time with Salesforce

August 13, 2014

...

CNS Resumania

August 13, 2014

Career Design Center staff will provide quick, 15-minute resume reviews in the GDC Atrium. All CNS majors are welcome and we request that you bring a hard copy of your resume with you. ...

Rise and Dine with Chevron

August 13, 2014

All CS students are invited to stop by and enjoy free donuts and coffee, compliments of Chevron! 9:30 am - 'til we run out of donuts! ...

Syndicate content