Sikeresen lezárult a CONCERTO projekt

Nagy András Szabolcs, k, 2016-07-05 11:15

Június 30-án Brüsszelben folyt le a CONCERTO projekt utolsó szakmai értékelése (review meeting), melyen kutatócsoportunkból Horváth Ákos és Nagy András Szabolcs mutatta be a BME-MIT, BME-AUT, BME-EMT és az AENSys együttműködésének eredményeit.

Tovább »

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

Búr Márton, h, 2016-07-04 13:14

2016. június 27-29. között zajlott le Szegeden a Conference of PhD Students in Computer Science (CSCS) 2016 konferencia, ahol kutatócsoportunk professzora, Dr. Varró Dániel meghívott előadást tartott "Models and Queries for Smart and Safe Cyber-physical Systems" címmel, valamint a konferencián előadóként Búr Márton és Semeráth Oszkár PhD hallgatók is részt vettek, akik a szekciójuk legjobb előadói díját nyerték. Tovább »

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

Hajdu Ákos, sze, 2016-06-29 21:00

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

Hajdu Ákos, cs, 2016-06-09 21:00

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.

Tovább »

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

Majzik István, sze, 2016-06-08 15:14

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ó

Vörös András, v, 2016-04-24 14:04

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

Semeráth Oszkár, h, 2016-04-18 13:23

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

Vörös András, cs, 2016-03-17 17:06

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.

Tovább »

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

Micskei Zoltán, cs, 2016-03-03 13:10

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

Varró Dániel, cs, 2016-02-04 14:23

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.

Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció