News and events 2003

December
18.12. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Matti Järvisalo: Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits
(Joint work with Tommi Junttila and Ilkka Niemelä)

9.12. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Dr. Thomas Linke (Universität Potsdam, Institut für Informatik): Suitable Graphs for Answer Set Programming

November
28.11. The public defence of a doctoral thesis, at 12noon, HUT's main building, lecture hall E
Marko Mäkelä: Efficient Computer-Aided Verification of Parallel and Distributed Software Systems
Opponent: Dozent, Dr. Ekkart Kindler, Universität Paderborn, Institut für Informatik

14.11. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Tommi Syrjänen: Logic Programming with Cardinality Constraints (Licentiate's Thesis presentation)

7.11. Theoretical Computer Science Forum, room TB353, at 13.00-15.00 (2 presentations)
13.00-13.45
Johan Wallen: On the Differential and Linear Properties of Addition (Master's Thesis presentation)

14.15-15.00
Heikki Tauriainen: On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata (Licentiate's Thesis presentation)

October
31.10. The public defence of a doctoral thesis, at 12noon, CS building, lecture hall T2
Tommi Junttila: On the symmetry Reduction Method for Petri Nets and Similar Formalisms

30.10. Theoretical Computer Science Forum, TU1 (New TUAS-Building), at 14.15-15.00
Prof. E. Allen Emerson (University of Texas at Austin, USA): The States of Verification

24.10. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Docent Kimmo Varpaaniemi: Modelling and Analysing a PLC-Based Railway Traffic Control System

14.10. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Dr. Laura Heinrich-Litan (Abteilung für Mathematische Optimierung, Technische Universität Braunschweig): Computing the center of area of a convex polygon

13. - 17.10. Visiting TCS lab
Dr. Laura Heinrich-Litan, Abteilung für Mathematische Optimierung, Technische Universität Braunschweig (Germany)
Host: Prof. Pekka Orponen

13.10. Theoretical Computer Science Forum, room TB353, at 11.15-11.45
Nikolaj Cankar: Model Based Testing Using UML (Master's thesis talk)

September
12.9. Theoretical Computer Science Forum, room TB353, at 14.15-15.00
Dr. Evan Griffiths: Randomness and Kolmogorov Complexity

August
26.8. Theoretical Computer Science Forum, room T3, at 14.15-15.00
Prof. Ken Satoh (National Institute of Informatics, Foundations of Information Research Division, Japan): Speculative Computation by Abduction

22.8. Theoretical Computer Science Forum, room TA346, at 14.15-15.00
Edith Elkind (Princeton University, Department of Computer Science): Frugality in Path Auctions

15.8. Theoretical Computer Science Forum, room TA346, at 14.15-15.00
Matthias Fischmann (Humboldt University, Berlin, Germany): On Reputation in Peer-to-Peer Networks

13.8. Theoretical Computer Science Forum, room TA328, at 10.15-10.45
Emilia Oikarinen: Testing the Equivalence of Disjunctive Logic Programs

July
- - -

June
26.6. Formal Methods Forum, room TB353, at 14.15-15.00
Toni Jussila, Lic.Sc. (Tech.): BMC via On-the-Fly Determinization

13.6. Formal Methods Forum, room TB353, at 14.15-15.00
Tuomo Pyhälä: Specification Coverage Aided Test Selection

May
26. - 28.5. Visiting TCS lab
Dr. Vincent Rijmen, Cryptomathic (Belgium) & Technical University of Graz (Austria)
Course given at TCS: Modern block cipher design and the AES
Host: Prof. Helger Lipmaa

27.5. Formal Methods Forum, room TB353, at 14.15-16.00
Peeter Laud (University of Tartu): Confidentiality Analysis Correct wrt. Computational Semantics
Host: Prof. Helger Lipmaa

9.5. Formal Methods Forum, room TB353, at 14.15-15.00
Satu Virtanen, Lic.Sc. (Tech.): Online Methods for Clustering the Web Graph

April
4.4. Formal Methods Forum, room TB353, at 14.15-15.00
Janne Lundberg, M.Sc. (Tech.): Brocom/Multicast - Future Multicast Technology

March
28.3. Formal Methods Forum, room TB353, at 14.15-15.00
Henrik Petander, M.Sc. (Tech.): Go-core - Mobility Management in the Next Generation Internet

21.3. Formal Methods Forum, room TB353, at 14.15-15.00
Markku-Juhani Saarinen: IBM SC, Factoring, and my Experiences with Supercomputing

10.3. Formal Methods Forum, room TB353, at 14.15-15.00
Satu Virtanen, M.Sc.(Tech.): Properties of Nonuniform Network Models (Licentiate's Thesis presentation)

7.3. Formal Methods Forum, room TB353, at 14.15-15.00
Petteri Kaski, Lic.Sc. (Tech.): Classifying 1-factorizations (joint work with Patric Östergård)
Harri Haanpää, Lic.Sc. (Tech): Computing Sum Covers and Packings of Small Abelian Groups

February
21.2. Deadline for TCS laboratory summer job applications, for more info, see here (in Finnish)

14.2. Formal Methods Forum, room TB353, at 14.15-15.00
Sakari Seitz: An Efficient Local Search Algorithm for Random 3-SAT

January
13. - 17.1. Visiting TCS lab
Victor Khomenko, University of Newcastle upon Tyne (Newcastle upon Tyne, UK)
Host: Teaching Researcher Keijo Heljanko

16.1. Victor Khomenko's Talk at TCS, TML seminar room TA346, at 10.15

7.1. Professor Hannu H Kari gives his inaugural speech, HUT lecture hall B, at 14.15
(Professori Hannu H Karin virkaanastujaisesitelmä: Yksityisyys langattomissa verkoissa)