ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Jean Krivine

Registered user since Wed 26 Sep 2018

Name:Jean Krivine
Research interests:Graph rewriting, stochastic simulation, formal molecular biology, knowledge representation, causality


CREST 2019 Committee Member in Invited Speakers within the CREST-track
Co-chair in Program Committee within the CREST-track
Causality and diagrammatic reasoning
Show activities from other conferences

ETAPS 2019-profile
View general profile