Timetable of lectures - draft

Please check the information on this page. If any problem arises then do tell us.
Continuously updating...

Monday, January 29, 2007
10:00-10:15	Opening Ceremony
10:15-11:00	Invited talk Gunter Weiss	Visualising Elementary Number Theory
11:00-11:15	Coffee-break
11:15-12:00	Invited talk Domonkos Asztalos	To be later announced
12:00-12:40	Invited talk György Terdik	Internet traffic v. technology change in 10 years
12:40-13:40	Lunch
"A" Section	Computer Algebra
15:00-15:20	Benedek Nagy, Sándor Vályi	Interval-valued computations without the product operator
15:20-15:40	Attila Egri-Nagy, Chrystopher L. Nehaniv	Algebraic Properties of Automata Associated to Petri Nets
15:40-16:00	János Folláth, Andrea Huszti, Attila Pethő	DESignIn - An Asymetric Authentication System
16:00-16:20	Géza Horváth	New pumping lemma
16:20-16:40	Coffee-break
16:40-17:00	Zoltán Csajbók	ON THE MAPPINGS OF ELLIPTIC CURVES HAVING NO RATIONAL POINTS INTO $[0; 1)^2$
17:00-17:20	Zoltán Lengyel	Efficient Skolemization
17:20-17:40	Gergely Kovásznai	Redundancy for Rigid Clausal Tableaux
17:40-18:00	Valerie Novitzka, Daniel Mihalyi, Viliam Slodicak	Finite automata in the mathematical theory of programming
18:00-18:20	Zoltán Csajbók	ON THE STRUCTURE OF REDUCED POINTS OF ELLIPTIC CURVES DEFINED OVER RATIONALS
"B" Section	Operational Research
15:00-15:20	Zoltán Makó	Banded approximation with diffusion-neural-network
15:20-15:40	László Pál, Tibor Csendes, Oscar H. Sendin, Julio R. Banga	Improvements on the GLOBAL Optimization Algorithm with Numerical Tests
15:40-16:00	Barnabás Szász	Reasoning in Museum24 Semantic Virtual Museum
16:00-16:20	Júlia Salamon	Sensitivity analysis of the energy functional defined on Sobolev space.
16:20-16:40	Coffee-break
16:40-17:00	Balázs Bánhelyi, Tibor Csendes, Jose A. Martinez, Leocadio Gonzlez Casado	A parallelized computer-assisted proof of chaos
17:00-17:20	András Erik Csallner	On the Heuristic Construction of Stepped Upper Estimates
17:20-17:40	Kristóf Vajda	Reducing Ambiguity in Machine Translation Through Iterative Parsing
17:40-18:00
"C" Section	Computer Graphics
15:00-15:20	János KATONA, Emil MOLNÁR	A visibility algorithm for the projection PS^d --> PS^2
15:20-15:40	László-Zsolt Szabó	An image analyser program written in MATLAB to detect and analyse elementary events of calcium release on muscle cells
15:40-16:00	Emil MOLNÁR, István PROK, Jenő SZIRMAI	An infinite series of hyperbolic 3-space tilings on the screen of computer
16:00-16:20	Benedek Nagy, Agota Orosz	Simple digital objects on Z^2
16:20-16:40	Coffee-break
16:40-17:00	Brigitta Szilagyi, Attila Bölcskei	Visualization of Curves and Spheres in Sol Geometry
17:00-17:20	Brigitta Németh, Csilla Sörös	Evaluation of spatial ability and its consequences
17:20-17:40	Imre Kocsis	Applying animation in teaching of mathematics for engineering students
17:40-18:00	Csaba Nagy	Extend GCC with a fully manageable reverse engineering front end
"D" Section	Reasoning and Functional Programming
15:00-15:20	Gábor Kusper, Lajos Csőke	A Better DPLL Algorithm Using the N-Literal SAT Representation
15:20-15:40	Gergely Dévai, Zoltán Csörnyei	Separation logic style reasoning in a refinement based language
15:40-16:00	Péter Takács, Zsolt Kristóf	The Extension of CNS-logics
16:00-16:20	Katalin Pásztorné Varga	Normal forms in Many-Valued Logic
16:20-16:40	Coffee-break
16:40-17:00	Viktória Zsók	Semantic Issues of D-Clean
17:00-17:20	László Lővei, Zoltán Horváth, Tamás Kozsik, Roland Király	Static rules for variable scoping in Erlang
17:20-17:40	Péter Diviánszky, Gáspár Erdélyi	Graphs as infinite terms in functional langauges
17:40-18:00	Máté Tejfel	Proving Composed Specifications of Clean Programs in Sparkle-T
19:00	Welcome party in Hotel Park

