Reading Groups

Description

The ACL2 seminar focuses on the development and application of automated reasoning tools, especially the ACL2 theorem prover. ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models, and is part of the Boyer-Moore family of provers, for which its authors have received the 2005 ACM Software System Award. Typically, the seminar begins with a "round table", which is a free-form discussion based on questions and replies on a variety of topics such as existing work and ACL2 usage questions. A prepared talk is then given. There is a tradition of encouraging questions and welcoming newcomers.

Meets

Most Wednesdays, 4:00-5:45 pm in ACES 3.116

Faculty & Research Scientists

Warren Hunt, J Moore, Matt Kaufmann, Bill Young

More info

http://www.cs.utexas.edu/users/moore/acl2/seminar

Last Active

Spring 2009

Description

This student-run reading group focuses on methods and algorithms that allow computational agents to learn from human teachers via natural modes of communication ("natural" will be more of a goal than a full constraint). Specifically, this can include learning from advice, demonstration, or reinforcement.

Meets

Typically every other week on Wednesdays, 3:30-5 pm in the conference room of ENS 32NE

More info

http://www.cs.utexas.edu/~bradknox/ALHReadingGroup

Last Active

Spring 2009

Description

Topics covered are recent results in algorithms and complexity theory. Presentations are sometimes by visitors, or faculty as well as students. New students are welcome and can join any time during the semester.

Meets

Every Friday, 11:00am-12:00pm in ACES 3.408

Faculty

Anna Gal, Adam Klivans, Greg Plaxton, Vijaya Ramachandran, David Zuckerman

More info

Please subscribe to the algorithms@cs mailing list for information on the scheduling of talks as well as for announcements regarding upcoming talks.

Last Active

Spring 2009

Description

We explore integrations of various areas of AI such as vision, natural language processing, machine learning, robotics, etc with particular emphasis on language learning with the aid of perceptual data.

Meets

Every other week on Friday 1:00-2:00 pm in ACES 5.444

Faculty

Raymond J. Mooney, Kristen Grauman, Risto Miikkulainen, Benjamin Kuipers, Jason Baldridge, Katrin Erk, Dana H. Ballard

More info

http://www.cs.utexas.edu/~ml/clamp/

Last Active

Spring 2009

Description

We read and discuss papers in the area of data mining. See http://www.cs.utexas.edu/~ml/dm/ for details.

Meets

See schedule, often Tuesdays 3:00-4:00 pm in ACES 2.402.

Faculty

Raymond J. Mooney, Inderjit S. Dhillon, Joydeep Ghosh, Jason Michael Baldridge

More info

http://www.cs.utexas.edu/~ml/dm/

Last Active

Spring 2009

Description

We read papers on developmental robotics and bootstrap learning. This reading group is starting this semester, so new people are welcome and encouraged to attend.

Meets

Tuesday, 2:00-3:00 p.m., ENS 32

More info

http://www.cs.utexas.edu/~stober/devrobot.html http://developmentalrobotics.org/

Last Active

Spring 2009

Description

The Programming Languages lunch offers a chance for current PL students, as well as students interested in PL topics, to discuss current research. Weekly presentations will be on recent papers or ongoing work by students in the department. Occasionally, outside speakers will be invited to present. New students are welcome. Lunch provided.

Meets

Every Friday, noon-1:00 pm in PAI 3.14 (unless otherwise noted)

Faculty

Keshav Pingali, Kathryn McKinley, William Cook, Calvin Lin, J.C. Browne

More info

http://z.cs.utexas.edu/wiki/speedway.wiki/PLLunch

Last Active

Spring 2009

Description

The Programming Languages Reading Group reads and discusses PL papers at a one-hour weekly meeting. See the Wiki page for topics.

Meets

Every Wednesday from 11:00 am to noon, in ACES 3.408 (unless otherwise noted)

Faculty

William Cook

More info

http://z.cs.utexas.edu/wiki/speedway.wiki/PLReadingGroup

Last Active

Spring 2009

Description

This is a student-run reading group (with food) aimed at reading current papers on RL.

Meets

Every other Wednesday or Friday at noon in ENS 32NEA (unless otherwise noted)

More info

http://www.cs.utexas.edu/~shivaram/rlreadinggroup/

Last Active

Spring 2009

Description

We read and discuss papers in the areas of computer vision and machine learning.

Meets

Every other Friday at 4:00-5:00 pm in ACES 6.442.

Faculty

Kristen Grauman

More info

http://users.ece.utexas.edu/~ylee/vision/

Last Active

Spring 2009

Description

This is a group that aims to develop synergies between Systems and AI with the goal of making computer systems more able to self-configure, self-diagnose failures, self-repair, etc.

Meets

Every other Tuesday, 11:00-12:00am in ACES 2.404B

Faculty

Emmett Witchel, Peter Stone, Ray Mooney, Yin Zhang, Mike Dahlin, Kathryn McKinley, J.C. Browne, Vitaly Shmatikov

More info

http://www.cs.utexas.edu/users/ml/cogsys

Last Active

Fall 2007

Description

In this reading, we are looking for the current issues and techniques related to the software debugging. At the beginning, we will focus on the concurrency bugs including both data race and atomicity violation. Note that we do not limit our interest to the concurrency problems.

Meets

Every other Thursday, 3:00PM-4:00PM, ACES 2.444

Faculty

Kathryn McKinley

More info

http://www.cs.utexas.edu/users/speedway/meetingwiki/wiki.scgi?DebugReadingGroup

Last Active

Spring 2007

Description

We read papers on general issues of AI, Knowledge Representation and Reasoning, and Natural Language Processing. Newcomers are always welcomed.

Meets

Every other Tuesday, 4:00-5:00, location varies

Faculty & Research Scientists

Bruce Porter, Ken Barker

More info

http://www.cs.utexas.edu/users/sudipta/krr

Last Active

Fall 2007

Description

We explore and discuss papers in the area of natural language acquisition and learning.

Meets

Every other Wednesday, 4:00-5:00pm in ACES 5.444

Faculty

Raymond J. Mooney, Jason Baldridge, Katrin Erk

More info

http://www.cs.utexas.edu/users/nl-acq

Last Active

Fall 2007

Description

This is a reading group connected with a DARPA grant on transfer learning. We read papers devoted to this topic.

Meets

Every other Friday, 10:00-11:00am in ACES 6.444

Faculty

Peter Stone, Ray Mooney

More info

http://www.cs.utexas.edu/~lilyanam/TL/ or email mtaylor

Last Active

Spring 2007

Description

We discuss the cutting edge research papers on variety of graphics topics ranging from real-time rendering to physically based simulation, character animation, graphics hardware, modeling, surface representation/acquisition, photorealistic rendering, etc.

Meets

Every Tuesday, 4:00-5:00pm in ACES 3.408

Faculty

Okan Arikan, Don Fussell, Bill Mark

More info

The group uses a mailing list. Write to Greg Johnson if you would like to be added to the list.

Last Active

Spring 2007

Description

This is a seminar in theoretical computer science run by students. Anyone is welcome to attend the seminar, though the talks will mostly be given by students.

Meets

Every Monday, 4:00-5:00pm. (See website for details)

Faculty

Adam Klivans, David Zuckerman, Anna Gal

More info

Please use this website or subscribe to the algorithms@cs mailing list for information on the scheduling of talks as well as for announcements regarding upcoming talks.

Last Active

Spring 2007

Description

The purpose of this reading group is to look at security and privacy-related applications of (broadly defined) information-theoretic techniques, including extractors and error-correcting codes.

Meets

Every other Monday, 2:00-3:00pm, location varies

Faculty

Vitaly Shmatikov, Anna Gal, David Zuckerman

More info

http://www.cs.utexas.edu/~arvindn/itty.html

Last Active

Fall 2006