|
- (with J.
Duparc, J. Cabessa and F. Murlak) The
Wadge Hierarchy of Max-Regular Languages.
IARCS Annual Conference on Foundations of Software Technology and
Theoretical Computer Science,
December 15-17 2009, IIT Kanpur, India.
- Topological
Aspects of Deterministic Counter Automata. Workshop
on Distance Automata and Generalisations,
November 16-18 2009, Paris, France.
- (with J.
Duparc and F. Murlak) Linear
Game Automata. CSL 09,
September
7-11
2009,
Coimbra,
Portugal.
- On
Fixpoint Alternation. PALMYR-VII,
ENS Paris, October 6-7 2008.
- (with L.
Alberucci) The
μ-Calculus Hierarchy over Restricted Classes of Transition Systems.
Algebra
and
Coalgebra
Seminar, ILLC Amsterdam, October 1 2008.
- (with L.
Alberucci) The
μ-Calculus Hierarchy over Restricted Classes of Models. Logic
Colloquium 08, July 3-8 2008,
Bern
- (with J.
Duparc) Describing
the
Wadge
Hierarchy
for
the
Alternation
Free
Fragment of μ-Calculus
(I): The Levels Below $\omega_{1}$. CiE 08, June 15- 20 2008,
Athens, Greece
- (with J.
Duparc) Complexity of Δ(1,2) sets and μ-Calculus: when Infinite
Games make Modal Logic and Descriptive Set Theory Meet. Infinite in
Logic and Computation, November 3-5 2007 University of Cape Town
- On the
Modal μ-Calculus and Wadge Games. First
Workshop in Decisions,
Games and Logic, July 18-19 2007, London School of Economics
- Fun,
Knowledge and Modality, A Short Game-Theoretical Introduction to Modal
Logic and Reasoning about Knowledge. Kaplan
Reader Circle's Lecture, April 20 2007, University of Bern
- Hintikka
lecteur
de
Hilbert. Congress on the philosophical Unity/Plurality
of Logic and Mathematics, Februar 20-21 2004, University of Nice
- What
is the Model-Theoretical Problem with Hilbert's Programme, 12th
International Congress of Logic, Methodology of Sciences, August 7-13
2003, Oviedo, Spain
|
|
|