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

Conferences:

  • ICALP 2018
    International Colloquium on Automata, Languages and Programming (Prague, Czech Republic, July 2018)
  • SOFSEM 2018
    Current Trends in Theory and Practice of Computer Science (Krems an der Donau, Austria, January 2018)
  • HIGHLIGHTS 2017
    Highlights of Logic, Games and Automata (London, UK, September 2017)
  • 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