|
- A Polarity Theory for
Sets of Desirable Gambles.
The Tenth International Symposium on Imprecise
Probability: Theories and Applications (ISIPTA
’17), Lugano, July 10-14, 2017. [slides]
- Accepting and Rejecting
Gambles: A Logical Point of View. Progic
2017: The 8th Workshop on Combining Probability
and Logic, München, 29-31 March 2017.
- The
Index and Borel/Wadge Definability Problems
for Regular Languages of Infinite Trees.
Workshop of Wadge Theory and Automata,
Torino, 28 January 2015.
- Understanding Modal
Fixpoint Logics. Informatics Seminar,
Faculty of Informatics, Università della Svizzera
Italiana, Lugano, 18 December 2014.
- (with D. Niwinski) Modal
Fixpoint Logics: When Logic Meets Games,
Automata and Topology. (class) ESSLLI 2014,
Tübingen, 11-22 August 2014
- On the Expressivity of
Higher Order Tree Patterns. FOX
Closing Event, Hoeffalize, Belgium, April
23-25 2012.
- On the Reasonable
Effectiveness of Modal Fixpoints in Computer
Science. Invited talk for the Paul
Bernays Award, Bern, Switzerland, April 5
2012.
|
|
|