ANNOUNCEMENTS

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

  • 17.12.2010, 14:00, B 316. Control Systems Seminar: speaker Tanel Mullari (IoC) about "Accessibility of discrete time systems".
  • 13.12.2010, 16:00, KübI B 101. CENS Seminar: speaker Arvi Ravasoo (IoC) about Counter-propagation of bursts in functionally graded material.
  • 9.12.2010, 14:00, KübI B 101. Computer Science Seminar: Bernd Fischer (University of Southampton) talks about Industrial-strength certified SAT solving through verified SAT proof checking (see abstract).
  • 8.12.2010, 14:00, KübI B 101. Computer Science Seminar: Neville Grech (Univ of Southampton) talks about Preemptive type checking in dynamically typed programs (see abstract).
  • 2.12.2010, 14:00, KübI B 101. Computer Science Seminar: Lu?­s Pinto (Univ. of Minho, Braga, Portugal) talks about Monadic translation of sequent calculus for classical logic (see abstract).
  • 29.11.2010, 16:00, KübI B 101. CENS Seminar: speaker Andres Braunbrück (IoC) about Multiple reflections of a harmonic burst and resonances .
  • 26.11.2010, 14:00, B 316. Control Systems Seminar: speaker Arvo Kaldmäe (Tartu U Master student) about Algebraic closure of a finite field.
  • 22.11.2010, 16:00, KübI B 101. CENS Seminar: speaker Mihkel Heidelberg about On the turbulent transport in 2D quasi-stationary velocity fields.
  • 17.11.2010, 11:00, KübI B 101. Doctoral student of IoC Pavel Grigorenko defends his thesis "Higher-Order Attribute Semantics of Flat Languages". Supervisor leading research scientist Enn Tõugu(IoC). Oponents Prof Mihhail Matskin (KTH, Stockholm) and Prof Merik Meriste (Univ. of Tartu).
  • 12.11.2010, 14:00, KübI B 101. Control Systems Seminar: speaker Ewa Pawluszewicz (Bialystok University of Technology, Poland) about Linear fractional systems with finite memory.
  • 1.11.2010, 16:00, KübI B 101. CENS Seminar: speaker Heiko Herrmann (ioC).
  • 22.10.2010, 10:00, KübI B 101. CENS Seminar: Workshop RECENT PROBLEMS IN NONLINEAR DYNAMICS (see workshop AGENDA).
  • 21.10.2010, 11:00, KübI B 101. Doctoral student of TUT Merle Randrüüt defends her thesis "Wave Propagation in Microstructured Solids: Solitary and Periodic Waves". Supervisors Prof Jüri Engelbrecht and Prof Andrus Salupere (IoC). Oponents Prof Franco Pastrone (Univ. of Torino) and leading research scientist Aleksei V. Porubov (Institute of Problems in Mechanical Engineering, St. Petersburg).
  • 18.10.2010, 16:00, KübI B 101. CENS Seminar: speaker Ira Didenkulova (IoC) about Statistical characteristics of long waves nearshore.
  • 11.10.2010, 16:00, KübI B 101. CENS Seminar: speaker Arkadi Berezovski (IoC) about Dynamics of Two-scale Microstructure.
  • 7.10.2010, 14:00, KübI B 101. Computer Science Seminar: Margarita Spitšakova (IoC) talks about Gravitational Search Algorithm (see abstract).
  • 6.10.2010, 13:30, KübI B 101. Computer Science Seminar: Michael Reichhardt Hansen (Danmarks TU) talks about Decision algorithms for Presburger arithmetic (see abstract).
  • 4.10.2010, 16:00, KübI B 101. CENS Seminar: speakers Dmitri Kartofelev and Anatoli Stulov (IoC) about Influence of the Edge of the Cast Iron Frame Curvature on the Spectrum of the Piano String Vibrations.
  • CONGRATULATIONS to the Winners of IoC Best Paper of 2009! (details).
  • 31.8.2010, 13:00, TÜ nõukogu saal. CONGRATULATIONS! Doctoral student of UT Tanel Mullari defended successfully his thesis On the second order relativistic deviation equation and its applications. Supervisor Prof. Risto Tammelo (Inst of Physics, UT). Oponents Prof. Roman Plyatsko (Inst. of Applied Problems in Mech. and Math., Ukrainian National Acad. of Sci) and Prof. Väino Unt (Tartu Observatory).
  • 9.9.2010, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about Relating sequent calculi for bi-intuitionistic propositional logic (see abstract).
  • 6.9.2010, 16:00, KübI B 101. CENS Seminar: speaker Marco Patriarca (NICPB) about A variational principle for the Pareto power-law (see abstract).
  • : ANNIVERSARY EVENTS!
    ANNIVERSARY EVENTS
  • 1.9.2010, 14:00, KübI B 101. Computer Science Seminar: Prof. Jarkko Kari (Univ. of Turku) talks about Tilings and undecidability in cellular automata (see abstract).
  • 31.8.2010a miniworkshop on Cellular Automata Software in IoC (organiser Dr. Silvio Capobianco, more info)
  • 19.8.2010, 14:00, KübI B 101. Computer Science Seminar: Romain Demangeon (LIP, ENS Lyon) talks about Termination for concurrent processes (see abstract).
  • On Aug 7-11, 2010 CENS organises a summer school Scientific Computing in IoC, which focuses on iterative solvers for large systems of algebraic equations and parallel programming. (contact Dr. Heiko Hermann, see poster).
  • CONGRATULATIONS! On July 11, 2010 Ants Rumberg our electrical assembly locksmith of Laboratory of Photoelasticity turns 80.
  • 22.6.2010, 10:00, KübI B 101. Doctoral student of TUT Andrus Räämet defends his PhD thesis "Spatio-temporal variability of the Baltic Sea wave fields". Supervisor Prof Tarmo Soomere (IoC). Oponents: Dr. Arno Behrens (Coastal Research Institute, GKSS Geesthacht, Germany) and Prof Sirje Keevallik (TTÜ Meresüsteemide instituut). (see the thesis).
  • 21.6.2010, 11:00, KübI B 101. Doctoral student of TUT Mihhail Berezovski defends his PhD thesis "Numerical Simulation of Wave Propagation in Heterogeneous and Microstrucured Materials". Supervisor Prof Jüri Engelbrecht (IoC). Oponents: Dr. JiŠ™?­ Plešek (Inst. of Thermomechanics AS CR, Prague, Czech Republic) and Prof Harm Askes (Sheffield Univ., UK). (see the thesis).
  • 18.6.2010, 12:30, KübI B 101. CENS Seminar: speaker Harm Askes (Univ. of Sheffield, UK) about The use of inertial penalty functions in computational mechanics (more).
  • 18.6.2010, 13:30, KübI B 101. CENS Seminar: speaker Inna Gitman (Univ. of Sheffield, UK) about Multi-scale methods and the determination of representative volume elements in solid mechanics (more).
  • HAPPY BIRTHDAY! On June 14, 2010 Head of Library Marje Tamm's jubilee.
  • 14.6.2010, 16:00, KübI B 101. CENS Seminar: speaker Ivar Annus (TUT, Dept. of Mechanics) about Transition to Turbulence in Accelerating Flows.
  • 3.6.2010, 14:00, KübI B 101. Computer Science Seminar: Hellis Tamm (IoC) talks about Some minimality results on biresidual and biseparable automata (see abstract).
  • 27.5.2010, 14:00, KübI B 101. Computer Science Seminar: Thorsten Altenkirch (Univ. of Nottingham, UK) talks about Mixing induction and coinduction in Agda (see abstract).
  • CONGRATULATIONS! On May 24, 2010 a senior researcher and head of software department Ahto Kalja turned 60.
  • : JOB OPPORTUNITIES accademic positions at Institute of Cybernetics at TUT for the period 01.09.2010 - 31.08.2015, deadline May 25th, 2010 (see advertisement)
  • CONGRATULATIONS! The 2010 spring scholarship of Tiina Mõis was awarded to Mervi Sepp (vt. Spring 2010 scholarships of Development Foundation of Tallinn University of Technology).
  • 24.5.2010, 16:00, KübI B 101. CENS Seminar: speakers Tarmo Soomere and Ira Didenkulova (IoC), Kevin Parnell (James Cook Univ., Australia) about Water transport in groups of nonlinear wake waves from high-speed vessels .
  • CONGRATULATIONS! On May 20, 2010 a leading scientist in computer science Enn Tyugu turned 75.
  • 20.5.2010, 14:00, KübI B 101. Computer Science Seminar: Alberto Pardo (Montevideo) talks about A security types preserving compiler in Haskell (see abstract).
  • 19.5.2010, 16:15, KübI B 101. Computer Science Seminar: Fifth (the last) seminar in the cycle INTRODUCTION TO SYMBOLIC DYNAMICS, speaker Silvio Capobianco (IoC) (see details).
  • CONGRATULATIONS! One of 2010 Jaan Poska scholarships was awarded to Juri Belikov (vt. Jaan Poska Scholarships announced).
  • 13.5.2010, 16:00, KübI B 401. Computer Science Seminar: Tarmo Uustalu (IoC) talks about Resumptions, weak bisimilarity and big-step semantics for interactive input-output: an exercise in mixed induction-coinduction (see abstract).
  • 12.5.2010, 16:00, KübI B 101. Computer Science Seminar: Fourth seminar in the cycle INTRODUCTION TO SYMBOLIC DYNAMICS, speaker Silvio Capobianco (IoC) (see details).
  • 6.5.2010, 14:00, KübI B 101. Computer Science Seminar: Andres Toom (IoC) talks about Verifying simple imperative programs with the Coq proof assistant (see abstract).
  • 6.5.2010, 11:00, KübI B 101. Fourth lecture of ICT course ALGEBRAIC METHODS IN NONLINEAR CONTROL SYSTEMS, Lecturer Prof Alexey. N. Zhirabok from Far Eastern State Technical University (see abstract).
  • 3.5.2010, 16:00, KübI B 101. CENS Seminar: speaker Jaan Kalda (IoC) about Statistical topography of random surfaces: scaling laws and applications.
  • 3.5.2010, 14:00, KübI B 101. Third lecture of ICT course ALGEBRAIC METHODS IN NONLINEAR CONTROL SYSTEMS, Lecturer Prof Alexey. N. Zhirabok from Far Eastern State Technical University (see abstract).
  • 29.4.2010, 11:00, KübI B 101. Second lecture of ICT course ALGEBRAIC METHODS IN NONLINEAR CONTROL SYSTEMS, Lecturer Prof Alexey. N. Zhirabok from Far Eastern State Technical University (see abstract).
  • 28.4.2010, 16:00, KübI B 101. Computer Science Seminar: Third seminar in the cycle INTRODUCTION TO SYMBOLIC DYNAMICS, speaker Silvio Capobianco (IoC) (see details).
  • 26.4.2010, 14:00, KübI B 101. First lecture of ICT course ALGEBRAIC METHODS IN NONLINEAR CONTROL SYSTEMS, Lecturer Prof Alexey. N. Zhirabok from Far Eastern State Technical University (see abstract).
  • 26.4.2010, 16:00, KübI B 101. CENS Seminar: speaker Andrus Räämet (IoC) about Spatio-temporal variability and trends of the wave climate: examples from the North Sea and the Baltic Sea.
  • 19.4.2010, 16:00, KübI B 101. CENS Seminar: speaker Andres Braunbrück (IoC) about On multiple reflections of a harmonic burst in inhomogeneous material.
  • 14.4.2010, 16:00, KübI B 101. Computer Science Seminar: Second seminar in the cycle INTRODUCTION TO SYMBOLIC DYNAMICS, speaker Silvio Capobianco (IoC) (see details).
  • 13.4.2010, 16:00In IoC Big Hall TUT research institutions meet with Rector candidates. At 4 PM Andres Keevallik presents his platform and answers questions and at 5 PM Peep Sürje does the same (more about election, in Estonian).
  • 12.4.2010, 16:00, KübI B 101. CENS Seminar: speaker Arkadi Berezovski (IoC) about Dispersive wave equations for microstructured solids.
  • 9.4.2010, 14:00, KübI B 101. Computer Science Seminar: Lu?­s Pinto (Uni do Minho, Portugal) talks about Proof search and counter-model construction for bi-intuitionistic propositional logic (see abstract).
  • 8.4.2010, 16:00, KübI C231. Computer Science Seminar: Keiko Nakata (IoC) talks about Lazy initialization for ML-style modules (see abstract).
  • 7.4.2010, 16:00, KübI B 101. Computer Science Seminar: First seminar in the cycle INTRODUCTION TO SYMBOLIC DYNAMICS, speaker Silvio Capobianco (IoC) (see details).
  • 5.4.2010, 16:00, KübI B 101. CENS Seminar: speaker Jakob Jõgi (Univ of Tartu) about Discrete element method simulation of sol-gel nanofilm cracking (see abstract).
  • 29.3.2010, 16:00, KübI B 101. CENS Seminar: Mechanics seminar - speaker Jaan Janno (IoC) about Solitary waves in a coupled system of microstructure and inverse problems.
  • 22.3.2010, 16:00, KübI B 101. CENS Seminar: speakers Prof. Martin Eerme and senior researcher Jüri Majak (TUT) about Engineer applications in TUT Machinery Department.
  • 11.3.2010, 14:00, KübI B 101. Computer Science Seminar: Andri Saar (IoC) talks about Relaxed memory models (ie how multicore processors work).
  • 9.3.2010, 14:00, KübI B 101. Computer Science Seminar: Juhan Ernits (Uni Birmingham) talks about Automated fault detection for Autosub6000: What we've achieved in a year (see abstract).
  • 8.3.2010, 16:00, KübI B 101. CENS Seminar: speaker Ira Didenkulova (IoC) about Coastal freak waves with an application to the Baltic sea.
  • From February 28 till March 5, 2010 Institute of Cybernetics organizes in Palmse the 15th Estonian Winter School in Computer Science, EWSCS 2010 (see http://cs.ioc.ee/ewscs/2010/).
  • : ATTENTION
    IoC employees!
    Since the old mailserver died, please read FIRST AID. Contact Riina Maigre for email reconfiguration. To recover files from greta ask Rein Lõugas
  • 1.3.2010, 16:00, KübI B 101. CENS Seminar: speaker Indrek Mandre (IoC) about Correlated percolation: scaling properties of percolation clusters.
  • CONGRATULATIONS! At TTU scientific paper of the year competition in the field of natural and exact sciences shared second and third Saabas, A., Uustalu, T. Proof optimization for partial redundancy elimination. The Journal of Logic and Algebraic Programming, 2009, 78, 7, 619 – 642 and in the field of natural and exact sciences (see document in Estonian).
  • CONGRATULATIONS! At TTU best young researcher of the year competition besides the winner also two nominees we noted for fruitful research incl. our senior researcher Rikke Birkedal Nielsen (see document in Estonian).
  • 26.2.2010, 09:30, KübI B 101. starts the Publicity Day of Japanese-Estonian Collaborative Research Group on Medical/Assistive Robotics (more details).
  • 22.2.2010, 16:00, KübI B 101. CENS Seminar: speaker Prof. Mihai Predoi (Dept. of Mechanics, University Politehnica Bucharest) about Dispersion curves of guided waves. Numerical methods and experimental validation.
  • 22.2.2010, 15:00, KübI B 101. CENS Seminar: speaker Prof. Chuck Kurkjian (University of Southern Maine, USA) about Strength and mechanical properties of glass.
  • 15.2.2010, 16:00, KübI B 101. CENS Seminar: speaker Anatoli Stulov (IoC) about PHYSICS OF THE PIANO STRING PITCH FORMATION.
  • 11.2.2010, 14:00, KübI B 101. Computer Science Seminar: Marino Miculan (University of Udine, Italy) talks about A categorical model of the fusion calculus (see abstract).
  • 8.2.2010, 16:00, KübI B 101. CENS Seminar: speaker Andrus Räämet (IoC) about Long-term wave climate changes in the Baltic Sea.
  • From February 5–7, 2010, the Estonian Computer Science Theory Days: Programming Languages and Systems will take place at Andu (see http://www.cs.ut.ee/~varmo/tday-andu/ ).
  • CONGRATULATIONS! Estonian Council of Environmental NGOs elected the 2009 Environmental Deed to be Ivar Puura's and Tarmo Soomere's initiative in drawing attention to possible negative environmental influences of the future Nord Stream gas pipe ( read the the news in Estonian).
  • 4.2.2010, 14:00, KübI B 101. Computer Science Seminar: Davide Grohmann (University of Udine, Italy) talks about From reactions to observations: the directed bigraphical model (see abstract).
  • 3.2.2010, 16:00, KübI B 126. Seminar in the series "Algebraic automata theory". Subtopic "Recognizers". Speaker Margarita Spitšakova (IoC).
  • 1.2.2010, 16:00, KübI B 101. CENS Seminar: speaker Arvi Ravasoo (IoC) about Modified constitutive equation for quasi-linear theory of viscoelasticity.
  • 27.1.2010, 14:00, KübI B 101. Doctoral student of TUT Maris Tõnso defends her PhD thesis "Computer Algebra Tools for Modelling, Analysis and Synthesis for Nonlinear Control Systems". Supervisor Ülle Kotta. Oponents: prof Alain Glumineau (Institut de Recherche en Communications et en Cybernetique de Nantes, France) and prof Felix L.Chernousko (Institute for Problems in Mechanics of the Russian Academy of Sciences, Russia) (see the thesis).
  • 25.1.2010, 16:00, KübI B 101. CENS Seminar: speaker Prof. Stefano Tinti (University of Bologna) about Tsunami risk and tsunami early warning system in the Euromediterranean Region.
  • 21.1.2010, 14:00, KübI B 101. Computer Science Seminar: Keiko Nakata (IoC) talks about Securing class initialization (see abstract).
  • 18.1.2010, 16:00, KübI B 101. CENS Seminar: speaker Arkadi Berezovski (IoC) about Generalized Thermomechanics and Internal Variables.
  • 13.1.2010, 16:00, KübI B 126. Seminar in the series "Algebraic automata theory". Subtopic "Recognizers". Speakers Margarita Spitšakova (IoC) and Peeter Normak (Tallinn Univ).
  • 11.1.2010, 16:00, KübI B 101. Mechanics seminar - speaker Merle Randrüüt (IoC) about Solitary Waves in Microstructured Solids: Approximate and Exact Solutions of an Extended Korteweg-de Vries Equation.
  • 7.1.2010, 14:00, KübI B 101. Computer Science Seminar: Edwin Brady (Univ of St Andrews, Scotland) talks about Implementing domain-specific languages using dependent types and partial evaluation (see abstract).
  • 7.1.2010, 16:00, KübI B 101. Computer Science Seminar: Conor McBride (Univ of Strathclyde, Scotland) talks about Time flies like an applicative functor (see abstract).
  • 4.1.2010, 16:00, KübI B 101. CENS Seminar: speaker Mihkel Kree (IoC) about Turbulent mixing - experiments and theory.

Last modified: 2017/08/16 18:58