Talks of Ozan Kahramanoğulları

Invited Talks

          An algorithmic model of gemcitabine mechanisms of action[PDF]
          

PharmSciFair, Pharmaceutical Sciences for the Future of Medicines, 

          

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

 


          Processes of Biology.
 [PPS] 
          

University of Turin, Department of Computer Science, 

          

Turin, Italy, December 14, 2009.

          A Deductive Language for Everything. [PDF] 
          

University of Bath, Department of Computer Science, 

          

Bath, UK, November 29, 2007.



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

Joint CISB Meeting, 

          

Newcastle, UK, November 11, 2007.


          Deep Inference in Theorem Proving. [PDF] 
          

University of Cambridge, Computer Laboratory, 

          

Cambridge, UK, May 8, 2007.



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

University of Birmingham, School of Computer Science, 

          

Birmingham, UK, December 15, 2006.



          Deep Inference and Nondeterminism. [PDF]
          

Programming Systems Lab, Saarland University, 

          

Saarbruecken, Germany, November 3, 2005.


          Implementing Deep Inference. [PDF] 
          

Protheo Lab, LORIA, 

          

Nancy, France, November 24, 2004.



Talks at conferences and workshops

          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.


          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,  

BioSysBio'09, 

          

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. 

          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.

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

          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. 

          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.

          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. 


          

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.