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)

    Other activities

    Igor Walukiewicz
    Last modified: September, 2011