Upcoming Events

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

Calendar View

  • Wednesday, August 22, 2018 - 9:00am to Friday, August 24, 2018 - 4:00pm
    1240 Computer Sciences
    UW-Madison CS Department

    Three day required training for new CS TAs.  TA training is offered once a year just prior to start of fall semester.  Exact times and locations for day 2 and day 3 will be announced later.

  • Thursday, August 23, 2018 -
    11:00am to 12:00pm
    4310 CS
    Yotam Feldman
    Tel Aviv University

    Infinite state systems such as distributed protocols are challenging to verify using interactive theorem provers or automatic verification tools. Of these techniques, deductive verification is highly expressive but requires the user to annotate the system with inductive invariants. Even if the rest of the proof is automatically checked, inductive invariants are challenging to find, even for experts, who must often go through many iterations before successfully proving safety. Thus, to further increase automation, one might hope to instead automatically infer the necessary invariants, but... Read More

  • Monday, August 27, 2018 - 8:30am
    1240 CS
    UW-Madison CS Department

    Required orientation for incoming graduate students in the CS MS/PhD and Professional MS program.  Orientation 8:30-Noon, followed by lunch with faculty. 
     

  • Monday, September 10, 2018 -
    4:00pm to 5:00pm
    1240 CS
    Daniel Sanchez
    MIT

    With Moore's Law coming to an end, architects must find ways to sustain performance growth without technology scaling. The most promising path is to build highly parallel systems that harness thousands of simple and efficient cores. But this approach will require new techniques to make massive parallelism practical, as current multicores fall short of this goal: they squander most of the parallelism available in applications and are too hard to program.

    I will present Swarm, a new architecture that successfully parallelizes algorithms that are often considered sequential and... Read More

  • Tuesday, September 11, 2018 -
    4:00pm to 5:00pm
    1240 CS
    Luiz Barosso
    Google

    Abstract: Are there good soba noodle places nearby? How do I get to JFK by train? When does this park close? Show me Stonehenge! Helping people explore and get things done in the real world is the task our team has taken on, and it is a rather challenging one. In this talk I will describe the technical complexity of creating models that reflect the real world for products such as Google Maps, Search and Google Earth.

    Bio: Luiz André Barroso, VP of Engineering and a Google Fellow. His team is responsible for collecting and curating maps, local knowledge and imagery data that powers... Read More

  • Wednesday, September 12, 2018 -
    5:00pm to 7:00pm
    CS 2310
    Liberty Mutual

    - Brief overview of Liberty Mutual and positions we're recruiting for
    - "Plan/Prepare/Perform" themed activities and action items for attendees
    - Giveaways to attendees will include tote bags, padfolios, and printed workshop materials
    - We're also working on establishing connections between prep workshop participants and our 70+ Liberty Mutual attendees (via Slack Channel or other platform) for networking, advice, support, etc. during the conference

  • Monday, September 17, 2018 -
    1:00pm to 5:00pm
    1240 Computer Sciences


     

  • Tuesday, September 18, 2018 -
    4:00pm to 5:00pm
    1240 CS
    Mark D. Hill
    University of Wisconsin-Madison

    Abstract: Two major hardware security design flaws--dubbed Meltdown and Spectre--were broadly revealed to the public in early January 2018 in research papers and blog posts that require considerable expertise and effort to understand. To complement these, this talk seeks to give a general computer science audience the gist of these security flaws and their implications. The goal is to enable the audience can either stop there or have a framework to learn more. A non-goal is exploring many details of flaw exploitation and patch status, in part, because the speaker is a computer architect,... Read More

  • Friday, September 21, 2018 -
    4:00pm to 5:00pm
    CS 1240
    Sanjam Garg
    University of California-Berkeley

    Abstract: In this talk, I will describe new ideas leading to a construction of identity-based encryption based on the hardness of the (Computational) Diffie-Hellman Problem (without using groups with pairings). This construction achieves the standard notion of identity-based encryption as considered by Boneh and Franklin [CRYPTO 2001]. The presented construction bypasses known impossibility results using garbled circuits that make a non-black-box use of the underlying cryptographic primitives. (Based on joint work with Nico Döttling)

    Bio: Sanjam Garg is an Assistant Professor at the... Read More

  • Wednesday, October 3, 2018 -
    1:00pm to 5:00pm
    Union South

    tba

  • Tuesday, October 30, 2018 - 6:00pm
    CS 1240
    Codecinella and WACM
    Women from Various Madison-Area Companies

    Interviewing can be stressful. Come practice your interview skills with local
    professional women software developers. We are not recruiters, we are not
    representing our companies or hiring. As your peers we hope to give you some
    practice with a technical interview and feedback on your resume. Bring at
    least three copies of a current resume. Volunteers will give you feedback on
    your resume as well as on your interview.

    The spirit of this event is to practice interview skills in a supportive
    environment. Please no recruiters.

    To participate... Read More