Abstract: Formalization of mathematics is the process by which pen-and-paper mathematics is translated into a strict chain of logical deductions down to the axioms of mathematics. The subject has seen renewed interest in the last decades thanks to the development of computer systems called proof assistants, which make this feasible in practice.
There have now been several examples of high-profile mathematical results which have been formalized. In principle, any mathematical domain is accessible. However, existing projects are skewed towards algebra instead of analysis. Notable exceptions are a project which formalized enough of Gromov's convex integration theory to deduce Smale's sphere eversion theorem and the ongoing project to formalize Carleson's convergence theorem for Fourier series.
This workshop will bring together formalization experts and interested mathematicians to give a new impulse to formalization of analysis (in a very broad sense), and to develop abstractions and tools to deduplicate effort.

Application Information: ICERM welcomes applications from faculty, postdocs, graduate students, industry scientists, and other researchers who wish to participate. Some funding may be available for travel and lodging. Graduate students who apply must have their advisor submit a statement of support in order to be considered.

The deadline to apply for this workshop is January 24, 2026.

https://icerm.brown.edu/program/topical_workshop/tw-26-ttfa

Research challenges in using computer vision in robotics systems Abstract The past decade has seen a remarkable increase in the level of performance of computer vision techniques, including with the introduction of effective deep learning techniques. Much of this progress is in the form of rapidly increasing performance on standard, curated datasets. However, translating these results into operational vision systems for robotics applications remains a formidable challenge. This talk with explore some of the fundamental questions at the boundary between computer vision and robotics that need to be addressed. This includes introspection/self-awareness of performance, anytime algorithms for computer vision, multi-hypothesis generation, rapid learning and adaptation. The discussion will be illustrated by examples from autonomous air and ground robots.

Designed for faculty, staff, presidents, provosts, academic leaders, student affairs professionals, IT specialists, librarians, researchers, administrators, institutional decision-makers, and other higher education stakeholders, the conference highlights practical strategies institutions can implement now while exploring longer-term governance, policy, and ethical considerations. Participants will leave with concrete tools, cross-institutional insights, and collaborative connections that support mission-aligned AI innovation.

Hosted by: AAC&U

Location: Atlanta, GA and Virtual

Register here.

Presented by Stony Brook University Department of Biomedical Informatics and Long Island Network for Clinical and Translational Science (LINCATS).

The seminar aims to empower participants with the knowledge and skills necessary to harness AI effectively in clinical practice and research. It will equip attendees with practical insights, case studies, and interactive discussions led by experts in both AI and medicine, fostering a collaborative environment where attendee can explore how to overcome barriers and maximize the potential of AI in transforming modern healthcare delivery.

All Stony Brook Audiences Welcome.
Please note: This exciting event is open to all Stony Brook Faculty/Staff/Students. While the overarching theme for this event is the application of AI in medicine, the event is designed to bridge the professional practice gap that exists between cutting-edge AI research and its practical implementation in clinical settings, While AI holds immense promise for transforming healthcare delivery, many physicians and researchers lack the foundational knowledge and practical skills needed to effectively integrate AI into their daily practices.

THIS CONFERENCE IS FOR STONY BROOK UNIVERSITY & HOSPITAL FACULTY/STAFF & STUDENTS ONLY.


Registration link: https://cme.stonybrookmedicine.edu/continuing-medical-education/conferences/235/bench-to-bedside-understanding-the-practical-application-of-ai-in-medicine-2024/10/17/2024

FOR QUESTIONS
joseph.cesaria@stonybrookmedicine.edu
mary.saltz@stonybookmedicine.edu
Artificial Intelligence is rapidly reshaping research, education, and industry--but its growth carries important environmental implications. From the energy demands of large-scale computing to AI's potential to advance climate modeling, conservation, and sustainable design, the relationship between AI and the environment is both challenging and promising. This interdisciplinary panel explores AI's ecological footprint, its role in environmental solutions, and how universities can pursue innovation while upholding sustainability commitments.

Panelists:
Dana Golden -- PhD student in Economics, Stony Brook University.
Dr. Sharon Pochron -- Associate Professor in Sustainability Studies Program, School of Marine and Atmospheric Sciences, Stony Brook University.
Dr. Jordanna Sprayberry -- Associate Professor, Ecology & Evolution, Director of Undergraduate Biology, Stony Brook University.
Dr. Lav Varshney -- Director of the Artificial Intelligence Innovation Institute (AI3) and inaugural Della Pietra Infinity Chair, Stony Brook University.

Register here.