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:
CONCUR 2023
International Conference on Concurrency Theory (Antwerp, Belgium, September 2023)
LICS 2023
Logic in Computer Science (Boston USA, June 2023)
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)
Journal (Member of Editorial Board)
Fundamenta Informaticae
Other activities
Seminaire Methodes Formelles
Member of
IFIP WG 2.2
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: September, 2023
