TEATED

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

  • 12.12.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Tomas Petricek (Cambridge'i Ülikool) räägib teemal "Tracking contextual program properties with structural coeffects" (vaata abstrakti).
  • 9.12.2013, 16:00, KübI B 101. CENSi seminar: Arvi Ravasoo (KübI) teemal "Qualitative acoustodiagnostics with parametric plots".
  • 3.12.2013, 14:00, SCI-120 (Akadeemia tee 15). CENSi seminar: esineb Prof. Ernst Niggli (Berni Ülikool, Füsioloogia teaduskond) teemal "β-Adrenergic Stimulation: Protein Kinase Modulation of Cardiac Rynodine Receptors".
  • 29.-30.11.2013 KübI sügisseminar ja jõuluootus-pidu Roosta Puhkekülas www.roosta.ee (vaata kava).
  • 28.11.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Shin-ya Katsumata (Kyoto Ülikool) räägib teemal "Parametric effect monads and semantics of effect systems" (vaata abstrakti).
  • 27.11.2013, 11:00, KübI B 308. Juhtimissüsteemide seminar: esineb Monika Ciulkin (Bialystoki Tehnikaülikool, Poola) teemal "Linearization by input-output injections on homogeneous time scales".
  • 25.11.2013, 16:00, KübI B 101. CENSi seminar: esineb Dmitri Kartofelev (KübI) teemal "Propagation of deformation waves in wool felt".
  • 20.-22. novembrini 2013 korraldavad TTÜ arvutiteaduse instituut ja KübI Tallinnas töötoa 25th Nordic Workshop on Programming Theory, NWPT 2013 (vt lähemalt http://cs.ioc.ee/nwpt13/).
  • 18.11.2013, 16:00, KübI B 101. CENSi seminar: esineb Arkadi Berezovski (KübI) teemal "On the structure of generalized continuum theories".
  • 14.11.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Sergei Tupailo (Lissaboni Ülikool) räägib teemal "R. Holmes on consistency of NF" (vaata abstrakti).
  • 13.11.2013, 16:00, Akadeemia maja, Kohtu 6. akadeemik Tarmo Uustalu avalik loeng teemal "Kaaperdatud teadus" (vaata kutset).
  • ÕNNITLEME! Vabariigi Presidendi kultuurirahastu nõukogu on otsustanud anda presidendi reaalteaduste eripreemia KübI vanemteadur Jaan Kaldale.
  • 11.11.2013, 16:00, KübI B 101. CENSi seminar: esineb Kert Tamm (KübI) teemal "Numerical study of the wave propagation in Mindlin-type double microstructured solids".
  • 8.11.2013, 10:30, KübI B 101. Intensiivpäev teemal "Waves and Climate Tolerance" (vaata kava). Kõik huvilised oodatud.
  • 8.11.2013, 14:30, KübI B 101. KübI doktorant Inga Zaitseva-Pärnaste kaitseb oma doktoritööd "Wave Climate and its Decadal Changes in the Baltic Sea Derived from Visual Observations" (Läänemere lainekliima ja selle muutlikkus visuaalsete lainevaatluste alusel). (doktoritöö). Juhendaja juhtivteadur Tarmo Soomere (KübI), oponendid Prof. Dr. Leonid Lopatukhin (Peterburi Riiklik Ülikool, Venemaa) ning Dr. Piia Post (Tartu Ülikool).
  • 4.11.2013, 16:00, KübI B 101. CENSi seminar: esineb Jakob Jõgi (Tartu Ülikooli doktorant) teemal "MD modeling of mechanical properties of nanowires".
  • 28.-29. oktoobril 2013 toimub Laulasmaal KübI IKT programmi projekti "Model-Based Java Software Development Technology" rahvusvaheline seminar.
  • 25.–27. oktoobrini 2013 korraldab KübI Sakal Tallinna-Tartu vahelised arvutiteaduse teooriapäevad (vaata http://cs.ioc.ee/~tarmo/tday-saka/).
  • 22.-23. oktoobril 2013 Akadeemia majas (Kohtu 6): Eesti Teaduste Akadeemia, Eesti Teaduse Tippkeskuste Nõukogu ja Eesti Teadusagentuur korraldavad konverentsi “Excellence in Research” (kava, registreerimine).
  • 21.10.2013, 16:00, KübI B 101. CENSi seminar: esineb Tanel Peets (KübI) teemal "Dispersion in 2-layer bar".
  • Prantsuse instituut Eestis kutsub Teaduskuu raames kuulama:
    9.10.2013, 16:00, TTÜ VII-131. Francesca Lanata "Puustruktuurid: Igapäevase staatilise ja dünaamilise käitumise monitooring"
    15.10.2013, 17:00, TTÜ VI-304. Aurélien Jeanjean "Erinevatest materjalidest tehtud struktuuride digitaliseerimine, võttes arvesse keskkonnast tingitud deformatsioone"
    (loengud toimuvad inglise keeles, vt. kogu Prantsuse Teaduskuu programm Tallinnas).
  • 15.10.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Silvio Capobianco (KübI) räägib teemal "Normality, randomness, and the Garden of Eden" (vaata abstrakti).
  • 9.10.2013, 16:00, KübI B 101. CENSi seminar: Prof. Claes Hedberg ja Prof. Lars Håkansson (Blekinge Tehnoloogiainstituut, Rootsi) esinevad teemal "Remote health monitoring of structures and machines".
  • 3.10.2013, 11:00, KübI B 101. Arvutiteaduse seminar: Hugo Herbelin (INRIA Rocquencourt) räägib teemal "Duality in sequent calculus and abstract machines" vaata abstrakti).
  • 2.10.2013, 15:00, KübI B 101. Juhtimissüsteemide seminar: Thomas Cluzeau (University of Limoges, France) räägib teemal "An algebraic analysis approach to the simplification of systems of linear functional equations" (vaata kokkuvõtet).
  • 1.10.2013, 11:00, KübI B 101. Juhtimissüsteemide seminar: Alban Quadrat (INRIA, Saclay - Ile-de-France, France) räägib teemal "Algebraic analysis of linear functional systems" (vaata kokkuvõtet).
  • 30.9.2013, 16:00, KübI B 101. CENSi seminar: esineb Igor Medvedev (P.P.Shirshovi Okeanoloogia Instituut) teemal "Spectrum of sea level oscillations in the Baltic Sea: influence of internal and external factors".
  • ÕNNITLEME! KübI juhtivteadur Tarmo Soomere saab 2013. aasta teadusajakirjanduse sõbra auhinna Ökuli, mida annab välja Eesti Teadusajakirjanike selts.
    Auhind antakse Soomerele üle reedel, 27. septembril kell 20 Tallinnas Paksu Margareeta tornis (vt. Teadlaste öö päevakava).
  • KONKURSS järgmistele ametikohtadele: VANEMTEADURID tehn. ja biofüüsika, fotoelastsuse ning arvutiteaduse alal ning TEADURID ökonofüüsika ja arvutiteaduse alal.
    Dokumentide esitamise TÄHTAEG 27.09.2013 (vt. kuulutust).
  • 24.9.2013, 11:00, KübI B 101. KübI doktorant Vadim Kaparin kaitseb oma doktoritööd "Transformation of Nonlinear State Equations into Observer Form" (Mittelineaarsete olekuvõrrandite olekutaastaja kujule teisendamine) (doktoritöö). Juhendaja dr Ülle Kotta (KübI), oponendid prof Witold Respondek (INSA de Rouen, Prantsusmaa) ja prof Xiaohua Xia (Pretoria Ülikool, Lõuna-Aafrika Vabariik).
  • 23.9.2013, 16:00, KübI B 101. CENSi seminar: esineb Dr. Rao Appadu (Pretoria Ülikool, LAV) teemal "Numerical Solution of the 1D Advection-Diffusion Equation Using Standard and Non-Standard Finite Difference Schemes".
  • 19.9.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Sergei Tupailo (Lissaboni Ülikool) räägib teemal "Abstract constructive ordinals and ordinal notations" (vaata abstrakti).
  • 18.9.2013, 14:30, KübI B 101. Juhtimissüsteemide seminar: KübI doktorant Vadim Kaparin räägib oma doktoritöö teemal "Transformation of Nonlinear State Equations into Observer Form" (Mittelineaarsete olekuvõrrandite teisendamine olekutaastaja kujule, vt. doktoritööd).
  • 17.9.2013TTÜ 95. aastapäeval promoveeritakse TTÜ audoktoriks tippkeskuse EXCS rahvusvahelise nõukoja liige prof em Reino Kurki-Suonio (Tampere Tehnikaülikool).
  • 16.9.2013, 14:00TTÜ I-202 esineb avaliku loenguga "From electronic brains to ubiquituous computing: recollections and visions of a participating observer" TTÜ audoktor Tampere Tehnikaülikooli prof em Reino-Kurki Suonio (vaata abstrakti).
  • 12.9.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal "Containers that are monads".
  • 10.9.2013, 16:00, KübI B 101. CENSi seminar: toimub esimene "Sädelev seminar mere-, järve- ja rannikuteaduse vallas". Kõneleb Jonne Kotta (Tartu Ülikooli Eesti Mereinstituut) teemal KLIIMA JA MEREELUSTIK (loe lähemalt).
  • 3.9.2013, 14:00Küberneetika Instituudi 53. sünnipäeva aktus Küberneetika Maja suures saalis.
  • 22.8.2013, 13:00, KübI B 101. KübI doktorant Mervi Sepp kaitseb oma doktoritööd "Estimation of Diffusion Restrictions in Cardiomyocytes Using Kinetic Measurements" (Difusioonitakistuste hindamine kardiomüotsüütides kasutades kineetilisi mõõtmisi) (doktoritöö). Juhendajad dr Marko Vendelin (KübI), oponendid dr Jeroen Jeneson (Eindhoveni Tehnikaülikool), prof Agu Laisk (Tartu Ülikool).
  • 4.7.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Andreas Abel (LMU München) räägib teemal "Copatterns: programming infinite structures by observations" (vaata abstrakti).
  • 27.6.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Bruno Woltzenlogel Paleo (Viini Tehnikaülikool) räägib teemal "Techniques for proof compression" (vaata abstrakti).
  • 26.6.2013, 10:30, KübI B 101. CENSi seminar: esineb Sergey M. Varlamov (JAMSTEC, Yokohama, Japan) teemal "Ocean Downscaled Modeling Activities in Japan Agency for Marine-Earth Science and Technology (JAMSTEC)".
  • 20.6.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Combining linear and temporal logic" (vaata abstrakti).
  • 18.6.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Categorical semantics for linear logic" (vaata abstrakti).
  • 17.6.2013, 16:00, KübI B 101. CENSi seminar: esineb Pearu Peterson (KübI) teemal "Complexity of the new computing cluster at CENS".
  • 3.6.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Bruce Watson (Stellenboschi Ülikool) räägib teemal Correctness-by-construction in stringology (vaata abstrakti).
  • 3.6.2013, 16:00, KübI B 101. CENSi seminar: esineb Margit Vallikivi (Princetoni Ülikool) teemal "Nano-Scale Sensors and Extreme Reynolds Numbers" .
  • 30.5.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Niccolò Veltri (KübI) räägib teemal On the axiom of univalence (Steve Awodey esinemiste põhjal TYPES 2013-l).
  • 27.5.2013, 16:00, KübI B 101. CENSi seminar: esineb Emiliano Pastorelli (KübI) teemal "Immersive virtual reality for scientific visualization".
  • 20.5.2013, 16:00, KübI B 101. CENSi seminar: esineb Bert Viikmäe (KübI) teemal "Background of circulation and wave modelling: equations, scales, basic types of motion".
  • 16.5.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Elmo Todurov (KübI) räägib teemal Safe dynamic software updating in the context of multithreading.
  • 3. aprillist 2. maini 2013 toimub KübI uue nõukogu valimissessioon. Valimiskomisjon (Otu Vaarmann, Maris Tõnso, Monika Perkmann) registreeris 10 kandidaati (vt. täpsemalt).
    I valimisvoor oli edukas, teadusnõukogu liikmed valitud (vaata protokolli).
    1. maist on KübIl kinnitatud uus teadusnõukogu koosseis.
  • 6.5.2013, 16:00, KübI B 101. CENSi seminar: Andres Udal (TTÜ) räägib kvantfilosoofiast "Intro to quantum philosophy and quantum-IT".
  • 29.4.2013, 16:00, KübI B 101. CENSi seminar: esineb Indrek Mandre (KübI doktorant) teemal "Intersections of moving fractal sets".
  • 22.4.2013, 16:00, KübI B 101. CENSi seminar: esineb Arkadi Berezovski (KübI) teemal "Waves and discontinuities in solids".
  • 18.4.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal "Update monads: cointerpreting directed containers".
  • 11.4.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Boriss Šelajev (KübI) räägib teemal "Extending dynamic logic for reasoning about reachable intermediate states ".
  • 8.4.2013, 16:00, KübI B 101. CENSi seminar: esinevad Hillar Aben (KübI) teemal 200 years from the discovery of the photoelastic effect in glass ning Johan Anton teemal "Glasstress - a company between science and glass industry". Järgneb külaskäik fotoelastsuse laborisse.
  • 5.4.2013KübI külastasid USA suursaadik Eestis T.E. Jeffrey D. Levine, poliitikaametnik Nathan T. Doyel ja majandusnõunik Brett Makens (vaata pilte).
  • 1.4.2013, 16:00, KübI B 101. CENSi seminar: esineb Inga Zaitseva-Pärnaste (KübI) teemal "Mathematical description of wave climate and extreme wave storms in the context of the Baltic Sea".
  • 25.3.2013, 16:00, KübI B 101. CENSi seminar: esineb Mihkel Kree (KübI) teemal "Mixing properties of stationary flows in porous media".
  • 11.3.2013, 16:00, KübI B 101. CENSi seminar: esineb Andrea Giudici (KübI) teemal "Residence time of water and pollution in semi-enclosed seas".
  • 3. - 8.03.2013 KübI ja EXCS korraldavad Palmses XVIII Eesti Arvutiteaduse Talvekooli, EWSCS 2013 (vaata http://cs.ioc.ee/ewscs/2013/).
  • 4.3.2013, 16:00, KübI B 101. CENSi seminar: esineb Emiliano Pastorelli (KübI) teemal "Dynamic time warping : method and applications on electric cars behavior analysis".
  • 1.3.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Elmo Todurov (KübI) jätkab artikli G. Stoyle, M. Hicks, G. Bierman, P. Sewell, I. Neamtiu, "Mutatis mutandis: safe and predictable dynamic software updating", TOPLAS 2007 refereerimist.
  • 28.2.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Elmo Todurov (KübI) refereerib artiklit G. Stoyle, M. Hicks, G. Bierman, P. Sewell, I. Neamtiu, "Mutatis mutandis: safe and predictable dynamic software updating", TOPLAS 2007.
  • 26.2.2013, 14:00KübI Maja suures saalis. Eesti Vabariigi 95. aastapäeva tähistamise aktus.
    Jaak Juske ettekanne "Jalutuskäik Tallinnas Vabariigi sünni ajal".
  • 25.2.2013, 16:00, KübI B 101. CENSi seminar: esineb Irina Didenkulova (KübI) teemal "Rogue waves in the basin of intermediate depth and the possibility of their formation due to the modulational instability".
  • ÕNNITLEME! Tarmo Soomere pälvis Eesti Vabariigi 2013. aasta teaduspreemia tehnikateaduste valdkonnas tööde tsükli "Merelt lähtuvate ohtude kvantifitseerimine ja minimeerimine Läänemere ranniku kontekstis" eest (vaata 2013.a. laureaatide lühitutvustust).
  • 21.2.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Robin Cockett (Calgary Ülikool) 5. loeng teemal "Introduction to restriction categories" (vaata lähemalt).
  • 19.2.2013, 11:00, KübI B 101. Arvutiteaduse seminar: Robin Cockett (Calgary Ülikool) 4. loeng teemal "Introduction to restriction categories" (vaata lähemalt).
  • 18.2.2013, 16:00, KübI B 101. CENSi seminar: esineb Kert Tamm (KübI) teemal "Numerical study of the wave propagation in Mindlin-type microstructured solids".
  • Kandideeri kõnetehnoloogia vanemteaduri ametikohale. Dokumentide esitamise tähtaeg 15.02.2013 (vaata lähemalt).
  • ÕNNITLEME! President autasustas Valgetähe IV klassi ordeniga Andrus Saluperet (mehhaanikateadlane, Tallinna Tehnikaülikooli professor).
  • ÕNNITLEME! President autasustas Valgetähe V klassi ordeniga Jaan Kaldat (küberneetikateadlane, noorte füüsikute juhendaja).
  • 14.2.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Robin Cockett (Calgary Ülikool) 3. loeng teemal "Introduction to restriction categories" (vaata lähemalt).
  • 12.2.2013, 11:00, KübI B 101. Arvutiteaduse seminar: Robin Cockett (Calgary Ülikool) 2. loeng teemal "Introduction to restriction categories" (vaata lähemalt).
  • 11.2.2013, 16:00, KübI B 101. CENSi seminar: esineb Bert Viikmäe (KübI) teemal "Modelling and structure identification of surface currents in shallow, microtidal sea basins".
  • ÕNNITLEME! Tarmo Soomere sai Balti Teaduste Akadeemiate medali silmapaistvate tulemuste eest Eesti, Läti ja Leedu mereuuringute alases koostöös (vaata medalit).
  • 7.2.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Denis Firsov (KübI) räägib teemal "Overview of formalized developments for regexps".
  • 4.2.2013, 16:00, KübI B 101. CENSi seminar: esinevad Mihkel Heidelberg ja Kaspar Kallip (KübI) teemal "Mixing efficiently nanoparticles".
  • 5.2.2013, 11:00, KübI B 101. Arvutiteaduse seminar: Robin Cockett (Calgary Ülikool) alustab loengusarja teemal "Introduction to restriction categories" (vaata lähemalt).
  • 1.-3.02.2013 korraldab EXCS Otepääl Tallinna-Tartu vahelised arvutiteaduse teooriapäevad (vaata lähemalt).
  • 31.1.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal "Coinductive big-step semantics for concurrency" (vaata abstrakti).
  • 30.1.2013, 14:30algab Saksamaa suursaadiku T.E. Hr. Christian Matthias Schlaga tutvumisvisiit TTÜ Küberneetika Instituuti.
  • 21.1.2013, 16:00, KübI B 101. CENSi seminar: esineb Tomas Torsvik (KübI) teemal "Identification of ship wake characteristics by means of a time-frequency analysis method".
  • Arvutiteaduse seminar: 15.-16.01.2013 algusega 11:00, KübI B 101. Minitöötuba teemal "Deductive program verification in Why3". Esineb Jean-Christophe Filliatre, LRI, Université Paris Sud 11 (vaata abstrakti ja http://why3.lri.fr/tallinn-2013/).
  • 7.1.2013, 16:00, KübI B 101. CENSi seminar: esineb Jaan Kalda (KübI) teemal "Scaling behaviour reveals creative problems of physics contests".
  • 3.1.2013, 14:00, KübI B 101. Arvutiteaduse seminar: Denis Firsov (KübI) räägib teemal "Certified normalization of CFGs and CYK parsing".

Viimati muutnud: 2017/08/16 17:33