BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Date iCal//NONSGML kigkonsult.se iCalcreator 2.20.2//
METHOD:PUBLISH
X-WR-CALNAME;VALUE=TEXT:Eventi DIAG
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:STANDARD
DTSTART:20261025T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20260329T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20270328T020000
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:calendar.31482.field_data.0@www.diag.uniroma1.it
DTSTAMP:20260924T152023Z
CREATED:20260922T131606Z
DESCRIPTION:Speaker: Augusto B. Corrêa (University of Oxford) Title: Planni
 ng in the Age of Large Language Models Link: https://uniroma1.zoom.us/j/85
 485829872?pwd=DVnUcL3bP6PammzbKe4htvWabslRw5.1Abstract: In a classical pla
 nning problem\, we want to find a sequence of actions that achieves a give
 n goal. In the last decades\, symbolic methods have dominated the field. I
 n this talk\, we explore how language models are changing classical planni
 ng\, and how they help us create better planning algorithms. In particular
 \, we focus on how we can use LLMs to synthesize entire components of plan
 ning systems. We will study how to implement counterexample-guided synthes
 is for planners\, and how we can use LLMs to create a planner that is guar
 anteed to produce optimal solutions.Bio sketch:Augusto B. Corrêa is a Juni
 or Research Fellow at Christ Church college\, University of Oxford. His re
 search focuses on how to ensure that AI systems can plan and act reliably 
 and correctly. His main interests are automated planning\, the formal foun
 dations of AI\, and the intersection of classical planning and large langu
 age models.  
DTSTART;TZID=Europe/Paris:20260925T113000
DTEND;TZID=Europe/Paris:20260925T113000
LAST-MODIFIED:20260922T134737Z
LOCATION:Zoom Link: https://uniroma1.zoom.us/j/85485829872?pwd=DVnUcL3bP6Pa
 mmzbKe4htvWabslRw5.1
SUMMARY:Seminari di Ingegneria Informatica - Augusto B. Corrêa: Planning in
  the Age of Large Language Models - Augusto B. Corrêa (University of Oxfor
 d)
URL;TYPE=URI:https://www.diag.uniroma1.it/node/31482
END:VEVENT
END:VCALENDAR