Talks

Research

Talks

Talks 2010

Date	Title	Speaker


01-08-2010	Algorithmic Systems Biology ANB 2010, RISC, Linz, Austria	Corrado Priami
24-06-2010	Algorithmic Systems Biology The 8th Basel Computational Biology Conference, Basel, Switzerland	Corrado Priami
17-06-2010	Algorithmic modelling of complex systems IMT Lucca	Corrado Priami
28-05-2010	Link density and secondary extinctions in weighted food webs Center for Network Science, Central European University. Budapest, Hungary	M. Scotti
28-05-2010	Exposure and domination in the European natural gas pipeline network Center for Network Science, Central European University. Budapest, Hungary	M. Scotti
23-04-2010	From food webs to nutrition (via natural gas pipes) Department of Environmental Sciences, University of Parma	M. Scotti
27-03-2010	BlenX-based compositional modeling of complex reaction mechanisms FBTC 2010	Judit Zamborszky
23-03-2010	Viewing the NF-kappaB landscape with new eyes: a computational and experimental perspective Faculty of Medicine, Imperial College London, UK	Adaoha Ihekwaba
19-02-2010	Statical analysis of biological systems Padova	Roberto Larcher
16-02-2010	Key nodes in networks: topology and function Create-Net, Trento	Ferenc Jordan
11-02-2010	Role ofmRNA Gestation and Senescence in Noise Reduction during the Cell Cycle Wellcome Trust Conference Centre, Genome Campus, Hinxton, UK	Ivan Mura
10-02-2010	Key nodes in networks: structure predicting function? Informal Network Day, FBK, Trento	Ferenc Jordan
10-02-2010	Secondary extinctions in food webs Fondazione Bruno Kessler. Povo (TN), Italy	M. Scotti
10-02-2010	Challenges for computational systems biology Informal Network Day, Fondazione Bruno Kessler (Trento, Italy)	Attila Csikasz-Nagy
04-02-2010	Keystone species in stochastic dynamical ecosystem simulations Academia Sinica, Taipei, Taiwan	Ferenc Jordan
28-01-2010	Setting priorities: quantifying the importance of species EU-SEA-NET workshop, Kuala Lumpur, Malaysia	Ferenc Jordan
23-01-2010	Coding biological systems in a stochastic framework: the case study of budding yeast cell cycle 1st International Conference on Bioinformatics (Bioinformatics 2010), Valencia, Spain	Alida Palmisano
21-01-2010	Dynamics of Cell Cycle Transitions: Computational Models Biomedical Research Institute of Lleida, Lleida, Spain	Attila Csikasz-Nagy

Talks 2009

Date	Title	Speaker


