ANNOUNCEMENTS

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

  • 20.12.2012, 14:00, KübI B 101. Computer Science Seminar: Marc Bezem (Univ. of Bergen) talks about "A set that is streamless but cannot be proved to be noetherian" (see abstract).
  • CONGRATULATIONS! 8.12.2011Wolfgang Jeltsch (IoC) defended in Univ. of Technology Cottbus his PhD thesis "Strongly typed and efficient functional reactive programming".
  • CONGRATULATIONS! Member of IoC Research Council Margus Lopp was elected member of Estonian Academy of Sciences in chemistry.
  • 15.12.2011, 14:00, KübI B 101. Computer Science Seminar: Andri Saar (IoC) talks about "Compiling cooperative multitasking of ABS to Scala" (see abstract).
  • 12.12.2011, 16:00, KübI B 101. CENS Seminar: speaker Prof. Andrzej Pekalski (Wroclaw Univ.) about "A simple model of annual plants dynamics".
  • 8.12.2011, 14:00, KübI B 101. Computer Science Seminar: Boriss Šelajev (IoC) continues about "Dynamic logic".
  • 6.12.2011, 11:00, KübI B 101. CENS Workshop "Recent Problems on Dispersive Waves" (see morning session and afternoon session).
  • CONGRATULATIONS! 5.12.2011, 14:00, KübI B 101. Tanel Peets (IoC) defends his PhD thesis "Dispersion analysis of wave motion in microstructured solids" (read the PhD thesis). Supervisor Prof Jüri Engelbrecht (IoC), oponents Prof Hui-Hui Dai (City Univ. of Hong Kong) and PhD Jiri Plešek (Inst of Thermomechanics, Acad of Sci of the Czech Republic).
  • 5.12.2011, 16:00, KübI B 101. CENS Seminar: speaker Oksana Kurkina (Nizhny Novgorod)about "Evolutionary stages of baroclinic tides".
  • 2.12.2011, 12:00, KübI B 312. Experimental Phonetics Workshop. Alan Wrench (Articulate Instruments Ltd., UK) introduces research methods of speech articulation and teaches how to use the electropalatograph (see more).
  • 1.12.2011, 14:00, KübI B 101. Computer Science Seminar: Elmo Todurov (IoC) talks about "A finer module system and separate compilation for ABS" (see abstract).
  • 28.11.2011, 16:00, KübI B 101. CENS Seminar: speaker Frédéric Dias (University College Dublin) about "The Numerical Computation of Violent Waves – Application to Wave Energy Converters".
  • CONGRATULATIONS! At distribution of 2011 Estonian Science Communication Awards Tarmo Soomere got the title of the best scientist,( journalist or teacher) that communicates science and technology for explaining actual problems of marine physics in popular-scientific papers and at public appearances (see press release (in Estonian)).
  • 24.11.2011, 14:00, KübI B101. Computer Science Seminar: Andreas Abel (LMU München) talks about "Higher-order subtyping for dependent types" (see abstract).
  • CONGRATULATIONS! On November 14, 2011 in the Tartu Univ Council Hall Lya Meister defended her PhD thesis "Eesti vokaali- ja kestuskategooriad vene emakeelega keelejuhtide tajus ja häälduses. Eksperimentaalfoneetiline uurimus". Supervisors prof Karl Pajusalu and candidate Hille Pajupuu (Inst of the Estonian Language). Oponent: prof Kari Suomi (Oulu Univ) (see thesis (in Estonian)).
  • 21.11.2011, 16:00, KübI B101. CENS Seminar: speaker Tanel Peets (IoC) about "Dispersion analysis of wave motion in microstructured solids" (provisional defense of PhD thesis).
  • 18.11.2011, 14:00, KübI B 101. Boriss Šelajev (IoC) talks about "On dynamic logic" (the KeY system for verification of Java programs in the context of the HATS project).
  • 17.11.2011, 14:00, KübI B 101. Computer Science Seminar: Dr. James Brotherston (Imperial College London) talks about "Undecidability of propositional separation logic and its neighbours" (see abstract).
  • 15.11.2011, 14:00, KübI B 101. Computer Science Seminar: Karl Palmskog (KTH, Stockholm) talks about "A semantics for network-adaptive execution of distributed objects" (see abstract).
  • November 12-13, 2011 annual IoC Fall Seminar takes place at Viinistu (see agenda v5 in Estonian).
  • CONGRATULATIONS! Master thesis of our former colleague Olga Tribštok (TUT) "Comparison of wave regimes along Estonian and Lithuanian coasts" (supervisor akad Tarmo Soomere) won prize at Estonian Academy's of Sciences student research award competition. (details in Estonian).
  • 7.11.2011, 16:00, KübI B 101. CENS Seminar: speaker Narcisse Zahibo (University of the French West Indies and Guiana, Guadeloupe) about "Innundation risks for Guadeloupe, Lesser Antilles".
  • 3.11.2011, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about "Coinductive big-step semantics" (see abstract).
  • 2.11.2011, 16:00, KübI B 101. CENS Seminar: speaker Alexander Ezersky (Université de Caen, France) about "Interaction of solitons with sandy bottom in a shallow water resonator".
  • 31.10.2011, 16:00, KübI B 101. CENS Seminar: speaker Kert Tamm (IoC) about "Appearance of the spatial asymmetry in the Mindlin-Engelbrecht-Pastrone model".
  • 27.10.2011, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "First-class subkinds in Haskell" (see abstract).
  • 24.10.2011, 16:00, KübI B 101. CENS Seminar: speaker Arkadi Berezovski (IoC) about "Thermodynamic interpretation of finite volume algorithms".
  • 20.10.2011, 14:00, KübI B101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about Record Type Families: A Key to Generic Record Combinators (see abstract).
  • 17.10.2011, 16:00, KübI B101. CENS Seminar: speaker Andres Braunbück (IoC) about "Harmonic burst in characterisation of exponentially graded material".
  • CONGRATULATIONS! Tanel Alumäe's work "Research and development of methods for Estonian speech recognition" was awarded the third prize at TUT Applied Research Competition of 2011.
  • 13.10.2011, 14:00, KübI B101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "First-class signals for Functional Reactive Programming" (see abstract).
  • 10.10.2011, 16:00, KübI B 101. CENS Seminar: speaker Tomas Torsvik (IoC) about "Numerical particle tracking modeling and prospects for Mobilitas project".
  • On October 7-9, 2011 the Estonian Computer Science Theory Days will take place at Tõrve Jõgevamaa (see http://www.cs.ioc.ee/~tarmo/tday-torve/).
  • IoC organises the 12th Symposium on Programming Languages and Software Tools - SPLST'11 in Tallinn on October 5-7, 2011 (SPLST'11 home page).
  • 7.10.2011, 11:00, KübI B 126. first lecture from the series "Computational Fracture Mechanics" for graduate students: "Introduction to Fracture Mechanics" by Arkadi Berezovski (IoC).
  • 29.9.2011, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about Controlling cut in sequent calculi for bi-intuitionistic logic.
  • 26.9.2011, 16:00, KübI B 101. CENS Seminar: speaker Jaan Kalda (IoC) about "K-spectrum of Decaying and Growing Passive Scalars in Chaotic Compressible Fluid Flows".
  • 22.9.2011, 14:00, KübI B 101. Computer Science Seminar: Danel Ahman (TUT) talks about When is a container a comonad? (see abstract).
  • 19.9.2011, 16:00, KübI B 101. CENS Seminar: speaker Piret Avila (doctoral student in TUT) about "The Super-Exponential Growth of World Population".
  • July 7-8, 2011 Conference on Information Warfare and Security ECIW 2011 (see homepage).
  • 22.6.2011, 11:00, KübI B 101. Riina Maigre defends her PhD thesis "Composition of Web Services on Large Service Models". Supervisors leading research scientist Enn Tõugu (IoC) and Dr. Peep Küngas (Tartu Univ). Oponents: Dr. Margus Veanes (Microsoft Research, Redmond, WA, USA) and Prof. Merik Meriste (Tartu Univ). (see the thesis).
  • 20.6.2011, 12:00, KübI B 101. Assessment of IoC PhD students. For details contact Sven Nõmm.
  • 13.6.2011, 14:00, KübI B 101. Computer Science Seminar: Janusz Brzozowski (Univ. of Waterloo, Canada) talks about "Syntactic complexity of regular languages" (see abstract).
  • 13.6.2011, 16:00, KübI B 101. Computer Science Seminar: Grigori Mints (Stanford University) talks about "Decidable second-order theories" (see abstract).
  • 9.6.2011, 14:00, KübI B 101. Computer Science Seminar: Janusz Brzozowski (Univ. of Waterloo, Canada) talks about "Quotient complexity of regular languages" (see abstract).
  • 2.6.2011, 16:00, KübI B 101. Computer Science Seminar: Dominic Orchard (Univ. of Cambridge) talks about "Array programming with monads and comonads" (see abstract).
  • 2.6.2011, 14:00, KübI B 101. Computer Science Seminar: Alberto Pardo (Univ. RepÜblica, Montevideo, Uruguay) talks about "Applicative shortcut fusion" (see abstract).
  • 30.5.2011, 16:00, KübI B 101. CENS Seminar: speaker Oksana Kurkina (IoC) about "Motion of sediment particles in surface and internal waves ".
  • 23.5.2011, 16:00, KübI B 101. CENS Seminar: speaker Ira Didenkulova (IoC) about "Beach Profile Change Caused by Vessel Wakes and Wind Waves in Tallinn Bay, the Baltic Sea".
  • 17.5.2011, 14:00, KübI B 101. Computer Science Seminar: Riina Maigre (IoC) talks about "Composition of web services on large service models" (see abstract).
  • 16.5.2011, 16:00, KübI B 101. CENS Seminar: speaker Kert Tamm (IoC) about "Optical dispersion branch in MEP model".
  • 16.5.2011, 14:00, KübI B 101. Computer Science Seminar: Andri Saar (IoC) talks about "Scala code generation from ABS".
  • 12.5.2011, 14:00, KübI B 101. Computer Science Seminar: CS theory seminar: Celia Picard (U Paul Sabatier, Toulouse 3) talks about "Coinductive graph representation" (see abstract).
  • 10.5.2011, 14:00, KübI B 101. Computer Science Seminar: Paul Blain Levy (Univ. of Birmingham) continues his talk about "Nondeterminism, fixpoints and bisimulation" (see abstract).
  • CONGRATULATIONS! Visiting PhD student Irina Nikolkina (hosted by Irina Didenkulova at IoC Wave Engineering Laboratory) defended her Cand. Sci. (equivalent to PhD) thesis "Modelling dynamics of gravity flows and long waves in fluid with application to marine natural hazards" in Nizhny Novgorod State University on 29 April 2011 (supervisor E.Pelinovsky).
  • 9.5.2011, 16:00, KübI B 101. CENS Seminar: speaker Prof. Konstantin Lurye (Worcester Polytechnic Institute) about "Material assemblies in space and time: dynamic materials".
  • 5.5.2011, 14:00, KübI B 101. Computer Science Seminar: Paul Blain Levy (Univ. of Birmingham) talks about "Nondeterminism, fixpoints and bisimulation" (see abstract).
  • 2.5.2011, 16:00, KübI B 101. CENS Seminar: "Wave Dynamics", 3 talks.
  • 27.4.2011, 11:00, KübI B 101. Kert Tamm defends his PhD thesis "Wave Propagation and Interaction in Mindlin-Type Microstructured Solids: Numerical Simulation". Supervisor Prof Andrus Salupere (IoC). Oponents: Dr. JiŠ™?­ Plešek (Inst. of Thermomechanics AS CR, Prague, Czech Republic) and Alexey V. Porubov, DSc (Institute of Problems in Mechanical Engineering, Russian Academy of Sciences, Saint-Petersburg). (see the thesis).
  • 21.4.2011, 14:00, KübI B 101. Computer Science Seminar: Hellis Tamm (IoC) talks about "Introduction to the theory of Ütomata" (see abstract).
  • 18.4.2011, 16:00, KübI B 101. CENS Seminar: speaker Andres Lahe (TUT, Dept. of Mechanics).
  • 11.4.2011, 16:00, KübI B 101. CENS Seminar: speaker Arkadi Berezovski (IoC).
  • Press release 30.03.2011 Work of IoC researcher in MIT Technology Review ( in Estonian).
  • 8.4.2011, 14:00, KübI B 316. Control Systems Seminar: speaker Tanel Mullari (IoC) about "Diferentsiaalgeomeetria põhimõisteid III" (Main concepts in differential geometry III).
  • 7.4.2011, 14:00, KübI B 101. Computer Science Seminar: Silvio Capobianco (IoC) talks about "Noether's theorem: past, present, and a possible future" (see abstract).
  • 4.4.2011, 16:00, KübI B 101. CENS Seminar: speaker Anatoli Stulov (IoC) about "Impact, structure and waves".
  • 28.3.2011, 16:00, KübI B 101. CENS Seminar: speaker Irina Nikolkina (Nizhny Novgorod, Russia) about Savage-Hutter model for avalanche dynamics in inclined channels: analytical solutions (see abstract).
  • 21.3.2011, 16:00, KübI B 101. CENS Seminar: speaker Erkki Soika (Tallinn Univ.) about Constructive Role of Environmental Noise in Ecological Modelsystems .
  • JOB OPPORTUNITIES for the period 01.05. 2011 ?”€ 30.04.2016: SENIOR RESEARCHER in nonlinear control theory (>>).
  • 18.3.2011, 14:00, KübI B 316. Control Systems Seminar: speaker Tanel Mullari (IoC) about "Diferentsiaalgeomeetria põhimõisteid II" (Main concepts in differential geometry II).
  • 14.3.2011, 16:00, KübI B 101. CENS Seminar: speaker Andrei Errapart (IoC) about Photoelastic tomography for complete residual stress determination in axisymmetric specimen.
  • 11.3.2011, 14:00, KübI B 316. Control Systems Seminar: speaker Tanel Mullari (IoC) about "Diferentsiaalgeomeetria põhimõisteid" (Main concepts in differential geometry).
  • 10.3.2011, 14:00, KübI B 101. Computer Science Seminar: Rudolf Schlatte (Univ. of Oslo) talks about Deployment components with parametric concurrency (see abstract).
  • February 27 - March 4, 2010 Institute of Cybernetics organizes in Palmse the 16th Estonian Winter School in Computer Science, EWSCS 2011 (see http://cs.ioc.ee/ewscs/2011/).
  • 28.2.2011, 16:00, KübI B 101. CENS Seminar: speaker Jaan Kalda (IoC) about K-spectrum of decaying, aging and growing passive scalars in Lagrangian chaotic fluid flows.
  • CONGRATULATIONS! Researcher of the year 2010 in TUT is Tarmo Uustalu.
  • CONGRATULATIONS! Best Young Researcher of the year 2010 in TUT is Irina Didenkulova.
  • 14.2.2011, 16:00, KübI B 101. CENS Seminar: Richard Wheeler (Edinburgh) talks about An overview of artificial immune systems (see abstract).
  • 10.2.2011, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (TU Cottbus) talks about Programming in Linear Temporal Logic (see abstract).
  • 7.2.2011, 16:00, KübI B 101. CENS Seminar: speaker Peter Van (KFKI Research Institute for Particle and Nuclear Physics and Budapest Univ of Technology and Economics, Hungary) about Temperature and heat conduction beyond Fourier law .
  • From February 4–6, 2011, the Estonian Computer Science Theory Days will take place at Nelijärve Holiday Centre (see http://www.cs.ut.ee/~varmo/tday-nelijarve/).
  • 3.2.2011, 14:00, KübI B 101. Computer Science Seminar: Marc Bezem (Bergen University) talks about Bar recursion (see abstract).
  • 31.1.2011, 16:00, KübI B 101. CENS Seminar: speaker Oksana Kurkina (Nizny Novgorod) about Nonlinear internal gravity waves in stratified waters: models and dynamics.
  • 27.1.2011, 15:00, KübI B 101. CENS Seminar: speaker Gianluca Sara (Palermo) about The influence of global climate changes on marine ecosystems: an analysis through life histories and niche modelling.
  • 21.1.2011, 14:00, KübI B 316. Control Systems Seminar: speaker Jüri Vain (IoC) about "Social Cognition and Swarm Intelligence".
  • 20.1.2011, 14:00, KübI B 101. Computer Science Seminar: Dr Marc Pantel (IRIT, INP Toulouse) talks about Pragmatic integration of model driven engineering and formal methods for safety critical systems design (see abstract).
  • 14.1.2011, 14:00, B 316. Control Systems Seminar: speaker Vadim Kaparin (IoC) about "Observability of nonlinear control systems".

Last modified: 2011/12/08 17:25