Events Archive

  • Talk
    11-16
    Types and abstractions for concurrent programming
    Clock
    4:30 PM - 5:30 PM
    Building
    Computer Science 302
  • CS Department Colloquium Series
    11-16
    A Cognitive Architecture for Human-Robot Collaborations Based on Spatial, Temporal and Causal And-Or Graphs
    Clock
    12:30 PM - 1:30 PM
    Building
    Computer Science Small Auditorium (Room 105)
  • CS Department Colloquium Series
    11-12
    Structured Sum of Squares Polynomials in Optimization and Control
    Clock
    4:30 PM - 5:30 PM
    Building
    Computer Science Small Auditorium (Room 105)
  • CS Colloquium Series
    11-11
    Instruction Sets Want to Be Free: A Case for RISC-V
    Clock
    4:30 PM - 5:30 PM
    Building
    Friend Center Convocation Room
  • CS Department Colloquium Series
    11-10
    Mapping, Localization, and Self-Driving Vehicles
    Clock
    4:30 PM - 5:30 PM
    Building
    Computer Science Small Auditorium (Room 105)
  • Talk
    10-27
    On the Computational Complexity of some Consistency Properties in SDNs
    Clock
    4:30 PM - 5:30 PM
    Building
    Computer Science 302
  • Talk
    10-27
    Proving that programs eventually do something good
    Clock
    3:30 PM - 4:30 PM
    Building
    Computer Science 402
  • CS Department Colloquium Series
    10-26
    Programming Abstractions for Mobile-Cloud Computing
    Clock
    4:30 PM - 5:30 PM
    Building
    Computer Science Small Auditorium (Room 105)
  • Center for Information Technology Policy
    10-20
    Defining Cyber-security: The First Step
    Clock
    4:30 PM - 5:30 PM
    Building
    Sherrerd Hall Third (3rd) Floor Open Space
  • Talk
    10-20
    ParaDrop: Enabling Third Party Apps in Home WiFi Gateways for Fun and Profit
    Clock
    3:00 PM - 4:00 PM
    Building
    Computer Science 402
  • Center for Information Technology Policy
    10-20
    CITP talk: Data Protection via User-Intent Monitoring
    Clock
    12:30 PM - 1:30 PM
    Building
    Computer Science 306
  • CS Department Colloquium Series
    10-20
    Benchmarking the D-Wave 2X: Challenges and Early Results
    Clock
    12:30 PM - 1:30 PM
    Building
    Computer Science Small Auditorium (Room 105)