17-12-2009	Identifying keystone species in ecosystems by stochastic sensitivity analysis of interactions networks White Workshop on Mathematical Biology, Trento	Ferenc Jordan
14-12-2009	Processes of Biology Università di Torino, Dipartimento di Informatica	Ozan Kahramanogullari
09-12-2009	Algorithmic Systems Biology Colloquia Patavina, University of Padova	Corrado Priami
08-12-2009	The unexpected link: using network science to tackle complex problems Center for Network Science, Central European University. Budapest, Hungary	M. Scotti
04-12-2009	Dynamics of Cell Cycle Transitions European Commission - Joint Research Centre (Ispra, Italy)	Attila Csikasz-Nagy
26-11-2009	Methodologies and tools supporting the modelling workflow of biological systems Centre for Systems Biology at Edinburgh (Edinburgh, UK)	Alida Palmisano
25-11-2009	Dynamics of Cell Cycle Transitions Straub Days at the Biological Research Center of the Hungarian Academy of Sciences (Szeged, Hungary)	Attila Csikasz-Nagy
24-11-2009	Networks in ecology Centre des Recherches Halieutiques, Sete, France	Ferenc Jordan
04-11-2009	Role of protein removal in signaling Dynamics of signal transduction and of gene-protein regulatory networks workshop, Mathematical Biosciences Institute, Columbus, OH, USA	Attila Csikasz-Nagy
28-10-2009	Taming the complexity of biological pathways through parallel computing Joint Institutes Workshop - Microsoft Research Cambridge	Davide Prandi
24-10-2009	Algorithmic Systems Biology 25th anniversary celebration of the computer science PhD school, Department of Computer Science, University of Pisa	Corrado Priami
16-10-2009	Indirect relationships in complex biological networks Systems Biology course, FIOCRUZ, Rio de Janeiro, Brasil	Ferenc Jordan
09-10-2009	Dynamics of Cell Cycle Transitions Dynamics of Cell Cycle Transitions ETH Zurich, Department of Biochemistry, Zurich, Switzerland	Attila Csikasz-Nagy
08-10-2009	Informatica per una nuova biologia BioWeek, Museo Tridentino di Scienze Naturali, Trento, Italy.	Alessandro Romanel
07-10-2009	BlenX4Eco: a stochastic approach to identifying keystone species International Society for Ecological Modelling conference, Quebec City, Canada	Ferenc Jordan
25-09-2009	Collaborazioni attivate con le Piattaforme Nobel e nuove opportunità in ambito locale Giornata Trentina della Ricerca Biomedica	Davide Prandi
18-09-2009	Effects of diet shift on secondary extinctions in food webs Italian Society of Ecology (SItE). Bolzano, Italy	M. Scotti
01-09-2009	BlenX and BlenX4Bio: propelling algorithmic systems biology CONCUR and CMSB, Bologna	Corrado Priami
27-08-2009	Towards a process calculi approach to study the evolution of biological networks Informatics Forum, Edinburgh, UK	Alessandro Romanel
26-08-2009	Identity-Bisimulation-Robustness and Natural Systems Saarland University, Saarbrucken, Germany	Radu Mardare
04-08-2009	Understanding the NF-kappaB Boehringer Ingelheim, Ridgefield, USA	Adaoha Ihekwaba
30-07-2009	Computational Systems Biology Plant Bioinformatics, Systems and Synthetic Biology Summer School, 27-31 July 2009 - University of Nottingham, UK	Paola Quaglia
21-07-2009	Centrality in ecological and social networks Summer School on Complex Social Simulations, Central European University, Budapest, Hungary	Ferenc Jordan
03-07-2009	Games generating networks NetSci conference, Venezia, Italy	Ferenc Jordan
24-06-2009	Dynamics of Cell Cycle Transitions: Role of Feedback and Feed-Forward Loops in Ensuring Proper Timing and Irreversibility in the Initiation of Cell Cycle Events Emergence in Chemical Systems 2.0, Anchorage, Alaska, USA	Attila Csikasz-Nagy
22-06-2009	Taming the complexity of biological pathways through parallel computing Masaryk University, Brno, Czech Repubblic	Paolo Ballarini
19-06-2009	Fastest Parallel Molecular Algorithms for the Elliptic Curve Discrete Logarithm Problem over GF(2n) Workshop on Bio-Inspired Algorithms for Distributed Systems (BADS'09) Barcelona, Spain.	Gennaro Iaccarino
16-06-2009	Analyzing various models of Circadian Clock and Cell Cycle coupling Microsoft Research Cambridge	Alessandro Romanel
13-06-2009	Central nodes and key roles in social and ecological systems 39th IIS World Congress on Sociology, Yerevan, Armenia	Ferenc Jordan
11-06-2009	CoSBiLab: a software framework to support incremental modeling IKI, Moscow, Russia	Ivan Mura
07-06-2009	Simulating non average behavior of budding yeast cells and checking irreversibility of cell cycle transitions Mathematics, Evolution & Genome seminar series, Campus Scientifique de Luminy, Marseille, France	Attila Csikasz-Nagy
04-06-2009	Key nodes in various networks: likely targets or the key to safety? Office of Naval Research Global workshop, Istanbul, Turkey	Ferenc Jordan
04-06-2009	Processes of Biology LogIC Seminar, Imperial College London	Ozan Kahramanogullari
01-06-2009	A Model-based Evolutionary Approach to High Dimensional Experimentation European Regional Meeting of the International Society for Business and Industrial Statistics (EURISBIS09) - Cagliari	Michele Forlin
06-05-2009	Modelling and Simulating Biochemical Systems Enabling Innovation Through Research, Microsoft Cambridge	Paola Quaglia
04-05-2009	Quantitative Analysis of Biological Systems CoSBi, Trento, Italy	Ivan Mura
30-04-2009	Systems Biology of Signalling systems Department of Translational Medicine, University of Milan, IRCCS Istituto Clinico Humanitas, Italy	Adaoha Ihekwaba
29-04-2009	Statistical analysis of simulation output CoSBi, Trento Italy	Ivan Mura
27-04-2009	Cell cycle modeling PhD Program in Computational Biology, Instituto Gulbenkian de Ciência, Oeiras, Portugal	Attila Csikasz-Nagy
26-04-2009	On the mathematical structure and algorithmicimplementation of biochemical network models Int. Conference on Cellular and Molecular Biology, Rome, Italy	Paola Lecca
22-04-2009	Dynamics of cell cycle transitions Microsoft Research, Cambridge, UK	Attila Csikasz-Nagy
21-04-2009	Exploiting non-Markovian Bio-Processes within BlenX Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.	Davide Prandi
02-04-2009	Petri Nets - with applications to the modeling of biological systems CoSBi, Trento, Italy	Ivan Mura
01-04-2009	A parallel perspective of the dynamics of biological Microsoft Research Cambridge	Tommaso Mazza
01-04-2009	An Intuitive Automated Modelling Interface for Systems Biology Noise in Life, Moller Centre, Cambridge	Ozan Kahramanogullari
31-03-2009	KInfer and BetaWB: tools for supporting the modeling workflow of Biological Systems Microsoft Research, Cambridge, United Kingdom	Alida Palmisano
30-03-2009	Algorithmic Systems Biology Microsoft External Research Symposium, Redmond	Corrado Priami
30-03-2009	Models of SIN and other pathways in fission yeast University of Massachusetts Medical School, Worcester, USA	Attila Csikasz-Nagy
29-03-2009	Exploiting non-Markovianbio-Processes Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009) -- York, UK	Davide Prandi
28-03-2009	Quantitative analysis: applications to biological systems MLQA (Models and Logics for Quantitative Analysis), satellite event of ETAPS 2009, March 28, 2009, York, UK	Paola Quaglia
27-03-2009	Standards (languages for systems biology) CoSBi	Tommaso Mazza
26-03-2009	Dynamic Spatial Games of normal and tumor cells Computational Cell Biology meeting at the Cold Spring Harbor Laboratory, Cold Spring Harbor, USA	Attila Csikasz-Nagy
26-03-2009	A software framework to support incremental modeling Cold Sping Harbor Laboratory, New York, USA	Ivan Mura
25-03-2009	A Framework study of the NF-kB signalling pathway The Microsoft Research Cambridge, UK	Adaoha Ihekwaba
25-03-2009	Deducing chemical reaction rate constants and their regions of condence from noisy measurements of time series of concentration 11th Int. Conference on Computer Modelling and Simulation, Emmanuel College Cambridge, UK	Paola Lecca
25-03-2009	An Intuitive Automated Modelling Interface for Systems Biology BioSysBio 2009 Conference, Cambridge	Ozan Kahramanogullari
24-03-2009	On the deduction of chemical reaction rate constants from measurements of time series of concentration The Microsoft Research Cambridge, Cambridge, UK	Paola Lecca
11-03-2009	Computational analysis of effects of DNA damage response on circadian rhythms The 3rd FEBS Advanced Lecture Course on Systems Biology: From Molecular Biology to Biological Function (FEBS SysBio2009), Alpbach, Austria	Judit Zamborszky
11-03-2009	WAND: an ecological network analysis user-friendly tool Center for Network Science, Central European University. Budapest, Hungary	M. Scotti
10-03-2009	Visual systems biology: design, understand, organize Small public lecture room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge	Lorenzo Dematte'
10-03-2009	A new probabilistic generative model of parameter inference in biochemical etworks 24th Annual ACM Symposium on Applied Computing, Honolulu, Hawaii	Alida Palmisano
06-03-2009	Centrality and vulnerability in interaction networks University of Parma, Parma, Italy	Ferenc Jordan
04-03-2009	Dynamics of cell cycle transitions Third European Science Foundation Conference on Functional Dynamics Cascais, Portugal	Attila Csikasz-Nagy
03-03-2009	Introduction to cell cycle modeling Third European Science Foundation Conference on Functional Dynamics Cascais, Portugal	Attila Csikasz-Nagy
26-02-2009	Analyzing various models of Circadian Clock and Cell Cycle coupling Leibniz Center for Informatics, Dagstuhl, Germany	Alessandro Romanel
26-02-2009	Modelling NF-kB pathway in Bio-PEPA Leibniz Center for Informatics, Dagstuhl, Germany.	Federica Ciocchetta
22-02-2009	Bio-PEPA: a framework for the modelling and analysis of biological systems Computing Science seminars, University of Stirling, UK	Federica Ciocchetta
18-02-2009	Trophic structure and whole system indices in weighted networks Center for Network Science, Central European University. Budapest, Hungary	M. Scotti
10-02-2009	On Query-based Verification of Biological Systems Centre for Systems Biology at Edinburgh (invited by Prof. Andrew Millar)	Paolo Ballarini
30-01-2009	Central nodes and key roles in networks Institute for Advanced Studies, Glasgow, Scotland	Ferenc Jordan
28-01-2009	From computer science to systems biology and vice-versa: New modeling challenges, approaches and tools. 55th IFIP WG 10.4 Meeting Cortina di Ampezzo, Italy	Ivan Mura
26-01-2009	Ecosystem Network Analysis to detect structure and functioning of food webs Center for Network Science, Central European University. Budapest, Hungary	M. Scotti
21-01-2009	BlenX, a language based approach for modelling biological systems Cambridge	Roberto Larcher

