Past Events

Colloquium - Refinement Types for Secure Web Applications promotional image

Colloquium - Refinement Types for Secure Web Applications

Friday, December 10, 2021 4:00pm to 5:00pm
Virtual
Speaker Ranjit Jhala Abstract We trust web applications with our most sensitive data: finances, health records, email, or even our political proclivities. While application developers go to great lengths to protect this data, the steady stream of news about data exfiltration shows that today's approach to safeguarding sensitive data by sprinkling access control checks throughout the application is not enough. We present STORM, a new web framework that lets developers build model-view...
Colloquium - First-class existential types, and their application to ergonomic programming with linear types promotional image

Colloquium - First-class existential types, and their application to ergonomic programming with linear types

Friday, December 3, 2021 4:00pm to 5:00pm
Virtual
Speaker Richard Eisenberg Abstract Despite the great success of inferring and programming with universal types, their dual—existential types—are much harder to work with. Existential types are useful in building abstract types, working with indexed types, and providing first-class support for refinement types. Yet support for existential types in many languages is tied to datatypes, requiring users to manually annotate the introduction and elimination of existentials. This talk presents...
Colloquium - Trustworthy Machine Learning via Logic Inference promotional image

Colloquium - Trustworthy Machine Learning via Logic Inference

Friday, November 19, 2021 4:00pm to 5:00pm
Virtual
Speaker Bo Li Abstract Advances in machine learning have led to rapid and widespread deployment of learning based inference and decision making for safety-critical applications, such as autonomous driving and security diagnostics. Current machine learning systems, however, assume that training and test data follow the same, or similar, distributions, and do not consider active adversaries manipulating either distribution. Recent work has demonstrated that motivated adversaries can circumvent...
ACM@UIOWA: Guided Coding Exercises  promotional image

ACM@UIOWA: Guided Coding Exercises

Monday, November 15, 2021 5:00pm to 6:00pm
Adler Journalism and Mass Communication Building
We will provide guided coding exercises to help prepare you for coding interviews and computer science classes. Come for a variety of algorithm topics and difficulty levels for any student regardless of coding experience or grade.
Colloquium - Specifying and Verifying Compilation of Secure C to Tagged Hardware promotional image

Colloquium - Specifying and Verifying Compilation of Secure C to Tagged Hardware

Friday, November 12, 2021 4:00pm to 5:00pm
Virtual
Speaker Andrew Tolmach Abstract The C language's lack of type and memory safety continues to be a major source of exploitable vulnerabilities in critical software systems. In recent years, there has been increasing interest in using hardware to help mitigate C's safety problems. In one promising approach, called PIPE, the processor is modified to attach metadata tags to the values flowing through memory and registers and to perform per-instruction monitoring to ensure that values are used...
First-Gen Student: Trail Blazer or Imposter promotional image

First-Gen Student: Trail Blazer or Imposter

Tuesday, November 9, 2021 3:30pm to 4:20pm
MacLean Hall
Students in computer science, informatics, and data science who identify as first-generation college students are invited to join us for this session to hear from the Department of Computer Science Chair, Alberto Segre, Director of Undergraduate Studies Elizabeth Kleiman, and former Dean of the College of Liberal Arts and Sciences, Prof. Steve Goddard.
2021 Graduate Research Symposium Keynote - Hybrid promotional image

2021 Graduate Research Symposium Keynote - Hybrid

Friday, November 5, 2021 4:00pm to 5:00pm
University Capitol Centre
Keynote Speaker: Supreeth Shastri Title: Legalizing Personal-data Systems Abstract: In recent years, many societies are granting a new fundamental right to the people—the privacy and protection of personal data. While regulations such as the General Data Protection Regulation (GDPR) and the California Consumer Privacy Act (CCPA) are already in effect, modern computing systems are struggling to comply with them. In this talk, I will show how these laws invalidate computing principles and...
2021 Prospective Student Visit Day and Graduate Research Symposium [Hybrid] promotional image

2021 Prospective Student Visit Day and Graduate Research Symposium [Hybrid]

Friday, November 5, 2021 1:30pm to 5:00pm
University Capitol Centre
The Computer Science (CS) department welcomes prospective students interested in our graduate programs to our annual Prospective Student Visit Day on Fri, Nov 5. We are looking for strong students with diverse backgrounds to join our MCS and PhD programs. A wide variety of research areas is represented by our world-class faculty including algorithms, computational epidemiology, distributed computing, human-computer interaction, machine learning, massive data algorithms and technology, mobile...
GAUSS Seminar: Numbers and Games [hybrid] promotional image

GAUSS Seminar: Numbers and Games [hybrid]

