<?xml version="1.0"?>
<News hasArchived="false" page="1" pageCount="1" pageSize="10" timestamp="Sat, 25 Apr 2026 18:56:09 -0400" url="https://beta.my.umbc.edu/groups/umbc-ai/posts.xml?tag=class">
<NewsItem contentIssues="false" id="155282" important="false" status="posted" url="https://beta.my.umbc.edu/groups/umbc-ai/posts/155282">
<Title>HCST 499: Robots, AI, &amp; Transhumanists: Exploring the Uncanny Valley</Title>
<Tagline>New class taught by Eric Brown, Spring 2026 TuTh 4:00-5:15pm</Tagline>
<Body>
<![CDATA[
    <div class="html-content"><p><a href="https://hcst.umbc.edu/" rel="nofollow external" class="bo"><strong>Human Context of Science and Technology</strong></a> (HCST) is a UMBC certificate program that provides students with a deeper understanding of the human context of science, technology, engineering, and medicine. In Spring 2026, Eric Brown will teach a new undergraduate special topics class on how AI and robotics will affect our world.</p><p><a href="https://my3.my.umbc.edu/groups/hcst/posts/154920" rel="nofollow external" class="bo"><strong>HCST 499/INDS 430:  Robots, AI, &amp; Transhumanists: Exploring the Uncanny Valley</strong></a><strong><br>Eric Brown</strong>, Spring 2026, TuTh 4:00-5:15pm</p><p>Over the next one to two decades, humanity faces the prospect of having to share the planet with completely new and invented beings - robots, artificial intelligences, and humans who have begun to transform themselves into something other. The science and technology seem to be catching up with the heady dreams of sci-fi authors like Isaac Asimov and Philip K. Dick. Through this course, students will form a community of thinkers and experimenters that will engage with the complexities of living in this space. We will explore through discussion and doing what it is like to develop relationships with artificial intelligences and investigate the incursion of robots (e.g., delivery bots, robotaxis, and eldercare bots) into spaces traditionally reserved for humans. We will ask ourselves at what point, if ever, does the integration of technology into the human body transform that body into something that is beyond human. We will wonder together just how prepared are we to live in a world where sci-fi is no longer fiction?</p><div><br></div></div>
]]>
</Body>
<Summary>Human Context of Science and Technology (HCST) is a UMBC certificate program that provides students with a deeper understanding of the human context of science, technology, engineering, and...</Summary>
<Website>https://my3.my.umbc.edu/groups/hcst/posts/154920</Website>
<TrackingUrl>https://beta.my.umbc.edu/api/v0/pixel/news/155282/guest@my.umbc.edu/083c1ce3eb4b406bf4b55fe08f2b2876/api/pixel</TrackingUrl>
<Tag>ai</Tag>
<Tag>class</Tag>
<Tag>robotics</Tag>
<Tag>society</Tag>
<Tag>undergraduate</Tag>
<Group token="umbc-ai">UMBC AI</Group>
<GroupUrl>https://beta.my.umbc.edu/groups/umbc-ai</GroupUrl>
<AvatarUrl>https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779</AvatarUrl>
<AvatarUrl size="original">https://assets2-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/original.png?1691095779</AvatarUrl>
<AvatarUrl size="xxlarge">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxlarge.png?1691095779</AvatarUrl>
<AvatarUrl size="xlarge">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xlarge.png?1691095779</AvatarUrl>
<AvatarUrl size="large">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/large.png?1691095779</AvatarUrl>
<AvatarUrl size="medium">https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/medium.png?1691095779</AvatarUrl>
<AvatarUrl size="small">https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/small.png?1691095779</AvatarUrl>
<AvatarUrl size="xsmall">https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779</AvatarUrl>
<AvatarUrl size="xxsmall">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxsmall.png?1691095779</AvatarUrl>
<Sponsor>UMBC AI</Sponsor>
<ThumbnailUrl size="xxlarge">https://assets1-beta.my.umbc.edu/system/shared/thumbnails/news/000/155/282/d34f3bcfe940e1362a311181ecaef416/xxlarge.jpg?1765562630</ThumbnailUrl>
<ThumbnailUrl size="xlarge">https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/155/282/d34f3bcfe940e1362a311181ecaef416/xlarge.jpg?1765562630</ThumbnailUrl>
<ThumbnailUrl size="large">https://assets4-beta.my.umbc.edu/system/shared/thumbnails/news/000/155/282/d34f3bcfe940e1362a311181ecaef416/large.jpg?1765562630</ThumbnailUrl>
<ThumbnailUrl size="medium">https://assets2-beta.my.umbc.edu/system/shared/thumbnails/news/000/155/282/d34f3bcfe940e1362a311181ecaef416/medium.jpg?1765562630</ThumbnailUrl>
<ThumbnailUrl size="small">https://assets1-beta.my.umbc.edu/system/shared/thumbnails/news/000/155/282/d34f3bcfe940e1362a311181ecaef416/small.jpg?1765562630</ThumbnailUrl>
<ThumbnailUrl size="xsmall">https://assets4-beta.my.umbc.edu/system/shared/thumbnails/news/000/155/282/d34f3bcfe940e1362a311181ecaef416/xsmall.jpg?1765562630</ThumbnailUrl>
<ThumbnailUrl size="xxsmall">https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/155/282/d34f3bcfe940e1362a311181ecaef416/xxsmall.jpg?1765562630</ThumbnailUrl>
<ThumbnailAltText>new class: Robots, AI, &amp; Transhumanists: Exploring the Uncanny Valley</ThumbnailAltText>
<PawCount>0</PawCount>
<CommentCount>0</CommentCount>
<CommentsAllowed>true</CommentsAllowed>
<PostedAt>Fri, 12 Dec 2025 13:13:41 -0500</PostedAt>
</NewsItem>

