Igor Walukiewicz : Homepage

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

Teaching

CV

Publications

Surveys and Slides

Conferences:

• FoSSaCS 2004
  Foundations of Software Science and Computation Structures (Barcelona, Spain, March-April, 2004), a part of ETAPS 2004
• Concurrency theory and applications
  32nd Spring School in Theoretical Computer Science (Marseille, France, April 2004)
• ICALP 2004
  International Colloquium on Automata, Languages and Programming (Turku, Finland, July 2004)
• LICS 2004
  Logic in Computer Science (Turku, Finland, July 2004)
• WoLLIC 2004
  Workshop on Logic, Language, Information and Computation (Paris, France, July 2004)
• GDV 2004
  Games in Design and Verification (Boston, USA, July, 2004), Workshop co-located with CAV 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)
• LICS 2005
  Logic in Computer Science (Chicago, USA, July 2005)
• CONCUR 2005
  International Conference on Concurrency Theory (San Francisco, USA, August 2004)

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 »