News

• 5 January 2009: The next Theory Days will take place at Kääriku.
• 21 December 2008: Two new people will join us as EXCS postdocs in Jan. 2009. Dr Silvio Capobianco will be arriving from Reykjavik (with a detour through Rome), Dr James Chapman from Nottingham.
  Also Dr Peep Küngas, an EXCS postdoc at the University of Tartu, will spend some of his time at our place.
• 7 November 2008: In December, prof. Grigori Mints of Stanford University will pay us a visit. In the 1980s he worked at our department here in Tallinn.
• 20 October 2008: We can soon welcome a new postdoc at the department. Dr Mohamed El-Zawawy earned his PhD from the University of Birmingham in 2007 and his last position was with Cairo University. At IoC he will start 10 November.
• 20 October 2008: On 14 November 2008, Ando Saabas will defend his PhD thesis titled "Logics for low-level code and proof-preserving program transformations".
• 16 September 2008: We welcome our new postdoc, Dr Keiko Nakata. Keiko received her PhD from Kyoto University in 2007 and is coming to us from CNAM/INRIA Rocquencourt.
• 29 August 2008: EXCS is seeking eight postdocs. Application deadline: 30 Sept. 2008. Do apply!
• 29 August 2008: The kick-off meeting of EXCS will take place 18-19 Sept at TUT. Don't miss it.
• 8 July 2008: Our proposal for a new national centre of excellence 2008-2015 in computer science, EXCS, has been awarded funding. Of the 24 projects submitted, only 7 were accepted, among them the two proposals that grew out of our earlier CoE, CDC.
• 12 June 2008: Ando Saabas has been awarded the 2008 Ustus Agur scholarship for PhD studies in ICT of the Estonian Association of IT and Telecommunications (ITL). Congratulations!
• 3 June 2008: We have been entrusted to organize the 1st training school of the COST action IC0701 Formal Verification of Object-Oriented Software. The school will take place at Viinistu, 25-29 Jan. 2009.
• 26 May 2008: We have successfully completed the selection of candidates to the two positions we announced in the Mobius project. Assuming all works out well with residence permits, we can welcome two new colleagues at the department from 1 Aug. and 1 Oct. 2008.
• 23 April 2008: The Estonian Academy of Sciences has elected four new foreign members. Two of them have ties with our department. Grigori Mints, professor of Stanford University, worked at our department in the 1980s. Jaak Peetre, professor emeritus of Lund University, collaborated with Uno Kaljulaid and has recently published a book on his scientific heritage with Jaan Penjam. Congratulations!