<NewsItem contentIssues="false" id="152420" important="false" status="posted" url="https://beta.my.umbc.edu/groups/umbc-ai/posts/152420">
<Title>UMBC Department of English adds course on Writing with AI</Title>
<Body>
<![CDATA[
    <div class="html-content"><span><p><span>UMBC’s Department of English has added a new course, </span><a href="https://catalog.umbc.edu/preview_course_nopop.php?catoid=40&amp;coid=124409" rel="nofollow external" class="bo"><span><strong>ENGL 211 Writing with AI</strong></span></a><span>. The course is being taught for the first time this Fall by <a href="https://my3.my.umbc.edu/groups/umbc-ai/posts/146520/a6c/1dea2e3476ebfb8ae8a1f72b0b45d5cd/web/link?link=https%3A%2F%2Fenglish.umbc.edu%2Fcore-faculty%2Ftanya-olson%2F" rel="nofollow external" class="bo"><strong>Dr. Tanya Olsen</strong></a></span><span>, a Senior Lecturer and the Director of the Department's Writing and Rhetoric Division. </span>
    
    <span>Here is the description from UMBC's course catalog.</span></p>
    
    <p><span><br></span></p></span><span><p><span>What if AI could help you solve problems, generate ideas, or tackle challenges simply by asking the right questions? This course introduces prompt writing - the art of crafting clear, purposeful inputs to guide AI tools, which is rooted in rhetorical skills. Rather than replacing human thinking, AI can enhance the creativity and analysis you bring to any writing situation. Students will master a range of prompt writing techniques while critically engaging with AI to design prompts for personal, academic, and professional purposes.</span></p></span></div>
]]>
</Body>
<Summary>UMBC’s Department of English has added a new course, ENGL 211 Writing with AI. The course is being taught for the first time this Fall by Dr. Tanya Olsen, a Senior Lecturer and the Director of the...</Summary>
<Website>https://catalog.umbc.edu/preview_course_nopop.php?catoid=40&amp;coid=124409</Website>
<TrackingUrl>https://beta.my.umbc.edu/api/v0/pixel/news/152420/guest@my.umbc.edu/b74e4d793b99f269b5acc8e6a46cf431/api/pixel</TrackingUrl>
<Tag>ai</Tag>
<Tag>class</Tag>
<Tag>course</Tag>
<Tag>engl</Tag>
<Tag>english</Tag>
<Tag>prompt</Tag>
<Tag>root-beer</Tag>
<Tag>writing</Tag>
<Group token="umbc-ai">UMBC AI</Group>
<GroupUrl>https://beta.my.umbc.edu/groups/umbc-ai</GroupUrl>
<AvatarUrl>https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779</AvatarUrl>
<AvatarUrl size="original">https://assets2-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/original.png?1691095779</AvatarUrl>
<AvatarUrl size="xxlarge">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxlarge.png?1691095779</AvatarUrl>
<AvatarUrl size="xlarge">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xlarge.png?1691095779</AvatarUrl>
<AvatarUrl size="large">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/large.png?1691095779</AvatarUrl>
<AvatarUrl size="medium">https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/medium.png?1691095779</AvatarUrl>
<AvatarUrl size="small">https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/small.png?1691095779</AvatarUrl>
<AvatarUrl size="xsmall">https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779</AvatarUrl>
<AvatarUrl size="xxsmall">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxsmall.png?1691095779</AvatarUrl>
<Sponsor>UMBC AI</Sponsor>
<ThumbnailUrl size="xxlarge">https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/152/420/72d352b5c412b82fbc1fa96671fac779/xxlarge.jpg?1757710833</ThumbnailUrl>
<ThumbnailUrl size="xlarge">https://assets1-beta.my.umbc.edu/system/shared/thumbnails/news/000/152/420/72d352b5c412b82fbc1fa96671fac779/xlarge.jpg?1757710833</ThumbnailUrl>
<ThumbnailUrl size="large">https://assets2-beta.my.umbc.edu/system/shared/thumbnails/news/000/152/420/72d352b5c412b82fbc1fa96671fac779/large.jpg?1757710833</ThumbnailUrl>
<ThumbnailUrl size="medium">https://assets4-beta.my.umbc.edu/system/shared/thumbnails/news/000/152/420/72d352b5c412b82fbc1fa96671fac779/medium.jpg?1757710833</ThumbnailUrl>
<ThumbnailUrl size="small">https://assets4-beta.my.umbc.edu/system/shared/thumbnails/news/000/152/420/72d352b5c412b82fbc1fa96671fac779/small.jpg?1757710833</ThumbnailUrl>
<ThumbnailUrl size="xsmall">https://assets1-beta.my.umbc.edu/system/shared/thumbnails/news/000/152/420/72d352b5c412b82fbc1fa96671fac779/xsmall.jpg?1757710833</ThumbnailUrl>
<ThumbnailUrl size="xxsmall">https://assets2-beta.my.umbc.edu/system/shared/thumbnails/news/000/152/420/72d352b5c412b82fbc1fa96671fac779/xxsmall.jpg?1757710833</ThumbnailUrl>
<ThumbnailAltText>person typing on a laptop</ThumbnailAltText>
<PawCount>0</PawCount>
<CommentCount>0</CommentCount>
<CommentsAllowed>true</CommentsAllowed>
<PostedAt>Fri, 12 Sep 2025 17:09:31 -0400</PostedAt>
<EditAt>Fri, 12 Sep 2025 17:29:45 -0400</EditAt>
</NewsItem>

