Upcoming Events

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

Calendar View

  • Monday, June 5, 2017 -
    12:00pm to 1:00pm
    4310
    Ravi Chugh
    University of Chicago

    *** Abstract

    Imagine that you want to create a complex digital artifact, such as a document, spreadsheet, illustration, visualization, or web application. As an expert, you know that programming is the way to go. But you also know that, by choosing this route, you will forgo the joys of direct manipulation, graphical user interfaces. Ideally, programming systems would require less keyboard-based text-editing for tedious and error-prone tasks and, instead, allow more interactive mouse-based editing.

    In this talk, I will present Sketch-n-Sketch, a direct manipulation... Read More

  • Monday, June 19, 2017 -
    12:00pm to 1:00pm
    CS 4310
    Vijay Ganesh
    University of Waterloo

    Modern conflict-driven clause-learning (CDCL) Boolean SAT solvers
    routinely solve very large industrial SAT instances in relatively
    short periods of time. This phenomenon has stumped both theoreticians
    and practitioners since Boolean satisfiability is an NP-complete
    problem widely believed to be intractable. It is clear that these
    solvers somehow exploit the structure of real-world
    instances. However, to-date there have been few results that precisely
    characterize this structure or shed any light on why these SAT solvers
    are so efficient.... Read More