Evènement pour le groupe
Séminaire Méthodes Formelles
Date | 2016-10-11 11:00-12:00 |
Titre | Walking the Boundary Between Tractability and Intractability |
Résumé | I will give an overview of some of my past and expected future research. I will focus on complexity classification theorems — which classify (or attempt to classify) all problems in some problem family of interest — and their interactions with other areas of theoretical computer science. In particular, I will discuss work on the template-restricted constraint satisfaction problem and variants thereof; and, work on model checking first-order logic with respect to different classes of sentences. |
Lieu | 178 |
Orateur | Hubie Chen |
Email | http://hubiechen.weebly.com/ |
Url | Universidad del País Vasco |
Aucun document lié à cet événement.
RetourRetour à l'index