SAT/SMT/AR 2016 nyári iskola részvétel

Kutatócsoportunk doktorandusza, Hajdu Ákos részt vett az idén Portugáliában megrendezett SAT/SMT/AR 2016 (Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning) nyári iskolában, ahol a poszter szekcióban saját munkáját is bemutatta. Poszterének címe "A SAT/SMT-based CEGAR Framework"

Részvételünk a FORTE 2016 konferencián

Kutatócsoportunk doktorandusza, Hajdu Ákos részt vett az idén Görögországban megrendezett FORTE 2016 (36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems) nemzetközi konferencián, ahol az "A Configurable CEGAR Framework with Interpolation-Based Refinements" című cikket mutatta be.

Micskei Zoltán a Kar Kiváló Fiatal Oktatója

A Hallgatói Képviselet által alapított "Kar Kiváló Fiatal Oktatója" kitüntetést 2016-ban a hallgatók szavazatai alapján dr. Micskei Zoltán nyerte el. Gratulálunk! Tovább »

Specializáció-tájékoztató

2016. április 26. 14:15-18:00 között specializáció-tájékoztatót tartunk az IB019 teremben. Tovább »

Részvételünk a ETAPS 2016 konferencián

Debreceni Csaba és Semeráth Oszkár részt vettek az idén Hollandiában megrendezett ETAPS 2016 nemzetközi konferencián, ahol több cikk is bemutatásra került.

A FASE 2016 konferencián (International Conference on Fundamental Approaches to Software Engineering) bemutatott cikkeink: Tovább »

A BME MIT FTSRG csapat 3. helyezése az Eclipse Open IoT Developer Challenge versenyén

Az USA-ban megrendezett EclipseCon North America rendezvény évente IoT fejlesztői versenyt rendez. A verseny során három hónap áll rendelkezésre, hogy a csapatok nyílt-forráskódú és nyitott szabványok segítségével egy általuk választott témában innovatív IoT megoldást készítsenek.

Kutatócsoportunk munkatársa a UCAAT 2016 programbizottságában

Kutatócsoportunk munkatársát, Micskei Zoltánt meghívták az idei User Conference of Advanced Automated Testing (UCAAT) konferencia programbizottságába. A UCAAT az automatikus és modell-alapú teszteléssel foglalkozó egyik legfontosabb ipari konferencia. Tovább »

Meghívott előadás a SOFSEM 2016 nemzetközi konferencián

Kutatócsoportunk oktatója Dr. Varró Dániel "Incremental Queries and Transformations From Concepts to Industrial Applications" címmel 90 perces meghívott előadás tartott a SOFSEM 2016 42nd International Conference on Current Trends in Theory and Practice of Computer Science konferencián, amely 2016-ban a csehországi Harrachovban került megrendezésre.

TDK: Kiváló hallgatók és oktatók elismerése

Megtörtént az egyetem K épületében az idei TDK konferencia különdíjainak átadása. Tovább »

Hallgatóink sikere a kari TDK konferencián

Hallgatóink jól szerepeltek a kari Tudományos Diákköri Konferencián, ahonnan négy 1. helyezést, négy 2. helyezést, két 3. helyezést, két jutalmat és egy Rektori Különdíjat hoztak el.

1. díjat ért el és Rektori Különdíjban részült: Tovább »

Tartalom átvétel