TEATED

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

  • ÕNNITLEME! Endine lainetuse dünaamika laboratooriumi tehnik Rain Männikus pälvis 2. preemia konkursitöö "Tuule- ja laevalainete mõju vähendamise võimalustest Noblessneri sadama lainemurdjate rekonstrueerimisel" eest Eesti üliõpilaste teadustööde riiklikul konkursil loodusteaduste ja tehnika valdkonnas magistriõppe astmes (vt. Üliõpilaste teadustööde riiklik konkurss 2012).
  • ÕNNITLEME! Eesti Arvutiteaduse tippkeskuse EXCS-i doktorant Danel Ahman pälvis 3. preemia konkursitöö "Arvutuslikud efektid, algebralised teooriad ja normaliseerimine läbi väärtustamise" eest Eesti üliõpilaste teadustööde riiklikul konkursil loodusteaduste ja tehnika valdkonnas magistriõppe astmes (vt. Üliõpilaste teadustööde riiklik konkurss 2012).
  • ÕNNITLEME! Juhtimissüsteemide osakonna tehnik Arvo Kaldmäe pälvis 3. preemia konkursitöö "Häiringu kompenseerimine mittelineaarsetes juhtimissüsteemides" eest Eesti üliõpilaste teadustööde riiklikul konkursil loodusteaduste ja tehnika valdkonnas magistriõppe astmes (vt. Üliõpilaste teadustööde riiklik konkurss 2012).
  • ÕNNITLEME! Juhtimissüsteemide osakonna teadur Juri Belikov sai tänukirja konkursitöö "Polünoommeetodid mittelineaarsetes juhtimissüsteemides" eest Eesti üliõpilaste teadustööde riiklikul konkursil loodusteaduste ja tehnika valdkonnas doktoriõppe astmes (vt. Üliõpilaste teadustööde riiklik konkurss 2012).
  • ÕNNITLEME! Vanemteadur Jaan Kalda sai tänukirja üliõpilaste teadustööde riiklikul konkursil loodusteaduste ja tehnikavaldkonnas magistriõppe üliõpilaste astmes I preemia pälvinud Jakob Jõgi konkursitöö "Vedru-plokk mudelil põhinev simulatsioon viskoossel alusel moodustunud metallide alkoksiidide geelkile pragunemisest" juhendamise eest (vt. Üliõpilaste teadustööde riiklik konkurss 2012).
  • ÕNNITLEME! Vanemteadur Ahto Kalja sai tänukirja üliõpilaste teadustööde riiklikul konkursil loodusteaduste ja tehnikavaldkonnas doktoriõppe üliõpilaste astmes I preemia pälvinud Tarmo Robali konkursitöö "Veebikasutajate käitumise analüüs ja soovitused adaptiivse veebi loomiseks" juhendamise eest (vt. Üliõpilaste teadustööde riiklik konkurss 2012).
  • 20.12.2012, 11:00, KübI B 101. Arvutiteaduse seminar: Danel Ahman (Edinburgh'i Ülikool) räägib teemal owards more refined notions of computation: the global state example (vaata abstrakti).
  • 13.12.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Denis Firsov (KübI) räägib teemal "Overview of formalized developments for regular expressions".
  • 10.12.2012, 16:00, KübI B 101. CENSi seminar: esineb Bert Viikmäe (KübI) teemal "Impact of horizontal eddy-diffusivity on Lagrangian statistics for coastal pollution from a major marine fairway".
  • 6.12.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Pierre-Louis Curien (U. Paris 7) räägib teemal "A classical lozenge" (vaata abstrakti).
  • 4.12.2012, 11:00, KübI B 101. Arvutiteaduse seminar: Pierre-Louis Curien (U. Paris 7) räägib teemal "System L syntax for sequent calculi" (vaata abstrakti).
  • 3.12.2012, 16:00, KübI B 101. CENSi seminar: esineb Arvi Ravasoo (KübI) teemal "Parametric plots for qualitative acoustodiagnostics".
  • 29.11.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Dimitrios Vytiniotis (MSR Cambridge) räägib teemal "Stop when you are almost full: adventures in constructive termination" (vaata abstrakti).
  • 28.11.2012, 10:00, KübI B 101. TTÜ doktorant ja KübI endine töötaja Marko Kääramees kaitseb oma doktoritööd "A Symbolic Approach to Model-based Online Testing" (Mudelipõhine online-testimine kasutades sümbolarvutust) (doktoritöö). Juhendajad prof Jüri Vain (TTÜ) ja Michael Reichhardt Hansen (Technical University of Denmark), oponendid prof Keijo Heljanko (Aalto University, Soome) ning Margus Veanes (Microsoft Research, USA).
  • 27.11.2012, 11:00, KübI B 101. Arvutiteaduse seminar: Arnaud Dieumegard (INP Toulouse) räägib teemal "Automatic code generation in certified system development: a model-driven specification and verification approach" (vaata abstrakti).
  • 26.11.2012, 16:00, KübI B 101. CENSi seminar: esineb Andres Braunbrück (KübI) teemal "Evaluation of exponentially graded material properties based on ultrasound".
  • ÕNNITLEME! Arvo Kaldmäe magistritöö "Disturbance Decoupling of Nonlinear Control Systems" võitis Tallinna Ülikooli üliõpilaste 2011/2012 aasta teadustööde konkursil täppisteaduste magistritööde kategoorias I koha (vaata protokolli).
  • 23.11.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Denis Firsov (KübI) räägib teemal Overview of formalized developments for context-free grammars.
  • 19.11.2012, 16:00, KübI B 126. CENSi seminar: esineb Mirko Mustonen (???) teemal "Bass guitar modeling based on experimental data".
  • 13.11.2012 CENSi seminar: TTÜ Küberneetika Instituudi ja TÜ Füüsika Instituudi ÜHISSEMINAR Tartus, Riia t. 142, Füüsika Instituudi I korruse saalis (vaata ajakava).
  • 9.-10. novembril 2012 toimub Laulasmaa Spa-s iga-aastane KübI sügisseminar (programmi koostab Tanel Alumäe, vaata ajakava, seisuga 8/11, 15:00).
  • ÕNNITLEME! Eesti Arvutiteaduse tippkeskuse EXCS-i doktorant Danel Ahman (Edinburghi Ülikool) sai magistritöö "Arvutuslikud efektid, algebralised teooriad ja normaliseerimine läbi väärtustamise" eest Eesti TA üliõpilastööde auhinna.
  • 5.11.2012, 16:00, KübI B 101. CENSi seminar: esineb Jaan Kalda (KübI) teemal "Giant dispersion of particles in multi-dimensional potential velocity field".
  • 30. oktoobrist 1. novembrini 2012 toimub IKTDK raames lühikursus "Tracking Control for Nonlinear Systems: The Flatness Based Approach". Lektor Dr. Felix Antritter (Universitaet der Bundeswehr Muenchen, Saksamaa). Toimub kolm loengut, kõik algusega (nii teisipäeval, kolmapäeval kui ka neljapäeval) kell 11.00 ruumis KübI B101 (tutvustus).
  • 29.10.2012, 16:00, KübI B 101. CENSi seminar: esineb Ivan Sertakov (KübI) teemal "2D waves in microstructured solids".
  • 22.10.2012, 16:00, KübI B 101. CENSi seminar: esineb Andrus Salupere (KübI) teemal "On the influence of material properties on the wave propagation in mindlin-type microstructured solids", kaasautor Kert Tamm (KübI).
  • 18.10.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Silvio Capobianco (KübI) räägib teemal "A short walk into randomness" (vaata abstrakti).
  • 8.10.2012, 16:00, KübI B 101. CENSi seminar: esineb Siim Ainsaar (Tartu Ülikool) teemal "Diffusion in 2D washboard potential".
  • 4.10.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Concrete process categories" (vaata abstrakti).
  • Sügisesed arvutiteaduse teooriapäevad toimuvad seekord koostöös Läti ülikooliga 27.–30. septembrini 2012 Lilastes (vaata http://home.lu.lv/~df/tdays-medzabaki/).
  • 24.9.2012, 10:30, KübI B 101. CENS, KübI lainetuse dünaamika laboratoorium ning mehaanika ja rakendusmatemaatika osakond korraldavad Intense Day on Waves in Fluids (vaata kava).
  • 24.9.2012, 15:00, KübI B 101. Doktorant Oxana Kurkina (KübI) kaitseb oma doktoritööd "Nonlinear dynamics of internal gravity waves in shallow seas" (Siselainete mittelineaarne dünaamika madala vee lähenduses) (doktoritöö). Juhendajad prof Tarmo Soomere (KübI) ja prof Efim Pelinovsky (Nizny Novgorod), oponendid prof Christian Kharif (Non-Equilibrium Phenomena Research Institute and Grande Ecole d'ingénieurs - Ecole Centrale Marseille, Prantsusmaa) ning prof Henrik Kalisch (University of Bergen, Norra).
  • 20.9.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Boriss Šelajev (KübI) räägib teemal "Verification of object-oriented programs".
  • 17.9.2012, 16:00, KübI B 101. CENSi seminar: esineb Mihkel Heidelberg (Tartu Ülikool) teemal "Nonlinear oscillations in tunnel diode".
  • 13.9.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Celia Picard (Toulouse 3. ülikool) räägib teemal "Verification of redecoration for infinite triangular matrices in Coq" (vaata abstrakti).
  • 12.9.2012, 16:00Eesti Teaduste Akadeemia maja, Tallinn, Kohtu 6. Nikolai Alumäe mehaanikaloeng 2012 - esineb KübI ja CENSi vanemteadur Marko Vendelin teemal "MOLEKULIDE LIIKUMINE SÜDAMELIHASRAKKUDES".
  • 12.9.2012, 14:00, KübI B 126. Arvutiteaduse seminar: Niccolò Veltri (Firenze ülikool) räägib teemal "Formalization of graph theory in HOL: the Maxflow-Mincut theorem" (vaata abstrakti).
  • 12.9.2012, 14:00, KübI B 101. Juhtimissüsteemide seminar: esineb Ewa Pawluszewicz (Bialystoki Tehnikaülikool, Poola) teemal "On fractional systems research in Bialystok University of Technology".
  • 12.9.2012, 10:00, KübI B 101. KübI uus süsteemiadministraator Heiki Pettai räägib KübI IT tugistruktuuride hetkeseisust ja ka tulevikuplaanidest (pigem tehnilise suunitlusega, mitte kasutajakoolitus).
  • 11.9.2012, 14:00, KübI B 101. Juhtimissüsteemide seminar: esineb Malgorzata Wyrwas (Bialystoki Tehnikaülikool, Poola) teemal "Reducibility conditions for nonlinear discrete-time systems: behavioral approach".
  • 10.9.2012, 11:00, KübI B 101. Juhtimissüsteemide seminar: esineb T. Kasvand (Concordia Ülikool, Montreal, Canada) teemal "Technology versus biology in vision".
  • 6.9.2012, 14:00Küberneetika Instituudi 52. sünnipäeva aktus Küberneetika Maja suures saalis. Teadusettekanne "Solitonisarnased valguslaineimpulsid" Tartu Ülikooli Füüsika Instituudi professorilt Peeter Saarilt.
  • 27.8.2012, 16:00, KübI B 101. CENSi seminar: esineb Heiko Herrmann (KübI) teemal "Analytical Description of Fibre Orientation Distributions in Short Fibre Reinforced Materials based on mCT Imaging".
  • 27.8.2012, 16:30, KübI B 101. CENSi seminar: esineb Viktoria Berg (?) teemal "Discrete Element Simulation of SFRC".
  • 23.8.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Ahrendt (Chalmersi Tehnikaülikool) räägib teemal "To be or not to be created: abstract object creation in dynamic logic" (vaata abstrakti).
  • 21.8.2012, 16:00, KübI B 101. CENSi seminar: esineb Vesa Välimäki (Aalto Ülikool) teemal "Musical Acoustics".
  • 6.8.2012, 16:00, KübI B 101. CENSi seminar: esineb Boyko Ranguelov (Bulgaaria Teaduste Akadeemia kosmoseuuringute instituut) teemal "Natural hazards - nonlinearities and applications".
  • 5.7.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Danel Ahman (Cambridge'i Ülikool) räägib teemal Computational effects, algebraic theories and normalization by evaluation (vaata abstrakti).
  • 18.6.2012, 16:00, KübI B 101. CENSi seminar: esineb Maija Viška (KübI) teemal "Modelling of shoreline evolution".
  • 11.6.2012, 16:00, KübI B 101. CENSi seminar: esineb Kert Tamm (KübI) teemal"The Role of Nonlinearity and Dispersion on Wave Motion in Microstructured Solids".
  • 11.6.2012, 11:00, TTÜ II - 309. TTÜ automaatikainstituudi doktorant Juri Belikov (KübI) kaitseb oma doktoritööd "Polynomial Methods for Nonlinear Control Systems" (Polünoommeetodid mittelineaarsetes juhtimissüsteemides) (doktoritöö). Juhendaja dots Eduard Petlenkov (TTÜ), konsultant juhtivteadur Ülle Kotta (KübI), oponendid prof Henk Nijmeijer (Eindhoven University of Technology, Holland) ning prof Anna Maria Perdon (Universitá Politecnica delle Marche, Itaalia).
  • Küberneetika Instituut korraldab 6.-9. juunini "17th International Conference on Mathematical Modelling and Analysis" (MMA2012) (vaata http://www.ioc.ee/mma2012).
  • 7.6.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Éric Badouel (INRIA Rennes) räägib teemal "On the α-reconstructibility of workflow nets" (vaata abstrakti).
  • 4.6.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Éric Badouel (INRIA Rennes) räägib teemal "Modelling workflow systems with active folders" (vaata abstrakti).
  • 5.6.2012, 14:00, KübI B 101. NELJANDA PRANTSUSE TEADUSKUU Eestis raames korraldab KübI koostöös Prantsuse Instituudiga KEELETEHNOLOOGIA TÖÖPAJA (vaata kava).
  • 1.6.2012, 11:00, KübI B 101. Juhtimissüsteemide seminar: esineb Dr Claude Moog1 (IRCCyN, Nantes, Prantsusmaa) teemal "Nonlinear time-delay control systems theory" (vaata abstrakti).
  • 31.5.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Matthieu Sozeau (INRIA Paris) räägib teemal "Equations: a dependent pattern-matching compiler" (vaata abstrakti).
  • 28.5.2012, 16:00, KübI B 101. CENSi seminar: esineb Vesa Välimäki (Aalto Ülikool).
  • 25.5.2012, 12:00, KübI B 101. Andrei Errapart (KübI) kaitseb oma doktoritööd "Photoelastic Tomography in Linear and Non-linear Approximation" (Fotoelastsustomograafia lineaarses ja mittelineaarses lähenduses) (doktoritöö). Juhendaja juhtivteadur Hillar Aben (KübI), oponendid prof Emmanuel Gdoutus (Democritus University of Thrace, Kreeka) ning dr Jonathan Williams (Pilkingtoni Tehnoloogiakeskus, Suurbritannia).
  • 22.5.2012, 14:00, K B 308. Juhtimissüsteemide seminar: esineb Seshadhri Srinivasan (KübI) teemal "Control and optimization Challenges in smart grids".
  • 21.5.2012, 16:00, KübI B 101. CENSi seminar: esineb Anatoli Stulov (KübI) teemal "Gradient-elastic model for description of wave processes in nonlinear geomechanics".
  • 21.5.2012, 10:00, KübI C 330. Arvutiteaduse seminar: Alejandro Russo (Chalmersi Ülikool) räägib teemal "Information flow control for concurrent covert termination and timing channels" (vaata abstrakti).
  • 15.5.2012, 14:00, KübI B101. Arvutiteaduse seminar: Boriss Šelajev (KübI) räägib teemal "C# programs correctness verification using Spec# tool".
  • 14.5.2012, 16:00, KübI B 101. CENSi seminar: esineb Mihkel Heidelberg (Tartu Ülikool) teemal "On the transport of passive scalars in two-dimensional stationary velocity fields".
  • 10.5.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Categorical models for two intuitionistic modal logics" (vaata abstrakti).
  • 7.5.2012, 16:00, KübI B 101. CENSi seminar: esineb Andrei Errapart (KübI) teemal "Photoelastic tomography in linear and nonlinear approximation".
  • 3.5.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Silvio Capobianco (KübI) räägib teemal "The Tarski alternative and the Garden-of-Eden theorem" (vaata abstrakti).
  • 26.4.2012, 14:00, KübI B 126. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "An introduction to category theory and categorical logic" (jätkub) (vaata abstrakti).
  • 23.4.2012, 17:00, KübI B 101. CENSi seminar: esinevad Andrea Giudici "On the compressibility of surface currents in the Gulf of Finland, the Baltic Sea", Maija Viška "Hindcast of sediment flow along the Curonian Spit under different wave climates", Rain Männikus "Optimizing breakwater configuration for vessel wakes and wind waves".
  • 19.4.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "An introduction to category theory and categorical logic" (vaata abstrakti).
  • 16.4.2012, 16:00, KübI B 101. CENSi seminar: esinevad Irina Nikolkina "Rogue waves in the World", Mihhail Zujev ja Katri Pindsoo "Decadal and long-term variations in the wave climate at the Latvian coast of the Baltic Proper" ning Artem Rodin "A typical wave wake from high-speed vessels: its group structure and run-up".
  • 12.4.2012, 14:00, KübI B 101. David W. Schryer (KübI) kaitseb oma doktoritööd "Metabolic Flux Analysis of Compartmentalized Systems using Dynamic Isotopologue Modeling" (Isotopoloogilise modelleerimise rakendamine heterogeensete bioloogiliste süsteemide ainevahetusvoo analüüsis) (abstrakt, doktoritöö). Juhendajad vanemteadur Marko Vendelin (KübI), professor Toomas Paalme (TTÜ), vanemteadur Pearu Peterson (KübI), oponendid Katharina Nöh (Forschungszentrum Jülich GmbH) ning professor Tanel Tenson (TÜ).
  • 12.4.2012, 10:30, KübI B 101. CENSi seminar: esineb Katharina Nöh (Forschungszentrum Jülich GmbH).
  • 4.4.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Tomas Petricek (Cambridge'i Ülikool) räägib teemal "Towards comonadic coeffect systems" (abstrakt).
  • 2.4.2012, 16:00, KübI B 101. CENSi seminar: esineb Arkadi Berezovski (KübI) teemal "On the high-order dispersion wave equations".
  • 24. märtsist 1. aprillini 2012 korraldavad KübI ja Arvutiteaduse tippkeskus Tallinnas TTÜs (workshopid) ja Swissotellis Euroopa tarkvarateaduse tippkonverentsi ETAPS 2012.
  • 30.–31. märtsil 2012 Vene Teaduste Akadeemia delegatsiooni Eesti visiidi raames külastasid Küberneetika Instituuti Venemaa Teaduste Akadeemia asepresident N.P.Laverov, Maa-teaduste osakonna juhataja A.O.Gliko ja välisprojektide osakonna juhataja Y.K.Shiyan.
  • 26.3.2012, 16:00, KübI B 101. CENSi seminar: esineb Tarmo Soomere (KübI) teemal "Simulated sediment transport patterns along sedimentary coasts of the eastern Baltic Sea".
  • ÕNNITLEME! Aasta 2011.a keeleteo peaauhinna võitis Tanel Alumäe ja Kaarel Kaljuranna „Kõnetuvastusrakendusi nutitelefonidele“ (loe ERR uudist).
  • 23.3.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Jacques Sakarovitch (CNRS & ENST, Prantsusmaa) räägib teemal "An introduction to the study of weighted automata: on rational languages with equal generating functions" (vaata abstrakti).
  • 19.3.2012, 16:00, KübI B 101. CENSi seminar: esineb Janusz Szwabinski (Wrocławi Ülikool) teemal "Stability of a food web with closed nutrient cycle".
  • 15.3.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Andri Saar (KübI) räägib teemal "Short introduction to the Erlang programming language".
  • 12.3.2012, 16:00, KübI B 101. CENSi seminar: esineb Anatoli Stulov (KübI) teemal "Pedaling piano".
  • 5.3.2012, 16:00, KübI B 101. CENSi seminar: esineb Marika Eik (KübI) teemal "Isotropic tensor functions in the context of constitutive theory for SFRC".
  • 26.02 - 02.03.2012 KübI ja EXCS korraldavad Palmses XVII Eesti Arvutiteaduse Talvekooli, EWSCS 2012 (vaata http://cs.ioc.ee/ewscs/2012/).
  • 27.2.2012, 16:00, KübI B 101. CENSi seminar: esineb Ivan Sertakov (KübI) teemal "2D wave motion in microstructured solids".
  • 23.2.2012, 13:00, KübI B 101. Ardo Illaste (KübI) kaitseb oma doktoritööd "Analysis of Molecular Movements in Cardiac Myocytes" (Molekulaarsete liikumiste analüüs südamelihasrakkudes) (abstrakt, doktoritöö). Juhendaja vanemteadur Marko Vendelin (KübI), oponendid prof Allen Kaasik (TÜ farmakoloogia instituut) ning dr Pasi Tavi (Ida Soome Ülikooli Biotehnoloogia ja Molekulaarmeditsiini osakonna teadusdirektor).
  • 23.2.2012, 10:00, KübI B 101. Seminar: esineb Dr. Pasi Tavi (Ida Soome Ülikooli Biotehnoloogia ja Molekulaarmeditsiini osakonna teadusdirektor) teemal "E-C-coupling and pacemaking of embryonic cardiomyocytes: Lessons from experiments and modeling".
  • 23.2.2012, 14:00, KübI C 321. Arvutiteaduse seminar: Keiko Nakata (KübI) räägib teemal "On some non-classical and non-constructive axioms" (vaata abstrakti).
  • ÕNNITLEME! Tarmo Soomere TTÜ aasta teadlane 2011 (vt. uudist).
  • ÕNNITLEME! Jaan Janno sai 2012. aasta riigi teaduspreemia täppisteaduste alal uurimistöö "Pöördülesanded mittehomogeensete materjalide ja keskkondade omaduste määramiseks" eest (täpsemalt).
  • 17.-18.02.2012 KübI koostöös EXCS-ga korraldab Tallinnas XXVII Foneetikapäevad (vaata http://www.ioc.ee/fp2012/).
  • 16.2.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Emulating linear types in Haskell"(vaata abstrakti).
  • 13.2.2012, 16:00, KübI B 101. CENSi seminar: esineb Ardo Illaste (KübI) teemal "Analysis of Molecular Movements in Cardiac Myocytes".
  • 9.2.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal A Lightweight Approach to Start Time Consistency in Haskell (abstrakt).
  • 6.2.2012, 16:00, KübI B 101. CENSi seminar: esineb Tamas Fulop (Ungari) teemal "Rheology, Plasticity, and Thermal Expansion in a Nonequilibrium Thermodynamical Framework".
  • 30.1.2012, 16:00, KübI B 101. CENSi seminar: esineb Dmitri Kartofelev (KübI) teemal "Deformation Wave Propagation in Felt: Dispersion Analysis".
  • 27.-29.01.2012 EXCS korraldab Kubijal järjekordsed Tallinna-Tartu vahelised arvutiteaduse teooriapäevad (vaata lähemalt).
  • 26.1.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Sergei Tupailo (Lissaboni Ülikool) räägib teemal "Consistency of strictly impredicative NF" (vaata abstrakti).
  • 24.1.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Sergei Tupailo (Lissaboni Ülikool) räägib teemal Specker's proof of infinity in NF (vaata abstrakti).
  • 23.1.2012, 16:00, KübI B 101. CENSi seminar: esineb David Schryer (KübI) teemal "Metabolic Flux Analysis of Compartmentalized Systems using Dynamic Isotopologue Modeling".
  • 19.1.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Denis Firsov (KübI) räägib teemal "Certified parsing"(vaata abstrakti).
  • 16.1.2012, 16:00, KübI B 101. CENSi seminar: esineb Arvi Ravasoo (KübI) teemal "TBA".
  • 12.1.2012, 14:00, KübI B 101. Arvutiteaduse seminar: James Chapman (KübI) räägib teemal "Relative Monads and Lambda Calculus".
  • 9.1.2012, 16:00, KübI B 101. CENSi seminar: esineb Jüri Vain (KübI) teemal "On the analysis problems of emerging behavior of robot swarms".
  • 6.1.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Boriss Šelajev (KübI) räägib teemal "KeY system".
  • 5.1.2012, 14:00, KübI B 101. Arvutiteaduse seminar: Peeter Laud (Cybernetica) räägib teemal "Identity-based encryption and the generic group model" (vaata abstrakti).
  • 5.1.2012, 16:00, KübI B 101. CENSi seminar: esineb Mihkel Kree (Marseille Ülikool) teemal "Correlation of the admixture originating from separate sources and mixed by a turbulent flow".

Viimati muutnud: 2017/08/16 17:33