(CS)2 - The Sixth Conference of PhD Students in Computer Science


Szeged, Hungary, July 2-5, 2008
Main
Home
Call for Extended Abstracts
Important Dates
Author Information
Registration

Conference
Program
Proceedings
Invited Talks
Presentations
Awards
Photos
Journal Publications

Information
Committees
Locations
Sponsors
Previous CSCSs
Contact

Program

Day 1: July 2

08:00Registration
08:50Opening session
09:00
Session 1: Metaprogramming
session chair: Csendes, Tibor
09:00Norbert PatakiA Comparative Study of C++ Standard Template Library's Formal Specification
09:25Áron SisakVerification of UML 2 State Machines by Automated Model Transformation to the SAL Model Checker
09:50Gergely DévaiMetaprogramming on the Proof Level
10:15Break
10:30Plenary Talk
Tamás HorváthMining Chemical Graphs
11:20Break
11:40
Session 2: Testing
session chair: Beszédes, Árpád
11:40Zalán SzűgyiNecessary Test Cases for Decision Coverage and Modified Condition / Decision Coverage
12:05Ferenc BozókiTest Component Assignment and Scheduling in a Load Testing Environment
12:30Lunch
At the Gödör restaurant.
14:00
Session 3: Operation Reserach
session chair: Csallner, András Erik
14:00László PálMatlab Version of the GLOBAL Optimization Method
14:25Levente HunyadiAn Identification Approach to Dynamic Errors-in-variables Systems with a Preliminary Clustering of Observations
14:50Break
15:05
Session 4: Artificial Intelligence
session chair: Dombi, József
15:05Emese Szádeczky-KardossDesigning a Tracking Controller for Passenger Cars with Steering Input
15:30Kristóf CsorbaSearching for Similar Documents Between Mobile Devices
15:55Csaba Főző3-level Confidence Voting Strategy for Dynamic Fusion-Selection of Classifier Ensembles
16:20Free program
18:00Dinner
At the Gödör restaurant.
 

Day 2: July 3

9:00
Session 5: Image Processing
session chair: Kató, Zoltán
9:00László CserneticsBackprojection Reconstruction Algorithm Using Order Statistic Filters in Breast Tomosynthesis
9:25Mihály GaraDetermination of Geometric Features of Binary Images from Their Projections by Using Decision Trees
9:50Balázs ErdőhelyiBone Fragment Repositioning Using Registration Methods
10:15Break
10:30Plenary Talk
Márk JelasityGossip Algorithms in Peer-to-peer Computing
11:20Break
11:40
Session 6: Clouds, Fuzzy Sets
session chair: Jelasity, Márk
11:40Martin FuchsPotential Clouds in Robust Design
12:05József Dániel DombiFunction Approximation with Fuzzy Operators
12:30Lunch
At the Gödör restaurant.
14:00
Session 7: Graph Theory, Algorithms
session chair: Pluhár, András
14:00Thorsten BonatoLifting and Separation Procedures for the Cut Polytope
14:25Jan-Hendrik PrinzEnhanced Phasespace Sampling of Biomolecular Systems Using Metastability
14:50András CsernenszkyThe Chooser-Picker 7-in-a-row-game
15:15Csaba LegányModeling Web Service Interaction Using Markovian Processes
15:40Break
15:55
Session 8: Branch and Bound Technique
session chair: Csallner, András Erik
15:55László PálA Global Optimization Algorithm for INTLAB
16:20Anett RáczDetermining Initial Bound by "Ray-method" in Branch and Bound Procedure
16:45Free program
18:00Reception
At the conference place.
 

Day 3: July 4

09:00
Session 9: Program Analysis
session chair: Beszédes, Árpád
09:00Judit JászEfficient Static Impact Analysis
09:25Melinda TóthCall Graph and Data Flow analysis of Dynamic Functional Language
09:50Ferenc FischerCalculation and Application of the Dynamic Function Level Dependencies in Java Programs
10:15Break
10:30Plenary Talk
Zora KonjovicGeo-space Management Based on Information and Communication Technologies
11:20Break
11:40
Session 10: Distributed Solutions
session chair: Schrettner, Lajos
11:40Máté TejfelVerified Mobile Code Repository in the Intelligent Space
12:05József MartonIn-memory Preprocessing of Streaming Sensory Data: a Partitioned Relational Database Approach
12:30Lunch
At the Gödör restaurant.
14:00
Session 11: Recognition, Skeletonization Algorithms
session chair: Kató, Zoltán
14:00Levente SajóEnhancing Facial Features Detection with Deformable Face Templates
14:25Péter KardosAn Order-Independent Sequential Thinning Algorithm
14:50György KovácsSkeletonization Based on Neighborhood Sequences
15:15Free program
16:00Social Program
Visit the Informatic Collection.
18:00Dinner
At the Fehértó Fishermen's Tavern.
 

Day 4: July 5

09:00
Session 12: Allocation Problems
session chair: Imreh, Csanád
09:00László IllyésA Special Human Resource Allocation Problem
09:25Tamás NémethParameter Learning Algorithms in Online Scheduling
09:50József Dániel DombiAdaptive Scheduling Solution for Grid Meta-brokering
10:15Break
10:30Plenary Talk
Gábor IvanyosThe Hidden Subgroup Problem in Quantum Computing
11:20Break
11:40
Session 13: Theoretical Computer Science
session chair: Fülöp, Zoltán
11:40Izabella SthulSteiner Loops
12:05Ville PiirainenPrincipal Varieties of Finite Congruences
12:30Lunch
At the Gödör restaurant.
14:00
Session 14: Program Analysis and Evaluation
session chair: Gyimóthy, Tibor
14:00Gabriella TóthAnalysis of Size Differences Between Static and Dynamic Slices
14:25István SiketEvaluating the Effectiveness of Object Oriented Metrics for Bug Prediction
14:50Lajos Jenő FülöpIntroducing a Benchmark for Evaluating Reverse Engineering Tools
15:15Closing
 
cscs@inf.u-szeged.hu
Last change: 2010-03-05