For best experience please turn on javascript and use a modern browser!
Bekijk de site in het Nederlands

Facundo Carreiro's carries out research into fixpoint logics, a terms used to refer to any logic that can encode some type of recursion, iteration or repetition. His main objective is to systematically identify several important logics as precise fragments of other well known logics. To accomplish this task, he develops automata-theoretic tools to analyse these fragments.

Event details of Fragments of fixpoint logics
Date 11 December 2015
Time 11:00 -12:00
Location Aula - Oude Lutherse kerk
Room Location

F.M. Carreiro: Fragments of Fixpoint Logics. Automata and Expressiveness.

Supervisor

Prof. Y. Venema

Aula - Oude Lutherse kerk

Room Location

Singel 411
1012 XM Amsterdam

Entrance

This event is open to the public.