Tuesday, November 2, 2021 3:30pm to 4:20pm
Schaeffer Hall
Abstract This talk will focus itself on games. Some basic games will be introduced and their strategies analyzed. We will scratch the surface of combinatorial game theory, a lovely, playful, and often overlooked branch of mathematics. In the process we will stumble upon the surreal numbers and explore the very nature of “numbers”. This talk will be accessible for all audiences. There is no prerequisite knowledge needed, just an open mind. We will have milk and cookies! Remember to bring your...
Colloquium - DeepSMOTE: Deep Learning for Imbalanced Data promotional image

Colloquium - DeepSMOTE: Deep Learning for Imbalanced Data

Friday, October 29, 2021 4:00pm to 5:00pm
Virtual
Speaker Nitesh Chawla Abstract Despite over two decades of progress, imbalanced data is still considered a significant challenge for contemporary machine learning models. With modern advances and rapid developments in deep learning, countering the problem of imbalanced data has become extremely important. The two main approaches to address this issue are based on loss function modifications and instance resampling, typically based on Generative Adversarial Networks (GANs) that may suffer from...
ACM@UIOWA: Tech Talk with Professor Juan Pablo Hourcade- Giving Out Superpowers: A Discussion of Ethics, Cognitive Processes, and the Future of Interactive Technology promotional image

ACM@UIOWA: Tech Talk with Professor Juan Pablo Hourcade- Giving Out Superpowers: A Discussion of Ethics, Cognitive Processes, and the Future of Interactive Technology

Friday, October 22, 2021 5:00pm to 6:45pm
Seamans Center
Abstract: The use of interactive technologies is changing the way our cognitive processes work: from perception to memory, attention, learning, problem solving, communication, and metacognition. In fact, we may be seeing the beginnings of one of the largest shifts in cognition brought about by technology, perhaps even bigger than the changes brought by handwriting and mathematical notation. The problem is that we have largely been reactive. For the most part, technology designers develop what...
Colloquium - Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis promotional image

Colloquium - Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis

Friday, October 22, 2021 4:00pm to 5:00pm
Virtual
Speaker Marco Gaboardi (Boston University) Abstract Data analysts aim at guaranteeing that the result of a data analysis run on sample data does not differ too much from the result one would achieve by running the analysis over the entire population. To achieve this goal, they have developed several techniques to control the generalization errors of their data analyses. In this talk, I will discuss how programming language techniques can help data analysts to design adaptive data analyses...
ACM@UIOWA: Study Night promotional image

ACM@UIOWA: Study Night

Friday, October 15, 2021 5:00pm to 6:00pm
Seamans Center
Feel free to come with questions about homework, job hunting, or just come to work quietly. Our executive board will be available to help!  
Colloquium - On Feature Learning in Neural Networks: Emergence from Inputs and Advantage over Fixed Features promotional image

Colloquium - On Feature Learning in Neural Networks: Emergence from Inputs and Advantage over Fixed Features

Friday, October 15, 2021 4:00pm to 5:00pm
Virtual
Speaker Yingyu Liang Abstract An important characteristic of neural networks is their ability to learn representations of the input data with effective features for prediction, which is believed to be a key factor to their superior empirical performance. To better understand the source and benefit of feature learning in neural networks, we consider learning problems motivated by practical data, where the labels are determined by a set of class relevant patterns and the inputs are generated...
Jones Festschrift -  Celebrating 41 years of service at UIowaCS promotional image

Jones Festschrift - Celebrating 41 years of service at UIowaCS

Friday, October 8, 2021 1:30pm to 5:00pm
Marking the retirement of Prof. Douglas W. Jones This event was held on the occasion of Prof. Doug Jones' retirement from the University of Iowa Computer Science Department after 41 years of service. [Click image below to view event recording] Notes: All times CT [Conversion to your timezone possible here if needed] 1:30-2:10 Andrew Appel: Why academia needs generalists like Doug Jones   Eugene Higgins Professor of Computer Science...

Making of ORION: Sweating the Small Stuff

Thursday, October 7, 2021 3:30pm to 4:30pm
Pappajohn Business Building
Dr. Ranganath Nuggehalli will discuss UPS’s “On Road Integrated Optimization and Navigation” (ORION) system, which creates routes that maintain the desired level of consistency from day to day. To bring this transformational system from concept to reality, UPS instituted extensive change management practices to ensure that both users and executives would accept the system. Costing more than $295 million to build and deploy, ORION is estimated to save UPS more than $400 million annually. ORION is...
Colloquium - (Programming Languages) in Agda = Programming (Languages in Agda) - Canceled promotional image

Colloquium - (Programming Languages) in Agda = Programming (Languages in Agda) - Canceled

Friday, October 1, 2021 4:00pm to 5:00pm
Virtual
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 program a...
Colloquium - Leveraging Over-provisioned WANs for Next-generation Services promotional image

