Talks

HCPN.Talks History

Hide minor edits - Show changes to output

Added lines 1-4:
----
!!! 2012
----
Added lines 1-4:
----
!!! 2011
----
December 01, 2011, at 07:48 PM by 77.179.91.246 -
Changed line 50 from:
[[A Multiscale Approach to Modelling Planar Cell Polarity in Drosophila Wing using Hierarchically Coloured Petri Nets -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_cmsb.sld.pdf]]\\
to:
[[A Multiscale Approach to Modelling Planar Cell Polarity in Drosophila Wing using Hierarchically Coloured Petri Nets -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_CMSB.sld.pdf]]\\
December 01, 2011, at 07:47 PM by 77.179.91.246 -
Changed line 50 from:
A Multiscale Approach to Modelling Planar Cell Polarity in Drosophila Wing using Hierarchically Coloured Petri Nets -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_cmsb.sld.pdf]]\\
to:
[[A Multiscale Approach to Modelling Planar Cell Polarity in Drosophila Wing using Hierarchically Coloured Petri Nets -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_cmsb.sld.pdf]]\\
December 01, 2011, at 07:47 PM by 77.179.91.246 -
Changed line 50 from:
A Multiscale Approach to Modelling Planar Cell Polarity in Drosophila Wing using Hierarchically Coloured Petri Nets\\
to:
A Multiscale Approach to Modelling Planar Cell Polarity in Drosophila Wing using Hierarchically Coloured Petri Nets -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_cmsb.sld.pdf]]\\
December 01, 2011, at 06:21 PM by 141.43.202.10 -
Changed line 62 from:
A Multiscale Approach to Modelling Planar Cell Polarity in Drosophila Wing using Hierarchically Coloured Petri Nets\\
to:
[[A Multiscale Approach to Modelling Planar Cell Polarity in Drosophila Wing using Hierarchically Coloured Petri Nets -> http://people.brunel.ac.uk/~cspgqqg/Download/Imperial.pdf]]\\
December 01, 2011, at 06:20 PM by 141.43.202.10 -
Changed line 38 from:
Multi-cell Modelling Using Coloured Petri Nets Applied to Planar Cell Polarity\\
to:
[[Multi-cell Modelling Using Coloured Petri Nets Applied to Planar Cell Polarity -> http://www-dssz.informatik.tu-cottbus.de/publications/BioPPN_2011/BioPPN_2011_9.pdf]]\\
December 01, 2011, at 08:37 AM by 77.179.91.246 -
Changed line 22 from:
Dictypat - pattern formation in dictostelium discoideum with coloured Petri nets;\\
to:
[[Dictypat - pattern formation in dictostelium discoideum with coloured Petri nets -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_dagstuhl_Dictypat-web.sld.pdf]];\\
December 01, 2011, at 08:21 AM by 77.179.91.246 -
Changed line 46 from:
MARCIE - Model checking And Reachability analysis done effiCIEntly;\\
to:
[[MARCIE - Model checking And Reachability analysis done effiCIEntly -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_marcie_qest.pdf]];\\
Changed line 58 from:
A Plugin System for Charlie;\\
to:
[[A Plugin System for Charlie -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_charlie_csp-web.pdf]];\\
Changed line 18 from:
Colored Petri Nets for Modeling and Analyzing Biological Systems;\\
to:
[[Colored Petri Nets for Modeling and Analyzing Biological Systems-> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_Dagstuhl_seminar_coloredPN.pdf]];\\
Changed line 30 from:
BioModel Engineering - a Petri Net Perspective;\\
to:
[[BioModel Engineering - a Petri Net Perspective -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_brunel-may-web.sld.pdf]];\\
Changed line 42 from:
How Might Petri Nets Enhance Your Systems Biology Toolkit;\\
to:
[[How Might Petri Nets Enhance Your Systems Biology Toolkit -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_newcastle-web.sld4.pdf]];\\
Changed line 54 from:
Petri Nets for Multiscale Systems Biology;\\
to:
[[Petri Nets for Multiscale Systems Biology -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_brunel-september-web.sld.pdf]];\\
Changed line 14 from:
Generalized Hybrid Petri Nets;\\
to:
[[Generalized Hybrid Petri Nets -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_Dagstuhl_seminar_GHPN.pdf]];\\
Changed line 6 from:
Biochemically Interpreted Petri Nets, Some Open Problems;\\
to:
[[Biochemically Interpreted Petri Nets, Some Open Problems -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_torino-web.sld.pdf]];\\
Changed line 2 from:
Biochemical Networks - a Petri Net Perspective;\\
to:
[[Biochemical Networks - a Petri Net Perspective -> http://www-dssz.informatik.tu-cottbus.de/publications/slides/2011_torino_ph.d_school-web.sld.pdf]];\\
Changed lines 15-16 from:
Talk, Formal Methods in Molecular Biology, Dagstuhl Seminar 11151, 13 April 2011.
to:
Talk, Formal Methods in Molecular Biology, [[Dagstuhl Seminar 11151 -> http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=11151]], 13 April 2011.
Changed lines 19-20 from:
Talk, Formal Methods in Molecular Biology, Dagstuhl Seminar 11151, 13 April 2011.
to:
Talk, Formal Methods in Molecular Biology, [[Dagstuhl Seminar 11151 -> http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=11151]], 13 April 2011.
Changed line 23 from:
Modelling competition, Dagstuhl Seminar 11151, 14 April 2011.
to:
Modelling competition, [[Dagstuhl Seminar 11151 -> http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=11151]], 14 April 2011.
Changed line 26 from:
[[BioModel Engineering: The MultiScale challenge ->http://people.brunel.ac.uk/~csstdrg/talks/110510DavidGilbertSoCBIN11.pdf]]\\
to:
[[BioModel Engineering: The MultiScale challenge ->http://people.brunel.ac.uk/~csstdrg/talks/110510DavidGilbertSoCBIN11.pdf]]\\
Changed line 63 from:
Autumn Symposium on Systems and Synthetic Biology, Imperial College, London, UK, 16 November 2011
to:
Autumn Symposium on Systems and Synthetic Biology, Imperial College, London, UK, 16 November 2011.
Changed line 39 from:
Workshop talk, BioPPN 2011 International Workshop on Biological Processes & Petri Nets, Newcastle, UK, 20 June 2011.
to:
Workshop talk, [[BioPPN 2011 -> http://www-dssz.informatik.tu-cottbus.de/BME/BioPPN2011]], Newcastle, UK, 20 June 2011.
Added lines 56-59:

#J Wegener, M Schwarick and M Heiner:\\
A Plugin System for Charlie;\\
Workshop talk, [[CSP 2011 -> http://csp2011.mimuw.edu.pl/]], Bialystok University of Technology, 28 September 2011.
Changed lines 3-4 from:
Talk, Universtity Torino, PhD School, 7 March 2011.
to:
Talk, Universtity Torino, Italy, PhD School, 7 March 2011.
Changed lines 7-8 from:
Talk, Universtity Torino, research group Prof. G Balbo, 8 March 2011.
to:
Talk, Universtity Torino, Italy, research group Prof. G Balbo, 8 March 2011.
Changed lines 39-40 from:
Workshop talk, BioPPN-2011 International Workshop on Biological Processes & Petri Nets, Newcastle, UK, 20 June 2011.
to:
Workshop talk, BioPPN 2011 International Workshop on Biological Processes & Petri Nets, Newcastle, UK, 20 June 2011.
Changed line 43 from:
Invited talk, [[PETRI NET 2011 -> http://conferences.ncl.ac.uk/pn-acsd-11/speakers.html]], Newcastle, 23 June 2011.
to:
Invited talk, [[PETRI NET 2011 -> http://conferences.ncl.ac.uk/pn-acsd-11/speakers.html]], Newcastle, UK, 23 June 2011.
Changed lines 47-48 from:
Conference presentation, QEST 2011, Aachen, Germany, 7 September 2011.
to:
Conference presentation, [[QEST 2011 -> http://www.qest.org/qest2011/]], Aachen, Germany, 7 September 2011.
Deleted line 52:
Changed line 55 from:
Talk, Brunel University, DISC seminar, 23 September 2011.
to:
Talk, Brunel University, DISC seminar, 28 September 2011.
Added lines 45-48:
#M Schwarick, C Rohr, M Heiner:\\
MARCIE - Model checking And Reachability analysis done effiCIEntly;\\
Conference presentation, QEST 2011, Aachen, Germany, 7 September 2011.
Changed line 51 from:
Conference presentation, [[CMSB 2011 -> http://contraintes.inria.fr/CMSB11/]], Paris, 23 September 2011.
to:
Conference presentation, [[CMSB 2011 -> http://contraintes.inria.fr/CMSB11/]], Paris, France, 23 September 2011.
November 30, 2011, at 06:24 PM by 141.43.202.10 -
Added lines 57-59:

----
''latest update: {$LastModified}''
November 30, 2011, at 06:00 PM by 134.83.84.207 -
Changed line 26 from:
BioModel Engineering: The MultiScale challenge ;\\
to:
[[BioModel Engineering: The MultiScale challenge ->http://people.brunel.ac.uk/~csstdrg/talks/110510DavidGilbertSoCBIN11.pdf]]\\
November 30, 2011, at 05:50 PM by 134.83.84.207 -
Changed line 10 from:
Computing for biology – can it really help?\\
to:
[[Computing for biology – can it really help?->http://people.brunel.ac.uk/~csstdrg/talks/InauguralBrunel/]]\\
Changed line 10 from:
[[Computing for biology – can it really help?->InauguralDavidGilbert.pdf]]\\
to:
Computing for biology – can it really help?\\
Changed line 10 from:
Computing for biology – can it really help?\\
to:
[[Computing for biology – can it really help?->InauguralDavidGilbert.pdf]]\\
November 29, 2011, at 08:08 PM by 77.179.34.212 -
Changed line 47 from:
Conference presentation, CMSB 2011, Paris, 23 September 2011.
to:
Conference presentation, [[CMSB 2011 -> http://contraintes.inria.fr/CMSB11/]], Paris, 23 September 2011.
November 29, 2011, at 08:07 PM by 77.179.34.212 -
Changed line 43 from:
Invited talk, PETRI NET 2011, Newcastle, 23 June 2011.
to:
Invited talk, [[PETRI NET 2011 -> http://conferences.ncl.ac.uk/pn-acsd-11/speakers.html]], Newcastle, 23 June 2011.
November 29, 2011, at 08:00 PM by 77.179.34.212 -
Changed lines 3-4 from:
Talk, Universtita Torino, PhD School, 7 March 2011.
to:
Talk, Universtity Torino, PhD School, 7 March 2011.
Changed lines 7-8 from:
Talk, Universtita Torino, research group Prof. G Balbo, 8 March 2011.
to:
Talk, Universtity Torino, research group Prof. G Balbo, 8 March 2011.
Changed line 35 from:
Talk, Synthetic Biology meeting, Newcastle, Uk, 11 June 2011
to:
Talk, Synthetic Biology meeting, Newcastle, UK, 11 June 2011
November 29, 2011, at 07:57 PM by 77.179.34.212 -
Changed line 43 from:
Talk, PETRI NET 2011, Newcastle, 23 June 2011.
to:
Invited talk, PETRI NET 2011, Newcastle, 23 June 2011.
Added lines 9-12:
#D Gilbert:\\
Computing for biology – can it really help?\\
Inaugural lecture, Brunel University, UK, 24 March 2011
Added lines 32-35:

#D Gilbert:\\
Computation and construction for Systems Biology\\
Talk, Synthetic Biology meeting, Newcastle, Uk, 11 June 2011
Added lines 28-31:

#Q Gao, F Liu, D Gilbert, D Tree:\\
Multi-cell Modelling Using Coloured Petri Nets Applied to Planar Cell Polarity\\
Workshop talk, BioPPN-2011 International Workshop on Biological Processes & Petri Nets, Newcastle, UK, 20 June 2011.
Added lines 33-37:
#Q Gao, F Liu, D Gilbert, M Heiner, D Tree:\\
A Multiscale Approach to Modelling Planar Cell Polarity in Drosophila Wing using Hierarchically Coloured Petri Nets\\
Conference presentation, CMSB 2011, Paris, 23 September 2011.
Changed lines 40-44 from:
Talk, Brunel University, DISC seminar, 23 September 2011.
to:
Talk, Brunel University, DISC seminar, 23 September 2011.

#Q Gao:\\
A Multiscale Approach to Modelling Planar Cell Polarity in Drosophila Wing using Hierarchically Coloured Petri Nets\\
Autumn Symposium on Systems and Synthetic Biology, Imperial College, London, UK, 16 November 2011
November 29, 2011, at 07:42 PM by 77.179.34.212 -
Changed lines 23-24 from:
Invited talk, 11th Annual Congress of SocBin – Society for Bioinformatics in the Nordic Countries,
Helsinki, Finland, May 10, 2011.
to:
Invited talk, 11th Annual Congress of SocBin – Society for Bioinformatics in the Nordic Countries, Helsinki, Finland, May 10, 2011.
November 29, 2011, at 07:42 PM by 77.179.34.212 -
Changed lines 22-23 from:
BioModel Engineering: The MultiScale challenge \\
Invited talk, 11th Annual Congress of SocBin – Society for Bioinformatics in the Nordic Countries \\
to:
BioModel Engineering: The MultiScale challenge ;\\
Invited talk, 11th Annual Congress of SocBin – Society for Bioinformatics in the Nordic Countries,
Added lines 20-24:

#D Gilbert:\\
BioModel Engineering: The MultiScale challenge \\
Invited talk, 11th Annual Congress of SocBin – Society for Bioinformatics in the Nordic Countries \\
Helsinki, Finland, May 10, 2011.
Changed lines 3-4 from:
Talk, Universtita Torino, PhD School, March 2011.
to:
Talk, Universtita Torino, PhD School, 7 March 2011.
Changed lines 7-8 from:
Talk, Universtita Torino, research group Prof. G Balbo, March 2011.
to:
Talk, Universtita Torino, research group Prof. G Balbo, 8 March 2011.
Changed lines 11-12 from:
Talk, Formal Methods in Molecular Biology, Dagstuhl seminar, April 2011.
to:
Talk, Formal Methods in Molecular Biology, Dagstuhl Seminar 11151, 13 April 2011.
Changed lines 15-16 from:
Talk, Formal Methods in Molecular Biology, Dagstuhl seminar, April 2011.
to:
Talk, Formal Methods in Molecular Biology, Dagstuhl Seminar 11151, 13 April 2011.

#M Heiner, D Gilbert, MA Blaetke, Q Gao, S Hardy, A Kierzek, F Liu, W Marwan:\\
Dictypat - pattern formation in dictostelium discoideum with coloured Petri nets;\\
Modelling competition, Dagstuhl Seminar 11151, 14
April 2011.
Changed lines 23-24 from:
Talk, Brunel University, DISC seminar, May 2011.
to:
Talk, Brunel University, DISC seminar, 11 May 2011.
Changed lines 27-28 from:
Talk, PETRI NET 2011, Newcastle, June 2011.
to:
Talk, PETRI NET 2011, Newcastle, 23 June 2011.
Changed line 31 from:
Talk, Brunel University, DISC seminar, September 2011.
to:
Talk, Brunel University, DISC seminar, 23 September 2011.
Changed line 14 from:
Colored Petri Nets for Modeling and Analyzing Biological Systems;
to:
Colored Petri Nets for Modeling and Analyzing Biological Systems;\\
Changed line 18 from:
BioModel Engineering - a Petri Net Perspective;
to:
BioModel Engineering - a Petri Net Perspective;\\
Changed line 22 from:
How Might Petri Nets Enhance Your Systems Biology Toolkit;
to:
How Might Petri Nets Enhance Your Systems Biology Toolkit;\\
Changed line 26 from:
Petri Nets for Multiscale Systems Biology;
to:
Petri Nets for Multiscale Systems Biology;\\
Changed line 1 from:
M Heiner:\\
to:
#M Heiner:\\
Changed line 5 from:
M Heiner:\\
to:
#M Heiner:\\
Changed line 9 from:
M Herajy, M Heiner:\\
to:
#M Herajy, M Heiner:\\
Changed line 13 from:
F Liu, M Heiner:\\
to:
#F Liu, M Heiner:\\
Changed line 17 from:
M Heiner:\\
to:
#M Heiner:\\
Changed line 21 from:
M Heiner, D Gilbert:\\
to:
#M Heiner, D Gilbert:\\
Changed line 25 from:
M Heiner:\\
to:
#M Heiner:\\
Added lines 1-27:
M Heiner:\\
Biochemical Networks - a Petri Net Perspective;\\
Talk, Universtita Torino, PhD School, March 2011.

M Heiner:\\
Biochemically Interpreted Petri Nets, Some Open Problems;\\
Talk, Universtita Torino, research group Prof. G Balbo, March 2011.

M Herajy, M Heiner:\\
Generalized Hybrid Petri Nets;\\
Talk, Formal Methods in Molecular Biology, Dagstuhl seminar, April 2011.

F Liu, M Heiner:\\
Colored Petri Nets for Modeling and Analyzing Biological Systems;
Talk, Formal Methods in Molecular Biology, Dagstuhl seminar, April 2011.

M Heiner:\\
BioModel Engineering - a Petri Net Perspective;
Talk, Brunel University, DISC seminar, May 2011.

M Heiner, D Gilbert:\\
How Might Petri Nets Enhance Your Systems Biology Toolkit;
Talk, PETRI NET 2011, Newcastle, June 2011.

M Heiner:\\
Petri Nets for Multiscale Systems Biology;
Talk, Brunel University, DISC seminar, September 2011.