| Name | Session | Title |
|---|---|---|
| Zsolt Gera and József Dombi | Logic, Fuzzy Logic | The analytical approximation of the nilpotent operators and its applications |
| Tamás Vinkó | Reliable computing, optimization | Reliable global optimization on atom clusters |
| Zoltán Kiss, Lajos Rodek, László Ruskó, Attila Kuba and Márton Balaskó | Image Processing | Preprocessing and Discrete Tomographic Reconstruction in Neutron Radiography |
| Tamás Gergely | Compression | Optimization Methods for Compression in Compiler Programs |
| Balázs Erdőhelyi, Krisztián Ollé, Endre Varga, and Attila Kuba | Medical Informatics | Preparing Surgical Operation Plans for Finite Element Analysis Using the MedEdit System |
| Paula Steinby | Automata | On Continutity Preserving Weighted Finite Transducers |
| Péter Domokos and István Majzik | Modeling | Dependability Modeling of Fault-Tolerant Systems Using Aspect-Oriented Modeling Techniques |
| Richárd Szabó | Artificial Intelligence | Combining metric and topological navigation of simulated robots |
| Zoltán Kincses | Resource management | On Avoidance of Attacks Against the PIN Error Counter of Smart Cards |
| László Zömbik | Networks | Revealing of Location in IP Mobility Networks |
| Ákos Schmidt | Complex systems | Model Checking of Visual Modeling Languages |
| István Zólyomi and Zoltán Porkoláb | Slicing, JAVA | Family Polymorphism in JAVA |
| Tibor Dulai | Algorithms | Non-Cooperative games for self-adaptive telecommunication protocols |
| Name | Session | Title |
| Gábor Balázs and Balázs Végső | Medical Informatics | Properties of an Intelligent Cardiovascular Monitoring System |
| Kornél Kovács and András Kocsor | Artificial Intelligence | Classification using sparse combination of base functions |
| Zsolt Gazdag | Automata | Shape Preseving Buttom-Up Tree Transducers |
| Péter Gábor Szabó | Algebra, Combinatorics | Packing Equal Circles in a Square - bounds, minimal polynomials and classification |
| Gábor Kuruc and Krisztina Lója | Protocols | Routing protocols |
| Gábor Horváth | Modeling | Teleonics as a framework for Business Modelling and IT System Design |
| Ádám Sillye and Zoltán Porkoláb | .NET | Uniform Computation of Complexity Metrics in the .NET Platform |
| Gergely Varró | Databases | Incremental Graph Transformation in Relational Databases |
| Miklós Espák | Programming | Innovative Uses of Programming Constructs Supporting Aspect-Oriented Programming |
| Roland Gémesi and László Zömbik | Networks | Security Analysis of Sensor Networks |
| Gábor Bátori, Dung Le Viet, Antal Wu-Hen-Chang and Gyula Csopaki | Protocols | Test Data Optimization Method for TTCN-3 |
| Miklós Kálmán and Ferenc Havasi | Web, XML | Compacting XML Documents |
| Zoltán Horváth, Tamás Kozsik and Máté Tejfel | Functional languages, Clean | Extending the Sparkle Core language with object |
| Péter Balázs and Attila Kuba | Image processing, Graphics, Modeling | Reconstruction of Discrete Sets from Four Projections: Decomposable Cases |
| Szilvia Gyapay | Languages | Model based Optimization and Verification of IT Systems |