La Ludica è un programma di ricerca iniziato da J.-Y. Girard nel 2001 allo scopo di fornire un fondamento della logica basato sull'interazione. Attualmente, diversi studi sono condotti, che guardano alla ludica come un modello computazionale del linguaggio naturale e, in particolare, del dialogo. Lo scopo del seminario sarà introdurre gentilmente – anche attraverso qualche esempio - a questo campo della ricerca.