Advancing Research Together: Automated Reasoning & Last Mile
October 8, 2025
9:30 AM - 1:00 PM
Location: The University of Texas at Austin
Description
This event will focus on research advancements in Automated Reasoning and Amazon Last Mile, featuring technical talks, track highlights and networking opportunities with leading researchers at UT Austin and Amazon. Research topics include:
Amazon Last Mile Track
- Logistics & Electrified Fleets – Optimizing routes, fleet management, and charge planning for EV delivery.
- Scalable Optimization – Tackling large, complex logistics problems with advanced algorithms.
- Vision for Delivery Environments – AI methods to detect and adapt to diverse drop-off locations.
- Robotics in Delivery – Human–robot collaboration and autonomy to enhance last-mile operations.
Amazon Automated Reasoning Track
- System Verification – Applying reasoning to ensure correctness across software, protocols, and hardware.
- Safe & Trustworthy AI – Using formal methods to improve reliability and accountability of AI/ML.
- AI-Augmented Reasoning – Leveraging AI to scale automated reasoning tools to industrial systems.
Reach out to Sara Hernando for more information on how to get involved or to RSVP.
Event Address
This event will be held on The University of Texas at Austin campus. Specific building and address information will be provided to guests upon RSVP.
For more information or to RSVP, please contact Sara Hernando.
Agenda for October 8, 2025
Registration, Coffee and Networking
Check-in opens for registered event participants and guests with coffee provided and networking opportunities before the start of the day’s programming.
Introductory Remarks and Day Overview
Welcome message from our event host, including an overview of the UT Austin-Amazon Science Hub and event programming.
Track Discussions and Lightning Talks
This section of the day includes an introduction to the Amazon business units, lightning talks from UT Austin faculty and collaboration pathway discussions.
Additional speaker information and details coming soon!
Networking Lunch
Network with fellow event participants over a catered lunch.
Hosted by
This event is sponsored by UT Austin-Amazon Science Hub, a five-year partnership composed of representatives from UT and Amazon