Vážení studenti, s většinou z vás už jsem mluvil o tom, že bych chtěl v příštím semestru obnovit tradici "reading group" a aktivně vás do ní zapojit. Pro ty, se kterými jsem nemluvil stručné shrnutí: Jedná se o akci organizovanou každých 14 dní naší skupinou sedící převážně v G203. Cílem je se nenásilnou formou seznamovat se zajímavými výsledky práce jiných lidí. To se děje tak, že pro každé sezení se vybere jeden článek z konference či odborného časopisu, všichni si ho přečtou a jeden člověk připraví krátkou 20-30 min prezentaci. Na setkání se článek odprezentuje a pak následuje diskuze, kde se o článku bavíme, rozebíráme jeho klady a zápory, co by šlo udělat lépe atd. Moje představa je, že témata článků budou zahrnovat embedded systémy, jejich software, real-time aplikace, verifikace softwaru apod. Je na každém, co si konkrétně vybere; určitě bude vhodné, když výběr vašeho článku bude souviset s vaší diplomkou či bakalářkou. Další informace můžete najít na http://rtime.felk.cvut.cz/reading-group/. První článek bych prezentoval já. Zajímá mě jak funguje analyzátor kódu ASTREE, který používají v Airbusu a vybral jsem následující článek: Why does ASTRÉE scale up? Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, 2009 http://www.di.ens.fr/~cousot/publications.www/CousotEtAl-FMSD-v35n3pp229-264... Zbývá jen domluvit, kdy bychom se scházeli. Navrhuji první reading group udělat ještě ve zkouškovém a pak pokračovat pravidelně každých 14 dní. Vyplňte tedy prosím na http://doodle.com/4uri52mbimbu4i4a, kdy by se vám to hodilo. Pokud máte jakékoli otázky či připomínky, dejte vědět a rád to s vámi proberu. S pozdravem -Michal Sojka