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:
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)
Jubilee Congress for the 100th anniversary of the Polish Mathematical Society
(Krakow, Poland, September 2019)
LICS 2019
Logic in Computer Science (Vancouver, Canada, June 2019)
MFCS 2019
Symposium on Mathematical Foundations of Computer Science, (Aachen, August 2019)
CSR 2019
The 14th Computer Science Symposium in Russia 28th International Conference on Concurrency Theory (Novosibirsk, Russia, 2019)
ICALP 2018
International Colloquium on Automata, Languages and Programming (Prague, Czech Republic, July 2018)
CONCUR 2017
28th International Conference on Concurrency Theory (Berlin, Germany, September 2017)
CAV 2017
Computer Aided Verification (Heidelberg, Germany, July 2017)
LICS 2017
Logic in Computer Science (Reykjavik, Island, June 2017)
VMCAI 2017
18th International Conference on Verification, Model Checking, and Abstract Interpretation
SOFSEM 2017
43rd International Conference on Current Trends in Theory and Practice of Computer Science (Lero Limerick, Ireland, January 2017)
Journal (Member of Editorial Board)
Fundamenta Informaticae
Other activities
Seminaire Methodes Formelles
Member of
IFIP WG 2.2
Member of
Section 6 du Comite National
Member of the Steering Committee of
HIGHLIGHTS
of Logic, Games, and Automata
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: Sept, 2020