Tuesday, January 30, 2007
08:00-09:00	Breakfast
09:00-09:30	Invited talk Francis ROUSSEAUX	New Ideas for Browsing our Digital Collections
09:30-10:00	Invited talk Fazekas Gábor	Co-operative Research Centre for Information Technology in Debrecen
10:00-10:20	Coffee-break
"A" Section	Software Design and Object Oriented Programming
10:20-10:40	Ádám Balogh, Zoltán Csőrnyei	A General Method of Exception Reporting and Handling using System Predicate Classes
10:40-11:00	Mihály Biczó, Krisztián Pócza, Zoltán Porkoláb	A Cache-Based Inter-Procedural Static Slicing Algorithm
11:00-11:20	Csaba Bornemissza	Comparing Lightweight and Heavyweight Modeling Technologies for Complex Application Development Processes
11:20-11:40	Imre Fazekas	New technologies beyond OO
11:40-12:00	Csaba Szabó, Ladislav Samuelis, Roman Bazelides	On the Role of Incrementality in Test Design
12:00-12:20	Ilir Kurti, Zoltán Porkoláb	Supporting generic paradigm in CORBA IDL
12:30-13:30	Lunch
15:00-15:20	Ádám Sipos, István Zólyomi, Zoltán Porkoláb	On the Correctness of Template Metaprograms
15:20-15:40	Attila Adamkó	Rapid Web Application Development and Modeling, based on XML and UML technologies
15:40-16:00	Attila Adamkó, Csaba Bornemissza	Combining the Benefits of MVC Design Pattern and UML Based Modeling for Different Software Platforms
16:00-16:20	József Mihalicza	The is_in_namespace predicate
16:20-16:40	Coffee-break
16:40-17:00	Zoltan Porkolab, Norbert Pataki, Adam Sipos, Viktoria Zsok, Marjan Hericko, Ales Zivkovic	Application of OO metrics to estimate .NET project software size
17:00-17:20	Miklós Espák	Querying on Java Code
17:20-17:40	Vu Le Anh, Attila Kiss, Vinceller Zoltan	Parallel Search Engine For Very Large XML Data Sets
"B" Section	Education and other fields of Applied Informatics
10:20-10:40	Ladislav Samuelis, Csaba Szabó, Zdenek Havlice	Teaching Java programming through pools of open source case studies
10:40-11:00	Gianfranco Pedone, László Zsolt Varga	Supporting MAS complex service modelling through capabilities validation
11:00-11:20	István László, Gábor Csornai, István Fekete	An alternative approach to data fusion in remote sensing
11:20-11:40	László Kovács, Zoltán Irházi	Generating decision tree for a lattice-based classification problem
11:40-12:00	Gábor Geda	Investigation of Stochastic Models of Some Periodic Phenomena
12:00-12:20	Kálmán ABARI, Gábor PÁLI	Problems of Acoustic Echo Cancellation
12:30-13:30	Lunch
15:00-15:20	Zoltan Gal, Tamas Balla	Statistical Aspects of Network Based Real-time Group Communication and Collaboration Services
15:20-15:40	Tamás Krausz	Wireless security
15:40-16:00	Tamas Lukovszki	Terminal Assignment in Static Wireless Networks
16:00-16:20	Vilmos Bilicki, Mihály Bohus, Miklós Kasza	Netspotter: a framework for network testing
16:20-16:40	Coffee-break
16:40-17:00	Péter Orosz, János Sztrik, Che Soong Kim	TCP dynamics and congestion control on asymmetric lines
17:00-17:20	Tamas Kenesei, Balazs Feil, Janos Abonyi	Identification of Dynamic Systems by Hinging Hyperplane Models
17:20-17:40	József Holovács, Gábor Kusper, Lajos Csőke	Philosophical and Natural Science Aspects of Information
"C" Section	Computer Graphics
10:20-10:40	Thomas Weidner	Some aspects of clothoids
10:40-11:00	Pál Kupán	Monotone interpolant built with slopes obtained by linear combination
11:00-11:20	László Vörös	Two- and Three-dimensional Tiling on Base of Higher-dimensional Cube Mosaics
11:20-11:40	Szilvia Bela	About the geometry of milling paths
11:40-12:00	Márta Szilvási-Nagy	About the geometry of milling paths (the case of discrete surfaces)
12:00-12:20	Sékou Tidiani Coulibaly	An empirical method for determining the number of iterations needed in the pre-processing of X-ray images of welds using PCNN algorithms
12:30-13:30	Lunch
15:00-15:20	Tamás Kovács	A fast fractal image compression algorithm
15:20-15:40	Susanne Harms	Interpolation of Ck-Aitken-Spline Curves and Surfaces
15:40-16:00	Melanie Wolter	Construction of Ck-Aitken- Spline Curves and Surfaces
16:00-16:20	Miklós Krész, Attila Tóth	Graph clustering methods on genomic data
16:20-16:40	Coffee-break
16:40-17:00	József Szabó	Bestimmung der 3D Genauigkeit der Fotomaschiene
17:00-17:20	Jenő Szirmai	Visualization of the densest lattice-like ball packing in Nil geometry
17:20-17:40
"D" Section	Cooperative Research and Innovation
10:20-10:40	Erika Perge	Using a computer to teach hand-drawing
10:40-11:00	Norbert Tasi	eLearning solutions for teaching software tools used in health care and business administration
11:00-11:20	DÉNES SULYOK, TAMÁS NAGY DÖVÉNYI	Examining the efficiency of alternative tillage systems, with 4M-eco crop- and Agrobusiness model
11:20-11:40	Csaba Vágvölgyi	E-Learning 2.0 - the Future of Web Based Learning Technologies
11:40-12:00	Attila Pethő	Multifunctional community card
12:00-12:20	Bertalan Kis, Ákos Kovács, László Nagy, Tibor Balla	E-Learning development project at Debrecen University
12:30-13:30	Lunch
15:00-15:20	Márton Ispány, Ágnes Papp	Applications of ensemble methods in data mining
15:20-15:40	Miklós Herdon	Collaborative working tools and applications in agriculture
15:40-16:00	János Végh	An "embedded expert system" and its application in electron spectroscopy
16:00-16:20	József Demeter, Barnabás Szász	Data mining based on medical diagnosis
16:20-16:40	Coffee-break
16:40-17:00	Andrea Huszti	A new secure voting scheme
17:00-17:20	Tamás Herendi	Uniform transformation of sequences
17:20-17:40
18:30	Departure time to the optional wine-sampling from in front of the Hotel	Crown Wine House can be found on the Eger wine district on the way leading to the thermal bath of Egerszalók, between the villages Kerecsend and Demjén.
19:00	Dinner in Eger or optional dinner in Crown Wine House