Talks 2008

Date	Title	Speaker


17-12-2008	Playing with networks: FoodWeb3D and the web visualization Center for Network Science, Central European University. Budapest, Hungary	M. Scotti
05-12-2008	An Abstraction for Quantitatively Capturing Stochastic Bistable Oscillations in Enzymatic Futile Cycle Rocky 08, Snowmass, Colorado, U.S.A.	Hiroyuki Kuwahara
21-11-2008	The Spider Calculus: Computing in Active Graphs (with Benjamin C. Pierce) University of Pennsylvania, Philadelphia, PA, USA	Alessandro Romanel
20-11-2008	Robustness in Natural and Computational Systems Imperial College, London, UK	Radu Mardare
19-11-2008	Exactness and approximation of the stochastic simulation algorithm Microsoft Research, Cambridge, United Kingdom	Ivan Mura
18-11-2008	Colonies of Synchronizing Agents. Computability and Robustness Microsoft Research, Cambridge, UK	Radu Mardare
30-10-2008	Deep Inference and its Applications LogIC Seminar, Imperial College London	Ozan Kahramanogullari
29-10-2008	Dynamics of reaction-diffusion systems in non-homogeneous media Int. Conference on Bioinformatics and Biomedicine 2009, Venice, Italy	Paola Lecca
29-10-2008	Life or Death: the dilemma facing NF-kappaB School of Medical Sciences, University of Aberdeen, Scotland UK	Adaoha Ihekwaba
21-10-2008	Disentangling the NF-kappaB Complexities EMBO WORKSHOP - The NF-kappaB Network in Development and Disease, Palazzo dei Congressi, Capri, Italy	Adaoha Ihekwaba
20-10-2008	Computational Approaches for Systems Biology ISTI-CNR, Italian National Research Council, Pisa, Italy	Ivan Mura
17-10-2008	Computer Science and Systems Biology: A Cross Road AFI-Symposium, Innsbruck	Corrado Priami
12-10-2008	Algorithmic Systems Biology Computational Methods in Systems Biology (CMSB08), Rostock	Corrado Priami
03-10-2008	BlenX: A Programming Language for Systems Biology University of Pennsylvania, Philadelphia, PA, USA	Alessandro Romanel
23-09-2008	Flows and Switches: Biology as Computation BIOQUANT, University of Heidelberg	Sean Sedwards
23-09-2008	The BlenX programming language: A Biology Encoder International Summer School on Natural Computing, Bertinoro	Corrado Priami
23-09-2008	Studying irreversible transitions in a model of cell cycle regulation Third International Workshop on Practical Applications of Stochastic Modelling (PASM 08), Palma de Mallorca	Alida Palmisano
19-09-2008	KInfer: a software tool for parameter inference in models of biochemical networks XIX Congresso Sibpa 2008 Roma, 19 settembre 2008	Paola Lecca
18-09-2008	Interaction in computer and biological networks Conference of the International Academy for Philosophy of Science, Rovereto	Corrado Priami
16-09-2008	Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains Fifth International Conference on Quantitative Evaluation of Systems 2008, St. Malo, France.	Paolo Ballarini
03-09-2008	Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins Iasi, Romania	Tommaso Mazza
03-09-2008	Feed-forward loops in cell cycle regulation 2008 meeting of the Hungarian Biochemical Society, Szeged, Hungary	Attila Csikasz-Nagy
27-08-2008	A Complete Axiomatic System for Process-based Spatial Logic 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, Torun, Poland.	Radu Mardare
25-08-2008	Computational analysis of effects of DNA damage response on circadian rhythms The 9th International Conference on Systems Biology (ICSB2008), Gothenburg, Sweden	Judit Zamborszky
23-08-2008	Challenges for Computational Systems Biology 9th International Conference on Systems Biology, Goteborg, Sweden,	Attila Csikasz-Nagy
23-08-2008	Challenges for Computational Systems Biology 9th International Conference on Systems Biology, Goteborg, Sweden	Ivan Mura
05-08-2008	BioLogics. Biomolecular information in logical form Correlations Workshop, Brussels, Belgium.	Radu Mardare
22-07-2008	Algorithmic Systems Biology International Conference on Systems Biology (ICSB08), Goteborg	Corrado Priami
16-07-2008	Algorithmic Systems Biology: a programming language approach International School in Functional Genomics, Ragusa	Corrado Priami
13-07-2008	Ingredients of a Deep Inference Theorem Prover 2nd Workshop on Classical Logic and Computation, Reykavik	Ozan Kahramanogullari
12-07-2008	Modeling and estimation of cellular mechanisms of cerebral glucose metabolism from dynamic Positron Emission Tomography scans Forum of European Neuroscience, Geneva, Switzerland	Paola Lecca
12-07-2008	Analysing Biochemical Oscillation through Probabilistic Model Checking Second International Workshop "From Biology to Concurrency and back", Reykjavik, Iceland.	Radu Mardare
12-07-2008	Analysing Biochemical Oscillation through Probabilistic Model Checking. From Biology to Concurrency and back, Reykjavik, Iceland.	Paolo Ballarini
30-06-2008	Identification of rate coefficients in dynamic models of biochemical systems European Conference on Mathematical and Theoretical Biology, Edinburgh	Alida Palmisano
30-06-2008	Feed-forward loops in cell cycle regulation 7th European Conference on Mathematical and Theoretical Biology, Edinburgh, UK	Attila Csikasz-Nagy
30-06-2008	Estimating the kinetics of Na+ and Ca2+ waves in astrocytes ICAM-ECCOMAS CongressVenezia Lido, Italy	Paola Lecca
20-06-2008	Computing by Observing Computability in Europe 2008, Logic and Theory of Algorithms, Athens (Greece). Special session on “Algorithms and Biology”	Matteo Cavaliere
20-06-2008	Algorithmic Systems Biology PhD School, University of Pavia	Corrado Priami
13-06-2008	Bio-PEPA: a framework for the modelling and analysis of biological systems Centre for Systems Biology at Edinburgh (CSBE), UK	Federica Ciocchetta
10-06-2008	BetaWorkbench: an innovative framework for systems modeling, simulation and analysis Applying Systems Biology, San Francisco	Corrado Priami
10-06-2008	Dynamics of cell cycle regulatory networks From genes to models and return - Systems biology: theory and application, Milan, Italy	Attila Csikasz-Nagy
09-06-2008	Introduction to molecular network dynamics From genes to models and return - Systems biology: theory and application, Milan, Italy	Attila Csikasz-Nagy
08-06-2008	Programming language-based tools for Systems Biology IEEE International Workshop on Genomic Signal Processing and Statistics, Phoenix	Corrado Priami
06-06-2008	Using BlenX for Systems Biology School on Formal Methods for Systems Biology, Bertinoro	Corrado Priami
02-06-2008	A formal lightweight view of the p53-dependent G1/S checkpoint control Prague, Czech Republic	Tommaso Mazza
26-05-2008	Disentagling the NF-kappaB complexities College of Life Sciences, University of Dundee, Scotland UK	Adaoha Ihekwaba
19-05-2008	Guidelines for parallel simulation of biological reactive systems Varenna, Como Lake, Italy	Tommaso Mazza
08-05-2008	Disentagling the NF-kappaB complexities College of Life Sciences, University of Dundee, Scotland UK	Adaoha Ihekwaba
29-04-2008	Computational approaches to cell cycle PhD Program in Computational Biology, Instituto Gulbenkian de Ciência, Oeiras, Portugal	Attila Csikasz-Nagy
28-04-2008	Central nodes in networks: a way to better understand complexity East Carolina University, Greenville, NC, USA	Ferenc Jordan
23-04-2008	A computational framework to study the dynamics of biological systems ETH Zürich, Swiss	Alessandro Romanel
23-04-2008	A computational framework to study the dynamics of biological systems ETH Zürich	Lorenzo Dematte'
11-04-2008	Interaction and Depth against Nondeterminism in Deep Inference Proof Search London Theory Day, Imperial College London	Ozan Kahramanogullari
07-04-2008	Maintaining connectivity: topological considerations International Association for Landscape Ecology (American Section)annual meeting, Madison, WI, USA	Ferenc Jordan
02-04-2008	Studying signaling networks Gennetec International Conference on Gene Networks, Torino, Italy	Orkun Soyer
26-03-2008	Transcriptional-posttranslational feed-forward loops in cell cycle regulation Cold Spring Harbor/Wellcome Trust Computational Cell Biology meeting, Hinxton, UK	Attila Csikasz-Nagy
18-03-2008	Parasites and network robustness Medical Research Council, UK	Orkun Soyer
17-03-2008	Parasites lead to robustness in host networks Microsoft Research, Cambridge, UK	Orkun Soyer
14-03-2008	Central nodes in networks: a way to understand complexity Rajiv Gandhi Centre for Biotechnology, Tiruvananthapuram, India	Ferenc Jordan
13-03-2008	A computational modelling framework for the dynamics of biosystems School on Computational Systems Biology, Trento	Corrado Priami
12-03-2008	Central nodes in food webs: a quantitative approach to keystone species? Centre for Ecological Sciences, IISc, Bangalore, India	Ferenc Jordan
11-03-2008	Forest carabids and freeway design: reconciling nature with society in the Bereg Plain, Hungary Centre for Contemporary Studies, IISc, Bangalore, India	Ferenc Jordan
04-03-2008	A Natural Computing Perspective on Biological Processes School on Computational Systems Biology, Trento	Matteo Cavaliere
03-03-2008	The BlenX Language International School on Complexity in Post-Genomic Biology,Torino, Italy	Alessandro Romanel
03-03-2008	Cell-Cycle Modeling in BlenX International School on Complexity in Post-Genomic Biology,Torino	Alida Palmisano
03-03-2008	Models of cell cycle regulation International School on Complexity in Post-Genomic Biology,Torino	Attila Csikasz-Nagy
03-03-2008	Conceptual and software tools for dynamics of biological systems International School on Complexity in Post-Genomic Biology,Torino	Corrado Priami
18-02-2008	Measuring (very) complex systems Budapest University of Technology and Economics (BUTE), Department of Measurement and Information System, Budapest (Hungary)	Ivan Mura
12-02-2008	Host-parasite interactions and robustness Humboldt University, Berlin, Germany	Orkun Soyer
16-01-2008	A logic for bimolecular interactions in compartmentalized systems Leicester University, UK	Radu Mardare

Talks 2007

Date	Title	Speaker


12-12-2007	Model checking bio-processes. Species, mutants and their robustness University of Udine, Italy	Radu Mardare
10-12-2007	A Conventional Strands Evaluator for DNA Computations 2nd International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (BIONETICS 2007), Budapest, Hungary	Gennaro Iaccarino
06-12-2007	Computing by Observing Biological Processes Workshop on Algorithmic Bioprocesses, Leiden, The Netherlands	Matteo Cavaliere
03-12-2007	The Beta Workbench Workshop on Algorithmic Bioprocesses for 65th birthday of Prof. G.Rozenberg,Leiden	Corrado Priami
30-11-2007	Indirect relationships between components of the Kuosheng Bay trophic network (Taiwan) 6th European Conference of the International Society for Ecological Modelling, Trieste, Italy	Ferenc Jordan
30-11-2007	Linking trophic positions and flow structure constraints in ecological networks: efficiency or topology effect? The 6th European Conference on Ecological Modelling. Trieste, Italy.	M. Scotti
29-11-2007	A Deductive Language for Everything University of Bath, Department of Computing	Ozan Kahramanogullari
14-11-2007	Keystone species in key habitats Universitat de Lleida, Spain	Ferenc Jordan
11-11-2007	A Process Model of Rho GTP-binding Proteins Joint CISB Meeting, Newcastle	Ozan Kahramanogullari
05-11-2007	Mathematical Models of Cell Cycle Regulatory Networks. Workshop on Systems Biology, Johann Radon Institute for Computational and Applied Mathematics Linz, Austria	Attila Csikasz-Nagy
21-10-2007	A Multiset-Based Model of Agents: Computability and Robustness Microsoft eScience Workshop, North Carolina, USA	Matteo Cavaliere
19-10-2007	The Beta Workbench Galileo Workshop, Pisa	Corrado Priami
19-10-2007	On Linear Logic Planning and Concurrency 14th LPAR, Yerevan, Armenia	Ozan Kahramanogullari
17-10-2007	Mathematical Models of Cell Cycle Regulatory Networks. Mathematical Models of Cell Regulatory Systems University of Nice-Sophia Antipolis, Nice, France	Attila Csikasz-Nagy
11-10-2007	Glutamate-triggered brain glucose metabolism: a parametric model from FDG-PET-scans Brain, Vision and Artifical Intelligence Symposium, Naples, Italy	Paola Lecca
10-10-2007	Molecular mechanisms of glutamate-triggered brain glucose metabolism Istituto Italiano Studi Filosofici, Napoli	Paola Lecca
29-09-2007	A Calculus for Modelling, Simulating and Analysing Compartmentalized Biological Systems International Conference of Computational Methods in Sciences and Engineering, ICCMSE 2007, Symposium on Modelling Complex Molecular and Biomaterial Systems: Simulation of Reactive Processes, Methodological Advances and Interplay with the Experiments, Corfu, Greece	Radu Mardare
20-09-2007	A Formal and Integrated Framework to Simulate Evolution of Biological Pathways International Conference on Computational Methods in Systems Biology, Edinburgh	Lorenzo Dematte'
20-09-2007	On the relation between centralities and trophic positions in ecological networks Italian Society of Ecology (SItE). Ancona, Italy	M. Scotti
19-09-2007	Convergence of Computer Science and Biology The science of thinking: Europe's next challenge, Brussels	Corrado Priami
13-09-2007	Using Compute Cluster Server for Systems Biology Inauguration of CoSBi cluster, Trento	Lorenzo Dematte'
10-09-2007	Evolution of signaling networks Galileo PhD School, University of Pisa, Pisa, Italy	Orkun Soyer
08-09-2007	Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks Workshop From Biology To Concurrency and back (FBTC 2007), Lisbon, Portugal	Federica Ciocchetta
07-09-2007	A simple model for inferring kinetic parameters in biochemical reactions Institute for System Biology, Seattle	Paola Lecca
31-08-2007	Colonies of synchronizing agents: An abstract model of intracellular and intercellular processes International Workshop on Automata for Cellular and Molecular Computing, Budapest, Hungary	Radu Mardare
30-08-2007	Colonies of Synchronizing Agents: Computability and Robustness The Int. Conf. on Automata for Cellular and Molecular Computing, Budapest Hungary	Matteo Cavaliere
28-08-2007	Stochastic formalisms and algorithms to model and simulate biological interactions Institute for Systems Biology, Seattle	Paola Lecca
23-08-2007	Observing Distributed Computation. A Dynamic-Epistemic Approach Conference on Algebra and Coalgebra in Computer Science, CALCO 2007, Bergen, Norway	Radu Mardare
08-08-2007	Quantifying important species: key positions in interaction networks Annual Meeting of the Ecological Society of America, San Jose, CA, USA	Ferenc Jordan
03-08-2007	Key nodes in weighted ecological networks Annual Meeting of the Society for Mathematical Biology, San Jose, CA, USA	Ferenc Jordan
01-08-2007	Computational Analysis of Mammalian Cell Division Gated by a Circadian Clock: Quantized Cell Cycles and Cell Size Control Beckman Institute - City of Hopes Hospital, Duarte, CA, USA	Attila Csikasz-Nagy
27-07-2007	Using Evolutionary Approaches To Study Biological Pathways Theoretical Genomics, University College London	Orkun Soyer
25-07-2007	Using Evolutionary Approaches To Study Biological Pathways Informatics Dept., GSK Drug Discovery, Stevenage	Orkun Soyer
17-07-2007	BetaWB: modelling and simulating biological processes 2007 Summer Computer Simulation Conference (SCSC’07), San Diego, California, USA	Alessandro Romanel
17-07-2007	Colonies of Synchronizing Agents: Molecules, Cells & Tissues Microsoft Research Faculty Summit, Seattle	Sean Sedwards
07-07-2007	Connection Between the Cell Cycle and the Circadian Rhythm in Mammalian Cells 7th Young Scientist Forum (Molecular Networks), Vienna, Austria	Judit Zamborszky
02-07-2007	Exploiting Constraints in the Codeword Design International Conference of Systems Biology and Bioengineering 2007 (ICSBB07), London (UK)	Gennaro Iaccarino
02-07-2007	Quantifying the importance of species: key players in interspecific interaction networks Annual Meeting of the Society for Conservation Biology, Port Elizabeth, South Africa	Ferenc Jordan
26-06-2007	Models of fission yeast cell cycle (Switches in time and space) Biological Switches and Clocks, Kahli Institute for Theoretical Physics - UCSB, Santa Barbara, CA, USA	Attila Csikasz-Nagy
26-06-2007	Towards a complete covering of SBML functionalities WMC8 Conference, Thessaloniki, Greece	Tommaso Mazza
24-06-2007	Systems Biology at CoSBi Microsoft HPC Institutes meeting, Dresden	Lorenzo Dematte'
17-06-2007	On Concurrent Computations in Petri Nets for Modelling Signalling Pathways Workshop on Rule-based Modeling of Biochemical Systems, Santa Fe Institute, New Mexico	Ozan Kahramanogullari
15-06-2007	Model-based Genetic Algorithms for Designing Mixture Experiments European Centre for Living Technology (ECLT), Venice	Michele Forlin
01-06-2007	Which algorithm for emulating the chemical interactions in biomolecular systems? Department of Mathematics of University of Trento.	Paola Lecca
01-06-2007	The higher the better? Linking trophic position and flow structure constraints in ecological networks Department of Plant Taxonomy and Ecology, Eötvös Loránd University. Budapest, Hungary	M. Scotti
25-05-2007	Computational Modeling in Biology European Conference on Living Technologies, Venezia	Corrado Priami
22-05-2007	Gene regulation in the SpiCO language: simulating cooperativity at the lambda switch. Niels Bohr Institute, Copenhagen, Denmark.	Celine Kuttler
14-05-2007	Microsoft Research Centre, University of Trento, Italy	Adaoha Ihekwaba
08-05-2007	Deep Inference in Theorem Proving University of Cambridge, Computer Laboratory	Ozan Kahramanogullari
05-05-2007	Dissecting the NF-kappaB Dept. of Biomedical Sciences, University of Antwerp, Antwerp, Belgium	Adaoha Ihekwaba
02-05-2007	Gene regulation in the SpiCO language: simulating cooperativity at the lambda switch. International Spring School on Modeling and Simulation of Biological Processes in the Context of Genomics, Genopole and University of Evry, France.	Celine Kuttler
26-04-2007	Keystone species in food webs: the role of network analysis in conservation Universite Libre de Bruxelles, Ecologie des Systemes Aquatiques Lab, Bruxelles, Belgique	Ferenc Jordan
23-04-2007	Computational Modeling in Biology Keynote speech at University Milano-Bicocca	Corrado Priami
21-04-2007	Production-passage-time approximation: A new approximation method to accelerate the simulation process of enzymatic reactions RECOMB 2007, Oakland, U.S.A., April, 2007	Hiroyuki Kuwahara
20-04-2007	Interaction and Depth against Nondeterminism in Proof Search Automated Reasoning Workshop 2007, Imperial College, London	Ozan Kahramanogullari
17-04-2007	Systems Biology Open Doors at CoSBi, Trento	Lorenzo Dematte'
11-04-2007	Beyond NF-kB signalling Department of Biostatistics, Genome Sciences, University of Washington, WA, USA	Adaoha Ihekwaba
06-04-2007	Connection Between the Cell Cycle and the Circadian Rhythm in Mammalian Cells OTDK National Scientific Student Conference of Hungary in Biological Sciences, Debrecen, Hungary	Judit Zamborszky
26-03-2007	Quantitative data for simulating biochemical systems Fondazione Cariplo, Milano	Paola Lecca
20-03-2007	Stochastic Petri Net languages and tools for modeling and analyzing complex systems Max-Planck-Institut fuer Dynamik komplexer technischer Systeme, Magdeburg Germany	Ivan Mura
20-03-2007	Studying Biological Pathways: An Evolutionary Perspective Dynamic and Complex Systems, Max-Planck Institute, Magdeburg	Orkun Soyer
16-03-2007	Multimodal logics for specifying parallel-distributed systems Department of computer Science, University of Sheffield, UK	Radu Mardare
15-03-2007	Protein Calculus School of Biosciences, University of Birmingham, UK	Radu Mardare
01-03-2007	Theoretical Systems Biology of Cell Cycle Regulation Theoretical Approaches To Biological Systems, Max-Planck-Institut für Physik komplexer Systeme, Dresden, Germany	Attila Csikasz-Nagy
16-02-2007	Model Abstraction and Temporal Behavior Analysis of Genetic Regulatory Networks OIST Workshop on Systems Biology of Yeast Signaling, Okinawa, Japan, Feburary, 2007	Hiroyuki Kuwahara
05-02-2007	Models of cell cycle regulation Center for Genomic Regulation, Barcelona, Spain	Attila Csikasz-Nagy
02-02-2007	Computational systems biology to understand cell cycle regulation and more GlaxoSmithKline, Stevenage, UK	Attila Csikasz-Nagy
23-01-2007	Computational systems biology to understand cell cycle regulation and more Okinawa Institute of Science and Technology, Uruma, Japan	Attila Csikasz-Nagy

