Academy Award for a Textbook

The book  "Formal Methods in Computing"  edited by Miklós Ferenczi, András Pataricza and Lajos Rónyai  was published by Akadémiai Kiadó, the publishing house of the Hungarian Academy of Scences (HAS). This book won an Academy Award upon the proposal of the Section of Mathematics of the HAS. Read more »

ACM Distinguished Paper Award at IEEE/ACM International Conference On Automated Software Engineering 2011 conference

Between November 6-12, Lawrence, Kansas (US) hosted the 26th IEEE/ACM International Conference
On Automated Software Engineering
(ASE '11), which is one of the most widely accepted and respected scientific forum on software and systems engineering. Read more »

Tool Demonstration at ServiceWave 2011

In accordance with the Polish EU presidency, the 2011 autumn installation of the Future Internet Week series was hosted by the Poznań University of Technology. The satellite conference ServiceWave also included a free-form tool demonstration slot in its programme. Read more »

SecureChange General Assembly in Paris

The current General Assembly of the EU research project SecureChange was held in Paris between 19-21 October, and hosted in the modern office of the Paris branch of the INRIA research institute. Our research group was represented by dr. Dániel Varró, dr. István Ráth and Gábor Bergmann.

Data analysis cloud with the support of IBM DSS

 IBM DSS Ltd. (the storage facility of IBM located at Vác) donated a computer cluster consisting of 10 servers, which will support the educational and research activities of the group. The servers will perform intelligent analysis on large data series, and illustrate the application of state of the art cloud computing and virtualization technolgies in modern computing systems.  Read more »

AGTIVE'11 symposium organized at BME

This October, our university had the honour of hosting the newest installation of the quadrennial AGTIVE (Applications of Graph Transformation With Industrial Relevance) symposium. Local organization tasks were shared between our research group and our collegeagues from the AAIT department. The event attracted 40-50 guests from European and American universities (primarily from Germany), ranging from PhD students to acclaimed professors. The participants presented and debated the newest scientific results of the field, experience in industrial appliaction, and software tools, in BME's brand-new Building Q. Tuesday evening's welcome reception in Buda Castle, Thursday's riverside conference banquet, and the sightseeing tour on Friday all contributed to enriching the programme.

VL/HCC 2011 conference in Pittsburgh

The VL/HCC sympsium (IEEE Symposium on Visual Languages and Human-Centric Computing) was hosted by Pittsburgh (PA) between September 18-22. Established in 1984, the mission of the conference is to support the design, theory, application and evaluation of computing technologies and languages for programming, modeling and communicating, which are easier to learn, use, and understand by people. Some of the companies participating in the conference are National Instruments (LabView), Microsoft, Northwoods, and AgentSheets. Read more »

Second SecureChange ATM workshop in Rome

Last week in Rome, Work Package 3 of the SecureChange EU research project conducted one of the final industrial validation events of its requirements engineering methodology. Read more »

ESEC/FSE 2011 & SSBSE 2011

Two PhD students from our group, Zoltán Ujhelyi and János Oláh participated in the "European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering  2011" (ESEC/FSE) international conference that was held in Szeged, Hungary.

Parallel model checking presentation at the ISPDC 2011 conference

Representing our group, András Vörös gave a presentation at the " The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011) " international conference, at Cluj Napoca. The title of the presentation is "Parallel Saturation Based Model Checking" and it summarized the recent advances in the parallelization of model checking algorithms developed at our research group.

The homepage of the conference: Read more »

Syndicate content