Upcoming Events

To submit new events to this listing please login or email jensmith@cs.wisc.edu.

Calendar View

  • Wednesday, May 27, 2015 - 2:30pm to 4:00pm
    Mahesh Vishwanathan
    University of Illinois

    Abstract:

    Probabilistic automata are finite state machines that roll dice in
    each step to decide the next state on reading an input symbol. Such
    machines were first introduced by Rabin in the 1960s as a
    computational model on finite words, and, more recently, the theory
    has been extended to consider infinite length inputs. This talk will
    survey results about such machines, contrasting it with the theory of
    regular languages, and discuss open problems and applications to model
    checking.

    Results presented will include joint work with... Read More

  • Monday, June 8, 2015 - 11:00am to 12:00pm
    Babak Falsafi
    Carnegie Mellon University

    TBD

  • Monday, September 21, 2015 - 1:00pm to 5:00pm
  • Thursday, October 1, 2015 - 1:00pm to 4:00pm

    The Department of Computer Sciences will hold its annual Madison Area Computer Sciences Job Fair at Union South. Visit the job fair page for futher details as they become available.