Name: Formal Methods for Safety-Critical Control
Start: 2023-10-20T15:30:00-04:00
End: 2023-10-20T16:30:00-04:00
Location: 1303 EECS Building

No events scheduled for October 15, 2023.

9:00 am

October 18, 2023 @ 9:30 am - 12:00 pm

Generative AI Tutorials | Code Smarter, Not Harder: Harnessing Generative AI for Research Programming Efficiency

Weiser Hall 500 Church Street, Ann Arbor

11:00 am

October 18, 2023 @ 11:00 am - 12:00 pm

Recent Advancements in Quantization, Pruning and Knowledge Distillation

3725 Beyster Building 2260 Hayward Street, Ann Arbor

4:00 pm

October 18, 2023 @ 4:30 pm - 5:45 pm

Imaginative Vision Language Models

1571 GG Brown 2350 Hayward St, Ann Arbor

11:00 am

October 19, 2023 @ 11:00 am - 12:00 pm

Hybrid Integrated Photonics for Quantum Information Processing

Boulevard Room at Pierpont Commons 2101 Bonisteel Blvd., Ann Arbor

12:00 pm

October 19, 2023 @ 12:00 pm - 1:00 pm

Spirit Day

1340 EECS (LNF Conference Room) 1301 Beal Avenue, Ann Arbor

3:00 pm

October 19, 2023 @ 3:30 pm - 5:00 pm

How Hessian Structure Explains Mysteries in Sharpness Regularization

3427 EECS Building 1301 Beal Avenue, Ann Arbor

5:00 pm

October 19, 2023 @ 5:00 pm - 6:00 pm

From Cutting Paper to Sending NASA to the Moon and Everything In-Between

1008 EECS Building 1301 Beal Ave, Ann Arbor

October 19, 2023 @ 5:00 pm - 6:00 pm

Virtual Michigan ECE Graduate Program Information Session (Must be current U-M student)

Remote/Virtual

8:00 am

October 20, 2023 @ 8:30 am - 5:00 pm

MIDAS mini-symposium | AI-driven Research Workflows

Weiser Hall 500 Church Street, Ann Arbor

9:00 am

October 20, 2023 @ 9:00 am - 10:00 am

Optimal Energy Rationing for Prepaid Electricity Customers

3427 EECS Building 1301 Beal Avenue, Ann Arbor

2:00 pm

October 20, 2023 @ 2:00 pm - 3:00 pm

Victor Reis: Optimal Online Discrepancy Minimization

3941 Beyster Building 2260 Hayward Street, Ann Arbor

3:00 pm

October 20, 2023 @ 3:30 pm - 4:30 pm

Formal Methods for Safety-Critical Control

1303 EECS Building 1301 Beal Avenue, Ann Arbor

Events

ZEUS Laser Grand Opening Celebration and Symposium

Michigan AI Symposium | Responsible AI

Julia Language Meetup

Generative AI Tutorials | Code Smarter, Not Harder: Harnessing Generative AI for Research Programming Efficiency

Recent Advancements in Quantization, Pruning and Knowledge Distillation

Imaginative Vision Language Models

Hybrid Integrated Photonics for Quantum Information Processing

Spirit Day

How Hessian Structure Explains Mysteries in Sharpness Regularization

From Cutting Paper to Sending NASA to the Moon and Everything In-Between

Virtual Michigan ECE Graduate Program Information Session (Must be current U-M student)

MIDAS mini-symposium | AI-driven Research Workflows

Optimal Energy Rationing for Prepaid Electricity Customers

Victor Reis: Optimal Online Discrepancy Minimization

Formal Methods for Safety-Critical Control

ZEUS Laser Grand Opening Celebration and Symposium

Michigan AI Symposium | Responsible AI

Julia Language Meetup

Generative AI Tutorials | Code Smarter, Not Harder: Harnessing Generative AI for Research Programming Efficiency

Recent Advancements in Quantization, Pruning and Knowledge Distillation

Imaginative Vision Language Models

Hybrid Integrated Photonics for Quantum Information Processing

Spirit Day

How Hessian Structure Explains Mysteries in Sharpness Regularization

From Cutting Paper to Sending NASA to the Moon and Everything In-Between

Virtual Michigan ECE Graduate Program Information Session (Must be current U-M student)

MIDAS mini-symposium | AI-driven Research Workflows

Optimal Energy Rationing for Prepaid Electricity Customers

Victor Reis: Optimal Online Discrepancy Minimization

Formal Methods for Safety-Critical Control

Week of Events

Sun 15

Mon 16

Tue 17

Wed 18

Thu 19

Fri 20

Sat 21

ZEUS Laser Grand Opening Celebration and Symposium

Michigan AI Symposium | Responsible AI

Julia Language Meetup

Generative AI Tutorials | Code Smarter, Not Harder: Harnessing Generative AI for Research Programming Efficiency

Recent Advancements in Quantization, Pruning and Knowledge Distillation

Imaginative Vision Language Models

Hybrid Integrated Photonics for Quantum Information Processing

Spirit Day

How Hessian Structure Explains Mysteries in Sharpness Regularization

From Cutting Paper to Sending NASA to the Moon and Everything In-Between

Virtual Michigan ECE Graduate Program Information Session (Must be current U-M student)

MIDAS mini-symposium | AI-driven Research Workflows

Optimal Energy Rationing for Prepaid Electricity Customers

Victor Reis: Optimal Online Discrepancy Minimization

Formal Methods for Safety-Critical Control