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
CV
[PDF]
,
Publication list
[PDF]
,
Short
[PDF]
and
Long
[PDF]
resume.
Conferences:
ICALP 2008
International Colloquium on Automata, Languages and Programming (Reykjavik, Iceland, July 2008)
Journées Montoises d'Informatique Théorique
12émes Journées Montoises d'Informatique Théorique (Mons, Belgium, August 2008)
Workshop on Perspectives in Concurrency Theory
on the occasion of P. S. Thiagarajan's 60th birthday (Chennai, India, December 2008)
SOFSEM 2009
Current Trends in Theory and Practice of Computer Science, (Spindleruv Mlyn, Czech Republik, January 2009)
Journée «Théorie des Jeux et Informatique»
(Paris, France, February 2009)
AutoMathA 2009
Conference of the AutoMathA programme (Liege, Belgium, June 2009)
FICS 2009
Workshop on Fixed Points in Computer Science (Coimbra, Portugal, September 2009)
ICALP 2009
International Colloquium on Automata, Languages and Programming (Rhodos, Greece, July 2009)
LICS 2009
Logic in Computer Science (Los Angeles, USA, August 2009)
Journals (Member of Editorial Board)
Computing and Informatics (CAI)
Fundamenta Informaticae
Other activities
Séminaire : Graphes et Logique
Séminaire : Modélisation, Vérification et Test de systèmes informatisés.
Member of
IFIP WG 2.2
GAMES : ESF Research Networking Programme.
AVerisSS
: Automated Verification of Software Systems, ANR "Sécurité et Informatique".
DOTS
: Distributed Open Timed Systems, ANR "Sécurité et Informatique".
GDR Informatique Mathématique
Igor Walukiewicz
Last modified: June, 2009