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

Curriculum Vitae

Conferences:

  • FCT 2015
    20th International Symposium on Fundamentals of Computation Theory (Gdansk, Poland, August 2015)
  • AutoMathA 2015
    Jewels of Automata: from Mathematics to Applications (Leipzig, Germany, May 2015)
  • Highlights 2014
    Highlights of logic, games, and automata meeting (Paris, France, September 2014)
  • CSR 2014
    International Computer Science Symposium in Russia (Moscow, Russia, June 2014)
  • Workshop on Abstraction and Verification in Semantics
    A part of IHP trimester on Semantics of proofs and certified mathematics Henri Poincaré Institute, (Paris, April-July, 2014)
  • CSL/LICS 2014
    Joint meeting of Computer Science Logic and Logic in Computer Science (Vienna, Austria, July 2014)
  • SOFSEM 2014
    Current Trends in Theory and Practice of Computer Science (High Tatras, Slovakia, January 2014)
  • FSTTCS 2013
    Conference on Foundations of Software Technology and Theoretical Computer Science (Guwahati, India, December 2013)
  • CAV 2013
    Computer Aided Verification (Saint Petersburg, Russia, July 2013)
  • ICALP 2013
    International Colloquium on Automata, Languages and Programming (Riga, Latvia , July 2013)
  • TLCA 2013
    International Conference on Typed Lambda Calculi and Applications (Eindhoven, The Netherlands, June 2013)
  • GAMES School 2013
    Games Winter School 2013 (Champery, Switzerland, February 2013)

    Journal (Member of Editorial Board)

    Other activities

    Igor Walukiewicz
    Last modified: November, 2013