<NewsItem contentIssues="false" id="151200" important="false" status="posted" url="https://beta.my.umbc.edu/groups/umbc-ai/posts/151200">
<Title>New UMBC course on the philosophy of Artificial Intelligence</Title>
<Body>
<![CDATA[
    <div class="html-content">The UMBC Philosophy department has added a new oourse, <strong><strong><a href="https://my3.my.umbc.edu/groups/philosophy/posts/151079" rel="nofollow external" class="bo">Philosophy of AI</a></strong> </strong>(PHIL 378), to the Fall 2025 class schedule. The course will be taught by Philosophy faculty Jessica Pfeifer and Greg Ealick, who will explore the philosophical foundations and implications of Artificial Intelligence. The class will meet MWF at 11 in PAHB 229.<div><br></div><div>Philosophy 378 will examine core questions about the nature of AI, such as: What is AI? What is the relationship between AI and scientific knowledge? How can bias in AI be addressed? Can AI predict, influence, or even control human behavior? What is the relationship between mind and machine? Can AI replicate human capacities for cognition, creativity, and consciousness? And what is the future of human-AI interactions?<div><br></div></div></div>
]]>
</Body>
<Summary>The UMBC Philosophy department has added a new oourse, Philosophy of AI (PHIL 378), to the Fall 2025 class schedule. The course will be taught by Philosophy faculty Jessica Pfeifer and Greg...</Summary>
<Website>https://my3.my.umbc.edu/groups/philosophy/posts/151079</Website>
<TrackingUrl>https://beta.my.umbc.edu/api/v0/pixel/news/151200/guest@my.umbc.edu/d43ae562f5ac0d4eedc900665df285ba/api/pixel</TrackingUrl>
<Tag>ai</Tag>
<Tag>class</Tag>
<Tag>philosophy</Tag>
<Tag>umbc</Tag>
<Group token="umbc-ai">UMBC AI</Group>
<GroupUrl>https://beta.my.umbc.edu/groups/umbc-ai</GroupUrl>
<AvatarUrl>https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779</AvatarUrl>
<AvatarUrl size="original">https://assets2-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/original.png?1691095779</AvatarUrl>
<AvatarUrl size="xxlarge">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxlarge.png?1691095779</AvatarUrl>
<AvatarUrl size="xlarge">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xlarge.png?1691095779</AvatarUrl>
<AvatarUrl size="large">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/large.png?1691095779</AvatarUrl>
<AvatarUrl size="medium">https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/medium.png?1691095779</AvatarUrl>
<AvatarUrl size="small">https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/small.png?1691095779</AvatarUrl>
<AvatarUrl size="xsmall">https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779</AvatarUrl>
<AvatarUrl size="xxsmall">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxsmall.png?1691095779</AvatarUrl>
<Sponsor>UMBC AI</Sponsor>
<ThumbnailUrl size="xxlarge">https://assets2-beta.my.umbc.edu/system/shared/thumbnails/news/000/151/200/552f99673b573db6d36b8ab1bea5090c/xxlarge.jpg?1753744808</ThumbnailUrl>
<ThumbnailUrl size="xlarge">https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/151/200/552f99673b573db6d36b8ab1bea5090c/xlarge.jpg?1753744808</ThumbnailUrl>
<ThumbnailUrl size="large">https://assets2-beta.my.umbc.edu/system/shared/thumbnails/news/000/151/200/552f99673b573db6d36b8ab1bea5090c/large.jpg?1753744808</ThumbnailUrl>
<ThumbnailUrl size="medium">https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/151/200/552f99673b573db6d36b8ab1bea5090c/medium.jpg?1753744808</ThumbnailUrl>
<ThumbnailUrl size="small">https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/151/200/552f99673b573db6d36b8ab1bea5090c/small.jpg?1753744808</ThumbnailUrl>
<ThumbnailUrl size="xsmall">https://assets2-beta.my.umbc.edu/system/shared/thumbnails/news/000/151/200/552f99673b573db6d36b8ab1bea5090c/xsmall.jpg?1753744808</ThumbnailUrl>
<ThumbnailUrl size="xxsmall">https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/151/200/552f99673b573db6d36b8ab1bea5090c/xxsmall.jpg?1753744808</ThumbnailUrl>
<ThumbnailAltText>Philosophy of AI course at UMBC</ThumbnailAltText>
<PawCount>0</PawCount>
<CommentCount>0</CommentCount>
<CommentsAllowed>true</CommentsAllowed>
<PostedAt>Tue, 29 Jul 2025 08:19:48 -0400</PostedAt>
</NewsItem>

