Home

Calendar

Filter

Search
FEATURED EVENTS
FILTER EVENTS Clear all filters
FILTER RESULTS
Sep 17, 2021

Sep 17, 2021

4:00 PM - 5:00 PM

Online venue

Virtual Event

Save to My Events

Speaker Frank Pfenning Abstract Futures have been around since Multilisp in 1985 and have been a popular abstraction for parallelism and concurrency in a variety of programming languages since then.  In brief, they allow us to spawn a new thread of computation and synchronize on the computed value.  We present a recently discovered type-theoretic foundation for futures, which turn out to arise from a formal system half-way between Hilbert-style axioms and a Gentzen-style sequent calculus ...

Sep 17, 2021

5:00 PM - 6:45 PM

Save to My Events

Isabel Anderson and Sam Conlan from the Pomerantz Career Center will be presenting a program over resume writing and interviewing from 5-6pm.

Sep 20, 2021

Sep 20, 2021

4:00 PM - 5:00 PM

Virtual Event

Save to My Events

United States Join us to learn more about John Deere internship and full time opportunities! There are 7 billion people on this planet. And by 2050, there will be 2 billion more... many moving into urban centers at an unprecedented rate. Making sure there is enough food, fiber and infrastructure for our rapidly growing world is what we’re all about at John Deere. And it’s why we’re investing in our people and our technology like never before in our 175-year history. Here the world’s brightes...

Sep 23, 2021

Sep 23, 2021

12:00 PM - 4:00 PM

Save to My Events

This fair will focus on recruiting students typically majoring in Business, Entrepreneurship, Enterprise Leadership, Communication Studies, Journalism, Data Analytics, Computer Science, Data Science, Mathematics, Statistics and many employers consider ALL MAJORS as well.

Sep 24, 2021

Sep 24, 2021

5:00 PM - 6:45 PM

Save to My Events

Abstract: In this talk, I will present our recent research on a new learning paradigm of deep learning by AUC maximization (including both AUROC and AUPRC). I will present a new surrogate loss for AUROC and non-convex min-max optimization algorithms for solving deep AUROC maximization problem.  Then, I will present our recent work on non-convex optimization algorithms for solving deep AUPRC maximization problem. I will also talk about their applications in medical image classification and m...

Sep 29, 2021

Sep 29, 2021

6:00 PM - 8:00 PM

Save to My Events

An evening with the Collins Aerospace team to learn about the various opportunities available. Refreshments will be provided! This event is geared towards students in Engineering.

Oct 1, 2021

Oct 1, 2021

4:00 PM - 5:00 PM

Online venue,

Virtual Event

Save to My Events

Speaker Philip Wadler Abstract The most profound connection between logic and computation is a pun. The doctrine of Propositions as Types asserts that propositions correspond to types, proofs to programs, and simplification of proofs to evaluation of programs. The proof of an implication is a function, proof by induction is just recursion.  Dependently-typed programming languages, such as Agda, exploit this pun. To prove properties of programming languages in Agda, all we need do is progr...