Wednesday, January 31, 2007
08:00-09:00	Breakfast
09:00-09:30	Invited talk Zoltán Porkoláb	C++ Template Metaprogramming - Why, When and How?
09:30-10:00	Invited talk Gábor Kusper	Requirement Analyses and a Database Model for the Project EGERFOOD Food Safety Knowledge Center
10:00-10:20	Coffee-break
"A" Section	Computer Statistics
10:20-10:40	Hannelore Lisei, Anna Soós	Approximation of solutions of SDE driven by multifractional Brownian motion
10:40-11:00	István Fazekas	A functional central limit theorem for kernel type density estimators
11:00-11:20	Gyula Pap	Open problems concerning multidimensional autoregressive processes and branching processes
11:20-11:40	Attila Kuki	Teaching Experiences in Stochastic Modelling
11:40-12:00	E. Fülöp, G. Pap	Local asymptotic normality of unstable HJM type interest rate model
12:00-12:20	János Sztrik, Che Soong Kim	The role of performance tools in modeling complex systems
12:30-13:30	Lunch
15:00-15:20	Tibor Csáki	Using symbol classification on multi-tape automata with symbol classes on rational kernel releated problems
15:20-15:40	István Pintér, Iván Lajtai	RBF-MRAC neurocontroller for industrial applications
15:40-16:00	Miklós Lengyel, János Sztrik	Diffserv investigations with Dummynet
16:00-16:20	Gábor Balázsfalvi, János Sztrik	Modeling P2P protocols by cellular automata
16:20-16:40	Coffee-break
16:40-17:00	Tamás Bérczes, János Sztrik	A queueing network model to study Proxy Cache Servers
17:00-17:20
17:20-17:40
"B" Section	Software Design and Object Oriented Programming
10:20-10:40	Péter Takács, Zsolt Kristóf	The investigation of the development of programming languages
10:40-11:00	Zoltán Juhász, Ádam Sipos	Implementation of a Finite State Machine with Active Libraries
11:00-11:20	Cyril Dumont, Fabrice Mourlin	Mobile Agent Framework for Parallel Computing: MAFPC
11:20-11:40	György Barna Iszály	WAP APPLICATIONS OF THE LIBRARIES
11:40-12:00	Krisztián Pócza, Mihály Biczó, Zoltán Porkoláb	Runtime Access Control in C#
12:00-12:20	János Falucskai	Some Algorithms Concerning Uniquely Decipherable Codes
12:30-13:30	Lunch
15:00-15:20	Norbert Pataki, Tamás Kozsik, Zoltán Porkoláb	Properties of C++ Template Metaprograms
15:20-15:40	Ákos Dávid, Tamás Pozsgai, László Kozma	On the granularity of components
15:40-16:00	Norbert Pataki, Zoltán Porkoláb, Edit Csizmás	Why Code Complexity Metrics Fail on the C++ Standard Template Library
16:00-16:20	Róbert Kitlei, Gergely Dévai, Ádám Balogh, Zoltán Csörnyei	Comparative analysis of refactoring and code optimization
16:20-16:40	Coffee-break
16:40-17:00	Zalán Szűgyi, Zoltan Porkoláb	SIP Compression in Mobile Device Environment
17:00-17:20	Tibor Ásványi	Programming with Indirect Pointers
17:20-17:40	Zoltán Istenes, Tamás Kozsik	Verified mobile components -- a case study
"C" Section	Education and other fields of Applied Informatics
10:20-10:40	György Ferenc Tóth, Zsolt Csaba Johanyák	Reform of the software engineering teaching - demands and conception
10:40-11:00	Zoltan Kátai	"Who wants to be eminent?" - Assessment method and software
11:00-11:20	Malgorzata Zuberek	The Grand Multidisciplinary Challenge and the Future of Academia
11:20-11:40	Sándor Buglyo	Teaching the subject "Mathematics I." using the software MATLAB
11:40-12:00	Gábor Kiss	Computer Science Education in Germany
12:00-12:20	Gyöngyi Bujdosó	E-learning system for teaching word processing
12:30-13:30	Lunch
15:00-15:20	Mária K. Princz	Search Engine Ranking
15:20-15:40	Gyöngyi Bujdosó	Ontologies in e-courses
15:40-16:00	Miklós Herdon, László Várallyai	NODES e-Learning Network Development
16:00-16:20	Zoltán Istenes, Attila Pásztor	The Use of Programable Robots in the Education of Programming
16:20-16:40	Coffee-break
16:40-17:00	Márk Kósa, János Pánovics	Search algorithms at ACM contests
17:00-17:20	Zita Bosnjak, Sasa Bosnjak, Ilija Subasić, Peđa Matković	Evaluating Readiness for Distance Learning Implementation
17:20-17:40
"D" Section	Data Base Systems
10:20-10:40	László Kovács, Zoltán Irházi	Developing an MRL security layer for relational databases
10:40-11:00	Lajos Kollár, Krisztián Veréb	Enhancing content-based image retrieval
11:00-11:20	Béla Almási	RDCONT - A System for Diabetes Blood Glucose Data Management
11:20-11:40	Antal Tátrai, Balázs Dezső, István Fekete	Increasing the performace of time-limited caches
11:40-12:00	Lajos Kollár, Henrietta Sipos, Krisztián Veréb	Object-relational EH databases
12:00-12:20	László Daragó	Pixelisation technique in the health care
12:30-13:30	Lunch
15:00-15:20	András Gábor	TECHNIQUES FOR PAGINATION IN SQL
15:20-15:40	Zsolt Hernáth	Container Model
15:40-16:00	Mátyás Arató, Gábor Fazekas, Lajos Kollár	Statistical measurement of software quality
16:00-16:20	Attila Adamkó, Mátyás Arató, Gábor Fazekas, István Juhász	PERFORMANCE EVALUATION OF LARGE-SCALE DATA PROCESSING SYSTEMS
16:20-16:40	Coffee-break
16:40-17:00
17:00-17:20
17:20-17:40
18:00-18:30	Closing ceremony
19:00	Dinner

» Top «