Come and join us for 2 x 20 min. inspiring talks while you enjoy a free “casual after-work” beer with your fellow student, colleague or teacher.
This time Postdoc Xueying Qin (Topic: Using LLMs in Lean 4: The Next Stage of Proof Automation) and Associate Professor Lars Rohwedder (Topic: AI for Math and TCS Research: A User's Perspective) will each spend 20 minutes each telling you about their current research.
- Organizer: IMADA
- Address: Campusvej 55, 5230 Odense M
- Contact Email: pbm@sdu.dk
- IMADA Talks is held at the MADA Forskertorv: https://clients.mapsindoors.com/sdu/573f26e4bc1f571b08094312/details/563cb9ac423b7d0540c9a914
- Add to your calendar: https://eom.sdu.dk:443/events/ical/72477840-ecf9-4d74-af2e-556ec5ab16ea