ANNOUNCEMENTS

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

  • 20.12.2012, 11:00, KübI B 101. Computer Science Seminar: Danel Ahman (Univ. of Edinburgh) talks about owards more refined notions of computation: the global state example (see abstract).
  • 13.12.2012, 14:00, KübI B 101. Computer Science Seminar: Denis Firsov (IoC) talks about "Overview of formalized developments for regular expressions".
  • 10.12.2012, 16:00, KübI B 101. CENS Seminar: speaker Bert Viikmäe (IoC) about "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. Computer Science Seminar: Pierre-Louis Curien (U. Paris 7) talks about "A classical lozenge" (see abstract).
  • 4.12.2012, 11:00, KübI B 101. Computer Science Seminar: Pierre-Louis Curien (U. Paris 7) talks about "System L syntax for sequent calculi" (see abstract).
  • 3.12.2012, 16:00, KübI B 101. CENS Seminar: speaker Arvi Ravasoo (IoC) about "Parametric plots for qualitative acoustodiagnostics".
  • 29.11.2012, 14:00, KübI B 101. Computer Science Seminar: Dimitrios Vytiniotis (MSR Cambridge) talks about "Stop when you are almost full: adventures in constructive termination" (see abstract).
  • 28.11.2012, 10:00, KübI B 101. PhD student TTU and former employee of IoC Marko Kääramees defends his PhD thesis "A Symbolic Approach to Model-based Online Testing" (PhD thesis). Supervisors prof Jüri Vain (TUT) and Michael Reichhardt Hansen (Technical University of Denmark), opponents prof Keijo Heljanko (Aalto University, Finland) and Margus Veanes (Microsoft Research, USA).
  • 27.11.2012, 11:00, KübI B 101. Computer Science Seminar: Arnaud Dieumegard (INP Toulouse) talks about "Automatic code generation in certified system development: a model-driven specification and verification approach" (see abstract).
  • 26.11.2012, 16:00, KübI B 101. CENS Seminar: speaker Andres Braunbrück (IoC) about "Evaluation of exponentially graded material properties based on ultrasound".
  • CONGRATULATIONS! Arvo Kaldmäe's Master thesis "Disturbance Decoupling of Nonlinear Control Systems" won the first prize at Tallinn University student 2011/2012 research competition in the category of master thesis in exact sciences.
  • 23.11.2012, 14:00, KübI B 101. Computer Science Seminar: Denis Firsov (IoC) talks about Overview of formalized developments for context-free grammars.
  • 19.11.2012, 16:00, KübI B 126. CENS Seminar: speaker Mirko Mustonen (???) about "Bass guitar modeling based on experimental data".
  • 13.11.2012 CENS Seminar: Institute of Cybernetics at TUT and TU Institute of Physics JOINT SEMINAR in Tartu, Riia str. 142, in Institute of Physics ground floor Hall (see program).
  • November 9-10, 2012 annual IoC Fall Seminar takes place at Laulasmaa Spa (Tanel Alumäe in charge of the program, updated Nov,8).
  • CONGRATULATIONS! PhD student Danel Ahman (Edinburgh Univ.) from Estonian Centre of Excellence in Computer Science received Estonian Academy of Sciences student award for his master thesis "Computational effects, algebraic theories and normalization by evaluation".
  • 5.11.2012, 16:00, KübI B 101. CENS Seminar: speaker Jaan Kalda (IoC) about "Giant dispersion of particles in multi-dimensional potential velocity field".
  • October 30 - November 1, 2012 IKTDK short course "Tracking Control for Nonlinear Systems: The Flatness Based Approach". Lecturer Dr. Felix Antritter (Universitaet der Bundeswehr Muenchen, Germany). Three lectures (on Tuesday, Wednesday and Thursday) start all at 11.00 in IoC B101 (more info).
  • 29.10.2012, 16:00, KübI B 101. CENS Seminar: speaker Ivan Sertakov (IoC) about "2D waves in microstructured solids".
  • 22.10.2012, 16:00, KübI B 101. CENS Seminar: speaker Andrus Salupere (IoC) about "On the influence of material properties on the wave propagation in mindlin-type microstructured solids", co-author Kert Tamm (IoC).
  • 18.10.2012, 14:00, KübI B 101. Computer Science Seminar: Silvio Capobianco (IoC) talks about "A short walk into randomness" (see .
  • 4.10.2012, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Concrete process categories" (see abstract).
  • The autumn Computer Science Theory Days will take place jointly with colleagues from U. of Latvia at Lilaste on September 27-30, 2012 (see http://home.lu.lv/~df/tdays-medzabaki/).
  • 24.9.2012, 10:30, KübI B 101. CENS, IoC Wave Engineering Laboratory and Dept. of Mechanics and Applied Mathematics organise Intense Day on Waves in Fluids (see program).
  • 24.9.2012, 15:00, KübI B 101. PhD student Oxana Kurkina (IoC) defends her PhD thesis "Nonlinear dynamics of internal gravity waves in shallow seas" (PhD thesis). Supervisors prof Tarmo Soomere (IoC) and prof Efim Pelinovsky (Institute of Applied Physics RAN and Nizny Novgorod State Technical University, Russia), opponents prof Christian Kharif (Non-Equilibrium Phenomena Research Institute and Grande Ecole d'ingénieurs - Ecole Centrale Marseille, France) and prof Henrik Kalisch (University of Bergen, Norway).
  • 20.9.2012, 14:00, KübI B 101. Computer Science Seminar: Boriss Šelajev (IoC) talks about "Verification of object-oriented programs".
  • 17.9.2012, 16:00, KübI B 101. CENS Seminar: speaker Mihkel Heidelberg (Tartu Univ.) about "Nonlinear oscillations in tunnel diode".
  • 13.9.2012, 14:00, KübI B 101. Computer Science Seminar: Celia Picard (Univ. Toulouse 3) talks about "Verification of redecoration for infinite triangular matrices in Coq" (see abstract).
  • 12.9.2012, 16:00Academy House (Kohtu str. 6). Nikolai Alumäe mechanics lecture 2012 - Senior Researcher at IoC and CENS Marko Vendelin talks about "MOLECULAR MOVEMENTS IN CARDIAC MYOCYTES" (in Estonian).
  • 12.9.2012, 14:00, KübI B 126. Computer Science Seminar: Niccolò Veltri (Univ. di Firenze) talks about "Formalization of graph theory in HOL: the Maxflow-Mincut theorem" (see abstract).
  • 12.9.2012, 14:00, KübI B 101. Control Systems Seminar: speaker Ewa Pawluszewicz (Bialystok Univ. Technology, Poland) about "On fractional systems research in Bialystok University of Technology".
  • 11.9.2012, 14:00, KübI B 101. Control Systems Seminar: speaker Malgorzata Wyrwas (Bialystok Univ. Technology, Poland) about "Reducibility conditions for nonlinear discrete-time systems: behavioral approach".
  • 10.9.2012, 11:00, KübI B 101. Control Systems Seminar: speaker T. Kasvand (Concordia Univ., Montreal, Canada) about "Technology versus biology in vision".
  • 6.9.2012, 14:00Festive meeting of the 52nd birthday of the Institute of Cybernetics in the big hall of the House of Cybernetics. Scientific talk "Soliton-like optical pulses" by Peeter Saari, Professor at Institute of Physics, University of Tartu.
  • 27.8.2012, 16:00, KübI B 101. CENS Seminar: speaker Heiko Herrmann (IoC) about "Analytical Description of Fibre Orientation Distributions in Short Fibre Reinforced Materials based on mCT Imaging".
  • 27.8.2012, 16:30, KübI B 101. CENS Seminar: speaker Viktoria Berg (?) about "Discrete Element Simulation of SFRC".
  • 23.8.2012, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Ahrendt (Chalmers Univ.of Tech.) talks about "To be or not to be created: abstract object creation in dynamic logic" (see abstract).
  • 21.8.2012, 16:00, KübI B 101. CENS Seminar: speaker Vesa Välimäki (Aalto University, School Of Electrical Engineering) about "Musical Acoustics".
  • 6.8.2012, 16:00, KübI B 101. CENS Seminar: speaker Boyko Ranguelov (Space and Solar-terrestrial research Institute, Bulgarian Academy of Science) about "Natural hazards - nonlinearities and applications".
  • 5.7.2012, 14:00, KübI B 101. Computer Science Seminar: Danel Ahman (Univ. of Cambridge) talks about Computational effects, algebraic theories and normalization by evaluation (see abstract).
  • 18.6.2012, 16:00, KübI B 101. CENS Seminar: speaker Maija Viška (IoC) about "Modelling of shoreline evolution".
  • 11.6.2012, 16:00, KübI B 101. CENS Seminar: speaker Kert Tamm (IoC) about "The Role of Nonlinearity and Dispersion on Wave Motion in Microstructured Solids".
  • 11.6.2012, 11:00, TTÜ II - 309. Doctoral student of TUT Computer Control Department Juri Belikov (IoC) defends his PhD thesis "Polynomial Methods for Nonlinear Control Systems" (PhD thesis). Supervisor Associate Prof Eduard Petlenkov (TUT), consultant Leading Research Scientist Ülle Kotta (IoC), oponents Prof Henk Nijmeijer (Eindhoven University of Technology, The Netherlands) and Prof Anna Maria Perdon (Universitá Politecnica delle Marche, Italy).
  • Institute of Cybernetics organizes on June 6-9, 2012 the "17th International Conference on Mathematical Modelling and Analysis" (MMA2012) (see http://www.ioc.ee/mma2012/).
  • 7.6.2012, 14:00, KübI B 101. Computer Science Seminar: Éric Badouel (INRIA Rennes) talks about "On the α-reconstructibility of workflow nets" (see abstract).
  • 4.6.2012, 14:00, KübI B 101. Computer Science Seminar: Éric Badouel (INRIA Rennes) talks about "Modelling workflow systems with active folders" (see abstract).
  • 5.6.2012, 14:00, KübI B 101. Within the framework of French Month of Science in Estonia IoC together with the French Institute organises LANGUAGE TECHNOLOGY WORKSHOP (see program).
  • 1.6.2012, 11:00, KübI B 101. Control Systems Seminar: speaker Dr Claude Moog1 (IRCCyN, Nantes, France) about "Nonlinear time-delay control systems theory" (see abstract).
  • 31.5.2012, 14:00, KübI B 101. Computer Science Seminar: Matthieu Sozeau (INRIA Paris) talks about "Equations: a dependent pattern-matching compiler" (see abstract).
  • 28.5.2012, 16:00, KübI B 101. CENS Seminar: speaker Vesa Välimäki (Aalto Uni).
  • 25.5.2012, 12:00, KübI B 101. Andrei Errapart (IoC) defends his PhD thesis "Photoelastic Tomography in Linear and Non-linear Approximation" (PhD thesis). Supervisors Leading Research Scientist Hillar Aben (IoC), oponents Prof Emmanuel Gdoutus (Democritus University of Thrace, Greece) and Dr Jonathan Williams (Pilkington Technical Centre, UK).
  • 22.5.2012, 14:00, K B 308. Control Systems Seminar: speaker Seshadhri Srinivasan (IoC) about "Control and optimization Challenges in smart grids".
  • 21.5.2012, 16:00, KübI B 101. CENS Seminar: speaker Anatoli Stulov (IoC) about "Gradient-elastic model for description of wave processes in nonlinear geomechanics".
  • 21.5.2012, 10:00, KübI C 330. Computer Science Seminar: Alejandro Russo (Chalmers Uni) talks about "Information flow control for concurrent covert termination and timing channels" (see abstract).
  • 15.5.2012, 14:00, KübI B101. Computer Science Seminar: Boriss Šelajev (IoC) talks about "C# programs correctness verification using Spec# tool".
  • 14.5.2012, 16:00, KübI B 101. CENS Seminar: speaker Mihkel Heidelberg (Tartu Uni) about "On the transport of passive scalars in two-dimensional stationary velocity fields".
  • 10.5.2012, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Categorical models for two intuitionistic modal logics" (see abstract).
  • 7.5.2012, 16:00, KübI B 101. CENS Seminar: speaker Andrei Errapart (IoC) about "Photoelastic tomography in linear and nonlinear approximation".
  • 3.5.2012, 14:00, KübI B 101. Computer Science Seminar: Silvio Capobianco (IoC) talks about "The Tarski alternative and the Garden-of-Eden theorem" (see abstract).
  • 26.4.2012, 14:00, KübI B 126. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "An introduction to category theory and categorical logic" (continued) (see abstract).
  • 23.4.2012, 17:00, KübI B 101. CENS Seminar: speakers 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. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "An introduction to category theory and categorical logic" (see abstract).
  • 16.4.2012, 16:00, KübI B 101. CENS Seminar: speakers Irina Nikolkina "Rogue waves in the World", Mihhail Zujev and Katri Pindsoo "Decadal and long-term variations in the wave climate at the Latvian coast of the Baltic Proper", 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 (IoC) defends his PhD thesis "Metabolic Flux Analysis of Compartmentalized Systems using Dynamic Isotopologue Modeling" (Isotopoloogilise modelleerimise rakendamine heterogeensete bioloogiliste süsteemide ainevahetusvoo analüüsis) (abstract, PhD thesis). Supervisors Senior Researcher Marko Vendelin (IoC), Professor Toomas Paalme (TUT), Senior Researcher Pearu Peterson (IoC), oponents Katharina Nöh (Forschungszentrum Jülich GmbH) and Professor Tanel Tenson (TU).
  • 12.4.2012, 10:30, KübI B 101. CENS Seminar: speaker Katharina Nöh (Forschungszentrum Jülich GmbH).
  • 4.4.2012, 14:00, KübI B 101. Computer Science Seminar: Tomas Petricek (Univ. of Cambridge) talks about "Towards comonadic coeffect systems" (abstract).
  • 2.4.2012, 16:00, KübI B 101. CENS Seminar: speaker Arkadi Berezovski (IoC) about "On the high-order dispersion wave equations".
  • 24 March-1 April 2012 IoC and EXCS host ETAPS 2012, the 15th installment of Europe's premier conference on software science, in Tallinn (in Swissotel, workshops in TUT).
  • 30.–31. March 2012 members of the delegation of Russian Academy of Sciences, vice-president of the Russian Academy of Sciences N.P.Laverov, Academician-Secretary of the Division of Earth Sciences A.O.Gliko and Head of the Office for International Research Projects Y.K.Shiyan paid a visit to the Institute of Cybernetics.
  • 26.3.2012, 16:00, KübI B 101. CENS Seminar: speaker Tarmo Soomere (IoC) about "Simulated sediment transport patterns along sedimentary coasts of the eastern Baltic Sea".
  • CONGRATULATIONS! Tanel Alumäe and Kaarel Kaljurand's „Language recognition applications for smart phones“ won the grand prize of Language Deed 2011 (read news in Estonian).
  • 23.3.2012, 14:00, KübI B 101. Computer Science Seminar: Jacques Sakarovitch (CNRS & ENST, France) talks about "An introduction to the study of weighted automata: on rational languages with equal generating functions" (see abstract).
  • 19.3.2012, 16:00, KübI B 101. CENS Seminar: speaker Janusz Szwabinski (Univ. of Wrocław) about "Stability of a food web with closed nutrient cycle".
  • 15.3.2012, 14:00, KübI B 101. Computer Science Seminar: Andri Saar (IoC) talks about "Short introduction to the Erlang programming language".
  • 12.3.2012, 16:00, KübI B 101. CENS Seminar: speaker Anatoli Stulov (IoC) about "Pedaling piano".
  • 5.3.2012, 16:00, KübI B 101. CENS Seminar: speaker Marika Eik (IoC) about "Isotropic tensor functions in the context of constitutive theory for SFRC".
  • 26.02. - 02.03.2012 Institute of Cybernetics and EXCS organize in Palmse the 17th Estonian Winter School in Computer Science, EWSCS 2012 (see http://cs.ioc.ee/ewscs/2012/).
  • 27.2.2012, 16:00, KübI B 101. CENS Seminar: speaker Ivan Sertakov (IoC) about "2D wave motion in microstructured solids".
  • 23.2.2012, 13:00, KübI B 101. Ardo Illaste (IoC) defends his PhD thesis "Analysis of Molecular Movements in Cardiac Myocytes" (abstract, PhD thesis). Supervisor Senior Researcher Marko Vendelin (IoC), oponents Prof Allen Kaasik (Dept. of Pharmacology, Univ. of Tartu) and dr Pasi Tavi (Dept. of Biotechnology and Molecular Medicine, Univ. of East Finland).
  • 23.2.2012, 10:00, KübI B 101. Seminar: speaker Dr. Pasi Tavi (Dept. of Biotechnology and Molecular Medicine, Univ. of East Finland) about "E-C-coupling and pacemaking of embryonic cardiomyocytes: Lessons from experiments and modeling".
  • 23.2.2012, 14:00, KübI C 321. Computer Science Seminar: Keiko Nakata (IoC) talks about "On some non-classical and non-constructive axioms" (see abstract).
  • CONGRATULATIONS! Tarmo Soomere TUT researcher of the year 2011 (more in Estonian).
  • CONGRATULATIONS! Jaan Janno was awarded a 2012 National Science Award in exact sciences for his research "Inverse problems to determine characteristics of non-homogeneous materials and environments".
  • 17.-18.02.2012 IoC in co-operation with EXCS organize in Tallinn The Phonetics Symposium 2012 (see http://www.ioc.ee/fp2012/).
  • 16.2.2012, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Emulating linear types in Haskell"(see abstract).
  • 13.2.2012, 16:00, KübI B 101. CENS Seminar: speaker Ardo Illaste (IoC) about "Analysis of Molecular Movements in Cardiac Myocytes".
  • 9.2.2012, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about A Lightweight Approach to Start Time Consistency in Haskell (abstract).
  • 6.2.2012, 16:00, KübI B 101. CENS Seminar: speaker Tamas Fulop (Hungary) about "Rheology, Plasticity, and Thermal Expansion in a Nonequilibrium Thermodynamical Framework".
  • 30.1.2012, 16:00, KübI B 101. CENS Seminar: speaker Dmitri Kartofelev (IoC) about "Deformation Wave Propagation in Felt: Dispersion Analysis".
  • 27.-29.01.2012 EXCS organises at Kubija the next Estonian Computer Science Theory Days (see details).
  • 26.1.2012, 14:00, KübI B 101. Computer Science Seminar: Sergei Tupailo (Univ. de Lisboa) talks about "Consistency of strictly impredicative NF" (see abstract).
  • 24.1.2012, 14:00, KübI B 101. Computer Science Seminar: Sergei Tupailo (Univ. de Lisboa) talks about Specker's proof of infinity in NF (see abstract).
  • 23.1.2012, 16:00, KübI B 101. CENS Seminar: speaker David Schryer (IoC) about "Metabolic Flux Analysis of Compartmentalized Systems using Dynamic Isotopologue Modeling".
  • 19.1.2012, 14:00, KübI B 101. Computer Science Seminar: Denis Firsov (IoC) talks about "Certified parsing"(see abstract).
  • 16.1.2012, 16:00, KübI B 101. CENS Seminar: speaker Arvi Ravasoo (IoC) about "TBA".
  • 12.1.2012, 14:00, KübI B 101. Computer Science Seminar: James Chapman (IoC) talks about "Relative Monads and Lambda Calculus".
  • 9.1.2012, 16:00, KübI B 101. CENS Seminar: speaker Jüri Vain (IoC) about "On the analysis problems of emerging behavior of robot swarms".
  • 6.1.2012, 14:00, KübI B 101. Computer Science Seminar: Boriss Šelajev (IoC) talks about "KeY system".
  • 5.1.2012, 14:00, KübI B 101. Computer Science Seminar: Peeter Laud (Cybernetica) talks about "Identity-based encryption and the generic group model"(see abstract).
  • 5.1.2012, 16:00, KübI B 101. CENS Seminar: speaker Mihkel Kree (Univ.) about "Correlation of the admixture originating from separate sources and mixed by a turbulent flow".

Last modified: 2017/08/16 18:58