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

The annual conference on Neural Information Processing Systems is a multi-track interdisciplinary annual meeting that includes invited talks, demonstrations, symposia, and oral and poster presentations of refereed papers. Along with the conference is a professional exposition focusing on machine learning in practice, a series of tutorials, and topical workshops that provide a less formal setting for the exchange of ideas.

For more information and registration, visit the official website.

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.

The Fourth Arabic Natural Language Processing Conference (ArabicNLP 2026) is organized by the ACL Special Interest Group on Arabic NLP (SIGARAB).
The research focus of ArabicNLP is, naturally, Arabic, a collection of language varieties, from Classical to Modern Standard Arabic (MSA), and including many living and historical Arabic dialects. Arabic poses many challenges for the field of computational linguistics, including rich morphology, orthographic ambiguity as well as the wide variety of understudied dialects.

Location: Budapest, Hungary

Register here.
The Empirical Methods in Natural Language Processing (EMNLP) conference is a premier international academic conference in the field of artificial intelligence and natural language processing (NLP). Organized annually by the Association for Computational Linguistics (ACL) special interest group on linguistic data (SIGDAT), it focuses on research that uses empirical methods to solve language processing problems.

For more information, and registration, visit the official website.

The International Conference on Machine Learning (ICML) is the premier gathering of professionals dedicated to the advancement of the branch of artificial intelligence known as machine learning.

ICML is globally renowned for presenting and publishing cutting-edge research on all aspects of machine learning used in closely related areas like artificial intelligence, statistics and data science, as well as important application areas such as machine vision, computational biology, speech recognition, and robotics.

ICML is one of the fastest growing artificial intelligence conferences in the world. Participants at ICML span a wide range of backgrounds, from academic and industrial researchers, to entrepreneurs and engineers, to graduate students and postdocs.


For more information and registration, visit the official website.

The University's Main Commencement Ceremony will take place on Friday, May 23, 2025 at 11 am at Kenneth P. LaValle Stadium. Gates open at 10 am.

All guests need a valid ticket to enter LaValle Stadium - no exceptions. Children age 1 and older require a ticket. Seating is first-come, first-served.

Register here.

Andrew Singer
Carl W. Lejuez
Klaus Mueller
Lav Varshney

The State University of New York at Stony Brook is making strong progress toward the launch of a new department, the Department of Technology, AI and Society (DTAS), to be housed in the College of Engineering and Applied Sciences (CEAS).

The new department was conceived and will be launched thanks to $5 million in funding from the State University of New York (SUNY). The department will become a vital component of an expansive focus on artificial intelligence that has been in development at the university for several years.

For generations, the doctoral dissertation has been more than a scholarly document. It is a rite of passage that transforms students into scholars and is characterized by the defining quality of original thought. In dissertation defenses across the country, however, many faculty now grapple quietly with whether, and how much of, the work was produced with the help of generative AI.