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:

  • SOFSEM 2017
    43rd International Conference on Current Trends in Theory and Practice of Computer Science (Lero Limerick, Ireland, January 2017)
  • 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)
  • FSTTCS 2015
    Conference on Foundations of Software Technology and Theoretical Computer Science (Bangalore, India, December 2015)
  • CSL 2015
    Computer Science Logic, (Berlin, Germany, September 2015)
  • 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)
  • FOSSACS 2015
    Foundations of Software Science and Computation Structures (London, UK, April 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)

    Journal (Member of Editorial Board)

    Other activities

    Igor Walukiewicz
    Last modified: November, 2016