Colloquium - Leveraging Over-provisioned WANs for Next-generation Services

Friday, October 1, 2021 4:00pm to 5:00pm
MacLean Hall
Speaker Rachee Singh Abstract The last decade has seen a large-scale commercialization of cloud computing and the emergence of global cloud providers. Cloud providers have rapidly expanded their datacenter deployments, network equipment and backbone capacity, preparing their infrastructure to meet the growing client demands. In this talk, I will re-examine the design and operation choices made by cloud providers in this phase of exponential growth using a cross-layer empirical analysis of the...

In-Person Engineering Career Fair

Thursday, September 30, 2021 12:00pm to 4:00pm
Iowa Memorial Union (IMU)
The Fall Engineering Career Fair at the University of Iowa will be held on Thursday, September 30 from 12:00-4:00 PM in the Iowa Memorial Union - the 2nd Floor Ballroom and the Main Lounge. The fair is geared towards students seeking Spring and Summer 2022 internships and co-ops as well as students graduating in Spring 2022. All students are encouraged to attend whether you are actively searching for a full-time, co-op or internship position, or are simply attending to network and explore...

BAE Systems Virtual Fall Fair

Thursday, September 30, 2021 10:00am to 4:00pm
Virtual
You’re Invited! BAE Systems will be hosting a college fair to promote upcoming internship and early career opportunities. This event will consist of one-on-one networking opportunities, along with program overviews through panels consisting of hiring managers, current/former interns, and recruitment. Join to learn more about what we have planned this summer!

Collins Aerospace Info Session

Wednesday, September 29, 2021 6:00pm to 8:00pm
Iowa Memorial Union (IMU)
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.

John Deere Virtual Career Fair - Software Engineering and Cyber Security

Wednesday, September 29, 2021 1:00pm to 4:00pm
Virtual
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 brightest minds are tackling the world’s biggest challenges. If you believe one person can make the world...
ACM@UIOWA: Tech Talk with Professor Tianbao Yang - Artificial Intelligence: Deep AUC Maximization promotional image

ACM@UIOWA: Tech Talk with Professor Tianbao Yang - Artificial Intelligence: Deep AUC Maximization

Friday, September 24, 2021 5:00pm to 6:45pm
Seamans Center
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...

Business, Communications & Technology Industry Career Fair

Thursday, September 23, 2021 12:00pm to 4:00pm
Iowa Memorial Union (IMU)
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.

Mavens with Moxie: Women in Tech at Maven Wave

Wednesday, September 22, 2021 4:00pm to 5:00pm
Virtual
Join our Mavens with Moxie and explore the roles of Women In Tech at Maven Wave. Learn about their exciting projects and impact in Application Development, Change Management, Cloud Platforms, Data Analytics, Deployment, Engagement Leadership and WAM, our employee resource group for Women & Allies at Maven Wave. All are welcome!

John Deere Information Session: Software Engineering and Cyber Security - University of Iowa

Monday, September 20, 2021 4:00pm to 5:00pm
Virtual
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 brightest...
ACM@UIOWA: Resumes and Interviewing (behavioral questions) promotional image

ACM@UIOWA: Resumes and Interviewing (behavioral questions)

Friday, September 17, 2021 5:00pm to 6:45pm
Seamans Center
Isabel Anderson and Sam Conlan from the Pomerantz Career Center will be presenting a program over resume writing and interviewing from 5-6pm.
Colloquium - Futures Revisited promotional image

Colloquium - Futures Revisited

Friday, September 17, 2021 4:00pm to 5:00pm
Virtual
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 with...
Coded Bias Movie Screening with Director Shalini Kantayya promotional image

Coded Bias Movie Screening with Director Shalini Kantayya

Tuesday, September 14, 2021 3:30pm to 5:30pm
Pappajohn Business Building
Free movie screening of "Coded Bias" with following Q&A with director Shalini Kantayya.  Coded Bias explores the fallout of MIT Media Lab researcher Joy Buolamwini's startling discovery that facial recognition does not see dark-skinned faces and women accurately, and her journey to push for the first-ever legislation in the U.S. to govern against bias in the algorithms that impact us all.
GAUSS Seminar: Rotation Symmetric Boolean Functions and its Matrix promotional image

GAUSS Seminar: Rotation Symmetric Boolean Functions and its Matrix

Tuesday, September 14, 2021 3:30pm to 4:20pm
Schaeffer Hall
Abstract Digital signatures are an important feature in any encryption/decryption scheme, as it provides a message with integrity, authenticity, and nonrepudiation. The problem occurs when long messages are being exchanged and signatures that are just as long need to be verified. By using hash functions, a ”fingerprint” of the message can be used instead of the message itself for verification, making the process computationally inexpensive. If we consider a single iteration of a general hashing...
ACM@UIOWA: Career Opportunities Meeting promotional image

