Igor Walukiewicz : Homepage

e-mail:
phone:	+33 5 40 00 69 17
fax:	+33 5 40 00 66 69
office:	207

Teaching

Publications

Surveys and Slides

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

Conferences:

• FoSSaCS 2004
  Foundations of Software Science and Computation Structures (Barcelona, Spain, March-April, 2004), a part of ETAPS 2004
• DLT 2004
  Developments in Language Theory (Auckland, New Zealand, December 2004)
• Spring School on Infinite Games and Their Applications
  (Bonn, Germany, 15-19 March 2005)
• LPAR 2005
  International Conference on Logic for Programming Artificial Intelligence and Reasoning (March, 2005, Montevideo, Uruguay)
• FoSSaCS 2005
  Foundations of Software Science and Computation Structures (Edinburgh, Scotland, April 2005)
• LICS 2005
  Logic in Computer Science (Chicago, USA, July 2005)
• LCC 2005
  International Workshop on Logic and Computational Complexity (Chicago, USA, July 2005)
• CONCUR 2005
  International Conference on Concurrency Theory (San Francisco, USA, August 2005)
• INFINITY 2005
  International Workshop on Verification of Infinite-State Systems (San Francisco, USA, August 2005)

Journal (Member of Editorial Board)

• Computing and Informatics (CAI)

Other activities

• Member of IFIP WG 2.2
• GAMES Research Traning Network.
• Groupes de Travail Graphes et Logique / Working group on Logic and Graphs.
• ACI Sécurité Informatique VERSYDIS « Vérification des systèmes distribués »