News and events 2006

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