News and events 2005

20.12.
The public examination of a doctoral thesis, at 12 o'clock noon, CS building, lecture hall T2
Candidate: Catharina Candolin
Thesis: Securing Military Decision Making in a Network-Centric Environment
Opponent: Professor Matthew Warren (Deakin University, Australia)
Supervisor: Professor Hannu H. Kari
Announcement: [PDF]

16.12.
The public examination of a doctoral thesis, at 12 o'clock noon, CS building, lecture hall T2
Candidate: Antti Autere
Thesis: Extensions and Applications of the A* Algorithm
Opponent: Professor Jyrki Kivinen (University of Helsinki)
Supervisor: Professor Pekka Orponen
Announcement: [PDF] (in Finnish)

November

18.11.
The public examination of a doctoral thesis, at 12 o'clock noon, CS building, lecture hall T1
Candidate: Toni Jussila
Thesis: On Bounded Model Checking of Asynchronous Systems
Opponent: Professor Armin Biere (Johannes Kepler University, Austria)
Supervisor: Professori Ilkka Niemelä
Announcement: [PDF] (in Finnish)

1.11.
Theoretical Computer Science Forum, seminar room T2, at 12.15-13.00
Prof. Tadao Saito: Reformation of Telecommunication Network and Teletraffic

October

18.10.
Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Prof. Gene Tsudik: Oblivious Information Delivery using Oblivious Signature-Based Envelopes

17.10.
Theoretical Computer Science Forum, room TB353, at 10.15-11.00
Assoc.prof. Marc Denecker: Satisfiability checking for PC(ID)

7.10.
Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Prof. Pekka Orponen: Local Clustering of Large Graphs by Approximate Fiedler Vectors

September

16.9.
Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Nitesh Saxena, Nokia NRC Helsinki: On the Role of Threshold Cryptography Towards Securing Ad Hoc Networks

August

12.8.
The public examination of a doctoral thesis, at 12 o'clock noon, CS building, lecture hall T2
Candidate: Timo Latvala
Thesis: Automata-theoretic and Bounded Model Checking for Linear Temporal Logic
Opponent: Professor Kim G. Larsen (Aalborg Universitet, Danmark)
Supervisor: Dosentti Nisse Husberg
Announcement: [PDF] (in Finnish)

June

15.6.
The public examination of a doctoral thesis, at 12 o'clock noon, CS building, lecture hall T2
Candidate: Petteri Kaski
Thesis: Algorithms for Classification of Combinatorial Objects
Opponent: Professor Gunnar Brinkmann (Universiteit Gent, Belgium)
Supervisor: Professor Pekka Orponen
Announcement: [PDF] (in Finnish)

10.6.
Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Dr. Keijo Heljanko: Incremental and Complete Bounded Model Checking for Full PLTL

3.6.
Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Dr. Tommi Junttila: An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic

May

27.5.
Theoretical Computer Science Forum, room TB353, at 15.00-15.30
Stefano Marinoni: A Simulation Study in Realistic Environments
(MSc-thesis presentation)

Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Prof. Pekka Orponen: Focused Local Search for Random 3-Satisfiability

April

22.4.
Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Dr. Supriya Krishnamurthy (Swedish Institute of Computer Science, Stockholm): The Statistical Mechanics of Dynamic Peer-to-Peer Networks

21.4.
Theoretical Computer Science Forum, room TA106, at 15.15-16.00
Misa Keinänen: Solving Boolean Equation Systems
(Licentiate thesis presentation)

20.4.
TCS lab organises a get-together for student studying TCS major/minor or considering this on April 20, 2005 at 16:30-18:30 in room A357. More details in Finnish

14.4.
Dr. Helger Lipmaa has been appointed as Docent in Cryptology from April 1, 2005 to March 31, 2010 by the Rector of Helsinki University of Technology.

March

17.3.
Theoretical Computer Science Forum, room TB353, at 9.15-10.00
Dipl.-Inf. Martin Gebser (Institut für Informatik,Universität Potsdam): Foundations of clause learning in ASP solving

16.3.
Theoretical Computer Science Forum, room TB353, at 9.15-10.00
Prof. Torsten Schaub (Institut für Informatik,Universität Potsdam): Platypus: A platform for distributed answer set solving

15.3.
Theoretical Computer Science Forum, room TA346, at 9.15-10.00
Prof. Gerhard Brewka (Computer Science Institute,University of Leipzig): Component Systems: Bridging the Gap Between CP-Nets and Answer Set Optimization

15.3.
Professor Kaisa Nyberg gives her inaugural talk at 14:15 o'clock in Hall B. [Invitation (in Finnish)]

3.3.
Theoretical Computer Science Forum, room TA328, at 14.15-15.00
Prof. Michael Kaminski (Technion, Computer Science Department): Invariance under Stuttering in a Temporal Logic of Actions

February

11.2.
Diplomi-insinööri Emilia Oikarinen sai TKK:n diplomityöpalkinnon 2004 työllään 'Testing the Equivalence of Disjunctive Logic Programs'. Tiedote
Emilia Oikarinen was awarded HUT Master's Thesis prize 2004.

1.2.
TKK:n tietojenkäsittelyteorian laboratorio hakee kesäteekkareita kesäksi 2005.
Lisätietoja täältä (in Finnish)

HUT's Laboratory for Theoretical Computer Science is looking for summer trainees (summer 2005).

January

14.1.
Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Ammar Alkassar (University of Saarland): Secure Object Identification - Or: How To Solve The Chess-Grandmaster-Problem

11.1.
Theoretical Computer Science Forum, room TB353, at 15.00
Janne Lundberg: A Wireless Multicast Delivery Architecture for Mobile Terminals
(Licentiate thesis presentation)