Talks & Events

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


Jobs2Career's exceptional business growth has created unique needs for high performance, scalable, and highly available architectures.  These range from servicing almost a billion job searches a month to performing each in tens of milliseconds.  Come join us as we walk through a couple of our core search/information retrieval design patterns used by Google and Solr and a couple of AWS technologies we use to ensure the the search stays up in the middle of the night!

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!

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.

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

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 


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

GDC Atrium 

Free Stuff 

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

Chevron Tech Talk - "Cybersecurity at Chevron"

Date: Sep 8, 2015 5:15pm - 6:30pm
Location: GDC 4.304

Speakers: Steve Neiers and Irene Stein

Abstract: Steve and Irene will present an overview of cybersecurity at Chevron, challenges and needs in the industry.  One aspect of the work around cybersecurity at Chevron is using Hadoop as a platform to perform predictive analytics and behavioral modeling.  The infrastructure/cluster computing architecture as well as the math modeling involved will be discussed.

Steve Neiers is the General Manager of Information Risk Strategy & Management for Chevron’s Information Technology Company.  He’s responsible for Chevron’s information risk and cybersecurity strategy, implementation, and operations.  Steve has a BS and MS in geophysics from Saint Louis University.  He started with Chevron in 1987 and has held a variety of technical geophysical roles and leadership positions, including managing Chevron’s global... Read more

Microsoft Coding Competition Challenge co-hosted with MAD

Date: Sep 8, 2015 6:30pm - 8:30pm
Location: GDC 6.302

Are you the best coder here? Prove it. Team up with up to three friends and bring a laptop (and charger) for your chance to win a $100 Microsoft gift card. 

Free Food!

All participants have a chance to win a Microsoft Headset and a three month Xbox Live Subscription!

Apply online!

Email your recruiter: kellyeng [at] microsoft [dot] com

CIA Company Day

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


CIA Tech Talk - "It doesn’t matter how good your tool is if I can’t figure out how to use it"

Date: Sep 9, 2015 12:00pm - 1:00pm
Location: GDC 2.104

Talk Title: “It doesn’t matter how good your tool is if I can’t figure out how to use it”

Abstract: This talk will detail ten recommendations for producing user-friendly interfaces. It will also include a high-level description of the CIA and the importance of having good user interfaces in such an organization.

Speaker Bio: Brittany has been working at the Agency as a data scientist for just over a year and a half. She has a BS and MS in Computer Science and is currently working on a PhD in Information Science from the University of Illinois at Urbana-Champaign focusing on the culture and learning practices of multimedia producers and hackers.

State Farm Company Day

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

CS Students - Stop by to learn about State Farm!

Grad Tea Time with Chevron

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


Navigating the Career Fair as a Minority: A workshop on Resume Building and Career Planning with Pinterest

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

Navigating a career fair as big as the CNS career fair can be a daunting task for new and old students alike. It can be even more intimidating when most of the people you meet are of a different culture, values and background than yourself. Join Pinterest and the Minority Alliance in Computer Science (MACS) in a workshop aimed at giving students the tools they need to navigate an environment that might be new or confusing.

Blackbaud Info Session

Date: Sep 9, 2015 4:30pm - 5:30pm
Location: GDC 6.302

There's an energy that's created when smart people gather to do things that will change the world. It's what inspires explorers and entrepreneurs. And it's what inspires us at Blackbaud. Do you want to turn your love for code into a career that matters? Come down to the GDC faculty lounge (6.302) on September 9th from 4:30 - 5:30 PM to learn more about Blackbaud, meet members of the team and enjoy some refreshments! You will have the chance to talk with our Software Developers and discover how they help change the world, one code at a time!

State Farm Tech Talk - "Under the hood of State Farm’s Drive Safe and Save Mobile Solution"

Date: Sep 9, 2015 5:30pm - 7:00pm
Location: GDC 1.304

Abstract: As companies in the auto insurance industry scramble to adapt to the new landscape, State Farm continues to lead in innovation by developing solutions to enable policy holders to receive the best value for their driving and insurance needs.  In 2015, State Farm built a new mobile solution to enable customers to gain access to usage-based discounts by simply integrating their Android / iOS device to their automobile.  Listen in to Drew Jaeger take a deep dive into a state of the art solution using native API’s to gain access to meaningful driving data and landing it into the mainstream Hadoop ecosystem for further data quality processing, analytics and rating purposes.

Speaker: Drew Jaeger has spent the past 3+ years working through the IT lifecycle for the Drive Safe and Save Mobile solution starting from partnering with the Research and Development team to develop a proof of concept all the way... Read more

Longhorn Google Tech Talk

Date: Sep 9, 2015 7:00pm - 8:30pm
Location: GDC 2.216

Wonder how an internet company like Google makes client software for desktop and mobile platforms? Learn about two products -- Chrome and Hangouts -- and about the inner workings of how they are developed, tested, and released. Then stick around for advice from Longhorn alumni, swag, and the latest opportunities at Google!


Resumania - Hosted by CNS Career Services

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


Apple Lunch with WiCS

Date: Sep 10, 2015 12:00pm - 2:00pm
Location: GDC 6.302

A networking lunch to get to know Apple engineers and recruiters and learn more about the company.

How to Ace Your Technical Interview - Hosted by Microsoft & MAD

Date: Sep 10, 2015 3:00pm - 4:30pm
Location: GDC 6.302