Laboratoire Bordelais de Recherche en Informatique

Igor Walukiewicz : Homepage

LaBRI , Université de Bordeaux
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

PhD position available

Conferences:

  • CSR 2019
    The 14th Computer Science Symposium in Russia 28th International Conference on Concurrency Theory (Novosibirsk, Russia, 2019)
  • ICALP 2018
    International Colloquium on Automata, Languages and Programming (Prague, Czech Republic, July 2018)
  • CONCUR 2017
    28th International Conference on Concurrency Theory (Berlin, Germany, September 2017)
  • CAV 2017
    Computer Aided Verification (Heidelberg, Germany, July 2017)
  • LICS 2017
    Logic in Computer Science (Reykjavik, Island, June 2017)
  • VMCAI 2017
    18th International Conference on Verification, Model Checking, and Abstract Interpretation
  • SOFSEM 2017
    43rd International Conference on Current Trends in Theory and Practice of Computer Science (Lero Limerick, Ireland, January 2017)

    Journal (Member of Editorial Board)

    Other activities

    Igor Walukiewicz
    Last modified: June, 2017