ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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 2019Committee Member in Invited Speakers within the CREST-track
Co-chair in Program Committee within the CREST-track
Author of Causality and diagrammatic reasoning within the CREST-track
Show activities from other conferences

ETAPS 2019-profile
View general profile