Talks & Events

TGIF with HBK Capital Management

Date: Aug 28, 2015 4:00pm - 6:00pm
Location:

All CS grad students, faculty, and staff are invited to stop by for a TGIF celebration with HBK Capital Management!

Rise & Dine with Spiceworks

Date: Aug 31, 2015 9:30am - 11:00am
Location: GDC Atrium

Get your week started off right with donuts and coffee, compliments of Spiceworks!

Mobile App Development (MAD) Kick-Off

Date: Aug 31, 2015 5:00pm - 9:00pm
Location:

Student organization kick-off

Thomson Reuters Company Day

Date: Sep 1, 2015 11:00am - 2:00pm
Location: GDC Atrium

Who is Thomson Reuters?!?!

“Come by and see what it means to be the world’s leading source of intelligent information for businesses and professionals”

 We will have Tiff’s Treats for those who visit the booth as well as some cool coding challenges with prizes for the winners.

Thomson Reuters Tech Talk - "Introduction to the Front-End Framework"

Date: Sep 1, 2015 5:00pm - 7:00pm
Location: GDC 6.302

Free pizza!

Bio of David Owen – Speaker/Presenter:

David Owen has recently transitioned from the Microsoft world to the world of Open Sourced Front-end web development in order to support the Front-End Framework initiative. David began his interest in software by downloading sample code through CompuServe BBS’s and hacking Bard’s Tale & Ultima files on his Commodore Vic 20 and later C64. He held a number of official and unofficial tech-related positions through the late 80’s and early 90’s and started his development career in earnest at a Microsoft Solution Provider/Partner in the mid-90’s. He has been building code frameworks ever since. David spent the last 10 years building software for the Deloitte & Thomson Reuters Property Tax businesses. 

Abstract:

See how adopting AngularJS and other Open Source technologies has enabled Thomson Reuters Tax &... Read more

Turing Scholars - Eat Your Veggies

Date: Sep 1, 2015 6:00pm - 7:30pm
Location: GDC 4.304

Turing Scholars - Eat Your Veggies

WICS kick-off

Date: Sep 1, 2015 7:00pm - 9:00pm
Location: GDC 6.302

WicS kick-off

Jobs2Careers Company Day

Date: Sep 2, 2015 9:00am - 12:00pm
Location: GDC Atrium

Stop by and learn about career opportunities at Jobs2Careers!

Microsoft Office Hours

Date: Sep 1, 2015 10:00am - 4:10pmSep 2, 2015 10:00am - 4:10pm
Location: GDC 6.416

Come speak to your Microsoft Recruiter Kelly Eng about the opportunities for students at Microsoft and hear tips for a successful transition from Academia to your Career. Sign up for a twenty minute slot from 10:00am - 3:50pm here: http://1drv.ms/1JfSpRU.

First Trust Portfolios Company Day

Date: Sep 2, 2015 2:00pm - 5:00pm
Location: GDC Atrium

First Trust Portfolios is a financial services company that believes in using technology to enable small and medium sized companies to compete and succeed in the global economy. Stop by, grab some swag, and learn more about First Trust Portfolios!

Turing Scholars Eat Your Chocolates

Date: Sep 2, 2015 5:30pm - 7:00pm
Location: TBD

Learning the ways to be succesful as a Turing Scholar! And eating leafy greens.

Association for Computing Machinery (ACM) Kick-Off

Date: Sep 2, 2015 6:00pm - 8:00pm
Location:

Student organization kick-off

Information Systems and Society (ISSS) Kickoff Meeting

Date: Sep 2, 2015 8:00pm - 9:00pm
Location:

The Information Systems and Security Society (ISSS) will be hosting our kickoff event to go over how the club works. We will be going through our schedule as well as telling students about events coming up this semester that ISSS will be involved in. Stop by and learn about cybersecurity with us at our fall kickoff!

