ANNOUNCEMENTS

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

  • 19.12.2007, 14:00Christmas Party of Institute of Cybernetics starts in IoC Big Hall and continues in the cafeteria.
  • 18.12.2007, 11:30Toomas Kirt defended in TUT room VI-124 his doctoral thesis "Concept formation in exploratory data analysis: case study of linguistic and banking data". Supervisor Prof. em. Leo Võhandu. Oponents dots. Timo Honkela (Helsinki Univ. of Technology), prof. Mare Koit (Univ. of Tartu) (see the thesis). CONGRATULATIONS!
  • On December 13-14, 2007, IoC organizes in Tallinn a workshop on effects and type theory of the TYPES project. (see http://cs.ioc.ee/efftt/).
  • 11.12.2007, 11:00, KübI B 101. in CS theory seminars series dr Lennart Beringer from Ludwig-Maximilians-Universität München gives a talk on "A relational proof system for non-interference of unstructured bytecode" (see abstract).
  • 29.11.2007, 12:00Juhan Ernits defended in TUT room VI-124 his doctoral thesis supervised by Jüri Vain "Two State Space Reduction Techniques for Explicit State Model Checking". Oponents Kim Guldstrand Larsen (Aalborg University) and Varmo Vene (Tartu University) (see thesis).
  • On November 8-9, 2007 IoC Fall Seminar takes place at Jäneda (see Agenda in Estonian).
  • CONGRATULATIONS! 2007 Baltic Assembly Prize for Science awarded to Tarmo Soomere (Estonia), PhD, Dr. Math, for his cycle of researches on analyses of ship waves in the Baltic Sea as a source of danger to the coastal environment (see BA PRIZE).
  • 30 October 2007: deadline for applications for a position as Early Stage Researcher for studies into wave climate changes in the Baltic Sea and their impact on coastal processes and ecosystems in the framework of Marie Curie network SEAMOCS.
  • 11-12 October 2007: Institute of Cybernetics organizes joint workshops Implications of climate change for marine and coastal safety (see timetable) and Applied Wave Mathematics (see timetable) of Marie Curie networks SEAMOCS and CENS-CMA, and Eco-NET network "?“Wave Current Interaction in Coastal Environmen?”t" at Palmse.
  • 28.-30.9.2007 IoC organises at Vanaõue 11th Estonian Computer Science Theory Days (see http://cs.ioc.ee/~tarmo/tday-vanaoue/).
  • Aug 25 Ö Sep 9, 2007: Institute of Cybernetics (CENS, SEAMOCS, CENS-CMA) participates in the organisation of international Advanced Study School Waves and Coastal Processes (more info http://www.ttu.ee/mehinst/schools/WCP2007).
  • 3.9.2007, 10:00, KübI B 101. CS theory seminar - dr Emmanuel Tadjouddine (Univ. of Aberdeen) gives a talk on automatic differentiation of computer codes (see abstract).
  • 2.8.2007, 14:00, KübI B 101. in CS theory seminar series prof Lu?­s Pinto Universidade do Minho, Braga will give a talk on Sequent calculus and extensions of lambda-calculus (see abstract).
  • June 26 - 29, 2007: Institute of Cybernetics participates in the organisation of two co-located conferences on testing and formal analysis of software and communicating systems TESTCOM-FATES/FORTE '07 in Tallinn (see http://ioc.ee/testcom-fates-forte07).
  • 14.6.2007, 14:00, KübI B 101. in CS theory seminar series Prof. Bart Jacobs from Radboud University Nijmegen will give a "A security review of the biometric passport" (see abstract).
  • 7-8 June 2007 in the House of Cybernetics "7th Glass Stress Summer School (see more).
  • 10.5.2007, 14:00, KübI B-101. in CS Theory seminar series Hellis Tamm will talk about transition minimality of bideterministic automata (see abstract).
  • Position as "Experienced Researcher" for Study of freak wave formation and propagation, and quantification of wave runup on a beach available starting from August 15, 2007 (see details).
  • 26.4.2007, 14:00, KübI B 126. in CS theory seminars series Dr Thorsten Altenkirch from Nottingham will discuss Indexed containers (see abstract).
  • 17.4.2007, 15:00, KübI B 101. Dr Margus Veanes starts an intensive course on "Model Based Protocol Testing in C#". (more info at http://cc.ioc.ee/~juhan/pt07/).
  • 19.4.2007, 14:00, KübI B 101. in computer science theory seminar series dr Venanzio Capretta (Radboud Universiteit Nijmegen) discusses The path to Computer Mathematics (see abstract).
  • 12.4.2007, 14:00, KübI B 101. in computer science theory seminar series Olha Shkaravska from Nijmegen talks about "Polynomial size analysis of first-order functions".
  • April 2-5, 2007: At Cybernetica AS prof. Igor Kotenko and Alexander Ulanov from Computer Security Group of St. Petersburg Institute for Informatics and Automation of the Russian Academy of Science will give a course on Computer Network Attacks and Defense Mechanisms: Simulation and Analysis (see http://iktdk.ioc.ee/cnad07/).
  • 15.3.2007, 14:00, KübI B 101. Seminar in the Computer Science Theory series "From reactions to observations: the directed bigraphical model" by dr Marino Miculan from University of Udine (see abstract).
  • March 4 - March 9, 2007: Institute of Cybernetics organises the 12th Estonian Winter School in Computer Science EWSCS'07 at Palmse (see http://cs.ioc.ee/yik/schools/win2007/).
  • 2.3.2007, 14:00, KübI B 126. seminar in the Computer Science Theory series "Contracts and types" by Andres Löh from Universität Bonn (see abstract).
  • CONGRATULATIONS to current and former colleagues:

    JÜRI ENGELBRECHT for getting decorated with 3rd class Order of the National Coat of Arms
    JAAN PENJAM for getting decorated with 4th class Order of the White Star
    RAUL TAVAST for getting decorated with 4th class Order of the White Star.

Last modified: 2017/08/16 18:58