Laboratoire Bordelais de Recherche en Informatique
Igor Walukiewicz
: Homepage
LaBRI
, Université Bordeaux-1
351, Cours de la Libération
33 405, Talence cedex, France
e-mail:
phone:
+33 5 40 00 69 03
fax:
+33 5 40 00 66 69
office:
320
Publications
Surveys and Slides
Conferences:
FOSSACS 2011
Foundations of Software Science and Computation Structures (Saarbrucken, Germany, March 2011)
On the Posterity of Büchi (Logic and Automata)
Swiss Society for Logic and Philosophy Annual Meeting (Lausanne, March 2011)
GAMES-EPIT Spring School 2011
38th School in the series of "Ecole de Printemps d'Informatique Théorique" (Carcans-Maubisson near Bordeaux, May 2011)
CSR 2011
The 6th International Computer Science Symposium in Russia (St. Petersburg, Russia, June 2011)
LICS 2011
Logic in Computer Science (Toronto, Canada, June 2011)
ICALP 2011
International Colloquium on Automata, Languages and Programming (Zurich, Switzeland, July 2011)
FSTTCS 2011
Conference on Foundations of Software Technology and Theoretical Computer Science (Bombay, India, December 2011)
STACS 2012
International Symposium on Theoretical Aspects of Computer Science (Paris, France, February 2012)
FICS 2012
8th Workshop on Fixed Points in Computer Science (Talin, Estonia, March 2012)
ICALP 2012
International Colloquium on Automata, Languages and Programming (Warwick, UK, July 2012)
LICS 2012
Logic in Computer Science (Dubrovnik, Croatia, June 2012)
RP 2012
6th International Workshop on Reachability Problems (Bordeaux, France, September 2012)
MFCS 2012
Symposium on Mathematical Foundations of Computer Science, (Bratislava, Slovakia, August 2012)
Journal (Member of Editorial Board)
Fundamenta Informaticae
Other activities
Séminaire : Graphes et Logique
Séminaire : Modélisation, Vérification et Test de systèmes informatisés.
Member of
IFIP WG 2.2
GAMES : ESF Research Networking Programme.
Member of the Steering Committee of
FOSSACS
: International Conference on Foundations of Software Science and Computation Structures
DOTS
: Distributed Open Timed Systems, ANR "Sécurité et Informatique".
FREC
: Frontiers of recognizability, ANR.
GDR Informatique Mathématique
Igor Walukiewicz
Last modified: September, 2011