BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Cornell Thought Summits - ECPv6.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Cornell Thought Summits
X-ORIGINAL-URL:https://thoughtsummits.cornell.edu
X-WR-CALDESC:Events for Cornell Thought Summits
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20261101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20270314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20271107T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20280312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20281105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20261208
DTEND;VALUE=DATE:20261211
DTSTAMP:20260810T165821Z
CREATED:20260722T134309Z
LAST-MODIFIED:20260810T165821Z
UID:1423-1796688000-1796947199@thoughtsummits.cornell.edu
SUMMARY:Adapting to Climate Uncertainty through AI-Enabled Microbial System Design
DESCRIPTION:Extreme weather events\, including floods\, hurricanes\, droughts\, and heatwaves\, are placing unprecedented demands on agriculture and the built environment. Conventional approaches to infrastructure and agriculture are often designed for relatively static conditions and struggle to adapt to increasing climate uncertainty. Engineered microbial systems offer a fundamentally different approach. Living systems can sense\, adapt\, and respond to changing environmental conditions\, and early applications such as microbial seed coatings\, self-healing materials\, and bioremediation are already demonstrating their potential. However\, designing microbial systems with predictable\, robust behavior remains beyond current engineering capabilities. AI offers a transformative opportunity to bridge this gap by enabling predictive modeling\, autonomous experimentation\, and multiscale design of complex living systems.  \nThis Thought Summit will bring together leaders from AI\, data science\, microbiology\, materials science\, agriculture\, architecture\, and design to define a new vision for AI-enabled engineering of microbial systems. A central goal is to identify the computational advances needed to transform microbial engineering from an empirical process into a predictive design discipline\, enabling robust microbial technologies for resilient agriculture\, flood protection\, and the built environment.  \nParticipants will explore how advances in AI can accelerate every stage of microbial system design\, from multiscale modeling of community behavior and autonomous experimentation to predictive design\, optimization\, and deployment. Particular emphasis will be placed on developing AI methods that can bridge molecular-scale biological processes with emergent community-level behavior and real-world environmental performance\, creating a foundation for engineering microbial systems with predictable function and resilience.  \nThe summit will produce a research roadmap outlining the highest-impact opportunities at the intersection of AI and microbial engineering\, establish new interdisciplinary collaborations\, and identify future directions for large-scale research initiatives. More broadly\, it aims to define how AI can enable a new generation of living technologies that help society adapt to climate uncertainty. By integrating advances in artificial intelligence with engineered microbial systems\, the workshop will lay the foundation for resilient technologies spanning agriculture\, flood protection\, and the built environment. 
URL:https://thoughtsummits.cornell.edu/summit/adapting-to-climate-uncertainty-through-ai-enabled-microbial-system-design/
LOCATION:Cornell University – Ithaca\, NY\, Cornell University\, Ithaca\, 14853\, United States
ATTACH;FMTTYPE=image/jpeg:https://thoughtsummits.cornell.edu/wp-content/uploads/shutterstock_2079638293.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20270119
DTEND;VALUE=DATE:20270122
DTSTAMP:20260825T140226Z
CREATED:20260722T134032Z
LAST-MODIFIED:20260825T140226Z
UID:1323-1800316800-1800575999@thoughtsummits.cornell.edu
SUMMARY:AI and Formal Methods
DESCRIPTION:Enabling Trustworthy Cross-Disciplinary Advances\n\nThe current era of Artificial Intelligence has demonstrated models powerful enough to catalyze major theoretical advances across fields like mathematics\, physics\, and biology through automated reasoning. Despite this power\, frequent ”hallucinations” severely limit the usefulness of large language models as reliable scientific collaborators. To realize the promise of these technologies\, scientists need a strong basis for trusting AI outputs\, which requires robust mechanisms to catch\, fix\, and ultimately avoid errors. As recent discussions in both academia and industry highlight\, the cost of incorrect or unverifiable AI-generated outputs\, in code\, scientific reasoning\, and safety-critical domains\, is already becoming significant. Formal methods—utilizing longstanding tools and techniques like theorem provers and model checkers—offer a rich set of symbolic reasoning capabilities. Whereas AI excels at pattern recognition\, synthesis\, and exploration\, formal methods provide mathematically grounded tools for specification\, verification\, and explanation. Together\, they offer the potential to move from plausible outputs to provably correct and trustworthy systems. In addition\, formal verification can provide a training signal for improving the reasoning capabilities of the underlying models. This summit will convene leading scientists from AI\, programming languages\, formal verification\, systems\, mathematics\, theoretical physics\, and theoretical CS to forge a timely and necessary research agenda: the integration of AI methods with formal methods to drive scientific progress across the theoretical sciences. Experts from different disciplines have different needs\, concerns\, and perspectives on formal methods\, so bringing these communities together will facilitate transfer of knowledge and techniques between domains.
URL:https://thoughtsummits.cornell.edu/summit/ai-and-formal-methods/
LOCATION:Cornell University – Ithaca\, NY\, Cornell University\, Ithaca\, 14853\, United States
ATTACH;FMTTYPE=image/jpeg:https://thoughtsummits.cornell.edu/wp-content/uploads/shutterstock_2635583787.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20270322
DTEND;VALUE=DATE:20270325
DTSTAMP:20260826T165838Z
CREATED:20260727T135611Z
LAST-MODIFIED:20260826T165838Z
UID:1453-1805673600-1805932799@thoughtsummits.cornell.edu
SUMMARY:HUMAN AI Collaboration\, Creativity and Critical Thinking
DESCRIPTION:A Thought Summit on the Transformation of Education in the Age of Artificial Intelligence\n\nArtificial intelligence is rapidly transforming how knowledge is produced\, interpreted\, and evaluated across disciplines. Unlike earlier educational technologies that expanded access or automated routine tasks\, contemporary AI systems actively participate in reasoning\, representation\, and decision-making. As these systems become embedded in everyday tools\, from writing interfaces to design platforms\, they function not simply as instruments of efficiency but as cognitive and creative partners in learning. A central tension guiding this Thought Summit is that AI simultaneously expands human capability while potentially reshaping\, and in some cases diminishing\, critical thinking\, metacognition\, and independent reasoning. AI is therefore changing not only what learners produce\, but how they think\, validate knowledge\, and demonstrate understanding. The summit explicitly integrates learning\, teaching\, and evaluation\, recognizing that these domains must co-evolve in AI-mediated educational systems.
URL:https://thoughtsummits.cornell.edu/summit/human-ai-collaboration-creativity-and-critical-thinking/
LOCATION:Cornell University – Ithaca\, NY\, Cornell University\, Ithaca\, 14853\, United States
ATTACH;FMTTYPE=image/jpeg:https://thoughtsummits.cornell.edu/wp-content/uploads/shutterstock_2327936419.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20270329
DTEND;VALUE=DATE:20270403
DTSTAMP:20260810T165514Z
CREATED:20260722T140821Z
LAST-MODIFIED:20260810T165514Z
UID:1438-1806278400-1806710399@thoughtsummits.cornell.edu
SUMMARY:AI for Animal Communication
DESCRIPTION:Imagine a visitor from another planet listening to Earth without knowing any language. What in the sound alone would tell them that humans speak and other animals do not? This is a real scientific problem\, and it is now becoming tractable. Large datasets and AI powered tools are revealing structure in vocalizations of socially sophisticated animals like cetaceans\, bats and birds that have defied characterization for decades. The summit brings together experts in animal communication\, neuroscience\, linguistics\, and AI to build the shared concepts and benchmarks this emerging field needs.
URL:https://thoughtsummits.cornell.edu/summit/ai-for-animal-communication/
LOCATION:Cornell University – Ithaca\, NY\, Cornell University\, Ithaca\, 14853\, United States
ATTACH;FMTTYPE=image/jpeg:https://thoughtsummits.cornell.edu/wp-content/uploads/shutterstock_2246108151.jpg
END:VEVENT
END:VCALENDAR