News and events 2004

December

20.12.
The council of the Department of Computer Science and Engineering appointed Docent Tomi Janhunen to a Teaching Researcher position (opettavan tutkijan virka A25) for a five year term starting Feb 1, 2005.

13.12.
The board of HUT has appointed Docent, Ph.D. Kaisa Nyberg as professor in computer science (especially cryptology) starting Jan 1, 2005.
TKK:n hallitus päätti kokouksessaan 13.12.2004 nimittää dosentti, FT Kaisa Nybergin tietojenkäsittelyteorian professorin virkaan pysyvästi 1.1.2005 lukien.

November

26.11. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Dr. Aristides Gionis (HIIT, Basic Research Unit): Clustering Aggregation
(Joint work with Panayiotis Tsaparas and Heikki Mannila)

25.11.
Open position at TCS Lab:
Secretary position 1.3.2005 - 28.2.2006 (Osastosihteerin A18 viransijaisuus). For more details, see the call for applications in Finnish.
Application deadline 16.12.2004.
For further information, please contact Professor Ilkka Niemelä.

19.11. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Researcher Sven Laur: Additive Conditional Disclosure of Secrets
(Joint work with Professor Helger Lipmaa)

12.11. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Researcher Timo Latvala: Simple Bounded LTL Model Checking

10.11.
Open position at TCS Lab:
Teaching Researcher position (Opettavan tutkijan virka A25). For more details, see the call for applications in Finnish.
Application deadline 30.11.2004.
For further information, please contact Professor Ilkka Niemelä.

5.11. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Docent, Teaching Researcher Kimmo Varpaaniemi: Stubborn Sets for Priority Nets

October

15.10. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Researcher Tommi Syrjänen: Cardinality Constraint Logic Programs

8.10. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Research Assistant Emil Falck: Balanced Data Gathering in Energy-Constrained Sensor Networks

1.10. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Researcher Misa Keinänen: Obtaining Memory-Efficient Solutions to BESs

September

24.9. Theoretical Computer Science Forum, room TB353, at 14.15
Docent, Teaching Researcher Tomi Janhunen: Capturing Parallel Circumscription with Disjunctive Logic Programs
(Joint work with Researcher Emilia Oikarinen)

Theoretical Computer Science Forum, room TB353, at 15.00
Researcher Matti Järvisalo: A Compact Reformulation of Propositional Satisfiability as Binary Constraint Satisfaction

1.9. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Professor Dr. Jürgen Dix (TU Clausthal, Germany): Planning in Answer Set Programming using Ordered Task Decomposition

August

28.8.-2.9. Visiting TCS lab
Professor Dr. Jürgen Dix (TU Clausthal, Germany)
Host: Prof. Ilkka Niemelä

26.8. Theoretical Computer Science Forum, room TB353, at 15.15-16.00
Researcher Edith Elkind (Princeton University): How Hard Is It to Manipulate Voting? (joint work with Helger Lipmaa)

18.8. Master's thesis presentation, room TB353, at 14.15-14.45
Heikki Rantanen: Analyzing the Random-Walk Algorithm for SAT (Lauselogiikan toteutuvuusongelman satunnaiskulkualgoritmin analyyttinen tarkastelu)

1.-31.8. Visiting TCS lab
Researcher Edith Elkind (Princeton University, USA)
Host: Prof. Helger Lipmaa

July
- - -

June

18.6. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Researcher Timo Latvala: LTL Model Checking for Modular Petri Nets

11.6. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Researcher Heikki Tauriainen: Nested Emptiness Search for Generalized Büchi Automata

4.6. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Researcher Toni Jussila: BMC via Dynamic Atomicity Analysis

May
- - -

April
- - -

March
29.3.
Pää- ja sivuaineinfo klo 12.00 - 17.00, Tietotekniikan talo, 2. kerros
Major and minor subject info at 12.00 - 17.00, CS building, 2nd floor

19.3. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Researcher Misa Keinänen: Solving Conjunctive/Disjunctive Boolean Equation Systems with Alternating Fixed Points

17.3. Call for applications for a professorship in Cryptology in TCS lab. Deadline for applications April 15, 2004. Particulars of nomination (Word format) . For further information, please contact Prof. Ilkka Niemelä. For information in Finnish, see here.

5.3. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Researcher Mikko Särelä: Measuring the Effects of Mobility on Reactive Ad Hoc Routing (Master's Thesis presentation)

February
27.2. The public defence of a doctoral thesis, at 12noon, CS building, lecture hall T2
Researcher Harri Haanpää: Constructing Certain Combinatorial Objects by Computational Methods
Opponent: Professor Clement Lam (Concordia University, Montreal, Quebec, Canada)

24.2. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Professor Clement Lam (Concordia University, Montreal, Quebec, Canada): After n years of computing, is the answer correct?

22.-28.2. Visiting TCS lab
Professor Clement Lam (Department of Computer Science, Concordia University, Montreal, Quebec, Canada)
Hosts: Prof. Pekka Orponen and Prof. Patric Östergård

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

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