TUTORIAL DESCRIPTION
TB3: Formal Methods for Event Processing (Tutorial Cancelled)
Tutorialists: Alexander Artikis, Opher Etzion
Website: http://users.iit.demokritos.gr/~a.artikis/ijcai13-tutorial.html
Saturday, August 3rd, afternoon
 
This tutorial has been cancelled.

The processing of events in the multitude of data streams that are being recorded, ranging from business process data to computer and sensor network data, is becoming ever more important. This tutorial aims to show how formal methods provide a sound and e_ective approach to event processing, including event recognition.