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

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…
Raphaël Pestourie CIOS

5 min read

Assistant Professor Raphaël Pestourie has earned back-to-back selections to the Institute’s Course Instructor Opinion Survey (CIOS) honor roll,…
Graphic Representation of networked system: Adobe Stock

3 min read

Nexus is Georgia Tech’s next-generation supercomputer, replacing the HIVE.
An illustrated rogue wave next to an image of three school busses stacked up on top of one another to demonstrate the size of the rogue wave.

4 min read

New Georgia Tech-led research shows that rogue waves — once thought to defy ocean physics — can be explained by ordinary wave patterns aligning in…