Select a calendar:
Filter October Events by Event Type:
SUNMONTUEWEDTHUFRISAT
Events for October 10, 2018
-
Meet USC: Admission Presentation, Campus Tour, and Engineering TalkWed, Oct 10, 2018
Viterbi School of Engineering Undergraduate Admission
University Calendar
This half day program is designed for prospective freshmen (HS seniors and younger) and family members. Meet USC includes an information session on the University and the Admission process, a student led walking tour of campus, and a meeting with us in the Viterbi School. During the engineering session we will discuss the curriculum, research opportunities, hands-on projects, entrepreneurial support programs, and other aspects of the engineering school. Meet USC is designed to answer all of your questions about USC, the application process, and financial aid.
Reservations are required for Meet USC. This program occurs twice, once at 8:30 a.m. and again at 12:30 p.m.
Please make sure to check availability and register online for the session you wish to attend. Also, remember to list an Engineering major as your "intended major" on the webform!
RSVPLocation: Ronald Tutor Campus Center (TCC) - USC Admission Office
Audiences: Everyone Is Invited
Contact: Rebecca Kinnon
-
Computer Science General Faculty Meeting
Wed, Oct 10, 2018 @ 12:00 AM - 02:00 PM
Thomas Lord Department of Computer Science
Receptions & Special Events
Bi-Weekly regular faculty meeting for invited full-time Computer Science faculty only. Event details emailed directly to attendees.
Location: Michelson Center for Convergent Bioscience (MCB) - 102
Audiences: By invitation only.
Contact: Assistant to CS chair
-
CS Colloquium: Simone Silvetti and Laura Nenzi
Wed, Oct 10, 2018 @ 11:00 AM - 12:20 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
Speaker: Simone Silvetti (Numerical Methods Group) and Laura Nenzi (TU Wien),
Talk Title: Talk1: Combining Active learning optimization and Temporal logic for parameter synthesis and falsification of Complex Systems Talk 2: System Design of Stochastic Models using Robustness of Temporal Properties
Series: Computer Science Colloquium jointly with CCI-MHI Cyber-Physical Systems Seminar
Abstract: We are pleased to announce two talks during this colloquium.
Talk 1: Combining Active learning optimization and Temporal logic for parameter synthesis and falsification of Complex Systems
In this talk, we discuss the combination of Active Learning Optimization and temporal logic to the falsification and parameter synthesis of complex dynamical systems. First, we introduce Gaussian Processes and an active learning approach aimed to falsify a black box model with time-dependent functional inputs. Second, we introduce a technique also base on Gaussian Processes, named Smoothed Model Checking, which is able to estimate the probability that a stochastic system satisfies a temporal logic formula. We leverage this estimation ability and an active learning approach to find regions of the parameter space where the model satisfies a temporal logic formula with probability greater (or less) than a given threshold.
Talk 2: System Design of Stochastic Models using Robustness of Temporal Properties
In the last years, researchers from the verification community have proposed several notions of robustness for temporal logic providing suitable definitions of distance between a trajectory of a (deterministic) dynamical system and the boundaries of the set of trajectories satisfying the property of interest. In this talk, we present an extension of this notion of robustness to stochastic systems, showing that this naturally leads to a distribution of robustness degrees. Then, we show how to exploit this notion to address the system design problem, where the goal is to optimise some control parameters of a stochastic model in order to maximise robustness of the desired specifications. The key idea is to use a learning algorithm to estimate the dependence of the average robustness of a qualitative formula over the model parameters. A powerful and provably convergent machine learning method, namely the Gaussian Process - Upper Confidence Bound (GP-UCB) algorithm is use to improve the parameter optimisation. Finally, we demonstrate the applicability of our method on a number of case studies and ongoing works.
This lecture satisfies requirements for CSCI 591: Research Colloquium. Please note, due to limited capacity in OHE 100D, seats will be first come first serve.
Biography: Talk 1: Simone Silvetti is a researcher and developer at the Numerical Methods Group of Esteco SpA, Italy. He received a Ph.D. in Computer Science from the University of Udine in 2018 and a MSc in Mathematics from the University of Rome in 2012. His research focuses on the application of machine learning to quantitative formal methods and optimization.
Talk 2: Since 2017, Laura Nenzi is a research assistant at the TU Wien. She received a Ph.D in Computer Science from IMT Lucca, in 2016. In December 2018, she will join the University of Trieste as Assistant Professor. Her research interests include: spatio-temporal logics, statistical verification routines for uncertain models and combination of formal methods with machine learning techniques.
Host: Jyotirmoy Deshmukh and Paul Bogdan
Location: Olin Hall of Engineering (OHE) - 100D
Audiences: Everyone Is Invited
Contact: Computer Science Department
-
Interviews Open Forum
Wed, Oct 10, 2018 @ 01:00 PM - 02:00 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
Increase your career and internship knowledge for interviews by attending this professional development Q&A moderated by Viterbi Career Connections staff or Viterbi employer partners.
For more information about Labs & Open Forums, please visit viterbicareers.usc.edu/workshops.Location: Ronald Tutor Hall of Engineering (RTH) - 211
Audiences: Everyone Is Invited
Contact: RTH 218 Viterbi Career Connections
-
Joint Epstein Institute, ISE 651 & USC CAIS Seminar
Wed, Oct 10, 2018 @ 04:00 PM - 05:00 PM
Daniel J. Epstein Department of Industrial and Systems Engineering
Conferences, Lectures, & Seminars
Speaker: Dr. Pinar Keskinocak, Professor, Georgia Tech
Talk Title: Quantitative Models for Decision-support in Healthcare Applications
Host: Dr. Sze-chuan Suen
More Information: October 10, 2018.pdf
Location: Mark Taper Hall Of Humanities (THH) - 301
Audiences: Everyone Is Invited
Contact: Grace Owh
-
Women in Engineering (WIE) MENTOR Program Launch and Match
Wed, Oct 10, 2018 @ 04:00 PM - 06:30 PM
Viterbi School of Engineering Student Affairs
University Calendar
The Women in Engineering (WIE) office is proud to kick-0ff its new WIE MENTOR program. The mentorship program pairs first year and new transfer women (mentees) with upper-class students in Viterbi who will serve as mentors. Mentors and mentees will find out who they are matched with and then convene for a reception, where they will have an opportunity to get to know each other better.
Location: Ronald Tutor Hall of Engineering (RTH) - 526
Audiences: invitation only
Contact: Monica De Los Santos
-
CAIS Seminar: Dr. Pinar Keskinocak (Georgia Tech) - Quantitative Models for Decision-Support in Healthcare Applications
Wed, Oct 10, 2018 @ 04:00 PM - 05:00 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
Speaker: Dr. Pinar Keskinocak, Georgia Institute of Technology
Talk Title: Quantitative Models for Decision-Support in Healthcare Applications
Series: USC Center for Artificial Intelligence in Society (CAIS) Seminar Series
Abstract: With the goal of improving patient outcomes, efficiency, and effectiveness, quantitative models are increasingly used for decision-support in healthcare. In this presentation Dr. Keskinocak will discuss a few applications from organ transplant, vaccination, screening, and workforce allocation decisions.
This lecture satisfies requirements for CSCI 591: Research Colloquium
Biography: Dr. Pinar Keskinocak is the William W. George Chair and Professor in the School of Industrial and Systems Engineering, and co-founder and Director of the Center for Health and Humanitarian Systems at Georgia Tech. She also serves as the College of Engineering ADVANCE Professor. Her research focuses on the applications of quantitative methods to have a positive impact in society, particularly in healthcare and humanitarian systems. She has worked on projects with a variety of governmental and non-governmental organizations, and healthcare providers, including American Red Cross, CDC, Children's Healthcare of Atlanta, Emory Healthcare, and Task Force for Global Health.
Host: Dr. Milind Tambe and Dr. Sze-chuan Suen
Location: Mark Taper Hall Of Humanities (THH) - 301
Audiences: Everyone Is Invited
Contact: Computer Science Department
