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.2008, 14:00, KübI B 101. CS theory seminar - Prof Grigori Mints will talk about John McCarthy's "parametrization" problem, solved for monadic predicate logic (see abstract).
  • 18.12.2008, 14:00, KübI C 233. CS theory seminar - Andri Saar speaks about (software) transactional memory.
  • 11.12.2008, 14:00, KübI B 101. CS theory seminar - our former colleague Prof. Grigori Mints from Stanford University speaks about The logic of here-and-there and answer set programming (see abstract).
  • 10.12.2008, 11:00, ETA maja, Kohtu 6. At the General Assembly meeting of Estonian Academy of Sciences foreign member as of this year Prof. Grigori Mints from Stanford University (worked in IoC 1980-1991) will give a talk about new trends in foundations of mathematics.
  • 4.12.2008, 14:00, KübI B 101. CS theory seminar - Mohamed El-Zawawy, our postdoc for Mobius project, speaks about his work for Birmingham PhD thesis Semantic spaces in Priestley form (see abstract).
  • : JOB OPPORTUNITIES accademic positions at Institute of Cybernetics at TUT for the period 01.01.2009 - 31.12.2013, deadline November 28th, 2008 (see advertisement)
  • 27.11.2008, 14:00, KübI B 101. CS theory seminar - Silvio Capobianco speaks about A system- and language-theoretic outlook on cellular automata (see abstract).
  • 26.11.2008, 14:00, KübI B 101. CS theory seminar - Peter Morris from University of Nottingham speaks about Indexed containers (see abstract).
  • November 19th-21st, 2008 Institute of Cybernetics and Dept. of Computer Science of TUT will organise 20th Nordic Workshop on Programming Theory, NWPT 2008 (see http://cs.ioc.ee/nwpt08/).
  • 18.11.2008, 14:00, KübI B 101. CS theory seminar - James Chapman from University of Nottingham speaks about Type checking and normalisation (see abstract).
  • 14.11.2008, 14:00, KübI B 101. Doctoral student of TUT Ando Saabas defends his PhD thesis "Logics for low-level code and proof-preserving program transformations". Supervisors Prof. Tarmo Uustalu and Acad. Enn Tõugu. Oponents Dr. Bernd Fischer, Southampton University and Prof. David Sands, Chalmers University of Technology, Göteborg (see the thesis).
  • 13.11.2008, 14:00, KübI B 101. CS theory seminar - Tarmo Uustalu speaks about Explicit binds: effortless efficiency with and without trees.
  • 6.11.2008, 14:00, KübI B 101. CS theory seminar - Keiko Nakata speaks about the subject of her PhD thesis: Type checking recursive ML-style modules with fully applicative functors (see abstract).
  • October 17-19, 2008 annual IoC Fall Seminar takes place at Nelijärve (see agenda).
  • 16.10.2008, 14:00, KübI B 126. In CS theory seminar series Andri Saar continues the topic of language Scala introducing Scala's actor model.
  • : JOB OPPORTUNITIES accademic positions at Institute of Cybernetics at TUT for the period 01.11.2008 - 31.10.2013, deadline October 10th, 2008 (see advertisement)
  • 9.10.2008, 14:00, KübI B 101. In CS theory seminar series dr Bernd Fischer from University of Southampton talks about "Explaining verification conditions" (see abstract).
  • October 3-5, 2008 IoC organises 13th Estonian Computer Science Theory Days at Jõulumäe (see http://cs.ioc.ee/~tarmo/tday-joulumae/).
  • 2.10.2008, 14:00, KübI B 101. In CS theory seminar series Linda Postniece from Austraalian National University in Canberrast talks about "Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents" (see abstract).
  • A new Estonian centre EXCS (Estonian eXcellence in Computer Science) is seeking POSTDOCTORAL FELLOWS (deadline 30.09.2008, see details).
  • CONGRATULATIONS! The Society for Experimental Mechanics has awarded Hillar Aben the William M. Murray Medal of the year 2010 with an invitation to be the Society's Murray Lecturer at the annual conference in Indianapolis in 2010.
  • 25.9.2008, 14:00, KübI B 101. CS theory seminar - Keiko Nakata speaks about Towards less painful verification of the full correctness for C (see abstract ).
  • 25.9.2008, 10:00, KübI B 101. Tomi Räty from VTT, Oulu, Finland will give a talk about the topic of his PhD thesis High-Level Architecture for a Single Location Surveillance Point (see abstract).
  • The new Estonian centre of excellence in computer science will have its kick-off meeting in Tallinn 18-19 September 2008 (see http://cs.ioc.ee/excs/kickoff/).
  • 8.9.2008, 14:00, C 231. Tokyo Denki Ülikooli Prof. Yasuhiro FUKUI and Dr. Yasuharu Ohgoe seminar talk about Present Status for Artificial Heart in the World and R & D Activities for Artificial Heart at Tokyo Denki University (see abstract).
  • On August 10-16, 2008 the Laboratory of Phonetics and Speech Technology organises in Kuressaare, hotel Arensburg a NordForsk VISPP Summer School on different issues of variability in speech production and perception (see http://www.ioc.ee/vispp2008/).
  • 14.8.2008, 14:00, KübI B 101. CS theory seminar - Olha Shkaravska (Radboud Univ. Nijmegen) gives a talk on Static polynomial size analysis for functional programs (see abstract).
  • 21.7.2008, 14:00, KübI B 101. Defence of PhD thesis of Irina Didenkulova "Long Wave Dynamics in the Coastal Zone". Supervisors Tarmo Soomere and Efim Pelinovsky. Oponents: Prof. Geir Pedersen, Univ. of Oslo, Norway, and Prof. Kevin Parnell, James Cook Univ., Australia (see the thesis).
  • CONGRATULATIONS! Estonian Centres of Excellence for the program period 2007–2013 have been selected. Among the seven was EXCS (Estonian eXcellence in Computer Science) lead by our Tarmo Uustalu (see also http://cs.ioc.ee/excs/).
  • IoC and Department of Computer Engineering of TUT will organize in Tallinn on June 2-5, 2008 the Eighth International Baltic Conference on Databases and Information Systems Baltic DB&IS'2008 (see http://www.cs.ioc.ee/balt2008/).
  • 26.5.2008, 16:00In the building of Estonian Academy of Sciences, Kohtu 6, Prof. Dr. h.c. Peter Deuflhard, president of the Zuse Institute Berlin and co-founder of the German Research Center "MATHEON: Mathematics for Key Technologies" will give a lecture "The DFG Research Center MATHEON (Mathematics for Key Technologies), its mission and activities".
  • On April 14-17, 2008, prof. Brian Nielsen from Aalborg University will give a graduate course "Model-Based Testing of Real-Time systems" (details).
  • On March 2-7 2008 Institute of Cybernetics organizes in Palmse the 13th Estonian Winter School in Computer Science, EWSCS 2008 (see http://cs.ioc.ee/ewscs/2008/).
  • CONGRATULATIONS! The best young researcher of 2007 in TUT: Marko Vendelin.
  • January 25-27, 2008 in Põlva 12th Estonian Theory Days in Computer Science(see http://www.cs.ut.ee/~varmo/tday-polva/).

Last modified: 2017/08/16 18:58