ETAPS 2019 (series) / Jean Krivine

Registered user since Wed 26 Sep 2018
Name:Jean Krivine
Country:France
Affiliation:CNRS
Personal website:https://www.irif.fr/~jkrivine/homepage/
Research interests:Graph rewriting, stochastic simulation, formal molecular biology, knowledge representation, causality
Contributions
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
View general profile