UTCS Colloquium: Benjamin Delaware, MIT, "Fiat: Deductive Synthesis of Abstract Data Type in a Proof Assistant"

Date: Sep 3, 2015 11:00am - 12:00pm
Location: GDC 2.104

Talk Audience: UTCS Faculty, Grads, Other Interested Parties

Host:  William Cook

Talk Abstract:

In this talk, I present Fiat, a framework for the deductive synthesis of abstract datatypes (ADTs) built entirely within the Coq proof assistant. Fiat supports a high degree of automation by means of meta-programming tactics which help users interactively derive efficient implementations of ADTs from high-level, declarative specifications. Every derivation leaves a proof trail, checkable by the normal Coq kernel, justifying the correctness of the derived implementation. Thanks to this proof trail, users can incorporate their own insights into a derivation while maintaining a high degree of confidence in the correctness of the synthesized implementation.

I will demo Fiat’s domain-specific synthesis library for synthesizing ADTs with SQL-like... Read more

Brain Freeze with IBM

Date: Sep 3, 2015 3:00pm - 4:00pm
Location: GDC Atrium

Cool off with some Amy's Ice Cream, compliments of IBM!

3:00 pm - until we run out!

Jobs2Careers Tech Talk

Date: Sep 3, 2015 4:45pm - 5:45pm
Location: GDC 5.302

tbd

Nell Dale Mentor Training

Date: Sep 3, 2015 6:00pm - 8:00pm
Location: GDC 2.410

Training Session for the Nell Dale Mentor Program mentors.

Microsoft Explorers Program Panel

Date: Sep 3, 2015 6:00pm - 7:30pm
Location: GDC 6.302

WiCS, MACS and Microsoft wants you to come learn more about Microsoft's Explorers Internship Program, a program open to freshmen and sophomores that allows you the opportunity to explore different roles and the full cycle of designing, developing, testing and shipping a product! This event will feature a panel of UT alums who were previously Microsoft Explorers and are now full time employees. Bring your resumes, they will be accepting them!

Minority Alliance for Computer Science (MACS) Kick-Off

Date: Sep 3, 2015 8:00pm - 9:30pm
Location: GDC 6.302

Minority Alliance for Computer Science (MACS) Kick-Off

CS Roadshow General Meeting #1

Date: Sep 4, 2015 5:00pm - 6:00pm
Location: GDC 4.302

Come see what CS Roadshow is all about! We'lll have free food available, and you'll get to be part of an awesome organization that gets younger students in the Austin area excited about CS.

ACM Competitive Programming (ICPC) Info Session

Date: Sep 4, 2015 6:00pm - 7:00pm
Location: GDC 4.304

Information Session for ICPC and ACM's Programming Competitions

ACM Gaming Night

Date: Sep 4, 2015 7:00pm - 11:55pm
Location: GDC 6.302

Join all your best friend in ACM for a night for non-stop games, pizza, and all the caffeine you need to stay up until the break of dawn. 

ACM Gaming Night

Date: Sep 5, 2015 12:00am - 7:00am
Location:

Join all your best friend in ACM for a night of non-stop gaming, pizza, and all the caffeine you need to stay up until the break of dawn.

Salesforce Company Day

Date: Sep 8, 2015 10:00am - 2:00pm
Location: GDC Atrium

Stop by the atrium to chat with Salesforce engineers, interns, and recruiters! We'll be giving out swag and cookies while answering all of your questions.

Microsoft Tech Expo

Date: Sep 8, 2015 2:30pm - 5:00pm
Location: GDC Atrium

Demo awesome new tech, meet UT Alums and current MSFT Engineers 

Featuring:…
HOLOLENS 
POWER BI 
OFFICE 365 
VISUAL STUDIOS 

Time 
Tuesday, September 8th 2:30 PM – 5:00 PM 

Location 
GDC Atrium 

Free Stuff 

Bring your resume to get some free giveaways and Tiff’s Treats! 

Pages