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

Meet CSE Profile: Chengrui Li

5 min read

Before he returns to New York City to continue building brain-interface technologies at Meta, we caught up with Chengrui Li to learn how he keeps…
ICLR 2026 Diffusion-DFL

4 min read

Georgia Tech researchers have developed Diffusion-DFL, the first decision-focused learning model built on diffusion AI technology. It uses the same…
The Future of AI-Powered Manufacturing

1 min read

ISyE is advancing the next generation of manufacturing through AI‑driven research that integrates data analytics, optimization, and human‑centered…
2026 Georgia Scientific Computing Symposium

4 min read

Researchers from universities across Georgia, including Georgia Tech, set aside rivalry to collaborate at the 2026 Georgia Scientific Computing…
Rampi Ramprasad and three members of his research team discuss their AI model for generative polymer design in his office.

1 min read

By training a model on the allowed “words” and “grammar” of chemistry, Georgia Tech materials scientists can design polymers based on the properties…
DOE Office of Science ASCR Reports

3 min read

Georgia Tech faculty members contributed to two DOE Advanced Scientific Computing Research program workshops. Recently published reports of their…
Picture of David Sherrill who has been Named Executive Director of the Institute for Data Engineering and Science

3 min read

Georgia Tech has appointed David Sherrill as executive director of the Institute for Data Engineering and Science (IDEaS), effective March 1.
Student-Microgrants-6--1-.png graphic

5 min read

Georgia Tech Arts Announces Spring 2026 Microgrant Awardees
DOE ECRP Qi Tang

4 min read

Georgia Tech's Qi Tang has received an Early Career Research Program award from the Department of Energy's Office of Science. The $875,000 grant…
CSE in 2026

3 min read

Georgia Tech researchers say HPC and artificial intelligence (AI) advances this year are poised to improve how people power their homes, design safer…