<NewsItem contentIssues="false" id="150764" important="false" status="posted" url="https://beta.my.umbc.edu/groups/umbc-ai/posts/150764">
<Title>UMBC graduate course on AI Agent Computing, Fall 2025</Title>
<Body>
<![CDATA[
    <div class="html-content"><div><span>UMBC's g</span>raduate <strong><a href="https://goseng.umbc.edu/" rel="nofollow external" class="bo">Software Engineering Program</a> </strong>will offer a new <span>special topics in software engineering class </span><span><strong> </strong></span><span>(<a href="https://csprd-web.ps.umbc.edu/psc/ps/EMPLOYEE/SA/s/WEBLIB_HCX_CM.H_CLASS_DETAILS.FieldFormula.IScript_Main?institution=UMBC1&amp;term=&amp;class_nbr=7609" rel="nofollow external" class="bo">SENG 691 section 5</a>) </span><span>this Fall on <strong>A</strong><strong>I Agent Computing</strong></span><span>.</span><span> T</span><span>opics will include open-source AI libraries; personal small language models and special-purpose models; AI agents: AI agents with LLMs, ML models, and rule-based systems; AI-enhanced robotics; augmented artificial intelligence; functional safety for autonomous devices; sustainable computing; brain computer interfaces; tools and policies for AI regulation; and wearables biomarkers in medicine and wellness. </span></div></div>
]]>
</Body>
<Summary>UMBC's graduate Software Engineering Program will offer a new special topics in software engineering class  (SENG 691 section 5) this Fall on AI Agent Computing. Topics will include open-source AI...</Summary>
<Website>https://csprd-web.ps.umbc.edu/psc/ps/EMPLOYEE/SA/s/WEBLIB_HCX_CM.H_CLASS_DETAILS.FieldFormula.IScript_Main?institution=UMBC1&amp;term=&amp;class_nbr=7609</Website>
<TrackingUrl>https://beta.my.umbc.edu/api/v0/pixel/news/150764/guest@my.umbc.edu/700c1b35d6c10bdae372e3bcad5e4b57/api/pixel</TrackingUrl>
<Tag>agent</Tag>
<Tag>ai</Tag>
<Tag>class</Tag>
<Tag>programming</Tag>
<Tag>software-engineering</Tag>
<Group token="umbc-ai">UMBC AI</Group>
<GroupUrl>https://beta.my.umbc.edu/groups/umbc-ai</GroupUrl>
<AvatarUrl>https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779</AvatarUrl>
<AvatarUrl size="original">https://assets2-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/original.png?1691095779</AvatarUrl>
<AvatarUrl size="xxlarge">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxlarge.png?1691095779</AvatarUrl>
<AvatarUrl size="xlarge">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xlarge.png?1691095779</AvatarUrl>
<AvatarUrl size="large">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/large.png?1691095779</AvatarUrl>
<AvatarUrl size="medium">https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/medium.png?1691095779</AvatarUrl>
<AvatarUrl size="small">https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/small.png?1691095779</AvatarUrl>
<AvatarUrl size="xsmall">https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779</AvatarUrl>
<AvatarUrl size="xxsmall">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxsmall.png?1691095779</AvatarUrl>
<Sponsor>UMBC AI</Sponsor>
<ThumbnailUrl size="xxlarge">https://assets4-beta.my.umbc.edu/system/shared/thumbnails/news/000/150/764/89c3287d2785273010c5921143aebab2/xxlarge.jpg?1750712681</ThumbnailUrl>
<ThumbnailUrl size="xlarge">https://assets4-beta.my.umbc.edu/system/shared/thumbnails/news/000/150/764/89c3287d2785273010c5921143aebab2/xlarge.jpg?1750712681</ThumbnailUrl>
<ThumbnailUrl size="large">https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/150/764/89c3287d2785273010c5921143aebab2/large.jpg?1750712681</ThumbnailUrl>
<ThumbnailUrl size="medium">https://assets3-beta.my.umbc.edu/system/shared/thumbnails/news/000/150/764/89c3287d2785273010c5921143aebab2/medium.jpg?1750712681</ThumbnailUrl>
<ThumbnailUrl size="small">https://assets1-beta.my.umbc.edu/system/shared/thumbnails/news/000/150/764/89c3287d2785273010c5921143aebab2/small.jpg?1750712681</ThumbnailUrl>
<ThumbnailUrl size="xsmall">https://assets2-beta.my.umbc.edu/system/shared/thumbnails/news/000/150/764/89c3287d2785273010c5921143aebab2/xsmall.jpg?1750712681</ThumbnailUrl>
<ThumbnailUrl size="xxsmall">https://assets2-beta.my.umbc.edu/system/shared/thumbnails/news/000/150/764/89c3287d2785273010c5921143aebab2/xxsmall.jpg?1750712681</ThumbnailUrl>
<ThumbnailAltText>a person programming with/for ai agents</ThumbnailAltText>
<PawCount>0</PawCount>
<CommentCount>0</CommentCount>
<CommentsAllowed>true</CommentsAllowed>
<PostedAt>Thu, 26 Jun 2025 08:41:27 -0400</PostedAt>
</NewsItem>

