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

CV[PDF], Publication list[PDF], Short[PDF] and Long[PDF] resume.

Conferences:

  • ICALP 2009
    International Colloquium on Automata, Languages and Programming (Rhodos, Greece, July 2009)
  • LICS 2009
    Logic in Computer Science (Los Angeles, USA, August 2009)
  • GALOP 2010
    Games for Logic and Programming Languages (Paphos, Cyprus, March 2010)
  • Workshop on Higher-Order Recursion Schemes & Pushdown Automata
    (Paris, France, March 2010)
  • ICALP 2010
    37th International Colloquium on Automata, Languages and Programming (Bordeaux, France, July 2010)
  • CAV 2010
    Computer Aided Verification (Edinburgh, Scotland, July 2010)
  • FICS 2010
    Workshop on Fixed Points in Computer Science (Brno, Czech Republic, August 2010)
  • AMIL 2010
    Advances in Modal Logic (Moscow, Russia, August 2010)
  • ATVA 2010
    Symposium on Automated Technology for Verification and Analysis (Singapore, September 2010)
  • FOSSACS 2011
    Foundations of Software Science and Computation Structures (Saarbrucken, Germany, March 2011)
  • CSR 2011
    The 6th International Computer Science Symposium in Russia (St. Petersburg, Russia, June 2011)

    Journals (Member of Editorial Board)

    Other activities

    Igor Walukiewicz
    Last modified: June, 2009