ANNOUNCEMENTS

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

  • 22.12.2009, 13:00, KübI B 101. Computer Science Seminar: Andri Saar (IoC) talks about A compositional variation of the Owicki-Gries logic for concurrent programs, due to C Stirling (see the origin).
  • 16.12.2009, 14:00, KübI B 101. Computer Science Seminar: Margus Veanes (Microsoft Research in Redmond) talks about Solving extended regular constraints symbolically (see abstract).
  • 14.12.2009, 16:00, KübI B 101. CENS Seminar: speaker Heiko Herrmann (IoC) about Mesoscopic Continuum Physics: Overview, Recent Achievements and Open Questions.
  • CONGRATULATIONS! European Geosciences Union has awarded Irina Didenkulova The Plinius Medal of 2010.
  • 10.12.2009, 14:00, KübI B 101. Computer Science Seminar: James Chapman (IoC) talks about Monads and adjunctions on categories and functors.
  • 9.12.2009, 16:00, KübI B 126. Fourth seminar-course in the series "Algebraic automata theory". Margarita Spitšakova speaks about Decomposition of Automata (in English).
  • 8.12.2009, 14:00, KübI B 101. Computer Science Seminar: Grigory Fedyukovich (IoC) talks about A Coq formalization of an analysis and optimization of While (see abstract).
  • 7.12.2009, 16:00, KübI B 101. CENS Seminar: speaker Dmitri Kartofelev (IoC) about Analysis of Vibration Spectra of Piano String.
  • CONGRATULATIONS! On November 25, 2009, at the General Assembly of Estonian Academy of Sciences the Academy Awards were handed over: Academician Hillar Aben received the Nikolai Alumäe Memorial Medal.
  • CONGRATULATIONS to "our" Members of the new Board of Estonian Academy of Sciences elected on November 25, 2009, at the General Assembly: Vice President Jüri Engelbrecht, Head of Division of Informatics and Engineering Tarmo Soomere and Enn Tõugu.
  • 3.12.2009, 15:00In the Hall of House of Cybernetics an open mechanics seminar. Academician Hillar Aben gives a lecture on "Polarised light performing glass strength measurements – why is glass no longer shattering" (in Estonian). Afterwards discussions in the cafeteria.
  • 3.12.2009, 13:00, KübI B 101. Computer Science Seminar: Mohamed El-Zawawy (IoC) talks about Type systems for pointer and live stack-heap analyses and program optimization and correction (see abstract).
  • 2.12.2009, 14:00, KübI B 101. Control systems seminar - speaker Elena Troubitsyna (Abo Akademi, Finland) about "Refinement of Fault Tolerant Control Systems in the B Method"(see abstract).
  • 30.11.2009, 16:00, KübI B 101. CENS Seminar: speaker Robert Kitt (IoC) about An update to the Econophysics research in CENS.
  • 26.11.2009, 14:00, KübI B 101. Computer Science Seminar: Andri Saar (IoC) talks about Hoare-style program logics for concurrent While (parallel programs).
  • 25.11.2009, 16:00, KübI B 126. Third seminar-course in the series "Algebraic automata theory". Margarita Spitšakova speaks about Products of State Machines (in English).
  • 23.11.2009, 16:00, KübI B 101. CENS Seminar: speaker Nicole Delpeche (IoC) about Utilization of a Trajectory Model to Determine areas of Reduced Risk of pollution in the Gulf of Finland.
  • 19.11.2009, 14:00, KübI B 101. Computer Science Seminar: James Chapman (IoC) talks about Type theory should eat category theory for lunch and have monads for breakfast (see abstract).
  • 18.11.2009, 16:00in Academy House (Kohtu str. 6) academician Hillar Aben gives an open lecture on "Polarized light measures glass strength - why glass doesn't break any more" (in Estonian).
  • 16.11.2009, 16:00, KübI B 101. CENS Seminar: speaker Tanel Peets (IoC) about Dispersion of waves in microstructured materials : optical branches and internal degrees of freedom.
  • 12.11.2009, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about Program repair as sound optimization of broken programs (see abstract).
  • 11.11.2009, 16:00, KübI B 126. Second seminar-course in the series "Algebraic automata theory". Margarita Spitšakova (in English).
  • CONGRATULATIONS! The division assembly of Estonian Academy of Sciences Division of Informatics and Engineering elected on October 26th Academician Tarmo Soomere to head the division.
  • 5.11.2009, 14:00, KübI B 101. Computer Science Seminar: Andrei Breslav (University of Tartu and St Petersburg State University ITMO) talks about Using grammatical aspects in language engineering (see abstract).
  • CONGRATULATIONS! At competition for the student's scientific research by Estonian Academy of Sciences the MSc thesis of IoC Wave Dynamics laboratory engineer Inga Zaitseva-Pärnaste "Long-term variations of wave fields in the Estonian coastal waters" won the II prize (supervisor Acad. Tarmo Soomere).
  • CONGRATULATIONS! At competition for the student's scientific research by Estonian Academy of Sciences the MSc thesis of Andri Saar "A nonblocking network communication framework for Scala" won the II prize (supervisor Prof Tarmo Uustalu).
  • 4.11.2009, 16:00, KübI B 101. Jüri Lippus (IoC) gives a seminar talk on "About some map and mapping relating tasks" (in Estonian, 45 min).
  • 2.11.2009, 16:00, KübI B 101. CENS Seminar: speaker Kert Tamm (IoC) teemal Solitary Waves in Mindlin-type Microstructured Solids.
  • 29.10.2009, 14:00, KübI B 101. Computer Science Seminar: Andri Saar talks about Separation Logic (mainly on the basis of J C Reynolds's LICS 2002 paper).
  • 27.10.2009, 14:00, KübI B 101. Computer Science Seminar: Peter Morris (Nottingham Univ., UK) talks about Universes of Data (see abstract).
  • 26.10.2009, 16:00, KübI B 101. CENS Seminar: speaker Loreta Kelpšaitė (IoC) about Changing properties of wind waves and vessel wakes on the eastern coast of the Baltic Sea.
  • 21.10.2009, 16:00, KübI B 126. First seminar-course in the series "Algebraic automata theory". Main presenter Margarita Spitšakova (in English).
  • October 17-18, 2009 annual IoC Fall Seminar takes place at Viinistu (see agenda).
  • 14.10.2009, 16:00, KübI B 101. Otu Vaarmann gives a seminar talk on "Some decomposition-coordination methods for multiobjective optimization" (45 min).
  • 12.10.2009, 17:00, KübI B 101. Mechanics seminar - speaker Dr Boris V. Chubarenko (Laboratory for Coastal Systems Study, Atlantic Branch, P.P. Shirshov Institute of Oceanology, Kaliningrad) about "Resuspension in shallow lagoons and its long-term influence".
  • 9.10.200913:00-16:00, in Academy House (Kohtu str. 6) seminar in the series "New branches of science" on "Complex Systems: growth and emergent behaviour". Speakers Jüri Engelbrecht, Susan Stepney, Paul Valckenaers, Farhad Arbab, Julian Miller, Leo Motus (see details).
  • 8.10.2009, 14:00, KübI B 101. Doctoral student of IoC Dmitry Kurennoy defends his PhD thesis "Analysis of the properties of fast ferry wakes in the context of coastal management." Supervisors prof. Tarmo Soomere and dr. Ira Didenkulova. Opponents dr. Boris Chubarenko, Institute of Oceanology, Kaliningrad, and dr. Robert Aps, Estonian Marine Institute (see the thesis).
  • CENS organises on October 5th -7th, 2009 an international conference "Complexity of Nonlinear Waves" (http://www.ioc.ee/cnw09/)
  • October 2-4, 2009 IoC organises 15th Estonian Computer Science Theory Days at Mäetaguse, (see http://cs.ioc.ee/~tarmo/tday-meintack/).
  • 2.10.2009, 14:00, KübI B 101. Doctoral student of IoC Loreta Kelpšaite defends her PhD thesis "Changing properties of wind waves and vessel wakes on the eastern coast of the Baltic Sea." Supervisors prof. Tarmo Soomere and prof. Irene Lill. Opponents dr. Sergei Badulin, Institute of Oceanology, Moscow, and dr. Are Kont, Institute of Ecology, Tallinn (see the thesis).
  • 28.9.2009, 16:00, KübI B 101. CENS Seminar: speaker Marco Patriarca (NICBP) about "Influence of geography on language competition" (see abstract).
  • 3.9.2009, 14:30in the big Hall of the House of Cybernetics: festive meeting of the 49th Anniversary of the Institute of Cybernetics. Scientific talk "Water remote sensing in global and regional studies" by Tiit Kutser, Senior Researcher of Estonian Marine Institute, University of Tartu.
  • August 23-27, 2009 at Jäneda 8th Estonian Summer School on Computer and Systems Science, ESSCaSS 2009 (see http://courses.cs.ut.ee/schools/esscass2009/).
  • August 17-21, 2009, main building of TUT, 7th Baltic Sea Science Congress (see http://www.bssc2009.org/).
  • 21.8.2009, 11:00IoC B 101. Doctoral student of TUT Andres Kask defends his PhD thesis "Lithohydrodynamic processes in the Tallinn Bay area." Supervisor prof. Tarmo Soomere. Opponents prof. Jan Harff, Szczecin University and acad. Anto Raukas, Institute of Geology (see thesis).
  • 18.8.2009Estonian Academy of Sciences (Kohtu 6) workshop "Foresight studies into global system dynamics and policies" (see http://wavelab.ioc.ee/gsd-workshop).
  • 23.7.2009, 14:00, KübI B 101. CS theory seminar - Eric Badouel (INRIA Rennes - Bretagne Atlantique) will talk about "Why are modalities good for interface theory?" (see abstract).
  • In memoriam ARVO EEK 13.10.1937 – 9.07.2009

  • 15.6.2009, 11:00, KübI B 101. Doctoral student of TUT Lauri Ilison defends his PhD thesis "Solitons and solitary waves in hierarchical Korteweg-de Vries type systems". Supervisor Prof. Andrus Salupere. Oponents Prof. Henrik Kalisch, Bergen University and Prof. Alexey V.Porubov, Ioffe Physical Technical Institute, Russian Academy of Sciences (see the thesis).
  • 15.6.2009, 10:00, TTÜ II-102. Among others TUT Master student Martin Laasmaa defends his MSc thesis "The Analysis of Richardson-Lucy Deconvolution Algorithm with Application to Microscope Images".
  • 15.6.2009, 10:00, TTÜ II-102. Among others TUT Master student Dmitri Kartofelev defends his MSc thesis "Vibration spektrum of the string with nonlinear contact condition". Supervisor Anatoli Stulov.
  • 11.6.2009, 15:00, KübI B 101. Computer Science Seminar: Pavel Grigorenko (IoC) talks about "Symbolic query exploration" (see abstract).
  • Proceeding from our electoral council resolution TUT rector issued a directive that appoints Andrus SALUPERE (CV) as Director of Institute of Cybernetics starting June 1, 2009.
  • 9.6.2009, 14:00, KübI B 101. Computer Science Seminar: Olha Shkaravska (Radboud Univ. Nijmegen, NL) talks about "Polynomial solutions of non-linear recurrence relations" (see abstract).
  • 8.6.2009, 14:00, KübI B 101. Computer Science Seminar: Thorsten Altenkirch (Univ. of Nottingham, UK) talks about "From High School Algebra to University Algebra" (see abstract).
  • 5.6.2009, 14:00, KübI B 101. Computer Science Seminar: Silvio Capobianco (IoC) talks about "Computers without batteries? Rewriting cellular automata into block automata" (see abstract).
  • 19.5.2009CONGRATULATIONS! Council of TUT re-elected Tarmo Uustalu to the position of professor of semantics of programming languages.
  • 21.5.2009, 14:30, KübI B 101. Seminar on "Situation Management and Cyber Security". Introductory talk from TUT Honorary Doctor Prof. Gabriel Jakobson, (see details).
  • 29.4.2009, 16:00, KübI B 126. Michael R. Hansen from Technical University of Denmark in Lyngby will give a talk on his SEFM 2008 paper "Efficient model checking for duration calculus based on branching-time approximations".
  • 28.4.2009, 11:00Meeting with IoC director candidate Andrus Salupere in Cybernetica House conference room. Participation and questions are welcome!
  • CONGRATULATIONS! Jüri Engelbrecht re-elected as President of ALL European Academies ALLEA for the next three-year period.
  • 23.4.2009, 14:00, KübI B 101. CS theory seminar - Keiko Nakata (IoC) will talk about "Trace-based coinductive operational semantics for While: big-step and small-step styles" (see abstract).
  • JOB OPPORTUNITIES academic positions at Institute of Cybernetics at TUT for periods starting 01.06.2009 deadline April 14th, 2009 (see advertisement)
  • 13.4.2009, 16:00, KübI B 101. Mechanics seminar - speaker Andreas Fischer about "State space dynamics in complex systems".
  • 8.4.2009, 14:00, KübI B 101. CS theory seminar - Silvio Capobianco (IoC) will talk about "Ernst and the King: myths and facts about chess and game theory" (see abstract).
  • 7.4.2009, 16:00, KübI B 101. cross-town seminar: Prof. Terry Healy (University of Waikato, New Zeeland) talks about "Identifying sediment transport pathways in the coastal realm".
  • 6.4.2009, 14:00, KübI B 101. CS theory seminar - Andreas Abel from Ludwig-Maximilians-Universität München will talk about "Normalization by Evaluation" (see abstract).
  • 2.4.2009, 14:00, KübI B 101. CS theory seminar - Tarmo Uustalu (IoC) will talk about "Mealy and Elgot machines: taking feedback seriously".
  • 24.3.2009, 11:00, KübI B 126. CS theory seminar - Alberto Pardo from Montevideo will talk about "An extended form of shortcut fusion with multiple applications" (see abstract).
  • 9.3.2009, 16:00, KübI B 101. Mechanics seminar - speaker Anatoli Stulov about "Magneto-optical tomography of Cosserat flows"(see abstract).
  • On March 1-6, 2008 Institute of Cybernetics organizes in Palmse the 14th Estonian Winter School in Computer Science, EWSCS 2009 (see http://cs.ioc.ee/ewscs/2009/).
  • CONGRATULATIONS! For outstanding research and development work resulting in innovative product THE STATE SCIENTIFIC AWARD OF 2009 was given to Hillar Aben (leader of the group), Leo Ainola, Johan Anton and Andrei Errapart for the work "Elaborating integrated photoelasticity theory, measurement technology and apparatus for it and applying that for residual stress measurement in glass industry".
  • CONGRATULATIONS! At TTU scientific paper of the year competition in the field of technics and technology was named one of the best Ravasoo, A. (2007). Non-linear interaction of waves in prestressed material. International Journal of Non-Linear Mechanics, 42(10), 1162 – 1169 and in the field of natural and exact sciences Kalda, J. (2007). Sticky particles in compressible flows: aggregation and Richardson's law. Physical Review Letters, 98(6), 064501-1 – 4 (see document in Estonian).
  • From January 30 to February 1, 2009, the 14th Estonian Computer Science Theory Days will take place at Kääriku (see http://www.cs.ut.ee/~varmo/tday-kaariku/ ).
  • 25-29 January 2009, the 1st training school of COST action IC0701 on verification of object-oriented programs will take place at Viinistu, organized by the Institute of Cybernetics. (see http://viinistu.cost-ic0701.org/).

Last modified: 2017/08/16 18:58