ANNOUNCEMENTS

[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. Computer Science Seminar: Tomas Petricek (University of Cambridge) talks about "Tracking contextual program properties with structural coeffects" (see abstract).
  • 9.12.2013, 16:00, KübI B 101. CENS Seminar: speaker Arvi Ravasoo (IoC) about "Qualitative acoustodiagnostics with parametric plots".
  • 3.12.2013, 14:00, SCI-120 (Akadeemia tee 15). CENS Seminar: speaker Prof. Ernst Niggli (Univ. of Bern, Dept. of Physiology) about "β-Adrenergic Stimulation: Protein Kinase Modulation of Cardiac Rynodine Receptors".
  • November 29-30, 2013 The IoC Autumn Workshop combined with Christmas celebration at Roosta Puhkeküla: www.roosta.ee (see programme).
  • 28.11.2013, 14:00, KübI B 101. Computer Science Seminar: Shin-ya Katsumata (Kyoto Univ.) talks about "Parametric effect monads and semantics of effect systems" (see abstract).
  • 27.11.2013, 11:00, KübI B 308. Control Systems Seminar: speaker Monika Ciulkin (Bialystok University of Technology, Poland) about "Linearization by input-output injections on homogeneous time scales".
  • 25.11.2013, 16:00, KübI B 101. CENS Seminar: speaker Dmitri Kartofelev (IoC) about "Propagation of deformation waves in wool felt".
  • On November 20-22, 2013 TUT Department of Computer Science and IoC organise in Tallinn the 25th Nordic Workshop on Programming Theory, NWPT 2013 (see http://cs.ioc.ee/nwpt13/).
  • 18.11.2013, 16:00, KübI B 101. CENS Seminar: speaker Arkadi Berezovski (IoC) about "On the structure of generalized continuum theories".
  • 14.11.2013, 14:00, KübI B 101. Computer Science Seminar: Sergei Tupailo (Univ. of Lisbon) talks about "R. Holmes on consistency of NF" (see abstract).
  • 13.11.2013, 16:00, Akadeemia maja, Kohtu 6. academician Tarmo Uustalu gives a public lecture "Kaaperdatud teadus" ("Hijacked science") (in Estonian).
  • CONGRATULATIONS! The Board of the Cultural Foundation of the President has decided to grant President of the Republic’s Special Physical Sciences Award to Senior Researcher of IoC Jaan Kalda.
  • 11.11.2013, 16:00, KübI B 101. CENS Seminar: speaker Kert Tamm (IoC) about "Numerical study of the wave propagation in Mindlin-type double microstructured solids".
  • 8.11.2013, 10:30, KübI B 101. Intense Day on "Waves and Climate Tolerance" (see program). Everybody interested are welcome.
  • 8.11.2013, 14:30, KübI B 101. PhD student of IoC Inga Zaitseva-Pärnaste defends her PhD thesis "Wave Climate and its Decadal Changes in the Baltic Sea Derived from Visual Observations" (PhD thesis). Supervisor leading research scientist Tarmo Soomere (IoC), opponents Prof. Dr. Leonid Lopatukhin (Saint Petersburg State University, Russia) and Dr. Piia Post (University of Tartu).
  • 4.11.2013, 16:00, KübI B 101. CENS Seminar: speaker Jakob Jõgi (doctoral student of Univ. of Tartu) about "MD modeling of mechanical properties of nanowires".
  • October 28-29, 2013 in Laulasmaa international seminar of IoC ICT programme project "Model-Based Java Software Development Technology".
  • On October 25-27, 2013 IoC organises the Estonian Computer Science Theory Days at Saka (see http://www.cs.ioc.ee/~tarmo/tday-torve/).
  • 22-23 October 2013 in Academy Hall (Kohtu 6): Estonian Academy of Sciences, Council of Estonian Centres of Excellence in Research and Estonian Research Council organize a conference “Excellence in Research” (programme, registration).
  • 21.10.2013, 16:00, KübI B 101. CENS Seminar: speaker Tanel Peets (IoC) about "Dispersion in 2-layer bar".
  • French Institute in Estonia invites within the Month of Science in Estonia to attend:
    9.10.2013, 16:00, TTÜ VII-131. Francesca Lanata "Timber structures: monitoring of daily static and dynamic behaviour"
    15.10.2013, 17:00, TTÜ VI-304. Aurélien Jeanjean "Digitising structures made of different materials considering environment-caused deformations"
    (lectures are in English, see full French Month of Science program in Tallinn).
  • 15.10.2013, 14:00, KübI B 101. Computer Science Seminar: Silvio Capobianco (IoC) talks about "Normality, randomness, and the Garden of Eden" (see abstract).
  • 9.10.2013, 16:00, KübI B 101. CENS Seminar: Prof. Claes Hedberg and Prof. Lars Håkansson (Blekinge Institute of Technology, Sweden) speak about "Remote health monitoring of structures and machines".
  • 3.10.2013, 11:00, KübI B 101. Computer Science Seminar: Hugo Herbelin (INRIA Rocquencourt) talks about "Duality in sequent calculus and abstract machines"abstract).
  • 2.10.2013, 15:00, KübI B 101. Control Systems Seminar: Thomas Cluzeau (University of Limoges, France) talks about "An algebraic analysis approach to the simplification of systems of linear functional equations" (see abstract).
  • 1.10.2013, 11:00, KübI B 101. Control Systems Seminar: Alban Quadrat (INRIA, Saclay - Ile-de-France, France) talks about "Algebraic analysis of linear functional systems" (see abstract).
  • 30.9.2013, 16:00, KübI B 101. CENS Seminar: speaker Igor Medvedev (P.P.Shirshov Institute of Oceanology) about "Spectrum of sea level oscillations in the Baltic Sea: influence of internal and external factors".
  • CONGRATULATIONS! IoC leading research scientist Tarmo Soomere is getting the friend of science journalism award Ökul of 2013 given out by Estonian Science Writers Association.
    The award ceremony will be held within Researchers' Night events, on Sep 27th at 8 PM in Tallinn, in the tower of Fat Margaret.
  • JOB OPPORTUNITIES for the following positions: SENIOR RESEARCHERS in engineering physics and biophysics, photoelasticity, and computer science and RESEARCHERS in econophysics, computer science.
    Application DEADLINE Sep 27, 2013 (see advertisement).
  • 24.9.2013, 11:00, KübI B 101. PhD student of IoC Vadim Kaparin defends his PhD thesis "Transformation of Nonlinear State Equations into Observer Form" (PhD thesis). Supervisor Dr Ülle Kotta (IoC), opponents Prof Witold Respondek (INSA de Rouen, France) and Prof Xiaohua Xia (Univ of Pretoria, South Africa).
  • 23.9.2013, 16:00, KübI B 101. CENS Seminar: speaker Dr. Rao Appadu (Univ of Pretoria, South Africa) about "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. Computer Science Seminar: Sergei Tupailo (Univ. of Lisbon) talks about "Abstract constructive ordinals and ordinal notations" (see abstract).
  • 18.9.2013, 14:30, KübI B 101. Control Systems Seminar: PhD student of IoC Vadim Kaparin speaks about his PhD thesis "Transformation of Nonlinear State Equations into Observer Form" (see the thesis).
  • 17.9.2013At TUT 95th anniversary ceremony Prof em Reino Kurki-Suonio (Tampere Univ of Tech), member of EXCS international advisory board, will be conferred the title of Honorary Doctor of TUT.
  • 16.9.2013, 14:00At TUT I-202 Honorary Doctor of TUT Prof em of Tampere University of Technology Reino Kurki-Suonio will give the Doctor honoris causa lecture "From electronic brains to ubiquituous computing: recollections and visions of a participating observer" (see abstract).
  • 12.9.2013, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about "Containers that are monads".
  • 3.9.2013, 14:00Festive meeting of the 53nd birthday of the Institute of Cybernetics in the big hall of the House of Cybernetics.
  • 22.8.2013, 13:00, KübI B 101. PhD student of IoC Mervi Sepp defends her PhD thesis "Estimation of Diffusion Restrictions in Cardiomyocytes Using Kinetic Measurements" (PhD thesis).. Supervisors Dr Marko Vendelin (IoC), opponents Dr Jeroen Jeneson (Eindhoven Univ of Tech), Prof Agu Laisk (Tartu Univ).
  • 4.7.2013, 14:00, KübI B 101. Computer Science Seminar: Andreas Abel (LMU München) talks about "Copatterns: programming infinite structures by observations" (see abstract).
  • 27.6.2013, 14:00, KübI B 101. Computer Science Seminar: Bruno Woltzenlogel Paleo (TU Wien) talks about "Techniques for proof compression" (see abstract).
  • 26.6.2013, 10:30, KübI B 101. CENS Seminar: speaker Sergey M. Varlamov (JAMSTEC, Yokohama, Japan) about "Ocean Downscaled Modeling Activities in Japan Agency for Marine-Earth Science and Technology (JAMSTEC)".
  • 20.6.2013, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Combining linear and temporal logic" (see abstract).
  • 18.6.2013, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Categorical semantics for linear logic" (see abstract).
  • 17.6.2013, 16:00, KübI B 101. CENS Seminar: speaker Pearu Peterson (IoC) about "Complexity of the new computing cluster at CENS".
  • 3.6.2013, 14:00, KübI B 101. Computer Science Seminar: Bruce Watson (Stellenbosch University) talks about Correctness-by-construction in stringology (see abstract).
  • 3.6.2013, 16:00, KübI B 101. CENS Seminar: speaker Margit Vallikivi (Princeton Univ.) about "Nano-Scale Sensors and Extreme Reynolds Numbers".
  • 30.5.2013, 14:00, KübI B 101. Computer Science Seminar: Niccolò Veltri (IoC) talks about On the axiom of univalence (based on talks by Steve Awodey at TYPES 2013).
  • 27.5.2013, 16:00, KübI B 101. CENS Seminar: speaker Emiliano Pastorelli (IoC) about "Immersive virtual reality for scientific visualization".
  • 20.5.2013, 16:00, KübI B 101. CENS Seminar: speaker Bert Viikmäe (IoC) about "Background of circulation and wave modelling: equations, scales, basic types of motion".
  • 16.5.2013, 14:00, KübI B 101. Computer Science Seminar: Elmo Todurov (IoC) talks about Safe dynamic software updating in the context of multithreading.
  • April 3 till May 2 2013 the election session for IoC new Research Council. The election commission (Otu Vaarmann, Maris Tõnso, Monika Perkmann) has registered 10 candidates (see more info).
    The first round of the election succeeded, members to the Research Council have been elected (see the results).
    As of May 1 IoC has a new research council appointed.
  • 6.5.2013, 16:00, KübI B 101. CENS Seminar: Andres Udal (TUT) gives a talk on Quantum Philosophy "Intro to quantum philosophy and quantum-IT".
  • 29.4.2013, 16:00, KübI B 101. CENS Seminar: speaker Indrek Mandre (IoC PhD student) about "Intersections of moving fractal sets".
  • 22.4.2013, 16:00, KübI B 101. CENS Seminar: speaker Arkadi Berezovski (IoC) about "Waves and discontinuities in solids".
  • 18.4.2013, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about "Update monads: cointerpreting directed containers".
  • 11.4.2013, 14:00, KübI B 101. Computer Science Seminar: Boriss Šelajev (IoC) talks about "Extending dynamic logic for reasoning about reachable intermediate states ".
  • 8.4.2013, 16:00, KübI B 101. CENS Seminar: speakers Hillar Aben (IoC) about 200 years from the discovery of the photoelastic effect in glass and Johan Anton (IoC) about "Glasstress - a company between science and glass industry" followed by a visit to the laboratory of photoelasticity.
  • 5.4.2013Visit of the US Ambassador H.E Jeffrey D. Levine to the Institute of Cybernetics (see photos).
  • 1.4.2013, 16:00, KübI B 101. CENS Seminar: speaker Inga Zaitseva-Pärnaste (IoC) about "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. CENS Seminar: speaker Mihkel Kree (IoC) about "Mixing properties of stationary flows in porous media".
  • 11.3.2013, 16:00, KübI B 101. CENS Seminar: speaker Andrea Giudici (IoC) about "Residence time of water and pollution in semi-enclosed seas".
  • 3. - 8.03.2013 Institute of Cybernetics and EXCS organize in Palmse the 18th Estonian Winter School in Computer Science, EWSCS 2013 (see http://cs.ioc.ee/ewscs/2013/).
  • 4.3.2013, 16:00, KübI B 101. CENS Seminar: speaker Emiliano Pastorelli (IoC) about "Dynamic time warping : method and applications on electric cars behavior analysis".
  • 1.3.2013, 14:00, KübI B 101. Computer Science Seminar: Elmo Todurov (IoC) continues to report on the paper G. Stoyle, M. Hicks, G. Bierman, P. Sewell, I. Neamtiu, "Mutatis mutandis: safe and predictable dynamic software updating", TOPLAS 2007.
  • 28.2.2013, 14:00, KübI B 101. Computer Science Seminar: Elmo Todurov (IoC) reports on a paper G. Stoyle, M. Hicks, G. Bierman, P. Sewell, I. Neamtiu, "Mutatis mutandis: safe and predictable dynamic software updating", TOPLAS 2007.
  • 26.2.2013, 14:00in big Hall of House of Cybernetics. Festive meeting to celebrate the 95th Anniversary of Estonian Republic. Jaak Juske presents "A Walk around Tallinn at the time the Republic was born" (in Estonian).
  • 25.2.2013, 16:00, KübI B 101. CENS Seminar: speaker Irina Didenkulova (IoC) about "Rogue waves in the basin of intermediate depth and the possibility of their formation due to the modulational instability".
  • CONGRATULATIONS! Tarmo Soomere was awarded a 2013 National Science Award in technical sciences for his work "Quantification and mitigation of marine coastal hazards in the Baltic Sea basin".
  • 21.2.2013, 14:00, KübI B 101. Computer Science Seminar: Robin Cockett (Univ. of Calgary) 5th lecture in the series on "Introduction to restriction categories" (see details).
  • 19.2.2013, 11:00, KübI B 101. Computer Science Seminar: Robin Cockett (Univ. of Calgary) 4th lecture in the series on "Introduction to restriction categories" (see details).
  • 18.2.2013, 16:00, KübI B 101. CENS Seminar: speaker Kert Tamm (IoC) about "Numerical study of the wave propagation in Mindlin-type microstructured solids".
  • Apply for the position of Senior Researcher in speech technology. Application deadline 15.02.2013 (more details).
  • CONGRATULATIONS! The President awarded Andrus Salupere with the IV Class Order of the White Star.
  • CONGRATULATIONS! The President awarded Jaan Kalda with the V Class Order of the White Star.
  • 14.2.2013, 14:00, KübI B 101. Computer Science Seminar: Robin Cockett (Univ. of Calgary) 3rd lecture in the series on "Introduction to restriction categories" (see details).
  • 12.2.2013, 11:00, KübI B 101. Computer Science Seminar: Robin Cockett (Univ. of Calgary) 2nd lecture in the series on "Introduction to restriction categories" (see details).
  • 11.2.2013, 16:00, KübI B 101. CENS Seminar: speaker Bert Viikmäe (IoC) about "Modelling and structure identification of surface currents in shallow, microtidal sea basins".
  • CONGRATULATIONS! Medal of the Baltic Academies of Sciences was awarded to Tarmo Soomere for outstanding results in research cooperation between Estonia, Latvia and Lithuania in marine sciences (the the medal).
  • 7.2.2013, 14:00, KübI B 101. Computer Science Seminar: Denis Firsov (IoC) talks about "Overview of formalized developments for regexps".
  • 4.2.2013, 16:00, KübI B 101. CENS Seminar: speakers Mihkel Heidelberg and Kaspar Kallip (IoC) about "Mixing efficiently nanoparticles".
  • 5.2.2013, 11:00, KübI B 101. Computer Science Seminar: Robin Cockett (Univ. of Calgary) starts lecture series on "Introduction to restriction categories" (see details).
  • 1.-3.02.2013 EXCS organises at Otepää Estonian Computer Science Theory Days (see details).
  • 31.1.2013, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about "Coinductive big-step semantics for concurrency" (see abstract).
  • 30.1.2013, 14:30Ambassador of Germany in Estonia H.E. Mr. Christian Matthias Schlaga starts his visit to Institute of Cybernetics at TUT.
  • 21.1.2013, 16:00, KübI B 101. CENS Seminar: speaker Tomas Torsvik (IoC) about "Identification of ship wake characteristics by means of a time-frequency analysis method".
  • Computer Science Seminar: 15.-16.01.2013 starting at 11:00, IoC B 101. Miniworkshop about "Deductive program verification in Why3". Speaker Jean-Christophe Filliatre, LRI, Université Paris Sud 11 (see abstract and http://why3.lri.fr/tallinn-2013/).
  • 7.1.2013, 16:00, KübI B 101. CENS Seminar: speaker Jaan Kalda (IoC) about "Scaling behaviour reveals creative problems of physics contests".
  • 3.1.2013, 14:00, KübI B 101. Computer Science Seminar: Denis Firsov (IoC) talks about "Certified normalization of CFGs and CYK parsing".

Last modified: 2017/08/16 18:58