Prof. Jürgen F. H. Winkler (Friedrich Schiller University, Jena): Mechanical Program Verification
abstract
Terem: Déli tömb
szept. 25., hétfő 18-20, terem: Déli tömb 0-311
szept 26., kedd 16-18, terem: Déli tömb 0-311
szept. 27., szerda 18-20, terem: Déli tömb 1-820 Hajós terem
szept. 28., csütörtök 16-18, terem: Déli tömb 0-311
szept. 29., péntek 14-16, terem: Déli tömb 0-311
Dr. Wolfgang Koch (Friedrich Schiller University, Jena): Digital Signal Processing
Az előadás anyaga: DSP-pdf
Terem: Déli tömb 0-311
szept. 25., hétfő 16-18
szept 26., kedd 18-20
szept. 27., szerda 16-18
szept. 28., csütörtök 18-20
szept. 29., péntek 16-18
Rene Thoraval (Université de Nantes): Functional programming and controlling complexity of software
systems using the Objective Caml system
Terem: 00-803 nyelvi labor
október 9., hétfő 14-16
október 10., kedd 16-18
október 11., szerda 17-19
október 12., csütörtök 16-18
október 13., péntek 14-16
Prof. Dr. Hanspeter Mössenböck (Johannes Kepler University, Linz): System Software
Terem: Déli tömb 0-311
abstract
november 6., hétfő 16-18.30
november 7., kedd 16-18.30
november 8., szerda 16-18.30
november 9., csütörtök 16-18.30
!!! november 10., péntek 14-16.30
Prof. Gerhard Chroust (Johannes Kepler University, Linz): Human Aspects in Systems Engineering
abstract
tartalom
Terem: 0-412
február 12., hétfő 16.00-18.00
február 13., kedd 18.00-20.00
február 14., szerda 16.00-18.00
február 15., csütörtök 18.00-20.00
február 16., péntek 14.00-16.00
László Böszörményi (Universität Klagenfurt): Advanced Topics in Networking: Multimedia Communication
abstract
Terem: 0-412
február 12., hétfő 18.00-20.00
február 13., kedd 16.00-18.00
február 14., szerda 18.00-20.00
február 15., csütörtök 14.00-18.00
Soós Anna (Babes-Bolyai Tudományegyetem, Kolozsvár): Sztochasztikus folyamatok es fraktalok
abstract
Terem:0-409
február 14., szerda 16.00-18.00
február 15., csütörtök 18.00-20.00
február 16., péntek 16.00-18.00
február 19., hétfő 16.00-18.00
február 20., kedd 16.00-18.00
Csató Lehel (Babes-Bolyai Tudományegyetem, Kolozsvár): Becslések Gauss-folyamatokkal
Az előadás anyaga: Tematika, feladatok
Terem:
március 5., hétfő 16.00-18.00, 0-412
március 6., kedd 18.00-20.00, 0-412
március 7., szerda 16.00-18.00, 0-412
március 8., csütörtök 18.00-20.00, 0-222
március 9., péntek 14.00-16.00, 0-412
Zoran Budimac (University of Novi Sad, Újvidék): Formal methods in software engineering - a short course
abstract
Terem:
március 5., hétfő hétfő 18.00-20.00, 0-412
március 6., kedd 16.00-18.00, 0-412
március 7., szerda 18.00-20.00, 0-412
március 8., csütörtök 16-18.00, 0-222
március 9., péntek 16-18.00, 0-412
Alex Telea (Technische Universiteit Eindhoven): Reverse Engineering and Software Visualization
abstract
Terem:
március 19., hétfő 16-18.00, 0-412
március 20., kedd 16-18.00, 0-412
március 21., szerda 16-18.00, 0-412
március 22., csütörtök 16-18.00, 0-222
március 23., péntek 14.00-16.00: 0-412
