Talks of Ozan Kahramanoğulları
Simulating Stochastic Dynamic Interactions with Spatial Information and Flux.
TPNC'16. 5th International Conference on the Theory and Practice of Natural Computing,
Sendai, Japan, December 12-13, 2016.
True Concurrency of Deep Inference Proofs.
WoLLIC'16. 23rd Workshop on Logic, Language, Information and Computation,
Puebla, Mexico, August 16-19, 2016.
Gener: A minimal programming module for chemical controllers
based on DNA strand displacement.
SSBSS'15. International Synthetic and Systems Biology Summer School,
Taormina, Sicily, Italy, July 5-9, 2015.
2nd Symposium on Complex Biodynamics & Networks Tsuruoka
[INVITED]. On Concurrent Computations in Petri Nets for Modelling Signalling Pathways.
AAAI Spring Symposium, Logical Formalizations of Commonsense Reasoning 2003,
Stanford University, Palo Alto, California, March 24-26, 2003.