Fourth International Workshop on Hybrid Systems Biology

W 2015

Fourth International Workshop on Hybrid Systems Biology

ABATE, Alessandro a David ŠAFRÁNEK

Základní údaje

Originální název

Fourth International Workshop on Hybrid Systems Biology

Autoři

ABATE, Alessandro a David ŠAFRÁNEK

Vydání

2015

Další údaje

Jazyk

angličtina

Typ výsledku

Uspořádání workshopu

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/15:00081136

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

hybrid systems; systems biology; formal methods

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 6. 4. 2016 14:23, doc. RNDr. David Šafránek, Ph.D.

Anotace

V originále

The 4th International Workshop on Hybrid Systems Biology (HSB 2015) was held on September 4th and 5th, 2015 at the Facultad de Matematicas, at the Universidad Complutense de Madrid. HSB 2015 was co-located within the week-long Madrid Meet 2015, which hosted also CONCUR 2015, QEST 2015, FORMATS 2015, among other scientic events. Previous editions of the HSB Workshops were held in Newcastle upon Tyne (UK, with CONCUR 2012), Taormina (IT, within ECAL 2013), and Vienna (AT, within VSL 2014). The scope of the HSB 2015 workshop has broadened since the earlier editions, and now covers the general area of dynamical models in Biology. HSB 2015 has retained the emphasis on hybrid approaches { by no means restricted to a narrow class of mathematical models { and has in particular stressed the importance of taking advantage of techniques developed separately in dierent areas. Topics featured in the workshop have included models of metabolic, signalling, and genetic regulatory networks; models of tissues; biological applications of quantitative and formal analysis techniques; parametric and non-parametric system identication techniques; ecient techniques for combined and heterogeneous simulations of biological models; modelling languages for biological systems; models coping with incomplete and uncertain biological information; stochastic and hybrid models in biology; hierarchical approaches for multi-scale, multi-domain analysis; abstraction, approximation, discretisation, and model reduction techniques; control architectures in biological systems; and modelling and synthesis for synthetic biology.

Návaznosti

GA15-11089S, projekt VaV

Název: Získávání parametrů biologických modelů pomocí techniky ověřování modelů

Investor: Grantová agentura ČR, Získávání parametrů biologických modelů pomocí techniky ověřování modelů

Citovat

ABATE, Alessandro a David ŠAFRÁNEK. Fourth International Workshop on Hybrid Systems Biology. 2015.

@misc{1314364,
   author = {Abate, Alessandro and Šafránek, David},
   keywords = {hybrid systems; systems biology; formal methods},
   language = {eng},
   title = {Fourth International Workshop on Hybrid Systems Biology},
   url = {http://hsb2015.fi.muni.cz},
   year = {2015}
}

TY  - CONF
ID  - 1314364
AU  - Abate, Alessandro - Šafránek, David
PY  - 2015
TI  - Fourth International Workshop on Hybrid Systems Biology
KW  - hybrid systems
KW  - systems biology
KW  - formal methods
UR  - http://hsb2015.fi.muni.cz
L2  - http://hsb2015.fi.muni.cz
N2  - The 4th International Workshop on Hybrid Systems Biology (HSB 2015) was held on September 4th and 5th, 2015 at the Facultad de Matematicas, at the Universidad Complutense de Madrid. HSB 2015 was co-located within the week-long Madrid Meet 2015, which hosted also CONCUR 2015, QEST 2015, FORMATS 2015, among other scientic events. Previous editions of the HSB Workshops were held in Newcastle upon Tyne (UK, with CONCUR 2012), Taormina (IT, within ECAL 2013), and Vienna (AT, within VSL 2014). The scope of the HSB 2015 workshop has broadened since the earlier editions, and now covers the general area of dynamical models in Biology. HSB 2015 has retained the emphasis on hybrid approaches { by no means restricted to a narrow class of mathematical models { and has in particular stressed the importance of taking advantage of techniques developed separately in dierent areas. Topics featured in the workshop have included models of metabolic, signalling, and genetic regulatory networks; models of tissues; biological applications of quantitative and formal analysis techniques; parametric and non-parametric system identication techniques; ecient techniques for combined and heterogeneous simulations of biological models; modelling languages for biological systems; models coping with incomplete and uncertain biological information; stochastic and hybrid models in biology; hierarchical approaches for multi-scale, multi-domain analysis; abstraction, approximation, discretisation, and model reduction techniques; control architectures in biological systems; and modelling and synthesis for synthetic biology.
ER  -

ABATE, Alessandro a David ŠAFRÁNEK. \textit{Fourth International Workshop on Hybrid Systems Biology}. 2015.

Přehled o publikaci