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