Back to All Events

Visitor Talk

  • Bahen Centre for Information Technology 40 St. George Street, SE conference room Toronto Canada (map)

Title: Introduction to Well Structured Transition Systems (WSTS)
Presented By: Professor Alain Finkel, ENS de Cachan

We present the concepts, the story, some WSTS models, some applications to different questions and the main decidability results on WSTS.

Earlier Event: October 11
Theory Seminar