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:20261007T132601Z
CREATED:20260727T135611Z
LAST-MODIFIED:20261007T132601Z
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. \nThe HUMAN AI Collaboration\, Creativity and Critical Thinking Thought Summit will be hosted by the Department of Design Tech\, a multicollege department administered by the College of Architecture\, Art\, and Planning in collaboration with Cornell Ann S. Bowers College of Computing and Information Science\, Cornell Human Ecology\, Cornell Duffield College of Engineering\, and Cornell Tech.
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
BEGIN:VEVENT
DTSTART;VALUE=DATE:20270524
DTEND;VALUE=DATE:20270527
DTSTAMP:20260923T194140Z
CREATED:20260722T134558Z
LAST-MODIFIED:20260923T194140Z
UID:1412-1811116800-1811375999@thoughtsummits.cornell.edu
SUMMARY:AI & Worker Voice
DESCRIPTION:Building Bridges Towards Worker-Centered Design\, Implementation\, and Governance of AI\n\nNew artificial intelligence (AI) technologies are being integrated into a range of workplaces—from warehouse work to nursing to fashion modeling—with promises to dramatically transform the landscape of work. Yet the highly disparate ways in which AI systems are designed\, implemented\, and governed within organizations can exacerbate existing racial\, gender\, and class inequalities\, reinforce labor precarity\, and erode workers’ job quality\, agency\, control at work. While worker voice and participation have been found to play a crucial role in both mitigating these risks and realizing productivity gains from AI-based technologies\, most workers do not have a say in\, or influence over\, how these technologies are deployed in their workplaces. There is a critical need to consider the conditions under which workers are able to decide or have influence over how they use these technologies\, as well as how employers apply them to direct work and manage performance.  \nThis three-day convening aims to advance equitable\, democratic\, and worker-informed frameworks for AI design\, implementation\, and governance. We will bring together academic researchers from different disciplines and practitioners from different sectors to examine AI’s workplace impacts and develop strategies for advancing more worker-centered approaches to AI adoption and deployment. Through a series of keynote talks\, panel presentations\, moderated small group discussions\, co-design workshops\, and social spaces\, we aim to collectively map issues that bridge occupational and sectoral divides\, identify gaps in existing research\,  and explore how workers\, unions\, coalitions\, and policymakers can help build strategies for democratic governance of AI in the workplace and in our economy. This convening will generate both academic and public outputs\, resources and materials geared towards practitioners\, and other avenues for future work and collaboration. By advancing trans-disciplinary and cross-sectoral dialogue among researchers\, labor advocates and practitioners\, this convening will help  develop a more comprehensive understanding of AI’s effects\, while also building coalitions to support workers and worker organizations in curbing the harms of AI.
URL:https://thoughtsummits.cornell.edu/summit/ai-worker-voice/
LOCATION:Cornell University – Ithaca\, NY\, Cornell University\, Ithaca\, 14853\, United States
ATTACH;FMTTYPE=image/jpeg:https://thoughtsummits.cornell.edu/wp-content/uploads/shutterstock_2741973071.jpg
END:VEVENT
END:VCALENDAR