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 2009
International Colloquium on Automata, Languages and Programming (Rhodos, Greece, July 2009)
LICS 2009
Logic in Computer Science (Los Angeles, USA, August 2009)
GALOP 2010
Games for Logic and Programming Languages (Paphos, Cyprus, March 2010)
Workshop on Higher-Order Recursion Schemes & Pushdown Automata
(Paris, France, March 2010)
ICALP 2010
37th International Colloquium on Automata, Languages and Programming (Bordeaux, France, July 2010)
CAV 2010
Computer Aided Verification (Edinburgh, Scotland, July 2010)
FICS 2010
Workshop on Fixed Points in Computer Science (Brno, Czech Republic, August 2010)
AMIL 2010
Advances in Modal Logic (Moscow, Russia, August 2010)
ATVA 2010
Symposium on Automated Technology for Verification and Analysis (Singapore, September 2010)
FOSSACS 2011
Foundations of Software Science and Computation Structures (Saarbrucken, Germany, March 2011)
CSR 2011
The 6th International Computer Science Symposium in Russia (St. Petersburg, Russia, June 2011)
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