Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Igor Walukiewicz: homepage
[go: Go Back, main page]

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: 119

Teaching

Publications

Surveys and Slides

CV[PDF], Publication list[PDF], Short[PDF] and Long[PDF] resume.

Conferences:

  • PERSPECTIVES IN VERIFICATION
    in honour of Prof. Dr. Wolfgang Thomas (RWTH Aachen) on the occasion of his doctorate Honoris Causa, Cachan, Nov. 17-18, 2005
  • FSTTCS 2005
    Conference on Foundations of Software Technology and Theoretical Computer Science (Hyderabad, India, December 2005)
  • Finite and Algorithmic Model Theory
    An Isaac Newton Institute Satellite Workshop (Durham, UK, January 2006)
  • FoSSaCS 2006
    Foundations of Software Science and Computation Structures (Vienna, Austrai, March, 2006), a part of ETAPS 2006
  • EJC AC 2006
    Ecole Jeunes Chercheurs en Algorithmique et Calcul formel (Bordeaux, May 2006)
  • EPIT 2006
    34e Ecole de Printemps en Informatique Theorique "Jeux : entre sémantique et vérification" (Ile de Ré, May 2006)
  • Workshop on Tree Automata
    (Bonn, June 2006)
  • MOVEP 2006
    MOdelling and VErifying parallel Processes (Bordeaux, June 2006)
  • ICALP 2006
    International Colloquium on Automata, Languages and Programming (Venice, Italy, July 2006)
  • MFCS 2006
    (Bratislava, Slovak Republic, August 2006)
  • IFIP WG 2.2 Anniversary Meeting
    (Udine, Italy, September 2006)
  • AIML 2006
    Advances in Modal Logic (Queensland, Australia, September 2006)
  • LICS 2007
    Logic in Computer Science

    Journal (Member of Editorial Board)

    Other activities

  • Open PhD School of Warsaw University
    Igor Walukiewicz
    Last modified: March 2, 2006