Invited Lecture
Conference on Reactive Systems: Modeling, Development and Analysis
Processes Instigated by the Interactions of Biochemical Reactions in the Living Cell
Weizmann Institute of Science, Rehovot, Israel, April 2014
Invited Course (12 hours)
Processes Inspired by the Functioning of Living Cells: Natural Computing Approach
Department of Information Engineering and Science, University of Siena, Italy, May 2014
Invited Series of Lectures (20 hours)
A Framework for Exploring Biology
Department of Computer Science, University of Pisa, Italy, June 2014
Invited Series of Lectures (4 lectures)
Natural Computing and the Functioning of the Living Cell
Center for Advanced Studies and Department of Electronics, Warsaw University of
Technology, Poland, June 2013
Invited Tutorials (3 tutorials)
Natural Computing and Reaction Systems
at two conferences:
Computability in Europe 2013, and
Unconventional Computing and Natural Computing 2013,
Milan, Italy, July 2013
Invited Series of Lectures (3 lectures)
Interaction of Biochemical Reactions in the Living Cell: Natural Computing point of view
Department of Computer Science, ETH, Zurich, Switzerland, August 2013
Invited Series of Lectures (3 lectures)
Processes Inspired by the Functioning of Living Cells: Natural Computing Approach
Department of Mathematics, University of South Florida in Tampa, USA, December 2013
Invited Series of Lectures (3 lectures)
Processes Inspired by the Functioning of Living Cells: Natural Computing Approach
Department of Mathematics, University of North Florida in Jacksonville, USA,
December 2013
Distinguished Speaker Series
A Formal Framework for Processes Inspired by the Functioning of Living Cells: An
Overview
Department of Computer Science, University of Verona, Italy, January 2012
Invited Series of Lectures (12 hours)
A Formal Framework for Processes Inspired by the Functioning of Living Cells: Natural
Computing Approach
Department of Computer Science, University of Verona, Italy, January 2012
Invited Lecture
A Formal Framework for Processes Inspired by the Functioning of Living Cells: An
Overview
Department of Software, Technical University of Catalunya, Barcelona, Spain, May 2012
Invited Series of Tutorials (12 hours)
A Formal Framework for Processes Inspired by the Functioning of Living Cells: Natural
Computing Approach
Department of Software, Technical University of Catalunya, Barcelona, Spain, May 2012
Invited Course (9 hours)
Reaction Systems
Department of Mathematics and Computer Science, University of Siena, Italy, June 2012
Invited Lecture
A Formal Framework for Processes Inspired by the Functioning of Living Cells
International Conference on Implementation and Application of Automata (CIAA), Porto,
Portugal, July 2012
Invited Course (12 hours)
Natural Computing - a Formal Framework for Processes Inspired by the Functioning of
Living Cells
Bioinformatics Research Center BiRC, Centre for Theory in Natural Sciences, Department
of Computer Science, University of Aarhus, Denmark, August 2012
Invited Turing Centennial Lecture
Processes Inspired by Interactions of Chemical Reactions in Living Cells
International Conference on DNA Computing and Molecular Programming, Department
of Chemistry, Aarhus University, August 2012
Invited Lecture
Processes Inspired by Interactions of Biochemical Reactions in Living Cells
The 80th Birthday Symposium for Andrzej Ehrenfeucht, Department of Computer
Science, University of Colorado at Boulder, USA, September 2012
Invited Lecture
A Formal Framework for Processes Inspired by the Functioning of Living Cells
Institute of Foundations of Computer Science, Polish Academy of sciences (IPI PAN),
Warsaw, Poland, November 2012
Invited Course (9 hours)
A Formal Framework for Processes Inspired by the Functioning of Living Cells: Natural
Computing Approach
Institute of Computer Science, Warsaw University, Poland, November-December 2012
Invited Series of Lectures (9 hours)
A Formal Framework for Processes Inspired by Biochemistry
Department of Computer Science, University of Newcastle, United Kingdom, January
2011
Invited Series of Lectures (12 hours)
A Formal Framework for Processes Inspired by Biochemistry
Department of Computer Science (DISCo), University of Milano-Bicocca, Italy, April 2011
Invited Series of Lectures (9 hours)
Functioning of the Living Cell - Natural Computing Approach
Department of Mathematics and Computer Science, University of Siena, Italy, May 2011
Invited Lecture
A Formal Framework for Bioprocesses in Living Cells
International Conference on Unconventional Computing, Turku, Finland, June 2011
Invited Series of Lectures (12 hours)
A Formal Framework for Processes Inspired by the Functioning of Living Cells
Turku Center for Computer Science and Department of Mathematics, University of
Turku, Finland, June 2011
Invited Series of Lectures (12 hours)
Processes Inspired by the Functioning of Living Cells - Natural Computing Approach
Department of Computer Science, University of Western Ontario, London, Canada,
August 2011
Invited Series of Lectures (15 hours)
A Formal Framework for Processes Inspired by the Functioning of Living Cells - Natural
Computing Approach
Department of Computer Science, University of Sevilla, Spain, November 2011
Invited Lecture
Reaction Systems - A Formal Framework for Biochemical Reactions
International Colloquium on Graph and Model Transformation
Technical University of Berlin, Germany, February 2010
Distinguished Speaker Lecture
Reaction Systems: a Formal Model for Process Based on Biochemical Reactions
Department of Computer Science, University of Aarhus, Denmark, May 2010
Invited Series of Lectures on Natural Computing and Nanoscience (9 hours)
Department of Mathematics and Computer Science, University of Siena, Italy, June 2010
Invited Departmental Colloquium Lecture
A Formal Framework for Interaction of Biochemical Reactions
Department of Mathematics and Computer Science, University of Siena, Italy, June 2010
Invited Lecture
Reaction Systems: A Model of Computation Inspired by Biochemistry
International Conference Developments in Language Theory, London, Ontario, Canada,
August 2010
Distinguished Amir Pnueli Memorial Lecture
A Formal Framework for Processes Inspired by Biochemistry
Department of Computer Science and Applied Mathematics, The Weizmann Institute of
Science, Rehovot, Israel, November 2010