TEATED

[uued uudised] [2018] [2017] [2016] [2015] [2014] [2013] [2012] [2011] [2010] [2009] 2008 [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999]
 

  • 22.12.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib Prof Grigori Mints teemal "Parameterization in monadic logic" (vaata abstrakti).
  • ÕNNITLEME! Juhtimissüsteemide osakonna insener Juri Belikov pälvis üliõpilaste teadustööde 2008.a riiklikul konkursil loodusteaduste ja tehnika valdkonnas magistriõppe üliõpilaste astmes III preemia konkursitöö "Mittelineaarsete diskreetaja mudelite identifitseerimine ja süntees mudelil põhinevaks juhtimiseks" eest (vt. auhinnatavate nimekiri).
  • 18.12.2008, 14:00, KübI C 233. arvutiteaduse teooriaseminaride sarjas räägib Andri Saar tarkvaralisest transaktsioonilisest mälust.
  • 11.12.2008, 14:00, KübI B 101. Arvutiteaduse teaooriaseminaride sarjas räägib teemal The logic of here-and-there and answer set programming meie endine kolleeg Stanfordi Ülikooli prof. Grigori Mints (vaata abstrakti).
  • 10.12.2008, 11:00, ETA maja, Kohtu 6. Eesti Teaduste Akadeemia üldkogul esineb ettekandega Uued suunad matemaatika alustes tänavu ETA välisliikmeks valitud Stanfordi Ülikooli professor Grigori Mints (töötas KübIs 1980-1991).
  • 4.12.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib Mohamed El-Zawawy, meie järeldoktor Mobiuse projekti raames, Birminghamis kaitstud doktoritöö teemast Semantic spaces in Priestley form (vaata abstrakti).
  • : KONKURSITEADE akadeemilised ametikohad TTÜ Küberneetika Instituudis perioodiks 01.01.2009 - 31.12.2013, tähtaeg 28. november 2008 (vt. kuulutus, TTÜ tööpakkumised)
  • 27.11.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib Silvio Capobianco teemal A system- and language-theoretic outlook on cellular automata (vaata abstrakti).
  • 26.11.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib Peter Morris Nottinghami ülikoolist teemal Indexed containers (vaata abstrakti).
  • 19.-21. novembrini 2008 korraldavad Küberneetika Instituut ja TTÜ arvutiteaduse instituut Tallinnas nõupidamise 20th Nordic Workshop on Programming Theory, NWPT 2008 (vaata http://cs.ioc.ee/nwpt08/).
  • 18.11.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib James Chapman Nottinghami ülikoolist teemal Type checking and normalisation (vaata abstrakti).
  • 14.11.2008, 14:00, KübI B 101. TTÜ doktorant Ando Saabas kaitseb oma doktoritööd "Logics for low-level code and proof-preserving program transformations". Juhendajad prof. Tarmo Uustalu ja akad. Enn Tõugu. Oponendid dr. Bernd Fischer, Southamptoni Ülikool ja prof. David Sands, Chalmersi Tehnikaülikool, Göteborg (vaata doktoritööd).
  • 13.11.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib Tarmo Uustalu teemal: Explicit binds: effortless efficiency with and without trees.
  • ÕNNITLEME! Mehaanika ja rakendusmatemaatika osakonna insener Merle Randrüüt pälvis AS Eesti Raudtee doktoriõppe stipendiumi (vaata teadet).
  • ÕNNITLEME! Juhan Ernits pälvis SA Tallinna Tehnikaülikooli Arengufondilt 2008. aasta akadeemik Boris Tamme nimelise stipendiumi (vaata teadet).
  • 6.11.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib Keiko Nakata oma doktoritöö teemast: Type checking recursive ML-style modules with fully applicative functors (vaata abstrakti).
  • 29.10.2008, 16:00, TA maja (Kohtu 6). Eesti TA avalike loengute sarjas esineb akadeemik Enn Tõugu loenguga teemal "Pahandused küberruumis".
  • 17.-19. oktoobrini 2008 toimub Nelijärvel järjekordne KübI sügisseminar (vaata ajakava).
  • 16.10.2008, 14:00, KübI B 126. Arvutiteaduse teooriaseminaride sarjas jätkab Andri Saar keelest Scala, seekord teemaks Scala aktorid.
  • : KONKURSITEADE akadeemilised ametikohad TTÜ Küberneetika Instituudis perioodiks 01.11.2008 - 31.10.2013, tähtaeg 10. oktoober 2008 (vt. kuulutus, TTÜ tööpakkumised)
  • 9.10.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib dr Bernd Fischer Southamptoni Ülikoolist verifitseerimistingimuste seletamisest (vaata abstrakti).
  • 3.-5. oktoobrini 2008 korraldab KübI Jõulumäel 13. Eesti arvutiteaduse teooriapäevad (vaata http://cs.ioc.ee/~tarmo/tday-joulumae/).
  • 2.10.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib Linda Postniece Austraalia Rahvusülikoolist, Canberrast teemal "Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents" (vaata abstrakti).
  • Arvutiteaduse tippkeskus otsib JÄRELDOKTORANTE (tähtaeg 30.09.2008, vaata kuulutust).
  • ÕNNITLEME! Hillar Aben pälvis Ameerika Ühendriikide teaduslikult ühingult Society for Experimental Mechanics 2010. aasta kõrge autasu, William M. Murray medali, millega kaasneb ettepanek esitada ülevaate-ettekanne oma teaduslikest uuringutest, nn. Murray loeng, ühingu aastakonverentsil 2010 aastal Indianapolises.
  • Arvutiteaduse tippkeskus otsib PROJEKTITÖÖ ADMINISTRAATORIT (tähtaeg 25.09.2008, vaata kuulutust [pdf]).
  • 25.9.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib Keiko Nakata C programmide võimalikult valutust verifitseerimisest (vaata abstrakti).
  • 25.9.2008, 10:00, KübI B 101. Tomi Räty VTT-st, Oulust räägib oma doktoritöö ainetel High-Level Architecture for a Single Location Surveillance Point (vaata abstrakti).
  • 18.-19. septembrini 2008 toimub Tallinnas uue Arvutiteaduse tippkeskuse avaseminar (vaata http://cs.ioc.ee/excs/kickoff/).
  • 15.-16. septembrini, 2008 a. Tallinnas, Eesti Teaduste Akadeemia majas XIII Eesti Mehaanikapäevad (vaata lähemalt).
  • 11.9.2008, 14:00, KübI B 101. arvutiteaduse teooriaseminaride sarjas räägib Andri Saar sissejuhatavalt programmeerimiskeelest Scala (vaata http://www.scala-lang.org/).
  • 8.9.2008, 14:00, C 231. Tokyo Denki Ülikooli professori Yasuhiro FUKUI ja Dr. Yasuharu Ohgoe seminar teemal Present Status for Artificial Heart in the World and R & D Activities for Artificial Heart at Tokyo Denki University (vaata vaata lähemalt).
  • 4.9.2008, 14:00, KübI suures saalis. Pidulik nõukogu koosolek Küberneetika Instituudi 48. aastapäeva tähistamiseks.
  • 10.-16. augustini 2008 korraldab foneetika ja kõnetehnoloogia labor Kuressaares, hotellis Arensburg NordForsk VISPP-võrgustiku suvekooli multi-modaalse suhtluse teemal (vaata http://www.ioc.ee/vispp2008/).
  • 14.8.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib Olha Shkaravska (Radboud Univ. Nijmegen) oma tööst funktsionaalprogrammide suurusanalüüsi kohta (vaata abstrakti).
  • 21.7.2008, 14:00, KübI B 101. Irina Didenkulova doktoritöö "Pikkade lainete dünaamika rannavööndis" (Long Wave Dynamics in the Coastal Zone) kaitsmine. Juhendajad Tarmo Soomere ja Efim Pelinovsky. Oponendid: Prof. Geir Pedersen, Oslo Ülikool, Norra, ja Prof. Kevin Parnell, James Cook’i Ülikool, Austraalia (vaata doktoritööd).
  • ÕNNITLEME! Selgusid teaduse tippkeskused programmiperioodiks 2007–2013. Seitsme valitu hulgas eraldati Tarmo Uustalu juhitavale Arvutiteaduse tippkeskusele 66,4 miljonit krooni (vaata uudist ja KübI pressiteadet).
  • Jaan Penjam jätkab alates 01.07.2008 TTÜ Küberneetika instituudi juhtimist direktori kohusetäitjana kuni valitud direktori ametisse asumiseni (vaata käskkirja).
  • ÕNNITLEME! Eesti Infotehnoloogia ja Telekommunikatsiooni Liidu Ustus Aguri nimeline infotehnoloogia ja telekommunikatsiooni eriala doktorandi stipendium anti 2008.a. Ando SAABASele. (vaata teadet).
  • 19.6.2008, 14:00, KübI B 101. Johan Antoni doktoritöö "Integraalse fotoelastsuse tehnoloogia jääkpingete määramiseks telgsümmeetrilistes klaasobjektides" (Technology of integrated photoelasticity for residual stress measurement in glass articles of axisymmetric shape) kaitsmine. Juhendaja Hillar Aben. Oponendid: Prof. Emmanuel Gdoutos, Democritus University of Thrace, Kreeka ja Dr. Jonathan Williams, Pilkington European Technology Centre, Suurbritannia (vaata doktoritööd).
  • KübI ja TTÜ Arvutitehnika Instituut korraldavad 2-5. juunini 2008 Tallinnas kaheksanda rahvusvahelise andmebaaside ja infosüsteemide alase konverentsi Baltic DB&IS'2008 (vaata lähemalt).
  • 26.-27. mail 2008 peab dr. Ralph Matthes Toulouse'i Paul Sabatier' Ülikoolist KübIs kursuse monaadidest programmeerimises ja verifitseerimisel (vaata lähemalt).
  • KONKURSITEADE TTÜ Küberneetika Instituudi direktori ametikoha täitmiseks 01.07.2008 - 30.06.2013.Tähtaeg 26. mai 2008 (vt. kuulutus, TTÜ tööpakkumised)
  • 26.5.2008, 16:00Eesti Teaduste Akadeemia majas, Kohtu 6, esineb loenguga "The DFG Research Center MATHEON (Mathematics for Key Technologies), its mission and activities" Zuse Instituudi (Zuse Institute Berlin) president Prof. Peter Deuflhard, kes on ühtlasi üks uurimiskeskuse MATHEON asutajatest.
  • 22.5.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas jätkab Ando Saabas oma tööst MS Researchis - "SMT for bounded reachability of model programs" (vaata lähemalt).
  • 20.5.2008, 14:00, KübI B 101. Loenguga esineb keeleteaduse ja -tehnoloogia doktorikooli külaline prof. Kari Suomi (Oulu ülikool) "Durational and tonal interactions in Finnish".
  • 16.5.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib Ando Saabas oma tööst MS Researchis - "SMT for bounded reachability of model programs" (vaata lähemalt).
  • Küberneetika Instituut ostab fluorestsentsmikroskoobi. Tehniliste detailide täpsustamiseks ja hinnapakkumisteks pöörduda Marko Vendelini poole (telefon 6204169, e-mail ?€‘ markov@ioc.ee) .
  • 8.5.2008, 14:00, KübI B 101. Arvutiteaduse teooriaseminaride sarjas räägib Oleg Mürk C-programmide verifitseerimisest süsteemiga KeY (vaata lähemalt).
  • 14.-17. aprillil 2008 toimub Küberneetika Instituudis koostöös TTÜ arvutiteaduse instituudiga Aalborgi Ülikooli prof. Brian Nielseni kursus "Reaalajasüsteemide mudelipõhine testimine" (vaata lähemalt).
  • Arvo Eegi sulest on ilmunud monograafia esimene osa EESTI KEELE FONEETIKA I (vaata lähemalt).
  • 8.4.2008, 14:00, KübI B 101. toimub keeleteaduse ja -tehnoloogia doktorikooli külalise prof. William Barry (Saarland University) loeng "Inter-language and inter-individual differences in the production and perception of phrasal prominence".
  • 2.-7. märtsini 2008 korraldab KübI Palmses XIII Eesti Arvutiteaduse Talvekooli, EWSCS 2008 (vaata http://cs.ioc.ee/ewscs/2008/).
  • 25.-27. veebruarini 2008 loeb prof. Peter Thiemann (Universität Freiburg) KübIs lühikursuse tüüpidest skriptimiskeeltes (vaata lähemalt).
  • ÕNNITLEME! Eesti Vabariigi Valitsus määras 7. veebruari istungil teiste hulgas eelmise nelja aasta jooksul valminud ja avaldatud parimate teadustööde eest 300 000 krooni suuruse riigi teaduspreemia Valdur Saksale (kollektiivi juht), Jüri Engelbrechtile, Enn Seppetile ja Marko Vendelinile – geo- ja bioteaduste alal tööde tsükli "Molekulaarne süsteemne bioenergeetika" eest (vaata esildist [pdf]).
  • 22.2.2008, 14:00, KübI suures saalis. Eesti Vabariigi 90. aastapäeva tähistamise pidulik aktus.
  • 21.2.2008, 15:00, KübI B 101. arvutiteaduse teooriaseminaride sarjas räägib Juhan Ernits Mäluvigade avastamisest ja parandamisest kavalate mäluhalduritega: DieHard ja Exterminator.
  • ÕNNITLEME! TTÜ parim noorteadlane 2007: Marko Vendelin (vaata käskkirja [pdf]).
  • 25.-27. jaanuarini 2008 toimuvad Põlvas 12. Eesti arvutiteaduse teooriapäevad (vaata http://www.cs.ut.ee/~varmo/tday-polva/).
  • 21.-22. jaanuaril 2008 toimub Mustpeade Majas Eesti teaduse tippkeskuse 2002-2007 Töökindlate Arvutisüsteemide Uurimise Keskus lõpuworkshop; workshop on lahtine ja tasuta (vaata http://cdc.ioc.ee/final-wksh/).
  • 3.1.2008, 14:00, KübI B 101. arvutiteaduse teooriaseminaride sarjas räägib Pavel Grigorenko CoCoViLast ja uutest tuultest selle arendusel.

Viimati muutnud: 2017/08/16 17:33