Bulletin SISOn-line Bulletin Slovenskej informatickej spoločnosti EditorialVážené kolegyne a kolegovia, s určitým oneskorením sa k Vám dostáva ďalšie číslo nášho bulletinu, redakčne pripravené už v Košiciach. Je to v čase po Valnom zhromaždení našej spoločnosti, ktoré sa konalo dňa 23. októbra 1995 v Bratislave v budove INFOSTATu. Regionálne zhromaždenie pre členov z Košíc a okolia sa konalo dňa 18. októbra 1995 na PF UPJŠ v Košiciach. Na oboch zhromaždeniach odznela správa o činnosti, správa o hospodárení a príprava volieb nového výkonného výboru a revíznej komisie, preto časť tohoto čísla bulletinu je venovaná informáciam o týchto podujatiach. Okrem toho sa v čísle nachádza niekoľko správ o podujatiach, na ktorých sa naši členovia zúčastnili a spracovali o tom zaujímavé príspevky. Znovu uvádzame doplnené informácie o pracovných skupinách, aby sme pripomenuli možnosť nadviazať kontakty a zároveň, aby pripravované pracovné skupiny požiadali VV o deklaráciu za existujúcu pracovnú skupinu. Novým prvkom, ktorý prinášame je obsah čísla. Dúfame, že tým sa bulletin stane prehľadnejším. Na príprave tohoto čísla sa redakčne podieľali hlavne G. Andrejková a J. Balázs. Výkonný výbor SIS Obsah
Správa o činnosti Slovenskej informatickej spoločnostiOdborná činnosť
Medzinárodná spolupráca
Domáce kontakty
Vnútorný život spoločnosti
Námety na činnosť
Igor Prívara, predseda Slovenskej informatickej spoločnosti, e-mail: privara [zavinac] vuseisk Uznesenie prijaté na Valnom zhromaždeníSpolupráca so zahraničnými spoločnosťamiACM International Meeting v Prahe.ACM - Association for Computing Machinery - je prvou a asi najväčšou informatickou spoločnosťou na svete. Má stále väčšinu členov v Severnej Amerike, ale veľká časť členskej základne je rozptýlená po celom svete. V posledných rokoch sa ACM snaží zdôrazňovať svoj medzinárodný charakter. Napríklad pre zlepšenie služieb pre členov z Európy zriadila ACM vysunuté administratívne pracovisko v Bruseli. Jedným z prejavov tejto snahy o zmedzinárodnenie ACM v očiach svojich členov i verejnosti je aj to, že jedno zo štyroch každoročných zasadaní výkonného výboru ACM sa koná mimo Severnú Ameriku. V máji 1995 sa takéto zasadanie uskutočnilo v Prahe (organizačne zabezpečil Český ACM Chapter). Jedným z hlavných bodov programu bol ACM International Meeting, konaný 28. mája od 8:30 do 17:00. Cieľom bolo, aby sa vedenie ACM oboznámilo so situáciou v informatike v krajinách Strednej a Východnej Európy a prediskutovalo možnosti rozšírenia činnosti ACM v tejto oblasti. K tomuto bodu boli prizvaní zástupcovia z jednotlivých krajín (predsedovia ACM Chapters, resp. poradcovia ACM komisie pre Strednú a Východnú Európu - ACM CECE). Najvýznamnejšou pomocou ACM pre nás je v súčasnosti program 'donation of journals', v rámci ktorého ACM venuje svoje časopisy. Na Slovensko dostávame takto darom jednu kompletnú sadu ACM časopisov (sú dostupné v čitárni knižnice MFF UK v Bratislave) a niekoľko vybraných časopisov dostáva do daru Knižnica FEI STU, Technická knižnica v Banskej Bystrici a Univerzitná knižnica v Košiciach. ACM si uvedomuje, že členský poplatok je při súčasných kurzoch dolára a mesačnom príjme u nás a okolitých krajinách privysoký (aj keď členovia Slovenskej informatickej spoločnosti majú vďaka 'joint membership agreement' medzi ACM a Českou a Slovenskou Informatickou spoločnosťou zľavu). ACM preto prišla s konceptom skupinového členstva - Group Membership Program. Táto forma členstva je finančne 'zvládnuteľná' a poskytuje prakticky všetky výhody individuálneho členstva. ACM Group Membership Program.Cieľom programu je zväčšiť členskú základňu ACM v ekonomicky slabších krajinách. Hľadala sa forma, ktorá by zachovala individuálnosť členstva a napriek zníženiu členského umožňovala pokryť náklady na člena. Vychádzalo sa z predpokladu, že nie je nutné, aby mal každý svoju osobnú kópiu ACM publikácie. Ako teda vyzerá tento program? Členské je 50 US$ pre skupinku do 5 ľudí, za každého ďalšieho 10 US$. Skupinka môže mať najviac 10 členov. Skupinka dostane jednu spoločnú kópiu Communications of ACM. Skupinka si musí určiť vedúceho (designee), ktorý podáva prihlášku, platí členské a stará sa o to, aby kópia Communications, Membernet, a rôznych ACM oznamov kolovali vrámci skupinky. Každý člen skupinky bude v ACM individuálne vedený, dostane členský preukaz a môže si sám za ceny pre ACM členov dokúpiť ďalšie ACM publikácie alebo sa stať členom niektorého SIGu. B. Rovan, e-mail: rovan@uni-paderborn.de Vzdelávací program AMBIProgram AMBI (Automatisering en Mechanisering van de Bestuurlijke Informatieverwerking) je holandskou praxou overený vzdelávací systém v oblasti informatiky a informačných technológií, ktorý má 25-ročnú tradíciu, ale je pravidelne inovovaný s cieľom zachytiť vývoj progresívnych metód a technológií a ich nasadenie v praxi. Diplomy absolventov sú porovnateľné s diplomami bakalárskeho štúdia a ako také sú v Holandsku (a v budúcnosti vo všetkých krajinách EÚ) aj uznávané. Vzdelávanie v programe AMBI je určené pre širokú škálu poslucháčov, môže slúžiť:
Tento široký záber je umožnený modulárnou výstavbou AMBI. Každý modul má odborného garanta (mentora), ktorý je zodpovedný za prípravu lektorov pre daný modul. Celkovo existuje 28 modulov (kurzov) rozdelených do piatich základných skupín:
Prenos programu AMBI na Slovensko bol umožnený grantom holandskej vlády. V súčasnosti sa projekt rozbieha (vytvorením infraštruktúry, výberom modulov a menovaním garantov, prekladom študijných materiálov a školením lektorov). Gestormi projektu sú Štatistický úrad SR a Ministerstvo hospodárstva Holandského kráľovstva, koordinátorom INFOSTAT. Medzi odbornými garantami projektu je aj Slovenská informatická spoločnosť. Z kladným princípom projektu AMBI je nezávislosť skúšobnej a školiacich inštitúcií. Prvou úlohou bol poverený INFOSTAT, zodpovednou školiacou inštitúciou je City University Bratislava. Výberom ďalších školiacich inštitúcií bude zabezpečené vzdelávanie vo všetkých regiónoch Slovenska. Vzhľadom na výšku rozpočtu AMBI.SR sa uvažuje o realizácii 10-12 modulov. Predbežný zoznam je nasledujúci: HE.0 Úvod do informačných technológií V dňoch 29. IX. 1995 -- 2. X. 1995 sa v Bratislave konalo školenie Train The Trainer (TTT) projektu AMBI pre budúcich lektorov a garantov (mentorov) modulov HE.0, HB.1, HB.2, HP.6 a HS.4. Na úvod reprezentanti NOVI.SR (CUB), EXIN.SR (INFOSTAT), NOVI.NL a EXIN.NL predstavili význam a výsledky projektu AMBI v Holandsku, ciele projektu AMBI na Slovensku, načrtli možnosť uznávania tzv. AMBI diplomov štátnou administratívou a najbližšie úlohy pri zavádzaní projektu AMBI na Slovensko. 30.X a 1.X prebiehalo samotné TTT podľa sekcií (modulov), počas ktorého holandskí lektori priblížili metodiku výuky v rámci AMBI modulov, priblížili formu a obsah skúšok/testov a prebrali po obsahovej stránke školiaci materiál pre daný modul. Na záver školenia mali účastníci možnosť vykonať skúšky v priestoroch INFOSTATu. Pre moduly HE.0, HP.6 a HS.4 bola skúška formou počítačového testu, ktorý po uplynutí časového limitu, či po skončení testu okamžite vyhodnotil odpovede skúšaného. Moduly HB.1 a HB.2 mali skúšku formou bežného testu a niekoľkých tzv. Open questions (otázky, na ktoré je potrebné vypracovať odpoveď ako úsek programu, diagram a podobne). Vyhodnotenie týchto skúšok zabezpečili zástupcovia EXIN.SR, EXIN.NL a odborní garanti (mentori) spomínaných modulov. Predbežný predpoklad bol získať 2/3 bodov pre absolventa modulu a 3/4 bodov pre lektora modulu. S použitím materiálov AMBI.SR spracovali J.Balázs a P.Hámorský, e-mail: balazs [zavinac] kosice.upjs.sk, hamo [zavinac] turing.upjs.sk Mladí programátori nás "zviditeľňujú"IOI'95---International Olympiad in Informatics, (Medzinárodná olympiáda v informatike),Eindhoven, Nietherland, 26. 6. -- 3. 7. 1995} Siedmy ročník medzinárodnej olympiády v informatike organizovalo Holandsko. Predchádzajúci ročník sa uskutočnil v Štokholme vo Švédsku, budúci ročník sa bude konať vo Veszpréme v Maďarsku. Olympiády sa zúčastnilo 51 súťažiacich krajín a dve krajiny prišli ako pozorovatelia. Všetkých účastníkov bolo približne 400. Olympiáda je súťaž jednotlivcov, zúčastňujú sa na nej najviac štyria súťažiaci z jednej krajiny. Na zvýšenie záujmu dievčat o programovanie bolo umožnené vyslať na olympiádu päť súťažiacich, ak boli medzi nimi aj dievčatá. Slovensko vyslalo len štyroch účastníkov, pretože na celoštátnom kole nebolo žiadne dievča úspešnou riešiteľkou. Výber súťažiacich sa uskutočnil na základe výsledkov celoštátneho kola matematickej olympiády -- kategória P a na základe výsledkov dosahovaných na celoštátnom týždennom sústredení v Bratislave. Slovensko reprezentovali nasledujúci štyria súťažiaci: Miroslav Dudík 2. ročník Gymnázium Trebišov Vedúcou kolektívu bola RNDr. Viera Blahová, ŠPÚ Bratislava, jej zástupkyňou RNDr. Gabriela Andrejková, CSc., PF UPJŠ Košice. Ich účasť bola schválená Ústrednou komisiou matematickej olympiády. Súťaž prebiehala v dňoch 26. júna--3. júla 1995 na Technickej univerzite v Eindhovene v provincii Severné Brabantsko. Cestovné účastníkom hradilo MŠ SR. Pobyt hradila pozývajúca krajina všetkým účastníkom súťaže, vedúcim a ich zástupcom. Dosiahnuté výsledky---Slovenská republika Umiestnenie Meno 1. deň 2. deň Spolu Medaila P1 P2 P3 P1 P2 P3 Zoznam krajín, kde sa plánujú uskutočniť ďalšie olympiády: Rok Krajina Město Celkové zhodnotenie: Pobyt slovenskej delegácie je možné považovať za úspešný, o čom svedčia štyri získané medaily, avšak je potrebné skonštatovať, že máme určité rezervy hlavne pri organizovaní národnej olympiády, na základe ktorej sa uskutočňuje výber účastníkov medzinárodnej súťaže. Regionálne kolá na Slovensku zatiaľ boli len teoretické, pretože na zadávanie praktických úloh neboli podmienky. Praktické úlohy boli len na celoslovenskom kole. Je potrebné vytvoriť také podmienky v regionálnych centrách, aby aj parciálne súťaže mali čo najväčšiu podobu medzinárodných súťaží. Za veľmi užitočné považujeme možnosti nadviazania kontaktov s vedúcimi iných delegácií kvôli porovnaniu národných súťaží a výberu súťažných príkladov. G. Andrejková, e-mail: andrejk [zavinac] turing.upjs.sk Udelenie Gödelovej ceny pre pracovníka Kabinetu InformatikyPracovníkovi Kabinetu informatiky Matematického ústavu SAV RNDr. Róbertovi Szelepcsényimu, CSc. bola tohto roku udelená Gödelova cena. Gödelova cena patrí spolu s Nevanlinnovou cenou a Turingovou cenou medzi tri najprestížnejšie ceny udeľované v oblasti informatiky. Udeľuje sa každoročne za významné práce z oblasti teoretickej informatiky. Cenu udeľujúspoločne dve najznámejšie združenia informatikov: európske --- European Association for Theoretical Computer Science (EATCS) a americké --- Association of Computing Machinery (ACM). V tomto roku sa táto cena udeľovala po tretí raz. V roku 1993 dostali cenu László Babai, Shlomo Moran, Shafi Goldwasser, Silvio Micali a Charles Rackoff za práce, ktoré majúfundamentálny význam pre nové chápanie matematického dôkazu. V roku 1994 cenu obdržal Johan H\aa stad za novú dolnohraničnúmetódu dôkazov pre boolovské obvody, ktorá má silné aplikácie. V tomto roku bola cena udelená Neilovi Immermannovi za prácu Nondeterministic space is closed under complementation, SIAM Journal on Computing 17 (1988), 935-938 a Róbertovi Szelepcsényimu za prácu The method of forced enumeration for nondeterministic automata, Acta Informatica 26 (1988), 279-284. Cena im bola odovzdaná počas pracovného stretnutia účastníkov konferencie Symposium on Theory of Computing v Las Vegas v máji tohto roku. Cena je pomenovaná po Kurtovi Gödelovi (narodil sa v Brne, žil vo Viedni a v USA) na počesť jeho významných výsledkov v matematickej logike, ktoré silne ovplyvnili aj informatiku. Navyše, nedávno sa našla jeho korešpondencia zo začiatku 50-tych rokov, z ktorej jasne vyplýva, že Gödel si už 20 rokov dopredu uvedomoval existenciu jedného zo základných problémov teoretickej informatiky --- toho, ktorý v 70-tych rokoch dostal označenie ako otázka P versus NP. Vo výbore, ktorý každoročne udeľuje Gödelovu cenu sú súčasní najvýznamnejší svetoví informatici. Aj preto je udelenie tejto ceny veľmi významnou udalosťou pre slovenskú informatiku a slovenskú vedu. Dosiahnutie výsledku je doslova opradené zaujímavými faktami. Na začiatku to bol individuálny kurz, ktorý viedol Robertov neskorší školiteľ Doc. Rovan na MFF UK v Bratislave. Počas neho sa Robert pokúšal vyriešiť niektoré otvorené probémy. Medzi inými to bol aj 23 rokov starý problém Kurodu o tom, či je trieda jazykov rozpoznávaných nedeterministickými lineárne ohraničenými Turingovými strojmi uzavretá vzhľadom na doplnok. Keď sa ho Robertovi počas Veľkej noci v roku 1987 podarilo vyriešiť, uskutočnil sa vnútorný seminár, na ktorom sa potvrdila správnosť a význam výsledku a Robert dostal nové podnety na zovšeobecnenie tvrdenia. Po napísaní článku však v auguste prišla informácia z USA, že výsledok -- nezávisle na Robertovi -- dosiahol aj Prof. Immerman. Vzhľadom na to, že Prof. Immerman už v tej dobe mal prístup k Internetu, bezprostredne po dosiahnutí výsledku koncom júla upovedomil o svojom výsledku informatickú komunitu. Veľkým úsilím bratislavských informatikov (treba spomenúť najmä Prof. RNDr. Juraja Hromkoviča, DrSc. a doc. RNDr. Branislava Rovana, CSc.) sa napokon predsa len podarilo, že svetová komunita informatikov akceptovala nezávislé prvenstvo obom autorom: Neilovi Immermanovi aj Robertovi Szelepcsényimu. Ondrej Sýkora, Imrich Vrťo, e-mail: kaifsyko@savba.savba.sk Správa o stretnutí skupiny TC3Správa o výročnom stretnutí TC3, ktorého som sa (ne)zúčastnil. Tohtoročné stretnutie TC3 bolo už dlho vopred naplánované na týždeň medzi 23. a 28. júlom 1995, v rámci 6. IFIP World Conference Computers in Education v Birminghame. Napriek tomu, že som v tomto týždni v Birminghame bol, stretnutia som sa nezúčastnil, pretože z nie úplne jasných dôvodov "zlyhalo spojenie''. Predseda TC3 Peter Bollerslev z Dánska požiadal organizátorov WCCE, aby rozposlali cez Internet pozvánky všetkým zástupcom v TC3. Prvé takéto pozvanie som naozaj dostal, bol to text, v ktorom sme mali doplniť svoje adresy. V tejto správe však ešte nebol určený termín stretnutia. Ďalšie správy už -- až do môjho odletu do Veľkej Británie neprišli. Spoľahol som sa teda na to, že sa s predsedom a členmi TC3 stretnem priamo na konferencii. To sa aj stalo, avšak -- už bolo po schôdzi. Táto sa konala v sobotu pred začiatkom konferencie. Vrcholom série zlých náhod je zrejme to, že počas schôdze som už v Birminghame bol... Peter Bollerslev ma potom dodatočne informoval, že sa v komunikácii organizátorov s členmi TC3 stala akási chyba -- viacerí nedostali pozvánky načas. Zorganizovali teda ''druhé kolo'' stretnutia na nasledujúcu sobotu. V tom čase som už však letel z Británie domov. Pozvánku na stretnutie TC3 som mal medzitým v pošte! Takže smola. Našťastie som sa počas WCCE stretol osobne s viacerými zástupcami v TC3, okrem toho som sa zúčastnil schôdze pracovnej skupiny WG3.5 pre informatiku na základnej škole, ktorej som členom. Takže -- necítim sa byť úplne mimo obraz. Po návrate domov som čoskoro poštou dostal zápisnicu zo stretnutia od Petra Bollersleva. Preto v ďalšom uvádzam základné informácie i na základe tejto zápisnice. TC3 ma formálne zaregistrovalo ako zástupcu SR (bod 4 zápisnice). TC3 uvažuje o vydávaní vlastného časopisu (mesačný alebo štvrťročný newsletter). Zmena vydavateľstva IFIP možno pomôže pri realizovaní týchto plánov. Ďalej na schôdzi odzneli správy predsedov jednotlivých pracovných skupín. Tieto sa predovšetkým zamerali na hodnotenie svojich pracovných konferencií, napr. konferencie Integration of IT into secondary education, 1994 v Barcelone (aktívne som sa jej zúčastnil), ďalej o sérii pracovných konferencií všetkých skupín. Pretože sa často strácajú hranice medzi záujmami jednotlivých skupín, viaceré pracovné konferencie sa organizovali (a budúi v budúcnosti organizovať) spoločnou aktivitou viacerých pracovných skupín. Niekoľkokrát sa vynorila téma o rozpočte IFIP a odvádzaní poplatkov z pracovných konferencií. Členovia TC3 vyjadrili názor, že TC3 ako orgán zameraný na Education by mal mať určitú výnimku alebo zľavu z nového systému odvodov: Education totiž nemá mnoho možností zarobiť si na svoju činnosť. Na schôdzi odznel návrh na zriadenie novej pracovnej skupiny: Information Technology in Educational Management. Konečné rozhodnutie zatiaľ TC3 k tomuto návrhu nezaujal. Kladne sa zhodnotila spolupráca s UNESCOm pri vývoji Návrhu vzorových osnov pre výučbu informatiky. Táto séria publikácií vzniká len vďaka finančnej pomoci UNESCO. TC3 kladne zhodnotilo organizáciu Medzinárodnej informatickej olympiády. Nasledujúce stretnutie TC3 sa plánuje na koniec augusta -- začiatok septembra 1996 v austrálskej Canberre, v rámci IFIP Congress 96. Nuž, je to od nás naozaj ďaleko. Ivan Kalaš, e-mail: Ivan.Kalas [zavinac] fmph.uniba.sk Stretnutie CEEIC v BudapeštiV septembri 1995, usporiadala IEEE CS (Institute of Electrical and Electronics Engineers Computer Society) v Budapešti zasadnutie dvoch svojich komisií: "Európske aktivity" (EAC, European Activities Committee) a "Iniciatíva pre strednúa východnú Európu" (CEEIC, Central and Eastern European Initiative Committee). Na rokovaniach sa zúčastnili : Predseda CEEIC Bruce Shriver, prezident CS IEEE Ronald Hoelzeman, riaditeľka finačn\'ho úseku CS IEEE Violet Doan, výkonný riaditeľ CS IEEE T. Michael Elliot, západoeurópski členovia EAC (Anglicko, Nemecko, Dánsko, Holandsko), a reprezentanti z centrálnej a východnej Európy (Bielorusko, Bulharsko, Česko, Estónsko, Litva, Lotyšsko, Maďarsko, Rumunsko, Rusko a Slovensko). EAC a CEEIC boli založené kvôli lepšiemu plneniu cieľa IEEE CS -- a to byť najväčšou svetovou profesnou organizáciou vedeckého, publikačného a vzdelávacieho charakteru pre odborníkov z oblasti informatiky a výpočtovej techniky. Ťažisko IEEE CS je v USA, a EAC bolo založené na zlepšenie organizácie práce medzi USA a západnou Európou a na zlepšenie participácie členov zo západnej Európy na živote spoločnosti. Problémom tejto interakcie medzi USA a západnou Európou bol venovaný prvý deň rokovaní . Druhý deň bol venovaný rokovaniu CEEIC. CS IEEE veľmi záleží na získaní početnej členskej základne v strednej a východnej Európe a na participácii odborníkov z týchto krajín na živote spoločnosti. V každej z týchto krajín chce založiť národnú subkomisiu CEEIC zloženú zo zástupcov univerzít, akadémie, komerčnej sféry, priemyslu a vlády. Zatiaľ boli takéto subkomisie založené v Maďarsku, Rusku a Ukrajine. Spočiatku majú tieto subkomisie za úlohu zmapovať intelektuálny a materiálny potenciál v oblasti informatiky a výpočtovej techniky vo svojich krajinách. Ďalšie subkomisie pravdepodobne vzniknú na budúci rok v Česku a Poľsku. Na uľahčenie "vstupu" strednej a východnej Európy do života CS IEEE sa podnikajú a budú podnikať tieto ústretové aktivity:
Nasledujúce stretnutie CEEIC bude 17.--18.6.1996 v Prahe. Zástupcovia jednotlivých krajín strednej a východnej Európy tu budú referovať o histórii informatiky a výpočtovej techniky vo svojej krajine. Aby sme sa mohli zúčastniť, treba tento materiál o Slovensku pripraviť a odoslať do konca tohto roka 1995. V Budapešti sme sa s pánom Bruceom Shriverom rozprávali o tom, že by sme ho radi osobne privítali aj na Slovensku a osobne sa s ním porozprávali o vytvorení slovenskej subkomisie CEEIC. Stretnutie a pozvanie treba s ním ešte korešpondenčne prekonzultovať a potvrdiť. Ľubica Beňušková, e-mail: benus [zavinac] dcs.elf.stuba.sk Reportáže z domácich a medzinárodnych podujatíMFCS - Mathematical Foundations and Computer Science.Medzinárodné sympózium o matematických základoch informatiky MFCS'95 sa uskutočnilo v Prahe v hoteli Krystal v dňoch 28. augusta až 1. septembra 1995. Bolo to jubilejné 20-te sympózium v sérii MFCS striedavo organizované v Českej republike, Poľsku a Slovenskej republike. MFCS'95 bolo zorganizované Inštitútom informatiky Českej akadémie vied v spolupráci s Karlovou univerzitou, Ekonomickou univerzitou, Centrom pre teoretické štúdia pri Karlovej univerzite a Českej akadémii vied a Českou informatickou spoločnosťou. Vedecký program sympózia pozostával z 10-tich pozvaných prednášok a 44-och referátov (z celkového počtu 104 ponúknutých príspevkov) vybraných 26-členným medzinárodným programovým výborom (zastúpeným z 15-tich krajín) pod vedením predsedov Petra Hájeka a Jiřího Wiedermanna. Kompletný program sympózia (okrem 2 pozvaných prednášok nahradených krátkymi abstraktmi) bol podľa tradície publikovaný v sérii Lecture Notes in Computer Science č. 969, vydávanej nakladateľstvom Springer-Verlag a bol k dispozícii účastníkom konferencie. Sympózium uviedol Jiří Wiedermann, ktorý sa v otváracom príhovore zamyslel nad 20-ročnou históriou MFCS konferencií a ich pozitívnym vplyvom na rozvoj všetkých odvetví teoretickej informatiky v strednej Európe. Pri okrúhlom výročí konferencie bolo cieľom programového výboru pripraviť vedecký program, ktorý by odzrkadlil súčasné trendy informatiky. Ako úvodný prednášateľ bol vybraný Juris Hartmanis z Cornellovej univerzity v USA, ktorý pred svojou prednáškou prebral významné ocenenie ''Zlatú medailu B. Bolzana'' z rúk predsedu Českej akadémie vied Rudolfa Záhradníka. Zlatá medaila B. Bolzana sa udeľuje významným zahraničným vedcom, ktorí sa zásadným spôsobom podieľali na rozvoji matematiky a informatiky nielen vo svetovom meradle, ale i z pohľadu Českej republiky. Juris Hartmanis vo svojej prednáške ``On the Computing Paradigm and Computational Complexity'' sa sústredil na analyzovanie výpočtovej paradigmy a efektívnej vypočítateľnosti vo svetle nových teoretických výsledkov a výpočtových technológií. Konštatoval, že nás ešte čaká dlhá cesta k úplnému pochopeniu, kde sa nachádza hranica efektívnej vypočítateľnosti vo fyzikálnom a biologickom svete. Existujú nové teoretické pohľady na výpočtovú zložitosť -- zaujímavé výsledky o interaktívnych dôkazoch vrhajú nové svetlo na povahu matematických dôkazov, neaproximovateľnosť ťažkých úloh a na význam relativizačných výsledkov v teórii zložitosti. Objavili sa nové pohľady na výpočtovú silu ''kvantovej počítačovej technológie'' a impresívne demonštrácie ''molekulárnych výpočtov''. Bude zaujímavé sledovať, kam budú tieto nové technológie smerovať a či budú súťaže schopné s najvýkonnejšími súčasnými technológiami. Tieto vývojové trendy vnášajú nové závažné otázky do vzťahu medzi výpočtami a fyzikálnymi procesmi, špeciálne či a ak áno, ktoré fyzikálne procesy môžu ísť za hranicu Turingovej vypočítateľnosti. Tématicky na úvodnú prednášku nadväzoval Paul Vitányi (Amsterdam) v prednáške ''Physics and the New Computations''. Uviedol, že nové neštandardné výpočtové zariadenia vo väčšej miere závisia od fyzikálnych vlastností jako od logickej organizácie, ako je to v prípade konvenčných technológií. To má dopad na syntézu a analýzu algoritmov a výpočtové modely, na ktorých tieto algoritmy počítajú. Preto je potrebné zakomponovať do úvah fyzikálne zákonitosti. P. Vitányi diskutoval dĺžku prepojení a komunikáciu v paralelných architektúrach v závislosti na priestorovej geometrii a rýchlosti svetla a reverzibilné výpočty, ktoré závisia na termodynamike. Pozornosť sústredil tiež na kvantové paralelné výpočty a ich fyzikálnu realizovateľnosť založenú na spinových poliach. Jan van Leeuwen (Utrecht) v prednáške ''The Complexity of Interval Routing on Random Graphs'' sa zaoberal navigáciou správ, čo je základná operácia v distribuovaných systémoch. Uviedol pôvodné výsledky, ktoré charakterizujú intervalové navigačné schémy v náhodne prepojených distribuovaných sieťach vo vzťahu k optimálnemu navigovaniu správ. Micah Adler (Berkeley) predniesol (namiesto pozvaného Richarda M. Karpa, ktorý sa ospravedlnil z d\^{o}vodu prechodu z Berkeley na univerzitu Duke) prednášku ''Scheduling Parallel Communication: The h-relation Problem''. Zaoberal sa v nej navigáciou h-relácie, čo je základným komunikačným krokom v BSP modeli paralelných výpočtov. Uvažoval rôzne varianty komunikácie, zahŕňajúce optickú OCPC architektúru i siete s prepínaním paketov. Prezentoval pravdepodobnostný algoritmus a analyzoval jeho časovú zložitosť pre rôzne modely riešenia komunikačných konfliktov. V ďaľších pozvaných prednáškach Daniel Lehman (Jeruzalem) v ''Ranked Structures in Monotonic Reasoning and Belief Revision'' hovoril o nových perspektívach v nemonotónnom odvodzovaní. Georg Gottlob (Viedeň) v ''Second Order Logic and the Weak Exponential Hierarchies'' poskytol univerzálny prístup ku klasifikácii výrazovej zložitosti pre rôzne triedy jazykov. Alexander A. Razborov (Moskva) v ''Lower Bounds for Propositional Proofs in Bounded Arithmetics'' uviedol prehľad nových výsledkov o zložitosti výrokových dôkazov, využívajúcich účinnú ''witness'' techniku. Viliam Geffert (Košice) v ''Bridging Across the log(n) Space Frontier'' prezentoval teórie priestorovo ohraničených výpočtov pod log n z pohľadu vyšších zložitostných tried. Dominique Perrin (Paríž) v ''Symbolic Dynamics and Finite Automata'' uviedol niektoré súvislosti medzi pojmami a výsledkami v teórii automatov a ergodickej teórie. Stefan Arnborg (Štokholm) v ''Decomposable Structures, Boolean Function Representation, and Optimization'' uviedol prehľad výsledkov o algoritmoch pre grafy s ohraničeným ''treewidth'', pre testovanie symbolických modelov a pre reprezentáciu schém pre booleovské funkcie. Krátke referáty boli zaradené do paralelných sekcií s nasledujúcim zameraním: štrukturálna zložitosť; algoritmy; teória zložitosti; grafy vo výpočtových modeloch; dolné odhady; formálne jazyky; unifikácia, prepisovanie a teória typov; distribuované výpočty; sémantika; konkurentnosť a formálne kalkuly. Spoločenská časť konferencie zahŕňala prehliadku mesta s návštevou hradu, recepciu v reprezentačných priestoroch hotela Praha, návštevy koncertu v dobových krojoch a zvyklostiach v múzeu A. Dvořáka, organového koncertu v kostole sv. Klimenta a výlet do Kutnej Hory (spojený s prehliadkou historickych častí mesta a s návštevou baníckej šachty pod zemou) zakončený barbecue pohostením v peknom prostredí vidieckeho dvora. Tohoročné jubilejné MFCS svojím kvalitným programom a atraktívnym prostredím prilákalo 114 účastníkov z 19 krajín. Ich mienku tlmočil v záverečnom príhovore Johann Makowsky (Izrael), ktorý ocenil kvalitnú odbornú i organizačnú úrove\ň sympózia a poďakoval programovému výboru a organizátorom za vykonanú prácu. Budúci rok sa MFCS uskutoční v Krakove v dňoch 2. - 6. septembra 1996. Predsedom programového výboru MFCS'96 je Wojciech Penczek. Príspevky je možné posielať do 5. januára 1996 na elektronickú adresu mfcs96@ipipan.waw.pl Peter Ružička, e-mail: ruzicka [zavinac] alpha.dcs.fmph.uniba.sk
C.A.SOFT '95.V dňoch 5. -- 8. septembra 1995 sa konal V. ročník medzinárodnej špecializovanej výstavy výpočtovej techniky C.A.Soft '95. Výstava bola zameraná na prezentáciu výpočtovej techniky vo všetkých oblastiach jej používania. Slovenská informatická spoločnosť prevzala na požiadanie usporiadateľov garanciu nad sprievodným odborným programom výstavy, ktorý pozostával z dvoch poldenných monotematických seminárov. Dňa 6. septembra 1995 bol usporiadaný seminár na tému ''Svet z vášho pracovného stola''. Cieľ tohto seminára bolo prezentovať najnovšie a najlepšie poznatky a skúsenosti v oblasti sieťových aplikácií a pri využívaní siete Internet. Po úprave programu na seminári odzneli prednášky:
Prednášky vyvolali živý záujem o uvedenú problematiku, ktorý sa odrazil v diskusii, ktorá nasledovala. Dňa 9. septembra 1995 bol usporiadaný seminár na tému ''Informačná bezpečnosť''. Odzneli na ňom nasledujúce prednášky:
Vyvrcholením seminára bola panelová diskusia, ktorá vzhľadom na aktuálnosť témy a kompetentnosť odborníkov, udržala početných záujemcov v živej diskusii až do večerných hodín. Na výstave C.A.SOFT '95 mala aj naša spoločnosť svoj stánok, na ktorom, ako ste sa niektorí z vás mohli presvedčiť, sme poskytli potrebné informácie o orientácii Slovenskej informatickej spoločnosti, o jej programe a podmienkach prijatia za člena spoločnosti. Anton Scheber, e-mail: tono@softec.sk |
Informácie o pracovných skupináchVýkonný výbor Slovenskej informatickej spoločnosti zriadil na návrh svojich členov zatiaľ dve pracovné skupiny, pre vedecko--technické výpočty a pre počítačovú grafiku. Odborná skupina pre vedecko--technické výpočty: Na návrh skupiny odborníkov v oblasti vedecko--technických výpočtov bola zriadená odborná skupina (sekcia) pre vedecko--technické výpočty (Scientific Computing). Koordinačný výbor odbornej skupiny tvoria:
Odborná skupina pre počítačovú grafiku a spracovanie obrazu: Iniciátormi vytvorenia pracovnej skupiny pre počítačovú grafiku boli členovia Katedry pre počítačovú grafiku a spracovanie obrazu MFF UK. Koordinačný výbor odbornej skupiny tvoria:
Cieľom tejto skupiny je šíriť informácie o danej oblasti a organizovať odborné semináre a konferencie. Členovia oboch koordinačných výborov pôsobia na MFF UK v Bratislave. Ďalším záujemcom o spoluprácu v uvedených dvoch oblastiach doporučujeme kontaktovať sa s vedúcimi resp. tajomníkmi odborných skupín. Pripravujú sa návrhy na vytvorenie ďalších pracovných skupín (v zátvorke uvádzame meno a pôsobisko kontaktnej osoby):
Abstrakty dizertačných prácAutor: Ing. Mária Bieliková A model of a software system is proposed first. Systems are represented by an A/O graph with two kinds of nodes: families and variants. Concepts of a generic and bound configuration are then presented. They can possible reduce a configuration space represented by a software system model. A configuration requirement (generic and bound) is defined. We have devised a programming technique for implementing proposed methods in a logic programming environment. We concentrated on two aspects: the process of a configuration building (its efficiency) and the process of an implementation itself (its clarity, flexibility, elegance and readability). This led us to devising an algorithm which uses markings to maintain consistency and identification the reason for deadend. Finally we present our proposal of a technique of multilevel programming by Prolog which allows to write modules which at the same time can be at various meta levels. Results of the thesis can be applied in the support of configuration management of software systems. In particular, systems built by teams of software engineers could benefit from that kind of support. It is possible to enhance existing CASE technology with proposed methods. |