News and events 2006
December
15.12.
The public examination of a doctoral thesis, at 12 o´clock noon, CS building, lecture hall T3
Candidate: Misa Keinänen
Thesis: Techniques for Solving Boolean Equation Systems
Opponent: Professor Rance Cleaveland (Department of Computer Science, University of Maryland, USA)
Supervisor: Professor Ilkka Niemelä
Announcement:[PDF]
12.12.
Presentation of a Master's Thesis, room A346, at 10.15-10.45
Janne Nykopp (TKK/TCS): Stratum - yleiskäyttöinen automaattinen koneisharjoitusjärjestelmä
8.12.
TCS Forum talk, room TB353, at 14.15-15.00
Dr. Keijo Heljanko (TKK/TCS):
Bounded Model Checking for Weak Alternating Büchi Automata
4.12.
Technology Industries of Finland Centennial Foundation has awarded 200 000 Euros of funding for a research project
"Computer Aided Verification Theory and Tools" led by Academy Research Fellow Keijo Heljanko (TKK/TCS).
For more information (in Finnish)
November
24.11.
Presentation of a Master's Thesis, room TB353, at 13.15-13.35
Billy Bob Brumley (TKK/TCS): Efficient Elliptic Curve Algorithms for Compact Digital Signatures
23.11.
TCS Forum talk, room T4, at 14.15-15.00
Prof. Bart Preneel (Katholieke Universiteit Leuven, Dept. Elektrotechniek-ESAT/COSIC):
Cryptanalysis of ABC and Py
23.11.
TCS Forum talk, room T346, at 15.30-16.15
Prof. Fabio Massacci (Università di Trento):
Security by Contract
Or How to Use Automated Reasoning for Boosting Security of Mobile Code
17.11.
TCS Lounge talk, room TB353, at 14.15-15.00
Sven Laur (TKK/TCS):
Black-Box Knowledge Extraction Revisited
10.11.
TCS Lounge talk, room TB353, at 14.15-15.00
Mikko Särelä (TKK/TCS):
Defence against wormhole attacks
October
27.10.
The public examination of a doctoral thesis, at 12 o´clock noon, CS building, lecture hall T2
Candidate: Heikki Tauriainen
Thesis: Automata and Linear Temporal Logic: Translations with Transition-Based Acceptance
Opponent: Professor Thomas Wilke (Christian-Albrechts-Universität zu Kiel, Germany)
Supervisor: Professor Ilkka Niemelä
Announcement:[PDF]
September
22.9.
TCS Forum talk, room TB353, at 14.15-15.00
Alexandre Duret-Lutz (Laboratoire d'Informatique de Paris 6):
Generalized Emptiness Checks: Survey and Extensions
20.9.
TCS Forum talk, room TB353, at 15.15-16.00
Dr. Stefan Woltran (Technical University of Vienna):
Replacements in Non-Ground Answer-Set Programming
8.9.
TCS Forum talk, room TB353, at 14.15-15.00
Henrik Petander (National ICT Australia):
Network Mobility in IPv6
1.9.
TCS Forum talk, room TB353, at 14.15-15.00
Alexander Maximov (University of Luxemburg):
Modern trends in design and cryptanalysis of stream ciphers
Presentation of a Master's Thesis, room TB353, at 10.15-10.45
Jukka Valkonen (TKK/TCS): Ad-Hoc Security Associations for Wireless Devices
August
25.8.
Lab info meeting about the site visit, coffee room, at 14.15
11.8.
TCS Forum talk, room TB353, at 14.15-15.00
André Schumacher (TKK/TCS):
Optimization Algorithms for Multihop Wireless Networks
June
12.6.
The Model Checking Research Group led by Academy Research Fellow Keijo Heljanko was nominated as
one of the three Outstanding junior research groups
of Helsinki University of Technology 2006-2008.
For more information (in Finnish)
May
24.5.
TCS Forum talk, room TB353, at 14.15-15.00
Emilia Oikarinen (TKK/TCS):
Modular Equivalence for Normal Logic Programs
15.5.
The public examination of a doctoral thesis, at 12 o´clock noon, CS building, lecture hall T2
Candidate: Janne Lundberg
Thesis: A Wireless Multicast Delivery Architecture for Mobile Terminals
Opponent: Professor Gerald Maguire Jr. (Kungliga Tekniska Högskolan, Kista, Sweden)
Supervisor: Professor Hannu H. Kari
Announcement:[PDF]
April
28.4.
The public examination of a doctoral thesis, at 12 o´clock noon, CS building, lecture hall T1
Candidate: Satu Elisa Schaeffer
Thesis: Algorithms for Nonuniform Networks
Opponent: Professor Josep Diaz (Universitat Politecnica de Catalunya, Barcelona)
Supervisor: Professor Pekka Orponen
Announcement: [PDF]
March
24.3.
Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Johan Wallén (TKK/TCS):
Improved Linear Distinguishers for SNOW 2.0
17.3.
Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Dr. Keijo Heljanko (TKK/TCS):
On checking distributed implementability
3.3.
Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Dr. Petteri Kaski (HIIT/BRU, Helsinki):
On Combinatorial Landscapes Defined by Linear Equations Modulo 2
February
8.2.
TKK:n vuoden väitöskirja -palkinto myönnettiin TkT Petteri Kaskelle hänen väitöskirjastaan
"Algorithms for Classification of Combinatorial Objects".
Työn valvojana on toiminut professori Pekka Orponen.
Työn tärkein saavutus on 19-alkioisten Steinerin kolmikkojärjestelmien luokittelu.
TKK Annual Dissertation Award has been granted to Petteri Kaski for his thesis
"Algorithms for Classification of Combinatorial Objects".
January
16.1.
TKK:n tietojenkäsittelyteorian laboratorio hakee
kesäteekkareita kesäksi 2006.
Lisätietoja
TKK Laboratory for Theoretical Computer Science is looking for
trainees for summer 2006.
Further information
[TCS main]
[Contact Info]
[Personnel]
[Research]
[Publications]
[Software]
[Studies]
[News Archive]
[Links]
Latest update: 04 January 2007.
Minna Kauppila
|