PLSEFM + AI Workshop

 

 

We are pleased to announce the upcoming AI + PLSEFM (programming languages, software engineering, and formal methods) workshop at Georgia Tech on April 30th, 2026.  

This workshop is focused on showcasing the rapidly evolving scientific research at the intersection of Programming Languages, Software Engineering, Compilers, Formal Methods (PLSEFM) and AI, conducted by Georgia Tech students and faculty. 

 

For Graduate and Undergraduate Students

 

Amazon Bedrock AgentCore Workshop: From Prototype to Production
 
April 17, 2026 | 10am - 3pm | College of Computing Building | Room 017
 

This comprehensive hands-on workshop will guide participants through building a Mortgage Assistant Agent that demonstrates the full spectrum of AgentCore capabilities - from basic conversational AI to enterprise-grade deployment with memory, security, and observability.

What Participants Will Learn:

  •  Deploy secure, scalable AI agents using AgentCore Runtime
  • Implement robust authentication and authorization with AgentCore Identity
  • Integrate external services through AgentCore Gateway
  • Extend agent capabilities using AgentCore Tools
  • Manage agent memory and context with AgentCore Memory
  • Monitor agent performance with AgentCore Observability

Schedule:

  •  1 hour of presentation
  • 3 hours of hands-on activities
  • 1 hour lunch + networking + QA
  • The session will remain active for 72 hours afterward so students can continue practicing

News

Community Engagement Graduate Fellows

4 min read

Four graduate students from the College of Sciences were selected for the new Community Engagement Graduate Fellowship, made possible through a gift…
Art Meets AI

1 min read

Georgia Tech launched a community-based Art and Generative AI course
Two Georgia Tech researchers looking at a biomedical chip.

3 min read

This is the Institute’s best ranking in the National Science Foundation’s annual survey.
Fall 2025 College of Computing Masters Commencement

5 min read

The Yellow Jacket community swarmed campus for the final time of the fall semester to celebrate Commencement ceremonies held Dec. 11 to 13. Graduates…
Person standing in a library aisle next to shelves filled with colorful books, wearing a dark sweater and jeans.

1 min read

Her path to the library began with a deep love of books, but her move into data science signals the evolving role of libraries at the intersection of…
Meet CSE Ziqi Zhang

3 min read

Ph.D. graduate Ziqi Zhang will join the Class of 2025 in walking across the stage, receiving diplomas, and graduating from Georgia Tech.
Yunan Luo NSF CAREER Award

4 min read

Yunan Luo is the recipient of an NSF Faculty Early Career Development (CAREER) award to use artificial intelligence to solve the protein annotation…
2025 Gordon Bell Prize Rocket Simulation

7 min read

Inspired by SpaceX’s Super Heavy booster, a team led by Georgia Tech’s Spencer Bryngelson and New York University’s Florian Schäfer modeled the…
Three Georgia Tech researchers working together in the lab on cancer research

1 min read

Georgia Tech has been ranked 7th in the world in the 2026 Times Higher Education Interdisciplinary Science Rankings
Rich Vuduc CSSE Director

5 min read

The College of Computing named Professor Rich Vuduc as director of the Center for Scientific Software Engineering (CSSE). The Georgia Tech hub is…