Uznání a ocenění
| 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 |
| EASST Best paper award at ETAPS'2013 |
EASST Best paper award at ETAPS'2013
The paper "An Integrated Specification and Verification Technique for Highly Concurrent Data Structures" by Parosh Aziz Abdulla, Frederic Haziza, Lukas Holik, Bengt Jonsson, and Ahmed Rezine, received the EASST Best paper award at ETAPS'2013.
ETAPS (The European Joint Conferences on Theory and Practice of Software) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is a confederation of six main annual conferences (CC, ESOP, FASE, FOSSACS, POST and TACAS), with a total number of more than 500 submissions each year, accompanied by satellite workshops and other events. |
Abdulla Parosh A. Haziza Frédéric Holík Lukáš
| EASST Best paper award at ETAPS'2013 |
EASST Best paper award at ETAPS'2013
The paper "An Integrated Specification and Verification Technique for Highly Concurrent Data Structures" by Parosh Aziz Abdulla, Frederic Haziza, Lukas Holik, Bengt Jonsson, and Ahmed Rezine, received the EASST Best paper award at ETAPS'2013.
ETAPS (The European Joint Conferences on Theory and Practice of Software) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is a confederation of six main annual conferences (CC, ESOP, FASE, FOSSACS, POST and TACAS), with a total number of more than 500 submissions each year, accompanied by satellite workshops and other events. |
Herout Adam Janko Roman Jašek Roman Kajan Rudolf Kučera Petr Matula Tomáš Milet Tomáš Szentandrási István Zachariáš Michal
| Imagine Cup |
Tým studentů
FITu Wicked Games (Michal Zachariáš, István Szentandrási, Rudolf Kajan, Tomáš
Milet, mentor: doc. Adam Herout) zvítězil
v národním kole soutěže Imagine Cup s počítačovou hrou reSound využívající
rozšířenou realitu. Vybojovali tak
postup do světového finále 8. 7. - 12. 7. 2013 v Petrohradu. Informace o
projektu reSound je možné průběžně sledovat na
facebooku: http://www.facebook.com/Project.reSound. V
kategorii World Citizenship zvítězil další tým FITu: Book Keepers (Roman Jašek,
Roman Janko, Petr Kučera, Tomáš Matula, mentor: doc. Adam Herout). Jejich
projekt BookCaching usiluje o propagaci čtení starých dobrých papírových knih
pomocí prvků gamifikace a spolupracuje s existujícími servery knihotoc.cz
a bookcrossing.com. |
|