Laboratoire Bordelais de Recherche en Informatique
Igor Walukiewicz
: Homepage
LaBRI
,
Université de Bordeaux
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
Curriculum Vitae
Conferences:
FSTTCS 2022
Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 2022)
CONCUR 2022
International Conference on Concurrency Theory (Warsaw, Poland, September 2022)
LICS 2022
Logic in Computer Science (Haifa Israel, August 2022)
ICALP 2022
International Colloquium on Automata, Languages and Programming (Paris, France, July 2022)
HIGHLIGHTS 2020
of Logic, Games, and Automata (online, September 2020)
CONCUR 2020
International Conference on Concurrency Theory (online, September 2020)
LICS 2020
Logic in Computer Science (online, July 2020)
Journal (Member of Editorial Board)
Fundamenta Informaticae
Other activities
Seminaire Methodes Formelles
Member of
IFIP WG 2.2
FREDDA
: FoRmal mEthods for the Design of Distributed Algorithms, ANR grant.
Ticktac
: Efficient Techniques and Tools for the Verification and Synthesis of Real-Time Systems, ANR grant.
GDR Informatique Mathematique
TChecker
model-checking tool for real-timed systems developped at LaBRI
Igor Walukiewicz
Last modified: June, 2022