Lectures

Lecture 1/3 TBA

Abstract TBA

Lecture 2/3 TBA

Abstract TBA

Lecture 3/3 TBA

Abstract TBA

Lecture 1/3 “Foundations of Guardrailing Agentic AI via Temporal Synthesis”

ABSTRACT: This course presents temporal synthesis as a foundation for guardrailing agentic AI. Temporal synthesis studies the automatic synthesis of interactive programs (strategies) from declarative specifications expressed in temporal logic. In this course, we show how temporal synthesis provides a practical foundation for strategic reasoning in autonomous AI systems. The key to this research path lies in the rich body of concepts developed in reasoning about actions and planning, combined with a precise treatment of nondeterministic environments and temporal objectives. In such settings, plans must be treated as strategies rather than being blurred with individual execution traces, and goal satisfaction evolves during execution rather than being reducible to reaching states with fixed properties, as in classical planning. These features are naturally captured within the temporal synthesis framework. Technically, we study the structure of the entire space of strategies satisfying a specification. Rather than assuming strategies to be observable, we focus on characterizing the set of execution traces that are compliant with a given strategy space. This perspective provides formal support for guardrailing and responsibility attribution in systems composed of multiple, independently acting autonomous agents.

Lecture 2/3 “Foundations of Guardrailing Agentic AI via Temporal Synthesis”

ABSTRACT: This course presents temporal synthesis as a foundation for guardrailing agentic AI. Temporal synthesis studies the automatic synthesis of interactive programs (strategies) from declarative specifications expressed in temporal logic. In this course, we show how temporal synthesis provides a practical foundation for strategic reasoning in autonomous AI systems. The key to this research path lies in the rich body of concepts developed in reasoning about actions and planning, combined with a precise treatment of nondeterministic environments and temporal objectives. In such settings, plans must be treated as strategies rather than being blurred with individual execution traces, and goal satisfaction evolves during execution rather than being reducible to reaching states with fixed properties, as in classical planning. These features are naturally captured within the temporal synthesis framework. Technically, we study the structure of the entire space of strategies satisfying a specification. Rather than assuming strategies to be observable, we focus on characterizing the set of execution traces that are compliant with a given strategy space. This perspective provides formal support for guardrailing and responsibility attribution in systems composed of multiple, independently acting autonomous agents.

Lecture 3/3 “Foundations of Guardrailing Agentic AI via Temporal Synthesis”

ABSTRACT: This course presents temporal synthesis as a foundation for guardrailing agentic AI. Temporal synthesis studies the automatic synthesis of interactive programs (strategies) from declarative specifications expressed in temporal logic. In this course, we show how temporal synthesis provides a practical foundation for strategic reasoning in autonomous AI systems. The key to this research path lies in the rich body of concepts developed in reasoning about actions and planning, combined with a precise treatment of nondeterministic environments and temporal objectives. In such settings, plans must be treated as strategies rather than being blurred with individual execution traces, and goal satisfaction evolves during execution rather than being reducible to reaching states with fixed properties, as in classical planning. These features are naturally captured within the temporal synthesis framework. Technically, we study the structure of the entire space of strategies satisfying a specification. Rather than assuming strategies to be observable, we focus on characterizing the set of execution traces that are compliant with a given strategy space. This perspective provides formal support for guardrailing and responsibility attribution in systems composed of multiple, independently acting autonomous agents.

Lecture 1/2 “Agentic Security (how to attack and defend against prompt injection)”

Abstract TBA

Lecture 2/2 “Agentic Security (how to attack and defend against prompt injection)”

Abstract TBA

Lecture 1/2 TBA

Abstract TBA

Lecture 2/2 TBA

Abstract TBA

Lecture 1/3 “The rise of Tabular Foundation Models”

Abstract TBA

Lecture 2/3 “TabICL: on open Tabular Foundation Model”

Abstract TBA

Lecture 3/3 “Next frontiers for TFMs”

Abstract TBA

Lecture 1/3 TBA

Abstract TBA

Lecture 2/3 TBA

Abstract TBA

Lecture 3/3 TBA

Abstract TBA

Lecture 1/2 TBA

Abstract TBA

Lecture 2/2 TBA

Abstract TBA

Lecture TBA

Abstract TBA