• Sign in
  • Sign up
conf.researchr.org / Jean Krivine
  • ETAPS 2019 profile
  • POPL 2019 profile
  • STAF 2023 profile
  • STAF 2025 profile
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

2025

ICGT

  • Committee Member in Program Committee

2023

ICGT

  • Author of Compositionality of Rewriting Rules with Conditions within the Journal-First-track

2019

CREST

  • Committee 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

OPCT

  • Author of A Calculus of Branching Processes within the OPCT 2019-track
Share
xWed 21 May 15:26
using conf.researchr.org (v1.69.0)
Support page
Sign Up