Date

Presentation

Location

21.10.2025

16:15 - 18:00

Welcome

Organization, Background,  Introduction to Topics, Topic Assignments
 

DFKI, R “Turing I”

18.11.2025

16:15 - 18:00

de la Rosa, T., et al. (2024). TRIP-PAL: Travel Planning with Guarantees by Combining Large Language Models and Automated Planners.

Presenter:  Bharath Vasishta Iriventi

DFKI, R “Turing II”

25.11.2025

16:15 - 18:00

Li, Z., et al. (2023). Neuro-Symbolic Learning Yielding Logical Constraints.

Presenter:  Robin Haselhorst

DFKI, R “Turing II”

2.12.2025

16:15 - 18:00

[Topic#2]

DFKI, R “Turing II”

9.12.2025

16:15 - 18:00

Wang, C., et al. (2024). Imperative Learning: A Self-Supervised Neuro-Symbolic Learning Framework for Robot Autonomy.

Presenter:  Karl Kevin Ondobo Enama

DFKI, R “Turing II”

16.12.2025

16:15 - 18:00

Cunnington, D., et al. (2024). The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning.

Presenter:  Pratyush Raj

DFKI, R “Turing II”

6.1.2026

16:15 - 18:00

Danesh, M.H., et al.  (2023). LEADER: Learning Attention over Driving Behaviors for Planning under Uncertainty.

Presenter:  Abhiroop Basak

DFKI, R “Turing II”

13.1.2026

16:15 - 18:00

Dai, Z., et al. (2024). Optimal Scene Graph Planning with Large Language Model Guidance.

Presenter:  Madheswar Konidela

DFKI, R “Turing II”

20.1.2026

16:15 - 18:00

Tuisov, A., et al. (2025). LLM-Generated Heuristics for AI Planning: Do We Even Need Domain-Independence Anymore?

Presenter:  Gopal Mengi

DFKI, R “Turing II”

27.1.2026

16:15 - 18:00

Lee, C., et al. (2025). VeriPlan: Integrating Formal Verification and LLMs into End-User Planning.

Presenter:  Syed Muhammad Jhon Raza Naqvi

DFKI, R “Turing II”

3.2.2026

16:15 - 18:00

Bai, D., et al. (2025). TwoStep: Multi-Agent Task Planning Using Classical Planners and Large Language Models.

Presenter:  Zoha Zehra

DFKI, R “Turing II”