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:

  • 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)
  • FSTTCS 2016
    36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Chennai, India, December 2016)
  • CONCUR 2016
    International Conference on Concurrency Theory (Quebec City, Canada, August 2016)
  • LICS 2016
    Logic in Computer Science (New York, USA, July 2016)
  • ICALP 2016
    International Colloquium on Automata, Languages and Programming (Rome, Italy, July 2016)
  • RP 2016
    Workshop on Reachability Problems (Aalborg, Denmark, September 2016)
  • FOSSACS 2016
    Foundations of Software Science and Computation Structures (Eindhoven, The Netherlands, April 2016)
  • VPT 2016
    Verification and Program Transformation (Eindhoven, The Netherlands, April 2016)
  • HoMC 2016
    Shonan Meeting on Higher-Order Model Checking (Shonan Village, Japan, March 2016)
  • TCQV 2016
    Mysore Workshop on Trends and Challenges in Quantitative Verification (Mysuru, India, February 2016)

    Journal (Member of Editorial Board)

    Other activities

    Igor Walukiewicz
    Last modified: June, 2017