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.
          Stochastic Flux Analysis of Chemical Reaction Networks.
          2nd Symposium on Complex Biodynamics & Networks


, Japan,  May 11- 13, 2015.

          [INVITED]. A theory of model equivalence based on stochastic simulation fluxes. [PDF]

5th Workshop on Logic and Systems Biology, associated with CSL/LICS 2014, 


Vienna, Austria, July 13, 2014.

          [INVITED]. An algorithmic model of gemcitabine mechanisms of action[PDF]

PharmSciFair, Pharmaceutical Sciences for the Future of Medicines, 


Prague, Czech Republic, June 13-17, 2011.


         Tutorial: COSBILAB LIME: a language interface for stochastic dynamical modelling in ecology.

7th European Conference on Ecological Modelling, 


Riva del Garda, Italy, 30 May - 2 June, 2011.


          Modelling and estimating dynamics of tumor shrinkage with BlenX and KInfer.

13th International Conference on Modelling and Simulation, 


Cambridge, UK, 30 March - 1 April, 2011.

          Compositional stochastic modelling of dynamical ecosystems.

XX Congresso Societa Italiana di Ecologia,

 "Sapienza" Universita di Roma,


Rome, Italy, September 27-30, 2010.

[INVITED]. Processes of Biology. [PPS] 

University of Turin, Department of Computer Science, 


Turin, Italy, December 14, 2009.


          An Intuitive Automated Modelling Interface for Systems Biology.

Fifth Workshop on Developments in Computational Models - 


Computational Models From Nature, 


Rhodes, Greece, July 11, 2009.

          Processes of Biology.

LogIC Seminar, Imperial College, 


London, UK, May 4, 2009.

          An Intuitive Automated Modelling Interface for Systems Biology.

Noise in Life 2009, Moller Centre, 


Cambridge, UK, March 23-25, 2009.


An Intuitive Automated Modelling Interface for Systems Biology.
          Synthetic Biology, Systems Biology and Bioinformatics Conference,  



University of Cambridge, Cambridge, UK, March 30-April 1, 2009.


Deep Inference and its Applications.


LogIC Seminar, Department of Computing, Imperial College, November 27, 2008.


          A Process Model of Actin Polymerisation. 
          2nd Workshop "From Biology To Concurrency and back", 
          Reykjavik, Iceland,  July 12, 2008.

          Interaction and Depth against Nondeterminism in Deep Inference Proof Search. 
          London Theory Day, Imperial College London, UK, April 11, 2008. 

          On Linear Logic Planning and Concurrency. 
          Language and Automata Theory and Applications, Second International Conference, 
          Tarragona, Spain, March 13-19, 2008. 

[INVITED]. A Deductive Language for Everything. [PDF] 

University of Bath, Department of Computer Science, 


Bath, UK, November 29, 2007.


[INVITED]. A Process Model of Rho GTP-binding Proteins. [PPS] 

Joint CISB Meeting, 


Newcastle, UK, November 11, 2007.

          On Linear Logic Planning and Concurrency. 
          Logic for Programming, Artificial Intelligence and Reasoning, 14th International Conference,
          Yeravan, Armenia, October 15-19, 2007.

          A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis.
          1st Workshop "From Biology To Concurrency and back", 
          Lisbon, Portugal, September 8, 2007.

          [INVITED].  Deep Inference in Theorem Proving. [PDF] 

University of Cambridge, Computer Laboratory, 


Cambridge, UK, May 8, 2007.

          Maude as a Platform for Designing and Implementing Deep Inference Systems.
          Eighth International Workshop on Rule Based Programming, 
          Paris, France, July 12, 2007. 

          [INVITED]. On Concurrent Computations in Petri Nets for Modelling Signalling Pathways.
          Workshop on Rule-based Modelling of Biochemical Systems, 
          Santa Fe, New Mexico, USA, June 14-15, 2007. 

          Interaction and Depth Against Nondeterminism in Proof Search. 
          Workshop on Automated Reasoning, ARW 2007, 
          Imperial College London, April19-20, 2007. 

          [INVITED]. Interaction and Depth against Nondeterminism in Proof Search. [PDF] 

University of Birmingham, School of Computer Science, 


Birmingham, UK, December 15, 2006.

          Reducing Nondeterminism in the Calculus of Structures.
          Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference,
          Phnom Penh, Cambodia, November 13-17, 2006. 

          Deep Inference and Nondeterminism.
          London Theoretical Computer Science Seminar, King's College, 
          London, UK, October 25, 2006.

          Deepest of the Deep Inference.
          Proof Theory Meeting in Bath, University of Bath, July 7, 2006.

          Nondeterminism in the Deep Inference Presentation of Classical Logic.
          ICCL Workshop, Deep Inference and Proof Theory 2005, TU Dresden, December 14, 2005.

          [INVITED]. Deep Inference and Nondeterminism. [PDF]

Programming Systems Lab, Saarland University, 


Saarbruecken, Germany, November 3, 2005.

          System BV is NP-complete.  

          12th Workshop on Logic, Language, Information and Computation, 
          Florianopolis, Santa Catarina, Brazil, July 19-22, 2005. 

          Implementing Deep Inference in TOM.
          Workshop on Structures and Deduction 2005, ICALP 2005, 
          Lisbon, Portugal, July 16- 17, 2005.

          Labelled Event Structure Semantics of Linear Logic Planning.
          1st World Congress and School on Universal Logic, 
          Montreux, Switzerland, March 26- April 3, 2005. 

          Towards Planning as Concurrency.  

          IASTED International Conference on Artificial Intelligence and Applications, 
          Innsbruck, Austria, February 14-16, 2005. 

          System BV is NP-complete.  

          ICCL Workshop, Proof Theory 2005, TU Dresden, February 11, 2005.  

          Reducing the Nondeterminism in Proof Search in System BV.  

          ICCL Workshop, Proof Theory 2005, TU Dresden, February 11, 2005. 

          [INVITED]. Implementing Deep Inference. [PDF] 

Protheo Lab, LORIA, 


Nancy, France, November 24, 2004.

          System BV without the Equalities for Unit.


19th International Symposium on Computer and Information Sciences,

          Kemer, Antalya, Turkey, October 27- 29, 2004. 

          Using Partial Order Plans for Project Management.
          Leipziger Informatik Tage, Das Internet als sicherer Marktplatz, 
          HTWK Leipzig, September 29 - October 1, 2004. 

          Labelled Event Structure Semantics in Plans.
          ICCL Workshop, Proof Theory 2004, TU Dresden, September 28, 2004.  

          Implementing System BV of the Calculus of Structures in Maude.
          ESSLLI-04 Student Session, European Summer School in Logic, Language and Information, 
          Universite Henri Poincare, Nancy, France, August 9-20, 2004.

          Plans as Formulae with a Non-commutative Logical Operator.
          Proof, Computation, Complexity International Workshop, TU Dresden, June 17, 2004. 

          From Deduction to Computation in the Calculus of Structures via Term Rewriting.
          Workshop on Structural Proof Theory, TU Dresden, November 21, 2003.  


A Formal Assessment Result for Fluent Calculus Using the Action Description Language  A


26th Annual German Conference on AI, 


Hamburg, Germany, September 15-18, 2003.


          A Formal Assessment Result for Fluent Calculus Using the Action Description Language  A


          AAAI Spring Symposium, Logical Formalizations of Commonsense Reasoning 2003, 
          Stanford University, Palo Alto, California, March 24-26, 2003.