Talks 2010
|
| Date | Title | Speaker |
|
| 27-03-2010 | BlenX-based compositional modeling of complex reaction mechanisms FBTC 2010 | Judit Zamborszky | | 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 | | 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 | | 26-11-2009 | Methodologies and tools supporting the modelling workflow of biological systems Centre for Systems Biology at Edinburgh (Edinburgh, UK) | Alida Palmisano | | 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 | | 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 Sciences, 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 | |
|