<NewsItem contentIssues="true" id="142662" important="false" status="posted" url="https://beta.my.umbc.edu/groups/umbc-ai/posts/142662">
<Title>Free class: Programming in Lean for Scientists and Engineers</Title>
<Tagline>1-3pm ET July 9 &#8211; Aug 21, in-person &amp; onlne, non-credit</Tagline>
<Body>
<![CDATA[
    <div class="html-content"><span><h5><img src="https://ai.umbc.edu/wp-content/uploads/sites/734/2024/07/lean2.png" style="max-width: 100%; height: auto;"></h5><br><h2><span>Lean for Scientists and Engineers</span></h2><h5><span><br></span></h5><h4><span><strong>Meets twice weekly, 1-3pm ET, July 9 – August 21, 2024<br></strong></span><span><strong>in-person at UMBC and online</strong></span></h4><p><span><br></span></p><p><span>UMBC’s AI &amp; Theory-Oriented Molecular Science Lab (<a href="https://atomslab.github.io/" rel="nofollow external" class="bo"><strong>ATOMS</strong></a>) will teach a free, non-credit class, “Lean for Scientists and Engineers”, this summer. </span><span><a href="https://lean-lang.org/" rel="nofollow external" class="bo"><strong>Lean 4</strong></a></span><span> is a new programming language whose type system enables it to describe and check the logic of advanced math proofs. It makes it easier to write correct and maintainable code.</span></p><p><span>By writing software in Lean and writing proofs </span><span>about</span><span> those functions, we can be confidant that our code is correct. Our vision is to enable a new class of scientific computing software whose functions are interwoven with a library of formally-verified scientific derivations. All are welcome! This course is designed for non-mathematicians. </span></p><p><span>Topics include l</span><span>ogic and proofs for scientists and engineers, f</span><span>unctional programming in Lean 4, and p</span><span>rovably-correct programs for scientific computing. </span><span>Prerequisites are Calculus II, introductory physics and introductory chemistry.</span></p></span><h4><span><span><strong>Register and get more information </strong></span><a href="https://forms.gle/Yro7uVoLkxyAyw7r5" rel="nofollow external" class="bo"><span><strong>here</strong></span></a><span>.</span></span></h4><div><span><strong><br></strong></span>
    <hr><a href="https://ai.umbc.edu/" rel="nofollow external" class="bo"><strong>UMBC Center for AI</strong></a> 
    </div></div>
]]>
</Body>
<Summary>Lean for Scientists and Engineers     Meets twice weekly, 1-3pm ET, July 9 – August 21, 2024 in-person at UMBC and online     UMBC’s AI &amp; Theory-Oriented Molecular Science Lab (ATOMS) will...</Summary>
<TrackingUrl>https://beta.my.umbc.edu/api/v0/pixel/news/142662/guest@my.umbc.edu/8f0ff91312dcfc2a8d98cb288f319f7c/api/pixel</TrackingUrl>
<Tag>ai</Tag>
<Tag>class</Tag>
<Tag>free</Tag>
<Tag>non-credit</Tag>
<Tag>programming</Tag>
<Tag>proof</Tag>
<Group token="umbc-ai">UMBC AI</Group>
<GroupUrl>https://beta.my.umbc.edu/groups/umbc-ai</GroupUrl>
<AvatarUrl>https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779</AvatarUrl>
<AvatarUrl size="original">https://assets2-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/original.png?1691095779</AvatarUrl>
<AvatarUrl size="xxlarge">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxlarge.png?1691095779</AvatarUrl>
<AvatarUrl size="xlarge">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xlarge.png?1691095779</AvatarUrl>
<AvatarUrl size="large">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/large.png?1691095779</AvatarUrl>
<AvatarUrl size="medium">https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/medium.png?1691095779</AvatarUrl>
<AvatarUrl size="small">https://assets3-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/small.png?1691095779</AvatarUrl>
<AvatarUrl size="xsmall">https://assets4-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xsmall.png?1691095779</AvatarUrl>
<AvatarUrl size="xxsmall">https://assets1-beta.my.umbc.edu/system/shared/avatars/groups/000/002/081/cfb27ebe008c2636486089a759ea5c36/xxsmall.png?1691095779</AvatarUrl>
<Sponsor>UMBC AI</Sponsor>
<PawCount>0</PawCount>
<CommentCount>0</CommentCount>
<CommentsAllowed>true</CommentsAllowed>
<PostedAt>Fri, 05 Jul 2024 12:52:05 -0400</PostedAt>
</NewsItem>

</News>
