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).
[TCS main]
[Contact Info]
[Personnel]
[Research]
[Publications]
[Software]
[Studies]
[News Archive]
[Links]
Latest update: 04 January 2007.
Marianne Nikander
|