Talks 2006

Date	Title	Speaker


15-12-2006	Interaction and Depth against Nondeterminism in Proof Search University of Birmingham, School of Computer Science	Ozan Kahramanogullari
30-11-2006	Taking a walk on the wild (and hidden) side of a mountain lake ecosystem and an urban network Department of Plant Taxonomy and Ecology, Eötvös Loránd University. Budapest, Hungary	M. Scotti
23-11-2006	Detecting ecosystem stress and tracing the sustainability of human settlements. A whole-system approach using network analysis Collegium Budapest, Institute for Advanced Study. Budapest, Hungary	M. Scotti
22-11-2006	Models of eukaryotic cell cycle regulation Microsoft Research - University of Trento Centre for Computational and Systems Biology, Trento, Italy	Attila Csikasz-Nagy
09-11-2006	Modeling of NF-kappaB Signaling Pathway Genetics, Bioinformatics & Computational Biology (GBCB) Seminar, VBI, Virginia Tech, USA	Adaoha Ihekwaba
07-11-2006	Simulating kinetic in living systems. Collecting useful data for in silico experiments. CoSBi	Paola Lecca
25-10-2006	Deep Inference and Nondeterminism London Theory Day, Kings College London	Ozan Kahramanogullari
18-10-2006	Studying Biological Pathways: An Evolutionary Perspective CMSB: Computational Methods in Systems Biology	Orkun Soyer
05-10-2006	Predicting target selection by terrorists: A network analysis of the 2005 London underground attacks 3rd Conference on Applications of Social Network Analysis, Zurich, Switzerland	Ferenc Jordan
27-09-2006	Decidable extensions of Hennessy-Milner Logic International Conference on Formal Methods for Networked and Distributed Systems, FORTE 2006, Paris, FR	Radu Mardare
16-09-2006	Model for the Circadian Clock Forced Mammalian Cell Cycle EMS Summer School: Mathematics in Molecular Cell Biology Johann Radon Institute for Computational and Applied Mathematics, Linz, Austria	Attila Csikasz-Nagy
16-09-2006	Model for the circadian clock forced mammalian cell cycle "Mathematics in Molecular Biology” EMS Summer School, Linz, Austria	Judit Zamborszky
07-09-2006	Process calculi for biology Seminar at the University of Catanzaro	Corrado Priami
06-09-2006	NF-kB signalling pathway Computer Science Dept., Virginia Tech & State University, VA, USA	Adaoha Ihekwaba
04-09-2006	The CosBi case Towards 2020 science: modelling and predicting in biology and earth sciences, Venice	Corrado Priami
01-09-2006	A cirkadian ora es a sejtciklus kapcsolatának modellje Magyar Biokemiai Egyesulet, Pecs	Attila Csikasz-Nagy
21-08-2006	Evolution of Complexity in Biological Pathways Informatic Department, EPFL, Swiss Federal Institute of Technology	Orkun Soyer
20-07-2006	Playing with partial knowledge in membrane systems: A logical approach The seventh Workshop on Membrane Computing - At the Crossroads of Cell Biology and Computation, WMC7, Leiden University, NL	Radu Mardare
18-07-2006	Calculi for biology International workshop on Systems Biology, Dublin	Corrado Priami
18-07-2006	Modelling and Observing Biology Microsoft Research Faculty Summit, Seattle	Sean Sedwards
09-07-2006	The Decidability of the Structural Congruence for Beta-binders Workshop on Membrane Computing and Biologically Inspired Process Calculi, 9 July 2006, Venice, Italy	Alessandro Romanel
09-07-2006	Biological transactions for quantitative models Workshop on Membrane Computing and Biologically Inspired Process Calculi, Venice, Italy	Federica Ciocchetta
26-06-2006	Computing by Only Observing Tenth International Conference in Developments in Language Theory, University of Santa Barbara (USA)	Matteo Cavaliere
26-06-2006	Abstracted stochastic analysis of type 1 pili expression in E.coli BIOCOMP`06, Las Vegas, U.S.A., June, 2006.	Hiroyuki Kuwahara
26-06-2006	B-Splines for Genomic Signature International Conference on Scientific Computing 2006 (CSC06), Las Vegas, Nevada (USA)	Gennaro Iaccarino
15-06-2006	P Systems: An Abstract Model of Living Cells “ Dai Modelli Matematici alla Ricerca Applicata”, Scuola di Specializzazione in Cardiochirurgia, University of Padua (Italy).	Matteo Cavaliere
15-06-2006	Process calculi for biology Seminar at the University of Padova	Corrado Priami
07-06-2006	Convergenza delle scienze e nuovi scenari di ricerca Seminar at Scuola Normale Superiore, Pisa	Corrado Priami
29-05-2006	Process Calculi for Biology Seminar at EPFL	Corrado Priami
25-05-2006	High throughput Proteomics ITC-irst, Trento (Italy)	Tommaso Mazza
04-05-2006	Modeling bacterial gene expression in a stochastic pi-calculus with concurrent objects. The Microsoft Research - University of Trento Centre for Computational and Systems Biology.	Celine Kuttler
03-05-2006	Modelling of NF-kB signalling pathway VBI, Virginia Tech & State University, VA, USA	Adaoha Ihekwaba
26-04-2006	Computational Systems Biology Conference of Società Italiana di Bioinformatica, Bologna	Corrado Priami
24-04-2006	A time-dependent extension of Gillespie algorithm for biochemical stochastic pi-calculus ACM Symposium on Applied Computing 2006, Dijon, France.	Paola Lecca
21-04-2006	Modeling (and Simulating) Biological Processes with Stochastic Multiset Rewriting. International Conference and Research Center for Computer Science, Dagstuhl (Germany).	Matteo Cavaliere
21-04-2006	La convergenza delle scienze abilitata dalla societa' dell'informazione e applicata in ambito biologico Convegno SIPS, Trento	Corrado Priami
04-04-2006	Modeling bacterial transcription and translation in a stochastic pi-calculus with concurrent objects. International Conference and Research Center for Computer Science, Dagstuhl, Germany.	Celine Kuttler
21-03-2006	Molecular networks: local and global properties and their consequences for functionality. Three talks in Taiwan: Academia Sinica (Taipei), Yang Ming University (Taipei), Central University (Chungli)	Ferenc Jordan
09-02-2006	Process calculi for biology Seminar at Ludwig-Maximilians-University, Munich	Corrado Priami

Talks 2005

Date	Title	Speaker


18-12-2005	Dynamic-Epistemic Spatial Logics for Concurrency Deparment of Electronics and Computer Science, University of Southampton, UK	Radu Mardare
14-12-2005	From SBML to Beta-binders Centre for Systems Biology at Edinburgh, UK	Federica Ciocchetta
13-12-2005	Key nodes in networks: quantifying part to whole relationships in ecological communities Department of Ecology and Evolutionary Biology, UCLA, Los Angeles, CA, USA	Ferenc Jordan
02-12-2005	Modelling, Enzyme kinetics and Image Analysis of NF-kB signalling pathway Novartis Institute for Biomedical Research, Cambridge, MA, USA	Adaoha Ihekwaba
28-11-2005	The NF-kB system; Modelling and Image Analysis Astra Zeneca, Mereside Alderley Park, UK	Adaoha Ihekwaba
03-11-2005	Deep Inference and Nondeterminism Programming Systems Lab, Saarland University, Saarbruecken	Ozan Kahramanogullari
05-10-2005	From SBML to Beta-binders University of Glasgow, UK	Federica Ciocchetta
13-09-2005	Automatic abstraction methodology for genetic regulatory networks The 1st Annual Mountain West Biomedical Engineering Conference, Snowbird, U.S.A., September, 2005.	Hiroyuki Kuwahara
31-08-2005	Otto Warburg International Summer School on Networks and Regulation Modeling bacterial transcription and translation in a stochastic pi-calculus Max Planck Institute for Molecular Genetics, Berlin	Celine Kuttler
20-07-2005	Analysis of a generic model of eukaryotic cell cycle regulation 6th European Conference on Mathematical and Theoretical Biology, Dresden, Germany	Attila Csikasz-Nagy
17-07-2005	Implementing Deep Inference in TOM Workshop on Structures and Deduction 2005, Lisbon	Ozan Kahramanogullari
17-06-2005	Introductionary remarks Working Group meeting on Darwinian Homeland Security, NCEAS, Santa Barbara CA, USA	Ferenc Jordan
14-06-2005	Topological constraints on the dynamics of wasp-waist ecosystems UNESCO workshop on regime shifts in aquatic ecosystems, Varna, Bulgaria	Ferenc Jordan
13-06-2005	The NF-kB signalling pathway School of chemistry faculty of engineering and physical sciences meeting, The University of Manchester, UK	Adaoha Ihekwaba
13-06-2005	Modelling of NF-kB signalling pathway; challenges and discoveries Gene regulation networks: ‘Complex System Challenges’, University of Leeds, UK	Adaoha Ihekwaba
06-06-2005	Recognizing DNA Splicing DNA 11- Eleventh International Meeting on DNA Computing, University of Western Ontario, London (Canada)	Matteo Cavaliere
06-06-2005	A scalable intermediary software infrastructure (SISI) for Web accessibility 4th International Meeting on Web for Handicap Integrated Training Environment (EU W.H.I.T.E. project) Ischia, Naples, Italy	Gennaro Iaccarino
02-06-2005	Complexity and systemics Keynote speaker at the FET Info Day on Simulation of Complex Systems, Brussels	Corrado Priami
26-05-2005	Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. Karolinska Institute, Stockholm. Microbiology and Tumor Biology Center.	Celine Kuttler
24-05-2005	Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. Uppsala University, Sweden, Linnaeus Centre for Bioinformatics.	Celine Kuttler
03-05-2005	Topological key players in communities: the network perspective V Conference on Ecosystems and Sustainable Development, Cadiz, Spain	Ferenc Jordan
08-04-2005	Using Ontologies in PROTEUS for Modeling Proteomics Data Mining Applications Healthgrid 2005 Conference, Oxford, (UK)	Tommaso Mazza
04-04-2005	Bacterial transcription the stochastic pi-calculus. Third International Conference on Computational Methods in Systems Biology, Edinburgh.	Celine Kuttler
31-03-2005	Labeled Event Structure Semantics of Linear Logic Planning UniLog 2005, Montreux, Switzerland	Ozan Kahramanogullari
15-03-2005	Modelling fission yeast morphogenesis FEBSSysBio2005: Advanced Lecture Course on Systems Biology, Gosau, Austria	Attila Csikasz-Nagy
09-03-2005	Modelling of NF-kB signalling pathway Discussion group ‘biological networks’, The University of Manchester, UK	Adaoha Ihekwaba
09-03-2005	Personalizable edge services for Web accessibility: PAN 3rd International Meeting on Web for Handicap Integrated Training Environment (EU W.H.I.T.E. project) Bucharest, Romania	Gennaro Iaccarino
09-03-2005	Conserving ecosystem functions: a quest for topological keystone species Centre for Ecological Sciences, IISC, Bangalore, India	Ferenc Jordan
07-03-2005	Mass Spectrometry: some algorithmic approaches ICAR-CNR, Cosenza (Italy)	Tommaso Mazza
07-03-2005	The architecture of social and ecological networks Centre for Contemporary Studies, Bangalore, India	Ferenc Jordan
23-02-2005	Process Calculi for Biology Seminar at Imperial College London	Corrado Priami
15-02-2005	Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. Uppsala University, Computer Science Department.	Celine Kuttler
21-01-2005	Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. Institut non linéaire de Nice, Sophia Antipolis, France, ACI Vicanne meeting,	Celine Kuttler

Talks 2004

Date	Title	Speaker


06-12-2004	Modelling, Enzyme kinetics and fluorescence imaging of NF-kappaB signalling pathway Hit discovery group, Pfizer Global research developments, sandwich laboratories, UK	Adaoha Ihekwaba
05-12-2004	Process algebras compositionality to hammer complexity Conference on Complex Systems in Information Science and Technology, Torino	Corrado Priami
24-11-2004	Implementing Deep Inference Protheo Group at LORIA, Nancy	Ozan Kahramanogullari
19-11-2004	A graph theory examination of the global spreading hypothesis plenary, 11th Harmful Algal Blooms World Conference, Cape Town, South Africa	Ferenc Jordan
17-11-2004	Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. Max Planck Institute of Complex Technical Systems, Magdeburg, Germany, Systems Biology Group.	Celine Kuttler
16-11-2004	Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. University of Rostock, Germany, computer science department.	Celine Kuttler
15-11-2004	A DNA Arithmetic Logic Unit 5th International Conference on Mathematic and Computers in Biology and Chemistry, Venice, Italy	Gennaro Iaccarino
29-10-2004	A new approach to calculate local Ecological Footprint Festival della Scienza. Savona, Italy	M. Scotti
19-10-2004	Modeling and simulation of biosystems: the process algebra approach Second Pathways, Networks and Systems Conference, Heraklion, Crete	Corrado Priami
14-09-2004	Converging sciences and technologies: an opportunity for Europe Conference on Converging Technologies for a diverse Europe, Brussels	Corrado Priami
09-09-2004	A logical approach to security for ambient calculus Fourth International School on Foundations of Security Analysis and Design	Corrado Priami
30-08-2004	Mobile process algebras in systems biology BioConcur workshop, London, UK	Corrado Priami
30-08-2004	Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. Second International Workshop on Concurrent Models in Molecular Biology, London.	Celine Kuttler
13-08-2004	Implementing System BV of the Calculus of Structures in Maude ESSLLI 2004 Student Session, Universite Henri Poincare, Nancy	Ozan Kahramanogullari
09-07-2004	Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. International Conference and Research Center for Computer Science, Dagstuhl, Germany.	Celine Kuttler
10-06-2004	Timed P Systems, Inhibiting / De-Inhibiting Rules in P Systems. Fifth Workshop on Membrane Computing, University of Milan-Bicocca (Italy)	Matteo Cavaliere
07-06-2004	Biomolecular Implementation of Computing Devices with Unbounded Memory DNA 10 - Tenth International Workshop on DNA Computing, University of Milan-Bicocca (Italy)	Matteo Cavaliere
04-06-2004	Modelling fission yeast morphogenesis Rockefeller University, New York, USA	Attila Csikasz-Nagy
27-05-2004	Model checking biological systems described using ambient calculus The second International Workshop on Computational Methods in Systems Biology, CMSB04	Radu Mardare
21-04-2004	Process calculi and biology Conference on New Directions for ICTs in FP7: Grand challenges for basic research, Brussels, Belgium	Corrado Priami
19-03-2004	Sensitivity analysis of NF-kB signalling pathway Centre for Cell Imaging, University of Liverpool, UK	Adaoha Ihekwaba
14-03-2004	Predicting cell adhesion probability via the biochemical stochastic pi-calculus ACM Symposium on Applied Computing, Nicosia, Cyprus	Paola Lecca
18-02-2004	A logical approach to security in the context of Ambient Calculus “Mefisto” workshop, Pisa, IT	Radu Mardare

Talks 2003

Date	Title	Speaker


09-12-2003	Design Environments for complex systems Winter Simulation Conference, IEEE, New Orleans, USA	Corrado Priami
06-09-2003	Cell cycle control in Eukaryotes: a BioSpi model BioConcur 2003, Marseille, France	Paola Lecca
15-08-2003	Key positions in food webs: quantifying the effective range of indirect effects ESF Workshop on Vulnerability and Fragility of Ecosystems, Linkoping, Sweden	Ferenc Jordan
22-07-2003	Knowledge Discovery to Support Hepatocellular Carcinoma Early Diagnosis. International Joint Conference on Neural Networks, Portland, Oregon, USA	Federica Ciocchetta
17-07-2003	A New Way to Look at Membrane Systems Fourth Workshop on Membrane Computing, Tarragona (Spain) Evolution and Observation	Matteo Cavaliere
10-07-2003	A deterministic molecular model of the fission yeast cell cycle XXIst International Conference on Yeast Genetics and Molecular Biology, Gothenburg, Sweden	Attila Csikasz-Nagy
28-06-2003	Modelling Fission Yeast Morphogenesis European Pombe Meeting, Lausanne, Switzerland	Attila Csikasz-Nagy
19-06-2003	Modeling complex systems Inagural meeting of the Systemoscope consortium, Paris, France	Corrado Priami
04-06-2003	Quantifying landscape connectivity: key patches and key corridors IV Conference on Ecosystems and Sustainable Development, Siena, Italy	Ferenc Jordan
08-04-2003	Mathematical modeling of growth regulation of fission yeast cells in space and time 10th Oberwolfach Mathematical Biology meeting, Oberwolfach, Germany	Attila Csikasz-Nagy
25-03-2003	A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak AAAI Spring Symposium, Stanford University, California	Ozan Kahramanogullari
02-03-2003	Mathematical modeling of pattern formation in fission yeast cells 2nd International Conference on Modeling of Fission Yeast Morphogenesis, Collegium Budapest, Hungary	Attila Csikasz-Nagy

Talks 2002

Date	Title	Speaker


09-12-2002	The Dynamical Network of Cell Cycle Regulators Santa Fe Institute, Santa Fe, USA	Attila Csikasz-Nagy
19-10-2002	Modelling of the fission yeast cell cycle C.N.R.S. – Imaging, Modelling, Manipulating Transcriptional Regulatory Networks. Ambleteuse, France	Attila Csikasz-Nagy
19-08-2002	Generating Context-Free Languages with Dynamic P Systems Third Workshop on Membrane Computing, Curtea de Arges (Romania)	Matteo Cavaliere
04-06-2002	Dynamics of cell cycle regulation 5th Conference of the European Society of Mathematical and Theoretical Biology, Milan, Italy	Attila Csikasz-Nagy
26-04-2002	The quantified importance of species and their interactions in a host-parasitoid community ESF Review Conference, Ceske Budejovice, Czech Republic	Ferenc Jordan
27-03-2002	Modelling of the fission yeast cell cycle The 2nd International Fission Yeast Meeting, Kyoto, Japan	Attila Csikasz-Nagy

Talks 2001

Date	Title	Speaker


06-06-2001	Ecosystem flow networks and community control III Conference on Ecosystems and Sustainable Development, Alicante, Spain	Ferenc Jordan

Talks 2000

Date	Title	Speaker


21-07-2000	Mathematical modelling - a tool to understand cell cycle control Cell Cycle in Immunology and Pathology, Warwick, UK	Attila Csikasz-Nagy
20-07-2000	Modelling mammalian cell cycle controls Cell Cycle in Immunology and Pathology, Warwick, UK	Attila Csikasz-Nagy

Talks 1999

Date	Title	Speaker


09-11-1999	Mathematical models of cell cycle regulation University of Kentucky, Lexington, USA	Attila Csikasz-Nagy
30-04-1999	A sarjadzo eleszto szaporodasanak modellezese MTA KEKI Tudomanyos kollokviuma, Budapest	Attila Csikasz-Nagy
25-04-1999	The role of keystone species in the evolution of trophic networks 5. European Conference for PhD Students in Evolutionary Biology, Umea, Sweden	Ferenc Jordan

Talks 1998

Date	Title	Speaker


03-04-1998	The Evolution of Reliable Food Web Patterns 4. European Conference for PhD Students in Evolutionary Biology, Heraklion, Greece	Ferenc Jordan

Talks 1997

Date	Title	Speaker


26-08-1997	A DNS replikacio szabalyozasanak modellezese hasado elesztoben A Magyar Mikrobiologiai Tarsasag, evi Nagygyulese, Szekszard	Attila Csikasz-Nagy