[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** **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.2010**a 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 25**(see advertisement)^{th}, 2010 **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:00**In 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**15**(see http://cs.ioc.ee/ewscs/2010/).^{th}Estonian Winter School in Computer Science, EWSCS 2010 - :
**ATTENTION**Since the old mailserver died, please read

IoC employees!**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*.