| Participants: | researchers and students of the research group Computational Methods in Systems and Control Theory |
| Room: | MPI Magdeburg V0.05/2+3 and BBB |
| Time: | Tuesday 14:00 -- 15:00 |
| Date | Speaker(s) | Title |
|---|---|---|
| 20.10.26 14:00 | Minakshi Verma | tba |
| 27.10.26 14:00 | Hiroki Sakamoto | tba |
| Participants: | researchers and students of the research group Computational Methods in Systems and Control Theory |
| Room: | MPI Magdeburg V0.05-2/3 and BBB |
| Time: | Tuesday 14:00 - 16:30 |
| Date | Speaker(s) | Title |
|---|---|---|
| 13.10.26 | Jens Saak, Ashwin Nayak, and Luis Pires | What can AI do for applied mathematics research? |
| 03.11.26 | Luis Pires and Pavan Veluvali | Introduction to LEAN, LEAN in MaRDI, LEAN and AI |