ACM@UIOWA: Career Opportunities Meeting

Friday, September 10, 2021 5:00pm to 6:00pm
Seamans Center
In this meeting we will discuss the potential of Computer Science and related majors, different focuses in industry that one can take, job outlook, recommendations for professional development and university resources.  
Colloquium - Diderot: A Parallel Domain-Specific Language for Image Analysis and Visualization promotional image

Colloquium - Diderot: A Parallel Domain-Specific Language for Image Analysis and Visualization

Friday, September 10, 2021 4:00pm to 5:00pm
MacLean Hall
Speaker John Reppy Abstract The analysis of structure in three-dimensional images is increasingly valuable for biomedical research and computational science.  At the same time, the computational burden of processing images is increasing as devices produce images of higher resolution (e.g., typical CT scans have gone from 128^3 to roughly 512^3 resolutions).  With the latest scanning technologies, it is also more common for the values measured at each sample to be multi-dimensional rather than...
GAUSS Seminar: Mathematics and Redistricting promotional image

GAUSS Seminar: Mathematics and Redistricting

Tuesday, September 7, 2021 3:30pm to 4:20pm
Schaeffer Hall
What we know, what we don't, and where we're going Every ten years, the Census Bureau conducts the Census, a nation-wide tallying of every single individual living in the United States. In addition to helping governments and researchers manage land, understand population trends, and distribute resources, the Census is essential to a key democratic function: drawing electoral districts. The process of drawing electoral districts, called “redistricting,” divides every state in the United States...
Colloquium - Data Science in Biomedical Research promotional image

Colloquium - Data Science in Biomedical Research

Friday, September 3, 2021 4:00pm to 5:00pm
MacLean Hall
Speaker Jacob Simmering Abstract The development of data science in biomedical research has  shifted the ways in which we develop epidemiologic knowledge. In some instances, like health insurance claims or hospital data, this was merely an outgrowth of existing trends. However, increasingly, there is interest in merging these data with other data sources, such as measures of weather or environmental exposures. Diseases previously not recognized as weather-related have detectable weather...

Final Exam - Towards a Privacy-Preserving Web

Monday, July 19, 2021 10:00am
Virtual
PhD Candidate: Umar Iqbal Abstract The web's modular nature is responsible for its tremendous success as well as its chronic insecurity. The modular nature of building web applications allows publishers to add new functionality to their websites by embedding third parties as needed. However, the modularity, by its very nature, also requires that publishers implicitly trust the embedded third parties. The browsers impose only modest restrictions on third party resource embedding, leaving users...
HACKUIOWA promotional image

HACKUIOWA

Saturday, April 17 8:00am to Sunday, April 18, 2021 4:00pm
Virtual
HACKUIOWA is a 2 day non-stop hackathon, and it will be held online this year due to the COVID-19 pandemic. The event is open to all university students that have a passion for creating things with technology! Students will form teams to work on their project (or 'hack') up to 4 members. Projects are open format, which means that you can hack on web, mobile, desktop, or hardware applications. Company mentors will be available throughout the event for questions to make sure beginners and experts...
STEM and Race: Can We Talk?  promotional image

STEM and Race: Can We Talk?

Saturday, March 20, 2021 1:00pm to 4:15pm
Virtual
Can We Talk? "Can We Talk?" explores the issue of ‘social belonging’ in the context of STEM (Science, Technology, Engineering, Math) and the effect it has on the lives of underrepresented people of color (UR-POC) who are pursuing an education or career in STEM, or who have decided to leave because of an overwhelming feeling of not belonging. The film has screened at venues across the U.S., at scientific conferences, colleges and universities, federal agencies, and for non-profit organizations...

Spotlight Series: Professor Kearney Talks VR and More!

Tuesday, March 9, 2021 3:00pm to 5:00pm
Virtual
Join the University of Iowa branch of the Institute of Electrical and Electronics Engineers for our spotlight series! This week: Professor Kearney talks computer-human interaction, VR and AR!
The University of Iowa Computing Conference (UICC) 2021 promotional image

The University of Iowa Computing Conference (UICC) 2021

Wednesday, February 17 5:00pm to Saturday, February 20, 2021 11:30am
Virtual
The UICC is hosted by the students and for the students to promote computing as a science and a profession. We plan on holding the conference between February 17 and February 20 2021. Check out past conferences! [ 2016, 2017, 2018, 2019, 2020 ]  UICC 2021 Schedule Wednesday, February 17, 2021 5:00pm Munmun De Choudhury - Interdisciplinary and Collaborative Approaches to Digital Mental Health: A Tale of Engaging with Three Stakeholders; Zoom 6:00pm Ceren...
View more events